[ x[3] = piecewise(And(t > 500, t < 250254614894971/100000000000), 1/100*sin(1571/1000000*(-500 + t)), 0),
  2*k[2]*x[1] + 2*k[2]*x[2] + 4*k[2]*x[4] + 4*k[1]*x[5] + 2*k[1]*x[6] + 2*k[1]*x[7] = k[1]*k[19] + k[2]*k[18] ]