| Date: | Friday, March 31st, 2023 |
|---|---|
| Commit: | 9a5a3e08 on main |
| 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: 24.6min)
| 2.7min | 16843× | body | 8192 | exit |
| 1.5min | 69923× | body | 1024 | valid |
| 1.1min | 8686× | body | 4096 | valid |
| 1.0min | 294682× | body | 256 | valid |
| 40.6s | 14785× | body | 2048 | valid |
| 32.5s | 1657× | body | 8192 | valid |
| 21.2s | 34726× | body | 512 | valid |
| 11.5s | 6233× | body | 1024 | infinite |
| 6.2s | 21333× | body | 256 | infinite |
| 6.2s | 855× | body | 4096 | infinite |
| 5.5s | 1200× | body | 2048 | infinite |
| 5.3s | 16362× | body | 256 | unsamplable |
| 4.1s | 21374× | body | 256 | invalid |
| 3.4s | 3291× | body | 512 | infinite |
| 1.3s | 1682× | body | 1024 | invalid |
| 1.2s | 1159× | body | 2048 | invalid |
| 627.0ms | 43× | body | 8192 | infinite |
| 588.0ms | 1171× | body | 512 | invalid |
| 102.0ms | 906× | body | 256 | precondition |
| 8.0ms | 12× | body | 512 | unsamplable |
| 3.0ms | 2× | body | 1024 | unsamplable |
143 calls:
| 17.9s | F |
| 17.2s | A |
| 15.5s | C |
| 12.8s | B |
| 11.7s | phi2 |
Compiled 675126 to 338513 computations (49.9% saved)
Compiled 10557848 to 5881720 computations (44.3% saved)
| 799× | egg-herbie |
| 485612× | associate-*r* |
| 430264× | *-commutative |
| 421600× | associate-/l* |
| 413782× | associate-*l* |
| 387682× | distribute-lft-in |
| 2× | unsound |
| 70× | saturated |
| 6× | done |
| 44× | fuel |
| 727× | node limit |
Compiled 21240 to 13556 computations (36.2% saved)
Compiled 489445 to 342797 computations (30% saved)
| 604× | binary-search |
| 46× | left-value |
| 579× | narrow-enough |
| 25× | predicate-same |
| 28.8s | 14862× | body | 1024 | valid |
| 16.4s | 45154× | body | 256 | valid |
| 16.1s | 2143× | body | 4096 | valid |
| 14.2s | 5246× | body | 2048 | valid |
| 7.2s | 6634× | body | 512 | valid |
| 6.0s | 359× | body | 8192 | valid |
| 1.3s | 127× | body | 4096 | infinite |
| 696.0ms | 3117× | body | 256 | invalid |
| 569.0ms | 133× | body | 1024 | infinite |
| 518.0ms | 114× | body | 2048 | infinite |
| 381.0ms | 716× | body | 256 | infinite |
| 128.0ms | 90× | body | 512 | infinite |
| 65.0ms | 4× | body | 8192 | infinite |
| 23.0ms | 39× | body | 1024 | invalid |
| 19.0ms | 1× | body | 8192 | exit |
| 17.0ms | 22× | body | 2048 | invalid |
| 9.0ms | 22× | body | 512 | invalid |
Compiled 220004 to 159694 computations (27.4% saved)
| 698× | batch-egg-rewrite |
| 8× | egg-rewrite |
| 7× | egg-rewrite-iter-limit |
| 429380× | add-sqr-sqrt |
| 420666× | *-un-lft-identity |
| 395632× | add-cube-cbrt |
| 391604× | add-cbrt-cube |
| 286712× | add-exp-log |
| 8× | unsound |
| 7× | iter limit |
| 698× | node limit |
| 53× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 79.4% | 20.6% | 0% | 0% | 0% | 0 |
| 2.4% | 1.9% | 77.5% | 20.6% | 0% | 0% | 0% | 1 |
| 5.1% | 4% | 75% | 21% | 0% | 0% | 0% | 2 |
| 12.7% | 9.8% | 67.2% | 21.2% | 0.5% | 1.4% | 0% | 3 |
| 20.5% | 15.3% | 59.4% | 21.2% | 1.1% | 2.6% | 0.5% | 4 |
| 26.8% | 19.7% | 53.7% | 21.2% | 1.3% | 3.4% | 0.7% | 5 |
| 32.2% | 23.1% | 48.7% | 21.2% | 1.7% | 4.2% | 1.1% | 6 |
| 35% | 24.7% | 45.9% | 21.2% | 2% | 4.9% | 1.2% | 7 |
| 37.7% | 26.3% | 43.5% | 21.3% | 2.3% | 5.3% | 1.4% | 8 |
| 41.6% | 28.6% | 40.1% | 21.3% | 2.7% | 6% | 1.5% | 9 |
| 43.1% | 29.4% | 38.8% | 21.3% | 2.7% | 6.3% | 1.6% | 10 |
| 45.8% | 31% | 36.7% | 21.3% | 2.8% | 6.6% | 1.6% | 11 |
| 48.4% | 32.6% | 34.7% | 21.3% | 2.8% | 7% | 1.7% | 12 |
Compiled 1919 to 1338 computations (30.3% saved)
Compiled 94052 to 46714 computations (50.3% saved)
| 119× | egg-herbie |
| 74148× | *-commutative |
| 72672× | associate-*r* |
| 60576× | associate-+r+ |
| 59558× | +-commutative |
| 56324× | associate-/r* |
| 11× | saturated |
| 108× | node limit |
Compiled 16860 to 10313 computations (38.8% saved)
11163 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 205.0ms | angle | @ | inf | (*.f64 (*.f64 (/.f64 a y-scale) (/.f64 a y-scale)) (*.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 x-scale x-scale)) -4)) |
| 132.0ms | lambda2 | @ | inf | (log1p.f64 (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))) |
| 107.0ms | y-scale | @ | 0 | (/.f64 x-scale (*.f64 1/360 (*.f64 (*.f64 (/.f64 x-scale b) (/.f64 x-scale b)) (/.f64 (*.f64 angle (*.f64 (PI.f64) (-.f64 (*.f64 b b) (*.f64 a a)))) y-scale)))) |
| 87.0ms | lambda1 | @ | inf | (log1p.f64 (sin.f64 (*.f64 (-.f64 lambda1 lambda2) 1/2))) |
| 87.0ms | lambda2 | @ | inf | (-.f64 (exp.f64 (log1p.f64 (*.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (*.f64 (cos.f64 phi2) (*.f64 (cos.f64 phi1) (cos.f64 (-.f64 lambda1 lambda2)))))) R))) 1) |
Compiled 20206 to 10044 computations (50.3% saved)
| 102× | egg-herbie |
| 32198× | fma-def |
| 26296× | *-commutative |
| 22918× | +-commutative |
| 19502× | distribute-lft-in |
| 19386× | associate-/r* |
| 60× | saturated |
| 5× | unsound |
| 37× | node limit |
Compiled 1762 to 1250 computations (29.1% saved)
Loading profile data...