Search 2012

gistfile1.js

for (var n = 0; 1; n++)
    if (ok(n))
        show(n);

function ok(n) {
    var v = 2011 + 7;
    while (1) {
        var x = n % 4;
        if      (x == 0) v = (v + 7) / 2;
        else if (x == 1) v = (v / 2) + 7;
        else if (x == 2) v = (v * 3) - 5;
        else if (x == 3) v = (v - 5) * 3;
        if (! (n >>= 2))
            return v - 5 == 2012;
    }
}
function show(n) {
    var v = '2011 + 7';
    while (1) {
        var x = n % 4;
        if      (x == 0) v += '  + 7 / 2';
        else if (x == 1) v += '  / 2 + 7';
        else if (x == 2) v += '  * 3 - 5';
        else if (x == 3) v += '  - 5 * 3';
        if (! (n >>= 2))
            return console.log(v + '  - 5 = 2012');
    }
}