Merge pull request #768 from JuliaSymbolics/revert-763-pr-760-rebased

AayushSabharwal · web-flow · commit 7465df4e7629 · 2025-08-06T17:43:32.000-04:00
Revert "Simplify sqrt to ^(1//2) [Rebased #760]"
diff --git a/src/simplify_rules.jl b/src/simplify_rules.jl
@@ -68,7 +68,6 @@ let
         @rule(imag(~x::_isreal) => zero(symtype(~x)))
         @rule(ifelse(~x::is_literal_number, ~y, ~z) => ~x ? ~y : ~z)
         @rule(ifelse(~x, ~y, ~y) => ~y)
-        @rule(sqrt(~x) => (~x)^(1//2))
     ]
 
     TRIG_EXP_RULES = [
diff --git a/test/rulesets.jl b/test/rulesets.jl
@@ -55,8 +55,6 @@ end
     @test simplify(Term(zero, [a])) == 0
     @test simplify(Term(zero, [b + 1])) == 0
     @test simplify(Term(zero, [x + 2])) == 0
-
-    @test simplify(sqrt(b) - b^(1//2)) === 0
 end
 
 @testset "LiteralReal" begin

Original file line number	Diff line number	Diff line change
`@@ -68,7 +68,6 @@ let`
`68`	`68`	`@rule(imag(~x::_isreal) => zero(symtype(~x)))`
`69`	`69`	`@rule(ifelse(~x::is_literal_number, ~y, ~z) => ~x ? ~y : ~z)`
`70`	`70`	`@rule(ifelse(~x, ~y, ~y) => ~y)`
`71`		`- @rule(sqrt(~x) => (~x)^(1//2))`
`72`	`71`	`]`
`73`	`72`
`74`	`73`	`TRIG_EXP_RULES = [`