Имхо тут офигенно, что и компилятору удобно, и можно от руки нормально писать (не обязательно формулы записывать как кучу всяких OpFMul) и глазами читать (тем более, что SSA ещё и читается намного быстрее, поскольку все зависимости и control flow очевидны)