SMS dit: Machine learning for function synthesis