#224 - Introduce simplification rules

Author: sys27

xFunc.Maths/Analyzers2/Rules/ExpLnUnaryRule.cs

@@ -0,0 +1,15 @@
+namespace xFunc.Maths.Analyzers2.Rules;
+
+public class ExpLnUnaryRule : Rule<Exp>
+{
+    protected override Result ExecuteInternal(Exp expression, RuleContext context)
+        => expression.Argument switch
+        {
+            Ln ln => Handled(ln.Argument),
+            _ => NotHandled(),
+        };
+
+    public override string Name => "Exponential Ln Rule";
+
+    public override string Description => "";
+}

xFunc.Maths/Analyzers2/Rules/ExpUnaryRule.cs

@@ -0,0 +1,11 @@
+namespace xFunc.Maths.Analyzers2.Rules;
+
+public class ExpUnaryRule : UnaryRule<Exp>
+{
+    protected override Exp Create(IExpression argument)
+        => new Exp(argument);
+
+    public override string Name => "Exponential Unary Rule";
+
+    public override string Description => "";
+}

xFunc.Maths/Analyzers2/Simplifier2.cs

@@ -44,6 +44,9 @@ public Simplifier2()
                 .WithNext(new DivConstUnit())
                 .WithNext(new DivBySameExpression())
                 .WithNext(new DivGroupRule()))
+            .WithChain<Exp>(builder => builder
+                .WithRule(new ExpUnaryRule())
+                .WithNext(new ExpLnUnaryRule()))
             .WithChain<Sub>(builder => builder
                 .WithRule(new SubBinaryRule())
                 .WithNext(new SubZeroRule())