Add Pow csch acot x3 x0 coth Pow Mul x0 Pow x0 acos Add Add x4 tanh acsch x7 x1 4 
Add Mul Pow csch acot x3 Add x0 -1 Mul csch acot x3 log csch acot x3 Mul Mul -1 Pow csch Pow Mul x0 Pow x0 acos Add Add x4 tanh acsch x7 x1 4 2 Mul Pow Mul x0 Pow x0 acos Add Add x4 tanh acsch x7 x1 3 Mul 4 Add Pow x0 acos Add Add x4 tanh acsch x7 x1 Mul x0 Mul Pow x0 Add acos Add Add x4 tanh acsch x7 x1 -1 acos Add Add x4 tanh acsch x7 x1 