improvements found by tryAtEachStep

[dwrensha]

Some golfs found by tryAtEachStep.

[augustepoiroux]

Amazing! Really powerful tool, I really like it. Well done
Out of curiosity, how long did it take to run? Which tactics did you run? exact?
I will merge these changes tomorrow and push them to the PR.

[dwrensha]

It took roughly 50 minutes to run on my 16-core machine. The command was:

$ lake exe tryAtEachStepInDirectory 'with_reducible exact?' SpherePacking -j 31 

For this PR, I only looked at the top 2 percent or so of the output. I applied the suggested changes manually.

Elsewhere, I have tried feeding the json output to Claude Code and letting it autonomously apply the improvements as it sees fit. That works decently: mrdouglasny/OSforGFF#2

[augustepoiroux]

50 minutes is quite fast. I will definitely try this tool.
Thank you for these improvements!

For this PR, I only looked at the top 2 percent or so of the output.

Looks like there is a lot of golfing left, exciting

[dwrensha]

Working on a second round of golfs now...