Library learning with e-graphs on jazz harmony