Pow atan x0 Pow cot Mul Mul x0 Pow cot x0 x0 x0 Add x0 -4 
Mul Pow atan x0 Add Pow cot Mul Mul x0 Pow cot x0 x0 x0 Add x0 -4 -1 Add Mul Pow cot Mul Mul x0 Pow cot x0 x0 x0 Add x0 -4 Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 log atan x0 Mul Pow cot Mul Mul x0 Pow cot x0 x0 x0 Add Add x0 -4 -1 Add Mul Add x0 -4 Mul Mul -1 Pow csc Mul Mul x0 Pow cot x0 x0 x0 2 Add Mul x0 Add Pow cot x0 x0 Mul x0 Mul Pow cot x0 Add x0 -1 Add Mul x0 Mul -1 Pow csc x0 2 Mul cot x0 log cot x0 Mul x0 Pow cot x0 x0 Mul cot Mul Mul x0 Pow cot x0 x0 x0 log cot Mul Mul x0 Pow cot x0 x0 x0 