cot acot Mul csc Mul asin x7 E tan x0 
Mul Mul -1 Pow csc acot Mul csc Mul asin x7 E tan x0 2 Mul -1 Mul Mul csc Mul asin x7 E Pow sec x0 2 Pow Add 1 Mul Mul csc Mul asin x7 E tan x0 Mul csc Mul asin x7 E tan x0 -1 