I think it’s something like 0.1onionpi0.9onion, which simplifies to 0.09pionion². Though I’m just guessing at the coefficients of onion used here, getting the exact values will probably require some integration.