>>565
cos(x) = t と置換