Pow x0 Pow Mul Pow Add x7 x0 Mul atanh x2 asin x0 pi acos Add x0 Mul asin x0 4 
Mul Pow x0 Add Pow Mul Pow Add x7 x0 Mul atanh x2 asin x0 pi acos Add x0 Mul asin x0 4 -1 Add Pow Mul Pow Add x7 x0 Mul atanh x2 asin x0 pi acos Add x0 Mul asin x0 4 Mul Mul x0 log x0 Mul Pow Mul Pow Add x7 x0 Mul atanh x2 asin x0 pi Add acos Add x0 Mul asin x0 4 -1 Add Mul acos Add x0 Mul asin x0 4 Mul pi Mul Pow Add x7 x0 Add Mul atanh x2 asin x0 -1 Add Mul atanh x2 asin x0 Mul Mul Add x7 x0 log Add x7 x0 Mul atanh x2 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Mul Pow Add x7 x0 Mul atanh x2 asin x0 pi log Mul Pow Add x7 x0 Mul atanh x2 asin x0 pi Mul -1 Mul Add 1 Mul 4 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Add x0 Mul asin x0 4 Add x0 Mul asin x0 4 -1 