var ('y,b,c')
y=log(x)
b=x*x*diff(y,x,2)+3*y-3*x*diff(y,x)
c=3*log(x)-4
bool(b == c)