Add -5 atanh Pow Pow x0 coth cosh Pow coth x3 2 4 
Mul Mul Pow Pow x0 coth cosh Pow coth x3 2 3 Mul 4 Mul Pow x0 Add coth cosh Pow coth x3 2 -1 coth cosh Pow coth x3 2 Pow Add 1 Mul -1 Mul Pow Pow x0 coth cosh Pow coth x3 2 4 Pow Pow x0 coth cosh Pow coth x3 2 4 -1 