公式が重い