Solved
Symbolic value propigation
Can a variable's symbolically obtained value be propagated to future uses of that variable?
I want my second expression to see c2 as zero.

Can a variable's symbolically obtained value be propagated to future uses of that variable?
I want my second expression to see c2 as zero.

Enter your E-mail address. We'll send you an e-mail with instructions to reset your password.