>>312
t = cos(x) で置換