Backward error analysis