Text this: Global optimization of hybrid systems