Apply rules for the power and product laws for logarithms of real numbers recursively:

ReplaceAll does just a single replacement:

Remove all occurrences of a head, including nested ones:

ReplaceAll would only remove the outermost head:

Use ReplaceRepeated in operator form:

If no rule matches, the input expression is returned:

Replace occurrences of f with 1 followed by exactly one integer:

Replace occurrences of f with 1 followed by one or more integers:

Replace occurrences of f with 1 followed by zero or more integers:

ReplaceRepeated works inside held expressions:

Do not evaluate the right-hand side of the rule before doing the replacement:

Evaluate the right-hand side before replacement:

Undo "currying" of function arguments:

An empty list is considered to have no matching rules:

When a list of lists is used for replacement, the result is a list of the same length:

Evaluation is not forced when replacing into a held expression:

ReplaceRepeated is effectively a combination of ReplaceAll and FixedPoint:

ReplaceRepeated scans multiple times from the top of an expression:

ReplaceAll replaces the largest subexpressions it can and then stops:

Replace with level spec All will attempt to replace every subexpression exactly once: