implemented common subexpression elimination using the uniplate package, not yet integrated into the formula compiler proper, but seems promising in ghci exploration...
Why is this step necessary? post.lurk.org might not be the server where you are registered, so we need to redirect you to your home server first.
Don't have an account? You can sign up here