Herbie run

Date:Wednesday, February 28th, 2024
Commit:699b9765 on main
Hostname:nightly with Racket 8.11.1
Seed:2024059
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)

sample30.6min (26.1%)

Results
11.7min3471583×256valid
1.7min536561×256infinite
1.5min166868×1024valid
1.4min163463×512valid
35.9s162349×256invalid
33.6s144513×256precondition
1.9min90841×2048valid
6.9min72408×8192exit
9.2s36158×256unsamplable
59.6s13153×4096valid
10.2s12379×512infinite
5.6s7024×1024invalid
2.1s4165×512invalid
3.3s2006×1024infinite
21.7s1861×8192valid
5.0s1473×2048infinite
5.9s1201×4096infinite
1.2s1148×2048invalid
10.0ms5×1024unsamplable
2.0ms2×512unsamplable
Precisions
Click to see histograms. Total time spent on operations: 18.5min
Operation ival-pow, time spent: 5.0min, 27.0% of total-time
Operation ival-mult, time spent: 3.0min, 16.0% of total-time
Operation ival-sin, time spent: 2.0min, 11.0% of total-time
Operation ival-div, time spent: 1.7min, 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: 56.4s, 5.0% of total-time
Operation ival-log, time spent: 40.1s, 4.0% of total-time
Operation ival-exp, time spent: 39.9s, 4.0% of total-time
Operation ival-tan, time spent: 29.5s, 3.0% of total-time
Operation ival-<=, time spent: 22.9s, 2.0% of total-time
Operation ival-sqrt, time spent: 22.7s, 2.0% of total-time
Operation const, time spent: 17.7s, 2.0% of total-time
Operation ival-neg, time spent: 6.4s, 1.0% of total-time
Operation ival-<, time spent: 5.6s, 1.0% of total-time
Operation ival-fabs, time spent: 4.9s, 0.0% of total-time
Operation ival-and, time spent: 4.3s, 0.0% of total-time
Operation ival-atan2, time spent: 3.2s, 0.0% of total-time
Operation ival-pi, time spent: 3.2s, 0.0% of total-time
Operation ival-atan, time spent: 3.0s, 0.0% of total-time
Operation ival-acos, time spent: 2.7s, 0.0% of total-time
Operation ival-sinh, time spent: 2.5s, 0.0% of total-time
Operation ival->, time spent: 2.5s, 0.0% of total-time
Operation ival-asin, time spent: 2.2s, 0.0% of total-time
Operation composed, time spent: 1.1s, 0.0% of total-time
Operation ival-floor, time spent: 869.0ms, 0.0% of total-time
Operation ival-==, time spent: 832.0ms, 0.0% of total-time
Operation ival-fmin, time spent: 829.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 759.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 730.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 614.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 603.0ms, 0.0% of total-time
Operation ival-asinh, time spent: 573.0ms, 0.0% of total-time
Operation ival-log2, time spent: 458.0ms, 0.0% of total-time
Operation ival->=, time spent: 417.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 404.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 203.0ms, 0.0% of total-time
Operation ...c/syntax/syntax.rkt:188:8, time spent: 133.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 133.0ms, 0.0% of total-time
Operation ival-if, time spent: 87.0ms, 0.0% of total-time
Operation ival-or, time spent: 86.0ms, 0.0% of total-time
Bogosity

localize22.1min (18.9%)

Results
Compiler

Compiled 452617 to 202862 computations (55.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.3min
Operation ival-mult, time spent: 3.0min, 19.0% of total-time
Operation ival-sin, time spent: 3.0min, 19.0% of total-time
Operation ival-pow, time spent: 2.1min, 14.0% of total-time
Operation ival-div, time spent: 1.4min, 9.0% of total-time
Operation composed, time spent: 1.1min, 7.0% of total-time
Operation ival-add, time spent: 59.8s, 6.0% of total-time
Operation ival-cos, time spent: 53.8s, 6.0% of total-time
Operation ival-sub, time spent: 34.1s, 4.0% of total-time
Operation ival-log, time spent: 31.5s, 3.0% of total-time
Operation ival-sqrt, time spent: 24.0s, 3.0% of total-time
Operation ival-tan, time spent: 21.6s, 2.0% of total-time
Operation const, time spent: 16.6s, 2.0% of total-time
Operation ival-exp, time spent: 14.5s, 2.0% of total-time
Operation ival-asin, time spent: 11.5s, 1.0% of total-time
Operation ival-cbrt, time spent: 7.8s, 1.0% of total-time
Operation ival-acos, time spent: 5.3s, 1.0% of total-time
Operation ival-neg, time spent: 3.2s, 0.0% of total-time
Operation ival-atan2, time spent: 2.4s, 0.0% of total-time
Operation ival-atan, time spent: 1.8s, 0.0% of total-time
Operation ival-fmax, time spent: 658.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 545.0ms, 0.0% of total-time
Operation ival-pi, time spent: 537.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 511.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 503.0ms, 0.0% of total-time
Operation ival->=, time spent: 372.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 358.0ms, 0.0% of total-time
Operation ival-log2, time spent: 153.0ms, 0.0% of total-time
Operation ival-e, time spent: 151.0ms, 0.0% of total-time
Operation ival->, time spent: 111.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 104.0ms, 0.0% of total-time
Operation ival-floor, time spent: 83.0ms, 0.0% of total-time
Operation ival-if, time spent: 77.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 63.0ms, 0.0% of total-time
Operation ival-<, time spent: 36.0ms, 0.0% of total-time

eval11.9min (10.1%)

Compiler

Compiled 36887777 to 18512906 computations (49.8% saved)

regimes9.7min (8.3%)

Counts
85795 → 9287
Calls

1181 calls:

1.0min
x
56.7s
y
48.9s
z
39.2s
a
38.5s
t
Compiler

Compiled 90711 to 67906 computations (25.1% saved)

simplify9.5min (8.1%)

Algorithm
2212×egg-herbie
Rules
1195565×fma-define
914175×fma-neg
863390×associate-*r*
856975×distribute-lft-in
851049×*-commutative
Stop Event
535×saturated
327×fuel
1659×node limit
18×unsound
208×done
Counts
765296 → 663434
Results
Compiler

Compiled 126584 to 79517 computations (37.2% saved)

soundness7.8min (6.7%)

Rules
1089350×fma-define
840365×fma-neg
675855×associate-*r*
599282×distribute-lft-in
584315×times-frac
Stop Event
156×saturated
1694×node limit
17×unsound
Compiler

Compiled 291235 to 166544 computations (42.8% saved)

preprocess6.9min (5.9%)

Algorithm
540×egg-herbie
Rules
469154×fma-neg
458784×fma-define
212198×unsub-neg
185947×sub-neg
174814×distribute-lft-in
Stop Event
292×saturated
248×node limit
Compiler

Compiled 495573 to 270146 computations (45.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.5min
Operation ival-mult, time spent: 32.9s, 22.0% of total-time
Operation ival-sin, time spent: 27.5s, 18.0% of total-time
Operation ival-cos, time spent: 19.6s, 13.0% of total-time
Operation ival-div, time spent: 19.6s, 13.0% of total-time
Operation ival-pow, time spent: 11.1s, 7.0% of total-time
Operation ival-add, time spent: 10.3s, 7.0% of total-time
Operation ival-sub, time spent: 8.9s, 6.0% of total-time
Operation ival-log, time spent: 5.0s, 3.0% of total-time
Operation ival-sqrt, time spent: 3.7s, 2.0% of total-time
Operation ival-tan, time spent: 3.7s, 2.0% of total-time
Operation const, time spent: 3.0s, 2.0% of total-time
Operation ival-exp, time spent: 2.5s, 2.0% of total-time
Operation ival-atan, time spent: 762.0ms, 1.0% of total-time
Operation ival-neg, time spent: 528.0ms, 0.0% of total-time
Operation composed, time spent: 483.0ms, 0.0% of total-time
Operation ival-asin, time spent: 266.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 226.0ms, 0.0% of total-time
Operation ival-pi, time spent: 204.0ms, 0.0% of total-time
Operation ival-acos, time spent: 155.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 111.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 109.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 52.0ms, 0.0% of total-time
Operation ival->=, time spent: 39.0ms, 0.0% of total-time
Operation ival-floor, time spent: 39.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 31.0ms, 0.0% of total-time
Operation ival-log2, time spent: 19.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 10.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 10.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 9.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 8.0ms, 0.0% of total-time
Operation ival-if, time spent: 7.0ms, 0.0% of total-time
Operation ival->, time spent: 7.0ms, 0.0% of total-time
Operation ival-<, time spent: 4.0ms, 0.0% of total-time

rewrite5.9min (5%)

Algorithm
1677×batch-egg-rewrite
Rules
1116416×log1p-expm1-u
822409×expm1-log1p-u
513832×log-prod
506033×prod-diff
420645×unpow-prod-down
Stop Event
1662×node limit
15×unsound
Counts
13140 → 431177

prune4.9min (4.2%)

Counts
1001981 → 34360
Compiler

Compiled 1566091 to 1036299 computations (33.8% saved)

bsearch3.3min (2.8%)

Algorithm
4714×binary-search
572×left-value
Stop Event
118×predicate-same
4596×narrow-enough
Results
1.5min427119×256valid
37.5s111543×256infinite
8.3s14539×512valid
2.0s11328×256invalid
5.5s8385×1024valid
15.8s4299×8192exit
3.3s3501×2048valid
2.1s1791×4096valid
1.3s1666×512infinite
270.0ms1019×256unsamplable
213.0ms265×1024infinite
90.0ms193×1024invalid
347.0ms163×2048infinite
51.0ms136×512invalid
746.0ms132×4096infinite
15.0ms14×8192valid
Compiler

Compiled 1118547 to 834254 computations (25.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5min
Operation ival-mult, time spent: 28.6s, 31.0% of total-time
Operation ival-pow, time spent: 16.3s, 18.0% of total-time
Operation ival-sub, time spent: 12.2s, 13.0% of total-time
Operation ival-add, time spent: 9.5s, 10.0% of total-time
Operation ival-div, time spent: 8.6s, 9.0% of total-time
Operation ival-sin, time spent: 2.9s, 3.0% of total-time
Operation ival-cos, time spent: 2.8s, 3.0% of total-time
Operation ival-log, time spent: 2.3s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.0s, 2.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-tan, time spent: 1.1s, 1.0% of total-time
Operation ival-atan, time spent: 659.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 544.0ms, 1.0% of total-time
Operation ival-neg, time spent: 495.0ms, 1.0% of total-time
Operation ival-acos, time spent: 206.0ms, 0.0% of total-time
Operation ival-pi, time spent: 206.0ms, 0.0% of total-time
Operation ival-asin, time spent: 84.0ms, 0.0% of total-time
Operation composed, time spent: 29.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 23.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 12.0ms, 0.0% of total-time
Operation ival->=, time spent: 7.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 4.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 4.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 2.0ms, 0.0% of total-time
Operation ival-if, time spent: 2.0ms, 0.0% of total-time

analyze2.6min (2.2%)

Algorithm
544×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%84.4%15.6%0%0%0%0
39.6%33.4%51%15.6%0%0%0%1
45.6%38.2%45.5%15.6%0%0.7%0%2
54.7%44.6%37%15.8%0%2.7%0%3
61.3%49.4%31.2%15.8%0%3.6%0%4
67.5%54.1%26.1%15.8%0%4%0.1%5
71.3%56.9%22.8%15.9%0%4.3%0.1%6
75.2%59.6%19.6%15.9%0%4.8%0.1%7
77.2%60.9%18%15.9%0%5.1%0.1%8
79.8%62.7%15.8%16%0%5.4%0.1%9
81.4%63.7%14.6%16%0%5.6%0.1%10
83.6%65.3%12.8%16%0%5.7%0.1%11
84.7%66%11.9%16%0%5.9%0.2%12
Compiler

Compiled 13437 to 8705 computations (35.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4min
Operation ival-mult, time spent: 22.4s, 26.0% of total-time
Operation ival-div, time spent: 9.0s, 10.0% of total-time
Operation ival-sub, time spent: 8.6s, 10.0% of total-time
Operation ival-<=, time spent: 8.5s, 10.0% of total-time
Operation ival-add, time spent: 6.7s, 8.0% of total-time
Operation ival-sin, time spent: 5.8s, 7.0% of total-time
Operation ival-pow, time spent: 5.8s, 7.0% of total-time
Operation ival-cos, time spent: 4.3s, 5.0% of total-time
Operation ival-sqrt, time spent: 3.1s, 4.0% of total-time
Operation const, time spent: 1.8s, 2.0% of total-time
Operation ival-tan, time spent: 1.7s, 2.0% of total-time
Operation ival-fabs, time spent: 1.3s, 2.0% of total-time
Operation ival-log, time spent: 1.2s, 1.0% of total-time
Operation ival-and, time spent: 977.0ms, 1.0% of total-time
Operation ival-exp, time spent: 779.0ms, 1.0% of total-time
Operation ival-==, time spent: 645.0ms, 1.0% of total-time
Operation ival-floor, time spent: 575.0ms, 1.0% of total-time
Operation ival-neg, time spent: 480.0ms, 1.0% of total-time
Operation ival-<, time spent: 408.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 324.0ms, 0.0% of total-time
Operation ival-if, time spent: 307.0ms, 0.0% of total-time
Operation ival-pi, time spent: 209.0ms, 0.0% of total-time
Operation ival->, time spent: 206.0ms, 0.0% of total-time
Operation ival-log2, time spent: 202.0ms, 0.0% of total-time
Operation ival-atan, time spent: 174.0ms, 0.0% of total-time
Operation ival-or, time spent: 174.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 131.0ms, 0.0% of total-time
Operation ival-acos, time spent: 126.0ms, 0.0% of total-time
Operation ival-asin, time spent: 91.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 68.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 39.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 19.0ms, 0.0% of total-time
Operation ival->=, time spent: 17.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 11.0ms, 0.0% of total-time
Operation ...c/syntax/syntax.rkt:188:8, time spent: 10.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 8.0ms, 0.0% of total-time
Operation ival-fmin, time spent: 3.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

series2.0min (1.7%)

Counts
13140 → 334542
Calls

82053 calls:

TimeVariablePointExpression
483.0ms
dX.u
@0
(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)) 3/4)
382.0ms
a
@inf
(+ (* (/ (- y z) (+ t (- 1 z))) (- a x)) x)
338.0ms
ew
@inf
(* (neg eh) (/ (tan t) ew))
303.0ms
w
@inf
(pow (fmax (pow (sqrt (+ (* (* (floor d) dX.w) (* (floor d) dX.w)) (* (sqrt (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)))) (sqrt (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))))))) 2) (pow (* (floor d) dY.w) 2)) 1/4)
287.0ms
x
@0
(* x (log y))

end249.0ms (0%)

Profiling

Loading profile data...