working out simplify rules
cleaning up multiplication simplification rules
fixing tests
added logbase (for use in ApplyLog) and cleanup / testing for ApplyPower