in many programming languages there is a function of two variables called BitXor (which is also known as nim-sum, since it is used in solving de nim game) which represents each number as a string of its binary digits and then takes the Xor of each pair of terms, forming a new number. For Example : 5*7= 1 0 1 * 1 1 1 (binary) =0 1 0 (binary) = 2 (where '*' is the BitXor operator) and 2.5*1.5=10.1*1.1 (binary)=11(binary)=3 Ok. So let f(x)=c*x (where '*' is the BitXor operator and c a real number). is f differentiable??