Pow Add Add x0 acos sqrt pi 6.03731472072755 x0 
Mul Pow Add Add x0 acos sqrt pi 6.03731472072755 Add x0 -1 Add x0 Mul Add Add x0 acos sqrt pi 6.03731472072755 log Add Add x0 acos sqrt pi 6.03731472072755 