Investigate egg from Lean

[utensil]

• https://github.com/verified-optimization/CvxLean/tree/main/egg-pre-dcp
• https://github.com/opencompl/egg-tactic-code