Pow x0 cot Pow Mul 2 x0 Mul x0 Mul x0 pi 
Mul Pow x0 Add cot Pow Mul 2 x0 Mul x0 Mul x0 pi -1 Add cot Pow Mul 2 x0 Mul x0 Mul x0 pi Mul Mul x0 log x0 Mul Mul -1 Pow csc Pow Mul 2 x0 Mul x0 Mul x0 pi 2 Mul Pow Mul 2 x0 Add Mul x0 Mul x0 pi -1 Add Mul Mul x0 Mul x0 pi 2 Mul Mul Mul 2 x0 log Mul 2 x0 Add Mul x0 pi Mul x0 pi 