Herbie run

Date:Thursday, April 4th, 2024
Commit:9887997d on platforms
Hostname:nightly with Racket 8.11.1
Seed:2024095
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: 35.9min)

sample7.2min (20.1%)

Results
4.9min1821577×256valid
1.0min342924×256infinite
15.9s64872×256invalid
14.5s30127×512valid
9.7s19276×1024valid
2.8s5142×2048valid
2.4s1701×8192exit
287.0ms1102×512infinite
529.0ms712×1024infinite
252.0ms694×1024invalid
128.0ms558×512invalid
2.0ms4×4096valid
Precisions
Click to see histograms. Total time spent on operations: 2.6min
Operation ival-mult, time spent: 51.0s, 33.0% of total-time
Operation ival-add, time spent: 23.4s, 15.0% of total-time
Operation ival-sub, time spent: 23.3s, 15.0% of total-time
Operation ival-div, time spent: 20.6s, 13.0% of total-time
Operation ival-log, time spent: 10.5s, 7.0% of total-time
Operation ival-sqrt, time spent: 7.0s, 5.0% of total-time
Operation ival-sin, time spent: 4.9s, 3.0% of total-time
Operation ival-cos, time spent: 4.3s, 3.0% of total-time
Operation const, time spent: 4.3s, 3.0% of total-time
Operation ival-exp, time spent: 1.7s, 1.0% of total-time
Operation ival-cosh, time spent: 570.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 474.0ms, 0.0% of total-time
Operation ival-tan, time spent: 434.0ms, 0.0% of total-time
Operation ival-acos, time spent: 237.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 189.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 110.0ms, 0.0% of total-time
Bogosity

localize4.5min (12.7%)

Compiler

Compiled 115179 to 50501 computations (56.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6min
Operation ival-mult, time spent: 38.3s, 25.0% of total-time
Operation ival-pow, time spent: 19.7s, 13.0% of total-time
Operation ival-div, time spent: 19.3s, 12.0% of total-time
Operation ival-add, time spent: 17.4s, 11.0% of total-time
Operation composed, time spent: 12.7s, 8.0% of total-time
Operation ival-log, time spent: 11.4s, 7.0% of total-time
Operation ival-cos, time spent: 9.4s, 6.0% of total-time
Operation ival-sub, time spent: 8.9s, 6.0% of total-time
Operation ival-sqrt, time spent: 5.8s, 4.0% of total-time
Operation ival-exp, time spent: 4.1s, 3.0% of total-time
Operation const, time spent: 3.6s, 2.0% of total-time
Operation ival-sin, time spent: 2.9s, 2.0% of total-time
Operation ival-cbrt, time spent: 1.2s, 1.0% of total-time
Operation ival-neg, time spent: 656.0ms, 0.0% of total-time
Operation ival-tan, time spent: 283.0ms, 0.0% of total-time
Operation ival-acos, time spent: 93.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 78.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 77.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 22.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 20.0ms, 0.0% of total-time
Operation ival-e, time spent: 4.0ms, 0.0% of total-time

simplify4.3min (12%)

Algorithm
1101×egg-herbie
Rules
286802×fma-define
258182×fmm-def
213020×associate-*r*
208864×*-commutative
205555×distribute-lft-in
Stop Event
268×saturated
829×node limit
148×fuel
4×unsound
121×done
Counts
381468 → 322092
Compiler

Compiled 67784 to 41164 computations (39.3% saved)

soundness3.7min (10.2%)

Rules
254127×fma-define
238773×fmm-def
191330×log1p-expm1-u
156345×associate-*r*
145861×distribute-lft-in
Stop Event
85×saturated
781×node limit
5×unsound
Compiler

Compiled 99385 to 55080 computations (44.6% saved)

eval3.4min (9.6%)

Compiler

Compiled 9111808 to 4764348 computations (47.7% saved)

rewrite3.1min (8.5%)

Algorithm
832×batch-egg-rewrite
Rules
579886×log1p-expm1-u
428014×expm1-log1p-u
162900×pow1
154436×add-exp-log
148419×add-log-exp
Stop Event
829×node limit
3×unsound
Counts
5834 → 210624

regimes2.4min (6.6%)

Counts
36713 → 5822
Calls

493 calls:

22.8s
z
21.3s
y
20.2s
x
17.7s
t
11.9s
a
Compiler

Compiled 44814 to 35436 computations (20.9% saved)

preprocess2.2min (6.1%)

Algorithm
269×egg-herbie
Rules
137764×fmm-def
117089×fma-define
51035×unsub-neg
50338×sub-neg
47100×distribute-rgt-in
Stop Event
153×saturated
116×node limit
Compiler

Compiled 196475 to 97756 computations (50.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 18.0s
Operation ival-mult, time spent: 6.1s, 34.0% of total-time
Operation ival-add, time spent: 3.0s, 17.0% of total-time
Operation ival-sub, time spent: 2.5s, 14.0% of total-time
Operation ival-log, time spent: 2.3s, 13.0% of total-time
Operation ival-div, time spent: 1.8s, 10.0% of total-time
Operation ival-sqrt, time spent: 675.0ms, 4.0% of total-time
Operation const, time spent: 600.0ms, 3.0% of total-time
Operation ival-sin, time spent: 412.0ms, 2.0% of total-time
Operation ival-cos, time spent: 296.0ms, 2.0% of total-time
Operation ival-exp, time spent: 154.0ms, 1.0% of total-time
Operation ival-tan, time spent: 34.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 14.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 12.0ms, 0.0% of total-time
Operation ival-acos, time spent: 12.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

bsearch2.0min (5.7%)

Algorithm
3400×binary-search
328×left-value
Stop Event
61×predicate-same
3339×narrow-enough
Results
1.1min323795×256valid
32.5s87389×256infinite
1.2s10562×256invalid
3.0s6679×512valid
1.4s2600×1024valid
83.0ms131×2048valid
21.0ms56×512infinite
2.0ms6×1024infinite
Compiler

Compiled 786280 to 587143 computations (25.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 46.4s
Operation ival-mult, time spent: 20.8s, 45.0% of total-time
Operation ival-sub, time spent: 9.9s, 21.0% of total-time
Operation ival-add, time spent: 6.4s, 14.0% of total-time
Operation ival-div, time spent: 4.3s, 9.0% of total-time
Operation ival-log, time spent: 1.4s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.1s, 2.0% of total-time
Operation ival-sin, time spent: 895.0ms, 2.0% of total-time
Operation const, time spent: 789.0ms, 2.0% of total-time
Operation ival-cos, time spent: 454.0ms, 1.0% of total-time
Operation ival-exp, time spent: 220.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 23.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 20.0ms, 0.0% of total-time
Operation ival-tan, time spent: 5.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 3.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 2.0ms, 0.0% of total-time

prune2.0min (5.5%)

Counts
399658 → 13105
Compiler

Compiled 436976 to 296214 computations (32.2% saved)

series45.9s (2.1%)

Counts
5834 → 170844
Calls

42522 calls:

TimeVariablePointExpression
361.0ms
a
@-inf
(+ x (/ (- a x) (/ (+ t (- 1 z)) (- y z))))
280.0ms
y
@-inf
(* (* (* x y) y) x)
215.0ms
z
@0
(log (/ (* (* z (+ y x)) (pow t -1/2)) (exp t)))
199.0ms
x
@-inf
(* x (* (log (cbrt (/ x y))) 3))
165.0ms
y
@inf
(* y (/ (- a x) (+ t (- 1 z))))

analyze20.5s (1%)

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.5s
Operation ival-mult, time spent: 3.4s, 36.0% of total-time
Operation ival-sub, time spent: 1.8s, 19.0% of total-time
Operation ival-div, time spent: 1.5s, 16.0% of total-time
Operation ival-add, time spent: 1.3s, 14.0% of total-time
Operation const, time spent: 406.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 255.0ms, 3.0% of total-time
Operation ival-sin, time spent: 241.0ms, 3.0% of total-time
Operation ival-log, time spent: 224.0ms, 2.0% of total-time
Operation ival-exp, time spent: 199.0ms, 2.0% of total-time
Operation ival-cos, time spent: 89.0ms, 1.0% of total-time
Operation ival-tan, time spent: 52.0ms, 1.0% of total-time
Operation ival-acos, time spent: 25.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 19.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 9.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 4.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 3.0ms, 0.0% of total-time

end167.0ms (0%)

Profiling

Loading profile data...