Mul Add Pow acoth x0 Mul exp x0 x0 x6 Pow Pow x3 x0 x3 
Add Mul Pow Pow x3 x0 x3 Mul Pow acoth x0 Add Mul exp x0 x0 -1 Add Mul Mul exp x0 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acoth x0 log acoth x0 Add Mul x0 exp x0 exp x0 Mul Add Pow acoth x0 Mul exp x0 x0 x6 Mul Pow Pow x3 x0 Add x3 -1 Mul x3 Mul Pow x3 Add x0 -1 Mul x3 log x3 