| Date: | Monday, January 23rd, 2023 |
|---|---|
| Commit: | 5c6a744c on main |
| Hostname: | nightly with Racket 8.6 |
| Seed: | 2023023 |
| 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: 43.3min)
492 calls:
| 1.8min | x |
| 1.7min | y |
| 1.5min | z |
| 1.3min | t |
| 1.1min | a |
Compiled 584878 to 280362 computations (52.1% saved)
| 4.7min | 2132990× | body | 256 | valid |
| 1.3min | 335527× | body | 256 | infinite |
| 27.8s | 50717× | body | 1024 | valid |
| 27.8s | 135183× | body | 256 | invalid |
| 12.2s | 34756× | body | 512 | valid |
| 8.2s | 10303× | body | 2048 | valid |
| 3.9s | 8908× | body | 1024 | infinite |
| 1.8s | 1580× | body | 8192 | exit |
| 1.5s | 5401× | body | 512 | infinite |
| 683.0ms | 354× | body | 4096 | valid |
| 219.0ms | 733× | body | 1024 | invalid |
| 161.0ms | 589× | body | 512 | invalid |
| 0.0ms | 1× | body | 2048 | infinite |
| 3338× | egg-herbie |
| 1780810× | associate-*r* |
| 1687402× | associate-/l* |
| 1573046× | associate-*l* |
| 1554446× | *-commutative |
| 1532480× | distribute-lft-in |
| 9× | unsound |
| 65× | done |
| 435× | saturated |
| 204× | fuel |
| 2894× | node limit |
Compiled 83922 to 48368 computations (42.4% saved)
Compiled 17119517 to 7935734 computations (53.6% saved)
| 2799× | batch-egg-rewrite |
| 3× | egg-rewrite-iter-limit |
| 2× | egg-rewrite |
| 2138438× | add-sqr-sqrt |
| 2107090× | *-un-lft-identity |
| 1972788× | add-cube-cbrt |
| 1948644× | add-cbrt-cube |
| 1113070× | add-exp-log |
| 4× | unsound |
| 3× | iter limit |
| 2797× | node limit |
Compiled 422480 to 296839 computations (29.7% saved)
| 4999× | binary-search |
| 424× | left-value |
| 1.5min | 594167× | body | 256 | valid |
| 4.6s | 7424× | body | 1024 | valid |
| 4.1s | 28348× | body | 256 | infinite |
| 3.0s | 8819× | body | 512 | valid |
| 989.0ms | 7966× | body | 256 | invalid |
| 238.0ms | 618× | body | 2048 | valid |
| 13.0ms | 24× | body | 1024 | infinite |
| 9.0ms | 25× | body | 1024 | invalid |
| 9.0ms | 30× | body | 512 | infinite |
| 4.0ms | 19× | body | 512 | invalid |
Compiled 1065519 to 787439 computations (26.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 130144 to 57757 computations (55.6% saved)
| 327× | egg-herbie |
| 197918× | fma-def |
| 148548× | *-commutative |
| 138668× | distribute-lft-in |
| 132012× | associate-*r* |
| 129966× | +-commutative |
| 112× | saturated |
| 1× | unsound |
| 214× | node limit |
Compiled 32635 to 16998 computations (47.9% saved)
Compiled 81784 to 37212 computations (54.5% saved)
40767 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 295.0ms | c | @ | 0 | (*.f64 c (*.f64 (*.f64 y y3) y4)) |
| 290.0ms | x | @ | 0 | (*.f64 x (-.f64 (log.f64 (neg.f64 y)) (log.f64 x))) |
| 238.0ms | y4 | @ | -inf | (fma.f64 (fma.f64 c y4 (*.f64 a (neg.f64 y5))) (-.f64 (*.f64 y y3) (*.f64 t y2)) (fma.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 c y0) (*.f64 a y1)) (fma.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)) (*.f64 (-.f64 (*.f64 b y0) (*.f64 i y1)) (-.f64 (*.f64 z k) (*.f64 x j))))))) |
| 186.0ms | x | @ | 0 | (*.f64 x (log.f64 y)) |
| 169.0ms | y | @ | -inf | (/.f64 y (-.f64 t 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...