something is wrong with simulation, noticed it with the gosper.aut