Add Pow Pow atanh Add x0 x0 -3 Add Mul acoth x1 E x3 7 
Mul Pow Pow atanh Add x0 x0 -3 Add Add Mul acoth x1 E x3 -1 Mul Add Mul acoth x1 E x3 Mul Pow atanh Add x0 x0 4 Mul -3 Mul 2 Pow Add 1 Mul -1 Mul Add x0 x0 Add x0 x0 -1 