Mul Mul Add Pow Add x0 x0 -3 Mul Mul E x1 Pow atanh x6 x0 acoth x5 x0 
Add Mul x0 Mul acoth x5 Add Pow Add x0 x0 4 Mul Mul E x1 Mul Pow atanh x6 Add x0 -1 Mul atanh x6 log atanh x6 Mul Add Pow Add x0 x0 -3 Mul Mul E x1 Pow atanh x6 x0 acoth x5 