diff --git a/claripy/operations.py b/claripy/operations.py
index 217167c..eb2e156 100644
--- a/claripy/operations.py
+++ b/claripy/operations.py
@@ -350,6 +350,10 @@ def boolean_reverse_simplifier(body):
         if all(a.length == 8 for a in body.args):
             return body.make_like(body.op, body.args[::-1])
 
+    if body.op == 'Concat':
+      if all(a.op == 'Reverse' for a in body.args):
+        return body.make_like(body.op,reversed([a.args[0] for a in body.args]))
+
 def boolean_and_simplifier(*args):
     if len(args) == 1:
         return args[0]