A computational approach to the development and reduction of large symbolic expressions | IEEE Conference Publication | IEEE Xplore