roots, 389 no-ifs, 744 canonical roots, 261 total subexprs, 9423 canonical subexprs, 1773 filtered pairs, 1300