Sympy，如果在方程中已知部分表达式，如何简化表达式

Question

例如，假设我有以下代码：

Template.content.events( {
    'click .nav li': function(event, instance) {
        //logic to decide which template you want to show
        //and put the name of that template in templateName

        instance.currentTab.set(templateName)
    }
});

如何将expre=t+C1-C2 equation=Eq(C3,C1-C2) 替换为它的值C1-C2：

C3