Closed-form_expression loading ...