I was interested in this topic (complexity of defining integers) a while ago and computed a database of all numbers of complexity
(by simple exhaustive search of programs).
All straight-line programs for factorials up to 7! are under the spoiler
(Оффтоп)
1
---
1, 2
---
1, 2, 3, 6
1, 2, 4, 6
---
1, 2, 4, 6, 24
---
1, 2, 3, 4, 12, 10, 120
1, 2, 3, 5, 8, 15, 120
1, 2, 3, 5, 8, 24, 120
1, 2, 3, 5, 8, 40, 120
1, 2, 3, 5, 10, 12, 120
1, 2, 3, 5, 15, 8, 120
1, 2, 4, 5, 20, 100, 120
1, 2, 3, 5, 25, 24, 120
1, 2, 3, 5, 25, 125, 120
1, 2, 3, 6, 12, 10, 120
1, 2, 3, 6, 18, 20, 120
1, 2, 3, 9, 12, 10, 120
1, 2, 3, 9, 12, 108, 120
1, 2, 3, 9, 10, 12, 120
1, 2, 3, 9, 11, 121, 120
1, 2, 4, 3, 12, 10, 120
1, 2, 4, 5, 6, 20, 120
1, 2, 4, 5, 6, 24, 120
1, 2, 4, 5, 6, 30, 120
1, 2, 4, 5, 10, 12, 120
1, 2, 4, 5, 20, 6, 120
1, 2, 4, 5, 20, 24, 120
1, 2, 4, 5, 25, 24, 120
1, 2, 4, 5, 25, 30, 120
1, 2, 4, 5, 25, 125, 120
1, 2, 4, 6, 5, 30, 120
1, 2, 4, 6, 5, 20, 120
1, 2, 4, 6, 5, 24, 120
1, 2, 4, 6, 10, 12, 120
1, 2, 4, 6, 10, 20, 120
1, 2, 4, 6, 10, 60, 120
1, 2, 4, 6, 12, 10, 120
1, 2, 4, 6, 16, 20, 120
1, 2, 4, 6, 24, 5, 120
1, 2, 4, 6, 24, 20, 120
1, 2, 4, 6, 24, 30, 120
1, 2, 4, 6, 24, 96, 120
1, 2, 4, 6, 24, 144, 120
1, 2, 4, 6, 36, 30, 120
1, 2, 4, 8, 32, 30, 120
1, 2, 4, 8, 64, 56, 120
1, 2, 4, 8, 64, 60, 120
1, 2, 4, 8, 7, 15, 120
1, 2, 4, 8, 12, 10, 120
1, 2, 4, 8, 10, 12, 120
1, 2, 4, 8, 16, 15, 120
1, 2, 4, 8, 16, 128, 120
1, 2, 4, 8, 32, 128, 120
1, 2, 4, 8, 64, 128, 120
1, 2, 4, 16, 8, 128, 120
1, 2, 4, 16, 12, 10, 120
1, 2, 4, 16, 8, 15, 120
1, 2, 4, 16, 6, 20, 120
1, 2, 4, 16, 14, 30, 120
1, 2, 4, 16, 15, 8, 120
1, 2, 4, 16, 15, 30, 120
1, 2, 4, 16, 15, 60, 120
1, 2, 4, 16, 20, 6, 120
1, 2, 4, 16, 32, 30, 120
1, 2, 4, 16, 64, 60, 120
---
1, 2, 3, 9, 27, 729, 720
1, 2, 3, 9, 81, 80, 720
1, 2, 3, 9, 81, 729, 720
1, 2, 4, 6, 24, 30, 720
1, 2, 4, 16, 20, 36, 720
---
1, 2, 3, 6, 12, 72, 70, 5040
1, 2, 3, 6, 36, 72, 70, 5040
1, 2, 3, 9, 8, 72, 70, 5040
1, 2, 3, 9, 81, 72, 70, 5040
1, 2, 4, 6, 12, 72, 70, 5040
1, 2, 4, 6, 36, 35, 140, 5040
1, 2, 4, 6, 36, 35, 144, 5040
1, 2, 4, 6, 36, 35, 1260, 5040
1, 2, 4, 6, 36, 72, 70, 5040
1, 2, 4, 6, 36, 144, 35, 5040
1, 2, 4, 6, 36, 144, 140, 5040
1, 2, 4, 6, 36, 144, 5184, 5040
1, 2, 4, 6, 36, 1296, 1260, 5040
1, 2, 4, 8, 9, 72, 70, 5040
1, 2, 4, 8, 64, 72, 70, 5040
1, 2, 4, 16, 18, 72, 70, 5040
1, 2, 4, 16, 20, 256, 252, 5040
1, 2, 4, 16, 64, 63, 80, 5040
1, 2, 4, 16, 64, 80, 63, 5040
1, 2, 4, 16, 64, 80, 5120, 5040
1, 2, 4, 16, 256, 20, 252, 5040
1, 2, 4, 16, 256, 252, 20, 5040
I do not intend to participate in contest, but maybe we can discuss some ideas here.