Evaluate $\displaystyle \int^{\pi/2}_0 \frac 1 {1+\tan^\sqrt2x}dx$.
I tried many different methods but all failed, and I start suspecting that I can't do it in normal way (i.e. find the indefinite integral first, then substitute that bounds). I have no idea what I should do. Please give some idea!!