acos Mul Mul asech Mul x0 -4 x0 Add x2 E 
Mul -1 Mul Mul Add x2 E Add Mul x0 Mul -4 Pow Mul Mul Mul x0 -4 Mul x0 -4 sqrt Add 1 Mul -1 Pow Mul Mul x0 -4 Mul x0 -4 -1 -1 asech Mul x0 -4 Pow sqrt Add 1 Mul -1 Mul Mul Mul asech Mul x0 -4 x0 Add x2 E Mul Mul asech Mul x0 -4 x0 Add x2 E -1 