Pow Mul Pow x7 0.540302305868140 acot Add Mul x0 tan x0 x0 x2 
Mul Pow Mul Pow x7 0.540302305868140 acot Add Mul x0 tan x0 x0 Add x2 -1 Mul x2 Mul Pow x7 0.540302305868140 Mul -1 Mul Add Add tan x0 Mul x0 Pow sec x0 2 1 Pow Add 1 Mul Add Mul x0 tan x0 x0 Add Mul x0 tan x0 x0 -1 