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