evaluated = zeroTest.evaluate();
System.out.printf("%s : %s%n", zeroTest, evaluated);
assertEquals(evaluated, TruthValue.True);
Division division = new Division(R.create(10.0), R.create(2.0));
System.out.printf("Division domain: %s%n", division.domain());
ExpressionParser parser = new ExpressionParser();
Expression fraction = parser.parse("(6 sqrt(249) + 130) / 16");
evaluated = fraction.evaluate();
System.out.printf("%s : %s%n", fraction, evaluated);