Mul acos asec Pow Mul Mul x0 E x0 -2 x0 
Add Mul x0 Mul -1 Mul Mul Mul Pow Mul Mul x0 E x0 3 Mul -2 Add Mul x0 E Mul x0 E Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Mul Mul x0 E x0 -2 Pow Mul Mul x0 E x0 -2 -1 Pow Mul Mul x0 E x0 -2 Pow Mul Mul x0 E x0 -2 -1 Pow sqrt Add 1 Mul -1 Mul asec Pow Mul Mul x0 E x0 -2 asec Pow Mul Mul x0 E x0 -2 -1 acos asec Pow Mul Mul x0 E x0 -2 