Mul asech Add x0 Mul Mul x6 Mul x1 sec x0 -4 Pow x0 E 
Add Mul Pow x0 E Mul Add 1 Mul -4 Mul x6 Mul x1 Mul tan x0 sec x0 Pow Mul Mul Add x0 Mul Mul x6 Mul x1 sec x0 -4 Add x0 Mul Mul x6 Mul x1 sec x0 -4 sqrt Add 1 Mul -1 Pow Mul Add x0 Mul Mul x6 Mul x1 sec x0 -4 Add x0 Mul Mul x6 Mul x1 sec x0 -4 -1 -1 Mul asech Add x0 Mul Mul x6 Mul x1 sec x0 -4 Mul Pow x0 Add E -1 E 