cos acot Mul Add x4 x0 cot tan x0 
Mul Mul -1 sin acot Mul Add x4 x0 cot tan x0 Mul -1 Mul Add cot tan x0 Mul Add x4 x0 Mul Mul -1 Pow csc tan x0 2 Pow sec x0 2 Pow Add 1 Mul Mul Add x4 x0 cot tan x0 Mul Add x4 x0 cot tan x0 -1 