call functions in basic_similarterm if output type is not LiteralReal.

Author: shashi

src/types.jl

@@ -532,7 +532,7 @@ function basic_similarterm(t, f, args, stype; metadata=nothing)
     if T === nothing
         T = _promote_symtype(f, args)
     end
-    if isterm(t)
+    if T <: LiteralReal
         Term{T}(f, args, metadata=metadata)
     elseif stype <: Number && (f in (+, *) || (f in (/, ^) && length(args) == 2)) && all(x->symtype(x) <: Number, args)
         res = f(args...)

test/rulesets.jl

@@ -63,7 +63,7 @@ end
     @eqtest s != cos(3.2(x1^1)) - 4.6x2
 
     # However, manual simplification should still work:
-    @eqtest simplify(s) == cos(3.2(x1^1)) - 4.6x2
+    @eqtest simplify(s) == simplify(cos(3.2x1) - 4.6x2)
 end
 
 @testset "boolean" begin