Herbie run

Date:Saturday, March 16th, 2024
Commit:110598d9 on longer-taylor
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: 2.0hr)

sample26.9min (22.2%)

Results
9.9min3469786×256valid
1.5min525770×256infinite
33.8s184610×256invalid
1.3min164506×1024valid
1.1min158729×512valid
29.9s143087×256precondition
1.5min85099×2048valid
4.8min49723×8192exit
8.6s37083×256unsamplable
7.3s11051×512infinite
6.9s9964×1024invalid
12.3s8202×4096valid
2.9s5883×512invalid
3.2s1945×1024infinite
5.0s1421×2048infinite
1.5s1335×2048invalid
7.2s1204×4096infinite
1.2s803×8192valid
10.0ms11×512unsamplable
7.0ms3×1024unsamplable
Precisions
Click to see histograms. Total time spent on operations: 15.3min
Operation ival-pow, time spent: 3.4min, 22.0% of total-time
Operation ival-mult, time spent: 2.6min, 17.0% of total-time
Operation ival-sin, time spent: 1.4min, 9.0% of total-time
Operation ival-div, time spent: 1.3min, 8.0% of total-time
Operation ival-add, time spent: 1.1min, 7.0% of total-time
Operation ival-sub, time spent: 1.0min, 7.0% of total-time
Operation ival-exp, time spent: 43.4s, 5.0% of total-time
Operation ival-log, time spent: 40.2s, 4.0% of total-time
Operation ival-cos, time spent: 34.1s, 4.0% of total-time
Operation ival-tan, time spent: 31.0s, 3.0% of total-time
Operation ival-sqrt, time spent: 23.9s, 3.0% of total-time
Operation ival-<=, time spent: 22.4s, 2.0% of total-time
Operation const, time spent: 15.7s, 2.0% of total-time
Operation ival-<, time spent: 8.4s, 1.0% of total-time
Operation ival-neg, time spent: 7.2s, 1.0% of total-time
Operation ival-fabs, time spent: 6.9s, 1.0% of total-time
Operation ival-and, time spent: 4.5s, 0.0% of total-time
Operation ival-atan2, time spent: 3.1s, 0.0% of total-time
Operation ival-acos, time spent: 2.9s, 0.0% of total-time
Operation ival-pi, time spent: 2.8s, 0.0% of total-time
Operation ival-asin, time spent: 2.7s, 0.0% of total-time
Operation ival->, time spent: 2.6s, 0.0% of total-time
Operation ival-atan, time spent: 2.5s, 0.0% of total-time
Operation ival-sinh, time spent: 2.3s, 0.0% of total-time
Operation composed, time spent: 1.2s, 0.0% of total-time
Operation ival-fmod, time spent: 1.1s, 0.0% of total-time
Operation ival-floor, time spent: 1.1s, 0.0% of total-time
Operation ival-fmin, time spent: 980.0ms, 0.0% of total-time
Operation ival-==, time spent: 957.0ms, 0.0% of total-time
Operation ival-asinh, time spent: 751.0ms, 0.0% of total-time
Operation ival->=, time spent: 720.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 529.0ms, 0.0% of total-time
Operation ival-if, time spent: 451.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 405.0ms, 0.0% of total-time
Operation ival-log2, time spent: 392.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 381.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 306.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 232.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 108.0ms, 0.0% of total-time
Operation ival-or, time spent: 84.0ms, 0.0% of total-time
Bogosity

localize21.3min (17.6%)

Results
5.5min332916×256valid
32.7s44717×256infinite
45.0s25260×256invalid
1.4min17418×1024valid
57.9s14828×512valid
2.1min11842×2048valid
4.5min6051×8192exit
2.8s1871×256unsamplable
28.6s1143×4096valid
23.2s1091×2048infinite
6.0s889×512infinite
11.2s769×1024infinite
2.6s517×512invalid
11.7s236×4096infinite
3.2s183×1024invalid
4.0s48×8192infinite
191.0ms46×2048unsamplable
871.0ms42×2048invalid
1.7s28×8192valid
123.0ms25×1024unsamplable
1.0s24×4096invalid
39.0ms11×512unsamplable
9.0ms2×4096unsamplable
Compiler

Compiled 438063 to 187010 computations (57.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.8min
Operation ival-sin, time spent: 2.9min, 19.0% of total-time
Operation ival-mult, time spent: 2.7min, 18.0% of total-time
Operation ival-pow, time spent: 2.1min, 14.0% of total-time
Operation ival-div, time spent: 1.2min, 8.0% of total-time
Operation composed, time spent: 1.0min, 7.0% of total-time
Operation ival-add, time spent: 1.0min, 7.0% of total-time
Operation ival-cos, time spent: 43.7s, 5.0% of total-time
Operation ival-log, time spent: 35.4s, 4.0% of total-time
Operation ival-sub, time spent: 34.9s, 4.0% of total-time
Operation ival-tan, time spent: 28.2s, 3.0% of total-time
Operation ival-sqrt, time spent: 20.1s, 2.0% of total-time
Operation ival-exp, time spent: 16.2s, 2.0% of total-time
Operation const, time spent: 15.2s, 2.0% of total-time
Operation ival-asin, time spent: 12.6s, 1.0% of total-time
Operation ival-atan, time spent: 11.3s, 1.0% of total-time
Operation ival-cbrt, time spent: 5.9s, 1.0% of total-time
Operation ival-acos, time spent: 4.8s, 1.0% of total-time
Operation ival-neg, time spent: 3.7s, 0.0% of total-time
Operation ival-atan2, time spent: 1.8s, 0.0% of total-time
Operation ival-fmax, time spent: 926.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 876.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 689.0ms, 0.0% of total-time
Operation ival-pi, time spent: 491.0ms, 0.0% of total-time
Operation ival->=, time spent: 381.0ms, 0.0% of total-time
Operation ival-if, time spent: 374.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 349.0ms, 0.0% of total-time
Operation ival-e, time spent: 203.0ms, 0.0% of total-time
Operation ival-log2, time spent: 157.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 129.0ms, 0.0% of total-time
Operation ival->, time spent: 125.0ms, 0.0% of total-time
Operation ival-floor, time spent: 103.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 85.0ms, 0.0% of total-time
Operation ival-<, time spent: 39.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 14.0ms, 0.0% of total-time

analyze13.9min (11.4%)

Algorithm
544×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%84.4%15.6%0%0%0%0
39.7%33.4%50.8%15.6%0%0.2%0%1
45.7%38.2%45.3%15.6%0%0.9%0%2
54.7%44.5%36.8%15.8%0%2.9%0%3
61.3%49.3%31.1%15.8%0%3.8%0%4
67.5%53.9%26%15.8%0%4.2%0%5
71.3%56.8%22.8%15.9%0%4.5%0%6
75.2%59.4%19.6%15.9%0%5%0.1%7
77.2%60.7%17.9%15.9%0%5.3%0.1%8
79.8%62.5%15.8%16%0%5.6%0.1%9
81.3%63.5%14.6%16%0%5.9%0.1%10
83.6%65.1%12.8%16%0%6%0.1%11
84.7%65.7%11.9%16%0%6.2%0.1%12
Results
Compiler

Compiled 13437 to 8705 computations (35.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.7min
Operation ival-sin, time spent: 6.4min, 50.0% of total-time
Operation ival-cos, time spent: 5.0min, 40.0% of total-time
Operation ival-mult, time spent: 21.8s, 3.0% of total-time
Operation ival-<=, time spent: 9.4s, 1.0% of total-time
Operation ival-add, time spent: 8.5s, 1.0% of total-time
Operation ival-div, time spent: 8.2s, 1.0% of total-time
Operation ival-pow, time spent: 5.9s, 1.0% of total-time
Operation ival-sub, time spent: 5.2s, 1.0% of total-time
Operation ival-sqrt, time spent: 3.7s, 0.0% of total-time
Operation ival-tan, time spent: 2.3s, 0.0% of total-time
Operation ival-fabs, time spent: 2.2s, 0.0% of total-time
Operation const, time spent: 1.9s, 0.0% of total-time
Operation ival-exp, time spent: 1.1s, 0.0% of total-time
Operation ival-and, time spent: 1.0s, 0.0% of total-time
Operation ival-log, time spent: 939.0ms, 0.0% of total-time
Operation ival-==, time spent: 887.0ms, 0.0% of total-time
Operation ival-floor, time spent: 811.0ms, 0.0% of total-time
Operation ival-neg, time spent: 762.0ms, 0.0% of total-time
Operation ival-if, time spent: 720.0ms, 0.0% of total-time
Operation ival-<, time spent: 640.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 375.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 352.0ms, 0.0% of total-time
Operation ival->, time spent: 230.0ms, 0.0% of total-time
Operation ival-log2, time spent: 214.0ms, 0.0% of total-time
Operation ival-pi, time spent: 196.0ms, 0.0% of total-time
Operation ival-or, time spent: 180.0ms, 0.0% of total-time
Operation ival-acos, time spent: 152.0ms, 0.0% of total-time
Operation ival-atan, time spent: 114.0ms, 0.0% of total-time
Operation ival-asin, time spent: 95.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 95.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 26.0ms, 0.0% of total-time
Operation ival->=, time spent: 24.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 23.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 16.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 8.0ms, 0.0% of total-time
Operation ival-fmin, time spent: 7.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 1.0ms, 0.0% of total-time
Operation ival-asinh, time spent: 0.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 0.0ms, 0.0% of total-time
Operation composed, time spent: 0.0ms, 0.0% of total-time
Operation ...c/syntax/syntax.rkt:185:8, time spent: 0.0ms, 0.0% of total-time

eval11.4min (9.4%)

Compiler

Compiled 38978231 to 17374649 computations (55.4% saved)

regimes9.0min (7.4%)

Counts
85135 → 9213
Calls

1154 calls:

55.4s
x
51.7s
y
48.1s
z
39.0s
t
32.7s
a
Compiler

Compiled 86404 to 65198 computations (24.5% saved)

simplify8.9min (7.3%)

Algorithm
2219×egg-herbie
Rules
1182085×fma-define
881346×associate-*r*
875332×distribute-lft-in
870525×fma-neg
863548×*-commutative
Stop Event
533×saturated
326×fuel
1664×node limit
22×unsound
207×done
Counts
785313 → 685178
Compiler

Compiled 123508 to 77779 computations (37% saved)

soundness7.9min (6.5%)

Rules
1068577×fma-define
814894×fma-neg
674595×associate-*r*
625909×distribute-lft-in
610710×times-frac
Stop Event
154×saturated
1713×node limit
18×unsound
Compiler

Compiled 278246 to 161923 computations (41.8% saved)

rewrite6.0min (5%)

Algorithm
1686×batch-egg-rewrite
Rules
1106968×log1p-expm1-u
818462×expm1-log1p-u
519113×prod-diff
509880×log-prod
417725×unpow-prod-down
Stop Event
1673×node limit
13×unsound
Counts
13408 → 445175

preprocess5.8min (4.8%)

Algorithm
536×egg-herbie
Rules
468642×fma-neg
454516×fma-define
211960×unsub-neg
184919×sub-neg
173820×distribute-lft-in
Stop Event
291×saturated
245×node limit
Results
1.2min208790×256valid
9.7s31646×256infinite
19.6s13058×1024valid
13.5s11498×512valid
12.8s6740×2048valid
2.0s1016×512infinite
3.6s776×4096valid
2.3s414×1024infinite
1.9s220×2048infinite
2.1s120×4096infinite
248.0ms118×8192exit
57.0ms34×8192valid
639.0ms2×8192infinite
Compiler

Compiled 469663 to 250680 computations (46.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5min
Operation ival-mult, time spent: 23.5s, 26.0% of total-time
Operation ival-div, time spent: 11.2s, 12.0% of total-time
Operation ival-sub, time spent: 9.9s, 11.0% of total-time
Operation ival-add, time spent: 9.5s, 10.0% of total-time
Operation ival-sin, time spent: 7.0s, 8.0% of total-time
Operation ival-pow, time spent: 5.9s, 6.0% of total-time
Operation ival-log, time spent: 4.9s, 5.0% of total-time
Operation ival-cos, time spent: 4.8s, 5.0% of total-time
Operation ival-tan, time spent: 3.7s, 4.0% of total-time
Operation ival-sqrt, time spent: 3.4s, 4.0% of total-time
Operation ival-exp, time spent: 2.5s, 3.0% of total-time
Operation const, time spent: 2.4s, 3.0% of total-time
Operation ival-atan, time spent: 628.0ms, 1.0% of total-time
Operation ival-neg, time spent: 490.0ms, 1.0% of total-time
Operation composed, time spent: 466.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 381.0ms, 0.0% of total-time
Operation ival-asin, time spent: 354.0ms, 0.0% of total-time
Operation ival-pi, time spent: 189.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 149.0ms, 0.0% of total-time
Operation ival-acos, time spent: 146.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 93.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 84.0ms, 0.0% of total-time
Operation ival-floor, time spent: 52.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 39.0ms, 0.0% of total-time
Operation ival->=, time spent: 36.0ms, 0.0% of total-time
Operation ival-if, time spent: 33.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 25.0ms, 0.0% of total-time
Operation ival-log2, time spent: 20.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 18.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 14.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 11.0ms, 0.0% of total-time
Operation ival-<, time spent: 5.0ms, 0.0% of total-time
Operation ival->, time spent: 5.0ms, 0.0% of total-time

prune4.9min (4%)

Counts
1028972 → 34363
Compiler

Compiled 1499554 to 980870 computations (34.6% saved)

bsearch3.3min (2.7%)

Algorithm
557×left-value
4721×binary-search
Stop Event
105×predicate-same
4616×narrow-enough
Results
1.4min420676×256valid
43.4s121839×256infinite
3.8s20416×256invalid
6.7s12946×512valid
3.7s8104×1024valid
3.3s4069×512infinite
2.2s2869×2048valid
2.4s1656×4096valid
135.0ms325×1024invalid
261.0ms251×1024infinite
33.0ms192×256unsamplable
52.0ms178×512invalid
113.0ms18×4096infinite
33.0ms14×2048infinite
6.0ms6×8192valid
3.0ms3×8192exit
Compiler

Compiled 1130325 to 843867 computations (25.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4min
Operation ival-mult, time spent: 33.0s, 38.0% of total-time
Operation ival-sub, time spent: 14.7s, 17.0% of total-time
Operation ival-add, time spent: 10.1s, 12.0% of total-time
Operation ival-div, time spent: 8.2s, 10.0% of total-time
Operation ival-pow, time spent: 3.6s, 4.0% of total-time
Operation ival-sin, time spent: 3.4s, 4.0% of total-time
Operation ival-log, time spent: 2.9s, 3.0% of total-time
Operation ival-cos, time spent: 2.6s, 3.0% of total-time
Operation ival-sqrt, time spent: 2.3s, 3.0% of total-time
Operation const, time spent: 1.4s, 2.0% of total-time
Operation ival-exp, time spent: 1.0s, 1.0% of total-time
Operation ival-atan2, time spent: 781.0ms, 1.0% of total-time
Operation ival-tan, time spent: 766.0ms, 1.0% of total-time
Operation ival-atan, time spent: 718.0ms, 1.0% of total-time
Operation ival-neg, time spent: 638.0ms, 1.0% of total-time
Operation ival-acos, time spent: 168.0ms, 0.0% of total-time
Operation ival-asin, time spent: 139.0ms, 0.0% of total-time
Operation ival-pi, time spent: 135.0ms, 0.0% of total-time
Operation composed, time spent: 57.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 57.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 27.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 16.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 16.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 8.0ms, 0.0% of total-time
Operation ival->=, time spent: 7.0ms, 0.0% of total-time
Operation ival-if, time spent: 6.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 2.0ms, 0.0% of total-time

series2.0min (1.6%)

Counts
13408 → 340138
Calls

82701 calls:

TimeVariablePointExpression
475.0ms
z
@0
(* (tanh (/ t y)) (/ z x))
423.0ms
x
@0
(- (log (neg x)) (log (neg y)))
395.0ms
x
@-inf
(- x (* z (/ (- a x) (+ 1 (- t z)))))
358.0ms
M
@-inf
(* (cos (- (/ (* K (+ m n)) 2) M)) (* (exp (+ (- m n) (- (* (- (* 1/2 m) M) (+ (- (* 1/2 m) M) n)) l))) 1))
336.0ms
im
@-inf
(log (+ 1 (/ (log base) (atan2 im re))))

end263.0ms (0%)

Profiling

Loading profile data...