antiderivative of sin(x)/sqrt(cos(x)) dx