replace_mul_f1 to replace half of the ``matchers_identity`` cases
replace_mul_f1
Fixed failures in some tests in other modules using trigsimp