added tests for power match with sqrt and exp functions

Author: Bumblebee00

test/rewrite.jl

@@ -153,6 +153,12 @@ end
     @test r3(a + b^3)===a
 end
 
+@testset "special power matches" begin
+    r1 = @rule (~x)^(~y) => (~x, ~y)
+    @test r1(exp(a)) === (ℯ, a) # uses exp_matcher
+    @test r1(sqrt(a)) === (a, 1//2) # uses sqrt_matcher
+end
+
 using SymbolicUtils: @capture
 
 @testset "Capture form" begin
@@ -214,4 +220,4 @@ end
     ex1 = ex * b
 
     @test getmetadata(arguments(ex1)[1], MetaData) == :metadata
-end
+end