Herbie run

Date:Saturday, March 16th, 2024
Commit:1bed614a on main
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: 20.7min)

analyze6.5min (31.3%)

Algorithm
30×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%2.6%97.4%0%0%0%0
0.2%0%2.6%97.4%0%0%0%1
9.2%0.2%2.4%97.4%0%0%0%2
10.8%0.3%2.3%97.4%0%0%0%3
15.5%0.4%2.2%97.4%0%0%0%4
48.8%1.3%1.3%97.4%0%0%0%5
53.6%1.4%1.2%97.4%0%0%0%6
70.7%1.8%0.8%97.4%0%0%0%7
72.6%1.9%0.7%97.4%0%0.1%0%8
81.8%2.1%0.5%97.4%0%0.1%0%9
83.3%2.1%0.4%97.4%0%0.1%0%10
88.8%2.2%0.3%97.4%0%0.1%0%11
89.5%2.2%0.3%97.4%0%0.1%0%12
Results
Compiler

Compiled 2668 to 1270 computations (52.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6min
Operation ival-mult, time spent: 39.2s, 25.0% of total-time
Operation ival-<=, time spent: 38.6s, 24.0% of total-time
Operation ival-fabs, time spent: 25.7s, 16.0% of total-time
Operation ival-floor, time spent: 10.3s, 7.0% of total-time
Operation ival-add, time spent: 8.9s, 6.0% of total-time
Operation ival-sqrt, time spent: 5.5s, 4.0% of total-time
Operation ival-and, time spent: 5.4s, 3.0% of total-time
Operation ival-log2, time spent: 4.8s, 3.0% of total-time
Operation ival-div, time spent: 4.6s, 3.0% of total-time
Operation ival-fmax, time spent: 4.0s, 3.0% of total-time
Operation const, time spent: 3.2s, 2.0% of total-time
Operation ival-if, time spent: 2.1s, 1.0% of total-time
Operation ival-==, time spent: 1.7s, 1.0% of total-time
Operation ival->, time spent: 1.2s, 1.0% of total-time
Operation ival-sub, time spent: 1.1s, 1.0% of total-time
Operation ival->=, time spent: 378.0ms, 0.0% of total-time
Operation ival-<, time spent: 225.0ms, 0.0% of total-time
Operation ival-sin, time spent: 219.0ms, 0.0% of total-time
Operation ival-tan, time spent: 172.0ms, 0.0% of total-time
Operation ival-cos, time spent: 153.0ms, 0.0% of total-time
Operation ival-log, time spent: 133.0ms, 0.0% of total-time
Operation ival-exp, time spent: 71.0ms, 0.0% of total-time
Operation ival-atan, time spent: 54.0ms, 0.0% of total-time
Operation ival-neg, time spent: 44.0ms, 0.0% of total-time
Operation ival-pi, time spent: 35.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 28.0ms, 0.0% of total-time
Operation ival-asin, time spent: 20.0ms, 0.0% of total-time

localize5.0min (24%)

Results
Compiler

Compiled 110958 to 27901 computations (74.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.2min
Operation ival-sin, time spent: 1.3min, 41.0% of total-time
Operation ival-mult, time spent: 19.0s, 10.0% of total-time
Operation ival-tan, time spent: 16.8s, 9.0% of total-time
Operation ival-cos, time spent: 16.6s, 9.0% of total-time
Operation ival-pow, time spent: 14.3s, 7.0% of total-time
Operation ival-atan, time spent: 11.2s, 6.0% of total-time
Operation ival-div, time spent: 8.2s, 4.0% of total-time
Operation ival-add, time spent: 5.2s, 3.0% of total-time
Operation composed, time spent: 4.1s, 2.0% of total-time
Operation ival-sub, time spent: 3.2s, 2.0% of total-time
Operation ival-log, time spent: 3.1s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.8s, 1.0% of total-time
Operation ival-exp, time spent: 1.9s, 1.0% of total-time
Operation ival-fmax, time spent: 1.6s, 1.0% of total-time
Operation const, time spent: 1.5s, 1.0% of total-time
Operation ival-neg, time spent: 520.0ms, 0.0% of total-time
Operation ival-if, time spent: 436.0ms, 0.0% of total-time
Operation ival->, time spent: 259.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 242.0ms, 0.0% of total-time
Operation ival-floor, time spent: 220.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 207.0ms, 0.0% of total-time
Operation ival-log2, time spent: 138.0ms, 0.0% of total-time
Operation ival-asin, time spent: 123.0ms, 0.0% of total-time
Operation ival-pi, time spent: 110.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 102.0ms, 0.0% of total-time
Operation ival->=, time spent: 80.0ms, 0.0% of total-time
Operation ival-<, time spent: 44.0ms, 0.0% of total-time
Operation ival-e, time spent: 19.0ms, 0.0% of total-time
Operation ival-acos, time spent: 15.0ms, 0.0% of total-time

sample2.3min (10.9%)

Results
2.0min239424×256valid
2.0s8277×256invalid
986.0ms2011×256precondition
Precisions
Click to see histograms. Total time spent on operations: 58.5s
Operation ival-mult, time spent: 14.0s, 24.0% of total-time
Operation ival-<=, time spent: 10.5s, 18.0% of total-time
Operation ival-div, time spent: 5.1s, 9.0% of total-time
Operation ival-sin, time spent: 3.4s, 6.0% of total-time
Operation ival-sub, time spent: 3.2s, 5.0% of total-time
Operation ival-add, time spent: 2.5s, 4.0% of total-time
Operation ival-log, time spent: 2.3s, 4.0% of total-time
Operation ival-fabs, time spent: 2.0s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.8s, 3.0% of total-time
Operation ival-and, time spent: 1.7s, 3.0% of total-time
Operation const, time spent: 1.5s, 3.0% of total-time
Operation ival-tan, time spent: 1.4s, 2.0% of total-time
Operation ival-cos, time spent: 1.4s, 2.0% of total-time
Operation ival-pi, time spent: 1.1s, 2.0% of total-time
Operation ival-exp, time spent: 1.0s, 2.0% of total-time
Operation ival-floor, time spent: 929.0ms, 2.0% of total-time
Operation ival-neg, time spent: 917.0ms, 2.0% of total-time
Operation ival-atan, time spent: 745.0ms, 1.0% of total-time
Operation ival-if, time spent: 494.0ms, 1.0% of total-time
Operation ival-<, time spent: 492.0ms, 1.0% of total-time
Operation ival-fmax, time spent: 461.0ms, 1.0% of total-time
Operation ival->, time spent: 369.0ms, 1.0% of total-time
Operation ival-==, time spent: 324.0ms, 1.0% of total-time
Operation ival-log2, time spent: 313.0ms, 1.0% of total-time
Operation ival-asin, time spent: 240.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 136.0ms, 0.0% of total-time
Operation ival->=, time spent: 84.0ms, 0.0% of total-time
Bogosity

preprocess1.9min (9.2%)

Algorithm
29×egg-herbie
Rules
30510×fma-define
21782×fma-neg
14260×unsub-neg
14136×distribute-lft-neg-in
11384×distribute-rgt-neg-in
Stop Event
11×saturated
18×node limit
Results
Compiler

Compiled 50076 to 23905 computations (52.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.1s
Operation ival-mult, time spent: 2.4s, 29.0% of total-time
Operation ival-tan, time spent: 966.0ms, 12.0% of total-time
Operation ival-div, time spent: 817.0ms, 10.0% of total-time
Operation ival-sin, time spent: 732.0ms, 9.0% of total-time
Operation ival-sub, time spent: 546.0ms, 7.0% of total-time
Operation ival-add, time spent: 527.0ms, 7.0% of total-time
Operation ival-atan, time spent: 507.0ms, 6.0% of total-time
Operation ival-cos, time spent: 488.0ms, 6.0% of total-time
Operation ival-log, time spent: 324.0ms, 4.0% of total-time
Operation const, time spent: 210.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 210.0ms, 3.0% of total-time
Operation ival-exp, time spent: 81.0ms, 1.0% of total-time
Operation ival-pi, time spent: 64.0ms, 1.0% of total-time
Operation ival-neg, time spent: 58.0ms, 1.0% of total-time
Operation ival-floor, time spent: 39.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 35.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 27.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 23.0ms, 0.0% of total-time
Operation ival-if, time spent: 19.0ms, 0.0% of total-time
Operation ival-asin, time spent: 13.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
Operation ival->, time spent: 6.0ms, 0.0% of total-time
Operation ival-<, time spent: 4.0ms, 0.0% of total-time

eval1.7min (8.3%)

Compiler

Compiled 8676636 to 2133021 computations (75.4% saved)

simplify1.0min (5%)

Algorithm
137×egg-herbie
Rules
92486×fma-define
72692×*-commutative
60860×associate-*r*
59746×times-frac
56506×distribute-lft-in
Stop Event
27×saturated
26×fuel
109×node limit
1×done
Counts
61973 → 50732
Results
Compiler

Compiled 7028 to 4216 computations (40% saved)

soundness47.4s (3.8%)

Rules
92646×fma-define
59938×associate-*r*
56056×*-commutative
55800×times-frac
46384×distribute-lft-in
Stop Event
7×saturated
134×node limit
Compiler

Compiled 32170 to 15248 computations (52.6% saved)

prune36.8s (3%)

Counts
96872 → 3469
Compiler

Compiled 238494 to 132307 computations (44.5% saved)

rewrite24.3s (2%)

Algorithm
110×batch-egg-rewrite
Rules
61129×log1p-expm1-u
42759×expm1-log1p-u
32454×log-prod
29722×pow1
29267×add-exp-log
Stop Event
110×node limit
Counts
1262 → 31156

series16.4s (1.3%)

Counts
1262 → 31487
Calls

7242 calls:

TimeVariablePointExpression
523.0ms
cosTheta_O
@inf
(/ (/ cosTheta_O v) (* 2 (sinh (/ 1 v))))
152.0ms
w
@0
(log (pow (* dX.u (floor w)) 2))
146.0ms
dX.u
@0
(log (pow (* dX.u (floor w)) 2))
142.0ms
h
@0
(pow (fmax (pow (sqrt (+ (* (* (floor h) dX.v) (* (floor h) dX.v)) (* (* (floor w) dX.u) (* (floor w) dX.u)))) 2) (pow (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) 2)) 1/4)
122.0ms
u2
@-inf
(* (sqrt u1) (sin (* 314159265359/50000000000 u2)))

regimes15.3s (1.2%)

Counts
6597 → 307
Calls

127 calls:

720.0ms
s
593.0ms
u1
579.0ms
cosTheta_i
455.0ms
x
440.0ms
uy
Compiler

Compiled 8792 to 6159 computations (29.9% saved)

end21.0ms (0%)

bsearch18.0ms (0%)

Algorithm
25×binary-search
19×left-value
Stop Event
25×narrow-enough
Compiler

Compiled 1278 to 768 computations (39.9% saved)

Profiling

Loading profile data...