Synthesis Effective Programs in Elementary Mathematics: A Best-Evidence