var('y,b,c')
y=1/5*exp(-x)+exp(x)
b=8*diff(y,x,2)-6*diff(y,x)+y
c=3*exp(x)+3*exp(-x)
bool(b == c)