Pow Mul x0 acsch asinh acosh csch x4 log Mul acoth Add x6 x7 x0 
Mul Pow Mul x0 acsch asinh acosh csch x4 Add log Mul acoth Add x6 x7 x0 -1 Add Mul log Mul acoth Add x6 x7 x0 acsch asinh acosh csch x4 Mul Mul Mul x0 acsch asinh acosh csch x4 log Mul x0 acsch asinh acosh csch x4 Mul acoth Add x6 x7 Pow Mul acoth Add x6 x7 x0 -1 