I have read Basic expression manipulation with Symbolics.jl - #2 by Gravlax but found no issue, so I’m asking again with some very simple examples to understand if there is a reason for the three results below:
julia> simplify(-x/-u)
x / u
julia> simplify(-x/-2)
1//2*x
julia> simplify((- x)/(-1 - u))
(-x) / (-1 - u)
The first one makes total sense to me. The second one puzzles me because it is Mul(Rat(1,2), x) which seems more involved that Div(x, 2), but maybe there is no “2”, only “Rat(2,1)”. But the third one is even more surprising, since it does not cancel minus signs.