Mechanical simplification / factorization rules for algebraic expressions.
Companion crate to [minicas_core].
# use simplify;
# use *;
let mut n = try_from.unwrap;
// true means apply the full set of rules (i.e. factorization rules)
simplify.unwrap;
assert_eq!;