acot Pow Add -2 x0 Mul Mul x0 x0 Mul csc Add 3 x0 Mul Pow sec tan x0 x0 x1 
Mul -1 Mul Mul Pow Add -2 x0 Add Mul Mul x0 x0 Mul csc Add 3 x0 Mul Pow sec tan x0 x0 x1 -1 Add Mul Mul x0 x0 Mul csc Add 3 x0 Mul Pow sec tan x0 x0 x1 Mul Mul Add -2 x0 log Add -2 x0 Add Mul Mul csc Add 3 x0 Mul Pow sec tan x0 x0 x1 Add x0 x0 Mul Mul x0 x0 Add Mul Mul Pow sec tan x0 x0 x1 Mul Mul -1 cot Add 3 x0 csc Add 3 x0 Mul csc Add 3 x0 Mul x1 Mul Pow sec tan x0 Add x0 -1 Add Mul x0 Mul Mul tan tan x0 sec tan x0 Pow sec x0 2 Mul sec tan x0 log sec tan x0 Pow Add 1 Mul Pow Add -2 x0 Mul Mul x0 x0 Mul csc Add 3 x0 Mul Pow sec tan x0 x0 x1 Pow Add -2 x0 Mul Mul x0 x0 Mul csc Add 3 x0 Mul Pow sec tan x0 x0 x1 -1 