Herbie run

Date:Thursday, May 16th, 2024
Commit:c2f4097e on main
Hostname:nightly with Racket 8.11.1
Seed:2024137
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.6min)

sample5.7min (32.3%)

Results
2.0min25445×5exit
1.2min129638×1valid
43.7s270657×0valid
23.4s8283×3valid
17.8s19416×2valid
12.9s48860×0unsamplable
7.9s1318×4valid
4.1s19181×0invalid
2.5s11064×1invalid
1.2s1722×2invalid
92.0ms874×0precondition
38.0ms60×1unsamplable
16.0ms26×3invalid
Precisions
Click to see histograms. Total time spent on operations: 4.4min
ival-pow: 1.9min (42.6% of total)
ival-mult: 25.8s (9.7% of total)
ival-cos: 22.1s (8.3% of total)
ival-sin: 21.4s (8% of total)
ival-div: 17.0s (6.4% of total)
backward-pass: 16.0s (6% of total)
ival-sub: 10.5s (3.9% of total)
ival-add: 9.6s (3.6% of total)
ival-log: 6.1s (2.3% of total)
ival-exp: 5.4s (2% of total)
ival-sqrt: 5.0s (1.9% of total)
ival-neg: 4.0s (1.5% of total)
ival-<: 3.0s (1.1% of total)
...c/correct-round.rkt:121:19: 1.8s (0.7% of total)
const: 1.0s (0.4% of total)
ival-pi: 803.0ms (0.3% of total)
ival-atan2: 798.0ms (0.3% of total)
ival-tan: 713.0ms (0.3% of total)
ival-cbrt: 511.0ms (0.2% of total)
ival-atan: 447.0ms (0.2% of total)
ival-and: 438.0ms (0.2% of total)
ival-acos: 373.0ms (0.1% of total)
ival-<=: 241.0ms (0.1% of total)
ival-fabs: 209.0ms (0.1% of total)
ival-asin: 196.0ms (0.1% of total)
ival-==: 2.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

simplify2.8min (15.9%)

Algorithm
449×egg-herbie
Rules
172511×fma-define
114562×fma-neg
103099×distribute-lft-in
97274×*-commutative
91094×times-frac
Stop Event
117×saturated
331×node limit
1×unsound
Counts
149233 → 124452

soundness2.0min (11.3%)

Rules
82708×fma-define
70341×log1p-expm1-u
55005×*-commutative
54175×times-frac
53435×expm1-log1p-u
Stop Event
15×saturated
45×fuel
272×node limit
3×unsound
7×done
Compiler

Compiled 66663 to 19150 computations (71.3% saved)

localize1.5min (8.6%)

Results
28.5s15038×1valid
15.5s1663×5exit
12.8s27625×0valid
6.2s2359×2valid
3.3s545×3valid
2.5s3347×0invalid
731.0ms219×1invalid
461.0ms43×4valid
53.0ms81×0unsamplable
48.0ms18×2invalid
16.0ms3×5valid
15.0ms3×3invalid
Compiler

Compiled 94042 to 7495 computations (92% saved)

Precisions
Click to see histograms. Total time spent on operations: 46.9s
ival-mult: 7.7s (16.4% of total)
ival-sin: 6.8s (14.5% of total)
ival-pow: 6.0s (12.8% of total)
ival-cos: 5.1s (11% of total)
backward-pass: 4.9s (10.5% of total)
ival-div: 4.8s (10.1% of total)
ival-exp: 1.6s (3.4% of total)
ival-add: 1.5s (3.3% of total)
ival-sub: 1.5s (3.1% of total)
ival-sqrt: 989.0ms (2.1% of total)
ival-log: 964.0ms (2.1% of total)
...c/correct-round.rkt:121:19: 909.0ms (1.9% of total)
ival-fma: 802.0ms (1.7% of total)
ival-log1p: 517.0ms (1.1% of total)
ival-hypot: 498.0ms (1.1% of total)
ival-atan2: 413.0ms (0.9% of total)
ival-expm1: 405.0ms (0.9% of total)
ival-neg: 312.0ms (0.7% of total)
ival-cbrt: 300.0ms (0.6% of total)
const: 210.0ms (0.4% of total)
ival-acos: 198.0ms (0.4% of total)
ival-atan: 155.0ms (0.3% of total)
ival-tan: 129.0ms (0.3% of total)
ival-pi: 88.0ms (0.2% of total)
ival-fabs: 67.0ms (0.1% of total)
ival-asin: 30.0ms (0.1% of total)

regimes1.2min (6.6%)

Counts
27137 → 878
Calls

155 calls:

5.0s
phi2
4.8s
phi1
3.8s
lambda1
3.7s
lambda2
3.2s
(-.f64 lambda1 lambda2)
Compiler

Compiled 14103 to 8970 computations (36.4% saved)

prune56.6s (5.3%)

Counts
203860 → 8374
Compiler

Compiled 583286 to 286034 computations (51% saved)

rewrite52.1s (4.9%)

Algorithm
198×batch-egg-rewrite
Rules
120300×log1p-expm1-u
91818×expm1-log1p-u
52917×pow1
49971×add-exp-log
47069×add-log-exp
Stop Event
194×node limit
4×unsound
Counts
2972 → 80615

eval44.8s (4.2%)

Compiler

Compiled 9640720 to 909677 computations (90.6% saved)

series33.0s (3.1%)

Counts
2972 → 68618
Calls

17529 calls:

TimeVariablePointExpression
291.0ms
a
@0
(- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))
227.0ms
B
@-inf
(* (/ 1 B) (- C (sqrt (+ (* C C) (* B B)))))
214.0ms
angle
@0
(* -1/2 (* y-scale (/ (+ (* (pow a 2) (pow (sin (* 1/180 (* angle (PI)))) 2)) (+ (* (pow b 2) (pow (cos (* 1/180 (* angle (PI)))) 2)) (pow b 2))) (* x-scale (* (cos (* 1/180 (* angle (PI)))) (* (sin (* 1/180 (* angle (PI)))) (- (pow b 2) (pow a 2))))))))
207.0ms
a
@-inf
(pow (log (pow (exp a) b)) 2)
187.0ms
s
@inf
(* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (/ (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))))

analyze25.1s (2.4%)

Algorithm
53×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
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
Compiler

Compiled 1919 to 947 computations (50.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 16.9s
ival-mult: 5.5s (32.3% of total)
ival-pow: 2.9s (17.2% of total)
ival-cos: 1.7s (10% of total)
ival-sin: 1.4s (8.2% of total)
ival-div: 1.1s (6.5% of total)
ival-sub: 785.0ms (4.7% of total)
ival-add: 785.0ms (4.7% of total)
ival-sqrt: 664.0ms (3.9% of total)
ival-<: 446.0ms (2.6% of total)
ival-neg: 373.0ms (2.2% of total)
...c/correct-round.rkt:121:19: 273.0ms (1.6% of total)
ival-atan2: 174.0ms (1% of total)
ival-log: 159.0ms (0.9% of total)
ival-tan: 115.0ms (0.7% of total)
ival-pi: 103.0ms (0.6% of total)
const: 92.0ms (0.5% of total)
ival-exp: 82.0ms (0.5% of total)
ival-and: 54.0ms (0.3% of total)
ival-atan: 52.0ms (0.3% of total)
ival-asin: 49.0ms (0.3% of total)
ival-fabs: 48.0ms (0.3% of total)
ival-acos: 37.0ms (0.2% of total)
backward-pass: 23.0ms (0.1% of total)
ival-cbrt: 19.0ms (0.1% of total)
ival-<=: 3.0ms (0% of total)
ival-==: 1.0ms (0% of total)
ival-or: 0.0ms (0% of total)

explain20.9s (2%)

Results
6.2s8500×1valid
3.0s1902×2valid
2.6s15592×0valid
1.9s548×3valid
526.0ms82×4valid
Compiler

Compiled 20263 to 2450 computations (87.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.1s
ival-sin: 2.3s (22.7% of total)
ival-mult: 1.8s (18.3% of total)
ival-cos: 1.8s (18% of total)
backward-pass: 936.0ms (9.3% of total)
ival-pow: 791.0ms (7.9% of total)
ival-div: 646.0ms (6.4% of total)
ival-log: 316.0ms (3.1% of total)
ival-add: 308.0ms (3.1% of total)
ival-sub: 303.0ms (3% of total)
ival-sqrt: 225.0ms (2.2% of total)
ival-exp: 175.0ms (1.7% of total)
ival-neg: 110.0ms (1.1% of total)
ival-tan: 68.0ms (0.7% of total)
const: 56.0ms (0.6% of total)
ival-atan2: 47.0ms (0.5% of total)
ival-pi: 40.0ms (0.4% of total)
ival-atan: 32.0ms (0.3% of total)
ival-cbrt: 26.0ms (0.3% of total)
ival-acos: 23.0ms (0.2% of total)
ival-fabs: 15.0ms (0.1% of total)
ival-asin: 8.0ms (0.1% of total)

bsearch20.5s (1.9%)

Algorithm
334×binary-search
51×left-value
Stop Event
9×predicate-same
325×narrow-enough
Results
8.7s13395×1valid
5.6s26275×0valid
1.3s1275×2valid
902.0ms751×3valid
179.0ms1079×0invalid
81.0ms16×4valid
1.0ms31×0unsamplable
Compiler

Compiled 107939 to 73241 computations (32.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.7s
ival-cos: 3.0s (21.8% of total)
ival-sin: 2.7s (19.5% of total)
ival-mult: 2.6s (18.8% of total)
ival-sub: 1.1s (8.2% of total)
ival-pow: 1.1s (7.9% of total)
ival-div: 742.0ms (5.4% of total)
backward-pass: 621.0ms (4.5% of total)
ival-add: 398.0ms (2.9% of total)
ival-sqrt: 327.0ms (2.4% of total)
ival-atan2: 251.0ms (1.8% of total)
ival-exp: 236.0ms (1.7% of total)
ival-atan: 156.0ms (1.1% of total)
ival-acos: 140.0ms (1% of total)
ival-tan: 102.0ms (0.7% of total)
ival-neg: 77.0ms (0.6% of total)
const: 73.0ms (0.5% of total)
ival-pi: 50.0ms (0.4% of total)
ival-log: 45.0ms (0.3% of total)
ival-fabs: 36.0ms (0.3% of total)
ival-asin: 14.0ms (0.1% of total)

preprocess15.0s (1.4%)

Algorithm
52×egg-herbie
Rules
32328×fma-define
19274×fma-neg
13234×div-sub
11584×unsub-neg
11427×sub-neg
Stop Event
22×saturated
30×node limit
Compiler

Compiled 56956 to 22194 computations (61% saved)

end0.0ms (0%)

Profiling

Loading profile data...