Mul Add x7 Mul atanh x7 x0 Add -3 Add Pow 2.29243166956118 Add exp Add acsch x0 E Add x0 x0 1.24904577239825 
Add Mul Add -3 Add Pow 2.29243166956118 Add exp Add acsch x0 E Add x0 x0 1.24904577239825 atanh x7 Mul Add x7 Mul atanh x7 x0 Mul Pow 2.29243166956118 Add Add exp Add acsch x0 E Add x0 x0 -1 Mul 3.12204478818527 Add Mul exp Add acsch x0 E Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 2 