This is a problem from MIT integration bee 2017.
$$\int_0^{\pi/2} \frac 1 {1+\tan^{2017} x} \, dx$$
I have tried substitution method, multiplying numerator and denominator with $\sec^2x$, breaking the numerator in terms of linear combination of the denominator and the derivative of it. None of these methods work.
Some hints please?