>>238
sin^2 x＝(1−cos2x)/2
sinx*cosx＝sin2x/2
を使う。