exp Add acosh Add -4 Add Mul Pow x0 csch Mul Pow x7 x0 -4 x3 csch asech x0 Pow -2 x2 
Mul exp Add acosh Add -4 Add Mul Pow x0 csch Mul Pow x7 x0 -4 x3 csch asech x0 Pow -2 x2 Mul Add Mul x3 Mul Pow x0 Add csch Mul Pow x7 x0 -4 -1 Add csch Mul Pow x7 x0 -4 Mul Mul x0 log x0 Mul Mul Mul -1 coth Mul Pow x7 x0 -4 csch Mul Pow x7 x0 -4 Mul -4 Mul Pow x7 Add x0 -1 Mul x7 log x7 Mul Mul Mul -1 coth asech x0 csch asech x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Mul sqrt Add Add -4 Add Mul Pow x0 csch Mul Pow x7 x0 -4 x3 csch asech x0 -1 sqrt Add 1 Add -4 Add Mul Pow x0 csch Mul Pow x7 x0 -4 x3 csch asech x0 -1 