Add x + conj(x) rule

JuliaSymbolics · Jun 26, 2023 · 8171356 · 8171356
1 parent e4519eb
commit 8171356
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/simplify_rules.jl b/src/simplify_rules.jl
@@ -67,6 +67,7 @@ let
         @rule(conj(~x::_isreal) => ~x)
         @rule(real(~x::_isreal) => ~x)
         @rule(imag(~x::_isreal) => zero(symtype(~x)))
+        @rule(~x + conj(~x) => real(~x))
         @rule(ifelse(~x::is_literal_number, ~y, ~z) => ~x ? ~y : ~z)
         @rule(ifelse(~x, ~y, ~y) => ~y)
     ]