public void simplify(SolutionType solutionType) {
		String[] functions = program.getMainPanel().getTextField().getText()
				.split(";");
		if (functions.length == 1
				&& functions[0].startsWith(Tools
						.getLocalizedLabelText("EXAMPLE")))
			return;
		Simplification s = new Simplification(functions, solutionType, this);
		s.launchSimplification(Type.FUNCTION);
		program.createTree(functions.length);
		showSolution();
	}