Mul sqrt Mul Pow x0 Pow x0 -0.250000000000000 x2 x0 
Add Mul x0 Mul Pow Mul 2 sqrt Mul Pow x0 Pow x0 -0.250000000000000 x2 -1 Mul x2 Mul Pow x0 Add Pow x0 -0.250000000000000 -1 Add Pow x0 -0.250000000000000 Mul Mul x0 log x0 Mul Pow x0 -1.25000000000000 -0.250000000000000 sqrt Mul Pow x0 Pow x0 -0.250000000000000 x2 