Closed-form_expression