Mul x7 Pow acoth Pow Add x0 Mul exp x4 Mul x0 x0 3 Add x0 Mul -5 x1 
Mul x7 Mul Pow acoth Pow Add x0 Mul exp x4 Mul x0 x0 3 Add Add x0 Mul -5 x1 -1 Add Mul Add x0 Mul -5 x1 Mul Mul Pow Add x0 Mul exp x4 Mul x0 x0 2 Mul 3 Add 1 Mul exp x4 Add x0 x0 Pow Add 1 Mul -1 Mul Pow Add x0 Mul exp x4 Mul x0 x0 3 Pow Add x0 Mul exp x4 Mul x0 x0 3 -1 Mul acoth Pow Add x0 Mul exp x4 Mul x0 x0 3 log acoth Pow Add x0 Mul exp x4 Mul x0 x0 3 