Add Add Mul Pow x0 x0 Add Add acoth Add x0 x0 Pow atan x1 acot x0 x6 x0 x0 
Add Add Add Mul Add Add acoth Add x0 x0 Pow atan x1 acot x0 x6 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Pow x0 x0 Add Mul 2 Pow Add 1 Mul -1 Mul Add x0 x0 Add x0 x0 -1 Mul Pow atan x1 Add acot x0 -1 Mul Mul atan x1 log atan x1 Mul -1 Pow Add 1 Mul x0 x0 -1 1 1 