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