>>600
上は三倍角使って、sinを展開した後costをxとでもおきなおして置換。

下は……演算子の優先順位が分からんが、多分cosの二倍角の定理を使って、
sin^2をcos2tを使って書き直す。