let
lx = x1 -. x0