>>368
y = cot(2x)

とおくと
∫(1/2) (y^2) (dy/dx) dx = ∫(1/2) (y^2) dy から。