acot Add Add Pow Pow Pow x7 x0 csc x6 x1 Mul coth x0 x0 acosh x0 
Mul -1 Mul Add Add Mul Pow Pow Pow x7 x0 csc x6 Add x1 -1 Mul x1 Mul Pow Pow x7 x0 Add csc x6 -1 Mul csc x6 Mul Pow x7 Add x0 -1 Mul x7 log x7 Add Mul x0 Mul -1 Pow csch x0 2 coth x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul Add Add Pow Pow Pow x7 x0 csc x6 x1 Mul coth x0 x0 acosh x0 Add Add Pow Pow Pow x7 x0 csc x6 x1 Mul coth x0 x0 acosh x0 -1 