Herbie run

Date:Thursday, April 4th, 2024
Commit:bc641484 on egg-serialize
Hostname:nightly with Racket 8.11.1
Seed:2024095
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: 8.4min)

sample3.3min (38.9%)

Results
25.0s141328×0precondition
37.2s118214×1valid
7.7s60957×0valid
39.0s45396×2valid
58.3s7274×5exit
514.0ms4275×0unsamplable
579.0ms4058×0infinite
369.0ms4044×0invalid
2.9s2113×3valid
232.0ms421×1infinite
8.0ms9×2infinite
Precisions
Click to see histograms. Total time spent on operations: 2.4min
ival-pow: 55.4s (38.2% of total)
ival-exp: 12.0s (8.3% of total)
ival-tan: 11.5s (7.9% of total)
backward-pass: 9.2s (6.3% of total)
ival-mult: 8.9s (6.1% of total)
ival-sub: 6.7s (4.6% of total)
ival-add: 5.2s (3.6% of total)
ival-log: 5.1s (3.5% of total)
ival-div: 4.9s (3.4% of total)
ival-cos: 4.7s (3.2% of total)
ival-fabs: 4.4s (3% of total)
ival-<=: 4.3s (3% of total)
ival-sin: 3.5s (2.4% of total)
ival-<: 2.7s (1.9% of total)
ival-sqrt: 1.5s (1% of total)
const: 1.4s (0.9% of total)
ival->: 1.1s (0.7% of total)
ival-and: 864.0ms (0.6% of total)
ival-fmin: 763.0ms (0.5% of total)
ival-neg: 425.0ms (0.3% of total)
ival-atan: 399.0ms (0.3% of total)
ival-cbrt: 296.0ms (0.2% of total)
Bogosity

localize1.9min (22.3%)

Results
41.6s12558×256valid
14.5s3914×1024valid
15.8s3090×2048valid
4.2s2151×512valid
1.4s1675×256invalid
16.5s851×8192exit
3.9s556×4096valid
172.0ms241×256infinite
155.0ms62×1024invalid
516.0ms51×4096infinite
455.0ms50×2048infinite
52.0ms42×512invalid
141.0ms41×512infinite
178.0ms39×1024infinite
25.0ms23×2048invalid
Compiler

Compiled 17371 to 10550 computations (39.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5min
ival-sub: 33.8s (36.4% of total)
ival-pow: 23.8s (25.6% of total)
ival-mult: 8.7s (9.4% of total)
ival-div: 6.0s (6.5% of total)
ival-log: 4.0s (4.3% of total)
ival-add: 3.6s (3.9% of total)
composed: 3.4s (3.7% of total)
ival-tan: 3.0s (3.3% of total)
ival-exp: 1.5s (1.6% of total)
const: 1.1s (1.2% of total)
ival-cos: 1.1s (1.1% of total)
ival-sqrt: 936.0ms (1% of total)
ival-sin: 914.0ms (1% of total)
ival-cbrt: 772.0ms (0.8% of total)
ival-neg: 157.0ms (0.2% of total)
ival-cosh: 92.0ms (0.1% of total)
ival-atan: 79.0ms (0.1% of total)
ival-atan2: 33.0ms (0% of total)

soundness55.8s (11%)

Rules
36012×log1p-expm1-u
28843×fma-define
27583×expm1-log1p-u
21945×fma-neg
16585×associate-*r*
Stop Event
7×saturated
106×node limit
20×fuel
8×done
Compiler

Compiled 21212 to 13932 computations (34.3% saved)

simplify52.4s (10.3%)

Algorithm
123×egg-herbie
Rules
31958×fma-define
26046×*-commutative
25855×fma-neg
25328×times-frac
22927×distribute-lft-in
Stop Event
28×saturated
93×node limit
2×unsound
Counts
41900 → 36967

eval26.7s (5.3%)

Compiler

Compiled 1213495 to 782796 computations (35.5% saved)

rewrite20.9s (4.1%)

Algorithm
95×batch-egg-rewrite
Rules
60010×log1p-expm1-u
47582×expm1-log1p-u
19733×add-exp-log
19600×pow1
19093×add-log-exp
Stop Event
95×node limit
Counts
736 → 29936

prune10.8s (2.1%)

Counts
51486 → 1663
Compiler

Compiled 55159 to 39194 computations (28.9% saved)

explain9.3s (1.8%)

Results
1.1s5668×256valid
2.2s3742×1024valid
3.0s2286×2048valid
789.0ms2198×512valid
45.0ms214×256infinite
139.0ms176×4096valid
32.0ms32×512infinite
54.0ms20×1024infinite
Compiler

Compiled 2227 to 1192 computations (46.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.3s
ival-tan: 985.0ms (18.7% of total)
ival-log: 717.0ms (13.6% of total)
ival-exp: 558.0ms (10.6% of total)
ival-add: 508.0ms (9.7% of total)
ival-sub: 459.0ms (8.7% of total)
ival-div: 373.0ms (7.1% of total)
ival-pow: 360.0ms (6.8% of total)
ival-mult: 344.0ms (6.5% of total)
ival-sin: 295.0ms (5.6% of total)
ival-cos: 248.0ms (4.7% of total)
const: 141.0ms (2.7% of total)
ival-sqrt: 136.0ms (2.6% of total)
ival-atan: 77.0ms (1.5% of total)
ival-cbrt: 32.0ms (0.6% of total)
ival-neg: 28.0ms (0.5% of total)

preprocess6.0s (1.2%)

Algorithm
28×egg-herbie
Rules
8308×fma-neg
6663×fma-define
4279×div-sub
2669×sub-neg
2621×times-frac
Stop Event
23×saturated
5×node limit
Compiler

Compiled 9948 to 6280 computations (36.9% saved)

bsearch4.0s (0.8%)

Algorithm
119×binary-search
16×left-value
Stop Event
3×predicate-same
116×narrow-enough
Results
712.0ms6442×0valid
1.4s4191×1valid
242.0ms1329×0infinite
181.0ms1319×0invalid
494.0ms681×2valid
39.0ms61×1infinite
1.0ms10×0unsamplable
Compiler

Compiled 22418 to 16261 computations (27.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.1s
ival-pow: 754.0ms (35.9% of total)
ival-div: 268.0ms (12.8% of total)
ival-mult: 254.0ms (12.1% of total)
ival-exp: 177.0ms (8.4% of total)
backward-pass: 175.0ms (8.3% of total)
ival-sub: 160.0ms (7.6% of total)
ival-add: 93.0ms (4.4% of total)
ival-sqrt: 91.0ms (4.3% of total)
ival-neg: 62.0ms (3% of total)
const: 38.0ms (1.8% of total)
ival-cbrt: 15.0ms (0.7% of total)
ival-cos: 11.0ms (0.5% of total)
ival-log: 1.0ms (0% of total)

series3.9s (0.8%)

Counts
736 → 11964
Calls

3267 calls:

TimeVariablePointExpression
163.0ms
N
@0
(pow (log N) 3)
88.0ms
n
@-inf
(* n (log n))
60.0ms
N
@inf
(* (log (cbrt (- (log (+ 1 N)) (log N)))) 3)
54.0ms
x
@inf
(log (+ 1 (- (tan (+ x eps)) (tan x))))
51.0ms
c
@0
(- (+ (* -2 (* a (/ c b))) b) b)

regimes3.7s (0.7%)

Counts
2860 → 304
Calls

43 calls:

711.0ms
x
466.0ms
a
440.0ms
b
331.0ms
(/.f64 #s(literal 1 binary64) n)
285.0ms
(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) a)
Compiler

Compiled 1423 to 985 computations (30.8% saved)

analyze2.8s (0.6%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
16.7%10.2%50.9%38.9%0%0%0%1
24.7%15.1%46%38.9%0%0%0%2
40.4%23.6%34.8%41.6%0%0%0%3
48.7%28.4%29.9%41.7%0%0%0%4
56.1%32.3%25.3%42.4%0%0%0%5
58.2%33.1%23.8%43.1%0%0%0%6
62.1%34.2%20.9%44%0%0.8%0.1%7
65.2%35.6%19%44.5%0%0.8%0.1%8
67.6%36.3%17.4%44.9%0%1.2%0.3%9
69.6%36.7%16%45.2%0%1.7%0.3%10
72.1%37.7%14.6%45.4%0%1.9%0.4%11
73.3%38%13.8%45.6%0%2.2%0.4%12
Compiler

Compiled 498 to 351 computations (29.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5s
ival-mult: 208.0ms (13.7% of total)
ival-pow: 202.0ms (13.3% of total)
ival-sub: 193.0ms (12.7% of total)
ival-<=: 166.0ms (11% of total)
ival-log: 134.0ms (8.8% of total)
ival-div: 124.0ms (8.2% of total)
ival-sqrt: 102.0ms (6.7% of total)
ival-exp: 63.0ms (4.2% of total)
ival-add: 58.0ms (3.8% of total)
ival-sin: 58.0ms (3.8% of total)
ival-fabs: 46.0ms (3% of total)
ival-tan: 35.0ms (2.3% of total)
const: 35.0ms (2.3% of total)
ival-neg: 30.0ms (2% of total)
ival-cos: 24.0ms (1.6% of total)
ival->: 13.0ms (0.9% of total)
ival-and: 11.0ms (0.7% of total)
ival-<: 8.0ms (0.5% of total)
ival-fmin: 6.0ms (0.4% of total)
ival-atan: 0.0ms (0% of total)
ival-cbrt: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...