A circuit-differentiation framework for Greens functions on quantum computers | Synapse