Herbie run

Date:Saturday, March 16th, 2024
Commit:1bed614a on main
Hostname:nightly with Racket 8.11.1
Seed:2024076
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: 28.1min)

analyze11.8min (42%)

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
Results
Compiler

Compiled 1919 to 1343 computations (30% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.6min
Operation ival-sin, time spent: 6.4min, 55.0% of total-time
Operation ival-cos, time spent: 4.9min, 42.0% of total-time
Operation ival-mult, time spent: 7.9s, 1.0% of total-time
Operation ival-div, time spent: 3.7s, 1.0% of total-time
Operation ival-pow, time spent: 3.4s, 0.0% of total-time
Operation ival-add, time spent: 1.5s, 0.0% of total-time
Operation ival-sub, time spent: 1.0s, 0.0% of total-time
Operation ival-<, time spent: 692.0ms, 0.0% of total-time
Operation ival-sqrt, time spent: 615.0ms, 0.0% of total-time
Operation const, time spent: 429.0ms, 0.0% of total-time
Operation ival-neg, time spent: 324.0ms, 0.0% of total-time
Operation ival-pi, time spent: 323.0ms, 0.0% of total-time
Operation ival-tan, time spent: 198.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 152.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 108.0ms, 0.0% of total-time
Operation ival-exp, time spent: 95.0ms, 0.0% of total-time
Operation ival-atan, time spent: 84.0ms, 0.0% of total-time
Operation ival-log, time spent: 65.0ms, 0.0% of total-time
Operation ival-and, time spent: 63.0ms, 0.0% of total-time
Operation ival-asin, time spent: 53.0ms, 0.0% of total-time
Operation ival-acos, time spent: 42.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 19.0ms, 0.0% of total-time
Operation ival-<=, time spent: 3.0ms, 0.0% of total-time
Operation ival-or, time spent: 0.0ms, 0.0% of total-time
Operation ival-==, time spent: 0.0ms, 0.0% of total-time

sample5.7min (20.2%)

Results
1.2min291989×256valid
29.9s41743×512valid
6.1s27808×256invalid
7.5s26174×256unsamplable
5.7s25221×256infinite
15.1s24167×1024valid
2.5min16698×8192exit
11.1s7583×2048valid
3.4s4859×512infinite
8.0s2436×4096valid
1.7s1723×1024invalid
1.2s1221×2048invalid
661.0ms1216×512invalid
122.0ms890×256precondition
3.4s684×2048infinite
1.7s507×1024infinite
3.7s427×4096infinite
14.0ms12×512unsamplable
242.0ms11×8192valid
7.0ms3×1024unsamplable
Precisions
Click to see histograms. Total time spent on operations: 4.3min
Operation ival-pow, time spent: 2.3min, 53.0% of total-time
Operation ival-mult, time spent: 23.4s, 9.0% of total-time
Operation ival-sin, time spent: 16.9s, 6.0% of total-time
Operation ival-cos, time spent: 14.3s, 5.0% of total-time
Operation ival-div, time spent: 14.2s, 5.0% of total-time
Operation ival-exp, time spent: 11.6s, 4.0% of total-time
Operation ival-log, time spent: 9.3s, 4.0% of total-time
Operation ival-add, time spent: 7.4s, 3.0% of total-time
Operation ival-sub, time spent: 7.0s, 3.0% of total-time
Operation ival-sqrt, time spent: 3.8s, 1.0% of total-time
Operation ival-<, time spent: 3.0s, 1.0% of total-time
Operation ival-neg, time spent: 2.6s, 1.0% of total-time
Operation const, time spent: 2.4s, 1.0% of total-time
Operation ival-atan2, time spent: 1.6s, 1.0% of total-time
Operation ival-acos, time spent: 751.0ms, 0.0% of total-time
Operation ival-tan, time spent: 670.0ms, 0.0% of total-time
Operation ival-atan, time spent: 658.0ms, 0.0% of total-time
Operation ival-and, time spent: 509.0ms, 0.0% of total-time
Operation ival-pi, time spent: 478.0ms, 0.0% of total-time
Operation ival-asin, time spent: 316.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 288.0ms, 0.0% of total-time
Operation ival-<=, time spent: 237.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 181.0ms, 0.0% of total-time
Operation ival-==, time spent: 2.0ms, 0.0% of total-time
Operation ival-or, time spent: 0.0ms, 0.0% of total-time
Bogosity

localize3.8min (13.5%)

Results
Compiler

Compiled 56055 to 27681 computations (50.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.0min
Operation ival-pow, time spent: 35.4s, 20.0% of total-time
Operation ival-sin, time spent: 33.1s, 18.0% of total-time
Operation ival-mult, time spent: 30.2s, 17.0% of total-time
Operation ival-cos, time spent: 20.9s, 12.0% of total-time
Operation composed, time spent: 14.3s, 8.0% of total-time
Operation ival-div, time spent: 12.1s, 7.0% of total-time
Operation ival-log, time spent: 7.3s, 4.0% of total-time
Operation ival-exp, time spent: 6.8s, 4.0% of total-time
Operation ival-add, time spent: 6.1s, 3.0% of total-time
Operation ival-sub, time spent: 3.6s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.8s, 2.0% of total-time
Operation const, time spent: 2.5s, 1.0% of total-time
Operation ival-cbrt, time spent: 2.3s, 1.0% of total-time
Operation ival-atan2, time spent: 1.2s, 1.0% of total-time
Operation ival-tan, time spent: 975.0ms, 1.0% of total-time
Operation ival-atan, time spent: 606.0ms, 0.0% of total-time
Operation ival-neg, time spent: 372.0ms, 0.0% of total-time
Operation ival-acos, time spent: 283.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 153.0ms, 0.0% of total-time
Operation ival-asin, time spent: 141.0ms, 0.0% of total-time
Operation ival-pi, time spent: 124.0ms, 0.0% of total-time
Operation ival-e, time spent: 3.0ms, 0.0% of total-time

eval1.6min (5.6%)

Compiler

Compiled 4408711 to 2437140 computations (44.7% saved)

simplify59.1s (3.5%)

Algorithm
212×egg-herbie
Rules
63044×fma-define
51225×associate-*r*
47366×*-commutative
46481×distribute-lft-in
40113×distribute-rgt-in
Stop Event
47×saturated
36×fuel
159×node limit
6×unsound
10×done
Counts
82359 → 70611
Compiler

Compiled 12685 to 8521 computations (32.8% saved)

soundness56.9s (3.4%)

Rules
74768×fma-define
59133×log1p-expm1-u
44955×associate-*r*
44582×expm1-log1p-u
41770×fma-neg
Stop Event
14×saturated
207×node limit
4×unsound
Compiler

Compiled 40642 to 23482 computations (42.2% saved)

preprocess51.9s (3.1%)

Algorithm
48×egg-herbie
Rules
29565×fma-define
18659×fma-neg
12543×div-sub
11366×unsub-neg
10644×sub-neg
Stop Event
21×saturated
27×node limit
Compiler

Compiled 52438 to 30072 computations (42.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 22.3s
Operation ival-sin, time spent: 5.2s, 23.0% of total-time
Operation ival-mult, time spent: 4.4s, 20.0% of total-time
Operation ival-cos, time spent: 3.0s, 13.0% of total-time
Operation ival-div, time spent: 2.6s, 12.0% of total-time
Operation ival-pow, time spent: 2.3s, 10.0% of total-time
Operation ival-sub, time spent: 934.0ms, 4.0% of total-time
Operation ival-add, time spent: 886.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 696.0ms, 3.0% of total-time
Operation ival-log, time spent: 539.0ms, 2.0% of total-time
Operation const, time spent: 337.0ms, 2.0% of total-time
Operation ival-tan, time spent: 314.0ms, 1.0% of total-time
Operation ival-exp, time spent: 269.0ms, 1.0% of total-time
Operation ival-neg, time spent: 253.0ms, 1.0% of total-time
Operation ival-atan, time spent: 214.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 193.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 87.0ms, 0.0% of total-time
Operation ival-pi, time spent: 55.0ms, 0.0% of total-time
Operation ival-acos, time spent: 49.0ms, 0.0% of total-time
Operation ival-asin, time spent: 33.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 15.0ms, 0.0% of total-time

prune42.7s (2.5%)

Counts
139175 → 5681
Compiler

Compiled 300859 to 204226 computations (32.1% saved)

regimes40.9s (2.4%)

Counts
15480 → 785
Calls

126 calls:

3.2s
lambda1
3.0s
phi1
3.0s
lambda2
2.9s
phi2
2.8s
b
Compiler

Compiled 8649 to 6395 computations (26.1% saved)

rewrite35.5s (2.1%)

Algorithm
166×batch-egg-rewrite
Rules
110927×log1p-expm1-u
79199×expm1-log1p-u
38586×pow1
38236×add-exp-log
37104×add-log-exp
Stop Event
163×node limit
3×unsound
Counts
1569 → 46269

bsearch15.8s (0.9%)

Algorithm
307×binary-search
54×left-value
Stop Event
14×predicate-same
293×narrow-enough
Results
7.1s27280×256valid
2.9s4238×512valid
1.6s1566×4096valid
1.2s1564×2048valid
235.0ms1291×256invalid
564.0ms1042×1024valid
239.0ms725×256infinite
38.0ms81×512infinite
Compiler

Compiled 75979 to 57555 computations (24.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.9s
Operation ival-cos, time spent: 1.5s, 17.0% of total-time
Operation ival-mult, time spent: 1.4s, 16.0% of total-time
Operation ival-sin, time spent: 1.4s, 16.0% of total-time
Operation ival-pow, time spent: 762.0ms, 9.0% of total-time
Operation ival-sub, time spent: 740.0ms, 8.0% of total-time
Operation ival-div, time spent: 667.0ms, 8.0% of total-time
Operation ival-atan, time spent: 540.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 410.0ms, 5.0% of total-time
Operation ival-add, time spent: 389.0ms, 4.0% of total-time
Operation ival-atan2, time spent: 248.0ms, 3.0% of total-time
Operation ival-acos, time spent: 157.0ms, 2.0% of total-time
Operation const, time spent: 131.0ms, 1.0% of total-time
Operation ival-log, time spent: 124.0ms, 1.0% of total-time
Operation ival-pi, time spent: 116.0ms, 1.0% of total-time
Operation ival-exp, time spent: 76.0ms, 1.0% of total-time
Operation ival-asin, time spent: 71.0ms, 1.0% of total-time
Operation ival-tan, time spent: 70.0ms, 1.0% of total-time
Operation ival-neg, time spent: 57.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 8.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 3.0ms, 0.0% of total-time

series13.8s (0.8%)

Counts
1569 → 36090
Calls

8709 calls:

TimeVariablePointExpression
188.0ms
lambda1
@inf
(log (+ 1 (sin (- lambda1 lambda2))))
150.0ms
lambda2
@inf
(log (+ 1 (sin (- lambda1 lambda2))))
130.0ms
B
@0
(log (sqrt (* (* F (pow B 3)) 2)))
124.0ms
A
@0
(/ (sqrt (* (* (+ (* A (* C -4)) (pow B 2)) (* 2 F)) (+ A (+ C (sqrt (+ (* B B) (* (- C A) (- C A)))))))) (- (* 4 (* A C)) (pow B 2)))
117.0ms
a
@-inf
(log (+ (/ b (+ 1 (exp a))) (log (+ 1 (exp a)))))

end30.0ms (0%)

Profiling

Loading profile data...