Pow atanh sqrt sqrt Pow x0 -4 -5 
Mul Pow atanh sqrt sqrt Pow x0 -4 6 Mul -5 Mul Mul Pow Mul 2 sqrt sqrt Pow x0 -4 -1 Mul Pow Mul 2 sqrt Pow x0 -4 -1 Mul Pow x0 5 -4 Pow Add 1 Mul -1 Mul sqrt sqrt Pow x0 -4 sqrt sqrt Pow x0 -4 -1 