あくまで論理的に等価な変換をやってるだけで、意図を汲み取ってるわけじゃないよ
まあそろそろAIを使って意図に基づいた最適化をやる言語や処理系は出てくるだろうな