In reduce, I find this behavior:
Any ideas how to get logb to behave like log in this case? Should I add my own global simplification rules, or is there some switch I have wrong?
log(e^x) is implented is packages/alg/elem.red with a pattern matching rule:
for all x let log(e**x)=x;
Similarly, you can add the second simplification with
for all x,a let logb(a**x,a) = x;
Great, thank you!
I've just checked in extra simplication rules for log10 and logb, including the two above and differentiation rules.