closed-form expression