Nix derivations by hand, without guessing