User blog comment:P進大好きbot/Proposal to Choose an Official Standard OCF in This Wiki/@comment-34193315-20191220032726/@comment-35470197-20191220042555

Exactly, it looks simpler. (I have never verified the comparison is correct, though.) But what Antimony Star requires is not reducing base functions, but is giving exponentiation, which helps us in actual analyses very much.