2/pi arctan(tan(1/2 pi (2^(-y) x - 1))) + 1 = 1