integral(1/sin(x)/cos(2x))dx