There is also the issue that the distributive law doesn't apply to COSTS_N_INSNS and +, i.e COSTS_N_INSNS (n) + COSTS_N_INSNS (m) < COSTS_N_INSNS (n+m)