(y^2-1). get  makes a core dump.