Update formula.cpp