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