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