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: 8.4min)

sample2.0min (23.9%)

Results
1.0min256716×0valid
9.3s30996×0infinite
10.1s27694×1valid
11.8s15159×3valid
9.9s14948×2valid
756.0ms2660×0invalid
239.0ms945×0unsamplable
649.0ms742×4valid
4.9s548×5exit
110.0ms243×1infinite
178.0ms238×2infinite
29.0ms16×3infinite
Precisions
Click to see histograms. Total time spent on operations: 1.2min
Operation ival-add, time spent: 16.6s, 23.0% of total-time
Operation ival-sub, time spent: 13.9s, 19.0% of total-time
Operation ival-mult, time spent: 12.2s, 17.0% of total-time
Operation ival-pow, time spent: 7.4s, 10.0% of total-time
Operation ival-div, time spent: 7.2s, 10.0% of total-time
Operation ival-<=, time spent: 4.0s, 5.0% of total-time
Operation ival-sin, time spent: 3.1s, 4.0% of total-time
Operation const, time spent: 2.2s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.2s, 2.0% of total-time
Operation ival-cos, time spent: 1.1s, 1.0% of total-time
Operation ival-exp, time spent: 1.0s, 1.0% of total-time
Operation ival-and, time spent: 673.0ms, 1.0% of total-time
Operation ival-==, time spent: 439.0ms, 1.0% of total-time
Operation ival-neg, time spent: 408.0ms, 1.0% of total-time
Operation ival-tan, time spent: 370.0ms, 1.0% of total-time
Operation ival-fma, time spent: 323.0ms, 0.0% of total-time
Operation ival-log, time spent: 287.0ms, 0.0% of total-time
Operation ival-<, time spent: 167.0ms, 0.0% of total-time
Operation ival-atan, time spent: 113.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 66.0ms, 0.0% of total-time
Operation ival-pi, time spent: 44.0ms, 0.0% of total-time
Operation ival-if, time spent: 4.0ms, 0.0% of total-time
Bogosity

localize1.7min (20.1%)

Compiler

Compiled 28825 to 16834 computations (41.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3min
Operation ival-add, time spent: 21.4s, 27.0% of total-time
Operation ival-mult, time spent: 16.8s, 21.0% of total-time
Operation ival-sub, time spent: 13.1s, 16.0% of total-time
Operation ival-pow, time spent: 10.9s, 14.0% of total-time
Operation ival-div, time spent: 8.1s, 10.0% of total-time
Operation ival-fma, time spent: 4.9s, 6.0% of total-time
Operation const, time spent: 2.2s, 3.0% of total-time
Operation ival-exp, time spent: 897.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 855.0ms, 1.0% of total-time
Operation ival-expm1, time spent: 314.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 225.0ms, 0.0% of total-time
Operation ival-log, time spent: 149.0ms, 0.0% of total-time
Operation ival-log1p, time spent: 107.0ms, 0.0% of total-time
Operation ival-neg, time spent: 106.0ms, 0.0% of total-time
Operation ival-atan, time spent: 87.0ms, 0.0% of total-time
Operation ival-cos, time spent: 78.0ms, 0.0% of total-time
Operation ival-sin, time spent: 72.0ms, 0.0% of total-time
Operation ival-hypot, time spent: 46.0ms, 0.0% of total-time
Operation ival-tan, time spent: 28.0ms, 0.0% of total-time
Operation ival-pi, time spent: 6.0ms, 0.0% of total-time

eval59.9s (11.9%)

Compiler

Compiled 2549541 to 1686149 computations (33.9% saved)

soundness58.9s (11.7%)

Rules
158446×fma-def
86902×times-frac
82966×associate-*r*
71416×distribute-lft-in
70070×log-prod
Stop Event
4×saturated
250×node limit
Compiler

Compiled 22478 to 13509 computations (39.9% saved)

preprocess36.3s (7.2%)

Algorithm
42×egg-herbie
Rules
48610×fma-def
20956×sub-neg
19818×fma-neg
19082×div-sub
18016×unsub-neg
Stop Event
11×saturated
31×node limit
Compiler

Compiled 33639 to 20439 computations (39.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 18.1s
Operation ival-add, time spent: 5.7s, 32.0% of total-time
Operation ival-mult, time spent: 4.1s, 23.0% of total-time
Operation ival-sub, time spent: 3.8s, 21.0% of total-time
Operation ival-div, time spent: 1.9s, 11.0% of total-time
Operation ival-pow, time spent: 1.3s, 7.0% of total-time
Operation const, time spent: 526.0ms, 3.0% of total-time
Operation ival-sin, time spent: 161.0ms, 1.0% of total-time
Operation ival-cos, time spent: 144.0ms, 1.0% of total-time
Operation ival-exp, time spent: 137.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 86.0ms, 0.0% of total-time
Operation ival-neg, time spent: 71.0ms, 0.0% of total-time
Operation ival-tan, time spent: 22.0ms, 0.0% of total-time
Operation ival-log, time spent: 21.0ms, 0.0% of total-time
Operation ival-fma, time spent: 19.0ms, 0.0% of total-time
Operation ival-atan, time spent: 13.0ms, 0.0% of total-time
Operation ival-pi, time spent: 5.0ms, 0.0% of total-time

simplify31.7s (6.3%)

Algorithm
166×egg-herbie
Rules
99112×fma-def
57056×associate-*r*
55244×distribute-lft-in
52498×times-frac
51730×log-prod
Stop Event
42×saturated
124×node limit
23×fuel
19×done
Counts
52325 → 46969
Compiler

Compiled 9616 to 6171 computations (35.8% saved)

rewrite24.9s (4.9%)

Algorithm
124×batch-egg-rewrite
Rules
65120×log1p-expm1-u
58028×expm1-log1p-u
42746×prod-diff
41854×log-prod
36156×fma-def
Stop Event
124×node limit
Counts
923 → 34915

prune20.9s (4.1%)

Counts
75067 → 1976
Compiler

Compiled 76298 to 52156 computations (31.6% saved)

bsearch19.6s (3.9%)

Algorithm
299×binary-search
28×left-value
Stop Event
7×predicate-same
292×narrow-enough
Results
7.6s21452×0valid
5.3s7203×0infinite
1.3s3927×1valid
559.0ms3790×0invalid
1.6s2421×2valid
417.0ms302×3valid
63.0ms161×1infinite
72.0ms118×2infinite
208.0ms47×5exit
0.0ms2×0unsamplable
Compiler

Compiled 94262 to 65400 computations (30.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.4s
Operation ival-add, time spent: 3.7s, 30.0% of total-time
Operation ival-mult, time spent: 3.2s, 26.0% of total-time
Operation ival-sub, time spent: 2.9s, 23.0% of total-time
Operation ival-div, time spent: 1.2s, 9.0% of total-time
Operation ival-pow, time spent: 765.0ms, 6.0% of total-time
Operation const, time spent: 293.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 187.0ms, 2.0% of total-time
Operation ival-exp, time spent: 137.0ms, 1.0% of total-time
Operation ival-neg, time spent: 111.0ms, 1.0% of total-time
Operation ival-log, time spent: 5.0ms, 0.0% of total-time

regimes16.9s (3.3%)

Counts
4565 → 597
Calls

94 calls:

2.1s
c
1.7s
b
1.6s
x
1.5s
x1
1.4s
a
Compiler

Compiled 4024 to 2830 computations (29.7% saved)

analyze9.2s (1.8%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
23.5%12.8%41.7%45.5%0%0%0%1
37.4%20.4%34.1%45.5%0%0%0%2
49.2%26.2%27.1%45.5%0%1.2%0%3
58%30.7%22.3%45.5%0%1.5%0%4
71.4%37.7%15.1%45.6%0%1.7%0%5
73%38.4%14.2%45.6%0%1.7%0%6
78%40.7%11.5%45.6%0%2.2%0%7
81.6%42.6%9.6%45.7%0%2.2%0%8
84.5%43.8%8%45.7%0%2.5%0%9
86.6%44.6%6.9%45.7%0%2.7%0%10
88.7%45.6%5.8%45.7%0%2.8%0.1%11
89.7%45.9%5.3%45.7%0%2.9%0.1%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.4s
Operation ival-sqrt, time spent: 1.4s, 19.0% of total-time
Operation ival-add, time spent: 1.2s, 17.0% of total-time
Operation ival-mult, time spent: 1.2s, 16.0% of total-time
Operation ival-sub, time spent: 875.0ms, 12.0% of total-time
Operation ival-div, time spent: 862.0ms, 12.0% of total-time
Operation ival-pow, time spent: 803.0ms, 11.0% of total-time
Operation ival-fabs, time spent: 429.0ms, 6.0% of total-time
Operation ival-<=, time spent: 177.0ms, 2.0% of total-time
Operation const, time spent: 163.0ms, 2.0% of total-time
Operation ival-exp, time spent: 99.0ms, 1.0% of total-time
Operation ival-==, time spent: 57.0ms, 1.0% of total-time
Operation ival-<, time spent: 34.0ms, 0.0% of total-time
Operation ival-if, time spent: 27.0ms, 0.0% of total-time
Operation ival-neg, time spent: 20.0ms, 0.0% of total-time
Operation ival-and, time spent: 17.0ms, 0.0% of total-time
Operation ival-pi, time spent: 4.0ms, 0.0% of total-time
Operation ival-atan, time spent: 1.0ms, 0.0% of total-time
Operation ival-log, time spent: 1.0ms, 0.0% of total-time
Operation ival-fma, time spent: 0.0ms, 0.0% of total-time
Operation ival-cos, time spent: 0.0ms, 0.0% of total-time
Operation ival-tan, time spent: 0.0ms, 0.0% of total-time
Operation ival-sin, time spent: 0.0ms, 0.0% of total-time

series4.3s (0.8%)

Counts
923 → 17410
Calls

4920 calls:

TimeVariablePointExpression
273.0ms
x2
@0
(+.f64 (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1))
238.0ms
t
@0
(pow.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 3)
124.0ms
x
@inf
(pow.f64 (cbrt.f64 (/.f64 -10 (fma.f64 x x -1))) 3)
88.0ms
b
@0
(pow.f64 (pow.f64 (-.f64 (/.f64 c b) (/.f64 b a)) 3) 1/3)
64.0ms
t1
@0
(+.f64 (/.f64 u (neg.f64 t1)) -1)

end25.0ms (0%)

Profiling

Loading profile data...