integral arcsin(sqrt(x/cos(x))) dx