cot Pow cot x0 Add sec x0 asech x1 
Mul Mul -1 Pow csc Pow cot x0 Add sec x0 asech x1 2 Mul Pow cot x0 Add Add sec x0 asech x1 -1 Add Mul Add sec x0 asech x1 Mul -1 Pow csc x0 2 Mul Mul cot x0 log cot x0 Mul tan x0 sec x0 