Herbie run

Date:Friday, April 19th, 2024
Commit:a62871db on main
Hostname:nightly with Racket 8.11.1
Seed:2024110
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: 4.8min)

sample1.1min (23.1%)

Results
20.3s110599×0valid
24.7s47363×1valid
9.2s16217×5exit
2.9s7158×2valid
649.0ms3939×0invalid
375.0ms1353×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 46.1s
ival-tan: 15.0s (32.4% of total)
ival-<=: 4.9s (10.7% of total)
ival-cos: 4.7s (10.2% of total)
backward-pass: 3.5s (7.7% of total)
ival-mult: 2.8s (6.1% of total)
ival-pow: 2.3s (5% of total)
ival-log: 1.7s (3.6% of total)
ival-sin: 1.5s (3.2% of total)
ival-add: 1.5s (3.2% of total)
ival-fmod: 1.4s (3.1% of total)
ival-sqrt: 1.4s (3.1% of total)
ival-exp: 1.2s (2.6% of total)
ival-sub: 1.0s (2.2% of total)
ival-div: 817.0ms (1.8% of total)
ival-neg: 667.0ms (1.4% of total)
ival-acos: 433.0ms (0.9% of total)
ival-sinh: 389.0ms (0.8% of total)
const: 296.0ms (0.6% of total)
ival-==: 134.0ms (0.3% of total)
ival-<: 127.0ms (0.3% of total)
ival-and: 118.0ms (0.3% of total)
ival-atan: 57.0ms (0.1% of total)
ival-or: 53.0ms (0.1% of total)
ival->=: 48.0ms (0.1% of total)
ival->: 34.0ms (0.1% of total)
Bogosity

localize42.9s (14.9%)

Algorithm
220×egg-herbie
Rules
38742×fma-define
38461×fma-neg
33999×associate-+r-
16818×sub-neg
12402×unsub-neg
Stop Event
187×saturated
33×node limit
Results
4.7s11451×0valid
7.7s4009×1valid
9.6s1744×2valid
287.0ms299×0invalid
3.0s212×5exit
103.0ms195×0unsamplable
60.0ms10×3valid
Compiler

Compiled 8330 to 4035 computations (51.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 20.1s
ival-pow: 3.3s (16.7% of total)
ival-mult: 2.0s (9.8% of total)
ival-log: 1.9s (9.6% of total)
backward-pass: 1.8s (8.8% of total)
ival-div: 1.4s (7.2% of total)
ival-asin: 1.3s (6.5% of total)
ival-sub: 1.2s (5.8% of total)
ival-cos: 1.0s (5.2% of total)
ival-sqrt: 978.0ms (4.9% of total)
ival-add: 643.0ms (3.2% of total)
ival-acos: 585.0ms (2.9% of total)
ival-fma: 554.0ms (2.8% of total)
ival-exp: 536.0ms (2.7% of total)
ival-sin: 474.0ms (2.4% of total)
ival-fmod: 442.0ms (2.2% of total)
ival-tan: 397.0ms (2% of total)
ival-expm1: 356.0ms (1.8% of total)
ival-cbrt: 332.0ms (1.7% of total)
const: 296.0ms (1.5% of total)
ival-log1p: 212.0ms (1.1% of total)
ival-sinh: 139.0ms (0.7% of total)
ival-neg: 131.0ms (0.7% of total)
ival-hypot: 29.0ms (0.1% of total)
ival-fabs: 15.0ms (0.1% of total)
ival-pi: 11.0ms (0.1% of total)
ival-atan: 2.0ms (0% of total)

simplify41.3s (14.4%)

Algorithm
87×egg-herbie
Rules
21378×fma-define
17321×fma-neg
14876×times-frac
14851×*-commutative
14681×distribute-lft-in
Stop Event
23×saturated
56×node limit
8×unsound
Counts
33022 → 29081

soundness39.9s (13.9%)

Rules
19223×log1p-expm1-u
16771×fma-define
14446×expm1-log1p-u
12988×fma-neg
10543×associate-*r*
Stop Event
6×saturated
66×node limit
11×fuel
4×unsound
9×done
Compiler

Compiled 11845 to 6268 computations (47.1% saved)

eval29.2s (10.1%)

Compiler

Compiled 1066682 to 626025 computations (41.3% saved)

prune16.3s (5.7%)

Counts
47811 → 1855
Compiler

Compiled 64959 to 41563 computations (36% saved)

rewrite15.6s (5.4%)

Algorithm
67×batch-egg-rewrite
Rules
37741×log1p-expm1-u
27337×expm1-log1p-u
16040×pow1
15400×add-exp-log
14984×add-log-exp
Stop Event
67×node limit
Counts
635 → 21841

series13.1s (4.6%)

Counts
635 → 11181
Calls

2760 calls:

TimeVariablePointExpression
3.9s
hi
@-inf
(/ (+ x (- (* lo (/ (- x lo) hi)) lo)) hi)
3.3s
hi
@0
(* lo (- (/ 1 hi) (/ x (pow hi 2))))
955.0ms
x
@-inf
(+ (/ 1 lo) (/ (* hi (- (/ 1 lo) (/ x (pow lo 2)))) lo))
301.0ms
x
@inf
(log (fmod (exp x) (sqrt (cos x))))
215.0ms
x
@-inf
(sqrt (+ (log (pow (cbrt (exp (cos x))) 2)) (log (cbrt (exp (cos x))))))

regimes10.9s (3.8%)

Counts
4258 → 183
Calls

53 calls:

1.3s
a
1.2s
(*.f64 (*.f64 #s(literal 2 binary64) x) x)
1.0s
x
967.0ms
(+.f64 y z)
804.0ms
r
Compiler

Compiled 1999 to 1433 computations (28.3% saved)

preprocess3.6s (1.3%)

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 6530 to 3820 computations (41.5% saved)

analyze3.4s (1.2%)

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-==: 266.0ms (16% of total)
ival-<=: 263.0ms (15.8% of total)
ival-mult: 156.0ms (9.4% of total)
ival-tan: 148.0ms (8.9% of total)
ival-pow: 116.0ms (7% of total)
ival-add: 96.0ms (5.8% of total)
ival-fmod: 92.0ms (5.5% of total)
ival-sin: 86.0ms (5.2% of total)
ival-cos: 70.0ms (4.2% of total)
ival-div: 68.0ms (4.1% of total)
ival-and: 48.0ms (2.9% of total)
ival-exp: 45.0ms (2.7% of total)
ival-sub: 42.0ms (2.5% of total)
const: 40.0ms (2.4% of total)
ival-log: 33.0ms (2% of total)
ival-or: 22.0ms (1.3% of total)
ival-neg: 22.0ms (1.3% of total)
ival-sqrt: 21.0ms (1.3% of total)
ival-sinh: 11.0ms (0.7% of total)
backward-pass: 7.0ms (0.4% of total)
ival-<: 4.0ms (0.2% of total)
ival->: 3.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)

explain3.1s (1.1%)

Results
948.0ms6708×0valid
769.0ms3022×1valid
219.0ms412×2valid
290.0ms98×5exit
Compiler

Compiled 1135 to 542 computations (52.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4s
ival-cos: 287.0ms (20.5% of total)
backward-pass: 178.0ms (12.7% of total)
ival-mult: 143.0ms (10.2% of total)
ival-sqrt: 125.0ms (8.9% of total)
ival-pow: 110.0ms (7.9% of total)
ival-sinh: 74.0ms (5.3% of total)
ival-sin: 66.0ms (4.7% of total)
ival-tan: 65.0ms (4.6% of total)
ival-log: 64.0ms (4.6% of total)
ival-sub: 55.0ms (3.9% of total)
ival-add: 54.0ms (3.9% of total)
ival-exp: 48.0ms (3.4% of total)
ival-fmod: 43.0ms (3.1% of total)
ival-div: 36.0ms (2.6% of total)
const: 21.0ms (1.5% of total)
ival-acos: 21.0ms (1.5% of total)
ival-neg: 8.0ms (0.6% of total)
ival-atan: 3.0ms (0.2% of total)

bsearch1.8s (0.6%)

Algorithm
11×left-value
42×binary-search
Stop Event
6×predicate-same
36×narrow-enough
Results
382.0ms2657×0valid
812.0ms2319×1valid
198.0ms192×2valid
3.0ms30×0unsamplable
Compiler

Compiled 8299 to 6082 computations (26.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1s
ival-tan: 217.0ms (20.4% of total)
ival-add: 190.0ms (17.9% of total)
ival-exp: 140.0ms (13.2% of total)
ival-cos: 115.0ms (10.8% of total)
ival-sin: 100.0ms (9.4% of total)
ival-fmod: 78.0ms (7.3% of total)
backward-pass: 61.0ms (5.7% of total)
ival-mult: 52.0ms (4.9% of total)
ival-pow: 40.0ms (3.8% of total)
ival-sub: 23.0ms (2.2% of total)
ival-div: 20.0ms (1.9% of total)
ival-neg: 9.0ms (0.8% of total)
ival-sqrt: 8.0ms (0.8% of total)
const: 5.0ms (0.5% of total)
ival-acos: 4.0ms (0.4% of total)

end0.0ms (0%)

Profiling

Loading profile data...