csch Mul Add acot E Pow x6 Mul x0 acosh acosh Add x7 x2 x0 
Mul Mul Mul -1 coth Mul Add acot E Pow x6 Mul x0 acosh acosh Add x7 x2 x0 csch Mul Add acot E Pow x6 Mul x0 acosh acosh Add x7 x2 x0 Add Mul x0 Mul Pow x6 Add Mul x0 acosh acosh Add x7 x2 -1 Mul Mul x6 log x6 acosh acosh Add x7 x2 Add acot E Pow x6 Mul x0 acosh acosh Add x7 x2 