Simplify arithmetic expressions

autoreason.jl

function simplify(e::Expr)
    _simplify(e)
end

_simplify(e) = e
function _simplify(e::Expr)
    # apply the following only to expressions that call a function on arguments
    if e.head == :call
        op = e.args[1] # in such expressions, `args[1]` is the called function
        simplified_args = [ _simplify(arg) for arg in e.args[2:end] ]
        if op == :(*)
            in(0, e.args[2:end]) && return 0 # return 0 if any args are 0
            simplified_args = simplified_args[simplified_args .!= 1] # remove 1s
        elseif op == :(+)
            simplified_args = simplified_args[simplified_args .!= 0] # remove 0s
        end
        length(simplified_args) == 0 ? 0 :
        length(simplified_args) == 1 ? simplified_args[1] :
        return Expr(:call, op, simplified_args...)
    end
end

Julia, you will do work for me so easily!? That is are all kinds of refreshing.
(regards to your friend, david)