Herbie run

Date:Friday, April 5th, 2024
Commit:e8a91f21 on egg-serialize
Hostname:nightly with Racket 8.11.1
Seed:2024096
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: 6.7min)

sample2.1min (30.9%)

Results
39.6s252011×0valid
23.2s54750×1valid
6.2s30938×0infinite
20.9s23493×5exit
6.6s8553×2valid
574.0ms4145×0invalid
182.0ms953×0unsamplable
563.0ms492×1infinite
6.0ms8×2infinite
Precisions
Click to see histograms. Total time spent on operations: 1.2min
ival-mult: 15.1s (20.8% of total)
backward-pass: 9.6s (13.2% of total)
ival-add: 8.9s (12.3% of total)
ival-pow: 8.2s (11.2% of total)
ival-div: 5.8s (8% of total)
composed: 5.4s (7.4% of total)
ival-sub: 5.2s (7.1% of total)
ival-<=: 4.3s (5.9% of total)
ival-sin: 2.8s (3.8% of total)
const: 1.6s (2.2% of total)
ival-exp: 1.0s (1.4% of total)
ival-log: 891.0ms (1.2% of total)
ival-cos: 729.0ms (1% of total)
ival-neg: 703.0ms (1% of total)
ival-sqrt: 645.0ms (0.9% of total)
ival-<: 527.0ms (0.7% of total)
ival-and: 495.0ms (0.7% of total)
ival-==: 341.0ms (0.5% of total)
ival-tan: 339.0ms (0.5% of total)
ival-atan: 102.0ms (0.1% of total)
ival-fabs: 45.0ms (0.1% of total)
ival-pi: 43.0ms (0.1% of total)
ival-if: 8.0ms (0% of total)
Bogosity

localize1.2min (17.8%)

Results
16.6s25436×256valid
3.2s2471×256infinite
7.0s1702×1024valid
2.2s1604×256invalid
6.7s1277×2048valid
3.3s892×512valid
7.9s301×1024infinite
2.3s156×2048infinite
2.8s133×8192exit
1.6s117×512infinite
1.1s112×4096valid
60.0ms52×256unsamplable
287.0ms37×4096infinite
13.0ms7×1024unsamplable
8.0ms6×512unsamplable
10.0ms1×8192valid
Compiler

Compiled 26141 to 15764 computations (39.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 48.4s
ival-mult: 16.8s (34.6% of total)
ival-pow: 7.0s (14.4% of total)
ival-add: 6.1s (12.6% of total)
ival-div: 6.1s (12.6% of total)
composed: 3.9s (8% of total)
ival-sub: 3.4s (7% of total)
ival-exp: 1.6s (3.3% of total)
const: 1.2s (2.4% of total)
ival-log: 572.0ms (1.2% of total)
ival-sqrt: 499.0ms (1% of total)
ival-sin: 441.0ms (0.9% of total)
ival-cos: 267.0ms (0.6% of total)
ival-tan: 264.0ms (0.5% of total)
ival-cbrt: 174.0ms (0.4% of total)
ival-neg: 149.0ms (0.3% of total)
ival-atan: 123.0ms (0.3% of total)
ival-pi: 5.0ms (0% of total)

eval44.7s (11.1%)

Compiler

Compiled 1987163 to 1308090 computations (34.2% saved)

simplify28.0s (6.9%)

Algorithm
165×egg-herbie
Rules
43121×fma-define
34977×fma-neg
34890×distribute-lft-in
33782×*-commutative
30800×distribute-rgt-in
Stop Event
42×saturated
123×node limit
Counts
60308 → 50749

rewrite24.3s (6%)

Algorithm
123×batch-egg-rewrite
Rules
75596×log1p-expm1-u
58186×expm1-log1p-u
26138×pow1
23800×add-exp-log
22748×add-log-exp
Stop Event
123×node limit
Counts
914 → 41484

soundness22.6s (5.6%)

Rules
31926×fma-define
31825×log1p-expm1-u
24313×expm1-log1p-u
24308×fma-neg
17497×times-frac
Stop Event
6×saturated
110×node limit
23×fuel
19×done
Compiler

Compiled 25141 to 15131 computations (39.8% saved)

explain19.7s (4.9%)

Results
6.0s16426×256valid
723.0ms1734×256infinite
2.1s1404×1024valid
1.7s846×2048valid
1.0s816×512valid
1.9s154×1024infinite
507.0ms62×512infinite
67.0ms48×4096valid
196.0ms14×2048infinite
Compiler

Compiled 7687 to 4921 computations (36% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.8s
ival-mult: 3.3s (30.9% of total)
ival-pow: 2.2s (19.9% of total)
ival-div: 1.8s (16.3% of total)
ival-add: 1.4s (13.4% of total)
ival-sub: 845.0ms (7.8% of total)
const: 267.0ms (2.5% of total)
ival-tan: 246.0ms (2.3% of total)
ival-sin: 221.0ms (2% of total)
ival-log: 135.0ms (1.2% of total)
ival-exp: 126.0ms (1.2% of total)
ival-cos: 100.0ms (0.9% of total)
ival-neg: 77.0ms (0.7% of total)
ival-sqrt: 63.0ms (0.6% of total)
ival-atan: 25.0ms (0.2% of total)
composed: 13.0ms (0.1% of total)
ival-pi: 3.0ms (0% of total)

prune17.8s (4.4%)

Counts
70196 → 1884
Compiler

Compiled 73730 to 50583 computations (31.4% saved)

bsearch13.3s (3.3%)

Algorithm
262×binary-search
12×left-value
Stop Event
20×predicate-same
242×narrow-enough
Results
5.2s20155×0valid
2.8s6419×0infinite
1.5s3615×1valid
151.0ms1874×0invalid
208.0ms297×2valid
61.0ms106×1infinite
1.0ms7×0unsamplable
Compiler

Compiled 80195 to 56405 computations (29.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.4s
ival-mult: 2.5s (34.3% of total)
ival-add: 2.0s (26.4% of total)
ival-div: 1.2s (15.8% of total)
ival-sub: 609.0ms (8.2% of total)
ival-pow: 525.0ms (7.1% of total)
backward-pass: 253.0ms (3.4% of total)
const: 163.0ms (2.2% of total)
ival-neg: 83.0ms (1.1% of total)
ival-exp: 78.0ms (1.1% of total)
ival-sqrt: 29.0ms (0.4% of total)
ival-log: 2.0ms (0% of total)

preprocess12.3s (3%)

Algorithm
42×egg-herbie
Rules
18568×fma-define
18480×fma-neg
9939×unsub-neg
9280×sub-neg
7631×distribute-rgt-in
Stop Event
20×saturated
22×node limit
Compiler

Compiled 22898 to 14324 computations (37.4% saved)

analyze11.0s (2.7%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
21.4%11.7%42.9%45.5%0%0%0%1
35.2%19.2%35.3%45.5%0%0%0%2
48.1%25.7%27.7%45.5%0%1.2%0%3
57.5%30.5%22.6%45.5%0%1.5%0%4
71.1%37.5%15.3%45.6%0%1.7%0%5
72.9%38.4%14.3%45.6%0%1.7%0%6
77.8%40.7%11.6%45.6%0%2.1%0%7
81.5%42.5%9.7%45.7%0%2.1%0%8
84.1%43.8%8.3%45.7%0%2.2%0%9
86.2%44.6%7.2%45.7%0%2.5%0%10
88.2%45.6%6.1%45.7%0%2.5%0.1%11
89.1%45.9%5.6%45.7%0%2.6%0.1%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.8s
ival-add: 1.3s (16.7% of total)
ival-pow: 1.3s (16.2% of total)
ival-sub: 1.2s (15.4% of total)
ival-mult: 1.2s (15.3% of total)
ival-sqrt: 918.0ms (11.8% of total)
ival-div: 889.0ms (11.5% of total)
ival-fabs: 438.0ms (5.6% of total)
const: 161.0ms (2.1% of total)
ival-<=: 98.0ms (1.3% of total)
ival-exp: 95.0ms (1.2% of total)
ival-==: 95.0ms (1.2% of total)
ival-if: 55.0ms (0.7% of total)
ival-<: 29.0ms (0.4% of total)
ival-neg: 26.0ms (0.3% of total)
ival-and: 16.0ms (0.2% of total)
ival-pi: 4.0ms (0.1% of total)
ival-atan: 1.0ms (0% of total)
ival-cos: 1.0ms (0% of total)
ival-log: 1.0ms (0% of total)
composed: 0.0ms (0% of total)
ival-tan: 0.0ms (0% of total)
ival-sin: 0.0ms (0% of total)

regimes8.5s (2.1%)

Counts
3828 → 518
Calls

94 calls:

1.5s
b
802.0ms
x1
678.0ms
c
475.0ms
a
467.0ms
x
Compiler

Compiled 3765 to 2685 computations (28.7% saved)

series4.7s (1.2%)

Counts
914 → 18824
Calls

4983 calls:

TimeVariablePointExpression
326.0ms
eps
@0
(* (- (/ 1 eps) 1) (exp (neg (* (+ 1 eps) x))))
110.0ms
b
@-inf
(+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))
79.0ms
x
@-inf
(* x (+ 1/6 (* (* -23/360 x) x)))
76.0ms
x
@inf
(* x (+ (* 5 (/ 1 eps)) (/ 1 x)))
56.0ms
a
@0
(/ a (/ (+ b (sqrt (+ (* b b) (* (sqrt (* c (* a -4))) (sqrt (* c (* a -4))))))) -2))

end0.0ms (0%)

Profiling

Loading profile data...