Pow Pow atanh Mul Pow x6 x0 4 E -4 
Mul Pow Pow atanh Mul Pow x6 x0 4 E 5 Mul -4 Mul Pow atanh Mul Pow x6 x0 4 Add E -1 Mul E Mul Mul 4 Mul Pow x6 Add x0 -1 Mul x6 log x6 Pow Add 1 Mul -1 Mul Mul Pow x6 x0 4 Mul Pow x6 x0 4 -1 