add_formula	op_formula
as_substituting_formula	substituting_formula
divide_formula	op_formula
formula.substituting_formula	formula.substituting_formula
formula_side	formula_side
get_lhs	formula_side
get_rhs	formula_side
Math.formula	op_formula
modify_formula	modify_formula
multiply_formula	op_formula
Ops.formula	op_formula
op_formula	op_formula
simplify_parens	simplify_parens
substituting_formula	substituting_formula
subtract_formula	op_formula
