Add x0 asin Pow Add x6 Add asech E 20.0855369231877 Mul atanh x0 1.73205080756888 
Add 1 Mul Mul Pow Add x6 Add asech E 20.0855369231877 Add Mul atanh x0 1.73205080756888 -1 Mul Mul Add x6 Add asech E 20.0855369231877 log Add x6 Add asech E 20.0855369231877 Mul 1.73205080756888 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow Add x6 Add asech E 20.0855369231877 Mul atanh x0 1.73205080756888 Pow Add x6 Add asech E 20.0855369231877 Mul atanh x0 1.73205080756888 -1 