Shashi Gowda

```julia julia> foo(a,b,c) = (1 / (b - a))*(1 / c) foo (generic function with 2 methods) julia> foo(1//1,1//1,-1//1) -1//0 julia> foo(a,b,c) 1 / (c*(b - a)) julia> substitute(foo(a,b,c), Dict(a=>1//1,b=>1//1,c=>-1//1))...

Don't print a * b in latex, print a b

2

cc @alanedelman

- [ ] `sin` should be `\sin` - [ ] `a^{-1}` shows up wrong -- 1 is not even super script. (see `a^(b - 1)`) cc @alanedelman

RFC: Wrapper type interface

6

It maybe worth considering making a macro which generates an interface to wrap a symbolic expression to be a subtype of a certain outside type. ```julia @symbolic_wrap Num

Common subexpression elimination

13

done with @dpsanders : ```julia using SymbolicUtils using SymbolicUtils: Sym, Term using SymbolicUtils.Rewriters using DataStructures newsym() = Sym{Number}(gensym("cse")) function cse(expr) dict = OrderedDict() r = @rule ~x::(x -> x isa...

Division

5

- [ ] make sure inv does not get introduced, only negative powers do. - [X] simplify using exponent arithmetic - [ ] put back `/` after simplification so that...

```julia 0.5 * inv(-0.5 * inv(p) ^ 1 * q * r + p + s) ^ 1 * inv(p) ^ 1 * r ^ 2 * q + r...

Add a ModelingToolkit benchmark

16

@YingboMa suggested benchmarking factorized_W in https://github.com/SciML/DiffEqProblemLibrary.jl/blob/master/src/ode/ode_simple_nonlinear_prob.jl It would be nice if PkgBenchmark can detect a Project.toml in the benchmark folder. see https://github.com/JuliaCI/PkgBenchmark.jl/issues/114

With #78 Mike showed ```julia julia> D(f, x, n) = n == 0 ? f(x) : ForwardDiff.derivative(x -> D(f, x, n-1), x) D (generic function with 1 method) ​ julia>...

#82 type of issues are scary, need to make sure every branch in the comparison operator is tested.