Techniques of Integration · Challenge problem

Evaluate $\displaystyle\int_0^{\pi/2} \frac{dx}{1 + \tan^{13} x}$.