They do produce code optimizing for a different goal. But readability is often not one of them yeah.