>>891-893
1/{3+sin(x)^2} = 1/{4-cos(x)^2} = (1/4){1/(2-cos(x)) + 1/(2+cos(x))}
そこで
　cos(x) = z　　　(-1 ≦ z ≦ 1)
とおくと
(1/4)∫{1/(2-z) + 1/(2+z)}dz = (1/4)log((2+z)/(2-z))

-1≦z≦1 で積分すると (1/2)log(3) = 0.549306144334