∫(1/sinx)dxはどう解けばいいですか?
log|tan(y/2)|となるようです