Відправити по sms: Machine learning for function synthesis