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