integrate 1/cos^2(t) * sqrt(3+1/(1-2sin^2(t))) from t=0 to pi/4