Mul 4 Pow Add x0 pi Mul x0 sqrt Pow log Pow x1 x0 pi 
Mul 4 Mul Pow Add x0 pi Add Mul x0 sqrt Pow log Pow x1 x0 pi -1 Add Mul x0 sqrt Pow log Pow x1 x0 pi Mul Mul Add x0 pi log Add x0 pi Add sqrt Pow log Pow x1 x0 pi Mul x0 Mul Pow Mul 2 sqrt Pow log Pow x1 x0 pi -1 Mul Pow log Pow x1 x0 Add pi -1 Mul pi Mul Mul Pow x1 Add x0 -1 Mul x1 log x1 Pow Pow x1 x0 -1 