Mul E Pow acos sqrt Mul x0 2 Add -4 Pow -5 x2 
Mul E Mul Pow acos sqrt Mul x0 2 Add Add -4 Pow -5 x2 -1 Mul Add -4 Pow -5 x2 Mul -1 Mul Mul Pow Mul 2 sqrt Mul x0 2 -1 2 Pow sqrt Add 1 Mul -1 Mul sqrt Mul x0 2 sqrt Mul x0 2 -1 