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: 18.1min)

analyze5.4min (29.6%)

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.2min
Operation ival-mult, time spent: 32.0s, 24.0% of total-time
Operation ival-<=, time spent: 31.9s, 24.0% of total-time
Operation ival-fabs, time spent: 23.3s, 17.0% of total-time
Operation ival-floor, time spent: 9.0s, 7.0% of total-time
Operation ival-add, time spent: 7.2s, 5.0% of total-time
Operation ival-and, time spent: 5.4s, 4.0% of total-time
Operation ival-log2, time spent: 4.3s, 3.0% of total-time
Operation ival-fmax, time spent: 4.1s, 3.0% of total-time
Operation ival-div, time spent: 3.4s, 3.0% of total-time
Operation ival-sqrt, time spent: 3.3s, 2.0% of total-time
Operation const, time spent: 3.2s, 2.0% of total-time
Operation ival-if, time spent: 1.7s, 1.0% of total-time
Operation ival->=, time spent: 1.6s, 1.0% of total-time
Operation ival-==, time spent: 1.0s, 1.0% of total-time
Operation ival-sub, time spent: 649.0ms, 0.0% of total-time
Operation ival->, time spent: 412.0ms, 0.0% of total-time
Operation ival-sin, time spent: 341.0ms, 0.0% of total-time
Operation ival-cos, time spent: 219.0ms, 0.0% of total-time
Operation ival-<, time spent: 169.0ms, 0.0% of total-time
Operation ival-tan, time spent: 164.0ms, 0.0% of total-time
Operation ival-log, time spent: 102.0ms, 0.0% of total-time
Operation ival-exp, time spent: 67.0ms, 0.0% of total-time
Operation ival-atan, time spent: 49.0ms, 0.0% of total-time
Operation ival-neg, time spent: 43.0ms, 0.0% of total-time
Operation ival-pi, time spent: 38.0ms, 0.0% of total-time
Operation ival-asin, time spent: 21.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 20.0ms, 0.0% of total-time

localize3.9min (21.7%)

Compiler

Compiled 91562 to 25139 computations (72.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.4min
Operation ival-tan, time spent: 25.9s, 18.0% of total-time
Operation ival-pow, time spent: 25.5s, 17.0% of total-time
Operation ival-mult, time spent: 22.3s, 15.0% of total-time
Operation ival-sin, time spent: 18.9s, 13.0% of total-time
Operation ival-atan, time spent: 17.4s, 12.0% of total-time
Operation ival-div, time spent: 7.0s, 5.0% of total-time
Operation composed, time spent: 5.9s, 4.0% of total-time
Operation ival-add, time spent: 4.8s, 3.0% of total-time
Operation ival-sub, time spent: 3.2s, 2.0% of total-time
Operation ival-fmax, time spent: 2.9s, 2.0% of total-time
Operation ival-log, time spent: 2.8s, 2.0% of total-time
Operation ival-exp, time spent: 2.6s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.3s, 2.0% of total-time
Operation const, time spent: 1.6s, 1.0% of total-time
Operation ival-cos, time spent: 1.3s, 1.0% of total-time
Operation ival-neg, time spent: 375.0ms, 0.0% of total-time
Operation ival-if, time spent: 348.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 321.0ms, 0.0% of total-time
Operation ival-log2, time spent: 315.0ms, 0.0% of total-time
Operation ival-pi, time spent: 292.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 213.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: 119.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 82.0ms, 0.0% of total-time
Operation ival-asin, time spent: 72.0ms, 0.0% of total-time
Operation ival-acos, time spent: 31.0ms, 0.0% of total-time
Operation ival-<, time spent: 31.0ms, 0.0% of total-time
Operation ival-e, time spent: 12.0ms, 0.0% of total-time

preprocess2.5min (13.6%)

Algorithm
29×egg-herbie
Rules
30500×fma-define
21784×fmm-def
14128×distribute-lft-neg-in
12790×unsub-neg
11384×distribute-rgt-neg-in
Stop Event
11×saturated
18×node limit
Results
Compiler

Compiled 48360 to 23341 computations (51.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.3s
Operation ival-mult, time spent: 2.5s, 30.0% of total-time
Operation ival-tan, time spent: 1.0s, 13.0% of total-time
Operation ival-div, time spent: 810.0ms, 10.0% of total-time
Operation ival-sin, time spent: 630.0ms, 8.0% of total-time
Operation ival-sub, time spent: 536.0ms, 6.0% of total-time
Operation ival-cos, time spent: 494.0ms, 6.0% of total-time
Operation ival-add, time spent: 458.0ms, 6.0% of total-time
Operation ival-atan, time spent: 405.0ms, 5.0% of total-time
Operation ival-log, time spent: 397.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 234.0ms, 3.0% of total-time
Operation ival-if, time spent: 167.0ms, 2.0% of total-time
Operation const, time spent: 162.0ms, 2.0% of total-time
Operation ival-neg, time spent: 118.0ms, 1.0% of total-time
Operation ival-exp, time spent: 107.0ms, 1.0% of total-time
Operation ival-floor, time spent: 75.0ms, 1.0% of total-time
Operation ival-pi, time spent: 53.0ms, 1.0% of total-time
Operation ival-sinh, time spent: 23.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-asin, time spent: 11.0ms, 0.0% of total-time
Operation ival-log2, time spent: 10.0ms, 0.0% of total-time
Operation ival-fabs, 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

sample2.1min (11.3%)

Results
1.8min239424×256valid
2.0s8450×256invalid
1.1s2039×256precondition
Precisions
Click to see histograms. Total time spent on operations: 58.8s
Operation ival-mult, time spent: 13.6s, 23.0% of total-time
Operation ival-<=, time spent: 12.8s, 22.0% of total-time
Operation ival-div, time spent: 4.9s, 8.0% of total-time
Operation ival-sin, time spent: 3.4s, 6.0% of total-time
Operation ival-sub, time spent: 2.5s, 4.0% of total-time
Operation ival-log, time spent: 2.2s, 4.0% of total-time
Operation ival-cos, time spent: 2.1s, 4.0% of total-time
Operation ival-add, time spent: 1.9s, 3.0% of total-time
Operation ival-exp, time spent: 1.7s, 3.0% of total-time
Operation ival-fabs, time spent: 1.7s, 3.0% of total-time
Operation ival-and, time spent: 1.7s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.6s, 3.0% of total-time
Operation ival-tan, time spent: 1.5s, 3.0% of total-time
Operation const, time spent: 1.5s, 2.0% of total-time
Operation ival-neg, time spent: 1.1s, 2.0% of total-time
Operation ival-floor, time spent: 841.0ms, 1.0% of total-time
Operation ival-atan, time spent: 822.0ms, 1.0% of total-time
Operation ival-pi, time spent: 607.0ms, 1.0% of total-time
Operation ival-<, time spent: 373.0ms, 1.0% of total-time
Operation ival->, time spent: 345.0ms, 1.0% of total-time
Operation ival-==, time spent: 326.0ms, 1.0% of total-time
Operation ival-if, time spent: 319.0ms, 1.0% of total-time
Operation ival-fmax, time spent: 315.0ms, 1.0% of total-time
Operation ival-asin, time spent: 273.0ms, 0.0% of total-time
Operation ival-log2, time spent: 195.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 109.0ms, 0.0% of total-time
Operation ival->=, time spent: 84.0ms, 0.0% of total-time
Bogosity

eval1.3min (7.3%)

Compiler

Compiled 5859634 to 1888515 computations (67.8% saved)

simplify54.0s (5%)

Algorithm
141×egg-herbie
Rules
104742×fma-define
70456×*-commutative
60868×times-frac
59932×distribute-lft-in
58746×associate-*r*
Stop Event
30×saturated
110×node limit
28×fuel
1×unsound
1×done
Counts
62109 → 50737
Compiler

Compiled 6133 to 3960 computations (35.4% saved)

soundness46.1s (4.2%)

Rules
98682×fma-define
58362×times-frac
57700×associate-*r*
53526×*-commutative
47028×distribute-lft-in
Stop Event
8×saturated
136×node limit
Compiler

Compiled 23658 to 13324 computations (43.7% saved)

prune26.3s (2.4%)

Counts
92106 → 3398
Compiler

Compiled 234570 to 128821 computations (45.1% saved)

rewrite24.0s (2.2%)

Algorithm
111×batch-egg-rewrite
Rules
57353×log1p-expm1-u
44478×expm1-log1p-u
34296×log-prod
29848×prod-diff
29688×add-exp-log
Stop Event
111×node limit
Counts
1243 → 31912

series14.5s (1.3%)

Counts
1243 → 30197
Calls

6969 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))
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)))
203.0ms
w
@inf
(pow (exp 2) (log (* (floor w) dY.u)))
152.0ms
dY.u
@inf
(log (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)))

regimes13.8s (1.3%)

Counts
6581 → 300
Calls

138 calls:

622.0ms
cosTheta_i
614.0ms
v
512.0ms
maxCos
484.0ms
s
479.0ms
ux
Compiler

Compiled 9664 to 6574 computations (32% saved)

bsearch15.0ms (0%)

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

Compiled 892 to 668 computations (25.1% saved)

end8.0ms (0%)

Profiling

Loading profile data...