Arithmetic expressions optimisation using dual polarity property | Publicación