Mul acosh Mul atan x0 acoth x0 Add x4 acoth Add x5 asin cosh x3 
Mul Add x4 acoth Add x5 asin cosh x3 Mul Add Mul acoth x0 Pow Add 1 Mul x0 x0 -1 Mul atan x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add Mul atan x0 acoth x0 -1 sqrt Add 1 Mul atan x0 acoth x0 -1 