| Date: | Wednesday, May 17th, 2023 |
|---|---|
| Commit: | 5c5cbfdd on main |
| Hostname: | nightly with Racket 8.6 |
| Seed: | 2023137 |
| 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: 47.9min)
489 calls:
| 1.7min | y |
| 1.6min | x |
| 1.4min | z |
| 1.3min | t |
| 59.0s | a |
Compiled 538543 to 274980 computations (48.9% saved)
| 5.2min | 2132368× | body | 256 | valid |
| 1.4min | 337626× | body | 256 | infinite |
| 30.9s | 51078× | body | 1024 | valid |
| 29.6s | 135918× | body | 256 | invalid |
| 14.4s | 35122× | body | 512 | valid |
| 8.3s | 10213× | body | 2048 | valid |
| 4.1s | 9165× | body | 1024 | infinite |
| 2.1s | 1577× | body | 8192 | exit |
| 1.9s | 5566× | body | 512 | infinite |
| 708.0ms | 339× | body | 4096 | valid |
| 280.0ms | 643× | body | 512 | invalid |
| 277.0ms | 683× | body | 1024 | invalid |
| 1.0ms | 2× | body | 2048 | infinite |
| 2782× | batch-egg-rewrite |
| 2141968× | add-sqr-sqrt |
| 2111038× | *-un-lft-identity |
| 1975672× | add-cube-cbrt |
| 1949698× | add-cbrt-cube |
| 1101638× | add-exp-log |
| 1× | unsound |
| 2781× | node limit |
| 3321× | egg-herbie |
| 1803610× | associate-*r* |
| 1671246× | associate-/l* |
| 1593092× | *-commutative |
| 1584642× | associate-*l* |
| 1507452× | distribute-lft-in |
| 3× | unsound |
| 70× | done |
| 436× | saturated |
| 199× | fuel |
| 2882× | node limit |
Compiled 79577 to 46384 computations (41.7% saved)
Compiled 17351325 to 8101226 computations (53.3% saved)
Compiled 435661 to 305662 computations (29.8% saved)
| 4705× | binary-search |
| 438× | left-value |
| 4611× | narrow-enough |
| 5× | predicate-failed |
| 89× | predicate-same |
| 1.6min | 560800× | body | 256 | valid |
| 5.2s | 27477× | body | 256 | infinite |
| 3.6s | 6235× | body | 1024 | valid |
| 2.9s | 8815× | body | 512 | valid |
| 2.5s | 16685× | body | 256 | invalid |
| 165.0ms | 343× | body | 2048 | valid |
| 15.0ms | 40× | body | 512 | infinite |
| 10.0ms | 15× | body | 1024 | infinite |
Compiled 1048431 to 765955 computations (26.9% 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 130020 to 58178 computations (55.3% saved)
| 199954× | *-commutative |
| 186482× | fma-def |
| 182214× | associate-/l* |
| 180636× | distribute-lft-in |
| 180302× | associate-/r* |
| 97× | saturated |
| 1× | unsound |
| 356× | node limit |
Compiled 47373 to 23389 computations (50.6% saved)
Compiled 77950 to 36022 computations (53.8% saved)
40890 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 236.0ms | x | @ | 0 | (*.f64 x (log.f64 y)) |
| 229.0ms | z | @ | -inf | (/.f64 y (/.f64 (fma.f64 (fma.f64 (fma.f64 (+.f64 z 15234687407/1000000000) z 314690115749/10000000000) z 119400905721/10000000000) z 607771387771/1000000000000) (fma.f64 (fma.f64 (fma.f64 (fma.f64 z 313060547623/100000000000 55833770631/5000000000) z t) z a) z b))) |
| 207.0ms | b | @ | inf | (pow.f64 (cbrt.f64 (cbrt.f64 (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 z) b)))))) 3) |
| 175.0ms | z | @ | 0 | (/.f64 (/.f64 (neg.f64 x) t) (-.f64 z y)) |
| 171.0ms | x | @ | inf | (*.f64 (sin.f64 x) (exp.f64 (log1p.f64 (*.f64 y (*.f64 y (fma.f64 1/120 (*.f64 y y) 1/6)))))) |
| 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...