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