Efficient methods for massively parallel symbolic induction : algorithms and implementation