Add debug traces for RCA of expression comparison failure

Co-Authored-By: Serg Kryvonos <[email protected]>

omnn/math/Exponentiation.cpp

@@ -843,21 +843,48 @@ using namespace omnn::math;
     }
 
     bool Exponentiation::operator==(const Exponentiation& other) const {
-        return base::operator ==(other);
+        std::cout << "\n=== Exponentiation::operator==(Exponentiation) Debug ===" << std::endl;
+        std::cout << "Left base:  " << ebase() << " (type: " << typeid(ebase()).name() << ")" << std::endl;
+        std::cout << "Right base: " << other.ebase() << " (type: " << typeid(other.ebase()).name() << ")" << std::endl;
+        std::cout << "Left exp:   " << eexp() << " (type: " << typeid(eexp()).name() << ")" << std::endl;
+        std::cout << "Right exp:  " << other.eexp() << " (type: " << typeid(other.eexp()).name() << ")" << std::endl;
+
+        bool result = base::operator==(other);
+        std::cout << "=== Result: " << (result ? "equal" : "not equal") << " ===" << std::endl;
+        return result;
     }
 
     bool Exponentiation::operator==(const Valuable& v) const
     {
+        std::cout << "\n=== Exponentiation::operator== Debug ===" << std::endl;
+        std::cout << "Left:  " << *this << " (type: " << typeid(*this).name() << ")" << std::endl;
+        std::cout << "Right: " << v << " (type: " << typeid(v).name() << ")" << std::endl;
+
         auto eq = v.IsExponentiation();
+        std::cout << "Is right side Exponentiation? " << (eq ? "yes" : "no") << std::endl;
+
         if(eq){
+            std::cout << "Comparing as Exponentiation" << std::endl;
+            std::cout << "Base: " << ebase() << " vs " << v.as<Exponentiation>().ebase() << std::endl;
+            std::cout << "Exp:  " << eexp() << " vs " << v.as<Exponentiation>().eexp() << std::endl;
             eq = operator==(v.as<Exponentiation>());
+            std::cout << "Result: " << (eq ? "equal" : "not equal") << std::endl;
         } else if (v.IsFraction()) {
+            std::cout << "Comparing with Fraction" << std::endl;
+            std::cout << "Exp is int/simple fraction? " << ((eexp().IsInt() || eexp().IsSimpleFraction()) ? "yes" : "no") << std::endl;
+            std::cout << "Exp < 0? " << (eexp() < 0 ? "yes" : "no") << std::endl;
+            auto recip = v.Reciprocal() ^ (-eexp());
+            std::cout << "Base == reciprocal^(-exp)? " << (ebase() == recip ? "yes" : "no") << std::endl;
             eq = (eexp().IsInt() || eexp().IsSimpleFraction())
                  && eexp() < 0
-                 && ebase() == (v.Reciprocal() ^ (-eexp()));
+                 && ebase() == recip;
+            std::cout << "Result: " << (eq ? "equal" : "not equal") << std::endl;
         } else if (v.IsProduct() || v.IsSum()) {
+            std::cout << "Comparing with Product/Sum" << std::endl;
             eq = v.operator==(*this);
+            std::cout << "Result: " << (eq ? "equal" : "not equal") << std::endl;
         }
+        std::cout << "=== Final Result: " << (eq ? "equal" : "not equal") << " ===" << std::endl;
         return eq;
     }
 

omnn/math/Logarithm.cpp

@@ -185,7 +185,14 @@ Logarithm::operator double() const {
 Valuable& Logarithm::d(const Variable& x) {
     // For natural logarithm (base e), d/dx(ln(x)) = 1/x
     if (_1.Is_e() && _2 == x) {
-        return Become(Exponentiation(x, -1));
+        std::cout << "\n=== Logarithm::d Debug ===" << std::endl;
+        std::cout << "Calculating d/dx(ln(x))" << std::endl;
+        std::cout << "Base is e? " << (_1.Is_e() ? "yes" : "no") << std::endl;
+        std::cout << "Argument equals x? " << (_2 == x ? "yes" : "no") << std::endl;
+        auto result = Exponentiation(x, -1);
+        std::cout << "Creating result: " << result << std::endl;
+        std::cout << "=== End Logarithm::d Debug ===" << std::endl;
+        return Become(std::move(result));
     }
     // For natural logarithm (base e), d/dx(ln(u)) = (1/u) * du/dx
     if (_1.Is_e()) {