Herbie run

Date:Wednesday, February 28th, 2024
Commit:699b9765 on main
Hostname:nightly with Racket 8.11.1
Seed:2024059
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.3min)

sample7.2min (18.9%)

Results
4.9min1819908×256valid
1.0min344401×256infinite
14.5s63952×256invalid
15.3s30208×512valid
9.1s19187×1024valid
3.1s5231×2048valid
2.0s1604×8192exit
288.0ms1169×512infinite
780.0ms752×1024infinite
710.0ms707×1024invalid
135.0ms618×512invalid
7.0ms8×4096valid
Precisions
Click to see histograms. Total time spent on operations: 2.6min
Operation ival-mult, time spent: 51.8s, 33.0% of total-time
Operation ival-add, time spent: 24.9s, 16.0% of total-time
Operation ival-sub, time spent: 22.1s, 14.0% of total-time
Operation ival-div, time spent: 21.0s, 14.0% of total-time
Operation ival-log, time spent: 11.4s, 7.0% of total-time
Operation ival-sqrt, time spent: 6.3s, 4.0% of total-time
Operation ival-sin, time spent: 4.9s, 3.0% of total-time
Operation ival-cos, time spent: 4.8s, 3.0% of total-time
Operation const, time spent: 4.2s, 3.0% of total-time
Operation ival-exp, time spent: 1.7s, 1.0% of total-time
Operation ival-tanh, time spent: 603.0ms, 0.0% of total-time
Operation ival-tan, time spent: 455.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 303.0ms, 0.0% of total-time
Operation ival-acos, time spent: 263.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 203.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 134.0ms, 0.0% of total-time
Bogosity

regimes5.8min (15.1%)

Counts
34825 → 5612
Calls

491 calls:

55.4s
y
52.2s
x
48.3s
z
34.2s
t
32.4s
a
Compiler

Compiled 44457 to 35150 computations (20.9% saved)

localize4.3min (11.2%)

Compiler

Compiled 111974 to 48363 computations (56.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.4min
Operation ival-mult, time spent: 38.5s, 26.0% of total-time
Operation ival-pow, time spent: 18.6s, 13.0% of total-time
Operation ival-div, time spent: 17.3s, 12.0% of total-time
Operation ival-add, time spent: 16.5s, 11.0% of total-time
Operation composed, time spent: 11.8s, 8.0% of total-time
Operation ival-sub, time spent: 10.1s, 7.0% of total-time
Operation ival-log, time spent: 7.9s, 5.0% of total-time
Operation ival-cos, time spent: 6.6s, 5.0% of total-time
Operation ival-sqrt, time spent: 6.5s, 4.0% of total-time
Operation const, time spent: 3.4s, 2.0% of total-time
Operation ival-sin, time spent: 3.1s, 2.0% of total-time
Operation ival-exp, time spent: 2.0s, 1.0% of total-time
Operation ival-cbrt, time spent: 1.4s, 1.0% of total-time
Operation ival-tan, time spent: 977.0ms, 1.0% of total-time
Operation ival-neg, time spent: 769.0ms, 1.0% of total-time
Operation ival-sinh, time spent: 113.0ms, 0.0% of total-time
Operation ival-acos, time spent: 35.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 14.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 9.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 7.0ms, 0.0% of total-time
Operation ival-e, time spent: 6.0ms, 0.0% of total-time

simplify4.2min (11%)

Algorithm
1085×egg-herbie
Rules
583706×fma-define
490104×fma-neg
412842×distribute-lft-in
408672×*-commutative
408412×associate-*r*
Stop Event
268×saturated
811×node limit
147×fuel
6×unsound
122×done
Counts
364449 → 310006
Compiler

Compiled 64739 to 39422 computations (39.1% saved)

soundness3.4min (9%)

Rules
504448×fma-define
449770×fma-neg
293938×associate-*r*
280932×times-frac
277304×distribute-lft-in
Stop Event
84×saturated
735×node limit
5×unsound
Compiler

Compiled 92713 to 50424 computations (45.6% saved)

eval3.2min (8.5%)

Compiler

Compiled 9012752 to 4679736 computations (48.1% saved)

rewrite2.9min (7.5%)

Algorithm
816×batch-egg-rewrite
Rules
586647×log1p-expm1-u
421407×expm1-log1p-u
267722×prod-diff
262760×log-prod
212240×unpow-prod-down
Stop Event
814×node limit
2×unsound
Counts
5599 → 200418

preprocess2.2min (5.7%)

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 194417 to 97748 computations (49.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 18.4s
Operation ival-mult, time spent: 6.1s, 33.0% of total-time
Operation ival-add, time spent: 2.6s, 14.0% of total-time
Operation ival-sub, time spent: 2.6s, 14.0% of total-time
Operation ival-log, time spent: 2.5s, 14.0% of total-time
Operation ival-div, time spent: 1.7s, 9.0% of total-time
Operation ival-sqrt, time spent: 945.0ms, 5.0% of total-time
Operation ival-sin, time spent: 611.0ms, 3.0% of total-time
Operation const, time spent: 598.0ms, 3.0% of total-time
Operation ival-cos, time spent: 341.0ms, 2.0% of total-time
Operation ival-exp, time spent: 165.0ms, 1.0% of total-time
Operation ival-tan, time spent: 159.0ms, 1.0% of total-time
Operation ival-acos, time spent: 11.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 10.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 10.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 9.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 8.0ms, 0.0% of total-time

bsearch2.0min (5.2%)

Algorithm
3363×binary-search
261×left-value
Stop Event
59×predicate-same
3304×narrow-enough
Results
1.1min317912×256valid
30.8s88057×256infinite
1.5s7738×256invalid
2.4s4833×512valid
1.7s2744×1024valid
74.0ms152×2048valid
40.0ms105×512infinite
27.0ms53×1024infinite
5.0ms23×512invalid
7.0ms15×1024invalid
Compiler

Compiled 775345 to 580409 computations (25.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 45.7s
Operation ival-mult, time spent: 21.0s, 46.0% of total-time
Operation ival-sub, time spent: 9.6s, 21.0% of total-time
Operation ival-add, time spent: 6.8s, 15.0% of total-time
Operation ival-div, time spent: 3.6s, 8.0% of total-time
Operation ival-log, time spent: 1.8s, 4.0% of total-time
Operation ival-sqrt, time spent: 900.0ms, 2.0% of total-time
Operation const, time spent: 810.0ms, 2.0% of total-time
Operation ival-cos, time spent: 515.0ms, 1.0% of total-time
Operation ival-sin, time spent: 389.0ms, 1.0% of total-time
Operation ival-exp, time spent: 282.0ms, 1.0% of total-time
Operation ival-tanh, time spent: 12.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 4.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 2.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 1.0ms, 0.0% of total-time

prune1.9min (4.9%)

Counts
390314 → 13185
Compiler

Compiled 440544 to 297584 computations (32.5% saved)

series49.0s (2.1%)

Counts
5599 → 164031
Calls

40377 calls:

TimeVariablePointExpression
382.0ms
a
@inf
(+ (* (/ (- y z) (+ t (- 1 z))) (- a x)) x)
287.0ms
x
@0
(* x (log y))
267.0ms
x
@-inf
(cbrt x)
260.0ms
z
@inf
(* (* z (* z (/ 1 x))) y)
234.0ms
x
@-inf
(pow (* (* y x) 27) 1/4)

analyze21.4s (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: 10.3s
Operation ival-mult, time spent: 4.4s, 43.0% of total-time
Operation ival-div, time spent: 1.6s, 16.0% of total-time
Operation ival-add, time spent: 1.4s, 14.0% of total-time
Operation ival-sub, time spent: 1.4s, 14.0% of total-time
Operation ival-log, time spent: 361.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 244.0ms, 2.0% of total-time
Operation const, time spent: 238.0ms, 2.0% of total-time
Operation ival-sin, time spent: 221.0ms, 2.0% of total-time
Operation ival-exp, time spent: 115.0ms, 1.0% of total-time
Operation ival-cos, time spent: 65.0ms, 1.0% of total-time
Operation ival-sinh, time spent: 54.0ms, 1.0% of total-time
Operation ival-tan, time spent: 28.0ms, 0.0% of total-time
Operation ival-acos, time spent: 28.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 11.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 8.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 3.0ms, 0.0% of total-time

end120.0ms (0%)

Profiling

Loading profile data...