Herbie run

Date:Wednesday, January 31st, 2024
Commit:fcee7d92 on artem-tuning-64start-20-128-512-1024-2048
Hostname:nightly with Racket 8.11.1
Seed:2024031
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: 1.3min)

sample19.5s (24.4%)

Results
13.1s63087×0valid
1.6s7136×0infinite
2.6s4079×4valid
654.0ms1901×0invalid
2.0ms5×5exit
0.0ms2×2valid
Precisions
Click to see histograms. Total time spent on operations: 10.3s
Operation ival-sub, time spent: 3.4s, 33.0% of total-time
Operation ival-mult, time spent: 2.5s, 24.0% of total-time
Operation ival-div, time spent: 1.4s, 13.0% of total-time
Operation ival-sqrt, time spent: 1.1s, 11.0% of total-time
Operation ival-add, time spent: 817.0ms, 8.0% of total-time
Operation ival-neg, time spent: 421.0ms, 4.0% of total-time
Operation const, time spent: 259.0ms, 3.0% of total-time
Operation ival-log, time spent: 176.0ms, 2.0% of total-time
Operation ival->=, time spent: 113.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 73.0ms, 1.0% of total-time
Operation ival-exp, time spent: 69.0ms, 1.0% of total-time
Operation ival-if, time spent: 28.0ms, 0.0% of total-time
Bogosity

localize15.5s (19.5%)

Compiler

Compiled 6183 to 3299 computations (46.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.2s
Operation ival-mult, time spent: 2.6s, 24.0% of total-time
Operation ival-sub, time spent: 2.0s, 18.0% of total-time
Operation ival-add, time spent: 1.7s, 15.0% of total-time
Operation ival-div, time spent: 1.3s, 12.0% of total-time
Operation ival-sqrt, time spent: 1.1s, 10.0% of total-time
Operation ival-pow, time spent: 962.0ms, 9.0% of total-time
Operation ival-fma, time spent: 663.0ms, 6.0% of total-time
Operation const, time spent: 294.0ms, 3.0% of total-time
Operation ival->=, time spent: 168.0ms, 1.0% of total-time
Operation ival-exp, time spent: 93.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 87.0ms, 1.0% of total-time
Operation ival-log, time spent: 71.0ms, 1.0% of total-time
Operation ival-neg, time spent: 21.0ms, 0.0% of total-time
Operation ival-if, time spent: 18.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 16.0ms, 0.0% of total-time
Operation ival-expm1, time spent: 5.0ms, 0.0% of total-time

eval12.7s (15.9%)

Compiler

Compiled 597444 to 394128 computations (34% saved)

soundness8.1s (10.1%)

Rules
24800×fma-def
19408×fma-neg
17272×associate-*r*
16968×times-frac
14414×associate-*l*
Stop Event
2×saturated
33×node limit
Compiler

Compiled 3550 to 2012 computations (43.3% saved)

simplify6.4s (8%)

Algorithm
32×egg-herbie
Rules
21888×fma-def
11572×times-frac
11534×associate-*r*
11290×distribute-lft-in
10124×distribute-rgt-in
Stop Event
10×saturated
4×fuel
22×node limit
5×done
Counts
7414 → 6729
Compiler

Compiled 1378 to 882 computations (36% saved)

preprocess4.4s (5.5%)

Algorithm
9×egg-herbie
Rules
7114×fma-def
5092×div-sub
4546×fma-neg
3738×times-frac
3230×associate-/r*
Stop Event
5×saturated
4×node limit
Compiler

Compiled 4248 to 2409 computations (43.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7s
Operation ival-sub, time spent: 460.0ms, 26.0% of total-time
Operation ival-mult, time spent: 432.0ms, 25.0% of total-time
Operation ival-sqrt, time spent: 318.0ms, 18.0% of total-time
Operation ival-add, time spent: 259.0ms, 15.0% of total-time
Operation ival-div, time spent: 151.0ms, 9.0% of total-time
Operation const, time spent: 49.0ms, 3.0% of total-time
Operation ival->=, time spent: 22.0ms, 1.0% of total-time
Operation ival-neg, time spent: 19.0ms, 1.0% of total-time
Operation ival-log, time spent: 19.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 5.0ms, 0.0% of total-time
Operation ival-exp, time spent: 4.0ms, 0.0% of total-time
Operation ival-if, time spent: 3.0ms, 0.0% of total-time

prune4.1s (5.1%)

Counts
13443 → 271
Compiler

Compiled 14352 to 9607 computations (33.1% saved)

rewrite4.1s (5.1%)

Algorithm
22×batch-egg-rewrite
Rules
13715×log1p-expm1-u
9988×prod-diff
9669×expm1-log1p-u
6752×log1p-udef
6750×expm1-udef
Stop Event
22×node limit
Counts
139 → 4628

regimes2.0s (2.5%)

Counts
468 → 89
Calls

26 calls:

421.0ms
b
340.0ms
a
309.0ms
x
243.0ms
c
140.0ms
y
Compiler

Compiled 498 to 347 computations (30.3% saved)

bsearch1.4s (1.7%)

Algorithm
47×binary-search
Stop Event
10×predicate-same
37×narrow-enough
Results
951.0ms4903×0valid
112.0ms633×0infinite
117.0ms486×0invalid
Compiler

Compiled 12876 to 9079 computations (29.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 669.0ms
Operation ival-sub, time spent: 182.0ms, 27.0% of total-time
Operation ival-mult, time spent: 161.0ms, 24.0% of total-time
Operation ival-add, time spent: 105.0ms, 16.0% of total-time
Operation ival-div, time spent: 86.0ms, 13.0% of total-time
Operation ival-sqrt, time spent: 68.0ms, 10.0% of total-time
Operation const, time spent: 21.0ms, 3.0% of total-time
Operation ival-neg, time spent: 18.0ms, 3.0% of total-time
Operation ival->=, time spent: 16.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 8.0ms, 1.0% of total-time
Operation ival-if, time spent: 4.0ms, 1.0% of total-time

series1.1s (1.4%)

Counts
139 → 2786
Calls

738 calls:

TimeVariablePointExpression
200.0ms
x
@inf
(pow.f64 (*.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 (fma.f64 x x -1))) 2)) (pow.f64 (fma.f64 x x -1) 1/4)) (pow.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (fma.f64 x x -1)))) (pow.f64 (fma.f64 x x -1) 1/4))) (sqrt.f64 (sqrt.f64 (fma.f64 x x -1))))
90.0ms
x
@0
(pow.f64 (*.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 (fma.f64 x x -1))) 2)) (pow.f64 (fma.f64 x x -1) 1/4)) (pow.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (fma.f64 x x -1)))) (pow.f64 (fma.f64 x x -1) 1/4))) (sqrt.f64 (sqrt.f64 (fma.f64 x x -1))))
62.0ms
b
@0
(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
57.0ms
a
@0
(/.f64 (*.f64 2 c) (fma.f64 b -2 (*.f64 (*.f64 (/.f64 a b) c) 2)))
54.0ms
b
@0
(>=.f64 b 0)

analyze633.0ms (0.8%)

Algorithm
9×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
22.2%22.2%77.7%0.1%0%0%0%1
29.4%27.8%66.6%0.1%0%5.6%0%2
50%44.4%44.4%0.1%0%11.1%0%3
59.7%51.3%34.7%0.1%0%13.9%0%4
67.2%56.9%27.7%0.1%0%15.3%0%5
74.4%62.4%21.5%0.1%0%16%0%6
78.9%64.9%17.3%0.1%0%17.7%0%7
80.8%66.3%15.8%0.1%0%17.9%0%8
85.9%69.9%11.5%0.1%0%18.5%0%9
88%70.7%9.7%0.1%0%19.6%0%10
90%72.1%8%0.1%0%19.8%0%11
92.3%73.5%6.2%0.1%0%20.3%0%12
Compiler

Compiled 161 to 110 computations (31.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 441.0ms
Operation ival-mult, time spent: 145.0ms, 33.0% of total-time
Operation ival-div, time spent: 88.0ms, 20.0% of total-time
Operation ival-sqrt, time spent: 72.0ms, 16.0% of total-time
Operation ival-sub, time spent: 48.0ms, 11.0% of total-time
Operation ival-add, time spent: 40.0ms, 9.0% of total-time
Operation ival->=, time spent: 16.0ms, 4.0% of total-time
Operation ival-neg, time spent: 14.0ms, 3.0% of total-time
Operation const, time spent: 9.0ms, 2.0% of total-time
Operation ival-if, time spent: 4.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 3.0ms, 1.0% of total-time
Operation ival-log, time spent: 1.0ms, 0.0% of total-time
Operation ival-exp, time spent: 0.0ms, 0.0% of total-time

end1.0ms (0%)

Profiling

Loading profile data...