>>444
(sin x) = t と置換