Herbie run

Date:Sunday, May 19th, 2024
Commit:c2f4097e on main
Hostname:nightly with Racket 8.11.1
Seed:2024140
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: 3.8min)

sample1.3min (34.6%)

Results
26.8s48568×1valid
22.0s109314×0valid
18.3s16409×5exit
2.8s7238×2valid
521.0ms3821×0invalid
411.0ms1435×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 49.9s
ival-tan: 6.8s (13.6% of total)
ival-pow: 6.3s (12.6% of total)
ival-<=: 5.8s (11.7% of total)
ival-exp: 5.5s (11% of total)
ival-cos: 4.3s (8.6% of total)
backward-pass: 3.9s (7.8% of total)
...c/correct-round.rkt:121:19: 3.3s (6.5% of total)
ival-mult: 2.8s (5.6% of total)
ival-sub: 1.7s (3.3% of total)
ival-sqrt: 1.6s (3.1% of total)
ival-log: 1.4s (2.8% of total)
ival-add: 1.2s (2.3% of total)
ival-acos: 991.0ms (2% of total)
ival-fmod: 984.0ms (2% of total)
ival-div: 883.0ms (1.8% of total)
ival-sin: 778.0ms (1.6% of total)
ival-sinh: 477.0ms (1% of total)
ival-neg: 354.0ms (0.7% of total)
ival-==: 330.0ms (0.7% of total)
const: 210.0ms (0.4% of total)
ival-and: 137.0ms (0.3% of total)
ival-<: 111.0ms (0.2% of total)
ival-or: 110.0ms (0.2% of total)
ival-atan: 65.0ms (0.1% of total)
ival->=: 49.0ms (0.1% of total)
ival->: 33.0ms (0.1% of total)
Bogosity

soundness37.5s (16.5%)

Rules
16788×fma-define
16786×log1p-expm1-u
12878×expm1-log1p-u
12834×fma-neg
12484×associate-*r*
Stop Event
7×saturated
61×node limit
12×fuel
2×unsound
8×done
Compiler

Compiled 9797 to 3007 computations (69.3% saved)

simplify29.9s (13.2%)

Algorithm
163×egg-herbie
Rules
49489×fma-define
41145×fma-neg
25721×distribute-lft-in
22804×distribute-rgt-in
21303×times-frac
Stop Event
63×saturated
90×node limit
10×unsound
Counts
33388 → 29170

rewrite16.8s (7.4%)

Algorithm
71×batch-egg-rewrite
Rules
39773×log1p-expm1-u
31691×expm1-log1p-u
17770×pow1
15139×add-exp-log
14903×add-log-exp
Stop Event
71×node limit
Counts
660 → 22159

localize15.2s (6.7%)

Results
3.9s4092×1valid
3.4s11952×0valid
2.2s836×2valid
1.6s275×5exit
712.0ms1111×0invalid
100.0ms158×0unsamplable
9.0ms8×1invalid
Compiler

Compiled 8770 to 1354 computations (84.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.8s
ival-mult: 1.2s (15.8% of total)
ival-pow: 1.1s (14.4% of total)
ival-cos: 833.0ms (10.6% of total)
backward-pass: 629.0ms (8% of total)
ival-log: 577.0ms (7.4% of total)
ival-tan: 515.0ms (6.6% of total)
ival-div: 475.0ms (6.1% of total)
ival-sub: 360.0ms (4.6% of total)
ival-exp: 357.0ms (4.6% of total)
ival-add: 240.0ms (3.1% of total)
...c/correct-round.rkt:121:19: 226.0ms (2.9% of total)
ival-fmod: 224.0ms (2.9% of total)
ival-fma: 216.0ms (2.8% of total)
ival-sin: 171.0ms (2.2% of total)
ival-sqrt: 160.0ms (2% of total)
ival-cbrt: 125.0ms (1.6% of total)
ival-acos: 86.0ms (1.1% of total)
ival-neg: 49.0ms (0.6% of total)
const: 45.0ms (0.6% of total)
ival-asin: 42.0ms (0.5% of total)
ival-sinh: 39.0ms (0.5% of total)
ival-log1p: 33.0ms (0.4% of total)
ival-hypot: 28.0ms (0.4% of total)
ival-expm1: 21.0ms (0.3% of total)
ival-atan: 6.0ms (0.1% of total)
ival-pi: 5.0ms (0.1% of total)
ival-fabs: 3.0ms (0% of total)

prune11.1s (4.9%)

Counts
46272 → 1863
Compiler

Compiled 63776 to 35462 computations (44.4% saved)

regimes9.0s (4%)

Counts
3978 → 166
Calls

55 calls:

895.0ms
a
868.0ms
x
772.0ms
b
564.0ms
r
522.0ms
(tan.f64 a)
Compiler

Compiled 1719 to 1217 computations (29.2% saved)

eval9.0s (4%)

Compiler

Compiled 1008211 to 157951 computations (84.3% saved)

analyze6.3s (2.8%)

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 199 computations (32.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.2s
...c/correct-round.rkt:121:19: 2.0s (47.4% of total)
ival-<=: 725.0ms (17.1% of total)
ival-mult: 347.0ms (8.2% of total)
ival-tan: 202.0ms (4.8% of total)
ival-add: 174.0ms (4.1% of total)
ival-sin: 173.0ms (4.1% of total)
ival-pow: 120.0ms (2.8% of total)
ival-cos: 68.0ms (1.6% of total)
ival-fmod: 58.0ms (1.4% of total)
ival-and: 55.0ms (1.3% of total)
ival-div: 53.0ms (1.3% of total)
ival-exp: 49.0ms (1.2% of total)
ival-sub: 42.0ms (1% of total)
ival-==: 31.0ms (0.7% of total)
ival-or: 30.0ms (0.7% of total)
ival-log: 19.0ms (0.4% of total)
ival-neg: 19.0ms (0.4% of total)
ival-sqrt: 18.0ms (0.4% of total)
const: 13.0ms (0.3% of total)
ival-sinh: 12.0ms (0.3% of total)
ival-<: 8.0ms (0.2% of total)
backward-pass: 6.0ms (0.1% of total)
ival->: 4.0ms (0.1% of total)
ival-atan: 1.0ms (0% of total)
ival->=: 1.0ms (0% of total)
ival-acos: 0.0ms (0% of total)

series5.5s (2.4%)

Counts
660 → 11229
Calls

2745 calls:

TimeVariablePointExpression
205.0ms
x
@-inf
(sqrt (+ (log (pow (cbrt (exp (cos x))) 2)) (log (cbrt (exp (cos x))))))
195.0ms
a
@-inf
(* r (/ (sin b) (+ (* (sin b) (neg (sin a))) (* (cos a) (cos b)))))
170.0ms
b
@inf
(* (log (cbrt (* r (sin b)))) 3)
167.0ms
y
@0
(cbrt y)
152.0ms
c
@0
(/ 1 (* (* c x) (* c s)))

preprocess4.0s (1.8%)

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 6696 to 3126 computations (53.3% saved)

explain2.8s (1.2%)

Results
685.0ms3012×1valid
514.0ms6666×0valid
496.0ms102×5exit
234.0ms460×2valid
Compiler

Compiled 1135 to 400 computations (64.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3s
ival-cos: 413.0ms (30.8% of total)
backward-pass: 152.0ms (11.3% of total)
ival-div: 136.0ms (10.2% of total)
ival-mult: 112.0ms (8.4% of total)
ival-sqrt: 106.0ms (7.9% of total)
ival-log: 68.0ms (5.1% of total)
ival-tan: 53.0ms (4% of total)
ival-add: 48.0ms (3.6% of total)
ival-exp: 45.0ms (3.4% of total)
ival-fmod: 39.0ms (2.9% of total)
ival-sin: 38.0ms (2.8% of total)
ival-sub: 37.0ms (2.8% of total)
ival-pow: 36.0ms (2.7% of total)
ival-acos: 20.0ms (1.5% of total)
ival-sinh: 15.0ms (1.1% of total)
const: 12.0ms (0.9% of total)
ival-neg: 6.0ms (0.4% of total)
ival-atan: 3.0ms (0.2% of total)

bsearch1.4s (0.6%)

Algorithm
7×left-value
46×binary-search
Stop Event
6×predicate-same
39×narrow-enough
1×predicate-failed
Results
520.0ms2402×1valid
321.0ms2750×0valid
200.0ms384×2valid
12.0ms101×0invalid
Compiler

Compiled 8469 to 6053 computations (28.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 733.0ms
ival-exp: 161.0ms (22% of total)
ival-tan: 115.0ms (15.7% of total)
ival-add: 89.0ms (12.1% of total)
ival-cos: 74.0ms (10.1% of total)
ival-fmod: 66.0ms (9% of total)
backward-pass: 47.0ms (6.4% of total)
ival-mult: 46.0ms (6.3% of total)
ival-pow: 34.0ms (4.6% of total)
ival-sin: 23.0ms (3.1% of total)
ival-sqrt: 20.0ms (2.7% of total)
ival-div: 19.0ms (2.6% of total)
ival-sub: 15.0ms (2% of total)
ival-neg: 11.0ms (1.5% of total)
ival-acos: 8.0ms (1.1% of total)
const: 5.0ms (0.7% of total)

end0.0ms (0%)

Profiling

Loading profile data...