>>110
x=tan(t)とおいて置換積分