Предположу что из-за отсутствия правил переписывания термов.
Другими словами из-за того что символьная запись на ассемблере соответствует один в один машинным командам. Язык же программирования предполагает синтез машинных команд по каким либо правилам (оптимизациями вычисления арифметичских операций, удаления мертвого кода, и т.д.).