integral(sqrt(1+tan^2 x)) from 0 to pi/4