does abs(x) have a derivative?