Add Mul E atan asech Mul acos x0 x4 -2 
Mul E Mul Mul Mul x4 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul Mul acos x0 x4 Mul acos x0 x4 sqrt Add 1 Mul -1 Pow Mul Mul acos x0 x4 Mul acos x0 x4 -1 -1 Pow Add 1 Mul asech Mul acos x0 x4 asech Mul acos x0 x4 -1 