This is wrong. `Poly(t, t)` is an exponential, not a logarithm.