Herbie run

Date:Wednesday, January 31st, 2024
Commit:c25f4985 on artem-tuning-128start-20-256-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.0s (23.5%)

Results
13.1s63089×0valid
1.6s7136×0infinite
2.0s4079×3valid
654.0ms1901×0invalid
Precisions
Click to see histograms. Total time spent on operations: 10.1s
Operation ival-sub, time spent: 3.2s, 31.0% of total-time
Operation ival-mult, time spent: 2.0s, 19.0% of total-time
Operation ival-div, time spent: 1.5s, 15.0% of total-time
Operation ival-sqrt, time spent: 1.2s, 12.0% of total-time
Operation ival-add, time spent: 915.0ms, 9.0% of total-time
Operation ival->=, time spent: 307.0ms, 3.0% of total-time
Operation ival-neg, time spent: 275.0ms, 3.0% of total-time
Operation const, time spent: 252.0ms, 2.0% of total-time
Operation ival-log, time spent: 245.0ms, 2.0% of total-time
Operation ival-exp, time spent: 121.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 69.0ms, 1.0% of total-time
Operation ival-if, time spent: 28.0ms, 0.0% of total-time
Bogosity

localize16.7s (20.7%)

Compiler

Compiled 6156 to 3279 computations (46.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.1s
Operation ival-mult, time spent: 3.0s, 25.0% of total-time
Operation ival-sub, time spent: 1.8s, 15.0% of total-time
Operation ival-add, time spent: 1.7s, 14.0% of total-time
Operation ival-sqrt, time spent: 1.4s, 11.0% of total-time
Operation ival-pow, time spent: 1.3s, 11.0% of total-time
Operation ival-div, time spent: 1.2s, 10.0% of total-time
Operation ival-fma, time spent: 888.0ms, 7.0% of total-time
Operation const, time spent: 316.0ms, 3.0% of total-time
Operation ival->=, time spent: 168.0ms, 1.0% of total-time
Operation ival-exp, time spent: 100.0ms, 1.0% of total-time
Operation ival-log, time spent: 77.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 75.0ms, 1.0% of total-time
Operation ival-neg, time spent: 27.0ms, 0.0% of total-time
Operation ival-hypot, time spent: 24.0ms, 0.0% of total-time
Operation ival-if, time spent: 20.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 16.0ms, 0.0% of total-time
Operation ival-expm1, time spent: 6.0ms, 0.0% of total-time

eval13.4s (16.6%)

Compiler

Compiled 620175 to 406338 computations (34.5% saved)

soundness8.6s (10.6%)

Rules
24088×fma-def
20004×times-frac
19430×fma-neg
17328×associate-*r*
14280×associate-*l*
Stop Event
2×saturated
34×node limit
Compiler

Compiled 3573 to 2048 computations (42.7% saved)

simplify6.0s (7.4%)

Algorithm
32×egg-herbie
Rules
21618×fma-def
12446×associate-*r*
12256×times-frac
11288×distribute-lft-in
10382×log-prod
Stop Event
10×saturated
4×fuel
22×node limit
5×done
Counts
7275 → 6841
Compiler

Compiled 1383 to 893 computations (35.4% saved)

rewrite4.3s (5.3%)

Algorithm
22×batch-egg-rewrite
Rules
13251×log1p-expm1-u
9886×prod-diff
9548×expm1-log1p-u
7376×log1p-udef
7374×expm1-udef
Stop Event
22×node limit
Counts
136 → 4693

preprocess4.1s (5.1%)

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 4264 to 2443 computations (42.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5s
Operation ival-sub, time spent: 472.0ms, 31.0% of total-time
Operation ival-mult, time spent: 339.0ms, 22.0% of total-time
Operation ival-div, time spent: 257.0ms, 17.0% of total-time
Operation ival-sqrt, time spent: 214.0ms, 14.0% of total-time
Operation ival-add, time spent: 137.0ms, 9.0% of total-time
Operation const, time spent: 47.0ms, 3.0% of total-time
Operation ival-log, time spent: 22.0ms, 1.0% of total-time
Operation ival-neg, time spent: 20.0ms, 1.0% of total-time
Operation ival->=, time spent: 20.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 6.0ms, 0.0% of total-time
Operation ival-exp, time spent: 5.0ms, 0.0% of total-time
Operation ival-if, time spent: 3.0ms, 0.0% of total-time

prune3.6s (4.4%)

Counts
14141 → 260
Compiler

Compiled 13627 to 9051 computations (33.6% saved)

regimes2.1s (2.5%)

Counts
404 → 88
Calls

26 calls:

431.0ms
b
300.0ms
a
212.0ms
c
211.0ms
x
151.0ms
y
Compiler

Compiled 490 to 341 computations (30.4% saved)

bsearch1.5s (1.8%)

Algorithm
47×binary-search
Stop Event
10×predicate-same
37×narrow-enough
Results
1.1s4736×0valid
109.0ms624×0infinite
96.0ms413×0invalid
Compiler

Compiled 12368 to 8753 computations (29.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 739.0ms
Operation ival-sub, time spent: 220.0ms, 30.0% of total-time
Operation ival-mult, time spent: 128.0ms, 17.0% of total-time
Operation ival-add, time spent: 106.0ms, 14.0% of total-time
Operation ival->=, time spent: 88.0ms, 12.0% of total-time
Operation ival-div, time spent: 86.0ms, 12.0% of total-time
Operation ival-sqrt, time spent: 62.0ms, 8.0% of total-time
Operation const, time spent: 19.0ms, 3.0% of total-time
Operation ival-neg, time spent: 16.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 10.0ms, 1.0% of total-time
Operation ival-if, time spent: 4.0ms, 1.0% of total-time

series980.0ms (1.2%)

Counts
136 → 2582
Calls

735 calls:

TimeVariablePointExpression
194.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))))
93.0ms
x
@inf
(pow.f64 (pow.f64 (exp.f64 (sqrt.f64 (fma.f64 x x -1))) (sqrt.f64 (sqrt.f64 (fma.f64 x x -1)))) (sqrt.f64 (sqrt.f64 (fma.f64 x x -1))))
81.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))))
45.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))))
26.0ms
x
@0
(pow.f64 (cbrt.f64 (exp.f64 (+.f64 x -1))) (+.f64 x 1))

analyze627.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: 426.0ms
Operation ival-mult, time spent: 160.0ms, 38.0% of total-time
Operation ival-sqrt, time spent: 117.0ms, 27.0% of total-time
Operation ival-sub, time spent: 44.0ms, 10.0% of total-time
Operation ival-div, time spent: 36.0ms, 8.0% of total-time
Operation ival-add, time spent: 18.0ms, 4.0% of total-time
Operation ival-neg, time spent: 16.0ms, 4.0% of total-time
Operation ival->=, time spent: 15.0ms, 4.0% of total-time
Operation const, time spent: 9.0ms, 2.0% of total-time
Operation ival-if, time spent: 5.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 4.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...