>>392
cosX=1-2(sin(X/2))^2 と無理やりばらす。