csc Pow Mul -1 x3 tan Mul Mul x0 x0 Add x0 Add Mul acot x0 acot tan x0 E 
Mul Mul Mul -1 cot Pow Mul -1 x3 tan Mul Mul x0 x0 Add x0 Add Mul acot x0 acot tan x0 E csc Pow Mul -1 x3 tan Mul Mul x0 x0 Add x0 Add Mul acot x0 acot tan x0 E Mul Pow Mul -1 x3 Add tan Mul Mul x0 x0 Add x0 Add Mul acot x0 acot tan x0 E -1 Mul Mul Mul -1 x3 log Mul -1 x3 Mul Pow sec Mul Mul x0 x0 Add x0 Add Mul acot x0 acot tan x0 E 2 Add Mul Add x0 Add Mul acot x0 acot tan x0 E Add x0 x0 Mul Mul x0 x0 Add 1 Add Mul acot tan x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul -1 Mul Pow sec x0 2 Pow Add 1 Mul tan x0 tan x0 -1 