A working polynomial simplifier