Add Add Pow Pow x2 Mul Mul cot cot x0 atan Mul x0 x1 -4 x0 Mul x0 x4 acoth x0 
Add Add Mul Pow Pow x2 Mul Mul cot cot x0 atan Mul x0 x1 -4 Add x0 -1 Add Mul x0 Mul Pow x2 Add Mul Mul cot cot x0 atan Mul x0 x1 -4 -1 Mul Mul x2 log x2 Mul -4 Add Mul atan Mul x0 x1 Mul Mul -1 Pow csc cot x0 2 Mul -1 Pow csc x0 2 Mul cot cot x0 Mul x1 Pow Add 1 Mul Mul x0 x1 Mul x0 x1 -1 Mul Pow x2 Mul Mul cot cot x0 atan Mul x0 x1 -4 log Pow x2 Mul Mul cot cot x0 atan Mul x0 x1 -4 x4 Pow Add 1 Mul -1 Mul x0 x0 -1 