sin(x) cos(x) を 0からpi/2まで積分