Herbie run

Date:Friday, May 24th, 2024
Commit:7841f259 on main
Hostname:nightly with Racket 8.11.1
Seed:2024145
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.5min)

sample1.2min (33.4%)

Results
27.4s48805×1valid
19.4s16561×5exit
11.5s109073×0valid
2.9s7242×2valid
499.0ms3921×0invalid
148.0ms1381×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 51.5s
...c/correct-round.rkt:121:19: 8.0s (15.6% of total)
ival-pow: 6.4s (12.4% of total)
ival-sin: 5.6s (10.9% of total)
ival-exp: 5.2s (10% of total)
backward-pass: 4.7s (9.1% of total)
ival-cos: 3.9s (7.5% of total)
ival-mult: 3.1s (5.9% of total)
ival-tan: 2.4s (4.6% of total)
ival-div: 2.1s (4% of total)
ival-sub: 1.8s (3.5% of total)
ival-log: 1.5s (2.9% of total)
ival-sqrt: 1.5s (2.9% of total)
ival-fmod: 1.2s (2.4% of total)
ival-add: 1.2s (2.3% of total)
ival-<=: 1.1s (2.1% of total)
ival-acos: 459.0ms (0.9% of total)
ival-sinh: 339.0ms (0.7% of total)
ival-neg: 249.0ms (0.5% of total)
const: 204.0ms (0.4% of total)
ival-and: 159.0ms (0.3% of total)
ival-==: 149.0ms (0.3% of total)
ival-<: 111.0ms (0.2% of total)
ival-atan: 89.0ms (0.2% of total)
ival->=: 89.0ms (0.2% of total)
ival-or: 62.0ms (0.1% of total)
ival->: 40.0ms (0.1% of total)
Bogosity

simplify29.1s (13.9%)

Algorithm
155×egg-herbie
Rules
46916×fma-define
44329×fma-neg
26305×distribute-lft-in
24185×distribute-rgt-in
21177×*-commutative
Stop Event
58×saturated
90×node limit
7×unsound
Counts
31760 → 28495

soundness21.4s (10.3%)

Rules
17359×fma-define
16101×log1p-expm1-u
14125×fma-neg
12585×expm1-log1p-u
11977×associate-*r*
Stop Event
6×saturated
58×node limit
12×fuel
3×unsound
8×done
Compiler

Compiled 11697 to 3344 computations (71.4% saved)

localize18.3s (8.8%)

Results
5.7s4449×1valid
3.7s439×5exit
3.7s11069×0valid
1.8s1052×2valid
64.0ms37×3valid
60.0ms59×1invalid
48.0ms196×0invalid
23.0ms107×0unsamplable
Compiler

Compiled 9689 to 1369 computations (85.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.1s
ival-pow: 2.0s (20% of total)
ival-cos: 1.0s (10.2% of total)
ival-sin: 864.0ms (8.5% of total)
ival-exp: 825.0ms (8.1% of total)
ival-log: 750.0ms (7.4% of total)
ival-mult: 726.0ms (7.2% of total)
backward-pass: 695.0ms (6.9% of total)
ival-div: 427.0ms (4.2% of total)
ival-fmod: 415.0ms (4.1% of total)
ival-add: 390.0ms (3.9% of total)
...c/correct-round.rkt:121:19: 354.0ms (3.5% of total)
ival-tan: 333.0ms (3.3% of total)
ival-sqrt: 257.0ms (2.5% of total)
ival-sub: 211.0ms (2.1% of total)
ival-log1p: 133.0ms (1.3% of total)
ival-fma: 100.0ms (1% of total)
ival-cbrt: 100.0ms (1% of total)
ival-asin: 93.0ms (0.9% of total)
ival-e: 85.0ms (0.8% of total)
ival-acos: 71.0ms (0.7% of total)
ival-neg: 53.0ms (0.5% of total)
ival-sinh: 46.0ms (0.5% of total)
const: 45.0ms (0.4% of total)
ival-pi: 40.0ms (0.4% of total)
ival-hypot: 27.0ms (0.3% of total)
ival-expm1: 18.0ms (0.2% of total)
ival-fabs: 3.0ms (0% of total)
ival-atan: 3.0ms (0% of total)

eval16.8s (8.1%)

Compiler

Compiled 1173325 to 166592 computations (85.8% saved)

rewrite14.8s (7.1%)

Algorithm
67×batch-egg-rewrite
Rules
36057×log1p-expm1-u
28903×expm1-log1p-u
17661×pow1
14898×add-exp-log
14522×add-log-exp
Stop Event
67×node limit
Counts
652 → 20981

prune12.6s (6%)

Counts
49233 → 2071
Compiler

Compiled 76777 to 40939 computations (46.7% saved)

regimes6.6s (3.2%)

Counts
3692 → 158
Calls

55 calls:

780.0ms
x
721.0ms
a
710.0ms
(/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))
460.0ms
(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))
454.0ms
b
Compiler

Compiled 1525 to 1072 computations (29.7% saved)

analyze6.4s (3.1%)

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.3s
...c/correct-round.rkt:121:19: 1.3s (30.9% of total)
ival-add: 584.0ms (13.5% of total)
ival-cos: 508.0ms (11.8% of total)
ival-<=: 437.0ms (10.1% of total)
ival-exp: 362.0ms (8.4% of total)
ival-tan: 206.0ms (4.8% of total)
ival-pow: 173.0ms (4% of total)
ival-div: 156.0ms (3.6% of total)
ival-mult: 125.0ms (2.9% of total)
ival-sin: 112.0ms (2.6% of total)
ival-and: 54.0ms (1.3% of total)
ival-fmod: 48.0ms (1.1% of total)
ival-sub: 41.0ms (1% of total)
ival-==: 34.0ms (0.8% of total)
ival-or: 29.0ms (0.7% of total)
ival-neg: 26.0ms (0.6% of total)
ival-log: 23.0ms (0.5% of total)
ival-sqrt: 18.0ms (0.4% of total)
const: 14.0ms (0.3% of total)
ival-sinh: 13.0ms (0.3% of total)
backward-pass: 6.0ms (0.1% of total)
ival-<: 5.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)

series4.5s (2.1%)

Counts
652 → 10779
Calls

2697 calls:

TimeVariablePointExpression
131.0ms
a
@inf
(log (+ 1 (cos a)))
126.0ms
b
@inf
(* b (sin a))
110.0ms
w
@inf
(* (exp (neg w)) (pow l (exp w)))
109.0ms
x
@inf
(log (/ (sinh x) x))
86.0ms
y
@-inf
(log (+ x (- (tan (+ y z)) a)))

preprocess4.1s (2%)

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 6598 to 3034 computations (54% saved)

explain2.9s (1.4%)

Results
944.0ms6698×0valid
653.0ms2962×1valid
292.0ms108×5exit
276.0ms472×2valid
Compiler

Compiled 1135 to 400 computations (64.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4s
ival-mult: 366.0ms (26.3% of total)
ival-cos: 303.0ms (21.7% of total)
ival-div: 112.0ms (8% of total)
backward-pass: 111.0ms (8% of total)
ival-log: 73.0ms (5.2% of total)
ival-sqrt: 65.0ms (4.7% of total)
ival-tan: 48.0ms (3.4% of total)
ival-exp: 47.0ms (3.4% of total)
ival-add: 44.0ms (3.2% of total)
ival-sin: 42.0ms (3% of total)
ival-sub: 41.0ms (2.9% of total)
ival-pow: 40.0ms (2.9% of total)
ival-fmod: 38.0ms (2.7% of total)
ival-acos: 22.0ms (1.6% of total)
ival-sinh: 16.0ms (1.1% of total)
const: 12.0ms (0.9% of total)
ival-neg: 11.0ms (0.8% of total)
ival-atan: 3.0ms (0.2% of total)

bsearch1.5s (0.7%)

Algorithm
45×binary-search
5×left-value
Stop Event
2×predicate-same
39×narrow-enough
4×predicate-failed
Results
546.0ms2000×1valid
277.0ms2896×0valid
110.0ms96×2valid
52.0ms404×0invalid
Compiler

Compiled 8560 to 6016 computations (29.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 652.0ms
ival-tan: 196.0ms (30.1% of total)
backward-pass: 102.0ms (15.6% of total)
ival-exp: 64.0ms (9.8% of total)
ival-add: 62.0ms (9.5% of total)
ival-cos: 53.0ms (8.1% of total)
ival-pow: 52.0ms (8% of total)
ival-mult: 36.0ms (5.5% of total)
ival-sub: 21.0ms (3.2% of total)
ival-fmod: 18.0ms (2.8% of total)
ival-neg: 10.0ms (1.5% of total)
ival-div: 9.0ms (1.4% of total)
ival-acos: 9.0ms (1.4% of total)
ival-sin: 8.0ms (1.2% of total)
ival-sqrt: 6.0ms (0.9% of total)
const: 5.0ms (0.8% of total)

end0.0ms (0%)

Profiling

Loading profile data...