Integrating out the fermions in AdS | Synapse