Herbie run

Date:Friday, March 29th, 2024
Commit:815bfa57 on platforms-nightlies
Hostname:nightly with Racket 8.11.1
Seed:2024089
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)

sample29.5min (24.2%)

Results
12.1min3467250×256valid
1.7min533624×256infinite
41.1s185056×256invalid
1.6min165684×1024valid
1.4min163888×512valid
34.3s145592×256precondition
2.0min90915×2048valid
4.9min49634×8192exit
10.4s36806×256unsamplable
1.0min13186×4096valid
10.0s12161×512infinite
7.9s10135×1024invalid
2.5s5977×512invalid
3.5s2013×1024infinite
20.7s1836×8192valid
5.7s1434×2048infinite
1.3s1297×2048invalid
7.2s1184×4096infinite
5.0ms5×512unsamplable
7.0ms4×1024unsamplable
8.0ms2×2048unsamplable
Precisions
Click to see histograms. Total time spent on operations: 17.4min
Operation ival-pow, time spent: 3.7min, 21.0% of total-time
Operation ival-mult, time spent: 3.0min, 17.0% of total-time
Operation ival-sin, time spent: 2.0min, 11.0% of total-time
Operation ival-div, time spent: 1.6min, 9.0% of total-time
Operation ival-add, time spent: 1.1min, 6.0% of total-time
Operation ival-sub, time spent: 1.1min, 6.0% of total-time
Operation ival-cos, time spent: 57.2s, 5.0% of total-time
Operation ival-log, time spent: 43.9s, 4.0% of total-time
Operation ival-exp, time spent: 43.6s, 4.0% of total-time
Operation ival-tan, time spent: 31.3s, 3.0% of total-time
Operation ival-<=, time spent: 25.4s, 2.0% of total-time
Operation ival-sqrt, time spent: 24.2s, 2.0% of total-time
Operation const, time spent: 17.5s, 2.0% of total-time
Operation ival-neg, time spent: 8.8s, 1.0% of total-time
Operation ival-<, time spent: 8.3s, 1.0% of total-time
Operation ival-fabs, time spent: 6.7s, 1.0% of total-time
Operation ival-and, time spent: 4.2s, 0.0% of total-time
Operation ival-atan2, time spent: 3.4s, 0.0% of total-time
Operation ival-pi, time spent: 3.3s, 0.0% of total-time
Operation ival-acos, time spent: 3.2s, 0.0% of total-time
Operation ival-atan, time spent: 2.8s, 0.0% of total-time
Operation ival-asin, time spent: 2.1s, 0.0% of total-time
Operation ival->, time spent: 2.1s, 0.0% of total-time
Operation ival-sinh, time spent: 1.9s, 0.0% of total-time
Operation composed, time spent: 1.1s, 0.0% of total-time
Operation ival-fmin, time spent: 910.0ms, 0.0% of total-time
Operation ival-floor, time spent: 841.0ms, 0.0% of total-time
Operation ival-==, time spent: 833.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 825.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 602.0ms, 0.0% of total-time
Operation ival-if, time spent: 540.0ms, 0.0% of total-time
Operation ival-asinh, time spent: 539.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 470.0ms, 0.0% of total-time
Operation ival->=, time spent: 418.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 342.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 336.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 315.0ms, 0.0% of total-time
Operation ival-log2, time spent: 195.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 116.0ms, 0.0% of total-time
Operation ival-or, time spent: 86.0ms, 0.0% of total-time
Bogosity

localize25.2min (20.6%)

Results
Compiler

Compiled 439362 to 204498 computations (53.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 18.0min
Operation ival-mult, time spent: 3.5min, 20.0% of total-time
Operation ival-pow, time spent: 3.1min, 17.0% of total-time
Operation ival-sin, time spent: 1.9min, 10.0% of total-time
Operation ival-div, time spent: 1.5min, 8.0% of total-time
Operation ival-cos, time spent: 1.3min, 7.0% of total-time
Operation composed, 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: 40.9s, 4.0% of total-time
Operation ival-tan, time spent: 39.7s, 4.0% of total-time
Operation ival-sub, time spent: 38.4s, 4.0% of total-time
Operation ival-exp, time spent: 30.8s, 3.0% of total-time
Operation ival-sqrt, time spent: 24.5s, 2.0% of total-time
Operation ival-asin, time spent: 18.9s, 2.0% of total-time
Operation ival-atan, time spent: 18.8s, 2.0% of total-time
Operation const, time spent: 18.3s, 2.0% of total-time
Operation ival-acos, time spent: 8.6s, 1.0% of total-time
Operation ival-cbrt, time spent: 8.5s, 1.0% of total-time
Operation ival-neg, time spent: 3.8s, 0.0% of total-time
Operation ival-fmax, time spent: 2.9s, 0.0% of total-time
Operation ival-atan2, time spent: 2.1s, 0.0% of total-time
Operation ival-fmod, time spent: 1.2s, 0.0% of total-time
Operation ival-pi, time spent: 834.0ms, 0.0% of total-time
Operation ival->=, time spent: 535.0ms, 0.0% of total-time
Operation ival-if, time spent: 451.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 411.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 323.0ms, 0.0% of total-time
Operation ival-log2, time spent: 315.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 238.0ms, 0.0% of total-time
Operation ival-e, time spent: 222.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 181.0ms, 0.0% of total-time
Operation ival->, time spent: 141.0ms, 0.0% of total-time
Operation ival-floor, time spent: 121.0ms, 0.0% of total-time
Operation ival-<, time spent: 31.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 14.0ms, 0.0% of total-time

eval12.3min (10.1%)

Compiler

Compiled 33408749 to 18158095 computations (45.6% saved)

simplify9.6min (7.8%)

Algorithm
2226×egg-herbie
Rules
675793×fma-define
504417×fmm-def
495476×associate-*r*
492937×*-commutative
487715×distribute-lft-in
Stop Event
537×saturated
1667×node limit
328×fuel
22×unsound
207×done
Counts
786743 → 690040
Compiler

Compiled 123801 to 79441 computations (35.8% saved)

preprocess9.3min (7.6%)

Algorithm
539×egg-herbie
Rules
251430×fmm-def
250939×fma-define
104673×unsub-neg
100285×sub-neg
93578×distribute-lft-in
Stop Event
292×saturated
247×node limit
Results
Compiler

Compiled 481895 to 268303 computations (44.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.7min
Operation ival-mult, time spent: 35.9s, 22.0% of total-time
Operation ival-sin, time spent: 24.7s, 15.0% of total-time
Operation ival-div, time spent: 22.0s, 14.0% of total-time
Operation ival-cos, time spent: 20.2s, 13.0% of total-time
Operation ival-pow, time spent: 13.8s, 9.0% of total-time
Operation ival-add, time spent: 11.0s, 7.0% of total-time
Operation ival-sub, time spent: 9.5s, 6.0% of total-time
Operation ival-log, time spent: 6.1s, 4.0% of total-time
Operation ival-sqrt, time spent: 3.8s, 2.0% of total-time
Operation ival-tan, time spent: 3.3s, 2.0% of total-time
Operation const, time spent: 3.2s, 2.0% of total-time
Operation ival-exp, time spent: 2.5s, 2.0% of total-time
Operation composed, time spent: 735.0ms, 0.0% of total-time
Operation ival-atan, time spent: 664.0ms, 0.0% of total-time
Operation ival-neg, time spent: 628.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 390.0ms, 0.0% of total-time
Operation ival-pi, time spent: 353.0ms, 0.0% of total-time
Operation ival-asin, time spent: 283.0ms, 0.0% of total-time
Operation ival-if, time spent: 181.0ms, 0.0% of total-time
Operation ival-acos, time spent: 150.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 129.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 90.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 84.0ms, 0.0% of total-time
Operation ival-floor, time spent: 75.0ms, 0.0% of total-time
Operation ival->=, time spent: 43.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 34.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 21.0ms, 0.0% of total-time
Operation ival-<, time spent: 15.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 13.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 12.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 10.0ms, 0.0% of total-time
Operation ival-log2, time spent: 10.0ms, 0.0% of total-time
Operation ival->, time spent: 6.0ms, 0.0% of total-time

soundness8.2min (6.7%)

Rules
617627×fma-define
457569×fmm-def
426922×log1p-expm1-u
392867×associate-*r*
347567×distribute-lft-in
Stop Event
158×saturated
1713×node limit
18×unsound
Compiler

Compiled 289183 to 168695 computations (41.7% saved)

analyze7.4min (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
Results
Compiler

Compiled 13430 to 8701 computations (35.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.5min
Operation ival-mult, time spent: 49.3s, 23.0% of total-time
Operation ival-<=, time spent: 43.6s, 21.0% of total-time
Operation ival-fabs, time spent: 23.8s, 11.0% of total-time
Operation ival-add, time spent: 13.3s, 6.0% of total-time
Operation ival-div, time spent: 11.9s, 6.0% of total-time
Operation ival-floor, time spent: 9.0s, 4.0% of total-time
Operation ival-pow, time spent: 6.9s, 3.0% of total-time
Operation ival-sqrt, time spent: 6.3s, 3.0% of total-time
Operation ival-and, time spent: 6.0s, 3.0% of total-time
Operation ival-sub, time spent: 5.7s, 3.0% of total-time
Operation const, time spent: 4.7s, 2.0% of total-time
Operation ival-log2, time spent: 4.3s, 2.0% of total-time
Operation ival-sin, time spent: 4.3s, 2.0% of total-time
Operation ival-fmax, time spent: 4.1s, 2.0% of total-time
Operation ival-cos, time spent: 3.6s, 2.0% of total-time
Operation ival-tan, time spent: 2.3s, 1.0% of total-time
Operation ival-<, time spent: 2.1s, 1.0% of total-time
Operation ival-if, time spent: 1.8s, 1.0% of total-time
Operation ival->=, time spent: 1.6s, 1.0% of total-time
Operation ival-==, time spent: 1.6s, 1.0% of total-time
Operation ival-log, time spent: 1.1s, 1.0% of total-time
Operation ival-neg, time spent: 794.0ms, 0.0% of total-time
Operation ival-exp, time spent: 695.0ms, 0.0% of total-time
Operation ival->, time spent: 446.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 378.0ms, 0.0% of total-time
Operation ival-acos, time spent: 286.0ms, 0.0% of total-time
Operation ival-pi, time spent: 203.0ms, 0.0% of total-time
Operation ival-or, time spent: 202.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 153.0ms, 0.0% of total-time
Operation ival-atan, time spent: 106.0ms, 0.0% of total-time
Operation ival-asin, time spent: 97.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 41.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-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

rewrite6.1min (5%)

Algorithm
1690×batch-egg-rewrite
Rules
1103086×log1p-expm1-u
816379×expm1-log1p-u
362549×pow1
345002×add-exp-log
333060×add-log-exp
Stop Event
1675×node limit
15×unsound
Counts
13573 → 447513

prune5.1min (4.1%)

Counts
1020540 → 35193
Results
Compiler

Compiled 1585674 to 1055907 computations (33.4% saved)

regimes4.5min (3.7%)

Counts
87488 → 9138
Calls

1171 calls:

27.3s
x
22.5s
y
20.8s
z
16.5s
t
15.1s
a
Compiler

Compiled 87713 to 66042 computations (24.7% saved)

bsearch3.0min (2.4%)

Algorithm
4562×binary-search
594×left-value
Stop Event
106×predicate-same
4456×narrow-enough
Results
1.6min428086×256valid
33.9s96823×256infinite
2.8s15671×256invalid
8.6s13674×512valid
4.4s7452×1024valid
2.2s2873×2048valid
1.6s2217×512infinite
1.1s1061×4096valid
168.0ms305×1024infinite
42.0ms195×256unsamplable
92.0ms87×8192valid
14.0ms51×512invalid
11.0ms26×1024invalid
67.0ms23×4096infinite
6.0ms7×2048infinite
1.0ms1×8192exit
Compiler

Compiled 1096922 to 813154 computations (25.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3min
Operation ival-mult, time spent: 28.1s, 36.0% of total-time
Operation ival-sub, time spent: 11.1s, 14.0% of total-time
Operation ival-add, time spent: 9.9s, 13.0% of total-time
Operation ival-div, time spent: 9.1s, 12.0% of total-time
Operation ival-sin, time spent: 3.5s, 5.0% of total-time
Operation ival-pow, time spent: 3.4s, 4.0% of total-time
Operation ival-log, time spent: 2.4s, 3.0% of total-time
Operation ival-cos, time spent: 2.3s, 3.0% of total-time
Operation ival-sqrt, time spent: 2.0s, 3.0% of total-time
Operation const, time spent: 1.5s, 2.0% of total-time
Operation ival-exp, time spent: 1.1s, 1.0% of total-time
Operation ival-atan2, time spent: 675.0ms, 1.0% of total-time
Operation ival-neg, time spent: 522.0ms, 1.0% of total-time
Operation ival-tan, time spent: 483.0ms, 1.0% of total-time
Operation ival-atan, time spent: 371.0ms, 0.0% of total-time
Operation ival-acos, time spent: 167.0ms, 0.0% of total-time
Operation ival-asin, time spent: 111.0ms, 0.0% of total-time
Operation ival-pi, time spent: 98.0ms, 0.0% of total-time
Operation composed, time spent: 78.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 70.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 29.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 16.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 15.0ms, 0.0% of total-time
Operation ival->=, time spent: 13.0ms, 0.0% of total-time
Operation ival-if, time spent: 12.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 4.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 4.0ms, 0.0% of total-time

series1.9min (1.6%)

Counts
13573 → 339230
Calls

82743 calls:

TimeVariablePointExpression
2.1s
h
@0
(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)))))
482.0ms
h
@inf
(log (pow (* dX.v (floor h)) 2))
352.0ms
z
@0
(/ (* x y) (* (pow t 2) z))
322.0ms
x
@0
(sqrt (+ (* 2 (* (pow t 2) (/ (+ x 1) (+ -1 x)))) (* (pow l 2) (+ (/ 1 (+ -1 x)) (- (/ x (+ -1 x)) 1)))))
294.0ms
h
@-inf
(log (pow (exp (fabs (* (floor w) (* (floor h) (- (* dX.u dY.v) (* dX.v dY.u)))))) (pow (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)) -1/2)))

end296.0ms (0%)

Profiling

Loading profile data...