Mul Mul x0 sqrt Pow tan x0 Pow x0 x7 Mul 0.0497870683678639 acot x4 
Mul Mul 0.0497870683678639 acot x4 Add sqrt Pow tan x0 Pow x0 x7 Mul x0 Mul Pow Mul 2 sqrt Pow tan x0 Pow x0 x7 -1 Mul Pow tan x0 Add Pow x0 x7 -1 Add Mul Pow x0 x7 Pow sec x0 2 Mul Mul tan x0 log tan x0 Mul Pow x0 Add x7 -1 x7 