Add Pow Add -2 x0 tan Mul 256 Mul Add sqrt Add x0 Mul x0 E x0 x0 x0 
Add Mul Pow Add -2 x0 Add tan Mul 256 Mul Add sqrt Add x0 Mul x0 E x0 x0 -1 Add tan Mul 256 Mul Add sqrt Add x0 Mul x0 E x0 x0 Mul Mul Add -2 x0 log Add -2 x0 Mul Pow sec Mul 256 Mul Add sqrt Add x0 Mul x0 E x0 x0 2 Mul 256 Add Mul x0 Add Mul Pow Mul 2 sqrt Add x0 Mul x0 E -1 Add 1 E 1 Add sqrt Add x0 Mul x0 E x0 1 