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