Herbie run
| Date: | Sunday, June 9th, 2024 |
|---|---|
| Commit: | 7e8e04d8 on platforms |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024161 |
| Parameters: | 256 points for 4 iterations |
| Flags: | localize:costslocalize:errorsreduce: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: 17.9min)
| 2.0min | 25835× | 5 | exit |
| 1.2min | 130154× | 1 | valid |
| 42.7s | 270558× | 0 | valid |
| 23.4s | 19171× | 2 | valid |
| 22.7s | 8092× | 3 | valid |
| 11.8s | 49701× | 0 | unsamplable |
| 8.2s | 1332× | 4 | valid |
| 3.3s | 11248× | 1 | invalid |
| 3.2s | 18789× | 0 | invalid |
| 1.1s | 1803× | 2 | invalid |
| 104.0ms | 29× | 3 | invalid |
| 85.0ms | 903× | 0 | precondition |
| 81.0ms | 68× | 1 | unsamplable |
| 23.0ms | 5× | 5 | valid |
ival-pow: 1.9min (43.1% of total)ival-mult: 25.6s (9.6% of total)ival-sin: 24.5s (9.2% of total)ival-cos: 21.3s (8% of total)ival-div: 18.3s (6.9% of total)backward-pass: 13.8s (5.2% of total)ival-sub: 9.0s (3.4% of total)ival-add: 8.8s (3.3% of total)ival-exp: 5.9s (2.2% of total)ival-log: 5.2s (1.9% of total)ival-sqrt: 5.0s (1.9% of total)ival-neg: 3.7s (1.4% of total)ival-<: 2.3s (0.9% of total)...c/correct-round.rkt:119:19: 1.8s (0.7% of total)const: 1.2s (0.4% of total)ival-atan2: 812.0ms (0.3% of total)ival-pi: 811.0ms (0.3% of total)ival-tan: 713.0ms (0.3% of total)ival-and: 584.0ms (0.2% of total)ival-atan: 520.0ms (0.2% of total)ival-acos: 394.0ms (0.1% of total)ival-cbrt: 287.0ms (0.1% of total)ival-<=: 261.0ms (0.1% of total)ival-fabs: 169.0ms (0.1% of total)ival-asin: 144.0ms (0.1% of total)ival-==: 5.0ms (0% of total)ival-or: 0.0ms (0% of total)| 1321124× | *-lowering-*.f32 |
| 1321124× | *-lowering-*.f64 |
| 648990× | +-lowering-+.f32 |
| 648990× | +-lowering-+.f64 |
| 547086× | /-lowering-/.f32 |
| 11× | saturated |
| 317× | iter limit |
| 44× | fuel |
| 302× | node limit |
| 7× | done |
Compiled 52383 to 27654 computations (47.2% saved)
| 454× | egg-herbie |
| 1458072× | *-lowering-*.f32 |
| 1458072× | *-lowering-*.f64 |
| 757932× | +-lowering-+.f32 |
| 757932× | +-lowering-+.f64 |
| 437680× | fma-lowering-fma.f64 |
| 402× | iter limit |
| 108× | saturated |
| 346× | node limit |
| 37.0s | 14873× | 1 | valid |
| 34.9s | 4233× | 5 | exit |
| 15.2s | 26341× | 0 | valid |
| 8.7s | 2359× | 2 | valid |
| 3.3s | 3075× | 0 | invalid |
| 1.2s | 212× | 3 | valid |
| 928.0ms | 188× | 1 | invalid |
| 128.0ms | 30× | 4 | valid |
| 127.0ms | 26× | 5 | valid |
| 65.0ms | 108× | 0 | unsamplable |
| 32.0ms | 11× | 2 | invalid |
Compiled 106751 to 8120 computations (92.4% saved)
ival-mult: 10.7s (19.3% of total)ival-cos: 7.7s (14% of total)backward-pass: 7.5s (13.6% of total)ival-sin: 7.0s (12.7% of total)ival-div: 5.7s (10.3% of total)ival-pow: 2.8s (5% of total)ival-add: 2.8s (5% of total)ival-log: 1.8s (3.3% of total)ival-sub: 1.7s (3.1% of total)ival-exp: 1.6s (2.9% of total)compiled-spec: 1.5s (2.6% of total)...c/correct-round.rkt:119:19: 1.4s (2.6% of total)ival-sqrt: 1.1s (1.9% of total)ival-atan2: 461.0ms (0.8% of total)const: 287.0ms (0.5% of total)ival-cbrt: 263.0ms (0.5% of total)ival-tan: 256.0ms (0.5% of total)ival-atan: 205.0ms (0.4% of total)ival-acos: 179.0ms (0.3% of total)ival-neg: 154.0ms (0.3% of total)ival-pi: 128.0ms (0.2% of total)ival-fabs: 74.0ms (0.1% of total)ival-asin: 25.0ms (0% of total)ival-cosh: 5.0ms (0% of total)ival-tanh: 2.0ms (0% of total)ival-sinh: 2.0ms (0% of total)| 201× | batch-egg-rewrite |
| 732558× | *-lowering-*.f32 |
| 732558× | *-lowering-*.f64 |
| 513528× | /-lowering-/.f32 |
| 513528× | /-lowering-/.f64 |
| 267816× | fma-lowering-fma.f64 |
| 1× | saturated |
| 205× | iter limit |
| 200× | node limit |
155 calls:
| 3.8s | phi1 |
| 3.3s | phi2 |
| 3.1s | b |
| 2.8s | lambda2 |
| 2.8s | lambda1 |
Compiled 13344 to 8756 computations (34.4% saved)
Compiled 13231476 to 746900 computations (94.4% saved)
Compiled 717215 to 314502 computations (56.1% saved)
| 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 947 computations (50.7% saved)
ival-mult: 4.1s (26.1% of total)ival-cos: 2.3s (14.4% of total)ival-pow: 2.0s (12.5% of total)ival-sin: 1.5s (9.7% of total)ival-div: 1.2s (7.8% of total)ival-sub: 1.1s (7.3% of total)ival-add: 921.0ms (5.8% of total)ival-neg: 613.0ms (3.9% of total)ival-sqrt: 512.0ms (3.2% of total)...c/correct-round.rkt:119:19: 322.0ms (2% of total)ival-<: 297.0ms (1.9% of total)ival-atan2: 139.0ms (0.9% of total)const: 102.0ms (0.6% of total)ival-pi: 78.0ms (0.5% of total)ival-tan: 74.0ms (0.5% of total)ival-exp: 72.0ms (0.5% of total)ival-atan: 70.0ms (0.4% of total)ival-and: 68.0ms (0.4% of total)ival-cbrt: 56.0ms (0.4% of total)ival-asin: 55.0ms (0.3% of total)ival-log: 49.0ms (0.3% of total)backward-pass: 37.0ms (0.2% of total)ival-acos: 37.0ms (0.2% of total)ival-fabs: 32.0ms (0.2% of total)ival-<=: 2.0ms (0% of total)ival-or: 0.0ms (0% of total)ival-==: 0.0ms (0% of total)| 408× | binary-search |
| 50× | left-value |
| 14× | predicate-same |
| 394× | narrow-enough |
| 9.6s | 12709× | 1 | valid |
| 6.0s | 33353× | 0 | valid |
| 2.2s | 2430× | 2 | valid |
| 2.1s | 1079× | 3 | valid |
| 338.0ms | 61× | 4 | valid |
| 245.0ms | 2084× | 0 | invalid |
| 7.0ms | 20× | 1 | invalid |
Compiled 134160 to 91593 computations (31.7% saved)
ival-sin: 3.3s (19.8% of total)ival-cos: 3.2s (19% of total)ival-mult: 3.1s (18.4% of total)ival-pow: 1.5s (8.9% of total)ival-div: 1.2s (7% of total)backward-pass: 1.0s (6.2% of total)ival-add: 914.0ms (5.5% of total)ival-sub: 785.0ms (4.7% of total)ival-sqrt: 501.0ms (3% of total)ival-atan: 179.0ms (1.1% of total)ival-exp: 166.0ms (1% of total)ival-log: 157.0ms (0.9% of total)ival-acos: 156.0ms (0.9% of total)ival-atan2: 143.0ms (0.9% of total)ival-neg: 140.0ms (0.8% of total)ival-pi: 113.0ms (0.7% of total)const: 106.0ms (0.6% of total)ival-tan: 61.0ms (0.4% of total)ival-asin: 13.0ms (0.1% of total)ival-fabs: 12.0ms (0.1% of total)18300 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 557.0ms | t | @ | inf | (exp (+ (- (* c_n (log (+ 1 (/ 1 (+ -1 (/ -1 (exp s))))))) (* c_n (log (+ 1 (/ 1 (- -1 (/ 1 (exp t)))))))) (+ (neg (* (log (+ 1 (/ 1 (exp s)))) c_p)) (* (log (+ 1 (/ 1 (exp t)))) c_p)))) |
| 298.0ms | s | @ | inf | (exp (* c_p (- (log (+ 1 (exp (- 0 t)))) (log (+ 1 (exp (- 0 s))))))) |
| 260.0ms | lambda2 | @ | inf | (+ (cos lambda2) (* lambda1 (+ (* lambda1 (* -1/2 (cos lambda2))) (* (- 0 (sin lambda2)) (+ (* lambda1 (* lambda1 1/6)) -1))))) |
| 252.0ms | b | @ | 0 | (exp (* (+ (log (+ 1 (* 2 (* -1/2 (cos (* (* angle (PI)) 1/90)))))) (* -2 (log (/ 1 b)))) 1/2)) |
| 184.0ms | angle | @ | -inf | (* (log (/ (+ (/ (+ (pow (* a (cos (/ (PI) (/ 180 angle)))) 2) (* b (* b (- 1/2 (* 1/2 (cos (* 2 (/ (PI) (/ 180 angle))))))))) (* y-scale y-scale)) (+ (/ (/ (+ (* a (* a (- 1/2 (* 1/2 (cos (* 2 (/ (PI) (/ 180 angle)))))))) (pow (* b (cos (/ (PI) (/ 180 angle)))) 2)) x-scale) x-scale) (sqrt (+ (* (/ (* 2 (* (- (* b b) (* a a)) (sin (/ (PI) (/ 180 angle))))) (/ (* x-scale y-scale) (cos (/ (PI) (/ 180 angle))))) (/ (* 2 (* (- (* b b) (* a a)) (sin (/ (PI) (/ 180 angle))))) (/ (* x-scale y-scale) (cos (/ (PI) (/ 180 angle)))))) (* (- (/ (/ (+ (* a (* a (- 1/2 (* 1/2 (cos (* 2 (/ (PI) (/ 180 angle)))))))) (pow (* b (cos (/ (PI) (/ 180 angle)))) 2)) x-scale) x-scale) (/ (+ (pow (* a (cos (/ (PI) (/ 180 angle)))) 2) (* b (* b (- 1/2 (* 1/2 (cos (* 2 (/ (PI) (/ 180 angle))))))))) (* y-scale y-scale))) (- (/ (/ (+ (* a (* a (- 1/2 (* 1/2 (cos (* 2 (/ (PI) (/ 180 angle)))))))) (pow (* b (cos (/ (PI) (/ 180 angle)))) 2)) x-scale) x-scale) (/ (+ (pow (* a (cos (/ (PI) (/ 180 angle)))) 2) (* b (* b (- 1/2 (* 1/2 (cos (* 2 (/ (PI) (/ 180 angle))))))))) (* y-scale y-scale)))))))) (/ (* y-scale (* x-scale (* x-scale y-scale))) (* (* (* a b) (* (* a b) a)) (* (* a (* b b)) 8))))) 1/2) |
| 6.5s | 8472× | 1 | valid |
| 3.7s | 15622× | 0 | valid |
| 3.1s | 1884× | 2 | valid |
| 2.1s | 548× | 3 | valid |
| 798.0ms | 96× | 4 | valid |
| 6.0ms | 2× | 5 | valid |
Compiled 20263 to 2450 computations (87.9% saved)
ival-sin: 1.8s (19.5% of total)ival-cos: 1.5s (16% of total)ival-mult: 1.3s (14.4% of total)backward-pass: 1.0s (10.8% of total)ival-div: 831.0ms (8.9% of total)ival-pow: 819.0ms (8.8% of total)ival-sub: 428.0ms (4.6% of total)ival-add: 400.0ms (4.3% of total)ival-log: 244.0ms (2.6% of total)ival-sqrt: 234.0ms (2.5% of total)ival-exp: 208.0ms (2.2% of total)ival-tan: 135.0ms (1.4% of total)ival-neg: 130.0ms (1.4% of total)const: 73.0ms (0.8% of total)ival-atan2: 45.0ms (0.5% of total)ival-pi: 42.0ms (0.4% of total)ival-atan: 28.0ms (0.3% of total)ival-acos: 23.0ms (0.2% of total)ival-cbrt: 22.0ms (0.2% of total)ival-fabs: 12.0ms (0.1% of total)ival-asin: 9.0ms (0.1% of total)| 104× | egg-herbie |
| 96972× | fnmadd-define |
| 86210× | fma-define |
| 80658× | sum3-define |
| 69822× | fmsub-define |
| 62900× | *-lowering-*.f32 |
| 43× | saturated |
| 52× | iter limit |
| 61× | node limit |
Compiled 60334 to 20838 computations (65.5% saved)
Loading profile data...