Herbie run

Date:Monday, April 22nd, 2024
Commit:1ba62266 on faster-localize-cost
Hostname:nightly with Racket 8.11.1
Seed:2024113
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.2min)

sample2.8min (44.9%)

Results
28.9s142710×0precondition
30.6s116455×1valid
6.9s65115×0valid
41.1s47548×2valid
32.0s7053×5exit
394.0ms4178×0invalid
479.0ms4153×0unsamplable
2.5s2050×3valid
Precisions
Click to see histograms. Total time spent on operations: 2.1min
ival-pow: 30.4s (24.6% of total)
ival-exp: 13.5s (11% of total)
ival-tan: 11.7s (9.5% of total)
ival-mult: 9.2s (7.4% of total)
ival-sub: 9.1s (7.4% of total)
backward-pass: 8.5s (6.9% of total)
ival-add: 5.5s (4.5% of total)
ival-div: 5.0s (4.1% of total)
ival-log: 4.9s (4% of total)
ival-cos: 4.4s (3.6% of total)
ival-<=: 4.4s (3.6% of total)
ival-fabs: 4.3s (3.5% of total)
ival-sin: 3.9s (3.2% of total)
ival-<: 2.1s (1.7% of total)
ival-sqrt: 1.5s (1.2% of total)
ival-fmin: 1.2s (1% of total)
ival->: 1.0s (0.8% of total)
const: 778.0ms (0.6% of total)
ival-and: 762.0ms (0.6% of total)
ival-neg: 533.0ms (0.4% of total)
ival-cbrt: 338.0ms (0.3% of total)
ival-atan: 335.0ms (0.3% of total)
Bogosity

localize40.6s (10.9%)

Algorithm
112×egg-herbie
Rules
47474×fma-define
38602×fma-neg
18741×div-sub
18713×distribute-lft-in
16973×sub-neg
Stop Event
55×saturated
57×node limit
Results
4.8s14188×0valid
6.0s7619×1valid
6.2s3694×2valid
1.2s1765×0invalid
4.2s882×5exit
1.1s289×3valid
75.0ms235×0unsamplable
Compiler

Compiled 20071 to 2599 computations (87.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.3s
ival-pow: 3.0s (19.4% of total)
ival-mult: 2.0s (13.2% of total)
backward-pass: 1.6s (10.6% of total)
ival-div: 1.2s (7.8% of total)
ival-sin: 897.0ms (5.9% of total)
ival-log: 835.0ms (5.5% of total)
ival-tan: 823.0ms (5.4% of total)
ival-sub: 803.0ms (5.3% of total)
ival-add: 744.0ms (4.9% of total)
ival-fma: 598.0ms (3.9% of total)
ival-exp: 576.0ms (3.8% of total)
ival-cbrt: 455.0ms (3% of total)
ival-sqrt: 411.0ms (2.7% of total)
ival-cos: 362.0ms (2.4% of total)
ival-log1p: 217.0ms (1.4% of total)
ival-expm1: 154.0ms (1% of total)
ival-atan2: 145.0ms (0.9% of total)
ival-cosh: 136.0ms (0.9% of total)
const: 128.0ms (0.8% of total)
ival-neg: 124.0ms (0.8% of total)
ival-hypot: 42.0ms (0.3% of total)
ival-atan: 28.0ms (0.2% of total)
ival-e: 5.0ms (0% of total)

simplify36.4s (9.8%)

Algorithm
139×egg-herbie
Rules
34603×fma-define
31993×fma-neg
31170×distribute-lft-in
30566×*-commutative
30373×times-frac
Stop Event
28×saturated
111×node limit
Counts
57928 → 60123

soundness29.7s (8%)

Rules
33147×log1p-expm1-u
29468×fma-define
25618×fma-neg
23882×expm1-log1p-u
20278×times-frac
Stop Event
8×saturated
110×node limit
24×fuel
4×done
Compiler

Compiled 20495 to 6127 computations (70.1% saved)

rewrite25.2s (6.8%)

Algorithm
111×batch-egg-rewrite
Rules
72031×log1p-expm1-u
54311×expm1-log1p-u
22515×pow1
21654×add-exp-log
21467×add-log-exp
Stop Event
111×node limit
Counts
1236 → 39451

prune24.9s (6.7%)

Counts
88043 → 2057
Compiler

Compiled 68271 to 37560 computations (45% saved)

eval17.7s (4.8%)

Compiler

Compiled 2245959 to 323448 computations (85.6% saved)

explain8.8s (2.4%)

Results
3.1s7278×1valid
419.0ms3978×0valid
3.0s2976×2valid
224.0ms104×3valid
Compiler

Compiled 2227 to 707 computations (68.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.2s
ival-tan: 2.1s (41.1% of total)
ival-exp: 631.0ms (12.2% of total)
backward-pass: 490.0ms (9.5% of total)
ival-log: 295.0ms (5.7% of total)
ival-sub: 294.0ms (5.7% of total)
ival-add: 263.0ms (5.1% of total)
ival-cos: 234.0ms (4.5% of total)
ival-sin: 181.0ms (3.5% of total)
ival-mult: 173.0ms (3.4% of total)
ival-div: 164.0ms (3.2% of total)
ival-pow: 133.0ms (2.6% of total)
ival-sqrt: 75.0ms (1.5% of total)
const: 32.0ms (0.6% of total)
ival-atan: 29.0ms (0.6% of total)
ival-neg: 25.0ms (0.5% of total)
ival-cbrt: 18.0ms (0.3% of total)

series8.2s (2.2%)

Counts
1236 → 18477
Calls

4965 calls:

TimeVariablePointExpression
404.0ms
a
@-inf
(pow (exp (sqrt (log (- (exp (* a x)) 1)))) (sqrt (log (- (exp (* a x)) 1))))
146.0ms
x
@inf
(pow x (/ 1 n))
145.0ms
c
@-inf
(* (pow (cbrt (/ c b)) 2) (neg (cbrt (/ c b))))
144.0ms
x
@inf
(log (* (cbrt (exp (- (cos (+ x eps)) (cos x)))) (cbrt (exp (- (cos (+ x eps)) (cos x))))))
135.0ms
x
@inf
(/ (* -1/2 (- (pow x -1/2) (sqrt x))) (pow x 2))

preprocess4.7s (1.3%)

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 9012 to 3666 computations (59.3% saved)

regimes3.6s (1%)

Counts
3585 → 282
Calls

43 calls:

936.0ms
x
357.0ms
eps
294.0ms
b
174.0ms
b_2
164.0ms
a
Compiler

Compiled 1532 to 1017 computations (33.6% saved)

analyze3.2s (0.9%)

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 322 computations (35.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.8s
ival-fabs: 333.0ms (18.1% of total)
ival-mult: 316.0ms (17.2% of total)
ival-sub: 206.0ms (11.2% of total)
ival-pow: 170.0ms (9.3% of total)
ival-log: 143.0ms (7.8% of total)
ival-<=: 124.0ms (6.8% of total)
ival-div: 119.0ms (6.5% of total)
ival-exp: 66.0ms (3.6% of total)
ival-sqrt: 64.0ms (3.5% of total)
ival-sin: 62.0ms (3.4% of total)
ival-add: 60.0ms (3.3% of total)
ival-tan: 40.0ms (2.2% of total)
ival-neg: 32.0ms (1.7% of total)
ival-cos: 24.0ms (1.3% of total)
const: 23.0ms (1.3% of total)
ival->: 13.0ms (0.7% of total)
ival-<: 13.0ms (0.7% of total)
ival-and: 11.0ms (0.6% of total)
backward-pass: 9.0ms (0.5% of total)
ival-fmin: 7.0ms (0.4% of total)
ival-atan: 0.0ms (0% of total)
ival-cbrt: 0.0ms (0% of total)

bsearch1.8s (0.5%)

Algorithm
60×binary-search
22×left-value
Stop Event
3×predicate-same
57×narrow-enough
Results
679.0ms6096×0valid
109.0ms1212×0invalid
212.0ms932×1valid
239.0ms524×2valid
14.0ms110×0unsamplable
Compiler

Compiled 11766 to 8502 computations (27.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 799.0ms
ival-pow: 178.0ms (22.3% of total)
ival-mult: 147.0ms (18.4% of total)
ival-div: 125.0ms (15.6% of total)
ival-sub: 80.0ms (10% of total)
ival-sqrt: 56.0ms (7% of total)
ival-exp: 54.0ms (6.8% of total)
backward-pass: 43.0ms (5.4% of total)
ival-add: 41.0ms (5.1% of total)
ival-neg: 37.0ms (4.6% of total)
ival-cos: 16.0ms (2% of total)
const: 13.0ms (1.6% of total)
ival-sin: 8.0ms (1% of total)
ival-log: 2.0ms (0.3% of total)

end0.0ms (0%)

Profiling

Loading profile data...