Text this: Machine learning for function synthesis