let lx = x1 -. x0