Accurate simplification of large symbolic formulae | IEEE Conference Publication | IEEE Xplore