great problem!
Would love to see a follow up problem to this one maybe something like getting assembly (or some kind of bytecode) as input and the goal is to produce a readable expression like:
input:
AR 0 SW IM 2 MU SW IM 1 SU
output:
[a] 1-a*2
(this wouldn't be a 1kyu problem but it would be fun :) )