atanh Pow Add x6 Mul x0 x7 Pow Pow x0 Add x2 Pow x0 asin x2 2 
Mul Mul Pow Add x6 Mul x0 x7 Add Pow Pow x0 Add x2 Pow x0 asin x2 2 -1 Add Mul Pow Pow x0 Add x2 Pow x0 asin x2 2 x7 Mul Mul Add x6 Mul x0 x7 log Add x6 Mul x0 x7 Mul Pow x0 Add x2 Pow x0 asin x2 Mul 2 Mul Pow x0 Add Add x2 Pow x0 asin x2 -1 Add Add x2 Pow x0 asin x2 Mul Mul x0 log x0 Mul Pow x0 Add asin x2 -1 asin x2 Pow Add 1 Mul -1 Mul Pow Add x6 Mul x0 x7 Pow Pow x0 Add x2 Pow x0 asin x2 2 Pow Add x6 Mul x0 x7 Pow Pow x0 Add x2 Pow x0 asin x2 2 -1 