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