Calculus · Superchallenge problem

The integral $\displaystyle\int_0^{\pi/2} \frac{dx}{1 + \tan^{\sqrt{2}} x}$ equals $\dfrac{\pi}{k}$ for an integer $k$. Find $k$.