1/tanXを積分すると?