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: 8.0min)

sample2.6min (33.1%)

Results
24.0s140975×0precondition
31.0s116155×1valid
6.3s65265×0valid
38.4s47633×2valid
32.0s7252×5exit
464.0ms4200×0unsamplable
365.0ms4012×0invalid
2.1s2115×3valid
Precisions
Click to see histograms. Total time spent on operations: 1.9min
ival-pow: 30.6s (26.8% of total)
ival-exp: 11.6s (10.1% of total)
ival-tan: 10.3s (9.1% of total)
backward-pass: 8.2s (7.2% of total)
ival-mult: 8.0s (7% of total)
ival-sub: 7.0s (6.1% of total)
ival-log: 5.6s (5% of total)
ival-add: 5.3s (4.6% of total)
ival-div: 5.1s (4.4% of total)
ival-cos: 4.6s (4% of total)
ival-<=: 3.8s (3.3% of total)
ival-fabs: 3.4s (3% of total)
ival-sin: 3.3s (2.9% of total)
ival-<: 1.5s (1.3% of total)
ival-sqrt: 1.4s (1.2% of total)
const: 1.1s (1% of total)
ival-fmin: 841.0ms (0.7% of total)
ival-and: 710.0ms (0.6% of total)
ival-neg: 542.0ms (0.5% of total)
ival->: 497.0ms (0.4% of total)
ival-atan: 459.0ms (0.4% of total)
ival-cbrt: 408.0ms (0.4% of total)
Bogosity

localize1.8min (22.1%)

Results
18.2s20275×0valid
38.8s10297×1valid
13.8s4324×2valid
4.1s4083×0invalid
9.6s1074×5exit
1.4s395×3valid
Compiler

Compiled 36830 to 21821 computations (40.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.2min
ival-pow: 22.8s (31.5% of total)
ival-div: 10.2s (14.1% of total)
ival-mult: 9.9s (13.7% of total)
backward-pass: 7.9s (10.9% of total)
ival-add: 5.9s (8.2% of total)
ival-sub: 3.0s (4.2% of total)
ival-log: 2.0s (2.7% of total)
ival-fma: 1.7s (2.4% of total)
ival-cbrt: 1.6s (2.2% of total)
const: 1.5s (2.1% of total)
ival-sqrt: 1.4s (1.9% of total)
ival-cos: 874.0ms (1.2% of total)
ival-hypot: 672.0ms (0.9% of total)
ival-tan: 606.0ms (0.8% of total)
ival-exp: 580.0ms (0.8% of total)
ival-log1p: 521.0ms (0.7% of total)
ival-sin: 395.0ms (0.5% of total)
ival-neg: 199.0ms (0.3% of total)
ival-expm1: 172.0ms (0.2% of total)
ival-cosh: 163.0ms (0.2% of total)
ival-atan2: 151.0ms (0.2% of total)
ival-atan: 17.0ms (0% of total)
ival-e: 8.0ms (0% of total)
ival-fabs: 1.0ms (0% of total)

eval47.0s (9.8%)

Compiler

Compiled 3116004 to 2041287 computations (34.5% saved)

simplify42.0s (8.8%)

Algorithm
182×egg-herbie
Rules
56161×fma-define
43586×associate-*r*
42265×*-commutative
39940×fma-neg
38220×distribute-lft-in
Stop Event
28×saturated
151×node limit
3×unsound
Counts
65990 → 68513

soundness33.4s (7%)

Rules
41998×fma-define
41963×log1p-expm1-u
32004×fma-neg
31419×expm1-log1p-u
30565×associate-*r*
Stop Event
9×saturated
146×node limit
13×fuel
1×unsound
15×done
Compiler

Compiled 33755 to 20620 computations (38.9% saved)

rewrite28.8s (6%)

Algorithm
154×batch-egg-rewrite
Rules
91424×log1p-expm1-u
69434×expm1-log1p-u
33714×pow1
32660×add-exp-log
31650×add-log-exp
Stop Event
154×node limit
Counts
1295 → 43092

prune26.2s (5.5%)

Counts
109513 → 3888
Compiler

Compiled 130968 to 93238 computations (28.8% saved)

explain8.7s (1.8%)

Results
3.2s7096×1valid
542.0ms3948×0valid
3.0s3138×2valid
137.0ms154×3valid
Compiler

Compiled 2227 to 1192 computations (46.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.0s
ival-log: 886.0ms (17.8% of total)
backward-pass: 613.0ms (12.3% of total)
ival-exp: 545.0ms (10.9% of total)
ival-div: 518.0ms (10.4% of total)
ival-sub: 441.0ms (8.8% of total)
ival-tan: 370.0ms (7.4% of total)
ival-add: 365.0ms (7.3% of total)
ival-mult: 333.0ms (6.7% of total)
ival-cos: 254.0ms (5.1% of total)
ival-pow: 229.0ms (4.6% of total)
ival-sin: 126.0ms (2.5% of total)
ival-sqrt: 110.0ms (2.2% of total)
const: 81.0ms (1.6% of total)
ival-atan: 68.0ms (1.4% of total)
ival-cbrt: 26.0ms (0.5% of total)
ival-neg: 24.0ms (0.5% of total)

series8.3s (1.7%)

Counts
1295 → 22898
Calls

5955 calls:

TimeVariablePointExpression
276.0ms
x
@inf
(cbrt (cbrt x))
244.0ms
b
@0
(log (/ b a))
184.0ms
c
@inf
(/ b_2 (* a c))
95.0ms
a
@0
(log (/ b a))
86.0ms
x
@inf
(pow (E) (log (- (tan (+ x eps)) (tan x))))

bsearch6.6s (1.4%)

Algorithm
215×binary-search
29×left-value
Stop Event
3×predicate-same
212×narrow-enough
Results
1.9s20339×0valid
656.0ms7133×0invalid
1.1s4593×1valid
966.0ms1004×2valid
13.0ms80×0unsamplable
Compiler

Compiled 48178 to 34663 computations (28.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.2s
ival-mult: 822.0ms (25.7% of total)
ival-sqrt: 617.0ms (19.3% of total)
ival-sub: 401.0ms (12.5% of total)
ival-neg: 398.0ms (12.4% of total)
ival-div: 354.0ms (11.1% of total)
backward-pass: 273.0ms (8.5% of total)
ival-pow: 134.0ms (4.2% of total)
ival-exp: 69.0ms (2.2% of total)
ival-add: 68.0ms (2.1% of total)
const: 52.0ms (1.6% of total)
ival-cos: 7.0ms (0.2% of total)
ival-cbrt: 5.0ms (0.2% of total)
ival-log: 1.0ms (0% of total)

preprocess5.5s (1.1%)

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 13652 to 7904 computations (42.1% saved)

regimes5.0s (1%)

Counts
5419 → 437
Calls

43 calls:

1.3s
x
551.0ms
b
447.0ms
(/.f64 #s(literal 1 binary64) n)
390.0ms
eps
362.0ms
b_2
Compiler

Compiled 1592 to 1109 computations (30.3% saved)

analyze3.2s (0.7%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
12.3%7.5%53.6%38.9%0%0%0%1
21%12.9%48.2%38.9%0%0%0%2
38.4%22.5%35.9%41.6%0%0%0%3
47.7%27.8%30.5%41.7%0%0%0%4
55.6%32%25.6%42.4%0%0%0%5
58.1%33%23.9%43.1%0%0%0%6
62%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.5%36.2%17.4%44.9%0%1.2%0.3%9
69.5%36.7%16.1%45.2%0%1.7%0.3%10
72%37.7%14.6%45.4%0%1.9%0.4%11
73.2%38%13.9%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.9s
ival-sub: 358.0ms (18.8% of total)
ival-add: 241.0ms (12.6% of total)
ival-mult: 189.0ms (9.9% of total)
ival-pow: 171.0ms (9% of total)
ival-sqrt: 147.0ms (7.7% of total)
ival-div: 133.0ms (7% of total)
ival-log: 130.0ms (6.8% of total)
ival-<=: 126.0ms (6.6% of total)
ival-fabs: 90.0ms (4.7% of total)
ival-sin: 67.0ms (3.5% of total)
ival-exp: 65.0ms (3.4% of total)
ival-tan: 47.0ms (2.5% of total)
ival-neg: 32.0ms (1.7% of total)
const: 31.0ms (1.6% of total)
ival-cos: 30.0ms (1.6% of total)
ival->: 13.0ms (0.7% of total)
ival-and: 11.0ms (0.6% of total)
ival-<: 10.0ms (0.5% of total)
backward-pass: 9.0ms (0.5% of total)
ival-fmin: 7.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...