Herbie run

Date:Thursday, May 2nd, 2024
Commit:e0a5b8b3 on artem-safe-sampling
Hostname:nightly with Racket 8.11.1
Seed:2024123
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.8min)

sample2.7min (46.8%)

Results
41.1s55292×2valid
33.5s144303×0precondition
30.3s116001×1valid
25.9s7165×5exit
6.5s57297×0valid
3.2s2578×3valid
476.0ms4321×0unsamplable
395.0ms4160×0invalid
Precisions
Click to see histograms. Total time spent on operations: 2.0min
ival-pow: 24.8s (21% of total)
ival-exp: 12.6s (10.7% of total)
ival-tan: 11.8s (10% of total)
ival-mult: 10.4s (8.8% of total)
ival-sub: 7.4s (6.3% of total)
...c/correct-round.rkt:125:19: 6.2s (5.3% of total)
ival-log: 5.3s (4.5% of total)
backward-pass: 5.2s (4.4% of total)
ival-sin: 5.1s (4.3% of total)
ival-div: 4.9s (4.1% of total)
ival-cos: 4.7s (4% of total)
ival-add: 4.6s (3.9% of total)
ival-<=: 4.2s (3.5% of total)
ival-fabs: 2.8s (2.4% of total)
ival-sqrt: 1.7s (1.5% of total)
ival-<: 1.7s (1.4% of total)
ival-fmin: 895.0ms (0.8% of total)
ival-neg: 826.0ms (0.7% of total)
ival-and: 766.0ms (0.6% of total)
ival->: 723.0ms (0.6% of total)
const: 637.0ms (0.5% of total)
ival-atan: 346.0ms (0.3% of total)
ival-cbrt: 311.0ms (0.3% of total)
Bogosity

localize36.3s (10.4%)

Algorithm
110×egg-herbie
Rules
49796×fma-define
35448×fma-neg
19004×sub-neg
17107×distribute-lft-in
16732×div-sub
Stop Event
55×saturated
55×node limit
Results
7.2s7462×1valid
5.7s15508×0valid
4.0s3513×2valid
991.0ms393×5exit
523.0ms261×3valid
484.0ms1019×0invalid
3.0ms4×1invalid
Compiler

Compiled 18059 to 2540 computations (85.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.8s
ival-mult: 2.4s (20.2% of total)
ival-pow: 1.6s (13.5% of total)
ival-div: 1.5s (12.3% of total)
backward-pass: 1.1s (9.5% of total)
...c/correct-round.rkt:125:19: 1.0s (8.5% of total)
ival-add: 632.0ms (5.4% of total)
ival-sub: 562.0ms (4.8% of total)
ival-log1p: 424.0ms (3.6% of total)
ival-log: 409.0ms (3.5% of total)
ival-fma: 344.0ms (2.9% of total)
ival-tan: 330.0ms (2.8% of total)
ival-sin: 272.0ms (2.3% of total)
ival-exp: 260.0ms (2.2% of total)
ival-cos: 249.0ms (2.1% of total)
ival-sqrt: 239.0ms (2% of total)
ival-cbrt: 162.0ms (1.4% of total)
ival-neg: 120.0ms (1% of total)
const: 100.0ms (0.8% of total)
ival-expm1: 56.0ms (0.5% of total)
ival-atan: 42.0ms (0.4% of total)
ival-atan2: 22.0ms (0.2% of total)
ival-hypot: 12.0ms (0.1% of total)
ival-cosh: 11.0ms (0.1% of total)

simplify34.3s (9.9%)

Algorithm
136×egg-herbie
Rules
36463×fma-neg
33813×fma-define
31519×times-frac
30403×distribute-lft-in
27780×*-commutative
Stop Event
28×saturated
108×node limit
Counts
53890 → 56661

soundness29.5s (8.5%)

Rules
33936×log1p-expm1-u
30306×fma-define
29302×expm1-log1p-u
29077×fma-neg
18391×times-frac
Stop Event
9×saturated
112×node limit
23×fuel
5×done
Compiler

Compiled 21959 to 6773 computations (69.2% saved)

rewrite26.9s (7.7%)

Algorithm
108×batch-egg-rewrite
Rules
67891×log1p-expm1-u
54804×expm1-log1p-u
23009×prod-diff
22262×pow1
21939×add-exp-log
Stop Event
108×node limit
Counts
1196 → 36474

prune15.8s (4.5%)

Counts
78700 → 2114
Compiler

Compiled 71916 to 40321 computations (43.9% saved)

eval14.0s (4%)

Compiler

Compiled 1867698 to 300411 computations (83.9% saved)

explain6.8s (1.9%)

Results
2.6s3384×2valid
2.1s7256×1valid
461.0ms3540×0valid
208.0ms156×3valid
Compiler

Compiled 2227 to 707 computations (68.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.7s
ival-tan: 816.0ms (21.9% of total)
ival-exp: 707.0ms (19% of total)
ival-log: 333.0ms (8.9% of total)
backward-pass: 320.0ms (8.6% of total)
ival-cos: 315.0ms (8.5% of total)
ival-sub: 241.0ms (6.5% of total)
ival-div: 235.0ms (6.3% of total)
ival-mult: 163.0ms (4.4% of total)
ival-pow: 154.0ms (4.1% of total)
ival-sin: 139.0ms (3.7% of total)
ival-add: 131.0ms (3.5% of total)
ival-sqrt: 76.0ms (2% of total)
const: 30.0ms (0.8% of total)
ival-neg: 27.0ms (0.7% of total)
ival-atan: 21.0ms (0.6% of total)
ival-cbrt: 18.0ms (0.5% of total)

series6.3s (1.8%)

Counts
1196 → 17416
Calls

4803 calls:

TimeVariablePointExpression
464.0ms
a
@inf
(log (+ 1 (+ b (sqrt (+ (* a (* c -4)) (pow b 2))))))
164.0ms
n
@-inf
(log n)
121.0ms
x
@0
(pow (cbrt (* x 1/3)) 3)
106.0ms
x
@-inf
(* x (+ (* -1/2 eps) (* x (- (* 1/12 (* eps x)) 1/2))))
105.0ms
eps
@inf
(* eps (+ (cos x) (/ (pow (pow (cbrt (sin x)) 2) 3) (cos x))))

preprocess5.2s (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 9300 to 3692 computations (60.3% saved)

analyze4.3s (1.2%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
6.1%3.7%57.4%38.9%0%0%0%1
16.5%10.1%51%38.9%0%0%0%2
35.3%20.6%37.8%41.6%0%0%0%3
46.1%26.9%31.4%41.7%0%0%0%4
54.8%31.5%26%42.4%0%0%0%5
57.1%32.5%24.4%43.1%0%0%0%6
61.5%33.9%21.3%44%0%0.8%0.1%7
64.6%35.3%19.3%44.5%0%0.8%0.1%8
67.1%36%17.6%44.9%0%1.2%0.3%9
69.1%36.5%16.3%45.2%0%1.7%0.3%10
71.7%37.5%14.8%45.4%0%1.9%0.4%11
72.8%37.8%14.1%45.6%0%2.2%0.4%12
Compiler

Compiled 498 to 322 computations (35.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.3s
ival-log: 364.0ms (15.9% of total)
ival-mult: 347.0ms (15.2% of total)
ival-sub: 225.0ms (9.9% of total)
ival-pow: 218.0ms (9.5% of total)
...c/correct-round.rkt:125:19: 168.0ms (7.4% of total)
ival-div: 152.0ms (6.7% of total)
ival-exp: 131.0ms (5.7% of total)
ival-<: 105.0ms (4.6% of total)
ival-neg: 98.0ms (4.3% of total)
ival-<=: 92.0ms (4% of total)
ival-tan: 65.0ms (2.8% of total)
ival-add: 65.0ms (2.8% of total)
ival-sin: 58.0ms (2.5% of total)
ival-sqrt: 54.0ms (2.4% of total)
ival-fabs: 47.0ms (2.1% of total)
ival-cos: 24.0ms (1.1% of total)
const: 21.0ms (0.9% of total)
ival->: 18.0ms (0.8% of total)
ival-and: 12.0ms (0.5% of total)
backward-pass: 10.0ms (0.4% of total)
ival-fmin: 8.0ms (0.4% of total)
ival-atan: 0.0ms (0% of total)
ival-cbrt: 0.0ms (0% of total)

regimes3.6s (1%)

Counts
4066 → 304
Calls

43 calls:

915.0ms
x
441.0ms
eps
152.0ms
b_2
152.0ms
b
151.0ms
(/.f64 #s(literal 1 binary64) n)
Compiler

Compiled 1580 to 1051 computations (33.5% saved)

bsearch2.2s (0.6%)

Algorithm
67×binary-search
32×left-value
Stop Event
4×predicate-same
63×narrow-enough
Results
598.0ms6650×0valid
438.0ms971×2valid
347.0ms1259×1valid
222.0ms980×0invalid
10.0ms84×0unsamplable
Compiler

Compiled 12035 to 8920 computations (25.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1s
ival-mult: 239.0ms (22.8% of total)
ival-pow: 146.0ms (13.9% of total)
ival-div: 123.0ms (11.7% of total)
ival-neg: 110.0ms (10.5% of total)
ival-sub: 106.0ms (10.1% of total)
backward-pass: 84.0ms (8% of total)
ival-add: 72.0ms (6.9% of total)
ival-sqrt: 61.0ms (5.8% of total)
ival-exp: 37.0ms (3.5% of total)
ival-cbrt: 30.0ms (2.9% of total)
ival-cos: 21.0ms (2% of total)
const: 14.0ms (1.3% of total)
ival-sin: 8.0ms (0.8% of total)

end0.0ms (0%)

Profiling

Loading profile data...