Pow Add atan cot Pow atan E x0 acot x0 Pow Add -3 Pow atan x4 x0 Mul Mul x0 x0 Mul x0 acot x0 
Mul Pow Add atan cot Pow atan E x0 acot x0 Add Pow Add -3 Pow atan x4 x0 Mul Mul x0 x0 Mul x0 acot x0 -1 Add Mul Pow Add -3 Pow atan x4 x0 Mul Mul x0 x0 Mul x0 acot x0 Add Mul Mul Mul -1 Pow csc Pow atan E x0 2 Mul Pow atan E Add x0 -1 Mul atan E log atan E Pow Add 1 Mul cot Pow atan E x0 cot Pow atan E x0 -1 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul Add atan cot Pow atan E x0 acot x0 log Add atan cot Pow atan E x0 acot x0 Mul Pow Add -3 Pow atan x4 x0 Add Mul Mul x0 x0 Mul x0 acot x0 -1 Add Mul Mul Mul x0 x0 Mul x0 acot x0 Mul Pow atan x4 Add x0 -1 Mul atan x4 log atan x4 Mul Mul Add -3 Pow atan x4 x0 log Add -3 Pow atan x4 x0 Add Mul Mul x0 acot x0 Add x0 x0 Mul Mul x0 x0 Add acot x0 Mul x0 Mul -1 Pow Add 1 Mul x0 x0 -1 