integrate 4-2y^2 dy, y=0..sqrt(2)