if simping is bad doesnt that mean polynomial time complexity would be the best?