Herbie run

Date:Sunday, March 17th, 2024
Commit:d4730769 on longer-taylor
Hostname:nightly with Racket 8.11.1
Seed:2024077
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.7min)

analyze5.6min (29.8%)

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.3min
Operation ival-mult, time spent: 35.4s, 26.0% of total-time
Operation ival-<=, time spent: 33.0s, 24.0% of total-time
Operation ival-fabs, time spent: 19.7s, 14.0% of total-time
Operation ival-floor, time spent: 7.4s, 5.0% of total-time
Operation ival-add, time spent: 6.4s, 5.0% of total-time
Operation ival-and, time spent: 5.5s, 4.0% of total-time
Operation ival-div, time spent: 5.1s, 4.0% of total-time
Operation ival-log2, time spent: 5.0s, 4.0% of total-time
Operation ival-sqrt, time spent: 5.0s, 4.0% of total-time
Operation ival-fmax, time spent: 4.0s, 3.0% of total-time
Operation const, time spent: 3.3s, 2.0% of total-time
Operation ival-if, time spent: 2.0s, 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: 712.0ms, 1.0% of total-time
Operation ival->, time spent: 497.0ms, 0.0% of total-time
Operation ival-<, time spent: 311.0ms, 0.0% of total-time
Operation ival-sin, time spent: 220.0ms, 0.0% of total-time
Operation ival-tan, time spent: 216.0ms, 0.0% of total-time
Operation ival-cos, time spent: 140.0ms, 0.0% of total-time
Operation ival-neg, time spent: 116.0ms, 0.0% of total-time
Operation ival-log, time spent: 93.0ms, 0.0% of total-time
Operation ival-exp, time spent: 59.0ms, 0.0% of total-time
Operation ival-atan, time spent: 58.0ms, 0.0% of total-time
Operation ival-pi, time spent: 30.0ms, 0.0% of total-time
Operation ival-asin, time spent: 20.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 18.0ms, 0.0% of total-time

localize4.4min (23.7%)

Results
1.5min25696×256valid
29.5s2391×256invalid
1.5s597×256unsamplable
1.6min499×8192exit
13.0ms1×512valid
Compiler

Compiled 108280 to 26188 computations (75.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6min
Operation ival-tan, time spent: 29.6s, 19.0% of total-time
Operation ival-mult, time spent: 21.6s, 14.0% of total-time
Operation ival-atan, time spent: 17.9s, 12.0% of total-time
Operation ival-pow, time spent: 17.3s, 11.0% of total-time
Operation ival-sin, time spent: 15.6s, 10.0% of total-time
Operation composed, time spent: 9.9s, 6.0% of total-time
Operation ival-cos, time spent: 7.9s, 5.0% of total-time
Operation ival-div, time spent: 7.7s, 5.0% of total-time
Operation ival-log, time spent: 5.9s, 4.0% of total-time
Operation ival-add, time spent: 5.1s, 3.0% of total-time
Operation ival-exp, time spent: 4.0s, 3.0% of total-time
Operation ival-sub, time spent: 3.9s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.6s, 2.0% of total-time
Operation ival-fmax, time spent: 1.9s, 1.0% of total-time
Operation const, time spent: 1.6s, 1.0% of total-time
Operation ival-if, time spent: 531.0ms, 0.0% of total-time
Operation ival-neg, time spent: 393.0ms, 0.0% of total-time
Operation ival->, time spent: 370.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 265.0ms, 0.0% of total-time
Operation ival-log2, time spent: 241.0ms, 0.0% of total-time
Operation ival-floor, time spent: 222.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 182.0ms, 0.0% of total-time
Operation ival-pi, time spent: 147.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 144.0ms, 0.0% of total-time
Operation ival->=, time spent: 92.0ms, 0.0% of total-time
Operation ival-asin, time spent: 72.0ms, 0.0% of total-time
Operation ival-<, time spent: 36.0ms, 0.0% of total-time
Operation ival-acos, time spent: 28.0ms, 0.0% of total-time
Operation ival-e, time spent: 11.0ms, 0.0% of total-time

sample2.2min (11.6%)

Results
1.5min239424×256valid
1.8s8455×256invalid
817.0ms2064×256precondition
Precisions
Click to see histograms. Total time spent on operations: 1.0min
Operation ival-mult, time spent: 13.3s, 21.0% of total-time
Operation ival-<=, time spent: 11.1s, 18.0% of total-time
Operation ival-div, time spent: 6.0s, 9.0% of total-time
Operation ival-sub, time spent: 3.0s, 5.0% of total-time
Operation ival-==, time spent: 3.0s, 5.0% of total-time
Operation ival-sin, time spent: 2.6s, 4.0% of total-time
Operation ival-pi, time spent: 2.1s, 3.0% of total-time
Operation ival-add, time spent: 2.1s, 3.0% of total-time
Operation ival-fmax, time spent: 1.9s, 3.0% of total-time
Operation ival-log, time spent: 1.9s, 3.0% of total-time
Operation ival-fabs, time spent: 1.9s, 3.0% of total-time
Operation ival-and, time spent: 1.7s, 3.0% of total-time
Operation ival-cos, time spent: 1.6s, 3.0% of total-time
Operation ival-exp, time spent: 1.6s, 3.0% of total-time
Operation ival-tan, time spent: 1.6s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.6s, 2.0% of total-time
Operation const, time spent: 1.5s, 2.0% of total-time
Operation ival-atan, time spent: 868.0ms, 1.0% of total-time
Operation ival-floor, time spent: 767.0ms, 1.0% of total-time
Operation ival-neg, time spent: 636.0ms, 1.0% of total-time
Operation ival-if, time spent: 427.0ms, 1.0% of total-time
Operation ival-<, time spent: 403.0ms, 1.0% of total-time
Operation ival->, time spent: 365.0ms, 1.0% of total-time
Operation ival-log2, time spent: 288.0ms, 0.0% of total-time
Operation ival-asin, time spent: 229.0ms, 0.0% of total-time
Operation ival->=, time spent: 128.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 106.0ms, 0.0% of total-time
Bogosity

eval1.8min (9.7%)

Compiler

Compiled 8895040 to 2194017 computations (75.3% saved)

preprocess1.2min (6.6%)

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
16.3s14848×256valid
Compiler

Compiled 55902 to 23985 computations (57.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.6s
Operation ival-mult, time spent: 3.9s, 41.0% of total-time
Operation ival-tan, time spent: 852.0ms, 9.0% of total-time
Operation ival-div, time spent: 840.0ms, 9.0% of total-time
Operation ival-sub, time spent: 662.0ms, 7.0% of total-time
Operation ival-sin, time spent: 636.0ms, 7.0% of total-time
Operation ival-cos, time spent: 606.0ms, 6.0% of total-time
Operation ival-atan, time spent: 475.0ms, 5.0% of total-time
Operation ival-add, time spent: 446.0ms, 5.0% of total-time
Operation ival-log, time spent: 280.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 227.0ms, 2.0% of total-time
Operation const, time spent: 163.0ms, 2.0% of total-time
Operation ival-pi, time spent: 95.0ms, 1.0% of total-time
Operation ival-exp, time spent: 87.0ms, 1.0% of total-time
Operation ival-floor, time spent: 65.0ms, 1.0% of total-time
Operation ival-neg, time spent: 50.0ms, 1.0% of total-time
Operation ival-if, time spent: 32.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 31.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 25.0ms, 0.0% of total-time
Operation ival-log2, time spent: 22.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 14.0ms, 0.0% of total-time
Operation ival-asin, time spent: 11.0ms, 0.0% of total-time
Operation ival->, time spent: 11.0ms, 0.0% of total-time
Operation ival->=, time spent: 9.0ms, 0.0% of total-time
Operation ival-<, time spent: 5.0ms, 0.0% of total-time

simplify1.1min (5.9%)

Algorithm
140×egg-herbie
Rules
99422×fma-define
70422×*-commutative
63418×times-frac
60406×distribute-lft-in
59092×associate-*r*
Stop Event
29×saturated
111×node limit
28×fuel
1×done
Counts
64903 → 52897
Compiler

Compiled 8021 to 4567 computations (43.1% saved)

soundness45.6s (4.1%)

Rules
89830×fma-define
59144×times-frac
52506×associate-*r*
50538×*-commutative
47578×distribute-lft-in
Stop Event
7×saturated
130×node limit
Compiler

Compiled 34392 to 16903 computations (50.9% saved)

prune33.3s (3%)

Counts
100219 → 3476
Compiler

Compiled 253363 to 133380 computations (47.4% saved)

rewrite27.7s (2.5%)

Algorithm
111×batch-egg-rewrite
Rules
60372×log1p-expm1-u
43444×expm1-log1p-u
32270×log-prod
30243×add-exp-log
30078×pow1
Stop Event
111×node limit
Counts
1299 → 32608

series19.0s (1.7%)

Counts
1299 → 32295
Calls

7164 calls:

TimeVariablePointExpression
2.6s
h
@inf
(< (if (> (/ (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)) (fabs (* (* (floor w) (floor h)) (- (* dX.u dY.v) (* dX.v dY.u))))) (floor maxAniso)) (/ (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))))) (floor maxAniso)) (/ (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u)))) (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))))))) 1)
332.0ms
x
@-inf
(/ (/ (exp (/ x s)) (+ (* s (exp (/ x s))) s)) (+ 1 (exp (/ x s))))
164.0ms
dY.v
@0
(pow (exp (sqrt (log (pow (* (floor h) dY.v) 2)))) (sqrt (log (pow (* (floor h) dY.v) 2))))
127.0ms
s
@0
(* (+ 1 (exp (/ (fabs x) (neg s)))) (+ 1 (exp (/ (fabs x) (neg s)))))
116.0ms
h
@inf
(pow (exp (sqrt (log (pow (* (floor h) dY.v) 2)))) (sqrt (log (pow (* (floor h) dY.v) 2))))

regimes16.7s (1.5%)

Counts
7253 → 321
Calls

138 calls:

663.0ms
cosTheta_i
622.0ms
s
605.0ms
u1
583.0ms
uy
539.0ms
u
Compiler

Compiled 11627 to 7782 computations (33.1% saved)

bsearch17.0ms (0%)

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

Compiled 1402 to 919 computations (34.5% saved)

end9.0ms (0%)

Profiling

Loading profile data...