fixed int_and_subst function

Author: Bumblebee00

src/methods/rule_based/frontend.jl

@@ -114,3 +114,6 @@ function integrate_rule_based(integrand::Symbolics.Num, int_var::Symbolics.Num;
     println()
     return result
 end
+
+integrate_rule_based(integrand::SymbolicUtils.BasicSymbolic{Real}, int_var::SymbolicUtils.BasicSymbolic{Real}; kwargs...) =
+    integrate_rule_based(Num(integrand), Num(int_var); kwargs...)

src/methods/rule_based/rules_utility_functions.jl

@@ -432,7 +432,7 @@ function int_and_subst(integrand, int_var, from, to, rule_from_identifier)
         printstyled(replace(string(from),string(int_var)=>"u")*" = "*string(to), "\n"; color = :light_blue)
     end
 
-    result = integrate(integrand, int_var;verbose=VERBOSE)
+    result = integrate_rule_based(integrand, int_var;verbose=VERBOSE)
     push!(SILENCE, rule_from_identifier)
     if !contains_int(result)
         return substitute(result, from => to)