Mul Pow sqrt x5 atan x0 Mul asin Add Add x7 csch Pow x7 5 cosh x7 x7 
Mul Mul asin Add Add x7 csch Pow x7 5 cosh x7 x7 Mul Pow sqrt x5 Add atan x0 -1 Mul Mul sqrt x5 log sqrt x5 Pow Add 1 Mul x0 x0 -1 