Pow x0 sqrt Mul Add -4 tan x0 0.540302305868140 
Mul Pow x0 Add sqrt Mul Add -4 tan x0 0.540302305868140 -1 Add sqrt Mul Add -4 tan x0 0.540302305868140 Mul Mul x0 log x0 Mul Pow Mul 2 sqrt Mul Add -4 tan x0 0.540302305868140 -1 Mul 0.540302305868140 Pow sec x0 2 