A pile of conical sand has a circumference of 25.12 meters and a height of 2.5 meters. Each cubic meter of sand weighs 1.5 tons. How many tons does this pile of sand weigh?
一堆圆锥形沙子，底面周长是25.12米，高2.5米，每立方的沙子重1.5吨，这堆沙子重多少吨．
<gadget id="calculator">1 / 3</gadget>
<output>1/3 = around 0.333333</output>

<gadget id="calculator">25.12 / 3.14 / 2</gadget>
<output>4</output>

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

<gadget id="calculator">(1/3) * 3.14 * 16 * 2.5 * 1.5</gadget>
<output>62.8</output>

<result>62.8</result>