Herbie run

Date:Monday, March 25th, 2024
Commit:f03d6b38 on main
Hostname:nightly with Racket 8.11.1
Seed:2024085
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)

sample28.8min (24.4%)

Results
9.8min3464937×256valid
1.5min535500×256infinite
32.5s182527×256invalid
1.4min166643×1024valid
1.3min163513×512valid
28.7s144812×256precondition
1.9min90882×2048valid
4.9min49294×8192exit
8.2s37647×256unsamplable
57.1s13067×4096valid
10.6s12279×512infinite
6.7s10052×1024invalid
2.8s5998×512invalid
2.4s2090×1024infinite
21.9s1964×8192valid
4.4s1383×2048infinite
1.2s1294×2048invalid
5.4s1105×4096infinite
8.0ms9×512unsamplable
3.0ms2×1024unsamplable
Precisions
Click to see histograms. Total time spent on operations: 16.8min
Operation ival-pow, time spent: 3.6min, 22.0% of total-time
Operation ival-mult, time spent: 2.9min, 17.0% of total-time
Operation ival-sin, time spent: 1.9min, 11.0% of total-time
Operation ival-div, time spent: 1.5min, 9.0% of total-time
Operation ival-sub, time spent: 1.1min, 6.0% of total-time
Operation ival-add, time spent: 1.0min, 6.0% of total-time
Operation ival-cos, time spent: 53.4s, 5.0% of total-time
Operation ival-log, time spent: 42.3s, 4.0% of total-time
Operation ival-exp, time spent: 41.6s, 4.0% of total-time
Operation ival-tan, time spent: 30.7s, 3.0% of total-time
Operation ival-sqrt, time spent: 23.6s, 2.0% of total-time
Operation ival-<=, time spent: 19.8s, 2.0% of total-time
Operation const, time spent: 16.9s, 2.0% of total-time
Operation ival-fabs, time spent: 8.4s, 1.0% of total-time
Operation ival-neg, time spent: 8.0s, 1.0% of total-time
Operation ival-<, time spent: 5.5s, 1.0% of total-time
Operation ival-and, time spent: 4.1s, 0.0% of total-time
Operation ival-atan2, time spent: 3.6s, 0.0% of total-time
Operation ival-pi, time spent: 3.3s, 0.0% of total-time
Operation ival-acos, time spent: 3.1s, 0.0% of total-time
Operation ival-atan, time spent: 2.5s, 0.0% of total-time
Operation ival-asin, time spent: 2.3s, 0.0% of total-time
Operation ival->, time spent: 2.3s, 0.0% of total-time
Operation ival-sinh, time spent: 2.0s, 0.0% of total-time
Operation composed, time spent: 1.1s, 0.0% of total-time
Operation ival-fmin, time spent: 1.0s, 0.0% of total-time
Operation ival-fmod, time spent: 915.0ms, 0.0% of total-time
Operation ival-==, time spent: 804.0ms, 0.0% of total-time
Operation ival-floor, time spent: 584.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 557.0ms, 0.0% of total-time
Operation ival-asinh, time spent: 523.0ms, 0.0% of total-time
Operation ival->=, time spent: 514.0ms, 0.0% of total-time
Operation ival-if, time spent: 426.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 382.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 294.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 294.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 285.0ms, 0.0% of total-time
Operation ival-log2, time spent: 158.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 104.0ms, 0.0% of total-time
Operation ival-or, time spent: 84.0ms, 0.0% of total-time
Bogosity

localize24.7min (21%)

Results
5.4min328211×256valid
35.5s46901×256infinite
45.1s26951×256invalid
1.4min16853×1024valid
1.3min14801×512valid
1.9min12767×2048valid
7.3min9831×8192exit
5.1s2662×256unsamplable
33.7s1074×4096valid
6.8s853×512infinite
12.3s829×1024infinite
9.1s689×2048infinite
1.4s247×512invalid
7.5s235×4096infinite
8.0s82×8192valid
198.0ms38×2048unsamplable
303.0ms24×2048invalid
88.0ms24×1024unsamplable
160.0ms16×1024invalid
1.3s12×8192infinite
19.0ms8×512unsamplable
19.0ms3×4096unsamplable
Compiler

Compiled 437864 to 204096 computations (53.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 17.6min
Operation ival-mult, time spent: 3.3min, 18.0% of total-time
Operation ival-pow, time spent: 3.2min, 18.0% of total-time
Operation ival-sin, time spent: 1.8min, 10.0% of total-time
Operation ival-div, time spent: 1.5min, 8.0% of total-time
Operation composed, time spent: 1.4min, 8.0% of total-time
Operation ival-cos, time spent: 1.3min, 7.0% of total-time
Operation ival-add, time spent: 1.1min, 6.0% of total-time
Operation ival-log, time spent: 39.6s, 4.0% of total-time
Operation ival-sub, time spent: 34.7s, 3.0% of total-time
Operation ival-tan, time spent: 33.8s, 3.0% of total-time
Operation ival-exp, time spent: 31.3s, 3.0% of total-time
Operation ival-sqrt, time spent: 23.8s, 2.0% of total-time
Operation ival-asin, time spent: 23.0s, 2.0% of total-time
Operation ival-atan, time spent: 18.4s, 2.0% of total-time
Operation const, time spent: 18.2s, 2.0% of total-time
Operation ival-acos, time spent: 8.2s, 1.0% of total-time
Operation ival-cbrt, time spent: 7.7s, 1.0% of total-time
Operation ival-neg, time spent: 3.3s, 0.0% of total-time
Operation ival-atan2, time spent: 2.4s, 0.0% of total-time
Operation ival-fmax, time spent: 805.0ms, 0.0% of total-time
Operation ival-pi, time spent: 546.0ms, 0.0% of total-time
Operation ival->=, time spent: 473.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 457.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 417.0ms, 0.0% of total-time
Operation ival-log2, time spent: 389.0ms, 0.0% of total-time
Operation ival-if, time spent: 357.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 241.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 195.0ms, 0.0% of total-time
Operation ival-e, time spent: 150.0ms, 0.0% of total-time
Operation ival-floor, time spent: 117.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 107.0ms, 0.0% of total-time
Operation ival->, time spent: 103.0ms, 0.0% of total-time
Operation ival-<, time spent: 21.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 15.0ms, 0.0% of total-time

eval11.6min (9.9%)

Compiler

Compiled 34020473 to 18494267 computations (45.6% saved)

simplify9.3min (7.9%)

Algorithm
2233×egg-herbie
Rules
687785×fma-define
499158×fma-neg
495203×distribute-lft-in
486645×*-commutative
464542×associate-*r*
Stop Event
537×saturated
1677×node limit
19×unsound
Counts
780836 → 687376

soundness8.0min (6.8%)

Rules
635434×fma-define
460955×fma-neg
460946×log1p-expm1-u
381165×associate-*r*
370819×times-frac
Stop Event
160×saturated
320×fuel
1756×node limit
16×unsound
217×done
Compiler

Compiled 429377 to 234729 computations (45.3% saved)

analyze7.2min (6.1%)

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
Compiler

Compiled 13430 to 8701 computations (35.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.3min
Operation ival-mult, time spent: 51.2s, 26.0% of total-time
Operation ival-<=, time spent: 32.7s, 17.0% of total-time
Operation ival-fabs, time spent: 20.4s, 10.0% of total-time
Operation ival-add, time spent: 13.6s, 7.0% of total-time
Operation ival-tan, time spent: 10.5s, 5.0% of total-time
Operation ival-div, time spent: 9.6s, 5.0% of total-time
Operation ival-floor, time spent: 7.6s, 4.0% of total-time
Operation ival-and, time spent: 6.0s, 3.0% of total-time
Operation ival-sqrt, time spent: 5.9s, 3.0% of total-time
Operation ival-pow, time spent: 5.9s, 3.0% of total-time
Operation ival-sub, time spent: 5.5s, 3.0% of total-time
Operation ival-log2, time spent: 5.1s, 3.0% of total-time
Operation const, time spent: 4.8s, 2.0% of total-time
Operation ival-sin, time spent: 4.5s, 2.0% of total-time
Operation ival-cos, time spent: 3.4s, 2.0% of total-time
Operation ival-fmax, time spent: 2.7s, 1.0% of total-time
Operation ival-if, time spent: 1.7s, 1.0% of total-time
Operation ival-==, time spent: 1.5s, 1.0% of total-time
Operation ival-<, time spent: 1.0s, 1.0% of total-time
Operation ival-log, time spent: 965.0ms, 0.0% of total-time
Operation ival-neg, time spent: 842.0ms, 0.0% of total-time
Operation ival-exp, time spent: 635.0ms, 0.0% of total-time
Operation ival->, time spent: 627.0ms, 0.0% of total-time
Operation ival->=, time spent: 367.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 352.0ms, 0.0% of total-time
Operation ival-or, time spent: 209.0ms, 0.0% of total-time
Operation ival-pi, time spent: 198.0ms, 0.0% of total-time
Operation ival-acos, time spent: 129.0ms, 0.0% of total-time
Operation ival-atan, time spent: 110.0ms, 0.0% of total-time
Operation ival-asin, time spent: 90.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 49.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 39.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 21.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 15.0ms, 0.0% of total-time
Operation ival-fmin, time spent: 12.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 8.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

preprocess6.9min (5.9%)

Algorithm
539×egg-herbie
Rules
253137×fma-define
251439×fma-neg
117154×unsub-neg
100590×sub-neg
93579×distribute-lft-in
Stop Event
292×saturated
247×node limit
Results
1.2min207028×256valid
10.3s33598×256infinite
22.2s13058×1024valid
18.9s12018×512valid
23.3s7112×2048valid
32.1s1046×4096valid
2.9s1016×512infinite
3.0s464×1024infinite
2.0s284×2048infinite
12.9s142×8192valid
180.0ms102×8192exit
1.4s100×4096infinite
Compiler

Compiled 480985 to 257171 computations (46.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.5min
Operation ival-mult, time spent: 31.9s, 21.0% of total-time
Operation ival-sin, time spent: 23.8s, 16.0% of total-time
Operation ival-div, time spent: 20.6s, 14.0% of total-time
Operation ival-cos, time spent: 17.9s, 12.0% of total-time
Operation ival-pow, time spent: 14.1s, 9.0% of total-time
Operation ival-add, time spent: 11.3s, 7.0% of total-time
Operation ival-sub, time spent: 9.9s, 7.0% of total-time
Operation ival-log, time spent: 5.3s, 4.0% of total-time
Operation ival-sqrt, time spent: 3.7s, 2.0% of total-time
Operation ival-tan, time spent: 3.4s, 2.0% of total-time
Operation const, time spent: 3.1s, 2.0% of total-time
Operation ival-exp, time spent: 2.2s, 1.0% of total-time
Operation ival-neg, time spent: 737.0ms, 0.0% of total-time
Operation ival-atan, time spent: 672.0ms, 0.0% of total-time
Operation composed, time spent: 670.0ms, 0.0% of total-time
Operation ival-pi, time spent: 350.0ms, 0.0% of total-time
Operation ival-asin, time spent: 275.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 266.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 239.0ms, 0.0% of total-time
Operation ival-acos, time spent: 158.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 116.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 109.0ms, 0.0% of total-time
Operation ival-floor, time spent: 55.0ms, 0.0% of total-time
Operation ival->=, time spent: 43.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 39.0ms, 0.0% of total-time
Operation ival-if, time spent: 33.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 21.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 16.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 14.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 11.0ms, 0.0% of total-time
Operation ival-log2, time spent: 10.0ms, 0.0% of total-time
Operation ival-<, time spent: 8.0ms, 0.0% of total-time
Operation ival->, time spent: 6.0ms, 0.0% of total-time

rewrite5.9min (5%)

Algorithm
1696×batch-egg-rewrite
Rules
1112252×log1p-expm1-u
842236×expm1-log1p-u
363051×pow1
345812×add-exp-log
332225×add-log-exp
Stop Event
1683×node limit
13×unsound
Counts
13448 → 441952

prune5.1min (4.3%)

Counts
1035088 → 35406
Compiler

Compiled 1621202 to 1087466 computations (32.9% saved)

regimes4.7min (4%)

Counts
89177 → 9717
Calls

1175 calls:

26.8s
x
23.6s
z
22.4s
y
19.1s
t
14.9s
a
Compiler

Compiled 90557 to 67844 computations (25.1% saved)

bsearch3.4min (2.9%)

Algorithm
574×left-value
5049×binary-search
Stop Event
141×predicate-same
4907×narrow-enough
1×predicate-failed
Results
1.5min470484×256valid
36.8s116390×256infinite
2.9s19789×256invalid
11.4s16012×512valid
5.2s10041×1024valid
3.0s3799×2048valid
1.4s1863×512infinite
1.7s1373×4096valid
58.0ms289×256unsamplable
142.0ms153×1024infinite
196.0ms99×2048infinite
333.0ms63×4096infinite
17.0ms43×1024invalid
6.0ms23×512invalid
Compiler

Compiled 1231661 to 913795 computations (25.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5min
Operation ival-mult, time spent: 30.3s, 33.0% of total-time
Operation ival-sub, time spent: 13.8s, 15.0% of total-time
Operation ival-add, time spent: 11.0s, 12.0% of total-time
Operation ival-div, time spent: 10.8s, 12.0% of total-time
Operation ival-pow, time spent: 6.0s, 7.0% of total-time
Operation ival-sin, time spent: 5.5s, 6.0% of total-time
Operation ival-cos, time spent: 3.3s, 4.0% of total-time
Operation ival-sqrt, time spent: 2.6s, 3.0% of total-time
Operation ival-log, time spent: 1.9s, 2.0% of total-time
Operation const, time spent: 1.6s, 2.0% of total-time
Operation ival-exp, time spent: 1.1s, 1.0% of total-time
Operation ival-tan, time spent: 950.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 631.0ms, 1.0% of total-time
Operation ival-neg, time spent: 602.0ms, 1.0% of total-time
Operation ival-atan, time spent: 423.0ms, 0.0% of total-time
Operation ival-acos, time spent: 179.0ms, 0.0% of total-time
Operation ival-pi, time spent: 124.0ms, 0.0% of total-time
Operation ival-asin, time spent: 102.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 74.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 60.0ms, 0.0% of total-time
Operation composed, time spent: 55.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 39.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 26.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 16.0ms, 0.0% of total-time
Operation ival-cosh, 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-fmod, time spent: 2.0ms, 0.0% of total-time

series2.1min (1.8%)

Counts
13448 → 338884
Calls

82464 calls:

TimeVariablePointExpression
2.0s
dX.v
@-inf
(sqrt (fmax (+ (* (floor w) (* (* dX.u dX.u) (floor w))) (* dX.v (* dX.v (* (floor h) (floor h))))) (+ (* (floor w) (* (* dY.u dY.u) (floor w))) (* (* (floor h) (floor h)) (* dY.v dY.v)))))
667.0ms
base
@inf
(exp (neg (log (log base))))
392.0ms
dY.u
@inf
(pow (exp (sqrt (log (+ 1 (sqrt (fmax (pow (sqrt (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)))) 2) (pow (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) 2))))))) (sqrt (log (+ 1 (sqrt (fmax (pow (sqrt (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)))) 2) (pow (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) 2)))))))
345.0ms
y
@inf
(* t (* (* y (+ (* z (/ z t)) -1)) 4))
319.0ms
s
@inf
(/ (/ (/ 1 (sqrt (exp (/ x s)))) (sqrt (exp (/ x s)))) (* s (* (+ 1 (exp (/ (fabs x) (neg s)))) (+ 1 (exp (/ (fabs x) (neg s)))))))

end3.0ms (0%)

Precisions
Click to see histograms. Total time spent on operations: 30.8s
Operation ival-mult, time spent: 22.7s, 74.0% of total-time
Operation ival-pow, time spent: 4.7s, 15.0% of total-time
Operation ival-div, time spent: 3.3s, 11.0% of total-time

Profiling

Loading profile data...