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