Pattern: (((T NUMCL.IMPL::_) T) ((NUMCL.IMPL::_ T) T)
          ((NIL NUMCL.IMPL::_) NIL) ((NUMCL.IMPL::_ NIL) NIL)
          (((TYPE-R:COMPLEX-TYPE NUMCL.IMPL::PREV)
            (TYPE-R:COMPLEX-TYPE NUMCL.IMPL::NOW))
           `(COMPLEX
             ,#1=(NUMCL.IMPL::FN NUMCL.IMPL::PREV
                  NUMCL.IMPL::NOW)))
          (((TYPE-R:COMPLEX-TYPE NUMCL.IMPL::PREV)
            NUMCL.IMPL::_)
           `(COMPLEX ,#1#))
          ((NUMCL.IMPL::_ (TYPE-R:COMPLEX-TYPE NUMCL.IMPL::NOW))
           `(COMPLEX ,#1#))
          (((TYPE-R:OR-TYPE NUMCL.IMPL::TYPES1)
            (TYPE-R:OR-TYPE NUMCL.IMPL::TYPES2))
           (NUMCL.IMPL::SIMPLIFY-OR-TYPES
            (ALEXANDRIA.1.0.0:MAP-PRODUCT #'NUMCL.IMPL::FN
                                          NUMCL.IMPL::TYPES1
                                          NUMCL.IMPL::TYPES2)))
          (((TYPE-R:OR-TYPE NUMCL.IMPL::TYPES1) NUMCL.IMPL::_)
           (NUMCL.IMPL::SIMPLIFY-OR-TYPES
            (MAPCAR
             (LAMBDA (TYPE)
               (NUMCL.IMPL::FN TYPE NUMCL.IMPL::NOW))
             NUMCL.IMPL::TYPES1)))
          ((NUMCL.IMPL::_ (TYPE-R:OR-TYPE NUMCL.IMPL::TYPES2))
           (NUMCL.IMPL::SIMPLIFY-OR-TYPES
            (MAPCAR
             (LAMBDA (TYPE)
               (NUMCL.IMPL::FN NUMCL.IMPL::PREV TYPE))
             NUMCL.IMPL::TYPES2)))
          (((TYPE-R:REAL-SUBTYPE NUMCL.IMPL::L1 NUMCL.IMPL::H1)
            (TYPE-R:REAL-SUBTYPE NUMCL.IMPL::L2 NUMCL.IMPL::H2))
           (NUMCL.IMPL::LET ((TYPE
                              (NUMCL.IMPL::FLOAT-CONTAGION
                               NUMCL.IMPL::PREV NUMCL.IMPL::NOW
                               :INT-INT-RESULT
                               NUMCL.IMPL::INT-INT-RESULT)))
             (FLET ((NUMCL.IMPL::C (NUMCL.IMPL::VALUE)
                      (NUMCL.IMPL::%INTERVAL-COERCE
                       NUMCL.IMPL::VALUE TYPE)))
               (TRIVIA.LEVEL2:EMATCH (FUNCALL
                                      NUMCL.IMPL::INTERVAL-OP
                                      NUMCL.IMPL::L1
                                      NUMCL.IMPL::H1
                                      NUMCL.IMPL::L2
                                      NUMCL.IMPL::H2)
                 ((LIST NUMCL.IMPL::LOW NUMCL.IMPL::HIGH)
                  (IF (OR (EQ NUMCL.IMPL::LOW 'COMMON-LISP:*)
                          (EQ NUMCL.IMPL::HIGH 'COMMON-LISP:*)
                          (COMMON-LISP:<= NUMCL.IMPL::LOW
                                          NUMCL.IMPL::HIGH))
                      (IF (EQ TYPE 'INTEGER)
                          (PROGN
                           (CHECK-TYPE NUMCL.IMPL::LOW
                                       (OR INTEGER
                                           (EQL COMMON-LISP:*)))
                           (CHECK-TYPE NUMCL.IMPL::HIGH
                                       (OR INTEGER
                                           (EQL COMMON-LISP:*)))
                           `(INTEGER
                             ,@(NUMCL.IMPL::INTERVAL-INTERSECTION
                                NUMCL.IMPL::LOW NUMCL.IMPL::HIGH
                                MOST-NEGATIVE-FIXNUM
                                MOST-POSITIVE-FIXNUM)))
                          `(,TYPE
                            ,(NUMCL.IMPL::C NUMCL.IMPL::LOW)
                            ,(NUMCL.IMPL::C NUMCL.IMPL::HIGH)))
                      NIL)))))))
 Values: (COMMON-LISP:* COMMON-LISP:*)
   [Condition of type TRIVIA.LEVEL2:MATCH-ERROR]

Restarts:
 0: [RETRY] Retry SLIME REPL evaluation request.
 1: [*ABORT] Return to SLIME's top level.
 2: [ABORT] abort thread (#<THREAD "repl-thread" RUNNING {1023F39DE3}>)

Backtrace:
  0: ((LABELS NUMCL.IMPL::FN :IN NUMCL.IMPL::INFER-RATIONAL-ARITHMETIC-RESULT) COMMON-LISP:* COMMON-LISP:*)
  1: ((FLET "FN419" :IN NUMCL.IMPL::INFER-RATIONAL-ARITHMETIC-RESULT) COMMON-LISP:*)
  2: ((FLET "FN383" :IN NUMCL.IMPL::INFER-RATIONAL-ARITHMETIC-RESULT) COMMON-LISP:*)
  3: ((LABELS NUMCL.IMPL::FN :IN NUMCL.IMPL::INFER-RATIONAL-ARITHMETIC-RESULT) COMPLEX COMPLEX)
  4: (REDUCE #<CLOSURE (LABELS NUMCL.IMPL::FN :IN NUMCL.IMPL::INFER-RATIONAL-ARITHMETIC-RESULT) {1013BFFBFB}> (COMPLEX COMPLEX))
  5: (NUMCL.IMPL::INFER-RATIONAL-ARITHMETIC-RESULT #<FUNCTION NUMCL.IMPL::INTERVAL-MUL> (COMPLEX COMPLEX) INTEGER)
  6: (NUMCL.IMPL::MUL-TO-FLOAT-TYPE COMPLEX COMPLEX)
  7: (NUMCL.IMPL::INFER-TYPE COMMON-LISP:* COMPLEX COMPLEX)
  8: (NUMCL.IMPL::INTERPRET-TYPE (COMMON-LISP:* T T))
  9: (NUMCL.IMPL::INTERPRET-TYPE (COMMON-LISP:+ (INTEGER 0 0) (COMMON-LISP:* T T)))
 10: (NUMCL.IMPL::EINSUM-OUTPUT-TYPES ((COMMON-LISP:+ NUMCL.IMPL::@1 (COMMON-LISP:* NUMCL.IMPL::$1 NUMCL.IMPL::$2))) (NUMCL.IMPL::$1 NUMCL.IMPL::$2) (NUMCL.IMPL::@1) #2A((0.0 1.0) (2.0 3.0)) #2A((5.0 6.0) ..
 11: (MATMUL #2A((0.0 1.0) (2.0 3.0)) #2A((5.0 6.0) (7.0 8.0)) NIL)
 12: (SB-INT:SIMPLE-EVAL-IN-LEXENV (MATMUL #2A((0.0 1.0) (2.0 3.0)) #2A((5.0 6.0) (7.0 8.0))) #<NULL-LEXENV>)
 13: (EVAL (MATMUL #2A((0.0 1.0) (2.0 3.0)) #2A((5.0 6.0) (7.0 8.0))))
 --more--