Pow x0 Pow Add atan x5 csch Add x0 x0 Pow Pow atan x0 asin x0 acosh Mul x5 x0 
Mul Pow x0 Add Pow Add atan x5 csch Add x0 x0 Pow Pow atan x0 asin x0 acosh Mul x5 x0 -1 Add Pow Add atan x5 csch Add x0 x0 Pow Pow atan x0 asin x0 acosh Mul x5 x0 Mul Mul x0 log x0 Mul Pow Add atan x5 csch Add x0 x0 Add Pow Pow atan x0 asin x0 acosh Mul x5 x0 -1 Add Mul Pow Pow atan x0 asin x0 acosh Mul x5 x0 Mul Mul Mul -1 coth Add x0 x0 csch Add x0 x0 2 Mul Mul Add atan x5 csch Add x0 x0 log Add atan x5 csch Add x0 x0 Mul Pow Pow atan x0 asin x0 Add acosh Mul x5 x0 -1 Add Mul acosh Mul x5 x0 Mul Pow atan x0 Add asin x0 -1 Add Mul asin x0 Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 log atan x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Pow atan x0 asin x0 log Pow atan x0 asin x0 Mul x5 Pow Mul sqrt Add Mul x5 x0 -1 sqrt Add 1 Mul x5 x0 -1 