Herbie run

Date:Friday, April 12th, 2024
Commit:f7c2f43b on zane-regimes-lt-or-eq
Hostname:nightly with Racket 8.11.1
Seed:2024103
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: 5.9min)

sample2.6min (44.3%)

Results
23.8s140471×0precondition
32.4s118659×1valid
6.8s65276×0valid
38.9s45120×2valid
25.6s7016×5exit
684.0ms4316×0unsamplable
346.0ms4082×0invalid
2.6s2113×3valid
Precisions
Click to see histograms. Total time spent on operations: 1.9min
ival-pow: 23.9s (21.5% of total)
ival-exp: 11.4s (10.3% of total)
ival-tan: 11.4s (10.2% of total)
ival-mult: 9.5s (8.6% of total)
backward-pass: 9.1s (8.2% of total)
ival-sub: 6.7s (6% of total)
ival-log: 4.9s (4.4% of total)
ival-div: 4.7s (4.2% of total)
ival-add: 4.7s (4.2% of total)
ival-fabs: 4.4s (3.9% of total)
ival-cos: 4.2s (3.8% of total)
ival-<=: 4.1s (3.7% of total)
ival-sin: 3.4s (3% of total)
ival-<: 2.0s (1.8% of total)
ival-sqrt: 1.3s (1.2% of total)
const: 1.3s (1.1% of total)
ival-fmin: 1.1s (1% of total)
ival->: 929.0ms (0.8% of total)
ival-and: 838.0ms (0.8% of total)
ival-neg: 437.0ms (0.4% of total)
ival-atan: 409.0ms (0.4% of total)
ival-cbrt: 319.0ms (0.3% of total)
Bogosity

localize1.2min (20.4%)

Results
7.3s13740×256valid
12.0s3799×1024valid
11.3s3048×2048valid
3.7s2244×512valid
25.3s1004×8192exit
944.0ms944×256invalid
1.1s233×4096valid
90.0ms33×256unsamplable
47.0ms18×1024invalid
60.0ms15×2048invalid
47.0ms9×4096invalid
1.0ms1×512invalid
Compiler

Compiled 14532 to 8650 computations (40.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 57.6s
ival-pow: 22.1s (38.3% of total)
ival-mult: 7.7s (13.3% of total)
ival-exp: 4.9s (8.4% of total)
<compiled-spec>: 4.2s (7.2% of total)
ival-log: 3.7s (6.5% of total)
ival-div: 3.7s (6.3% of total)
ival-add: 3.0s (5.2% of total)
ival-sub: 2.1s (3.6% of total)
ival-sin: 1.8s (3.1% of total)
ival-sqrt: 1.0s (1.8% of total)
const: 946.0ms (1.6% of total)
ival-cbrt: 838.0ms (1.5% of total)
ival-tan: 776.0ms (1.3% of total)
ival-cos: 627.0ms (1.1% of total)
ival-neg: 322.0ms (0.6% of total)
ival-atan2: 48.0ms (0.1% of total)
ival-cosh: 39.0ms (0.1% of total)
ival-atan: 29.0ms (0.1% of total)

simplify23.9s (6.8%)

Algorithm
119×egg-herbie
Rules
32372×fma-define
27710×fma-neg
24417×*-commutative
22954×distribute-lft-in
22614×times-frac
Stop Event
28×saturated
88×node limit
3×unsound
Counts
35028 → 38953

soundness21.6s (6.1%)

Rules
30119×log1p-expm1-u
28505×fma-define
25659×fma-neg
22960×expm1-log1p-u
17600×associate-*r*
Stop Event
8×saturated
97×node limit
16×fuel
2×unsound
12×done
Compiler

Compiled 19514 to 12299 computations (37% saved)

eval21.0s (5.9%)

Compiler

Compiled 1317991 to 856426 computations (35% saved)

rewrite18.2s (5.2%)

Algorithm
91×batch-egg-rewrite
Rules
56827×log1p-expm1-u
43178×expm1-log1p-u
20637×prod-diff
17884×pow1
17073×add-exp-log
Stop Event
91×node limit
Counts
658 → 23299

prune10.7s (3%)

Counts
51385 → 1545
Compiler

Compiled 48821 to 34513 computations (29.3% saved)

explain8.4s (2.4%)

Results
749.0ms6002×256valid
2.4s3570×1024valid
2.6s2392×2048valid
790.0ms2226×512valid
131.0ms146×4096valid
Compiler

Compiled 2227 to 1192 computations (46.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.1s
ival-log: 896.0ms (17.5% of total)
ival-exp: 780.0ms (15.3% of total)
ival-tan: 663.0ms (13% of total)
ival-sub: 472.0ms (9.2% of total)
ival-pow: 406.0ms (7.9% of total)
ival-div: 398.0ms (7.8% of total)
ival-mult: 352.0ms (6.9% of total)
ival-add: 331.0ms (6.5% of total)
ival-cos: 252.0ms (4.9% of total)
ival-sin: 235.0ms (4.6% of total)
ival-sqrt: 133.0ms (2.6% of total)
const: 98.0ms (1.9% of total)
ival-atan: 38.0ms (0.7% of total)
ival-neg: 28.0ms (0.5% of total)
ival-cbrt: 26.0ms (0.5% of total)

preprocess4.8s (1.4%)

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 9372 to 5900 computations (37% saved)

regimes4.8s (1.4%)

Counts
2677 → 299
Calls

43 calls:

827.0ms
(/.f64 #s(literal 1 binary64) n)
753.0ms
x
466.0ms
b
453.0ms
eps
404.0ms
b_2
Compiler

Compiled 1476 to 1039 computations (29.6% saved)

series4.6s (1.3%)

Counts
658 → 11729
Calls

3090 calls:

TimeVariablePointExpression
251.0ms
x
@0
(pow (sqrt (exp 2/3)) (* 2 (log (+ 1 x))))
134.0ms
b
@inf
(sqrt (+ (* a (* c -4)) (* b b)))
109.0ms
eps
@-inf
(log (sqrt (exp (- (tan (+ x eps)) (tan x)))))
90.0ms
c
@inf
(cbrt (sqrt (* c (neg a))))
76.0ms
x
@0
(* eps (+ (* -1 (* eps (- (* -4/3 (pow x 2)) 1/3))) (/ (* (sin x) (+ 1 (/ (pow (sin x) 2) (pow (cos x) 2)))) (cos x))))

bsearch3.5s (1%)

Algorithm
49×left-value
80×binary-search
Stop Event
80×narrow-enough
Results
919.0ms6924×0valid
1.1s2800×1valid
179.0ms2039×0invalid
594.0ms612×2valid
43.0ms281×0unsamplable
Compiler

Compiled 17243 to 12721 computations (26.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.0s
ival-pow: 692.0ms (35.5% of total)
ival-mult: 353.0ms (18.1% of total)
backward-pass: 267.0ms (13.7% of total)
ival-div: 186.0ms (9.5% of total)
ival-sub: 146.0ms (7.5% of total)
ival-add: 81.0ms (4.2% of total)
ival-sqrt: 77.0ms (3.9% of total)
ival-neg: 76.0ms (3.9% of total)
ival-exp: 34.0ms (1.7% of total)
const: 29.0ms (1.5% of total)
ival-cos: 7.0ms (0.4% of total)
ival-cbrt: 3.0ms (0.2% of total)

analyze2.9s (0.8%)

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-sub: 313.0ms (20.2% of total)
ival-mult: 197.0ms (12.7% of total)
ival-pow: 189.0ms (12.2% of total)
ival-log: 189.0ms (12.2% of total)
ival-div: 116.0ms (7.5% of total)
ival-<=: 85.0ms (5.5% of total)
ival-add: 71.0ms (4.6% of total)
ival-exp: 60.0ms (3.9% of total)
ival-sin: 56.0ms (3.6% of total)
ival-sqrt: 54.0ms (3.5% of total)
ival-fabs: 49.0ms (3.2% of total)
ival-tan: 35.0ms (2.3% of total)
ival-neg: 35.0ms (2.3% of total)
const: 33.0ms (2.1% of total)
ival-cos: 23.0ms (1.5% of total)
ival->: 19.0ms (1.2% 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...