Почему sympy не упрощает эту экспоненциальную функцию?

Question

Я использую Sympy 1.0.0. Я посмотрел на этот документ, который упоминает 3 тождества, связанных с функциями власти:

1: x**a * x**b = x**(a+b)
2: x**a * y**a = (x*y)**a
3: (x**a)**b = x**(a*b)

Теперь документ, на который я ссылаюсь, упоминает expand_power_exp функция, которая применяет идентичность 1 справа налево. Итак, я кодирую это следующим образом:

import sympy as sp

td, tpre, tau1, tau2, vmin = sp.symbols('td tpre tau1 tau2 vmin', positive=True, real=True)
s = sp.symbols('s', positive=True, real=True)

t1 = td-tpre + tau1*sp.log(1-sp.sqrt(1-4*vmin))

alpha = sp.exp(-s/tau1)

f = alpha.subs(s, t1)

sp.pprint(f)
sp.pprint(sp.expand_power_exp(f))

Результат sp.pprint звонки это:

  ⎛      ⎛    _____________    ⎞            ⎞ 
 -⎝τ₁⋅log⎝- ╲╱ -4⋅vmin + 1  + 1⎠ + td - tpre⎠ 
 ─────────────────────────────────────────────
                       τ₁                     
ℯ                                             
  ⎛      ⎛    _____________    ⎞            ⎞ 
 -⎝τ₁⋅log⎝- ╲╱ -4⋅vmin + 1  + 1⎠ + td - tpre⎠ 
 ─────────────────────────────────────────────
                       τ₁                     
ℯ