Mul Pow Add x0 acoth asin Mul E x0 Pow 2 sec x5 x2 
Mul x2 Mul Pow Add x0 acoth asin Mul E x0 Add Pow 2 sec x5 -1 Mul Pow 2 sec x5 Add 1 Mul Mul E Pow sqrt Add 1 Mul -1 Mul Mul E x0 Mul E x0 -1 Pow Add 1 Mul -1 Mul asin Mul E x0 asin Mul E x0 -1 