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

Simplify sqrt to ^(1//2) [Rebased #760]

Author: ChrisRackauckas

src/simplify_rules.jl

@@ -68,6 +68,7 @@ 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 = [

test/rulesets.jl

@@ -55,6 +55,8 @@ 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