Eyring: k = T·k_B/h·exp(-ΔG/(RT)); zero-barrier k = T·k_B/h; ln k = log T − log h + log k_B − ΔG/(RT)

Sympy-exact witness of the Eyring enzyme-rate expression and its two canonical limits. Setup: k_B, h, R, T, DG (ΔG‡) all declared positive; k(T, DG) = (k_B·T/h)·exp(-DG/(R·T)). Three pins: (i) k_sym = sp.simplify(k) =…