SimpleCpuFormula implemented + test