This is useful analytically, but one tradeoff here is that if this is in an inner loop, the exp/sum/log process will be a lot more expensive than a simple max.<p>For proofs and stuff it can be invaluable to have a differentiable objective function, but in actual computation it's not always necessary.