Mul x0 Pow Pow Add Mul acos sqrt pi x0 Mul x0 x0 tanh tanh pi Pow Mul E -2 -5 
Add Pow Pow Add Mul acos sqrt pi x0 Mul x0 x0 tanh tanh pi Pow Mul E -2 -5 Mul x0 Mul Pow Pow Add Mul acos sqrt pi x0 Mul x0 x0 tanh tanh pi Add Pow Mul E -2 -5 -1 Mul Pow Mul E -2 -5 Mul Pow Add Mul acos sqrt pi x0 Mul x0 x0 Add tanh tanh pi -1 Mul tanh tanh pi Add acos sqrt pi Add x0 x0 