int(x^x,x)