Herbie run

Date:Saturday, February 24th, 2024
Commit:79d5306a on longer-taylor
Hostname:nightly with Racket 8.11.1
Seed:2024055
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: 10.1min)

eval2.6min (25.7%)

Compiler

Compiled 4773698 to 3264885 computations (31.6% saved)

sample1.8min (17.4%)

Results
46.4s270117×256valid
6.2s31333×256infinite
10.3s19463×1024valid
16.0s13732×2048valid
3.2s11004×512valid
419.0ms2732×256invalid
213.0ms991×256unsamplable
618.0ms761×4096valid
1.9s202×8192exit
81.0ms182×512infinite
101.0ms144×1024infinite
19.0ms16×2048infinite
Precisions
Click to see histograms. Total time spent on operations: 57.3s
Operation ival-mult, time spent: 10.7s, 19.0% of total-time
Operation ival-pow, time spent: 7.6s, 13.0% of total-time
Operation ival-tan, time spent: 6.9s, 12.0% of total-time
Operation ival-add, time spent: 6.1s, 11.0% of total-time
Operation ival-div, time spent: 5.9s, 10.0% of total-time
Operation ival-sub, time spent: 4.2s, 7.0% of total-time
Operation ival-<=, time spent: 3.6s, 6.0% of total-time
Operation ival-sin, time spent: 3.0s, 5.0% of total-time
Operation ival-cos, time spent: 1.8s, 3.0% of total-time
Operation const, time spent: 1.5s, 3.0% of total-time
Operation ival-log, time spent: 1.5s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.3s, 2.0% of total-time
Operation ival-exp, time spent: 971.0ms, 2.0% of total-time
Operation ival-and, time spent: 595.0ms, 1.0% of total-time
Operation ival-neg, time spent: 480.0ms, 1.0% of total-time
Operation composed, time spent: 336.0ms, 1.0% of total-time
Operation ival-==, time spent: 334.0ms, 1.0% of total-time
Operation ival-atan, time spent: 210.0ms, 0.0% of total-time
Operation ival-<, time spent: 157.0ms, 0.0% of total-time
Operation ival-pi, time spent: 52.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 42.0ms, 0.0% of total-time
Operation ival-if, time spent: 8.0ms, 0.0% of total-time
Bogosity

localize1.7min (16.3%)

Results
25.3s26118×256valid
5.2s2814×256infinite
2.8s1574×256invalid
8.6s1501×1024valid
4.8s928×512valid
6.8s769×2048valid
14.1s334×1024infinite
3.7s165×8192exit
4.5s159×512infinite
1.1s81×2048infinite
672.0ms68×4096valid
515.0ms49×4096infinite
Compiler

Compiled 34049 to 20367 computations (40.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1min
Operation ival-mult, time spent: 23.1s, 34.0% of total-time
Operation ival-add, time spent: 11.5s, 17.0% of total-time
Operation ival-div, time spent: 8.6s, 13.0% of total-time
Operation ival-pow, time spent: 8.3s, 12.0% of total-time
Operation composed, time spent: 5.7s, 8.0% of total-time
Operation ival-sub, time spent: 5.5s, 8.0% of total-time
Operation const, time spent: 1.7s, 3.0% of total-time
Operation ival-exp, time spent: 1.5s, 2.0% of total-time
Operation ival-sqrt, time spent: 631.0ms, 1.0% of total-time
Operation ival-log, time spent: 414.0ms, 1.0% of total-time
Operation ival-tan, time spent: 211.0ms, 0.0% of total-time
Operation ival-neg, time spent: 122.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 106.0ms, 0.0% of total-time
Operation ival-atan, time spent: 102.0ms, 0.0% of total-time
Operation ival-sin, time spent: 90.0ms, 0.0% of total-time
Operation ival-cos, time spent: 85.0ms, 0.0% of total-time
Operation ival-e, time spent: 6.0ms, 0.0% of total-time
Operation ival-pi, time spent: 6.0ms, 0.0% of total-time

simplify46.6s (7.7%)

Algorithm
166×egg-herbie
Rules
94610×fma-define
77338×*-commutative
72868×fma-neg
65614×distribute-lft-in
60828×times-frac
Stop Event
42×saturated
124×node limit
20×fuel
22×done
Counts
66492 → 59228
Compiler

Compiled 8025 to 5248 computations (34.6% saved)

soundness37.4s (6.2%)

Rules
83668×fma-define
55162×fma-neg
48244×*-commutative
43350×distribute-lft-in
43264×times-frac
Stop Event
6×saturated
126×node limit
Compiler

Compiled 21769 to 13221 computations (39.3% saved)

preprocess35.8s (5.9%)

Algorithm
42×egg-herbie
Rules
37136×fma-define
36960×fma-neg
19878×unsub-neg
18560×sub-neg
15262×distribute-rgt-in
Stop Event
20×saturated
22×node limit
Results
6.3s16128×256valid
838.0ms1800×256infinite
1.8s1530×1024valid
1.2s958×512valid
3.0s832×2048valid
1.6s134×1024infinite
596.0ms72×512infinite
63.0ms48×4096valid
29.0ms2×2048infinite
Compiler

Compiled 30617 to 18619 computations (39.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.8s
Operation ival-mult, time spent: 4.1s, 35.0% of total-time
Operation ival-pow, time spent: 1.8s, 15.0% of total-time
Operation ival-div, time spent: 1.5s, 13.0% of total-time
Operation ival-add, time spent: 1.3s, 11.0% of total-time
Operation ival-sub, time spent: 1.1s, 9.0% of total-time
Operation ival-exp, time spent: 454.0ms, 4.0% of total-time
Operation ival-tan, time spent: 396.0ms, 3.0% of total-time
Operation const, time spent: 323.0ms, 3.0% of total-time
Operation ival-sin, time spent: 276.0ms, 2.0% of total-time
Operation ival-neg, time spent: 213.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 119.0ms, 1.0% of total-time
Operation ival-cos, time spent: 98.0ms, 1.0% of total-time
Operation ival-log, time spent: 86.0ms, 1.0% of total-time
Operation ival-atan, time spent: 28.0ms, 0.0% of total-time
Operation composed, time spent: 23.0ms, 0.0% of total-time
Operation ival-pi, time spent: 5.0ms, 0.0% of total-time

prune31.5s (5.2%)

Counts
103692 → 1977
Compiler

Compiled 85385 to 58484 computations (31.5% saved)

series28.0s (4.6%)

Counts
989 → 31199
Calls

5334 calls:

TimeVariablePointExpression
2.8s
a
@0
(pow (exp 1/2) (+ (log (* -4 a)) (log c)))
2.4s
c
@0
(exp (* (+ (log (* -4 c)) (log a)) 1/2))
1.9s
c
@0
(pow (exp 1/2) (+ (log (* -4 a)) (log c)))
1.8s
a
@0
(exp (* (+ (log (* -4 c)) (log a)) 1/2))
1.2s
x
@-inf
(+ (* (+ 1 (/ 1 eps)) (pow (exp x) (+ eps -1))) (/ (+ 1 (/ -1 eps)) (exp (+ (* eps x) x))))

rewrite26.8s (4.4%)

Algorithm
124×batch-egg-rewrite
Rules
72008×log1p-expm1-u
58213×expm1-log1p-u
49274×prod-diff
40770×log-prod
33808×unpow-prod-down
Stop Event
124×node limit
Counts
989 → 35293

regimes15.8s (2.6%)

Counts
4234 → 565
Calls

94 calls:

1.9s
c
1.8s
b
1.7s
a
1.6s
d
1.4s
x
Compiler

Compiled 3890 to 2769 computations (28.8% saved)

bsearch12.6s (2.1%)

Algorithm
285×binary-search
16×left-value
Stop Event
17×predicate-same
268×narrow-enough
Results
5.6s25497×256valid
1.6s4604×256infinite
324.0ms2995×256invalid
1.2s2339×1024valid
446.0ms1267×512valid
151.0ms204×2048valid
28.0ms46×1024infinite
14.0ms37×512infinite
4.0ms6×4096valid
1.0ms5×256unsamplable
Compiler

Compiled 67900 to 48465 computations (28.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.9s
Operation ival-mult, time spent: 2.1s, 36.0% of total-time
Operation ival-add, time spent: 1.0s, 17.0% of total-time
Operation ival-div, time spent: 960.0ms, 16.0% of total-time
Operation ival-sub, time spent: 682.0ms, 12.0% of total-time
Operation ival-pow, time spent: 658.0ms, 11.0% of total-time
Operation const, time spent: 168.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 117.0ms, 2.0% of total-time
Operation ival-neg, time spent: 109.0ms, 2.0% of total-time
Operation ival-exp, time spent: 94.0ms, 2.0% of total-time
Operation ival-pi, time spent: 2.0ms, 0.0% of total-time

analyze12.1s (2%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
23.5%12.8%41.7%45.5%0%0%0%1
39.5%21.5%33%45.5%0%0%0%2
50.8%26.8%25.9%45.5%0%1.7%0%3
58.9%31%21.7%45.5%0%1.8%0%4
71.8%37.8%14.8%45.6%0%1.8%0%5
73.2%38.5%14.1%45.6%0%1.8%0%6
78.1%40.8%11.4%45.6%0%2.2%0%7
81.7%42.6%9.5%45.7%0%2.2%0%8
84.5%43.8%8%45.7%0%2.5%0%9
86.6%44.6%6.9%45.7%0%2.7%0%10
88.8%45.6%5.8%45.7%0%2.8%0.1%11
89.7%45.9%5.3%45.7%0%2.9%0.1%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.9s
Operation ival-add, time spent: 2.0s, 23.0% of total-time
Operation ival-sqrt, time spent: 1.6s, 18.0% of total-time
Operation ival-mult, time spent: 1.1s, 12.0% of total-time
Operation ival-pow, time spent: 977.0ms, 11.0% of total-time
Operation ival-div, time spent: 973.0ms, 11.0% of total-time
Operation ival-sub, time spent: 956.0ms, 11.0% of total-time
Operation ival-<=, time spent: 481.0ms, 5.0% of total-time
Operation ival-fabs, time spent: 227.0ms, 3.0% of total-time
Operation const, time spent: 212.0ms, 2.0% of total-time
Operation ival-exp, time spent: 106.0ms, 1.0% of total-time
Operation ival-==, time spent: 104.0ms, 1.0% of total-time
Operation ival-neg, time spent: 44.0ms, 0.0% of total-time
Operation ival-if, time spent: 42.0ms, 0.0% of total-time
Operation ival-<, time spent: 37.0ms, 0.0% of total-time
Operation ival-and, time spent: 21.0ms, 0.0% of total-time
Operation ival-pi, time spent: 4.0ms, 0.0% of total-time
Operation ival-log, time spent: 1.0ms, 0.0% of total-time
Operation composed, time spent: 0.0ms, 0.0% of total-time
Operation ival-atan, time spent: 0.0ms, 0.0% of total-time
Operation ival-tan, time spent: 0.0ms, 0.0% of total-time
Operation ival-cos, time spent: 0.0ms, 0.0% of total-time
Operation ival-sin, time spent: 0.0ms, 0.0% of total-time

end15.0ms (0%)

Profiling

Loading profile data...