diff --git a/poincare/test/simplify.cpp b/poincare/test/simplify.cpp
index c155de771..952ffd5a6 100644
--- a/poincare/test/simplify.cpp
+++ b/poincare/test/simplify.cpp
@@ -3,14 +3,14 @@
 #include <assert.h>
 
 QUIZ_CASE(poincare_simplify) {
-  //{
-  //  Expression * e = Expression::parse("3*0");
-  //  Expression * e2 = e->simplify();
-  //  assert(e2->type() == Expression::Type::Integer);
-  //}
-  //{
-  //  Expression * e = Expression::parse("0*foo");
-  //  Expression * e2 = e->simplify();
-  //  assert(e2->type() == Expression::Type::Integer);
-  //}
+  {
+    Expression * e = Expression::parse("3*0");
+    Expression * e2 = e->simplify();
+    assert(e2->type() == Expression::Type::Integer);
+  }
+  {
+    Expression * e = Expression::parse("0*foo");
+    Expression * e2 = e->simplify();
+    assert(e2->type() == Expression::Type::Integer);
+  }
 }
diff --git a/poincare/test/simplify_addition_integer.cpp b/poincare/test/simplify_addition_integer.cpp
index 4587bd423..f43d26dfe 100644
--- a/poincare/test/simplify_addition_integer.cpp
+++ b/poincare/test/simplify_addition_integer.cpp
@@ -38,11 +38,16 @@ void assert_simplifies_to(const char * input_string, const char * expected_strin
 
   assert(simplified->isIdenticalTo(expected));
   delete expected;
-  delete simplified;
+  if (simplified != input) {
+    delete simplified;
+  }
   delete input;
 }
 
 QUIZ_CASE(poincare_simplify_addition_integer) {
-  //assert_simplifies_to("2+2", "4");
-  assert_simplifies_to("2*2*2*2*2*2", "6");
+  assert_simplifies_to("1", "1");
+  assert_simplifies_to("1+2", "3");
+  assert_simplifies_to("1+a", "1+a");
+  assert_simplifies_to("1+2+3+4+5+6+7", "28");
+  assert_simplifies_to("1+2+3+4+5+a+6+7", "28+a");
 }