Pow Mul Add x0 x0 Mul 2 Pow x7 Add -0.751582106778485 x0 Mul x1 Mul Mul acoth E x0 x0 
Mul Pow Mul Add x0 x0 Mul 2 Pow x7 Add -0.751582106778485 x0 Add Mul x1 Mul Mul acoth E x0 x0 -1 Add Mul Mul x1 Mul Mul acoth E x0 x0 Add Mul Mul 2 Pow x7 Add -0.751582106778485 x0 2 Mul Add x0 x0 Mul 2 Mul Pow x7 Add Add -0.751582106778485 x0 -1 Mul x7 log x7 Mul Mul Mul Add x0 x0 Mul 2 Pow x7 Add -0.751582106778485 x0 log Mul Add x0 x0 Mul 2 Pow x7 Add -0.751582106778485 x0 Mul x1 Add Mul x0 acoth E Mul acoth E x0 