| Date: | Wednesday, May 31st, 2023 |
|---|---|
| Commit: | 664a67ff on main |
| Hostname: | nightly with Racket 8.6 |
| Seed: | 2023151 |
| 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: 12.1min)
152 calls:
| 23.3s | l |
| 12.3s | t |
| 8.4s | d |
| 8.0s | U |
| 7.5s | Om |
Compiled 227343 to 113765 computations (50% saved)
| 41.2s | 190065× | body | 256 | valid |
| 24.7s | 34235× | body | 1024 | valid |
| 18.6s | 82873× | body | 256 | invalid |
| 8.3s | 16492× | body | 512 | valid |
| 7.9s | 11170× | body | 2048 | valid |
| 6.9s | 29235× | body | 256 | infinite |
| 4.2s | 6309× | body | 1024 | invalid |
| 4.2s | 986× | body | 4096 | infinite |
| 3.4s | 2824× | body | 4096 | valid |
| 2.5s | 4426× | body | 1024 | infinite |
| 2.3s | 982× | body | 2048 | infinite |
| 1.4s | 1150× | body | 8192 | valid |
| 1.4s | 3315× | body | 512 | invalid |
| 813.0ms | 2482× | body | 512 | infinite |
| 63.0ms | 263× | body | 256 | unsamplable |
| 10.0ms | 14× | body | 8192 | exit |
| 2.0ms | 2× | body | 2048 | invalid |
Compiled 3616546 to 2037805 computations (43.7% saved)
| 312820× | log-prod |
| 291992× | fma-def |
| 209568× | times-frac |
| 205980× | associate-*r* |
| 174786× | associate-*l* |
| 13× | unsound |
| 6× | saturated |
| 534× | node limit |
Compiled 65791 to 37927 computations (42.4% saved)
| 530× | egg-herbie |
| 385964× | fma-def |
| 259242× | log-prod |
| 229320× | times-frac |
| 226742× | associate-*r* |
| 208162× | unswap-sqr |
| 2× | done |
| 6× | unsound |
| 41× | saturated |
| 29× | fuel |
| 483× | node limit |
Compiled 24121 to 14216 computations (41.1% saved)
| 873× | binary-search |
| 161× | left-value |
| 835× | narrow-enough |
| 38× | predicate-same |
| 20.5s | 88953× | body | 256 | valid |
| 10.0s | 12007× | body | 1024 | valid |
| 7.4s | 28827× | body | 256 | invalid |
| 2.6s | 5246× | body | 512 | valid |
| 2.5s | 9202× | body | 256 | infinite |
| 1.7s | 1127× | body | 4096 | valid |
| 1.6s | 1435× | body | 2048 | valid |
| 986.0ms | 720× | body | 2048 | infinite |
| 825.0ms | 342× | body | 4096 | infinite |
| 420.0ms | 936× | body | 1024 | invalid |
| 358.0ms | 468× | body | 1024 | infinite |
| 279.0ms | 760× | body | 512 | invalid |
| 245.0ms | 224× | body | 8192 | valid |
| 156.0ms | 291× | body | 512 | infinite |
Compiled 280813 to 206522 computations (26.5% saved)
| 468× | batch-egg-rewrite |
| 405038× | log-prod |
| 229794× | pow1 |
| 219100× | expm1-udef |
| 215754× | add-exp-log |
| 215642× | log1p-expm1-u |
| 8× | unsound |
| 460× | node limit |
Compiled 121054 to 86499 computations (28.5% saved)
| 31× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 98.2% | 1.8% | 0% | 0% | 0% | 0 |
| 3.3% | 3.2% | 95% | 1.8% | 0% | 0% | 0% | 1 |
| 4.2% | 4% | 92.6% | 1.8% | 0% | 1.6% | 0% | 2 |
| 6.1% | 5.6% | 86.9% | 1.8% | 0.8% | 4.8% | 0% | 3 |
| 8.2% | 7.4% | 83.1% | 1.8% | 0.8% | 6.4% | 0.4% | 4 |
| 12.2% | 11.1% | 79.3% | 1.8% | 0.8% | 6.4% | 0.6% | 5 |
| 15.1% | 13.5% | 75.8% | 1.8% | 1.6% | 6.6% | 0.7% | 6 |
| 18.1% | 15.7% | 70.9% | 1.8% | 3.2% | 7.3% | 1.1% | 7 |
| 21.3% | 17.9% | 66.4% | 1.8% | 4.1% | 8.6% | 1.2% | 8 |
| 25.9% | 21.5% | 61.5% | 1.8% | 5% | 8.9% | 1.2% | 9 |
| 28.4% | 23% | 58.1% | 1.8% | 6.5% | 9.3% | 1.3% | 10 |
| 32.2% | 25.7% | 54% | 1.8% | 7.2% | 9.9% | 1.3% | 11 |
| 34.4% | 26.9% | 51.4% | 1.8% | 8% | 10.5% | 1.4% | 12 |
Compiled 845 to 604 computations (28.5% saved)
Compiled 38086 to 18433 computations (51.6% saved)
9087 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 420.0ms | l | @ | -inf | (pow.f64 (/.f64 (neg.f64 l) A) -1/2) |
| 402.0ms | h | @ | inf | (*.f64 (/.f64 h l) (pow.f64 (*.f64 D (/.f64 M (/.f64 d 1/2))) 2)) |
| 385.0ms | D | @ | inf | (*.f64 (/.f64 c0 (*.f64 2 w)) (fma.f64 (/.f64 c0 (*.f64 w h)) (*.f64 (/.f64 d D) (/.f64 d D)) (neg.f64 (*.f64 (/.f64 c0 (*.f64 w h)) (pow.f64 (/.f64 d D) 2))))) |
| 312.0ms | d | @ | inf | (/.f64 (*.f64 D (*.f64 -1/4 D)) (/.f64 (*.f64 l d) (*.f64 M (/.f64 h d)))) |
| 280.0ms | d | @ | 0 | (*.f64 (/.f64 c0 (*.f64 2 w)) (fma.f64 (/.f64 c0 (*.f64 w h)) (*.f64 (/.f64 d D) (/.f64 d D)) (neg.f64 (*.f64 (/.f64 c0 (*.f64 w h)) (pow.f64 (/.f64 d D) 2))))) |
Compiled 23432 to 11110 computations (52.6% saved)
| 62× | egg-herbie |
| 28786× | fma-def |
| 14268× | fma-neg |
| 13542× | associate-*r/ |
| 12824× | associate-*r* |
| 12316× | distribute-lft-in |
| 7× | unsound |
| 30× | saturated |
| 25× | node limit |
Compiled 904 to 666 computations (26.3% saved)
Loading profile data...