Mul Mul x0 Add Mul sqrt Add x0 x6 x2 acsch x7 Pow E atanh Add exp x0 x0 
Add Mul Pow E atanh Add exp x0 x0 Add Add Mul sqrt Add x0 x6 x2 acsch x7 Mul x0 Mul x2 Pow Mul 2 sqrt Add x0 x6 -1 Mul Mul x0 Add Mul sqrt Add x0 x6 x2 acsch x7 Mul Pow E Add atanh Add exp x0 x0 -1 Mul Mul E log E Mul Add exp x0 1 Pow Add 1 Mul -1 Mul Add exp x0 x0 Add exp x0 x0 -1 