Mul Mul x4 x0 coth Mul atanh Pow Add acoth x1 x7 acosh E csc x0 
Add Mul coth Mul atanh Pow Add acoth x1 x7 acosh E csc x0 x4 Mul Mul x4 x0 Mul Mul -1 Pow csch Mul atanh Pow Add acoth x1 x7 acosh E csc x0 2 Mul atanh Pow Add acoth x1 x7 acosh E Mul Mul -1 cot x0 csc x0 