A Closed-Form Control for Safety Under Input Constraints Using a Composition of Control Barrier Functions | Synapse