Herbie run

Date:Saturday, May 18th, 2024
Commit:4507d544 on jackson-mergable-platform-changes
Hostname:nightly with Racket 8.11.1
Seed:2024139
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: 6.0min)

sample2.7min (45.3%)

Results
40.8s55461×2valid
30.4s7062×5exit
29.4s116085×1valid
26.9s142346×0precondition
6.4s56967×0valid
2.9s2655×3valid
563.0ms4250×0unsamplable
411.0ms4122×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.9min
ival-pow: 29.8s (25.8% of total)
ival-exp: 12.1s (10.5% of total)
ival-tan: 11.7s (10.1% of total)
ival-mult: 9.5s (8.2% of total)
ival-sub: 8.2s (7.1% of total)
ival-log: 5.5s (4.8% of total)
backward-pass: 5.3s (4.6% of total)
ival-add: 4.9s (4.2% of total)
ival-cos: 4.6s (3.9% of total)
ival-sin: 4.3s (3.7% of total)
ival-div: 4.1s (3.6% of total)
ival-<=: 3.9s (3.4% of total)
ival-fabs: 3.1s (2.6% of total)
ival-sqrt: 2.3s (2% of total)
ival-<: 1.7s (1.5% of total)
ival->: 930.0ms (0.8% of total)
ival-and: 803.0ms (0.7% of total)
const: 782.0ms (0.7% of total)
ival-fmin: 772.0ms (0.7% of total)
ival-neg: 695.0ms (0.6% of total)
ival-atan: 360.0ms (0.3% of total)
ival-cbrt: 331.0ms (0.3% of total)
Bogosity

localize47.1s (13.2%)

Algorithm
110×egg-herbie
Rules
54702×fma-define
35206×fmm-def
19762×distribute-lft-in
19709×div-sub
18104×sub-neg
Stop Event
52×saturated
58×node limit
Results
15.4s4997×5exit
5.1s6538×1valid
4.2s3304×2valid
3.7s11506×0valid
749.0ms1320×0invalid
695.0ms343×3valid
61.0ms61×1invalid
30.0ms87×0unsamplable
8.0ms4×4valid
Compiler

Compiled 18223 to 2555 computations (86% saved)

Precisions
Click to see histograms. Total time spent on operations: 21.9s
ival-pow: 4.4s (20.2% of total)
ival-mult: 2.8s (12.8% of total)
ival-log: 2.7s (12.3% of total)
backward-pass: 2.6s (11.9% of total)
<compiled-spec>: 2.0s (9% of total)
ival-div: 1.7s (7.7% of total)
ival-add: 1.3s (6.2% of total)
ival-sub: 1.3s (5.8% of total)
ival-tan: 628.0ms (2.9% of total)
ival-exp: 624.0ms (2.9% of total)
ival-cos: 391.0ms (1.8% of total)
ival-sqrt: 343.0ms (1.6% of total)
ival-sin: 340.0ms (1.6% of total)
ival-cbrt: 238.0ms (1.1% of total)
ival-e: 153.0ms (0.7% of total)
const: 143.0ms (0.7% of total)
ival-neg: 115.0ms (0.5% of total)
ival-cosh: 58.0ms (0.3% of total)
ival-atan: 29.0ms (0.1% of total)
ival-atan2: 21.0ms (0.1% of total)
ival-fabs: 4.0ms (0% of total)

simplify36.2s (10.1%)

Algorithm
137×egg-herbie
Rules
36679×fmm-def
35499×fma-define
30283×*-commutative
29897×distribute-lft-in
28099×times-frac
Stop Event
28×saturated
108×node limit
1×unsound
Counts
56779 → 59330

soundness27.5s (7.7%)

Rules
31149×log1p-expm1-u
28681×fmm-def
28310×fma-define
23868×expm1-log1p-u
20624×times-frac
Stop Event
9×saturated
112×node limit
23×fuel
5×done
Compiler

Compiled 22229 to 6713 computations (69.8% saved)

rewrite24.7s (6.9%)

Algorithm
109×batch-egg-rewrite
Rules
66749×log1p-expm1-u
49033×expm1-log1p-u
22516×pow1
21842×add-exp-log
21639×add-log-exp
Stop Event
109×node limit
Counts
1229 → 38813

prune15.8s (4.4%)

Counts
84019 → 2298
Compiler

Compiled 71607 to 40444 computations (43.5% saved)

eval15.5s (4.3%)

Compiler

Compiled 1995516 to 317786 computations (84.1% saved)

explain7.0s (2%)

Results
2.5s3428×2valid
2.0s7246×1valid
436.0ms3500×0valid
344.0ms162×3valid
Compiler

Compiled 2227 to 707 computations (68.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.9s
ival-tan: 663.0ms (17.2% of total)
ival-exp: 609.0ms (15.8% of total)
backward-pass: 470.0ms (12.2% of total)
ival-mult: 422.0ms (11% of total)
ival-sub: 341.0ms (8.9% of total)
ival-log: 337.0ms (8.8% of total)
ival-cos: 222.0ms (5.8% of total)
ival-div: 171.0ms (4.4% of total)
ival-sin: 151.0ms (3.9% of total)
ival-pow: 148.0ms (3.8% of total)
ival-add: 143.0ms (3.7% of total)
ival-sqrt: 78.0ms (2% of total)
const: 30.0ms (0.8% of total)
ival-neg: 25.0ms (0.6% of total)
ival-atan: 21.0ms (0.5% of total)
ival-cbrt: 18.0ms (0.5% of total)

series5.7s (1.6%)

Counts
1229 → 17966
Calls

4893 calls:

TimeVariablePointExpression
282.0ms
a
@inf
(+ (* a (* (pow x 2) (+ (* a (* x 1/6)) 1/2))) x)
106.0ms
b
@inf
(pow (+ (* b b) (* (* a -4) c)) 3/2)
105.0ms
x
@-inf
(* eps (- (* eps (+ (* -1/2 (cos x)) (* 1/6 (* eps (sin x))))) (sin x)))
80.0ms
b
@-inf
(* a (/ 2 (+ b (sqrt (+ (* (* c -4) a) (pow b 2))))))
71.0ms
c
@-inf
(* c (- (sqrt (/ (neg a) c)) (/ b_2 c)))

preprocess5.2s (1.4%)

Algorithm
28×egg-herbie
Rules
8308×fmm-def
6663×fma-define
4254×div-sub
2652×sub-neg
2620×times-frac
Stop Event
23×saturated
5×node limit
Compiler

Compiled 9458 to 4002 computations (57.7% saved)

regimes4.3s (1.2%)

Counts
4167 → 315
Calls

43 calls:

1.6s
x
349.0ms
(+.f64 (-.f64 (/.f64 #s(literal 1 binary64) (+.f64 x #s(literal 1 binary64))) (/.f64 #s(literal 2 binary64) x)) (/.f64 #s(literal 1 binary64) (-.f64 x #s(literal 1 binary64))))
304.0ms
a
288.0ms
eps
270.0ms
b_2
Compiler

Compiled 1608 to 1070 computations (33.5% saved)

bsearch3.3s (0.9%)

Algorithm
90×binary-search
15×left-value
Stop Event
3×predicate-same
87×narrow-enough
Results
919.0ms8340×0valid
827.0ms2836×1valid
541.0ms504×2valid
134.0ms1582×0invalid
6.0ms47×0unsamplable
Compiler

Compiled 18038 to 12968 computations (28.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7s
ival-pow: 547.0ms (31.5% of total)
ival-mult: 314.0ms (18.1% of total)
backward-pass: 211.0ms (12.1% of total)
ival-div: 162.0ms (9.3% of total)
ival-exp: 125.0ms (7.2% of total)
ival-sub: 118.0ms (6.8% of total)
ival-sqrt: 80.0ms (4.6% of total)
ival-add: 67.0ms (3.9% of total)
ival-neg: 54.0ms (3.1% of total)
const: 19.0ms (1.1% of total)
ival-cos: 19.0ms (1.1% of total)
ival-cbrt: 18.0ms (1% of total)
ival-sin: 4.0ms (0.2% of total)
ival-log: 2.0ms (0.1% of total)

analyze2.9s (0.8%)

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: 1.5s
ival-mult: 227.0ms (15.3% of total)
ival-sub: 205.0ms (13.8% of total)
ival-log: 193.0ms (13% of total)
ival-pow: 162.0ms (10.9% of total)
ival-div: 122.0ms (8.2% of total)
ival-<=: 89.0ms (6% of total)
ival-exp: 71.0ms (4.8% of total)
ival-add: 64.0ms (4.3% of total)
ival-sin: 59.0ms (4% of total)
ival-sqrt: 56.0ms (3.8% of total)
ival-tan: 54.0ms (3.6% of total)
ival-fabs: 49.0ms (3.3% of total)
ival-neg: 30.0ms (2% of total)
const: 26.0ms (1.8% of total)
ival-cos: 23.0ms (1.6% of total)
ival->: 17.0ms (1.1% of total)
ival-and: 11.0ms (0.7% of total)
backward-pass: 9.0ms (0.6% 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...