add product tree, remainder tree