Pow Mul x7 Add acot tan x0 x3 Mul x0 Add x0 x7 
Mul Pow Mul x7 Add acot tan x0 x3 Add Mul x0 Add x0 x7 -1 Add Mul Mul x0 Add x0 x7 Mul x7 Mul -1 Mul Pow sec x0 2 Pow Add 1 Mul tan x0 tan x0 -1 Mul Mul Mul x7 Add acot tan x0 x3 log Mul x7 Add acot tan x0 x3 Add Add x0 x7 x0 