Add Pow acot x5 Pow atan Add -2 Pow csc x0 x1 x1 Pow -1 x4 
Mul Pow acot x5 Add Pow atan Add -2 Pow csc x0 x1 x1 -1 Mul Mul acot x5 log acot x5 Mul Pow atan Add -2 Pow csc x0 x1 Add x1 -1 Mul x1 Mul Mul Pow csc x0 Add x1 -1 Mul x1 Mul Mul -1 cot x0 csc x0 Pow Add 1 Mul Add -2 Pow csc x0 x1 Add -2 Pow csc x0 x1 -1 