Optimization in SmartyPants