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