@bournez Nice!
I've been using the second one for ages. The others are new to me.
@bournez my answer would be ๐คฏ
But then again, I am not a mathematician...
@bournez
d(log๐)/d๐ = ๐