Experience-Monks/math-as-code ? reverse-engineered prompt