Logarithms invert exponentials — AI Alignment Forum