«Глобальная» подстановка Sympy

У меня есть ряд символических выражений в sympy, и я могу прийти к выводу, что один из коэффициентов равен нулю. Я думаю, возможно потому, что я привык к математике, что следующее имеет смысл:

from sympy import Symbol
x = Symbol('x')
y = Symbol('y')
f = x + y
x = 0
f

Удивительно, что возвращается x + y. Есть ли способ, кроме явного вызова «subs» для каждого уравнения, чтобы f возвращал только y?