<!-- GENERATED by tools/package_docs.py. Edit this tool metadata or replace the file and remove this marker. -->

# symsimplify

`CAIMEOX/symbit/symsimplify` is the public import path for this package.

General-purpose and targeted simplification passes, rational rewrites, radical and trigonometric simplifiers, traversal tools, and CSE.

## When To Use This Package

- Import `CAIMEOX/symbit/symsimplify` directly when your code depends on this package's subsystem-specific types or algorithms.
- Prefer this package over the root facade when you want the focused API surface listed below rather than a convenience wrapper.

## Key Public Entry Points

- `apply_at_level`
- `apply_pattern`
- `apply_patterns_once`
- `besselsimp`
- `collect`
- `collect_abs`
- `collect_const`
- `collect_sqrt`


## Example

```mbt check
///|
test "symsimplify runs targeted simplifiers" {
  let x = @symcore.Expr::Symbol("x")
  let expr = @symcore.mul([x, @symcore.pow(x, @symcore.int(-1))])
  debug_inspect(simplify(expr), content="1")
}
```
## Related Packages

- `CAIMEOX/symbit`
- `CAIMEOX/symbit/symcore`

## Further Reading

- [`../../docs/specs/simplify.md`](../../docs/specs/simplify.md)