
load "PWB";
load "Expressions";

open Expressions;

val t1 = MIN(PROD(TOP, PROD(INTNUM 2, TOP)), QUOT(PROD(TOP, INTNUM 2), INTNUM 3));

val t2 = factorTops t1;
val t3 = simplify t1;

toString t1;
toString t2;
toString t3;
