(or (not (cons (eql 0) (real -3.926510009989861d7 -3.926510009989861d7)))
    (not (cons t (eql 0))))
;; =>

(OR (NOT CONS)
    (CONS (INTEGER 0 0)
          (OR (REAL * (-3.926510009989861D+7))
              (NOT INTEGER)
              (INTEGER * -1)
              (REAL (-3.926510009989861D+7))))
    (CONS (OR (NOT INTEGER)
              (INTEGER * -1)
              (INTEGER 1)) T))
;; =>

(OR (NOT CONS)
    (CONS (INTEGER 0 0)
          T)
    (CONS (OR (NOT INTEGER)
              (INTEGER * -1)
              (INTEGER 1))
          T))
;; =>
(OR (NOT CONS)
    (CONS (INTEGER 0 0)
          T)
    (CONS (NOT (INTEGER 0 0))
          T))
;; =>

(OR (NOT CONS)
    (CONS T T))
;; =>

T