Add x0 atanh Mul Add x0 Add exp x0 Add x0 Pow Mul asech x7 0.866025403784439 x5 E 
Add 1 Mul Mul E Add 1 Add exp x0 1 Pow Add 1 Mul -1 Mul Mul Add x0 Add exp x0 Add x0 Pow Mul asech x7 0.866025403784439 x5 E Mul Add x0 Add exp x0 Add x0 Pow Mul asech x7 0.866025403784439 x5 E -1 