atanh Add Add Mul x0 2.23606797749979 Pow x7 x0 acosh exp x0 
Mul Add Add 2.23606797749979 Mul Pow x7 Add x0 -1 Mul x7 log x7 Mul exp x0 Pow Mul sqrt Add exp x0 -1 sqrt Add 1 exp x0 -1 Pow Add 1 Mul -1 Mul Add Add Mul x0 2.23606797749979 Pow x7 x0 acosh exp x0 Add Add Mul x0 2.23606797749979 Pow x7 x0 acosh exp x0 -1 