Fix for #224: Fractional radical simplification

Fix for issue #224.
I see you added
```diff
+    r1 = pow(i2, div(im1, i2));
+    r2 = div(sqrt(i2), i2);
+    assert(eq(r1, r2));
```
I think that's fine.