Herbie run

Date:Thursday, April 4th, 2024
Commit:9887997d on platforms
Hostname:nightly with Racket 8.11.1
Seed:2024095
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: 21.4min)

analyze6.7min (31.4%)

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.8min
Operation ival-mult, time spent: 43.8s, 26.0% of total-time
Operation ival-<=, time spent: 42.7s, 25.0% of total-time
Operation ival-fabs, time spent: 26.6s, 16.0% of total-time
Operation ival-floor, time spent: 9.0s, 5.0% of total-time
Operation ival-add, time spent: 8.2s, 5.0% of total-time
Operation ival-sqrt, time spent: 6.5s, 4.0% of total-time
Operation ival-and, time spent: 5.6s, 3.0% of total-time
Operation ival-log2, time spent: 5.4s, 3.0% of total-time
Operation ival-div, time spent: 5.4s, 3.0% of total-time
Operation ival-fmax, time spent: 3.6s, 2.0% of total-time
Operation const, time spent: 3.5s, 2.0% of total-time
Operation ival-if, time spent: 3.0s, 2.0% of total-time
Operation ival-==, time spent: 2.1s, 1.0% of total-time
Operation ival-sub, time spent: 931.0ms, 1.0% of total-time
Operation ival->, time spent: 643.0ms, 0.0% of total-time
Operation ival->=, time spent: 624.0ms, 0.0% of total-time
Operation ival-<, time spent: 400.0ms, 0.0% of total-time
Operation ival-tan, time spent: 349.0ms, 0.0% of total-time
Operation ival-sin, time spent: 205.0ms, 0.0% of total-time
Operation ival-cos, time spent: 181.0ms, 0.0% of total-time
Operation ival-log, time spent: 99.0ms, 0.0% of total-time
Operation ival-exp, time spent: 60.0ms, 0.0% of total-time
Operation ival-atan, time spent: 54.0ms, 0.0% of total-time
Operation ival-neg, time spent: 49.0ms, 0.0% of total-time
Operation ival-pi, time spent: 32.0ms, 0.0% of total-time
Operation ival-asin, time spent: 22.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 19.0ms, 0.0% of total-time

localize5.2min (24.5%)

Results
Compiler

Compiled 104494 to 26716 computations (74.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.4min
Operation ival-tan, time spent: 46.3s, 23.0% of total-time
Operation ival-atan, time spent: 26.0s, 13.0% of total-time
Operation ival-sin, time spent: 25.5s, 13.0% of total-time
Operation ival-mult, time spent: 24.9s, 12.0% of total-time
Operation ival-pow, time spent: 22.9s, 11.0% of total-time
Operation ival-div, time spent: 10.4s, 5.0% of total-time
Operation composed, time spent: 9.1s, 4.0% of total-time
Operation ival-add, time spent: 7.3s, 4.0% of total-time
Operation ival-cos, time spent: 6.5s, 3.0% of total-time
Operation ival-exp, time spent: 5.6s, 3.0% of total-time
Operation ival-log, time spent: 4.5s, 2.0% of total-time
Operation ival-sqrt, time spent: 3.7s, 2.0% of total-time
Operation ival-sub, time spent: 3.3s, 2.0% of total-time
Operation ival-fmax, time spent: 2.1s, 1.0% of total-time
Operation const, time spent: 1.9s, 1.0% of total-time
Operation ival-if, time spent: 647.0ms, 0.0% of total-time
Operation ival-neg, time spent: 423.0ms, 0.0% of total-time
Operation ival-log2, time spent: 371.0ms, 0.0% of total-time
Operation ival-floor, time spent: 330.0ms, 0.0% of total-time
Operation ival->=, time spent: 232.0ms, 0.0% of total-time
Operation ival->, time spent: 190.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 170.0ms, 0.0% of total-time
Operation ival-pi, time spent: 138.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 123.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 80.0ms, 0.0% of total-time
Operation ival-asin, time spent: 79.0ms, 0.0% of total-time
Operation ival-<, time spent: 60.0ms, 0.0% of total-time
Operation ival-e, time spent: 29.0ms, 0.0% of total-time
Operation ival-acos, time spent: 10.0ms, 0.0% of total-time

sample2.4min (11.3%)

Results
2.0min239424×256valid
2.2s8272×256invalid
998.0ms2109×256precondition
Precisions
Click to see histograms. Total time spent on operations: 1.1min
Operation ival-mult, time spent: 14.3s, 21.0% of total-time
Operation ival-<=, time spent: 12.2s, 18.0% of total-time
Operation ival-div, time spent: 7.3s, 11.0% of total-time
Operation ival-sin, time spent: 3.7s, 6.0% of total-time
Operation ival-sub, time spent: 3.1s, 5.0% of total-time
Operation ival-floor, time spent: 3.0s, 5.0% of total-time
Operation ival-fabs, time spent: 2.7s, 4.0% of total-time
Operation ival-add, time spent: 2.6s, 4.0% of total-time
Operation ival-log, time spent: 2.1s, 3.0% of total-time
Operation ival-sqrt, time spent: 2.1s, 3.0% of total-time
Operation ival-tan, time spent: 1.9s, 3.0% of total-time
Operation ival-and, time spent: 1.8s, 3.0% of total-time
Operation const, time spent: 1.6s, 2.0% of total-time
Operation ival-cos, time spent: 1.5s, 2.0% of total-time
Operation ival-neg, time spent: 1.0s, 2.0% of total-time
Operation ival-exp, time spent: 1.0s, 2.0% of total-time
Operation ival-atan, time spent: 936.0ms, 1.0% of total-time
Operation ival-if, time spent: 707.0ms, 1.0% of total-time
Operation ival-pi, time spent: 577.0ms, 1.0% of total-time
Operation ival-fmax, time spent: 521.0ms, 1.0% of total-time
Operation ival-==, time spent: 515.0ms, 1.0% of total-time
Operation ival-<, time spent: 510.0ms, 1.0% of total-time
Operation ival->, time spent: 449.0ms, 1.0% of total-time
Operation ival-log2, time spent: 276.0ms, 0.0% of total-time
Operation ival-asin, time spent: 234.0ms, 0.0% of total-time
Operation ival->=, time spent: 142.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 119.0ms, 0.0% of total-time
Bogosity

preprocess1.7min (8.1%)

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 51180 to 22683 computations (55.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.6s
Operation ival-mult, time spent: 2.5s, 30.0% of total-time
Operation ival-tan, time spent: 1.0s, 12.0% of total-time
Operation ival-div, time spent: 874.0ms, 10.0% of total-time
Operation ival-sub, time spent: 732.0ms, 8.0% of total-time
Operation ival-sin, time spent: 708.0ms, 8.0% of total-time
Operation ival-cos, time spent: 514.0ms, 6.0% of total-time
Operation ival-atan, time spent: 496.0ms, 6.0% of total-time
Operation ival-add, time spent: 470.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 327.0ms, 4.0% of total-time
Operation ival-log, time spent: 302.0ms, 4.0% of total-time
Operation const, time spent: 162.0ms, 2.0% of total-time
Operation ival-exp, time spent: 89.0ms, 1.0% of total-time
Operation ival-floor, time spent: 64.0ms, 1.0% of total-time
Operation ival-neg, time spent: 53.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 52.0ms, 1.0% of total-time
Operation ival-pi, time spent: 43.0ms, 0.0% of total-time
Operation ival-if, time spent: 34.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 33.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 27.0ms, 0.0% of total-time
Operation ival-<, time spent: 25.0ms, 0.0% of total-time
Operation ival-log2, time spent: 11.0ms, 0.0% of total-time
Operation ival-asin, time spent: 10.0ms, 0.0% of total-time
Operation ival->=, time spent: 7.0ms, 0.0% of total-time
Operation ival->, time spent: 7.0ms, 0.0% of total-time

eval1.7min (7.7%)

Results
Compiler

Compiled 7789866 to 1992661 computations (74.4% saved)

simplify1.5min (6.8%)

Algorithm
137×egg-herbie
Rules
100992×fma-define
69282×*-commutative
64372×times-frac
63916×associate-*r*
62618×distribute-lft-in
Stop Event
27×saturated
110×node limit
26×fuel
1×done
Counts
63096 → 50272
Compiler

Compiled 7168 to 4201 computations (41.4% saved)

soundness44.1s (3.4%)

Rules
97334×fma-define
60242×associate-*r*
59318×times-frac
53958×*-commutative
52966×distribute-lft-in
Stop Event
8×saturated
136×node limit
Compiler

Compiled 29678 to 14265 computations (51.9% saved)

prune29.6s (2.3%)

Counts
93020 → 3412
Compiler

Compiled 234187 to 127208 computations (45.7% saved)

rewrite25.3s (2%)

Algorithm
110×batch-egg-rewrite
Rules
64337×log1p-expm1-u
46812×expm1-log1p-u
31510×log-prod
29723×add-exp-log
29720×pow1
Stop Event
110×node limit
Counts
1255 → 30837

series19.0s (1.5%)

Counts
1255 → 32259
Calls

7119 calls:

TimeVariablePointExpression
1.8s
dY.u
@0
(pow (exp 1) (log (+ 1 (sqrt (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.3s
sin2phi
@inf
(/ (log (+ 1 (neg u0))) (- (/ (/ cos2phi alphax) (neg alphax)) (/ (/ sin2phi alphay) alphay)))
387.0ms
v
@inf
(/ (* cosTheta_i cosTheta_O) (* (* (sinh (/ 1 v)) (* (* v 2) v)) (pow (exp sinTheta_i) (/ sinTheta_O v))))
311.0ms
dY.u
@inf
(pow (exp 1) (log (+ 1 (sqrt (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))))))
255.0ms
dY.u
@inf
(log (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)))

regimes14.7s (1.1%)

Counts
6176 → 315
Calls

128 calls:

500.0ms
uy
438.0ms
x
435.0ms
cosTheta_i
426.0ms
s
419.0ms
v
Compiler

Compiled 9491 to 6755 computations (28.8% saved)

bsearch29.0ms (0%)

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

Compiled 1661 to 934 computations (43.8% saved)

end13.0ms (0%)

Profiling

Loading profile data...