Herbie run

Date:Thursday, April 25th, 2024
Commit:bac5a84d on artem-safe-sampling
Hostname:nightly with Racket 8.11.1
Seed:2024116
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.6min)

sample2.6min (46.8%)

Results
25.3s140092×0precondition
29.5s116221×1valid
7.0s56849×0valid
39.3s55544×2valid
26.3s7016×5exit
467.0ms4182×0unsamplable
613.0ms4044×0invalid
2.8s2554×3valid
Precisions
Click to see histograms. Total time spent on operations: 1.8min
ival-pow: 26.4s (23.9% of total)
ival-tan: 12.8s (11.6% of total)
ival-exp: 11.6s (10.5% of total)
ival-mult: 9.5s (8.6% of total)
ival-sub: 7.5s (6.8% of total)
ival-log: 5.1s (4.6% of total)
ival-add: 5.1s (4.6% of total)
backward-pass: 4.6s (4.2% of total)
ival-div: 4.4s (4% of total)
ival-cos: 4.3s (3.9% of total)
ival-<=: 4.0s (3.7% of total)
ival-sin: 3.7s (3.3% of total)
ival-fabs: 2.8s (2.5% of total)
ival-<: 2.1s (1.9% of total)
ival-sqrt: 2.0s (1.8% of total)
ival->: 1.2s (1.1% of total)
const: 736.0ms (0.7% of total)
ival-fmin: 728.0ms (0.7% of total)
ival-and: 696.0ms (0.6% of total)
ival-neg: 507.0ms (0.5% of total)
ival-atan: 353.0ms (0.3% of total)
ival-cbrt: 298.0ms (0.3% of total)
Bogosity

localize35.2s (10.5%)

Algorithm
111×egg-herbie
Rules
48760×fma-define
35667×fma-neg
18884×distribute-lft-in
18007×distribute-rgt-in
17994×unsub-neg
Stop Event
52×saturated
59×node limit
Results
4.5s14149×0valid
6.0s7545×1valid
5.8s4087×2valid
602.0ms1727×0invalid
1.9s425×5exit
798.0ms402×3valid
25.0ms46×0unsamplable
24.0ms22×1invalid
28.0ms13×2invalid
Compiler

Compiled 17884 to 2562 computations (85.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.4s
ival-mult: 1.9s (16.4% of total)
ival-pow: 1.6s (14% of total)
ival-div: 1.3s (11.6% of total)
backward-pass: 1.1s (9.7% of total)
ival-add: 1.0s (9.1% of total)
ival-sub: 711.0ms (6.3% of total)
ival-tan: 665.0ms (5.9% of total)
ival-log: 613.0ms (5.4% of total)
ival-exp: 570.0ms (5% of total)
ival-sin: 333.0ms (2.9% of total)
ival-sqrt: 332.0ms (2.9% of total)
ival-fma: 309.0ms (2.7% of total)
ival-cos: 225.0ms (2% of total)
ival-log1p: 196.0ms (1.7% of total)
ival-cbrt: 148.0ms (1.3% of total)
ival-neg: 119.0ms (1% of total)
const: 117.0ms (1% of total)
ival-hypot: 30.0ms (0.3% of total)
ival-atan: 28.0ms (0.2% of total)
ival-expm1: 21.0ms (0.2% of total)
ival-atan2: 19.0ms (0.2% of total)
ival-cosh: 12.0ms (0.1% of total)
ival-fabs: 6.0ms (0.1% of total)

simplify33.6s (10%)

Algorithm
138×egg-herbie
Rules
39324×fma-define
37075×fma-neg
30497×times-frac
29967×distribute-lft-in
28102×*-commutative
Stop Event
28×saturated
110×node limit
Counts
55874 → 59084

soundness25.5s (7.6%)

Rules
32415×log1p-expm1-u
30298×fma-define
25426×fma-neg
23620×expm1-log1p-u
17810×associate-*r*
Stop Event
9×saturated
108×node limit
24×fuel
4×done
Compiler

Compiled 20244 to 6388 computations (68.4% saved)

rewrite24.1s (7.2%)

Algorithm
110×batch-egg-rewrite
Rules
67914×log1p-expm1-u
51859×expm1-log1p-u
23219×pow1
22613×add-exp-log
22390×add-log-exp
Stop Event
110×node limit
Counts
1222 → 37882

prune16.5s (4.9%)

Counts
83125 → 1934
Compiler

Compiled 63942 to 35652 computations (44.2% saved)

eval15.5s (4.6%)

Compiler

Compiled 1954477 to 312628 computations (84% saved)

explain6.7s (2%)

Results
1.9s7208×1valid
2.7s3558×2valid
588.0ms3416×0valid
148.0ms154×3valid
Compiler

Compiled 2227 to 707 computations (68.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.8s
ival-exp: 748.0ms (19.9% of total)
ival-tan: 686.0ms (18.2% of total)
ival-log: 450.0ms (12% of total)
backward-pass: 276.0ms (7.3% of total)
ival-sin: 259.0ms (6.9% of total)
ival-div: 259.0ms (6.9% of total)
ival-sub: 252.0ms (6.7% of total)
ival-cos: 202.0ms (5.4% of total)
ival-mult: 198.0ms (5.3% of total)
ival-add: 131.0ms (3.5% of total)
ival-pow: 130.0ms (3.5% of total)
ival-sqrt: 74.0ms (2% of total)
const: 30.0ms (0.8% of total)
ival-neg: 26.0ms (0.7% of total)
ival-atan: 22.0ms (0.6% of total)
ival-cbrt: 17.0ms (0.5% of total)

series6.2s (1.9%)

Counts
1222 → 17992
Calls

4884 calls:

TimeVariablePointExpression
261.0ms
a
@0
(* (- (exp (* eps a)) 1) (- (exp (* eps b)) 1))
258.0ms
eps
@-inf
(+ (* (neg eps) (+ 1/6 (+ (* -1 (* (pow (sin x) 2) (/ (+ 1 (* (pow (sin x) 2) (pow (cos x) -2))) (pow (cos x) 2)))) (+ (* 1/6 (* (pow (sin x) 2) (pow (cos x) -2))) (* -1/2 (+ 1 (* (pow (sin x) 2) (pow (cos x) -2)))))))) (* (sin x) (/ (+ 1 (* (pow (sin x) 2) (pow (cos x) -2))) (cos x))))
134.0ms
eps
@0
(- (pow (cbrt (tan (+ x eps))) 3) (tan x))
127.0ms
x
@0
(log x)
75.0ms
x
@inf
(log (+ 1 (neg (cos x))))

preprocess5.1s (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 8244 to 3798 computations (53.9% saved)

analyze3.8s (1.1%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
10.9%6.7%54.4%38.9%0%0%0%1
20.4%12.4%48.7%38.9%0%0%0%2
38.1%22.2%36.2%41.6%0%0%0%3
47.5%27.7%30.6%41.7%0%0%0%4
55.5%31.9%25.6%42.4%0%0%0%5
57.5%32.7%24.2%43.1%0%0%0%6
61.6%34%21.2%44%0%0.8%0.1%7
64.7%35.3%19.3%44.5%0%0.8%0.1%8
67.2%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.9%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.0s
ival-pow: 309.0ms (15.1% of total)
ival-sub: 271.0ms (13.2% of total)
ival-mult: 250.0ms (12.2% of total)
ival-log: 219.0ms (10.7% of total)
ival-div: 215.0ms (10.5% of total)
backward-pass: 176.0ms (8.6% of total)
ival-<=: 142.0ms (6.9% of total)
ival-add: 66.0ms (3.2% of total)
ival-exp: 62.0ms (3% of total)
ival-sin: 60.0ms (2.9% of total)
ival-sqrt: 53.0ms (2.6% of total)
ival-fabs: 52.0ms (2.5% of total)
ival-tan: 40.0ms (2% of total)
ival-neg: 30.0ms (1.5% of total)
ival-cos: 26.0ms (1.3% of total)
const: 26.0ms (1.3% of total)
ival-fmin: 15.0ms (0.7% of total)
ival->: 14.0ms (0.7% of total)
ival-and: 11.0ms (0.5% of total)
ival-<: 10.0ms (0.5% of total)
ival-atan: 0.0ms (0% of total)
ival-cbrt: 0.0ms (0% of total)

regimes3.5s (1.1%)

Counts
3080 → 256
Calls

43 calls:

829.0ms
x
423.0ms
b
369.0ms
eps
292.0ms
b_2
276.0ms
c
Compiler

Compiled 1465 to 975 computations (33.4% saved)

bsearch2.5s (0.8%)

Algorithm
63×binary-search
11×left-value
Stop Event
3×predicate-same
60×narrow-enough
Results
742.0ms6268×0valid
616.0ms1594×1valid
227.0ms1372×0invalid
331.0ms602×2valid
9.0ms71×0unsamplable
Compiler

Compiled 12431 to 9059 computations (27.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3s
ival-pow: 402.0ms (29.9% of total)
ival-mult: 206.0ms (15.3% of total)
ival-sub: 123.0ms (9.1% of total)
ival-div: 119.0ms (8.8% of total)
ival-exp: 105.0ms (7.8% of total)
ival-neg: 103.0ms (7.7% of total)
ival-sqrt: 102.0ms (7.6% of total)
ival-cos: 67.0ms (5% of total)
ival-add: 54.0ms (4% of total)
backward-pass: 42.0ms (3.1% of total)
const: 13.0ms (1% of total)
ival-sin: 9.0ms (0.7% of total)
ival-log: 2.0ms (0.1% of total)

end0.0ms (0%)

Profiling

Loading profile data...