Herbie run

Date:Tuesday, March 26th, 2024
Commit:79027280 on main
Hostname:nightly with Racket 8.11.1
Seed:2024086
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: 24.5min)

localize7.6min (30.9%)

Results
41.8s27269×256valid
46.8s4764×1024valid
6.5s3480×256invalid
14.6s2990×512valid
3.0min2712×8192exit
38.1s2452×2048valid
3.9s2293×256infinite
32.7s602×4096valid
4.4s318×1024infinite
3.3s283×2048infinite
4.9s139×1024invalid
1.4s126×512infinite
2.1s108×512invalid
3.7s51×4096infinite
92.0ms36×256unsamplable
9.7s35×8192valid
6.0ms1×2048invalid
1.1s1×8192infinite
Compiler

Compiled 85528 to 46533 computations (45.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.4min
ival-sin: 1.5min (23.8% of total)
ival-mult: 1.1min (17% of total)
ival-cos: 1.0min (16.1% of total)
ival-pow: 1.0min (16% of total)
ival-div: 30.2s (7.9% of total)
composed: 23.0s (6% of total)
ival-log: 9.6s (2.5% of total)
ival-add: 9.1s (2.4% of total)
ival-exp: 7.5s (2% of total)
ival-sqrt: 6.3s (1.6% of total)
ival-sub: 5.3s (1.4% of total)
const: 4.2s (1.1% of total)
ival-atan2: 2.7s (0.7% of total)
ival-cbrt: 1.7s (0.4% of total)
ival-atan: 1.5s (0.4% of total)
ival-acos: 771.0ms (0.2% of total)
ival-neg: 619.0ms (0.2% of total)
ival-tan: 330.0ms (0.1% of total)
ival-fabs: 146.0ms (0% of total)
ival-pi: 138.0ms (0% of total)
ival-asin: 47.0ms (0% of total)

sample6.1min (24.8%)

Results
52.7s262979×0valid
1.1min112907×1valid
13.0s48782×0unsamplable
3.9s26777×0invalid
5.2s26313×0infinite
56.6s25660×5exit
26.1s10357×2valid
53.4s7267×3valid
6.6s6780×1infinite
2.1s3560×1invalid
22.0s1273×4valid
3.0s890×2infinite
86.0ms862×0precondition
711.0ms860×2invalid
3.1s537×3infinite
34.0ms40×1unsamplable
14.0ms5×5valid
53.0ms4×4infinite
2.0ms1×3unsamplable
Precisions
Click to see histograms. Total time spent on operations: 4.4min
ival-sin: 45.3s (17% of total)
ival-mult: 36.7s (13.8% of total)
ival-cos: 34.7s (13.1% of total)
ival-pow: 33.4s (12.6% of total)
ival-div: 29.4s (11.1% of total)
backward-pass: 24.8s (9.3% of total)
ival-exp: 18.1s (6.8% of total)
ival-add: 11.1s (4.2% of total)
ival-sub: 8.1s (3% of total)
ival-log: 4.7s (1.8% of total)
ival-sqrt: 4.1s (1.5% of total)
ival-neg: 3.6s (1.3% of total)
ival-<: 3.6s (1.3% of total)
const: 3.5s (1.3% of total)
ival-atan2: 1.0s (0.4% of total)
ival-pi: 754.0ms (0.3% of total)
ival-and: 638.0ms (0.2% of total)
ival-atan: 617.0ms (0.2% of total)
ival-tan: 586.0ms (0.2% of total)
ival-acos: 465.0ms (0.2% of total)
ival-asin: 320.0ms (0.1% of total)
ival-cbrt: 272.0ms (0.1% of total)
ival-<=: 201.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)
Bogosity

eval2.7min (11.2%)

Compiler

Compiled 7214755 to 4325494 computations (40% saved)

explain1.8min (7.5%)

Results
8.3s17316×256valid
11.9s3128×1024valid
3.6s1960×512valid
1.6s1508×256infinite
16.6s1376×2048valid
29.2s602×4096valid
2.4s292×1024infinite
729.0ms158×512infinite
1.8s140×2048infinite
17.6s98×8192valid
1.9s44×4096infinite
454.0ms2×8192infinite
Compiler

Compiled 20263 to 11933 computations (41.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5min
ival-sin: 24.1s (27.4% of total)
ival-cos: 17.6s (20.1% of total)
ival-mult: 14.6s (16.6% of total)
ival-div: 13.5s (15.3% of total)
ival-pow: 10.8s (12.3% of total)
ival-add: 2.1s (2.4% of total)
ival-sub: 1.6s (1.8% of total)
const: 904.0ms (1% of total)
ival-sqrt: 895.0ms (1% of total)
ival-log: 527.0ms (0.6% of total)
ival-atan2: 330.0ms (0.4% of total)
ival-exp: 221.0ms (0.3% of total)
ival-atan: 207.0ms (0.2% of total)
ival-tan: 158.0ms (0.2% of total)
ival-neg: 145.0ms (0.2% of total)
ival-acos: 77.0ms (0.1% of total)
ival-cbrt: 65.0ms (0.1% of total)
ival-pi: 49.0ms (0.1% of total)
ival-asin: 19.0ms (0% of total)
ival-fabs: 14.0ms (0% of total)

simplify1.2min (4.9%)

Algorithm
228×egg-herbie
Rules
73239×fma-define
55663×distribute-lft-in
55218×associate-*r*
52763×*-commutative
48966×distribute-rgt-in
Stop Event
51×saturated
177×node limit
Counts
87662 → 74910

soundness1.1min (4.4%)

Rules
83321×fma-define
57097×log1p-expm1-u
50387×associate-*r*
45051×expm1-log1p-u
44599×fma-neg
Stop Event
16×saturated
38×fuel
217×node limit
2×unsound
12×done
Compiler

Compiled 62400 to 37209 computations (40.4% saved)

regimes1.0min (4.1%)

Counts
20762 → 792
Calls

150 calls:

5.0s
lambda2
4.8s
phi1
4.5s
phi2
4.4s
lambda1
3.0s
(-.f64 lambda1 lambda2)
Compiler

Compiled 12288 to 9118 computations (25.8% saved)

prune52.9s (3.6%)

Counts
168722 → 6701
Compiler

Compiled 445622 to 308825 computations (30.7% saved)

rewrite36.5s (2.5%)

Algorithm
178×batch-egg-rewrite
Rules
115437×log1p-expm1-u
90088×expm1-log1p-u
44521×pow1
41614×add-exp-log
39212×add-log-exp
Stop Event
175×node limit
3×unsound
Counts
1666 → 46990

analyze29.7s (2%)

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 1338 computations (30.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 20.5s
ival-mult: 5.9s (28.9% of total)
ival-pow: 3.6s (17.6% of total)
ival-div: 3.0s (14.7% of total)
ival-sin: 2.1s (10.2% of total)
ival-cos: 1.9s (9.1% of total)
ival-add: 1.1s (5.3% of total)
ival-sub: 779.0ms (3.8% of total)
ival-sqrt: 512.0ms (2.5% of total)
const: 321.0ms (1.6% of total)
ival-<: 285.0ms (1.4% of total)
ival-neg: 274.0ms (1.3% of total)
ival-atan2: 180.0ms (0.9% of total)
ival-exp: 92.0ms (0.4% of total)
ival-pi: 71.0ms (0.3% of total)
ival-fabs: 62.0ms (0.3% of total)
ival-tan: 58.0ms (0.3% of total)
ival-atan: 57.0ms (0.3% of total)
ival-log: 55.0ms (0.3% of total)
ival-and: 54.0ms (0.3% of total)
ival-asin: 45.0ms (0.2% of total)
ival-acos: 37.0ms (0.2% of total)
ival-cbrt: 18.0ms (0.1% of total)
ival-<=: 4.0ms (0% of total)
ival-or: 0.0ms (0% of total)
ival-==: 0.0ms (0% of total)

bsearch20.4s (1.4%)

Algorithm
284×binary-search
54×left-value
Stop Event
8×predicate-same
276×narrow-enough
Results
5.2s23235×0valid
7.9s8778×1valid
387.0ms2595×0invalid
911.0ms1424×2valid
849.0ms790×3valid
445.0ms675×0infinite
530.0ms298×1infinite
120.0ms246×1invalid
31.0ms40×2invalid
2.0ms1×5exit
Compiler

Compiled 107534 to 80934 computations (24.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.1s
ival-sin: 2.4s (18.2% of total)
ival-mult: 2.3s (17.6% of total)
ival-cos: 1.7s (13.1% of total)
backward-pass: 1.5s (11.7% of total)
ival-div: 1.2s (9.2% of total)
ival-pow: 1.2s (8.9% of total)
ival-sub: 800.0ms (6.1% of total)
ival-sqrt: 503.0ms (3.8% of total)
ival-add: 474.0ms (3.6% of total)
ival-atan: 229.0ms (1.8% of total)
ival-atan2: 207.0ms (1.6% of total)
const: 177.0ms (1.4% of total)
ival-neg: 99.0ms (0.8% of total)
ival-pi: 78.0ms (0.6% of total)
ival-acos: 77.0ms (0.6% of total)
ival-asin: 59.0ms (0.5% of total)
ival-exp: 45.0ms (0.3% of total)
ival-log: 29.0ms (0.2% of total)

series17.3s (1.2%)

Counts
1666 → 40672
Calls

9888 calls:

TimeVariablePointExpression
353.0ms
theta
@-inf
(log (pow (exp (sin phi1)) (+ (* (cos phi1) (* (sin delta) (cos theta))) (* (cos delta) (sin phi1)))))
152.0ms
g
@-inf
(cbrt (pow (* (/ 1/2 a) (+ g (sqrt (- (pow g 2) (pow h 2))))) 2))
142.0ms
phi2
@inf
(cbrt (sqrt (+ (* (* (- lambda1 lambda2) (cos (* (+ phi1 phi2) 1/2))) (* (- lambda1 lambda2) (cos (* (+ phi1 phi2) 1/2)))) (* (- phi1 phi2) (- phi1 phi2)))))
137.0ms
theta
@inf
(log (pow (exp (sin phi1)) (+ (* (cos phi1) (* (sin delta) (cos theta))) (* (cos delta) (sin phi1)))))
118.0ms
y-scale
@0
(- (- (/ (+ (pow (* a (cos (* angle (/ (PI) 180)))) 2) (pow (* b (sin (* angle (/ (PI) 180)))) 2)) (pow y-scale 2)) (/ (+ (pow (* a (sin (* angle (/ (PI) 180)))) 2) (pow (* (cos (* angle (/ (PI) 180))) b) 2)) (pow x-scale 2))) (sqrt (+ (* (- (/ (+ (pow (* a (sin (* angle (/ (PI) 180)))) 2) (pow (* (cos (* angle (/ (PI) 180))) b) 2)) (pow x-scale 2)) (/ (+ (pow (* a (cos (* angle (/ (PI) 180)))) 2) (pow (* b (sin (* angle (/ (PI) 180)))) 2)) (pow y-scale 2))) (- (/ (+ (pow (* a (sin (* angle (/ (PI) 180)))) 2) (pow (* (cos (* angle (/ (PI) 180))) b) 2)) (pow x-scale 2)) (/ (+ (pow (* a (cos (* angle (/ (PI) 180)))) 2) (pow (* b (sin (* angle (/ (PI) 180)))) 2)) (pow y-scale 2)))) (* (/ (* 2 (* (* (sin (* angle (/ (PI) 180))) (- (pow b 2) (pow a 2))) (cos (* angle (/ (PI) 180))))) (* y-scale x-scale)) (/ (* 2 (* (* (sin (* angle (/ (PI) 180))) (- (pow b 2) (pow a 2))) (cos (* angle (/ (PI) 180))))) (* y-scale x-scale))))))

preprocess17.1s (1.2%)

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 62972 to 39784 computations (36.8% saved)

end5.2s (0.4%)

Precisions
Click to see histograms. Total time spent on operations: 5.9s
ival-pow: 5.9s (100% of total)

Profiling

Loading profile data...