(3-x)^2 +(4 +(x-1)(x-5))^2 = 9