Mul 243 Mul Pow tan Add Mul x0 x0 E x0 x0 
Mul 243 Add Mul x0 Mul Pow tan Add Mul x0 x0 E Add x0 -1 Add Mul x0 Mul Pow sec Add Mul x0 x0 E 2 Add x0 x0 Mul tan Add Mul x0 x0 E log tan Add Mul x0 x0 E Pow tan Add Mul x0 x0 E x0 