(d/dt(d/dt x)=4*x)&(x(0)=0)&(dx/dt(0)=8)