Add 2 asech Pow Mul Add x0 Add x7 Pow atanh x7 x0 Mul x1 x0 Add 2 x0 
Mul Mul Pow Mul Add x0 Add x7 Pow atanh x7 x0 Mul x1 x0 Add Add 2 x0 -1 Add Mul Add 2 x0 Add Mul Mul x1 x0 Add 1 Mul Pow atanh x7 Add x0 -1 Mul atanh x7 log atanh x7 Mul Add x0 Add x7 Pow atanh x7 x0 x1 Mul Mul Add x0 Add x7 Pow atanh x7 x0 Mul x1 x0 log Mul Add x0 Add x7 Pow atanh x7 x0 Mul x1 x0 Pow Mul Mul Pow Mul Add x0 Add x7 Pow atanh x7 x0 Mul x1 x0 Add 2 x0 Pow Mul Add x0 Add x7 Pow atanh x7 x0 Mul x1 x0 Add 2 x0 sqrt Add 1 Mul -1 Pow Mul Pow Mul Add x0 Add x7 Pow atanh x7 x0 Mul x1 x0 Add 2 x0 Pow Mul Add x0 Add x7 Pow atanh x7 x0 Mul x1 x0 Add 2 x0 -1 -1 