diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-10-21 22:45:17 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-10-21 22:45:17 +0200 |
| commit | c50aecbb209bb99da074b6c6911b672d0f1d1388 (patch) | |
| tree | 5921f0e3e3e74e52d0fc1d378534fb3a0157e8b5 | |
| parent | 15d586515dea0b352be8b71ea9bade3ae2389784 (diff) | |
bench: Simplify before differentiating
| -rw-r--r-- | bench/Main.hs | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/bench/Main.hs b/bench/Main.hs index 53657b4..34e8bae 100644 --- a/bench/Main.hs +++ b/bench/Main.hs @@ -36,8 +36,11 @@ gradCHAD :: KnownEnv env => CHADConfig -> Ex env (TScal TF64) -> IO (SList Value gradCHAD config term = compile knownEnv $ simplifyFix $ pruneExpr knownEnv $ - simplifyFix $ unMonoid $ simplifyFix $ - ELet ext (EConst ext STF64 1.0) $ chad' config knownEnv term + simplifyFix $ unMonoid $ + simplifyFix $ + ELet ext (EConst ext STF64 1.0) $ + chad' config knownEnv $ + simplifyFix term type AllNFDataRep :: [Ty] -> Constraint type family AllNFDataRep env where |