Format derivations to look like tactic scripts because I'm me