Mul acosh Pow Mul Add Mul x0 sin Pow sqrt pi atanh x6 x6 x0 asin Add x0 pi x7 
Mul x7 Mul Mul Pow Mul Add Mul x0 sin Pow sqrt pi atanh x6 x6 x0 Add asin Add x0 pi -1 Add Mul asin Add x0 pi Add Mul x0 sin Pow sqrt pi atanh x6 Add Mul x0 sin Pow sqrt pi atanh x6 x6 Mul Mul Mul Add Mul x0 sin Pow sqrt pi atanh x6 x6 x0 log Mul Add Mul x0 sin Pow sqrt pi atanh x6 x6 x0 Pow sqrt Add 1 Mul -1 Mul Add x0 pi Add x0 pi -1 Pow Mul sqrt Add Pow Mul Add Mul x0 sin Pow sqrt pi atanh x6 x6 x0 asin Add x0 pi -1 sqrt Add 1 Pow Mul Add Mul x0 sin Pow sqrt pi atanh x6 x6 x0 asin Add x0 pi -1 