var ('y,b,c')
y=2*x
b=diff(y,x,2)+y
c=2*x
bool(b == c)