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