diff --git a/tests/lean/run/1723.lean b/tests/lean/1723.lean
similarity index 100%
rename from tests/lean/run/1723.lean
rename to tests/lean/1723.lean
diff --git a/tests/lean/1723.lean.expected.out b/tests/lean/1723.lean.expected.out
new file mode 100644
index 0000000000..d1121d976d
--- /dev/null
+++ b/tests/lean/1723.lean.expected.out
@@ -0,0 +1,6 @@
+-[1+ 0]
+-1
+-[1+ 0]
+-1
+-[1+ 1]
+-2