From 55eb0aa40402e5fc61a4f7294420c4df3d5e303f Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Fri, 6 Dec 2013 23:21:13 -0500
Subject: [PATCH] Trac #12322: Add a doctest for the correct behavior
 introduced in trac #12737.

---
 src/sage/symbolic/expression.pyx | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/src/sage/symbolic/expression.pyx b/src/sage/symbolic/expression.pyx
index 573289d7edd..f19195650b3 100644
--- a/src/sage/symbolic/expression.pyx
+++ b/src/sage/symbolic/expression.pyx
@@ -7818,6 +7818,17 @@ cdef class Expression(CommutativeRingElement):
             sage: original - simplified
             0
 
+        The invalid simplification from :trac:`12322` should not occur
+        after :trac:`12737`::
+
+            sage: t = var('t')
+            sage: assume(t, 'complex')
+            sage: assumptions()
+            [t is complex]
+            sage: f = (1/2)*log(2*t) + (1/2)*log(1/t)
+            sage: f.simplify_full()
+            1/2*log(2*t) - 1/2*log(t)
+
         """
         x = self
         x = x.simplify_factorial()