Comment by gabiteodoru

Or, even better, also from the cookbook: {(2#x)#1,x#0} But this really borders on obfuscation :P