Probably looks a lot simpler in A-normal form, with intermediates factored out.