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