Synthesis script includes three functions for finding satisfying expressions, one without optimization, and two with different levels of optimization.