A conical grain pile has a ground circumference of 12.56 meters and a height of 3 meters. If each cubic meter of grain weighs 750 kilograms, how many tons does this pile of grain weigh?
一个圆锥形谷堆，地面周长12.56米，高3米，如果每立方米谷重750千克，这堆谷重多少吨？
<gadget id="calculator">1 / 3</gadget>
<output>1/3 = around 0.333333</output>

<gadget id="calculator">12.56 / 3.14 / 2</gadget>
<output>2</output>

<gadget id="calculator">2 ** 2</gadget>
<output>4</output>

<gadget id="calculator">750 / 1_000</gadget>
<output>3/4 = around 0.75</output>

<gadget id="calculator">(1/3) * 3.14 * 4 * 3 * (3/4)</gadget>
<output>9.42</output>

<result>9.42</result>