Zaslat SMS: Machine learning for function synthesis