Pow Pow cot Mul acosh x7 x0 tan x0 -2 
Mul Pow Pow cot Mul acosh x7 x0 tan x0 3 Mul -2 Mul Pow cot Mul acosh x7 x0 Add tan x0 -1 Add Mul tan x0 Mul Mul -1 Pow csc Mul acosh x7 x0 2 acosh x7 Mul Mul cot Mul acosh x7 x0 log cot Mul acosh x7 x0 Pow sec x0 2 