backward error analysis