improve variable? regex
add symplification rule to subtraction op.