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