| Invariants | Toggles the visibility of the panel with invariants. |
| Graphs | Toggles the visibility of the panel with graphs. |
| Generators | Toggles the visibility of the panel with generators. |
| Filters | Toggles the visibility of the panel with filters. |
| Conjecturing engine | Toggles the visibility of the panel with the conjecturing engine. |
| List of expressions | Toggles the visibility of the panel with the list of expressions. |