Herbie run
| Date: | Friday, April 12th, 2024 |
|---|---|
| Commit: | f7c2f43b on zane-regimes-lt-or-eq |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024103 |
| 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:simplifygenerate:proofs default |
Time bar (total: 23.3min)
| 48.2s | 30375× | 256 | valid |
| 56.6s | 5070× | 1024 | valid |
| 6.3s | 3718× | 256 | invalid |
| 18.2s | 3038× | 512 | valid |
| 44.2s | 2948× | 2048 | valid |
| 2.8min | 2472× | 8192 | exit |
| 34.6s | 626× | 4096 | valid |
| 188.0ms | 215× | 256 | unsamplable |
| 1.6s | 85× | 1024 | invalid |
| 506.0ms | 62× | 512 | invalid |
| 14.7s | 44× | 8192 | valid |
| 435.0ms | 27× | 2048 | invalid |
Compiled 85488 to 47231 computations (44.8% saved)
ival-sin: 1.5min (23.1% of total)ival-mult: 1.1min (17% of total)ival-cos: 1.0min (16.4% of total)ival-pow: 58.7s (15.3% of total)ival-div: 29.9s (7.8% of total)<compiled-spec>: 22.3s (5.8% of total)ival-log: 10.5s (2.7% of total)ival-exp: 10.4s (2.7% of total)ival-add: 9.7s (2.5% of total)ival-sub: 6.2s (1.6% of total)ival-sqrt: 5.6s (1.5% of total)const: 4.2s (1.1% of total)ival-atan2: 3.7s (1% of total)ival-cbrt: 2.6s (0.7% of total)ival-atan: 1.3s (0.3% of total)ival-neg: 497.0ms (0.1% of total)ival-acos: 434.0ms (0.1% of total)ival-tan: 254.0ms (0.1% of total)ival-fabs: 177.0ms (0% of total)ival-pi: 131.0ms (0% of total)ival-asin: 38.0ms (0% of total)| 48.3s | 289228× | 0 | valid |
| 1.1min | 119830× | 1 | valid |
| 13.3s | 49712× | 0 | unsamplable |
| 4.0s | 27661× | 0 | invalid |
| 57.6s | 25566× | 5 | exit |
| 28.7s | 11082× | 2 | valid |
| 58.2s | 7913× | 3 | valid |
| 2.2s | 3745× | 1 | invalid |
| 21.7s | 1257× | 4 | valid |
| 80.0ms | 924× | 0 | precondition |
| 692.0ms | 818× | 2 | invalid |
| 36.0ms | 43× | 1 | unsamplable |
| 9.0ms | 3× | 4 | unsamplable |
| 3.0ms | 2× | 2 | unsamplable |
| 6.0ms | 2× | 5 | valid |
| 3.0ms | 1× | 3 | unsamplable |
ival-sin: 44.4s (16.7% of total)ival-mult: 37.4s (14% of total)ival-cos: 34.8s (13.1% of total)ival-pow: 34.5s (12.9% of total)ival-div: 30.5s (11.4% of total)backward-pass: 24.2s (9.1% of total)ival-exp: 19.1s (7.2% of total)ival-add: 10.9s (4.1% of total)ival-sub: 7.7s (2.9% of total)ival-log: 4.2s (1.6% of total)ival-sqrt: 4.1s (1.5% of total)ival-neg: 3.9s (1.5% of total)const: 3.4s (1.3% of total)ival-<: 3.3s (1.2% of total)ival-pi: 713.0ms (0.3% of total)ival-atan2: 692.0ms (0.3% of total)ival-and: 605.0ms (0.2% of total)ival-tan: 588.0ms (0.2% of total)ival-acos: 419.0ms (0.2% of total)ival-atan: 362.0ms (0.1% of total)ival-cbrt: 348.0ms (0.1% of total)ival-<=: 249.0ms (0.1% of total)ival-asin: 236.0ms (0.1% of total)ival-fabs: 149.0ms (0.1% of total)ival-==: 2.0ms (0% of total)ival-or: 0.0ms (0% of total)| 9.4s | 18884× | 256 | valid |
| 14.5s | 3358× | 1024 | valid |
| 4.7s | 2052× | 512 | valid |
| 17.5s | 1524× | 2048 | valid |
| 33.1s | 696× | 4096 | valid |
| 18.7s | 110× | 8192 | valid |
Compiled 20263 to 11933 computations (41.1% saved)
ival-sin: 25.4s (27.9% of total)ival-cos: 18.2s (20% of total)ival-mult: 15.4s (16.9% of total)ival-pow: 12.6s (13.8% of total)ival-div: 12.2s (13.4% of total)ival-add: 2.2s (2.4% of total)ival-sub: 1.7s (1.9% of total)ival-sqrt: 909.0ms (1% of total)const: 879.0ms (1% of total)ival-log: 560.0ms (0.6% of total)ival-atan2: 254.0ms (0.3% of total)ival-exp: 234.0ms (0.3% of total)ival-atan: 201.0ms (0.2% of total)ival-neg: 144.0ms (0.2% of total)ival-tan: 128.0ms (0.1% of total)ival-cbrt: 85.0ms (0.1% of total)ival-acos: 67.0ms (0.1% of total)ival-pi: 48.0ms (0.1% of total)ival-asin: 16.0ms (0% of total)ival-fabs: 14.0ms (0% of total)Compiled 6685029 to 4001333 computations (40.1% saved)
| 234× | egg-herbie |
| 76205× | fma-define |
| 57166× | associate-*r* |
| 54932× | distribute-lft-in |
| 54271× | *-commutative |
| 46879× | distribute-rgt-in |
| 51× | saturated |
| 182× | node limit |
| 1× | unsound |
| 85362× | fma-define |
| 53660× | log1p-expm1-u |
| 51351× | associate-*r* |
| 46661× | fma-neg |
| 45445× | distribute-lft-in |
| 15× | saturated |
| 39× | fuel |
| 219× | node limit |
| 3× | unsound |
| 11× | done |
Compiled 60836 to 34386 computations (43.5% saved)
150 calls:
| 5.0s | phi2 |
| 4.4s | phi1 |
| 4.3s | lambda2 |
| 4.2s | lambda1 |
| 3.3s | (sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64))) |
Compiled 12575 to 9308 computations (26% saved)
Compiled 422046 to 293653 computations (30.4% saved)
| 184× | batch-egg-rewrite |
| 119591× | log1p-expm1-u |
| 86970× | expm1-log1p-u |
| 46967× | pow1 |
| 44111× | add-exp-log |
| 41686× | add-log-exp |
| 181× | node limit |
| 3× | unsound |
| 53× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 79.4% | 20.6% | 0% | 0% | 0% | 0 |
| 14.8% | 11.8% | 67.6% | 20.6% | 0% | 0% | 0% | 1 |
| 22.6% | 17.7% | 60.4% | 21% | 0% | 0.9% | 0% | 2 |
| 32.7% | 24.7% | 50.8% | 21.2% | 0% | 3.3% | 0% | 3 |
| 39.8% | 29.8% | 45% | 21.2% | 0% | 4% | 0% | 4 |
| 45.4% | 33.8% | 40.6% | 21.2% | 0% | 4.5% | 0% | 5 |
| 48.4% | 35.7% | 38% | 21.2% | 0% | 5.1% | 0% | 6 |
| 51.8% | 37.8% | 35.2% | 21.2% | 0% | 5.7% | 0.1% | 7 |
| 53.5% | 38.9% | 33.8% | 21.3% | 0% | 6% | 0.1% | 8 |
| 56.4% | 40.6% | 31.4% | 21.3% | 0% | 6.6% | 0.2% | 9 |
| 57.7% | 41.4% | 30.3% | 21.3% | 0% | 6.8% | 0.2% | 10 |
| 59.8% | 42.7% | 28.7% | 21.3% | 0% | 7.1% | 0.3% | 11 |
| 61.3% | 43.5% | 27.5% | 21.3% | 0% | 7.5% | 0.3% | 12 |
Compiled 1919 to 1338 computations (30.3% saved)
ival-mult: 6.1s (29.8% of total)ival-pow: 3.4s (16.4% of total)ival-div: 3.1s (15.3% of total)ival-cos: 2.1s (10.2% of total)ival-sin: 1.9s (9.4% of total)ival-add: 909.0ms (4.4% of total)ival-sub: 801.0ms (3.9% of total)ival-sqrt: 460.0ms (2.2% of total)const: 315.0ms (1.5% of total)ival-neg: 314.0ms (1.5% of total)ival-<: 244.0ms (1.2% of total)ival-atan2: 210.0ms (1% of total)ival-atan: 150.0ms (0.7% of total)ival-exp: 92.0ms (0.4% of total)ival-pi: 82.0ms (0.4% of total)ival-log: 54.0ms (0.3% of total)ival-tan: 53.0ms (0.3% of total)ival-and: 49.0ms (0.2% of total)ival-acos: 38.0ms (0.2% of total)ival-asin: 38.0ms (0.2% of total)ival-fabs: 32.0ms (0.2% of total)ival-cbrt: 27.0ms (0.1% of total)ival-<=: 3.0ms (0% of total)ival-or: 0.0ms (0% of total)ival-==: 0.0ms (0% of total)| 401× | binary-search |
| 58× | left-value |
| 6× | predicate-same |
| 395× | narrow-enough |
| 6.3s | 31975× | 0 | valid |
| 9.5s | 13172× | 1 | valid |
| 1.7s | 2705× | 2 | valid |
| 170.0ms | 1352× | 0 | invalid |
| 957.0ms | 1140× | 3 | valid |
| 2.0ms | 5× | 1 | invalid |
Compiled 122304 to 91488 computations (25.2% saved)
ival-mult: 2.6s (16.8% of total)ival-sin: 2.5s (16.1% of total)ival-cos: 2.2s (14.4% of total)ival-div: 1.7s (10.9% of total)ival-pow: 1.4s (9.2% of total)ival-sub: 1.4s (8.8% of total)backward-pass: 1.3s (8.6% of total)ival-sqrt: 651.0ms (4.2% of total)ival-add: 498.0ms (3.2% of total)ival-acos: 225.0ms (1.5% of total)ival-atan: 208.0ms (1.3% of total)const: 195.0ms (1.3% of total)ival-atan2: 194.0ms (1.3% of total)ival-pi: 141.0ms (0.9% of total)ival-neg: 89.0ms (0.6% of total)ival-exp: 81.0ms (0.5% of total)ival-log: 62.0ms (0.4% of total)ival-asin: 22.0ms (0.1% of total)ival-tan: 5.0ms (0% of total)ival-fabs: 1.0ms (0% of total)10125 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 359.0ms | a | @ | -inf | (* a (+ (* -3/8 (/ (pow c 2) (pow b 3))) (* a (+ (* -9/16 (/ (pow c 3) (pow b 5))) (* -135/128 (/ (* a (pow c 4)) (pow b 7))))))) |
| 212.0ms | C | @ | -inf | (log (* -16 (* (pow A 2) (* C F)))) |
| 146.0ms | angle | @ | 0 | (/ (- (- (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) (pow y-scale 2)) (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (pow x-scale 2))) (sqrt (+ (* (- (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (pow x-scale 2)) (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) (pow y-scale 2))) (- (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (pow x-scale 2)) (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) (pow y-scale 2)))) (* (* (cos (* (/ angle 180) (PI))) (/ (* 2 (* (sin (* (/ angle 180) (PI))) (- (pow b 2) (pow a 2)))) (* y-scale x-scale))) (* (cos (* (/ angle 180) (PI))) (/ (* 2 (* (sin (* (/ angle 180) (PI))) (- (pow b 2) (pow a 2)))) (* y-scale x-scale))))))) (* (cos (* (/ angle 180) (PI))) (/ (* 2 (* (sin (* (/ angle 180) (PI))) (- (pow b 2) (pow a 2)))) (* y-scale x-scale)))) |
| 104.0ms | c_p | @ | 0 | (- (+ (* c_p (neg (log (+ 1 (exp s))))) (* c_n (- (log (+ 1 (/ 1 (+ 1 (exp s))))) (log (+ 1 (/ 1 (+ 1 (exp t)))))))) (* c_p (neg (log (+ 1 (exp t)))))) |
| 98.0ms | a | @ | 0 | (/ b (* a a)) |
| 52× | egg-herbie |
| 32328× | fma-define |
| 19274× | fma-neg |
| 13234× | div-sub |
| 11584× | unsub-neg |
| 11427× | sub-neg |
| 22× | saturated |
| 30× | node limit |
Compiled 53072 to 31156 computations (41.3% saved)
ival-cos: 3.1s (53.8% of total)ival-pow: 2.6s (46.2% of total)Loading profile data...