Which root method should I use?

Hello all

I am looking to root my Xiaomi Redmi Note 3 Pro to get some more functionality out of Tasker.

Problem is, I don't know which of all the available root procedures to choose as there are so many different ones for different devices I am confused :eek:
I know my device has 3GB RAM.
Yesterday I received an OTA update to what I beleive is the latest official ROM as seen here (Qualcomm Global Stable ROM).
It's the MIUI Global 7.5.3.0 Stable.
Here's what the "About phone" says:



Which method should I choose to root my phone?
Not really interested in changing the rom in itself, it's just the root I'm interested in.

Any help?

Thanks in advance