Mul tan x0 Mul cot Mul x0 Add -4 Mul tan x0 acosh cot x2 x0 
Add Mul Mul cot Mul x0 Add -4 Mul tan x0 acosh cot x2 x0 Pow sec x0 2 Mul tan x0 Add Mul x0 Mul Mul -1 Pow csc Mul x0 Add -4 Mul tan x0 acosh cot x2 2 Add Add -4 Mul tan x0 acosh cot x2 Mul x0 Mul acosh cot x2 Pow sec x0 2 cot Mul x0 Add -4 Mul tan x0 acosh cot x2 