Pow x0 Mul Add x3 Mul 3 Mul Pow asech Mul E -4 Add x7 acoth x7 3 -1 
Mul Pow x0 Add Mul Add x3 Mul 3 Mul Pow asech Mul E -4 Add x7 acoth x7 3 -1 -1 Mul Add x3 Mul 3 Mul Pow asech Mul E -4 Add x7 acoth x7 3 -1 