Herbie run

Date:Monday, March 11th, 2024
Commit:d14d36a1 on main
Hostname:nightly with Racket 8.11.1
Seed:2024071
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: 11.3min)

localize3.6min (31.9%)

Compiler

Compiled 96308 to 27022 computations (71.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-tan, time spent: 30.8s, 24.0% of total-time
Operation ival-mult, time spent: 20.2s, 16.0% of total-time
Operation ival-sin, time spent: 16.0s, 13.0% of total-time
Operation ival-atan, time spent: 12.5s, 10.0% of total-time
Operation ival-pow, time spent: 11.9s, 9.0% of total-time
Operation ival-div, time spent: 7.7s, 6.0% of total-time
Operation ival-add, time spent: 6.1s, 5.0% of total-time
Operation composed, time spent: 5.8s, 5.0% of total-time
Operation ival-sub, time spent: 3.5s, 3.0% of total-time
Operation ival-log, time spent: 3.0s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.4s, 2.0% of total-time
Operation ival-exp, time spent: 1.9s, 1.0% of total-time
Operation const, time spent: 1.7s, 1.0% of total-time
Operation ival-cos, time spent: 1.0s, 1.0% of total-time
Operation ival-fmax, time spent: 846.0ms, 1.0% of total-time
Operation ival-neg, time spent: 583.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 306.0ms, 0.0% of total-time
Operation ival-if, time spent: 281.0ms, 0.0% of total-time
Operation ival-log2, time spent: 226.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 205.0ms, 0.0% of total-time
Operation ival-pi, time spent: 124.0ms, 0.0% of total-time
Operation ival-floor, time spent: 98.0ms, 0.0% of total-time
Operation ival->=, time spent: 88.0ms, 0.0% of total-time
Operation ival->, time spent: 88.0ms, 0.0% of total-time
Operation ival-asin, time spent: 67.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 40.0ms, 0.0% of total-time
Operation ival-acos, time spent: 31.0ms, 0.0% of total-time
Operation ival-e, time spent: 18.0ms, 0.0% of total-time
Operation ival-<, time spent: 17.0ms, 0.0% of total-time

sample2.1min (18.4%)

Results
1.8min247680×256valid
2.2s8300×256invalid
1.2s2073×256precondition
Precisions
Click to see histograms. Total time spent on operations: 57.1s
Operation ival-mult, time spent: 13.7s, 24.0% of total-time
Operation ival-<=, time spent: 10.5s, 18.0% of total-time
Operation ival-div, time spent: 5.9s, 10.0% of total-time
Operation ival-add, time spent: 2.8s, 5.0% of total-time
Operation ival-sub, time spent: 2.7s, 5.0% of total-time
Operation ival-sin, time spent: 2.5s, 4.0% of total-time
Operation ival-log, time spent: 2.1s, 4.0% of total-time
Operation ival-fabs, time spent: 2.0s, 4.0% of total-time
Operation ival-and, time spent: 2.0s, 3.0% of total-time
Operation const, time spent: 1.6s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.5s, 3.0% of total-time
Operation ival-tan, time spent: 1.4s, 3.0% of total-time
Operation ival-cos, time spent: 1.4s, 3.0% of total-time
Operation ival-exp, time spent: 1.1s, 2.0% of total-time
Operation ival-atan, time spent: 1.0s, 2.0% of total-time
Operation ival-pi, time spent: 847.0ms, 1.0% of total-time
Operation ival-floor, time spent: 736.0ms, 1.0% of total-time
Operation ival-neg, time spent: 728.0ms, 1.0% of total-time
Operation ival-fmax, time spent: 403.0ms, 1.0% of total-time
Operation ival-if, time spent: 335.0ms, 1.0% of total-time
Operation ival->, time spent: 330.0ms, 1.0% of total-time
Operation ival-log2, time spent: 327.0ms, 1.0% of total-time
Operation ival-<, time spent: 327.0ms, 1.0% of total-time
Operation ival-asin, time spent: 243.0ms, 0.0% of total-time
Operation ival-==, time spent: 199.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 121.0ms, 0.0% of total-time
Operation ival->=, time spent: 100.0ms, 0.0% of total-time
Bogosity

eval1.2min (10.5%)

Compiler

Compiled 6174053 to 1963474 computations (68.2% saved)

simplify54.1s (8%)

Algorithm
146×egg-herbie
Rules
95236×fma-define
70002×*-commutative
67116×distribute-lft-in
66132×times-frac
63258×associate-*r*
Stop Event
30×saturated
116×node limit
28×fuel
2×done
Counts
65816 → 51740
Compiler

Compiled 8157 to 4855 computations (40.5% saved)

soundness43.4s (6.4%)

Rules
96766×fma-define
62862×times-frac
62368×associate-*r*
53454×distribute-lft-in
52940×*-commutative
Stop Event
8×saturated
147×node limit
Compiler

Compiled 33618 to 16706 computations (50.3% saved)

analyze41.7s (6.2%)

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.8s
Operation ival-mult, time spent: 3.8s, 26.0% of total-time
Operation ival-<=, time spent: 2.6s, 18.0% of total-time
Operation ival-fabs, time spent: 1.7s, 11.0% of total-time
Operation ival-div, time spent: 1.1s, 8.0% of total-time
Operation ival-add, time spent: 678.0ms, 5.0% of total-time
Operation ival-floor, time spent: 609.0ms, 4.0% of total-time
Operation ival-and, time spent: 545.0ms, 4.0% of total-time
Operation ival-if, time spent: 513.0ms, 3.0% of total-time
Operation ival-sub, time spent: 450.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 386.0ms, 3.0% of total-time
Operation const, time spent: 358.0ms, 2.0% of total-time
Operation ival-==, time spent: 327.0ms, 2.0% of total-time
Operation ival-fmax, time spent: 319.0ms, 2.0% of total-time
Operation ival-log2, time spent: 293.0ms, 2.0% of total-time
Operation ival->, time spent: 171.0ms, 1.0% of total-time
Operation ival-tan, time spent: 168.0ms, 1.0% of total-time
Operation ival-sin, time spent: 159.0ms, 1.0% of total-time
Operation ival-<, time spent: 150.0ms, 1.0% of total-time
Operation ival-cos, time spent: 149.0ms, 1.0% of total-time
Operation ival-atan, time spent: 81.0ms, 1.0% of total-time
Operation ival-log, time spent: 74.0ms, 1.0% of total-time
Operation ival-pi, time spent: 49.0ms, 0.0% of total-time
Operation ival-exp, time spent: 28.0ms, 0.0% of total-time
Operation ival-asin, time spent: 27.0ms, 0.0% of total-time
Operation ival-neg, time spent: 27.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

preprocess31.0s (4.6%)

Algorithm
30×egg-herbie
Rules
30630×fma-define
21782×fma-neg
15892×unsub-neg
14706×distribute-lft-neg-in
11858×distribute-rgt-neg-in
Stop Event
11×saturated
19×node limit
Compiler

Compiled 56380 to 25524 computations (54.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.4s
Operation ival-mult, time spent: 2.4s, 29.0% of total-time
Operation ival-tan, time spent: 1.2s, 14.0% of total-time
Operation ival-sin, time spent: 721.0ms, 9.0% of total-time
Operation ival-div, time spent: 674.0ms, 8.0% of total-time
Operation ival-sub, time spent: 670.0ms, 8.0% of total-time
Operation ival-cos, time spent: 588.0ms, 7.0% of total-time
Operation ival-add, time spent: 529.0ms, 6.0% of total-time
Operation ival-atan, time spent: 440.0ms, 5.0% of total-time
Operation ival-log, time spent: 309.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 205.0ms, 2.0% of total-time
Operation ival-exp, time spent: 169.0ms, 2.0% of total-time
Operation const, time spent: 168.0ms, 2.0% of total-time
Operation ival-if, time spent: 65.0ms, 1.0% of total-time
Operation ival-neg, time spent: 57.0ms, 1.0% of total-time
Operation ival-pi, time spent: 49.0ms, 1.0% of total-time
Operation ival-floor, time spent: 43.0ms, 1.0% of total-time
Operation ival-log2, time spent: 28.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 25.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 24.0ms, 0.0% of total-time
Operation ival-fabs, 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: 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

regimes28.5s (4.2%)

Counts
6779 → 318
Calls

145 calls:

1.2s
s
1.0s
dX.v
952.0ms
cosTheta_i
746.0ms
uy
679.0ms
u2
Compiler

Compiled 11708 to 7999 computations (31.7% saved)

prune25.6s (3.8%)

Counts
94772 → 3581
Compiler

Compiled 242464 to 134458 computations (44.5% saved)

rewrite24.2s (3.6%)

Algorithm
116×batch-egg-rewrite
Rules
63137×log1p-expm1-u
47543×expm1-log1p-u
36158×log-prod
33350×prod-diff
32337×add-exp-log
Stop Event
116×node limit
Counts
1316 → 32326

series16.4s (2.4%)

Counts
1316 → 33490
Calls

7776 calls:

TimeVariablePointExpression
817.0ms
w
@inf
(log (fmax (pow (* dX.u (floor w)) 2) (pow (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) 2)))
295.0ms
d
@inf
(log (fmax (pow (* dX.u (floor w)) 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)))
225.0ms
d
@-inf
(log (fmax (pow (* dX.u (floor w)) 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)))
204.0ms
dX.u
@inf
(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)
176.0ms
dX.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 w) dY.u) 2)))

bsearch33.0ms (0%)

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

Compiled 2737 to 1634 computations (40.3% saved)

end27.0ms (0%)

Profiling

Loading profile data...