log Add x6 sqrt Pow Mul pi 1.15782128234958 x0 
Mul Mul Pow Mul 2 sqrt Pow Mul pi 1.15782128234958 x0 -1 Mul Pow Mul pi 1.15782128234958 Add x0 -1 Mul Mul pi 1.15782128234958 log Mul pi 1.15782128234958 Pow Add x6 sqrt Pow Mul pi 1.15782128234958 x0 -1 