※1
 ∫1/{1+sin(t)^2} dt = (1/√2) arctan((√2)tan(t)),
ですた。