การประเมินเชิงปริมาณว่างบปฏิบัติการในรหัสทำให้ประมวลผลแน่นอนที่ต้องใช้ในสูตรทางคณิตศาสตร์