acos Mul 5 Pow Mul sqrt x0 Mul x0 E x0 
Mul -1 Mul Mul 5 Mul Pow Mul sqrt x0 Mul x0 E Add x0 -1 Add Mul x0 Add Mul Mul x0 E Pow Mul 2 sqrt x0 -1 Mul sqrt x0 E Mul Mul sqrt x0 Mul x0 E log Mul sqrt x0 Mul x0 E Pow sqrt Add 1 Mul -1 Mul Mul 5 Pow Mul sqrt x0 Mul x0 E x0 Mul 5 Pow Mul sqrt x0 Mul x0 E x0 -1 