Pow Mul Add Add Add sqrt x3 acos Add x0 x0 Mul asech x1 x0 x0 -2 5 
Mul Pow Mul Add Add Add sqrt x3 acos Add x0 x0 Mul asech x1 x0 x0 -2 4 Mul 5 Mul -2 Add Add Mul -1 Mul 2 Pow sqrt Add 1 Mul -1 Mul Add x0 x0 Add x0 x0 -1 asech x1 1 