Herbie run

Date:Thursday, March 7th, 2024
Commit:36fc83f8 on main
Hostname:nightly with Racket 8.11.1
Seed:2024067
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: 38.4min)

sample7.3min (19.1%)

Results
5.0min1824302×256valid
1.0min340305×256infinite
15.9s64327×256invalid
13.8s29983×512valid
8.5s19195×1024valid
2.8s5178×2048valid
2.6s1673×8192exit
393.0ms1143×512infinite
396.0ms753×1024infinite
241.0ms655×1024invalid
120.0ms584×512invalid
3.0ms5×4096valid
Precisions
Click to see histograms. Total time spent on operations: 2.6min
Operation ival-mult, time spent: 55.0s, 35.0% of total-time
Operation ival-sub, time spent: 23.5s, 15.0% of total-time
Operation ival-add, time spent: 23.2s, 15.0% of total-time
Operation ival-div, time spent: 19.9s, 13.0% of total-time
Operation ival-log, time spent: 10.4s, 7.0% of total-time
Operation ival-sqrt, time spent: 6.5s, 4.0% of total-time
Operation ival-cos, time spent: 4.5s, 3.0% of total-time
Operation ival-sin, time spent: 4.5s, 3.0% of total-time
Operation const, time spent: 4.4s, 3.0% of total-time
Operation ival-exp, time spent: 1.5s, 1.0% of total-time
Operation ival-tanh, time spent: 612.0ms, 0.0% of total-time
Operation ival-tan, time spent: 417.0ms, 0.0% of total-time
Operation ival-acos, time spent: 415.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 326.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 233.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 140.0ms, 0.0% of total-time
Bogosity

regimes5.1min (13.4%)

Counts
35432 → 5909
Calls

492 calls:

51.9s
x
48.1s
z
47.3s
y
35.9s
t
27.5s
a
Compiler

Compiled 44599 to 35239 computations (21% saved)

simplify4.2min (11%)

Algorithm
1094×egg-herbie
Rules
572322×fma-define
495476×fma-neg
414512×associate-*r*
414014×*-commutative
411846×distribute-lft-in
Stop Event
269×saturated
822×node limit
149×fuel
3×unsound
120×done
Counts
384841 → 327039
Compiler

Compiled 68036 to 41363 computations (39.2% saved)

localize4.2min (11%)

Compiler

Compiled 115100 to 50378 computations (56.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.3min
Operation ival-mult, time spent: 40.0s, 29.0% of total-time
Operation ival-div, time spent: 18.9s, 14.0% of total-time
Operation ival-add, time spent: 17.2s, 13.0% of total-time
Operation composed, time spent: 12.9s, 9.0% of total-time
Operation ival-pow, time spent: 12.5s, 9.0% of total-time
Operation ival-sub, time spent: 8.7s, 6.0% of total-time
Operation ival-log, time spent: 6.9s, 5.0% of total-time
Operation ival-sqrt, time spent: 5.5s, 4.0% of total-time
Operation ival-cos, time spent: 4.6s, 3.0% of total-time
Operation const, time spent: 3.4s, 3.0% of total-time
Operation ival-sin, time spent: 2.7s, 2.0% of total-time
Operation ival-exp, time spent: 1.6s, 1.0% of total-time
Operation ival-cbrt, time spent: 864.0ms, 1.0% of total-time
Operation ival-neg, time spent: 612.0ms, 0.0% of total-time
Operation ival-acos, time spent: 211.0ms, 0.0% of total-time
Operation ival-tan, time spent: 196.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 66.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 43.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 40.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 11.0ms, 0.0% of total-time
Operation ival-e, time spent: 6.0ms, 0.0% of total-time

soundness3.5min (9.2%)

Rules
518856×fma-define
477088×fma-neg
303984×associate-*r*
300146×times-frac
298712×distribute-lft-in
Stop Event
87×saturated
759×node limit
4×unsound
Compiler

Compiled 97925 to 54625 computations (44.2% saved)

eval3.4min (9%)

Compiler

Compiled 9559757 to 5058883 computations (47.1% saved)

rewrite3.0min (7.7%)

Algorithm
825×batch-egg-rewrite
Rules
566796×log1p-expm1-u
426081×expm1-log1p-u
285718×prod-diff
280168×log-prod
213664×unpow-prod-down
Stop Event
822×node limit
3×unsound
Counts
5864 → 214072

preprocess2.2min (5.8%)

Algorithm
269×egg-herbie
Rules
275536×fma-neg
234168×fma-define
114704×unsub-neg
100834×sub-neg
94200×distribute-rgt-in
Stop Event
153×saturated
116×node limit
Compiler

Compiled 197839 to 99212 computations (49.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 19.9s
Operation ival-mult, time spent: 6.1s, 31.0% of total-time
Operation ival-add, time spent: 3.3s, 17.0% of total-time
Operation ival-sub, time spent: 2.6s, 13.0% of total-time
Operation ival-log, time spent: 2.5s, 13.0% of total-time
Operation ival-div, time spent: 2.5s, 13.0% of total-time
Operation ival-sqrt, time spent: 808.0ms, 4.0% of total-time
Operation const, time spent: 603.0ms, 3.0% of total-time
Operation ival-sin, time spent: 582.0ms, 3.0% of total-time
Operation ival-cos, time spent: 569.0ms, 3.0% of total-time
Operation ival-exp, time spent: 220.0ms, 1.0% of total-time
Operation ival-tan, time spent: 41.0ms, 0.0% of total-time
Operation ival-acos, time spent: 13.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 11.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 9.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 8.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 8.0ms, 0.0% of total-time

bsearch2.1min (5.4%)

Algorithm
3526×binary-search
320×left-value
Stop Event
48×predicate-same
3478×narrow-enough
Results
1.2min339319×256valid
31.2s89395×256infinite
1.1s6676×256invalid
1.8s3741×512valid
1.1s1993×1024valid
58.0ms123×2048valid
36.0ms108×512infinite
28.0ms57×1024infinite
6.0ms19×1024invalid
4.0ms16×512invalid
Compiler

Compiled 812123 to 608476 computations (25.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 47.3s
Operation ival-mult, time spent: 21.5s, 45.0% of total-time
Operation ival-sub, time spent: 10.4s, 22.0% of total-time
Operation ival-add, time spent: 6.6s, 14.0% of total-time
Operation ival-div, time spent: 4.0s, 8.0% of total-time
Operation ival-log, time spent: 1.5s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.0s, 2.0% of total-time
Operation const, time spent: 841.0ms, 2.0% of total-time
Operation ival-sin, time spent: 653.0ms, 1.0% of total-time
Operation ival-cos, time spent: 575.0ms, 1.0% of total-time
Operation ival-exp, time spent: 270.0ms, 1.0% of total-time
Operation ival-tanh, time spent: 24.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 2.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 2.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 2.0ms, 0.0% of total-time

prune2.0min (5.2%)

Counts
413826 → 13251
Compiler

Compiled 439565 to 298075 computations (32.2% saved)

series51.4s (2.2%)

Counts
5864 → 170769
Calls

41928 calls:

TimeVariablePointExpression
451.0ms
y
@-inf
(log (/ (cbrt x) y))
437.0ms
x
@-inf
(* (sqrt (* x 9)) (+ (/ 1/9 x) (+ y -1)))
265.0ms
b
@0
(/ (+ (* y (+ (* y (+ (* y (+ (* x y) z)) 54929528941/2000000)) 28832688827/125000)) t) (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i))
255.0ms
x
@-inf
(+ (log (+ x y)) (- (log z) (+ (* (log t) (- 1/2 a)) t)))
254.0ms
x
@-inf
(* x (* (log (/ 1 (cbrt (/ y x)))) 3))

analyze20.6s (0.9%)

Algorithm
269×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
46.5%46.4%53.4%0.1%0%0%0%1
50.1%49.7%49.5%0.1%0%0.6%0%2
58.6%57%40.3%0.1%0%2.6%0%3
65.2%62.7%33.5%0.1%0%3.6%0%4
71.3%68.3%27.5%0.1%0%4.1%0%5
75.9%72.4%22.9%0.1%0%4.6%0%6
80%75.7%19%0.1%0%5.1%0%7
81.8%77.1%17.1%0.1%0%5.6%0%8
84.5%79.4%14.6%0.1%0%5.9%0%9
86.1%80.6%13.1%0.1%0%6.2%0%10
88.6%83%10.6%0.1%0%6.2%0%11
89.7%83.7%9.6%0.1%0%6.5%0%12
Compiler

Compiled 4012 to 2763 computations (31.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.1s
Operation ival-mult, time spent: 3.7s, 40.0% of total-time
Operation ival-sub, time spent: 1.6s, 17.0% of total-time
Operation ival-add, time spent: 1.5s, 17.0% of total-time
Operation ival-div, time spent: 1.1s, 12.0% of total-time
Operation ival-sqrt, time spent: 333.0ms, 4.0% of total-time
Operation const, time spent: 251.0ms, 3.0% of total-time
Operation ival-log, time spent: 224.0ms, 2.0% of total-time
Operation ival-sin, time spent: 120.0ms, 1.0% of total-time
Operation ival-cos, time spent: 112.0ms, 1.0% of total-time
Operation ival-exp, time spent: 107.0ms, 1.0% of total-time
Operation ival-tan, time spent: 30.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 24.0ms, 0.0% of total-time
Operation ival-acos, time spent: 23.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 8.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 4.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 2.0ms, 0.0% of total-time

end130.0ms (0%)

Profiling

Loading profile data...