(calc-poly-div): Made calc-poly-div-remainder a local variable.

(calc-poly-div):  Made calc-poly-div-remainder a local variable.

(math-eval-rules-cache, math-eval-rules-cache-other):  Declared them.

(math-top-only):  New variable
(math-simplify, math-simplify-step):  Replace variable top-only by
declared variable math-top-only.

(math-simplify-expr):  Declared it.
Replaced argument expr in all calls of math-defsimplify by
math-simplify-expr.
(math-simplify-plus, math-simplify-times, math-simplify-divide)
(math-simplify-divisor, math-simplify-one-divisor)
(math-simplify-mod, math-simplify-ineq, math-simplify-sqrt)
(math-simplify-pow):  Replaced variable expr by declared variable
math-simplify-expr.

(math-simplify-divisor):  Removed local variables temp and op.
(math-simplify-one-divisor):  Made temp and op local variables.

(math-simplify-divisor-nover, math-simplify-divisor-dover):  New
variables.
(math-simplify-divisor, math-simplify-one-divisor):  Use declared
variables.

(math-expr-subst-new, math-expr-subst-old):  New variables.
(math-expr-subst, math-expr-subst-rec):  Use declared variables.

(math-is-poly-degree, math-is-poly-loose):  New variables.
(math-is-polynomial, math-is-poly-rec):  Use declared variables.

(math-poly-base-const-ok, math-poly-base-pred): New variables.
(math-polynomial-base, math-polynomial-base-rec):  Use declared
variables.