Add x1 Pow Mul atanh x7 acot log Add Pow pi asin x0 x0 5 
Mul Pow Mul atanh x7 acot log Add Pow pi asin x0 x0 4 Mul 5 Mul atanh x7 Mul -1 Mul Mul Add Mul Pow pi Add asin x0 -1 Mul Mul pi log pi Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 Pow Add Pow pi asin x0 x0 -1 Pow Add 1 Mul log Add Pow pi asin x0 x0 log Add Pow pi asin x0 x0 -1 