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