Add Pow -3 x1 exp Mul x0 log Pow asech Add x0 7 Add Add x0 x2 atanh Add x0 x0 
Mul exp Mul x0 log Pow asech Add x0 7 Add Add x0 x2 atanh Add x0 x0 Add log Pow asech Add x0 7 Add Add x0 x2 atanh Add x0 x0 Mul x0 Mul Mul Pow asech Add x0 7 Add Add Add x0 x2 atanh Add x0 x0 -1 Add Mul Add Add x0 x2 atanh Add x0 x0 Pow Mul Mul Add x0 7 Add x0 7 sqrt Add 1 Mul -1 Pow Mul Add x0 7 Add x0 7 -1 -1 Mul Mul asech Add x0 7 log asech Add x0 7 Add 1 Mul 2 Pow Add 1 Mul -1 Mul Add x0 x0 Add x0 x0 -1 Pow Pow asech Add x0 7 Add Add x0 x2 atanh Add x0 x0 -1 