Mul x0 Pow asech atanh Add exp x7 x0 x0 
Add Pow asech atanh Add exp x7 x0 x0 Mul x0 Mul Pow asech atanh Add exp x7 x0 Add x0 -1 Add Mul x0 Mul Pow Add 1 Mul -1 Mul Add exp x7 x0 Add exp x7 x0 -1 Pow Mul Mul atanh Add exp x7 x0 atanh Add exp x7 x0 sqrt Add 1 Mul -1 Pow Mul atanh Add exp x7 x0 atanh Add exp x7 x0 -1 -1 Mul asech atanh Add exp x7 x0 log asech atanh Add exp x7 x0 