| Date: | Friday, March 31st, 2023 |
|---|---|
| Commit: | 40cc2e0b on Aditya-Branch |
| Hostname: | nightly with Racket 8.6 |
| Seed: | 2023090 |
| Parameters: | 256 points for 4 iterations |
| Flags: | reduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplify default |
Time bar (total: 42.6min)
494 calls:
| 1.7min | y |
| 1.7min | x |
| 1.4min | z |
| 1.2min | t |
| 1.1min | a |
Compiled 580181 to 262864 computations (54.7% saved)
| 4.9min | 2132399× | body | 256 | valid |
| 1.4min | 340205× | body | 256 | infinite |
| 29.0s | 50824× | body | 1024 | valid |
| 27.6s | 135625× | body | 256 | invalid |
| 12.7s | 35167× | body | 512 | valid |
| 8.0s | 10401× | body | 2048 | valid |
| 4.6s | 9238× | body | 1024 | infinite |
| 1.9s | 1638× | body | 8192 | exit |
| 1.9s | 5564× | body | 512 | infinite |
| 653.0ms | 329× | body | 4096 | valid |
| 198.0ms | 644× | body | 1024 | invalid |
| 192.0ms | 604× | body | 512 | invalid |
| 3302× | egg-herbie |
| 1752672× | associate-*r* |
| 1644040× | associate-/l* |
| 1545566× | associate-*l* |
| 1538662× | *-commutative |
| 1493248× | distribute-lft-in |
| 10× | unsound |
| 64× | done |
| 435× | saturated |
| 205× | fuel |
| 2857× | node limit |
Compiled 77200 to 45794 computations (40.7% saved)
Compiled 16427031 to 7525668 computations (54.2% saved)
| 2763× | batch-egg-rewrite |
| 2× | egg-rewrite-iter-limit |
| 2× | egg-rewrite |
| 2150980× | add-sqr-sqrt |
| 2119700× | *-un-lft-identity |
| 1984056× | add-cube-cbrt |
| 1954588× | add-cbrt-cube |
| 1102230× | add-exp-log |
| 3× | unsound |
| 2× | iter limit |
| 2762× | node limit |
Compiled 428972 to 300815 computations (29.9% saved)
| 4714× | binary-search |
| 360× | left-value |
| 4618× | narrow-enough |
| 4× | predicate-failed |
| 92× | predicate-same |
| 1.6min | 562118× | body | 256 | valid |
| 5.4s | 28119× | body | 256 | infinite |
| 2.9s | 4481× | body | 1024 | valid |
| 2.2s | 5975× | body | 512 | valid |
| 1.5s | 10514× | body | 256 | invalid |
| 140.0ms | 245× | body | 2048 | valid |
| 31.0ms | 96× | body | 1024 | invalid |
| 28.0ms | 115× | body | 512 | invalid |
| 21.0ms | 72× | body | 512 | infinite |
| 15.0ms | 39× | body | 1024 | infinite |
Compiled 1100131 to 790637 computations (28.1% saved)
| 270× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 0 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 1 |
| 0% | 0% | 99.7% | 0.1% | 0% | 0.2% | 0% | 2 |
| 5.7% | 5.6% | 93.3% | 0.1% | 0.2% | 0.7% | 0% | 3 |
| 8.5% | 8.3% | 89.2% | 0.1% | 1.2% | 1.2% | 0% | 4 |
| 16.6% | 16.1% | 80.8% | 0.1% | 1.6% | 1.4% | 0% | 5 |
| 21.4% | 20.4% | 74.8% | 0.1% | 2.7% | 2% | 0% | 6 |
| 30.2% | 28.1% | 64.9% | 0.1% | 4% | 2.8% | 0% | 7 |
| 35.6% | 32.7% | 59.4% | 0.1% | 4.5% | 3.3% | 0% | 8 |
| 41.9% | 38% | 52.7% | 0.1% | 5.4% | 3.7% | 0% | 9 |
| 47.4% | 42.3% | 46.9% | 0.1% | 6.4% | 4.3% | 0% | 10 |
| 52.3% | 46.1% | 42% | 0.1% | 7.1% | 4.6% | 0% | 11 |
| 56.4% | 49.2% | 38.1% | 0.1% | 7.7% | 4.9% | 0% | 12 |
Compiled 4021 to 2770 computations (31.1% saved)
Compiled 127867 to 56772 computations (55.6% saved)
| 335× | egg-herbie |
| 192058× | fma-def |
| 152752× | *-commutative |
| 152700× | distribute-lft-in |
| 150720× | associate-*r* |
| 138222× | associate-/l* |
| 102× | saturated |
| 1× | unsound |
| 232× | node limit |
Compiled 33377 to 17336 computations (48.1% saved)
Compiled 74938 to 35300 computations (52.9% saved)
38892 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 320.0ms | y | @ | -inf | (/.f64 y (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))) |
| 248.0ms | y | @ | 0 | (/.f64 x (*.f64 (/.f64 1 (-.f64 1 (*.f64 (*.f64 y (neg.f64 z)) (*.f64 y (neg.f64 z))))) (+.f64 1 (*.f64 y z)))) |
| 226.0ms | t | @ | -inf | (log1p.f64 (*.f64 1/3 (acos.f64 (/.f64 1/18 (/.f64 (*.f64 (/.f64 z x) y) (sqrt.f64 t)))))) |
| 188.0ms | x | @ | inf | (+.f64 (log.f64 (+.f64 x y)) (-.f64 (fma.f64 (+.f64 a -1/2) (log.f64 t) (log.f64 z)) t)) |
| 171.0ms | t | @ | 0 | (log.f64 (*.f64 y (*.f64 z (pow.f64 t (+.f64 -1/2 a))))) |
| 540× | egg-herbie |
| 183176× | fma-def |
| 105626× | *-commutative |
| 101564× | +-commutative |
| 95266× | distribute-lft-in |
| 86488× | associate-+l- |
| 59× | unsound |
| 353× | saturated |
| 128× | node limit |
Compiled 4571 to 3320 computations (27.4% saved)
Loading profile data...