Integral of sin(2x)/cos(x)