Mul Mul x0 Mul x0 Add x0 x0 Add x1 acos Pow asin x7 atanh asinh x0 
Add Mul Add x1 acos Pow asin x7 atanh asinh x0 Add Mul x0 Add x0 x0 Mul x0 Add Add x0 x0 Mul x0 2 Mul Mul x0 Mul x0 Add x0 x0 Mul -1 Mul Mul Pow asin x7 Add atanh asinh x0 -1 Mul Mul asin x7 log asin x7 Mul Pow sqrt Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul asinh x0 asinh x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow asin x7 atanh asinh x0 Pow asin x7 atanh asinh x0 -1 