Mul Pow Mul sec x0 x0 Mul x3 Pow Mul x6 E x0 2 
Mul 2 Mul Pow Mul sec x0 x0 Add Mul x3 Pow Mul x6 E x0 -1 Add Mul Mul x3 Pow Mul x6 E x0 Add Mul x0 Mul tan x0 sec x0 sec x0 Mul Mul Mul sec x0 x0 log Mul sec x0 x0 Mul x3 Mul Pow Mul x6 E Add x0 -1 Mul Mul x6 E log Mul x6 E 