Herbie run

Date:Monday, March 11th, 2024
Commit:d14d36a1 on main
Hostname:nightly with Racket 8.11.1
Seed:2024071
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: 5.4min)

sample1.4min (26.8%)

Results
26.1s116224×256valid
9.3s23303×512valid
33.3s16829×8192exit
6.7s15829×1024valid
886.0ms5022×256infinite
4.2s4740×2048valid
784.0ms3919×256invalid
315.0ms1381×256unsamplable
1.0ms2×512infinite
Precisions
Click to see histograms. Total time spent on operations: 53.0s
Operation ival-pow, time spent: 14.2s, 27.0% of total-time
Operation ival-exp, time spent: 9.3s, 17.0% of total-time
Operation ival-log, time spent: 6.5s, 12.0% of total-time
Operation ival-mult, time spent: 4.9s, 9.0% of total-time
Operation ival-cos, time spent: 4.3s, 8.0% of total-time
Operation ival-sinh, time spent: 1.8s, 3.0% of total-time
Operation ival-div, time spent: 1.6s, 3.0% of total-time
Operation ival-sin, time spent: 1.4s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.4s, 3.0% of total-time
Operation ival-<=, time spent: 1.3s, 2.0% of total-time
Operation ival-fmod, time spent: 936.0ms, 2.0% of total-time
Operation ival-add, time spent: 906.0ms, 2.0% of total-time
Operation ival-tan, time spent: 843.0ms, 2.0% of total-time
Operation ival-sub, time spent: 754.0ms, 1.0% of total-time
Operation ival-acos, time spent: 738.0ms, 1.0% of total-time
Operation const, time spent: 587.0ms, 1.0% of total-time
Operation ival-neg, time spent: 580.0ms, 1.0% of total-time
Operation ival-and, time spent: 232.0ms, 0.0% of total-time
Operation ival-==, time spent: 199.0ms, 0.0% of total-time
Operation ival-<, time spent: 189.0ms, 0.0% of total-time
Operation ival-or, time spent: 88.0ms, 0.0% of total-time
Operation ival-atan, time spent: 70.0ms, 0.0% of total-time
Operation ival->=, time spent: 55.0ms, 0.0% of total-time
Operation ival->, time spent: 34.0ms, 0.0% of total-time
Bogosity

analyze47.5s (14.7%)

Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
22.1%16.3%57.5%26.3%0%0%0%1
44.1%32.5%41.2%26.3%0%0%0%2
52.6%38.7%35%26.3%0%0%0%3
61.9%45.6%28.1%26.3%0%0%0%4
65.2%47.5%25.3%26.3%0%0.9%0%5
66.8%48.4%24%26.3%0%1.1%0.2%6
71.1%51.1%20.8%26.3%0%1.6%0.2%7
72.1%51.6%20%26.3%0%1.8%0.4%8
74.4%53%18.2%26.3%0%2%0.4%9
75.8%53.9%17.2%26.3%0%2.1%0.5%10
76.6%54.3%16.6%26.3%0%2.3%0.5%11
77.3%54.8%16.1%26.3%0%2.3%0.5%12
Compiler

Compiled 295 to 210 computations (28.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 35.3s
Operation ival-<=, time spent: 11.5s, 33.0% of total-time
Operation ival-cos, time spent: 8.2s, 23.0% of total-time
Operation ival-sin, time spent: 6.1s, 17.0% of total-time
Operation ival-add, time spent: 4.8s, 13.0% of total-time
Operation ival-sub, time spent: 1.5s, 4.0% of total-time
Operation ival-tan, time spent: 1.3s, 4.0% of total-time
Operation ival-==, time spent: 514.0ms, 1.0% of total-time
Operation ival-and, time spent: 366.0ms, 1.0% of total-time
Operation const, time spent: 282.0ms, 1.0% of total-time
Operation ival-or, time spent: 180.0ms, 1.0% of total-time
Operation ival-mult, time spent: 131.0ms, 0.0% of total-time
Operation ival-pow, time spent: 117.0ms, 0.0% of total-time
Operation ival-div, time spent: 104.0ms, 0.0% of total-time
Operation ival-exp, time spent: 56.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 45.0ms, 0.0% of total-time
Operation ival-log, time spent: 25.0ms, 0.0% of total-time
Operation ival-neg, time spent: 21.0ms, 0.0% of total-time
Operation ival-sqrt, time spent: 20.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 14.0ms, 0.0% of total-time
Operation ival->=, time spent: 4.0ms, 0.0% of total-time
Operation ival-atan, time spent: 1.0ms, 0.0% of total-time
Operation ival-acos, time spent: 0.0ms, 0.0% of total-time
Operation ival->, time spent: 0.0ms, 0.0% of total-time
Operation ival-<, time spent: 0.0ms, 0.0% of total-time

localize44.9s (13.9%)

Compiler

Compiled 9205 to 4534 computations (50.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 31.7s
Operation ival-mult, time spent: 5.3s, 17.0% of total-time
Operation ival-add, time spent: 4.6s, 15.0% of total-time
Operation ival-pow, time spent: 4.0s, 13.0% of total-time
Operation composed, time spent: 3.3s, 10.0% of total-time
Operation ival-log, time spent: 2.7s, 9.0% of total-time
Operation ival-asin, time spent: 2.6s, 8.0% of total-time
Operation ival-sub, time spent: 1.4s, 5.0% of total-time
Operation ival-sqrt, time spent: 1.1s, 4.0% of total-time
Operation ival-acos, time spent: 1.0s, 3.0% of total-time
Operation ival-exp, time spent: 1.0s, 3.0% of total-time
Operation ival-cos, time spent: 968.0ms, 3.0% of total-time
Operation ival-div, time spent: 955.0ms, 3.0% of total-time
Operation const, time spent: 542.0ms, 2.0% of total-time
Operation ival-fmod, time spent: 488.0ms, 2.0% of total-time
Operation ival-sin, time spent: 484.0ms, 2.0% of total-time
Operation ival-cbrt, time spent: 377.0ms, 1.0% of total-time
Operation ival-tan, time spent: 302.0ms, 1.0% of total-time
Operation ival-neg, time spent: 202.0ms, 1.0% of total-time
Operation ival-sinh, time spent: 103.0ms, 0.0% of total-time
Operation ival-e, time spent: 94.0ms, 0.0% of total-time
Operation ival-pi, time spent: 15.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 14.0ms, 0.0% of total-time
Operation ival-atan, time spent: 2.0ms, 0.0% of total-time

soundness39.7s (12.3%)

Rules
20421×log1p-expm1-u
18617×fma-define
18498×expm1-log1p-u
13687×fma-neg
12862×associate-*r*
Stop Event
6×saturated
72×node limit
5×unsound
Compiler

Compiled 10478 to 5623 computations (46.3% saved)

simplify23.7s (7.3%)

Algorithm
86×egg-herbie
Rules
22393×fma-define
18777×fma-neg
16932×distribute-lft-in
15320×*-commutative
14544×distribute-rgt-in
Stop Event
20×saturated
57×node limit
14×fuel
9×unsound
6×done
Counts
28732 → 25032
Compiler

Compiled 1901 to 1290 computations (32.1% saved)

eval22.6s (7%)

Compiler

Compiled 1023925 to 568015 computations (44.5% saved)

regimes15.5s (4.8%)

Counts
3915 → 159
Calls

53 calls:

2.6s
a
2.3s
x
2.0s
b
1.5s
r
881.0ms
(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))
Compiler

Compiled 1866 to 1315 computations (29.5% saved)

prune14.7s (4.6%)

Counts
42116 → 1689
Compiler

Compiled 60359 to 39553 computations (34.5% saved)

rewrite14.6s (4.5%)

Algorithm
66×batch-egg-rewrite
Rules
35269×log1p-expm1-u
31094×expm1-log1p-u
14304×pow1
14297×add-exp-log
14043×add-log-exp
Stop Event
66×node limit
Counts
504 → 18979

preprocess8.0s (2.5%)

Algorithm
20×egg-herbie
Rules
5179×fma-neg
5054×fma-define
1625×distribute-rgt-in
1605×unsub-neg
1581×distribute-lft-in
Stop Event
18×saturated
2×node limit
Compiler

Compiled 10087 to 6014 computations (40.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6s
Operation ival-pow, time spent: 344.0ms, 21.0% of total-time
Operation ival-cos, time spent: 263.0ms, 16.0% of total-time
Operation ival-mult, time spent: 185.0ms, 11.0% of total-time
Operation ival-log, time spent: 171.0ms, 10.0% of total-time
Operation ival-sqrt, time spent: 100.0ms, 6.0% of total-time
Operation ival-tan, time spent: 76.0ms, 5.0% of total-time
Operation ival-add, time spent: 74.0ms, 5.0% of total-time
Operation ival-exp, time spent: 73.0ms, 4.0% of total-time
Operation ival-sin, time spent: 69.0ms, 4.0% of total-time
Operation ival-sub, time spent: 65.0ms, 4.0% of total-time
Operation ival-sinh, time spent: 53.0ms, 3.0% of total-time
Operation ival-acos, time spent: 43.0ms, 3.0% of total-time
Operation ival-div, time spent: 40.0ms, 2.0% of total-time
Operation ival-fmod, time spent: 37.0ms, 2.0% of total-time
Operation const, time spent: 34.0ms, 2.0% of total-time
Operation ival-neg, time spent: 12.0ms, 1.0% of total-time
Operation ival-atan, time spent: 4.0ms, 0.0% of total-time

series4.2s (1.3%)

Counts
504 → 9753
Calls

2304 calls:

TimeVariablePointExpression
151.0ms
x
@-inf
(log (fmod (exp x) (sqrt (cos x))))
111.0ms
b
@0
(/ 1 (* b r))
107.0ms
x
@0
(* (pow 2 1/4) x)
99.0ms
x
@0
(sqrt (sqrt (* x 2)))
75.0ms
x
@0
(pow (* (pow x 4) 4) 1/4)

bsearch1.1s (0.3%)

Algorithm
1×left-value
34×binary-search
Stop Event
34×narrow-enough
Results
387.0ms2454×256valid
540.0ms1051×512valid
20.0ms111×256infinite
Compiler

Compiled 6317 to 4524 computations (28.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 578.0ms
Operation ival-sin, time spent: 259.0ms, 45.0% of total-time
Operation ival-cos, time spent: 160.0ms, 28.0% of total-time
Operation ival-mult, time spent: 40.0ms, 7.0% of total-time
Operation ival-div, time spent: 30.0ms, 5.0% of total-time
Operation ival-add, time spent: 29.0ms, 5.0% of total-time
Operation ival-tan, time spent: 25.0ms, 4.0% of total-time
Operation ival-pow, time spent: 15.0ms, 3.0% of total-time
Operation ival-exp, time spent: 6.0ms, 1.0% of total-time
Operation const, time spent: 6.0ms, 1.0% of total-time
Operation ival-sub, time spent: 6.0ms, 1.0% of total-time
Operation ival-neg, time spent: 1.0ms, 0.0% of total-time

end3.0ms (0%)

Profiling

Loading profile data...