asinh Add Pow x5 asech Add x7 exp Mul x0 Add Mul x0 x5 x0 x2 
Mul Mul Pow x5 Add asech Add x7 exp Mul x0 Add Mul x0 x5 x0 -1 Mul Mul x5 log x5 Mul Mul exp Mul x0 Add Mul x0 x5 x0 Add Add Mul x0 x5 x0 Mul x0 Add x5 1 Pow Mul Mul Add x7 exp Mul x0 Add Mul x0 x5 x0 Add x7 exp Mul x0 Add Mul x0 x5 x0 sqrt Add 1 Mul -1 Pow Mul Add x7 exp Mul x0 Add Mul x0 x5 x0 Add x7 exp Mul x0 Add Mul x0 x5 x0 -1 -1 Pow sqrt Add 1 Mul Add Pow x5 asech Add x7 exp Mul x0 Add Mul x0 x5 x0 x2 Add Pow x5 asech Add x7 exp Mul x0 Add Mul x0 x5 x0 x2 -1 