Herbie run

Date:Sunday, March 17th, 2024
Commit:d4730769 on longer-taylor
Hostname:nightly with Racket 8.11.1
Seed:2024077
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.1hr)

sample26.9min (21.7%)

Results
10.0min3463294×256valid
1.4min528745×256infinite
33.5s183861×256invalid
1.3min165370×1024valid
1.2min159251×512valid
30.0s143508×256precondition
1.5min87033×2048valid
4.8min49092×8192exit
8.3s36584×256unsamplable
7.7s11157×512infinite
6.8s10097×1024invalid
11.4s8082×4096valid
2.6s5787×512invalid
3.8s2044×1024infinite
5.4s1420×2048infinite
1.3s1225×2048invalid
6.5s1168×4096infinite
1.3s805×8192valid
4.0ms5×512unsamplable
5.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.5min, 10.0% of total-time
Operation ival-div, time spent: 1.3min, 8.0% of total-time
Operation ival-sub, time spent: 1.1min, 7.0% of total-time
Operation ival-add, time spent: 1.1min, 7.0% of total-time
Operation ival-exp, time spent: 41.2s, 4.0% of total-time
Operation ival-log, time spent: 40.3s, 4.0% of total-time
Operation ival-cos, time spent: 35.4s, 4.0% of total-time
Operation ival-tan, time spent: 31.3s, 3.0% of total-time
Operation ival-<=, time spent: 23.3s, 3.0% of total-time
Operation ival-sqrt, time spent: 23.0s, 2.0% of total-time
Operation const, time spent: 15.3s, 2.0% of total-time
Operation ival-fabs, time spent: 7.5s, 1.0% of total-time
Operation ival-<, time spent: 7.2s, 1.0% of total-time
Operation ival-neg, time spent: 7.1s, 1.0% of total-time
Operation ival-and, time spent: 4.2s, 0.0% of total-time
Operation ival-pi, time spent: 4.1s, 0.0% of total-time
Operation ival-==, time spent: 3.6s, 0.0% of total-time
Operation ival-acos, time spent: 3.5s, 0.0% of total-time
Operation ival-atan2, time spent: 2.9s, 0.0% of total-time
Operation ival-asin, time spent: 2.4s, 0.0% of total-time
Operation ival-atan, time spent: 2.3s, 0.0% of total-time
Operation ival->, time spent: 2.1s, 0.0% of total-time
Operation ival-sinh, time spent: 2.1s, 0.0% of total-time
Operation ival-fmax, time spent: 1.9s, 0.0% of total-time
Operation composed, time spent: 1.5s, 0.0% of total-time
Operation ival-fmin, time spent: 937.0ms, 0.0% of total-time
Operation ival-asinh, time spent: 888.0ms, 0.0% of total-time
Operation ival->=, time spent: 798.0ms, 0.0% of total-time
Operation ival-floor, time spent: 767.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 760.0ms, 0.0% of total-time
Operation ival-if, time spent: 558.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 552.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 392.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 301.0ms, 0.0% of total-time
Operation ival-log2, time spent: 288.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 212.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 150.0ms, 0.0% of total-time
Operation ival-or, time spent: 91.0ms, 0.0% of total-time
Bogosity

localize22.9min (18.5%)

Results
5.7min324848×256valid
33.0s47120×256infinite
1.1min28164×256invalid
1.5min17788×1024valid
56.0s14526×512valid
1.7min11702×2048valid
6.1min8248×8192exit
3.4s2171×256unsamplable
14.1s1118×4096valid
6.8s946×512infinite
13.8s881×1024infinite
2.0s476×512invalid
7.4s391×2048infinite
6.5s287×4096infinite
2.1s184×1024invalid
281.0ms44×8192valid
630.0ms39×8192infinite
49.0ms22×2048invalid
15.0ms4×512unsamplable
Compiler

Compiled 430855 to 188485 computations (56.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.8min
Operation ival-mult, time spent: 2.8min, 18.0% of total-time
Operation ival-pow, time spent: 2.5min, 16.0% of total-time
Operation ival-cos, time spent: 1.3min, 8.0% of total-time
Operation ival-div, time spent: 1.3min, 8.0% of total-time
Operation composed, time spent: 1.3min, 8.0% of total-time
Operation ival-sin, time spent: 1.2min, 7.0% of total-time
Operation ival-add, time spent: 1.1min, 7.0% of total-time
Operation ival-tan, time spent: 1.0min, 7.0% of total-time
Operation ival-log, time spent: 36.9s, 4.0% of total-time
Operation ival-sub, time spent: 35.5s, 4.0% of total-time
Operation ival-exp, time spent: 23.6s, 2.0% of total-time
Operation ival-sqrt, time spent: 20.8s, 2.0% of total-time
Operation ival-atan, time spent: 19.0s, 2.0% of total-time
Operation ival-asin, time spent: 18.2s, 2.0% of total-time
Operation const, time spent: 16.2s, 2.0% of total-time
Operation ival-cbrt, time spent: 7.5s, 1.0% of total-time
Operation ival-acos, time spent: 6.4s, 1.0% of total-time
Operation ival-neg, time spent: 2.8s, 0.0% of total-time
Operation ival-fmax, time spent: 1.9s, 0.0% of total-time
Operation ival-atan2, time spent: 1.7s, 0.0% of total-time
Operation ival-fmod, time spent: 900.0ms, 0.0% of total-time
Operation ival-pi, time spent: 680.0ms, 0.0% of total-time
Operation ival-if, time spent: 678.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 483.0ms, 0.0% of total-time
Operation ival->, time spent: 370.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 326.0ms, 0.0% of total-time
Operation ival->=, time spent: 321.0ms, 0.0% of total-time
Operation ival-log2, time spent: 241.0ms, 0.0% of total-time
Operation ival-floor, time spent: 222.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 132.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 93.0ms, 0.0% of total-time
Operation ival-e, time spent: 66.0ms, 0.0% of total-time
Operation ival-<, time spent: 36.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 15.0ms, 0.0% of total-time

analyze18.6min (15%)

Algorithm
544×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%84.4%15.6%0%0%0%0
39.5%33.3%51.1%15.6%0%0%0%1
45.4%38%45.6%15.6%0%0.7%0%2
54.5%44.4%37.1%15.8%0%2.7%0%3
61.1%49.3%31.3%15.8%0%3.6%0%4
67.3%54%26.2%15.8%0%4%0%5
71.2%56.8%23%15.9%0%4.3%0%6
75.1%59.5%19.7%15.9%0%4.8%0.1%7
77.1%60.8%18%15.9%0%5.2%0.1%8
79.7%62.6%15.9%16%0%5.4%0.1%9
81.2%63.5%14.7%16%0%5.7%0.1%10
83.5%65.2%12.9%16%0%5.8%0.1%11
84.6%65.8%12%16%0%6%0.1%12
Results
Compiler

Compiled 13430 to 8701 computations (35.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.7min
Operation ival-sin, time spent: 6.4min, 44.0% of total-time
Operation ival-cos, time spent: 4.9min, 34.0% of total-time
Operation ival-mult, time spent: 52.5s, 6.0% of total-time
Operation ival-<=, time spent: 36.4s, 4.0% of total-time
Operation ival-fabs, time spent: 20.7s, 2.0% of total-time
Operation ival-div, time spent: 12.7s, 1.0% of total-time
Operation ival-add, time spent: 12.5s, 1.0% of total-time
Operation ival-sqrt, time spent: 7.5s, 1.0% of total-time
Operation ival-floor, time spent: 7.4s, 1.0% of total-time
Operation ival-and, time spent: 6.0s, 1.0% of total-time
Operation ival-pow, time spent: 6.0s, 1.0% of total-time
Operation ival-sub, time spent: 5.9s, 1.0% of total-time
Operation ival-==, time spent: 5.0s, 1.0% of total-time
Operation ival-log2, time spent: 5.0s, 1.0% of total-time
Operation const, time spent: 4.8s, 1.0% of total-time
Operation ival-fmax, time spent: 4.0s, 0.0% of total-time
Operation ival-tan, time spent: 2.8s, 0.0% of total-time
Operation ival-if, time spent: 2.1s, 0.0% of total-time
Operation ival->=, time spent: 1.7s, 0.0% of total-time
Operation ival-log, time spent: 898.0ms, 0.0% of total-time
Operation ival-<, time spent: 779.0ms, 0.0% of total-time
Operation ival-exp, time spent: 759.0ms, 0.0% of total-time
Operation ival-neg, time spent: 735.0ms, 0.0% of total-time
Operation ival->, time spent: 536.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 343.0ms, 0.0% of total-time
Operation ival-pi, time spent: 236.0ms, 0.0% of total-time
Operation ival-or, time spent: 208.0ms, 0.0% of total-time
Operation ival-atan, time spent: 191.0ms, 0.0% of total-time
Operation ival-acos, time spent: 147.0ms, 0.0% of total-time
Operation ival-asin, time spent: 90.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 63.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 45.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 37.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 24.0ms, 0.0% of total-time
Operation ival-fmin, time spent: 13.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 9.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

eval11.2min (9%)

Compiler

Compiled 34118254 to 16896409 computations (50.5% saved)

simplify9.6min (7.7%)

Algorithm
2210×egg-herbie
Rules
674004×fma-define
493817×*-commutative
485821×associate-*r*
480000×distribute-lft-in
475575×fma-neg
Stop Event
534×saturated
328×fuel
1655×node limit
21×unsound
206×done
Counts
788531 → 688647
Compiler

Compiled 121839 to 76200 computations (37.5% saved)

soundness7.9min (6.4%)

Rules
619003×fma-define
453495×fma-neg
420628×log1p-expm1-u
387298×associate-*r*
359303×times-frac
Stop Event
158×saturated
1722×node limit
15×unsound
Compiler

Compiled 294125 to 169535 computations (42.4% saved)

preprocess6.4min (5.2%)

Algorithm
536×egg-herbie
Rules
251266×fma-neg
251202×fma-define
117062×unsub-neg
100101×sub-neg
93109×distribute-lft-in
Stop Event
292×saturated
244×node limit
Results
1.2min205990×256valid
9.9s33898×256infinite
17.9s13328×1024valid
11.8s11370×512valid
14.5s6962×2048valid
2.3s1084×512infinite
3.5s724×4096valid
2.7s488×1024infinite
2.2s278×2048infinite
1.8s128×4096infinite
184.0ms104×8192exit
115.0ms78×8192valid
Compiler

Compiled 458643 to 242493 computations (47.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5min
Operation ival-mult, time spent: 25.8s, 28.0% of total-time
Operation ival-div, time spent: 10.9s, 12.0% of total-time
Operation ival-add, time spent: 8.7s, 10.0% of total-time
Operation ival-sub, time spent: 8.4s, 9.0% of total-time
Operation ival-sin, time spent: 6.7s, 7.0% of total-time
Operation ival-pow, time spent: 5.8s, 6.0% of total-time
Operation ival-log, time spent: 5.7s, 6.0% of total-time
Operation ival-cos, time spent: 4.8s, 5.0% of total-time
Operation ival-tan, time spent: 3.8s, 4.0% of total-time
Operation ival-sqrt, time spent: 3.0s, 3.0% of total-time
Operation const, time spent: 2.4s, 3.0% of total-time
Operation ival-exp, time spent: 2.3s, 2.0% of total-time
Operation ival-atan, time spent: 670.0ms, 1.0% of total-time
Operation ival-neg, time spent: 483.0ms, 1.0% of total-time
Operation composed, time spent: 466.0ms, 1.0% of total-time
Operation ival-asin, time spent: 301.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 231.0ms, 0.0% of total-time
Operation ival-pi, time spent: 205.0ms, 0.0% of total-time
Operation ival-acos, time spent: 146.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 119.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 104.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 85.0ms, 0.0% of total-time
Operation ival-floor, time spent: 65.0ms, 0.0% of total-time
Operation ival-if, time spent: 47.0ms, 0.0% of total-time
Operation ival->=, time spent: 38.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 35.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 31.0ms, 0.0% of total-time
Operation ival-log2, time spent: 22.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 20.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 12.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 12.0ms, 0.0% of total-time
Operation ival->, time spent: 11.0ms, 0.0% of total-time
Operation ival-<, time spent: 5.0ms, 0.0% of total-time

rewrite6.1min (4.9%)

Algorithm
1676×batch-egg-rewrite
Rules
1089916×log1p-expm1-u
805051×expm1-log1p-u
360726×pow1
346755×add-exp-log
332856×add-log-exp
Stop Event
1664×node limit
12×unsound
Counts
13565 → 445990

prune4.9min (3.9%)

Counts
1001147 → 33640
Compiler

Compiled 1451021 to 950876 computations (34.5% saved)

regimes4.4min (3.5%)

Counts
84273 → 9010
Calls

1158 calls:

25.8s
x
23.4s
y
23.1s
z
18.2s
a
16.8s
t
Compiler

Compiled 87117 to 65685 computations (24.6% saved)

bsearch3.0min (2.4%)

Algorithm
4451×binary-search
619×left-value
Stop Event
111×predicate-same
4340×narrow-enough
Results
1.3min405111×256valid
37.1s103571×256infinite
3.3s17702×256invalid
5.1s10180×512valid
3.5s7183×1024valid
2.4s3058×2048valid
2.0s2559×512infinite
1.8s1826×4096valid
257.0ms249×8192valid
264.0ms229×1024infinite
16.0ms106×256unsamplable
9.0ms34×512invalid
21.0ms27×2048infinite
5.0ms13×1024invalid
8.0ms7×4096infinite
Compiler

Compiled 1075533 to 795381 computations (26% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3min
Operation ival-mult, time spent: 29.2s, 37.0% of total-time
Operation ival-sub, time spent: 12.0s, 15.0% of total-time
Operation ival-add, time spent: 11.1s, 14.0% of total-time
Operation ival-div, time spent: 7.9s, 10.0% of total-time
Operation ival-pow, time spent: 4.2s, 5.0% of total-time
Operation ival-sin, time spent: 3.2s, 4.0% of total-time
Operation ival-log, time spent: 2.4s, 3.0% of total-time
Operation ival-cos, time spent: 2.1s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.6s, 2.0% of total-time
Operation const, time spent: 1.4s, 2.0% of total-time
Operation ival-exp, time spent: 1.3s, 2.0% of total-time
Operation ival-tan, time spent: 577.0ms, 1.0% of total-time
Operation ival-atan, time spent: 553.0ms, 1.0% of total-time
Operation ival-neg, time spent: 524.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 515.0ms, 1.0% of total-time
Operation ival-acos, time spent: 237.0ms, 0.0% of total-time
Operation ival-pi, time spent: 119.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 69.0ms, 0.0% of total-time
Operation ival-asin, time spent: 39.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 37.0ms, 0.0% of total-time
Operation composed, time spent: 22.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 14.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 7.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
Operation ival-sinh, time spent: 2.0ms, 0.0% of total-time

series2.1min (1.7%)

Counts
13565 → 342541
Calls

83175 calls:

TimeVariablePointExpression
2.6s
h
@inf
(< (if (> (/ (fmax (pow (sqrt (+ (* (* dX.u (floor w)) (* dX.u (floor w))) (* (* dX.v (floor h)) (* dX.v (floor h))))) 2) (pow (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) 2)) (fabs (* (* (floor w) (floor h)) (- (* dX.u dY.v) (* dX.v dY.u))))) (floor maxAniso)) (/ (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))) (floor maxAniso)) (/ (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u)))) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))))) 1)
481.0ms
y
@inf
(+ (* (- t x) (/ (- y z) (- a z))) x)
332.0ms
x
@-inf
(/ (/ (exp (/ x s)) (+ (* s (exp (/ x s))) s)) (+ 1 (exp (/ x s))))
303.0ms
a
@0
(/ (* r (sin b)) (+ (* 2 (* (sin a) (sin b))) (cos (+ b a))))
300.0ms
c
@-inf
(log (* c (pow b -2)))

end306.0ms (0%)

Profiling

Loading profile data...