Mul Pow sqrt x2 Mul atanh E Mul Add Mul x0 5 -5 x0 x0 
Add Mul x0 Mul Pow sqrt x2 Add Mul atanh E Mul Add Mul x0 5 -5 x0 -1 Mul Mul sqrt x2 log sqrt x2 Mul atanh E Add Mul x0 5 Add Mul x0 5 -5 Pow sqrt x2 Mul atanh E Mul Add Mul x0 5 -5 x0 