Mul x0 cosh Add Add x0 x0 Add acosh acoth x0 asin x3 
Add cosh Add Add x0 x0 Add acosh acoth x0 asin x3 Mul x0 Mul sinh Add Add x0 x0 Add acosh acoth x0 asin x3 Add 2 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add acoth x0 -1 sqrt Add 1 acoth x0 -1 