Mul Pow Add Pow x1 -0.995054753686730 Mul acos csch x0 Mul x0 -1 Pow log Add x1 x5 -1 Add Pow x1 8165619676597685 x7 
Mul Add Pow x1 8165619676597685 x7 Mul Pow Add Pow x1 -0.995054753686730 Mul acos csch x0 Mul x0 -1 Add Pow log Add x1 x5 -1 -1 Mul Pow log Add x1 x5 -1 Add Mul Mul x0 -1 Mul -1 Mul Mul Mul -1 coth x0 csch x0 Pow sqrt Add 1 Mul -1 Mul csch x0 csch x0 -1 Mul acos csch x0 -1 