diff --git a/mkdocs/mkdocs.yml b/mkdocs/mkdocs.yml
index 4cc42d8b2..59ed4c0e6 100644
--- a/mkdocs/mkdocs.yml
+++ b/mkdocs/mkdocs.yml
@@ -64,6 +64,7 @@ nav:
                - Inspect Option: 'circom-language/code-quality/inspect.md'
           - Circom Insight:
                - Compiler Phases: 'circom-language/circom-insight/circom-phases.md'
+               - Constraint simplification: 'circom-language/circom-insight/simplification.md'
                - Compiler Messages: 'circom-language/circom-insight/compiler-messages.md'
                - Unknowns : 'circom-language/circom-insight/unknowns.md'
                - Circom Library: 'circom-language/circom-insight/circom-library.md'