The Algorithm synthesiz3r