[impl] apply distributivity to terms of sum