Herbie run

Date:Friday, April 12th, 2024
Commit:ed895eeb on main
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.5min)

sample2.6min (46.5%)

Results
24.4s140471×0precondition
29.9s116263×1valid
6.3s65287×0valid
37.4s47530×2valid
29.8s7016×5exit
508.0ms4308×0unsamplable
343.0ms4082×0invalid
2.0s2088×3valid
Precisions
Click to see histograms. Total time spent on operations: 1.8min
ival-pow: 28.2s (25.7% of total)
ival-exp: 11.4s (10.4% of total)
ival-tan: 10.9s (10% of total)
ival-mult: 8.2s (7.5% of total)
backward-pass: 7.9s (7.2% of total)
ival-sub: 6.6s (6% of total)
ival-add: 5.2s (4.7% of total)
ival-log: 5.1s (4.6% of total)
ival-cos: 4.7s (4.3% of total)
ival-div: 4.6s (4.2% of total)
ival-fabs: 3.3s (3% of total)
ival-<=: 3.2s (2.9% of total)
ival-sin: 3.2s (2.9% of total)
ival-sqrt: 1.6s (1.4% of total)
ival-<: 1.3s (1.2% of total)
const: 1.0s (1% of total)
ival-and: 697.0ms (0.6% of total)
ival-fmin: 657.0ms (0.6% of total)
ival-cbrt: 623.0ms (0.6% of total)
ival->: 516.0ms (0.5% of total)
ival-neg: 424.0ms (0.4% of total)
ival-atan: 355.0ms (0.3% of total)
Bogosity

localize50.7s (15.4%)

Results
6.8s13167×0valid
12.8s7030×1valid
9.5s3034×2valid
989.0ms1034×0invalid
9.9s995×5exit
800.0ms262×3valid
82.0ms35×1invalid
77.0ms33×0unsamplable
113.0ms9×2invalid
3.0ms1×3invalid
Compiler

Compiled 15215 to 9167 computations (39.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 33.6s
ival-pow: 10.5s (31.2% of total)
backward-pass: 5.2s (15.5% of total)
ival-mult: 5.0s (14.9% of total)
ival-div: 3.0s (8.9% of total)
ival-add: 2.2s (6.5% of total)
ival-sub: 1.5s (4.3% of total)
ival-fma: 1.4s (4.1% of total)
ival-log: 917.0ms (2.7% of total)
const: 677.0ms (2% of total)
ival-sqrt: 671.0ms (2% of total)
ival-exp: 542.0ms (1.6% of total)
ival-cbrt: 454.0ms (1.3% of total)
ival-log1p: 357.0ms (1.1% of total)
ival-cos: 357.0ms (1.1% of total)
ival-tan: 326.0ms (1% of total)
ival-neg: 267.0ms (0.8% of total)
ival-sin: 228.0ms (0.7% of total)
ival-atan2: 39.0ms (0.1% of total)
ival-expm1: 33.0ms (0.1% of total)
ival-atan: 18.0ms (0.1% of total)
ival-hypot: 12.0ms (0% of total)
ival-cosh: 11.0ms (0% of total)

simplify25.0s (7.6%)

Algorithm
123×egg-herbie
Rules
33580×fma-define
28430×fma-neg
25372×*-commutative
25122×distribute-lft-in
24585×times-frac
Stop Event
28×saturated
92×node limit
3×unsound
Counts
36732 → 40915

eval21.2s (6.4%)

Compiler

Compiled 1357041 to 885469 computations (34.8% saved)

soundness21.0s (6.4%)

Rules
28271×fma-define
27507×log1p-expm1-u
26155×fma-neg
20920×expm1-log1p-u
17686×associate-*r*
Stop Event
8×saturated
95×node limit
17×fuel
2×unsound
11×done
Compiler

Compiled 19855 to 12642 computations (36.3% saved)

rewrite18.7s (5.7%)

Algorithm
95×batch-egg-rewrite
Rules
58480×log1p-expm1-u
44511×expm1-log1p-u
19219×prod-diff
19181×pow1
18416×add-exp-log
Stop Event
95×node limit
Counts
704 → 24484

prune12.8s (3.9%)

Counts
53554 → 1602
Compiler

Compiled 50745 to 35999 computations (29.1% saved)

explain7.7s (2.3%)

Results
2.7s7188×1valid
607.0ms3944×0valid
2.8s3058×2valid
107.0ms146×3valid
Compiler

Compiled 2227 to 1192 computations (46.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.7s
ival-log: 626.0ms (13.3% of total)
ival-exp: 597.0ms (12.7% of total)
backward-pass: 591.0ms (12.5% of total)
ival-tan: 492.0ms (10.4% of total)
ival-sub: 469.0ms (10% of total)
ival-div: 367.0ms (7.8% of total)
ival-add: 309.0ms (6.6% of total)
ival-mult: 298.0ms (6.3% of total)
ival-pow: 295.0ms (6.3% of total)
ival-cos: 205.0ms (4.4% of total)
ival-sqrt: 180.0ms (3.8% of total)
ival-sin: 133.0ms (2.8% of total)
const: 77.0ms (1.6% of total)
ival-atan: 25.0ms (0.5% of total)
ival-neg: 24.0ms (0.5% of total)
ival-cbrt: 23.0ms (0.5% of total)

preprocess5.0s (1.5%)

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 8572 to 5458 computations (36.3% saved)

series4.7s (1.4%)

Counts
704 → 12248
Calls

3225 calls:

TimeVariablePointExpression
266.0ms
c
@0
(sqrt (- (pow b_2 2) (- (* a c) (* 2 (+ (* a (neg c)) (* a c))))))
162.0ms
a
@0
(+ (* (pow (- (pow b_2 2) (* a c)) 1/4) (/ (pow (- (pow b_2 2) (* a c)) 1/4) a)) (/ b_2 (neg a)))
88.0ms
eps
@-inf
(log (sqrt (exp (- (tan (+ x eps)) (tan x)))))
70.0ms
eps
@0
(* eps (+ 1 (* x (* -1/2 eps))))
63.0ms
c
@inf
(cbrt (sqrt (* c (neg a))))

regimes4.4s (1.3%)

Counts
2577 → 271
Calls

43 calls:

823.0ms
n
800.0ms
x
527.0ms
(/.f64 #s(literal 1 binary64) n)
362.0ms
b_2
307.0ms
a
Compiler

Compiled 1532 to 1082 computations (29.4% saved)

analyze2.8s (0.8%)

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.5s
ival-sub: 188.0ms (12.5% of total)
ival-mult: 184.0ms (12.2% of total)
ival-add: 176.0ms (11.7% of total)
ival-pow: 171.0ms (11.4% of total)
ival-log: 118.0ms (7.8% of total)
ival-div: 116.0ms (7.7% of total)
ival-<=: 85.0ms (5.6% of total)
ival-neg: 77.0ms (5.1% of total)
ival-sqrt: 73.0ms (4.8% of total)
ival-exp: 63.0ms (4.2% of total)
ival-sin: 59.0ms (3.9% of total)
ival-fabs: 54.0ms (3.6% of total)
ival-tan: 35.0ms (2.3% of total)
const: 29.0ms (1.9% of total)
ival-cos: 26.0ms (1.7% of total)
ival->: 13.0ms (0.9% of total)
ival-and: 11.0ms (0.7% of total)
ival-<: 10.0ms (0.7% of total)
backward-pass: 8.0ms (0.5% of total)
ival-fmin: 7.0ms (0.5% of total)
ival-atan: 0.0ms (0% of total)
ival-cbrt: 0.0ms (0% of total)

bsearch2.5s (0.8%)

Algorithm
39×left-value
65×binary-search
Stop Event
1×predicate-same
64×narrow-enough
Results
551.0ms5939×0valid
1.0s2260×1valid
139.0ms1763×0invalid
184.0ms393×2valid
24.0ms144×0unsamplable
Compiler

Compiled 14079 to 10397 computations (26.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4s
ival-pow: 717.0ms (50.3% of total)
ival-mult: 151.0ms (10.6% of total)
ival-div: 139.0ms (9.7% of total)
ival-sub: 110.0ms (7.7% of total)
backward-pass: 72.0ms (5% of total)
ival-sqrt: 64.0ms (4.5% of total)
ival-add: 61.0ms (4.3% of total)
ival-neg: 47.0ms (3.3% of total)
ival-exp: 33.0ms (2.3% of total)
const: 19.0ms (1.3% of total)
ival-cos: 9.0ms (0.6% of total)
ival-cbrt: 3.0ms (0.2% of total)

end0.0ms (0%)

Profiling

Loading profile data...