logaddexp works