From 25f507e46f807e6b6d106f9e1bffd3e6f94b0b32 Mon Sep 17 00:00:00 2001
From: Daniel Selsam <daniel.selsam@gmail.com>
Date: Thu, 5 Nov 2015 19:43:10 -0800
Subject: [PATCH] test(library/simplifier): add compute intensive test case

---
 tests/lean/simplifier_norm_num.lean              | 2 ++
 tests/lean/simplifier_norm_num.lean.expected.out | 1 +
 2 files changed, 3 insertions(+)

diff --git a/tests/lean/simplifier_norm_num.lean b/tests/lean/simplifier_norm_num.lean
index 23babe155..c9d802c37 100644
--- a/tests/lean/simplifier_norm_num.lean
+++ b/tests/lean/simplifier_norm_num.lean
@@ -81,3 +81,5 @@ open norm_num
 #simplify eq 0 (11 : A) * 2
 #simplify eq 0 (15 : A) * 6
 #simplify eq 0 (123456 : A) * 123456
+
+#simplify eq 0 (23000000000343434534345316:A) * (53653343563534534 + 5367536453653573573453) * 53453756475777536 + 2200000000034733531531531534536
diff --git a/tests/lean/simplifier_norm_num.lean.expected.out b/tests/lean/simplifier_norm_num.lean.expected.out
index 7aefaf890..11c53dade 100644
--- a/tests/lean/simplifier_norm_num.lean.expected.out
+++ b/tests/lean/simplifier_norm_num.lean.expected.out
@@ -39,3 +39,4 @@
 22
 90
 15241383936
+6599110652246543565516387775250463433475607911914556819497064648