Mul Mul x0 Pow Pow x2 Pow x0 x1 x6 acoth x0 
Add Mul acoth x0 Add Pow Pow x2 Pow x0 x1 x6 Mul x0 Mul Pow Pow x2 Pow x0 x1 Add x6 -1 Mul x6 Mul Pow x2 Add Pow x0 x1 -1 Mul Mul x2 log x2 Mul Pow x0 Add x1 -1 x1 Mul Mul x0 Pow Pow x2 Pow x0 x1 x6 Pow Add 1 Mul -1 Mul x0 x0 -1 