>>624
どうやって sin(x) を求めたかは知らんが
cos(x) = 1-2(sin(x/2))^2
ここに求めた sin(x) を入れればいい