exp asec Mul Mul x0 x0 atanh Add x7 Add 1 exp x6 
Mul exp asec Mul Mul x0 x0 atanh Add x7 Add 1 exp x6 Mul Mul atanh Add x7 Add 1 exp x6 Add x0 x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Mul x0 x0 atanh Add x7 Add 1 exp x6 Mul Mul x0 x0 atanh Add x7 Add 1 exp x6 -1 Mul Mul x0 x0 atanh Add x7 Add 1 exp x6 Mul Mul x0 x0 atanh Add x7 Add 1 exp x6 -1 