Add Pow Add Pow Add x0 x0 Add x0 asech atan exp x0 4 exp Pow Pow x5 Add x2 -2 x0 atanh atanh x3 
Mul Pow Add Pow Add x0 x0 Add x0 asech atan exp x0 4 Add exp Pow Pow x5 Add x2 -2 x0 -1 Add Mul exp Pow Pow x5 Add x2 -2 x0 Mul Pow Add x0 x0 Add Add x0 asech atan exp x0 -1 Add Mul Add x0 asech atan exp x0 2 Mul Mul Add x0 x0 log Add x0 x0 Add 1 Mul Mul exp x0 Pow Add 1 Mul exp x0 exp x0 -1 Pow Mul Mul atan exp x0 atan exp x0 sqrt Add 1 Mul -1 Pow Mul atan exp x0 atan exp x0 -1 -1 Mul Mul Add Pow Add x0 x0 Add x0 asech atan exp x0 4 log Add Pow Add x0 x0 Add x0 asech atan exp x0 4 Mul exp Pow Pow x5 Add x2 -2 x0 Mul Pow Pow x5 Add x2 -2 Add x0 -1 Mul Pow x5 Add x2 -2 log Pow x5 Add x2 -2 