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