Mul Mul x0 Mul Mul tan x0 x0 x0 sqrt Mul Mul -3 x0 x5 
Add Mul sqrt Mul Mul -3 x0 x5 Add Mul Mul tan x0 x0 x0 Mul x0 Add Mul x0 Add Mul x0 Pow sec x0 2 tan x0 Mul tan x0 x0 Mul Mul x0 Mul Mul tan x0 x0 x0 Mul Pow Mul 2 sqrt Mul Mul -3 x0 x5 -1 Mul x5 -3 