Herbie run

Date:Saturday, February 24th, 2024
Commit:0406aea6 on zane-regimes-2
Hostname:nightly with Racket 8.11.1
Seed:2024055
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: 10.5min)

localize2.2min (21.1%)

Compiler

Compiled 116338 to 26900 computations (76.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 53.0s
Operation ival-mult, time spent: 13.6s, 26.0% of total-time
Operation ival-pow, time spent: 8.8s, 17.0% of total-time
Operation ival-div, time spent: 4.7s, 9.0% of total-time
Operation composed, time spent: 4.3s, 8.0% of total-time
Operation ival-add, time spent: 3.7s, 7.0% of total-time
Operation ival-sqrt, time spent: 3.5s, 7.0% of total-time
Operation ival-sub, time spent: 3.0s, 6.0% of total-time
Operation ival-log, time spent: 2.9s, 6.0% of total-time
Operation ival-sin, time spent: 1.5s, 3.0% of total-time
Operation const, time spent: 1.3s, 2.0% of total-time
Operation ival-exp, time spent: 1.3s, 2.0% of total-time
Operation ival-cos, time spent: 994.0ms, 2.0% of total-time
Operation ival-tan, time spent: 885.0ms, 2.0% of total-time
Operation ival-neg, time spent: 526.0ms, 1.0% of total-time
Operation ival-fmax, time spent: 357.0ms, 1.0% of total-time
Operation ival-atan, time spent: 309.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 233.0ms, 0.0% of total-time
Operation ival-log2, time spent: 200.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 178.0ms, 0.0% of total-time
Operation ival->, time spent: 117.0ms, 0.0% of total-time
Operation ival-pi, time spent: 97.0ms, 0.0% of total-time
Operation ival-floor, time spent: 87.0ms, 0.0% of total-time
Operation ival->=, time spent: 76.0ms, 0.0% of total-time
Operation ival-asin, time spent: 74.0ms, 0.0% of total-time
Operation ival-acos, time spent: 63.0ms, 0.0% of total-time
Operation ival-if, time spent: 54.0ms, 0.0% of total-time
Operation ival-<, time spent: 42.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 32.0ms, 0.0% of total-time
Operation ival-e, time spent: 18.0ms, 0.0% of total-time

sample2.1min (20.4%)

Results
1.8min247680×256valid
2.4s8194×256invalid
1.1s2120×256precondition
Precisions
Click to see histograms. Total time spent on operations: 58.6s
Operation ival-mult, time spent: 14.3s, 24.0% of total-time
Operation ival-<=, time spent: 10.9s, 19.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-sqrt, time spent: 3.1s, 5.0% of total-time
Operation ival-sub, time spent: 2.7s, 5.0% of total-time
Operation ival-log, time spent: 2.6s, 4.0% of total-time
Operation ival-add, time spent: 2.2s, 4.0% of total-time
Operation ival-and, time spent: 2.0s, 3.0% of total-time
Operation ival-tan, time spent: 1.9s, 3.0% of total-time
Operation const, time spent: 1.6s, 3.0% of total-time
Operation ival-fabs, time spent: 1.5s, 3.0% of total-time
Operation ival-cos, time spent: 1.5s, 2.0% of total-time
Operation ival-exp, time spent: 1.1s, 2.0% of total-time
Operation ival-floor, time spent: 812.0ms, 1.0% of total-time
Operation ival-atan, time spent: 808.0ms, 1.0% of total-time
Operation ival-pi, time spent: 678.0ms, 1.0% of total-time
Operation ival-neg, time spent: 611.0ms, 1.0% of total-time
Operation ival-log2, time spent: 496.0ms, 1.0% of total-time
Operation ival-<, time spent: 373.0ms, 1.0% of total-time
Operation ival-asin, time spent: 326.0ms, 1.0% of total-time
Operation ival->, time spent: 288.0ms, 0.0% of total-time
Operation ival-==, time spent: 239.0ms, 0.0% of total-time
Operation ival->=, time spent: 169.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 114.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 113.0ms, 0.0% of total-time
Operation ival-if, time spent: 59.0ms, 0.0% of total-time
Bogosity

eval1.6min (14.9%)

Compiler

Compiled 11192904 to 2439010 computations (78.2% saved)

simplify53.1s (8.5%)

Algorithm
145×egg-herbie
Rules
52627×fma-define
35017×*-commutative
33145×distribute-lft-in
32855×associate-*r*
32380×times-frac
Stop Event
30×saturated
115×node limit
28×fuel
2×done
Counts
64334 → 51657
Compiler

Compiled 9012 to 5091 computations (43.5% saved)

soundness45.3s (7.2%)

Rules
50471×fma-define
31418×associate-*r*
30870×log1p-expm1-u
29341×times-frac
26610×*-commutative
Stop Event
8×saturated
144×node limit
Compiler

Compiled 37309 to 15709 computations (57.9% saved)

analyze41.6s (6.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.3%0.2%2.4%97.4%0%0%0%2
43.2%1.1%1.5%97.4%0%0%0%3
48.1%1.3%1.4%97.4%0%0%0%4
65.1%1.7%0.9%97.4%0%0%0%5
70.3%1.8%0.8%97.4%0%0%0%6
79.1%2%0.5%97.4%0%0%0%7
81.1%2.1%0.5%97.4%0%0.1%0%8
86.1%2.2%0.4%97.4%0%0.1%0%9
87.6%2.2%0.3%97.4%0%0.1%0%10
91.9%2.3%0.2%97.4%0%0.1%0%11
92.6%2.3%0.2%97.4%0%0.1%0%12
Compiler

Compiled 2668 to 1270 computations (52.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.7s
Operation ival-mult, time spent: 3.5s, 24.0% of total-time
Operation ival-<=, time spent: 3.4s, 23.0% of total-time
Operation ival-fabs, time spent: 1.5s, 10.0% of total-time
Operation ival-div, time spent: 872.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 729.0ms, 5.0% of total-time
Operation ival-floor, time spent: 696.0ms, 5.0% of total-time
Operation ival-add, time spent: 576.0ms, 4.0% of total-time
Operation ival-and, time spent: 564.0ms, 4.0% of total-time
Operation const, time spent: 358.0ms, 2.0% of total-time
Operation ival-if, time spent: 315.0ms, 2.0% of total-time
Operation ival-sub, time spent: 310.0ms, 2.0% of total-time
Operation ival-tan, time spent: 307.0ms, 2.0% of total-time
Operation ival-log2, time spent: 307.0ms, 2.0% of total-time
Operation ival-==, time spent: 217.0ms, 1.0% of total-time
Operation ival->, time spent: 169.0ms, 1.0% of total-time
Operation ival-sin, time spent: 163.0ms, 1.0% of total-time
Operation ival-fmax, time spent: 154.0ms, 1.0% of total-time
Operation ival-cos, time spent: 152.0ms, 1.0% of total-time
Operation ival-log, time spent: 107.0ms, 1.0% of total-time
Operation ival-pi, time spent: 97.0ms, 1.0% of total-time
Operation ival-<, time spent: 94.0ms, 1.0% of total-time
Operation ival-atan, time spent: 51.0ms, 0.0% of total-time
Operation ival-asin, time spent: 34.0ms, 0.0% of total-time
Operation ival-exp, time spent: 30.0ms, 0.0% of total-time
Operation ival-neg, time spent: 23.0ms, 0.0% of total-time
Operation ival->=, time spent: 0.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 0.0ms, 0.0% of total-time

preprocess32.2s (5.1%)

Algorithm
30×egg-herbie
Rules
15315×fma-define
10891×fma-neg
7946×unsub-neg
7353×distribute-lft-neg-in
5929×distribute-rgt-neg-in
Stop Event
11×saturated
19×node limit
Compiler

Compiled 57606 to 25564 computations (55.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.4s
Operation ival-mult, time spent: 3.2s, 34.0% of total-time
Operation ival-tan, time spent: 1.0s, 11.0% of total-time
Operation ival-div, time spent: 838.0ms, 9.0% of total-time
Operation ival-sin, time spent: 694.0ms, 7.0% of total-time
Operation ival-atan, time spent: 688.0ms, 7.0% of total-time
Operation ival-sub, time spent: 600.0ms, 6.0% of total-time
Operation ival-cos, time spent: 560.0ms, 6.0% of total-time
Operation ival-add, time spent: 461.0ms, 5.0% of total-time
Operation ival-log, time spent: 400.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 396.0ms, 4.0% of total-time
Operation const, time spent: 167.0ms, 2.0% of total-time
Operation ival-exp, time spent: 104.0ms, 1.0% of total-time
Operation ival-pi, time spent: 83.0ms, 1.0% of total-time
Operation ival-neg, time spent: 79.0ms, 1.0% of total-time
Operation ival-floor, time spent: 40.0ms, 0.0% of total-time
Operation ival-log2, time spent: 24.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 23.0ms, 0.0% of total-time
Operation ival-asin, time spent: 14.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 7.0ms, 0.0% of total-time
Operation ival->=, time spent: 6.0ms, 0.0% of total-time
Operation ival->, time spent: 5.0ms, 0.0% of total-time
Operation ival-if, time spent: 4.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 4.0ms, 0.0% of total-time
Operation ival-<, time spent: 4.0ms, 0.0% of total-time

prune31.5s (5%)

Counts
107553 → 3712
Compiler

Compiled 271626 to 143373 computations (47.2% saved)

regimes31.0s (4.9%)

Counts
7160 → 338
Calls

145 calls:

1.2s
s
993.0ms
u2
961.0ms
u1
923.0ms
cosTheta_i
842.0ms
ux
Compiler

Compiled 12203 to 8457 computations (30.7% saved)

rewrite24.0s (3.8%)

Algorithm
115×batch-egg-rewrite
Rules
59060×log1p-expm1-u
44459×expm1-log1p-u
32101×add-exp-log
31552×pow1
31300×add-log-exp
Stop Event
115×node limit
Counts
1289 → 31464

series14.7s (2.3%)

Counts
1289 → 32870
Calls

7386 calls:

TimeVariablePointExpression
658.0ms
h
@inf
(log (fmax (* (pow dX.v 2) (pow (floor h) 2)) (pow (sqrt (+ (* (* (floor d) dY.w) (* (floor d) dY.w)) (* (+ (* dY.u (floor w)) (* 1/2 (/ (pow (* (floor h) dY.v) 2) (* dY.u (floor w))))) (+ (* dY.u (floor w)) (* 1/2 (/ (pow (* (floor h) dY.v) 2) (* dY.u (floor w)))))))) 2)))
234.0ms
x
@inf
(- (+ 1/4 (* 1/4 (/ (* x (log (E))) s))) (* 1/4 (/ x s)))
234.0ms
w
@inf
(log (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)))
171.0ms
alpha
@-inf
(/ (+ alpha -1) (* 2 (log alpha)))
166.0ms
h
@-inf
(log (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 (sqrt (+ (* (* (floor d) dY.w) (* (floor d) dY.w)) (* (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))))) 2)))

bsearch26.0ms (0%)

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

Compiled 2235 to 1441 computations (35.5% saved)

end11.0ms (0%)

Profiling

Loading profile data...