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