Pow atanh Pow x0 acoth x3 Mul 7 csc x3 
Mul Pow atanh Pow x0 acoth x3 Add Mul 7 csc x3 -1 Mul Mul 7 csc x3 Mul Mul Pow x0 Add acoth x3 -1 acoth x3 Pow Add 1 Mul -1 Mul Pow x0 acoth x3 Pow x0 acoth x3 -1 