Add atanh Mul -0.863691154450617 Add x7 asin x0 asech x6 
Mul Mul -0.863691154450617 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Mul -0.863691154450617 Add x7 asin x0 Mul -0.863691154450617 Add x7 asin x0 -1 