From f1e6c86eeb69af2bf6d542befa477674d079056b Mon Sep 17 00:00:00 2001
From: hyrodium <hyrodium@gmail.com>
Date: Fri, 29 Apr 2022 01:44:56 +0900
Subject: [PATCH] add missing rule for multiplicative inverse

---
 src/rules.jl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/rules.jl b/src/rules.jl
index 716c32d..69f6c9d 100644
--- a/src/rules.jl
+++ b/src/rules.jl
@@ -36,6 +36,7 @@ let INVERSE_PAIRS = (
         Base.inv(::typeof(b)) = Float64(a)
         Base.literal_pow(::typeof(^), ::typeof(b), ::Val{-1}) = Float64(a)
         Base.:(*)(::typeof(a), ::typeof(b)) = 1.0  # This can be one(Irrational).
+        Base.:(*)(::typeof(b), ::typeof(a)) = 1.0  # This can be one(Irrational).
     end
 end