Add Pow atan Pow x0 pi cot x0 Add x7 Add Mul -5 Pow x6 x0 -2 
Add Mul Pow atan Pow x0 pi Add cot x0 -1 Add Mul cot x0 Mul Mul Pow x0 Add pi -1 pi Pow Add 1 Mul Pow x0 pi Pow x0 pi -1 Mul Mul atan Pow x0 pi log atan Pow x0 pi Mul -1 Pow csc x0 2 Mul -5 Mul Pow x6 Add x0 -1 Mul x6 log x6 