3 x^2 - y + z + 2 y z + 3 z^2 for x=1, y=2, z=sqrt(5)