Herbie run

Date:Monday, March 11th, 2024
Commit:d14d36a1 on main
Hostname:nightly with Racket 8.11.1
Seed:2024071
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: 39.0min)

sample7.4min (19%)

Results
5.1min1819358×256valid
1.1min345081×256infinite
13.7s64306×256invalid
14.6s30482×512valid
9.6s19089×1024valid
2.8s4971×2048valid
2.5s1526×8192exit
278.0ms1125×512infinite
333.0ms754×1024infinite
284.0ms732×1024invalid
167.0ms581×512invalid
2.0ms4×4096valid
Precisions
Click to see histograms. Total time spent on operations: 2.6min
Operation ival-mult, time spent: 54.7s, 35.0% of total-time
Operation ival-sub, time spent: 24.6s, 16.0% of total-time
Operation ival-add, time spent: 22.6s, 14.0% of total-time
Operation ival-div, time spent: 21.4s, 14.0% of total-time
Operation ival-log, time spent: 11.0s, 7.0% of total-time
Operation ival-sqrt, time spent: 6.2s, 4.0% of total-time
Operation ival-sin, time spent: 5.2s, 3.0% of total-time
Operation const, time spent: 4.3s, 3.0% of total-time
Operation ival-cos, time spent: 4.0s, 3.0% of total-time
Operation ival-exp, time spent: 2.4s, 1.0% of total-time
Operation ival-tan, time spent: 600.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 368.0ms, 0.0% of total-time
Operation ival-acos, time spent: 225.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 217.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 178.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 113.0ms, 0.0% of total-time
Bogosity

regimes4.9min (12.7%)

Counts
36802 → 5673
Calls

499 calls:

47.9s
z
45.3s
y
43.2s
x
30.6s
t
22.2s
a
Compiler

Compiled 45801 to 36157 computations (21.1% saved)

localize4.5min (11.5%)

Compiler

Compiled 115928 to 51070 computations (55.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.5min
Operation ival-mult, time spent: 40.3s, 27.0% of total-time
Operation ival-div, time spent: 20.2s, 13.0% of total-time
Operation ival-add, time spent: 19.8s, 13.0% of total-time
Operation ival-pow, time spent: 15.4s, 10.0% of total-time
Operation composed, time spent: 14.3s, 9.0% of total-time
Operation ival-sub, time spent: 10.2s, 7.0% of total-time
Operation ival-log, time spent: 9.0s, 6.0% of total-time
Operation ival-sqrt, time spent: 6.2s, 4.0% of total-time
Operation const, time spent: 3.4s, 2.0% of total-time
Operation ival-cos, time spent: 3.1s, 2.0% of total-time
Operation ival-sin, time spent: 2.9s, 2.0% of total-time
Operation ival-exp, time spent: 2.9s, 2.0% of total-time
Operation ival-cbrt, time spent: 1.1s, 1.0% of total-time
Operation ival-neg, time spent: 869.0ms, 1.0% of total-time
Operation ival-tan, time spent: 414.0ms, 0.0% of total-time
Operation ival-acos, time spent: 166.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 117.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 47.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 25.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 21.0ms, 0.0% of total-time
Operation ival-e, time spent: 7.0ms, 0.0% of total-time

simplify4.4min (11.3%)

Algorithm
1119×egg-herbie
Rules
309704×fma-define
254662×fma-neg
216559×associate-*r*
213081×*-commutative
209692×distribute-lft-in
Stop Event
269×saturated
842×node limit
150×fuel
8×unsound
119×done
Counts
385346 → 327156
Compiler

Compiled 67691 to 41493 computations (38.7% saved)

soundness3.6min (9.2%)

Rules
258282×fma-define
232849×fma-neg
187122×log1p-expm1-u
155762×associate-*r*
147540×times-frac
Stop Event
90×saturated
753×node limit
5×unsound
Compiler

Compiled 104311 to 57981 computations (44.4% saved)

eval3.5min (9%)

Compiler

Compiled 9324454 to 4965886 computations (46.7% saved)

rewrite3.0min (7.8%)

Algorithm
850×batch-egg-rewrite
Rules
590980×log1p-expm1-u
438641×expm1-log1p-u
165003×pow1
155573×add-exp-log
148865×add-log-exp
Stop Event
849×node limit
1×unsound
Counts
5864 → 215477

preprocess2.2min (5.6%)

Algorithm
269×egg-herbie
Rules
137764×fma-neg
117084×fma-define
57352×unsub-neg
50425×sub-neg
47106×distribute-rgt-in
Stop Event
153×saturated
116×node limit
Compiler

Compiled 206045 to 105088 computations (49% saved)

Precisions
Click to see histograms. Total time spent on operations: 20.0s
Operation ival-mult, time spent: 6.3s, 32.0% of total-time
Operation ival-add, time spent: 3.3s, 16.0% of total-time
Operation ival-sub, time spent: 3.1s, 16.0% of total-time
Operation ival-log, time spent: 2.5s, 12.0% of total-time
Operation ival-div, time spent: 2.3s, 11.0% of total-time
Operation ival-sqrt, time spent: 648.0ms, 3.0% of total-time
Operation const, time spent: 588.0ms, 3.0% of total-time
Operation ival-cos, time spent: 439.0ms, 2.0% of total-time
Operation ival-sin, time spent: 392.0ms, 2.0% of total-time
Operation ival-exp, time spent: 380.0ms, 2.0% of total-time
Operation ival-tan, time spent: 36.0ms, 0.0% of total-time
Operation ival-acos, time spent: 18.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 15.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 14.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 13.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 11.0ms, 0.0% of total-time

prune2.0min (5.2%)

Counts
412547 → 13602
Compiler

Compiled 455357 to 309631 computations (32% saved)

bsearch2.0min (5.1%)

Algorithm
3267×binary-search
339×left-value
Stop Event
54×predicate-same
3213×narrow-enough
Results
1.1min313397×256valid
30.5s86551×256infinite
1.4s7754×256invalid
2.3s3255×512valid
1.1s1703×1024valid
65.0ms120×2048valid
29.0ms90×512infinite
36.0ms84×1024infinite
4.0ms12×1024invalid
2.0ms10×512invalid
Compiler

Compiled 772692 to 578242 computations (25.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 46.0s
Operation ival-mult, time spent: 20.8s, 45.0% of total-time
Operation ival-sub, time spent: 9.5s, 21.0% of total-time
Operation ival-add, time spent: 6.2s, 13.0% of total-time
Operation ival-div, time spent: 4.3s, 9.0% of total-time
Operation ival-sqrt, time spent: 1.2s, 3.0% of total-time
Operation ival-log, time spent: 1.1s, 2.0% of total-time
Operation ival-sin, time spent: 1.0s, 2.0% of total-time
Operation const, time spent: 794.0ms, 2.0% of total-time
Operation ival-cos, time spent: 757.0ms, 2.0% of total-time
Operation ival-exp, time spent: 285.0ms, 1.0% of total-time
Operation ival-sinh, time spent: 26.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 17.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 6.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 3.0ms, 0.0% of total-time

series53.6s (2.3%)

Counts
5864 → 169869
Calls

41550 calls:

TimeVariablePointExpression
345.0ms
y
@-inf
(- a (* (/ (- a x) z) (- (+ y -1) t)))
304.0ms
z
@0
(log (* x z))
299.0ms
y
@0
(* (pow x 1/4) y)
289.0ms
x
@0
(log (/ x y))
259.0ms
z
@-inf
(* z (+ 1 (+ (/ a z) (+ (/ t z) (/ (* x (log y)) z)))))

analyze30.6s (1.3%)

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: 19.2s
Operation ival-cos, time spent: 6.0s, 31.0% of total-time
Operation ival-mult, time spent: 4.2s, 22.0% of total-time
Operation ival-sin, time spent: 2.5s, 13.0% of total-time
Operation ival-add, time spent: 1.7s, 9.0% of total-time
Operation ival-sub, time spent: 1.5s, 8.0% of total-time
Operation ival-div, time spent: 1.4s, 7.0% of total-time
Operation ival-sqrt, time spent: 545.0ms, 3.0% of total-time
Operation ival-tan, time spent: 519.0ms, 3.0% of total-time
Operation ival-log, time spent: 345.0ms, 2.0% of total-time
Operation const, time spent: 239.0ms, 1.0% of total-time
Operation ival-exp, time spent: 106.0ms, 1.0% of total-time
Operation ival-acos, time spent: 49.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 15.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 8.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 4.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 4.0ms, 0.0% of total-time

end141.0ms (0%)

Profiling

Loading profile data...