Add Mul log csch x0 Pow acos Add x7 x2 Pow x0 -1 -4 
Add Mul Pow acos Add x7 x2 Pow x0 -1 Mul Mul Mul -1 coth x0 csch x0 Pow csch x0 -1 Mul log csch x0 Mul Pow acos Add x7 x2 Add Pow x0 -1 -1 Mul Mul acos Add x7 x2 log acos Add x7 x2 Mul Pow x0 2 -1 