Mul x0 acoth Mul Add Add x0 Mul x0 1.24904577239825 x1 -3 
Add acoth Mul Add Add x0 Mul x0 1.24904577239825 x1 -3 Mul x0 Mul -0.750954227601746 Pow Add 1 Mul -1 Mul Mul Add Add x0 Mul x0 1.24904577239825 x1 -3 Mul Add Add x0 Mul x0 1.24904577239825 x1 -3 -1 