asech Add sec x4 Mul log Add x2 x0 Mul 2 x0 
Mul Add Mul Mul 2 x0 Pow Add x2 x0 -1 Mul log Add x2 x0 2 Pow Mul Mul Add sec x4 Mul log Add x2 x0 Mul 2 x0 Add sec x4 Mul log Add x2 x0 Mul 2 x0 sqrt Add 1 Mul -1 Pow Mul Add sec x4 Mul log Add x2 x0 Mul 2 x0 Add sec x4 Mul log Add x2 x0 Mul 2 x0 -1 -1 