I gave you some suggestions in a previous question.
The same concerns apply here.
What is the sin of an angle the cos of which is sqrt(x2 + 1)?
There is a primitive (indefinite integral) for arccos u(x) and you can look it up in a table of integrals...but I am not sure what it means in this situation.