Herbie run

Date:Tuesday, April 16th, 2024
Commit:97bdded0 on zane-regimes-8-iters
Hostname:nightly with Racket 8.11.1
Seed:2024107
Parameters:256 points for 8 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.8min)

localize1.4min (23.7%)

Results
20.6s16939×0valid
14.0s5980×1valid
8.8s1893×2valid
22.3s1186×5exit
358.0ms456×0unsamplable
112.0ms220×0invalid
4.1s149×3valid
2.1s41×4valid
25.0ms16×1invalid
Compiler

Compiled 18287 to 8902 computations (51.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 58.8s
ival-pow: 16.2s (27.5% of total)
ival-log: 8.8s (15% of total)
backward-pass: 5.2s (8.8% of total)
ival-mult: 5.0s (8.5% of total)
ival-asin: 4.2s (7.2% of total)
ival-fmod: 3.7s (6.3% of total)
ival-cos: 2.3s (3.9% of total)
ival-sub: 2.1s (3.6% of total)
ival-div: 1.9s (3.2% of total)
ival-exp: 1.8s (3.1% of total)
ival-cbrt: 1.3s (2.3% of total)
ival-add: 1.2s (2% of total)
ival-fma: 809.0ms (1.4% of total)
ival-acos: 764.0ms (1.3% of total)
const: 641.0ms (1.1% of total)
ival-sin: 633.0ms (1.1% of total)
ival-sqrt: 604.0ms (1% of total)
ival-neg: 443.0ms (0.8% of total)
ival-tan: 357.0ms (0.6% of total)
ival-e: 194.0ms (0.3% of total)
ival-expm1: 171.0ms (0.3% of total)
ival-log1p: 168.0ms (0.3% of total)
ival-sinh: 163.0ms (0.3% of total)
ival-pi: 41.0ms (0.1% of total)
ival-fabs: 32.0ms (0.1% of total)
ival-hypot: 26.0ms (0% of total)
ival-atan: 4.0ms (0% of total)

sample1.1min (19%)

Results
13.2s110932×0valid
30.2s47112×1valid
9.6s16796×5exit
2.8s7076×2valid
502.0ms4034×0invalid
212.0ms1410×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 46.9s
ival-<=: 14.4s (30.8% of total)
ival-tan: 4.4s (9.4% of total)
ival-cos: 4.4s (9.4% of total)
ival-add: 4.4s (9.3% of total)
backward-pass: 3.1s (6.5% of total)
ival-mult: 2.5s (5.4% of total)
ival-pow: 2.3s (5% of total)
ival-exp: 1.6s (3.5% of total)
ival-fmod: 1.5s (3.1% of total)
ival-sin: 1.4s (3% of total)
ival-sqrt: 1.4s (3% of total)
ival-log: 1.3s (2.9% of total)
ival-sub: 1.2s (2.5% of total)
ival-div: 919.0ms (2% of total)
ival-sinh: 403.0ms (0.9% of total)
ival-acos: 372.0ms (0.8% of total)
ival-neg: 360.0ms (0.8% of total)
const: 298.0ms (0.6% of total)
ival-==: 167.0ms (0.4% of total)
ival-and: 116.0ms (0.2% of total)
ival-<: 114.0ms (0.2% of total)
ival-atan: 55.0ms (0.1% of total)
ival-or: 54.0ms (0.1% of total)
ival->=: 45.0ms (0.1% of total)
ival->: 36.0ms (0.1% of total)
Bogosity

soundness41.5s (12%)

Rules
26221×log1p-expm1-u
23109×fma-define
18970×expm1-log1p-u
17359×times-frac
16287×associate-*r*
Stop Event
6×saturated
92×node limit
10×fuel
3×unsound
10×done
Compiler

Compiled 17557 to 8002 computations (54.4% saved)

prune36.1s (10.4%)

Counts
82798 → 4383
Compiler

Compiled 151561 to 101129 computations (33.3% saved)

simplify32.5s (9.4%)

Algorithm
120×egg-herbie
Rules
38258×fma-define
27443×fma-neg
26399×associate-*r*
24519×distribute-lft-in
23800×associate-*l*
Stop Event
20×saturated
95×node limit
5×unsound
Counts
47750 → 38685

eval29.6s (8.6%)

Compiler

Compiled 2064936 to 1264962 computations (38.7% saved)

rewrite23.2s (6.7%)

Algorithm
100×batch-egg-rewrite
Rules
50886×log1p-expm1-u
39776×expm1-log1p-u
23648×pow1
23184×add-exp-log
22932×add-log-exp
Stop Event
100×node limit
Counts
896 → 30434

regimes12.3s (3.5%)

Counts
6390 → 169
Calls

55 calls:

1.9s
a
1.5s
r
1.4s
b
946.0ms
(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))
929.0ms
x
Compiler

Compiled 1715 to 1211 computations (29.4% saved)

series7.1s (2.1%)

Counts
896 → 17316
Calls

4086 calls:

TimeVariablePointExpression
232.0ms
y
@-inf
(log (+ (tan z) (+ (tan y) x)))
198.0ms
y
@0
(log (atan (/ y x)))
109.0ms
l
@0
(* (exp (neg w)) (pow l (exp w)))
98.0ms
hi
@0
(pow (pow (cbrt (/ hi lo)) 8) 3/4)
93.0ms
a
@inf
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan z) (sin y)) (cos y)))) (tan a)))

explain7.0s (2%)

Results
1.9s6738×0valid
890.0ms2942×1valid
282.0ms452×2valid
300.0ms108×5exit
Compiler

Compiled 1135 to 542 computations (52.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.7s
ival-sqrt: 1.2s (43.7% of total)
ival-cos: 353.0ms (13.3% of total)
ival-mult: 182.0ms (6.9% of total)
ival-log: 182.0ms (6.9% of total)
backward-pass: 174.0ms (6.6% of total)
ival-pow: 105.0ms (4% of total)
ival-div: 92.0ms (3.5% of total)
ival-tan: 75.0ms (2.8% of total)
ival-sin: 68.0ms (2.6% of total)
ival-sub: 57.0ms (2.1% of total)
ival-add: 51.0ms (1.9% of total)
ival-exp: 47.0ms (1.8% of total)
ival-fmod: 38.0ms (1.4% of total)
const: 22.0ms (0.8% of total)
ival-acos: 22.0ms (0.8% of total)
ival-sinh: 17.0ms (0.6% of total)
ival-neg: 8.0ms (0.3% of total)
ival-atan: 3.0ms (0.1% of total)

preprocess3.7s (1.1%)

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 6718 to 3728 computations (44.5% saved)

analyze3.5s (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 210 computations (28.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7s
ival-sin: 256.0ms (14.8% of total)
ival-<=: 241.0ms (13.9% of total)
ival-pow: 218.0ms (12.6% of total)
ival-tan: 216.0ms (12.5% of total)
ival-add: 185.0ms (10.7% of total)
ival-mult: 116.0ms (6.7% of total)
ival-cos: 64.0ms (3.7% of total)
ival-exp: 53.0ms (3.1% of total)
ival-div: 48.0ms (2.8% of total)
ival-and: 47.0ms (2.7% of total)
ival-sub: 45.0ms (2.6% of total)
ival-fmod: 45.0ms (2.6% of total)
const: 41.0ms (2.4% of total)
ival-==: 30.0ms (1.7% of total)
ival-neg: 25.0ms (1.4% of total)
ival-or: 24.0ms (1.4% of total)
ival-sqrt: 18.0ms (1% of total)
ival-log: 18.0ms (1% of total)
ival->: 18.0ms (1% of total)
ival-sinh: 12.0ms (0.7% of total)
backward-pass: 8.0ms (0.5% of total)
ival-<: 4.0ms (0.2% of total)
ival-atan: 1.0ms (0.1% of total)
ival->=: 1.0ms (0.1% of total)
ival-acos: 0.0ms (0% of total)

bsearch1.5s (0.4%)

Algorithm
49×binary-search
1×left-value
Stop Event
1×predicate-same
43×narrow-enough
5×predicate-failed
Results
893.0ms3271×1valid
187.0ms1833×0valid
59.0ms505×0invalid
39.0ms80×2valid
Compiler

Compiled 7784 to 5551 computations (28.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 829.0ms
ival-sin: 204.0ms (24.6% of total)
ival-cos: 195.0ms (23.5% of total)
backward-pass: 88.0ms (10.6% of total)
ival-exp: 82.0ms (9.9% of total)
ival-mult: 74.0ms (8.9% of total)
ival-fmod: 60.0ms (7.2% of total)
ival-add: 46.0ms (5.5% of total)
ival-div: 42.0ms (5.1% of total)
ival-sqrt: 15.0ms (1.8% of total)
ival-pow: 9.0ms (1.1% of total)
ival-neg: 9.0ms (1.1% of total)
const: 6.0ms (0.7% of total)

end0.0ms (0%)

Profiling

Loading profile data...