Simplificación del logaritmo de Sagemath

Question

Sagemath no simplifica el siguiente término $$\sqrt{x}\,\exp\biggl(\ln(x)\cdot\biggl(-\frac{1}{2}\biggr)\biggr)\qquad\text{with } x>0$$ a $1$ :

In [1]:
assume(x>0)
In [2]:
D=sqrt(x)*exp(ln(x)*(-1/2))
In [3]:
D.full_simplify()
Out[3]:
sqrt(x)*e^(-1/2*log(x))

En realidad, Sagemath pasa estas tareas de simplificación a Maxima.

Entonces, ¿hay alguna forma de simplificar términos como el anterior con Sagemath/Maxima?

Answer 1

Se puede utilizar canonicalize_radical por eso:

sage: D = sqrt(x)*exp(ln(x)*(-1/2))
sage: D
sqrt(x)*e^(-1/2*log(x))
sage: D.canonicalize_radical()
1