Herbie run

Date:Saturday, March 16th, 2024
Commit:d6625134 on platforms
Hostname:nightly with Racket 8.11.1
Seed:2024076
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.7min)

sample3.0min (45.4%)

Results
31.0s140186×256precondition
15.1s95103×256valid
27.7s58814×1024valid
45.6s36131×2048valid
10.2s34455×512valid
34.1s7110×8192exit
1.0s4343×256infinite
704.0ms4289×256unsamplable
482.0ms3972×256invalid
1.3s2017×4096valid
115.0ms197×512infinite
116.0ms108×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-pow, time spent: 33.2s, 27.0% of total-time
Operation ival-tan, time spent: 13.4s, 11.0% of total-time
Operation ival-exp, time spent: 12.6s, 10.0% of total-time
Operation ival-mult, time spent: 10.1s, 8.0% of total-time
Operation ival-sub, time spent: 7.2s, 6.0% of total-time
Operation ival-log, time spent: 6.3s, 5.0% of total-time
Operation ival-cos, time spent: 6.0s, 5.0% of total-time
Operation ival-sin, time spent: 5.8s, 5.0% of total-time
Operation ival-div, time spent: 5.7s, 5.0% of total-time
Operation ival-add, time spent: 5.7s, 5.0% of total-time
Operation ival-fabs, time spent: 4.3s, 3.0% of total-time
Operation ival-<=, time spent: 4.1s, 3.0% of total-time
Operation ival-<, time spent: 2.6s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.7s, 1.0% of total-time
Operation const, time spent: 1.6s, 1.0% of total-time
Operation ival-fmin, time spent: 1.2s, 1.0% of total-time
Operation ival->, time spent: 1.0s, 1.0% of total-time
Operation ival-and, time spent: 1.0s, 1.0% of total-time
Operation ival-atan, time spent: 549.0ms, 0.0% of total-time
Operation ival-neg, time spent: 523.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 483.0ms, 0.0% of total-time
Bogosity

localize1.3min (18.8%)

Compiler

Compiled 16978 to 10009 computations (41% saved)

Precisions
Click to see histograms. Total time spent on operations: 55.2s
Operation ival-pow, time spent: 17.3s, 31.0% of total-time
Operation ival-mult, time spent: 8.2s, 15.0% of total-time
Operation ival-exp, time spent: 4.9s, 9.0% of total-time
Operation composed, time spent: 4.3s, 8.0% of total-time
Operation ival-div, time spent: 4.2s, 8.0% of total-time
Operation ival-add, time spent: 4.1s, 7.0% of total-time
Operation ival-log, time spent: 2.7s, 5.0% of total-time
Operation ival-sub, time spent: 1.7s, 3.0% of total-time
Operation ival-tan, time spent: 1.6s, 3.0% of total-time
Operation const, time spent: 1.2s, 2.0% of total-time
Operation ival-cbrt, time spent: 1.2s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.1s, 2.0% of total-time
Operation ival-cos, time spent: 1.1s, 2.0% of total-time
Operation ival-sin, time spent: 1.0s, 2.0% of total-time
Operation ival-neg, time spent: 236.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 93.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 34.0ms, 0.0% of total-time
Operation ival-atan, time spent: 17.0ms, 0.0% of total-time

eval33.8s (8.4%)

Compiler

Compiled 1461892 to 936754 computations (35.9% saved)

simplify24.9s (6.2%)

Algorithm
126×egg-herbie
Rules
33662×fma-define
31889×fmm-def
28538×associate-*r*
27699×times-frac
26461×distribute-lft-in
Stop Event
28×saturated
97×node limit
20×fuel
1×unsound
8×done
Counts
38680 → 40220
Compiler

Compiled 3385 to 2429 computations (28.2% saved)

soundness22.5s (5.6%)

Rules
31286×log1p-expm1-u
30504×fma-define
26610×fmm-def
26562×expm1-log1p-u
19909×associate-*r*
Stop Event
8×saturated
103×node limit
Compiler

Compiled 17038 to 11511 computations (32.4% saved)

rewrite19.0s (4.7%)

Algorithm
98×batch-egg-rewrite
Rules
59222×log1p-expm1-u
47461×expm1-log1p-u
20104×prod-diff
19707×pow1
19058×add-exp-log
Stop Event
98×node limit
Counts
745 → 26306

preprocess15.3s (3.8%)

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 12581 to 8036 computations (36.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.5s
Operation ival-exp, time spent: 884.0ms, 16.0% of total-time
Operation ival-tan, time spent: 759.0ms, 14.0% of total-time
Operation ival-log, time spent: 579.0ms, 11.0% of total-time
Operation ival-div, time spent: 490.0ms, 9.0% of total-time
Operation ival-sub, time spent: 482.0ms, 9.0% of total-time
Operation ival-mult, time spent: 441.0ms, 8.0% of total-time
Operation ival-add, time spent: 359.0ms, 7.0% of total-time
Operation ival-pow, time spent: 329.0ms, 6.0% of total-time
Operation ival-cos, time spent: 313.0ms, 6.0% of total-time
Operation ival-sin, time spent: 275.0ms, 5.0% of total-time
Operation ival-neg, time spent: 219.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 145.0ms, 3.0% of total-time
Operation const, time spent: 123.0ms, 2.0% of total-time
Operation ival-atan, time spent: 35.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 28.0ms, 1.0% of total-time

prune13.4s (3.4%)

Counts
58654 → 1998
Compiler

Compiled 63877 to 45709 computations (28.4% saved)

regimes4.9s (1.2%)

Counts
3706 → 284
Calls

43 calls:

1.1s
x
897.0ms
(/.f64 #s(literal 1 binary64) n)
521.0ms
n
398.0ms
b_2
348.0ms
eps
Compiler

Compiled 1625 to 1140 computations (29.8% saved)

series3.8s (1%)

Counts
745 → 12374
Calls

3339 calls:

TimeVariablePointExpression
138.0ms
N
@inf
(/ (- 1 (/ 1/2 N)) N)
128.0ms
x
@-inf
(log (pow (tan x) 2))
103.0ms
x
@inf
(cbrt (* (- 1 (cos x)) (pow x -2)))
86.0ms
n
@0
(/ (- (log (+ 1 x)) (log x)) n)
61.0ms
b
@inf
(pow (+ (* a (* c -4)) (pow b 2)) 1/4)

bsearch2.9s (0.7%)

Algorithm
66×binary-search
35×left-value
Stop Event
8×predicate-same
58×narrow-enough
Results
767.0ms4357×256valid
772.0ms1021×1024valid
186.0ms895×256invalid
235.0ms573×512valid
125.0ms493×256infinite
299.0ms276×2048valid
31.0ms146×256unsamplable
42.0ms68×512infinite
52.0ms58×1024infinite
2.0ms2×4096valid
Compiler

Compiled 11252 to 8465 computations (24.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5s
Operation ival-pow, time spent: 851.0ms, 58.0% of total-time
Operation ival-sub, time spent: 146.0ms, 10.0% of total-time
Operation ival-div, time spent: 134.0ms, 9.0% of total-time
Operation ival-mult, time spent: 112.0ms, 8.0% of total-time
Operation ival-add, time spent: 57.0ms, 4.0% of total-time
Operation ival-exp, time spent: 43.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 38.0ms, 3.0% of total-time
Operation ival-neg, time spent: 28.0ms, 2.0% of total-time
Operation const, time spent: 25.0ms, 2.0% of total-time
Operation ival-cbrt, time spent: 16.0ms, 1.0% of total-time
Operation ival-cos, time spent: 9.0ms, 1.0% of total-time

analyze2.9s (0.7%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
18.1%11.1%50%38.9%0%0%0%1
25.4%15.5%45.6%38.9%0%0%0%2
40.7%23.8%34.6%41.6%0%0%0%3
49.4%28.8%29.5%41.7%0%0%0%4
56.4%32.5%25.1%42.4%0%0%0%5
58.7%33.4%23.5%43.1%0%0%0%6
62.4%34.4%20.7%44%0%0.8%0.1%7
65.4%35.7%18.9%44.5%0%0.8%0.1%8
67.8%36.4%17.3%44.9%0%1.2%0.3%9
69.8%36.8%15.9%45.2%0%1.7%0.3%10
72.3%37.8%14.5%45.4%0%1.9%0.4%11
73.5%38.1%13.7%45.6%0%2.2%0.4%12
Compiler

Compiled 498 to 351 computations (29.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5s
Operation ival-mult, time spent: 224.0ms, 15.0% of total-time
Operation ival-sub, time spent: 222.0ms, 14.0% of total-time
Operation ival-pow, time spent: 171.0ms, 11.0% of total-time
Operation ival-log, time spent: 145.0ms, 9.0% of total-time
Operation ival-div, time spent: 114.0ms, 7.0% of total-time
Operation ival-cos, time spent: 94.0ms, 6.0% of total-time
Operation ival-<=, time spent: 84.0ms, 5.0% of total-time
Operation ival-exp, time spent: 72.0ms, 5.0% of total-time
Operation ival-add, time spent: 67.0ms, 4.0% of total-time
Operation ival-sin, time spent: 66.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 54.0ms, 3.0% of total-time
Operation ival-tan, time spent: 53.0ms, 3.0% of total-time
Operation ival-fabs, time spent: 51.0ms, 3.0% of total-time
Operation const, time spent: 45.0ms, 3.0% of total-time
Operation ival-neg, time spent: 31.0ms, 2.0% of total-time
Operation ival->, time spent: 15.0ms, 1.0% of total-time
Operation ival-and, time spent: 14.0ms, 1.0% of total-time
Operation ival-fmin, time spent: 10.0ms, 1.0% of total-time
Operation ival-<, time spent: 10.0ms, 1.0% of total-time
Operation ival-atan, time spent: 0.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 0.0ms, 0.0% of total-time

end7.0ms (0%)

Profiling

Loading profile data...