Accurate simplification of large symbolic formulae | Publicación