diff --git a/poincare/src/simplification/demo_ruleset.prs b/poincare/src/simplification/demo_ruleset.prs
index 9a8e353fd..b2acc49f6 100644
--- a/poincare/src/simplification/demo_ruleset.prs
+++ b/poincare/src/simplification/demo_ruleset.prs
@@ -23,3 +23,6 @@ Multiplication.a(Integer.b,Integer.c) -> IntegerMultiplicationTransform(a,b,c);
 
 // (b^c)^d -> b^(c*d)
 //Power.a(Power(b,c),d) -> PowerPowerTransform(a,b,c,d)
+
+// int*int^-1 -> int.a*int.b^-1 with gcd(a,b) = 1
+Multiplication.a(Power.c(Integer.d, Integer[-1]), Integer.b) -> IntegerFractionReductionTransform(a,b,c,d);
diff --git a/poincare/src/simplification/ruleset.h b/poincare/src/simplification/ruleset.h
index 048786345..b0aa616c5 100644
--- a/poincare/src/simplification/ruleset.h
+++ b/poincare/src/simplification/ruleset.h
@@ -3,6 +3,7 @@
 
 #include "rule.h"
 #include "selector/type_selector.h"
+#include "selector/type_and_identifier_selector.h"
 
 namespace Poincare {
 namespace Simplification {