Herbie run

Date:Wednesday, March 20th, 2024
Commit:0f421560 on main
Hostname:nightly with Racket 8.11.1
Seed:2024080
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: 15.6min)

analyze5.4min (34.7%)

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
Compiler

Compiled 2668 to 1270 computations (52.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-mult, time spent: 32.5s, 26.0% of total-time
Operation ival-<=, time spent: 28.4s, 22.0% of total-time
Operation ival-fabs, time spent: 19.6s, 16.0% of total-time
Operation ival-add, time spent: 7.7s, 6.0% of total-time
Operation ival-floor, time spent: 7.4s, 6.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-sqrt, time spent: 4.4s, 3.0% of total-time
Operation ival-log2, time spent: 4.1s, 3.0% of total-time
Operation const, time spent: 3.2s, 3.0% of total-time
Operation ival-fmax, time spent: 2.9s, 2.0% of total-time
Operation ival-if, time spent: 2.5s, 2.0% of total-time
Operation ival-==, time spent: 765.0ms, 1.0% of total-time
Operation ival-sub, time spent: 557.0ms, 0.0% of total-time
Operation ival->=, time spent: 341.0ms, 0.0% of total-time
Operation ival->, time spent: 330.0ms, 0.0% of total-time
Operation ival-sin, time spent: 215.0ms, 0.0% of total-time
Operation ival-<, time spent: 215.0ms, 0.0% of total-time
Operation ival-tan, time spent: 171.0ms, 0.0% of total-time
Operation ival-log, time spent: 164.0ms, 0.0% of total-time
Operation ival-cos, time spent: 153.0ms, 0.0% of total-time
Operation ival-atan, time spent: 72.0ms, 0.0% of total-time
Operation ival-exp, time spent: 57.0ms, 0.0% of total-time
Operation ival-neg, time spent: 41.0ms, 0.0% of total-time
Operation ival-pi, time spent: 36.0ms, 0.0% of total-time
Operation ival-asin, time spent: 25.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 18.0ms, 0.0% of total-time

localize3.4min (21.5%)

Results
1.3min26987×256valid
7.1s1197×256invalid
1.6s855×256unsamplable
1.2min401×8192exit
Compiler

Compiled 101365 to 25587 computations (74.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.0min
Operation ival-tan, time spent: 26.3s, 22.0% of total-time
Operation ival-sin, time spent: 19.7s, 17.0% of total-time
Operation ival-mult, time spent: 19.1s, 16.0% of total-time
Operation ival-atan, time spent: 17.3s, 15.0% of total-time
Operation ival-pow, time spent: 7.9s, 7.0% of total-time
Operation ival-div, time spent: 7.1s, 6.0% of total-time
Operation ival-add, time spent: 4.4s, 4.0% of total-time
Operation composed, time spent: 3.4s, 3.0% of total-time
Operation ival-sub, time spent: 3.1s, 3.0% of total-time
Operation ival-log, time spent: 1.9s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.6s, 1.0% of total-time
Operation const, time spent: 1.5s, 1.0% of total-time
Operation ival-exp, time spent: 1.4s, 1.0% of total-time
Operation ival-cos, time spent: 936.0ms, 1.0% of total-time
Operation ival-fmax, time spent: 723.0ms, 1.0% of total-time
Operation ival-neg, time spent: 374.0ms, 0.0% of total-time
Operation ival-if, time spent: 268.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 195.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 161.0ms, 0.0% of total-time
Operation ival-pi, time spent: 117.0ms, 0.0% of total-time
Operation ival->, time spent: 109.0ms, 0.0% of total-time
Operation ival-asin, time spent: 92.0ms, 0.0% of total-time
Operation ival-floor, time spent: 81.0ms, 0.0% of total-time
Operation ival->=, time spent: 81.0ms, 0.0% of total-time
Operation ival-log2, time spent: 76.0ms, 0.0% of total-time
Operation ival-<, time spent: 53.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 44.0ms, 0.0% of total-time
Operation ival-e, time spent: 20.0ms, 0.0% of total-time

sample2.0min (12.7%)

Results
1.4min239424×256valid
1.9s8532×256invalid
1.4s2068×256precondition
Precisions
Click to see histograms. Total time spent on operations: 55.9s
Operation ival-mult, time spent: 13.2s, 24.0% of total-time
Operation ival-<=, time spent: 9.8s, 18.0% of total-time
Operation ival-div, time spent: 6.1s, 11.0% of total-time
Operation ival-sin, time spent: 3.2s, 6.0% of total-time
Operation ival-sub, time spent: 3.1s, 5.0% of total-time
Operation ival-fabs, time spent: 2.6s, 5.0% of total-time
Operation ival-log, time spent: 2.2s, 4.0% of total-time
Operation ival-add, time spent: 2.1s, 4.0% of total-time
Operation ival-and, time spent: 1.7s, 3.0% of total-time
Operation ival-tan, time spent: 1.7s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.5s, 3.0% of total-time
Operation const, time spent: 1.5s, 3.0% of total-time
Operation ival-cos, time spent: 1.5s, 3.0% of total-time
Operation ival-exp, time spent: 974.0ms, 2.0% of total-time
Operation ival-pi, time spent: 833.0ms, 1.0% of total-time
Operation ival-atan, time spent: 731.0ms, 1.0% of total-time
Operation ival-neg, time spent: 651.0ms, 1.0% of total-time
Operation ival-floor, time spent: 619.0ms, 1.0% of total-time
Operation ival-if, time spent: 308.0ms, 1.0% of total-time
Operation ival-asin, time spent: 307.0ms, 1.0% of total-time
Operation ival-fmax, time spent: 304.0ms, 1.0% of total-time
Operation ival->, time spent: 286.0ms, 1.0% of total-time
Operation ival-<, time spent: 285.0ms, 1.0% of total-time
Operation ival-==, time spent: 203.0ms, 0.0% of total-time
Operation ival-log2, time spent: 154.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 113.0ms, 0.0% of total-time
Operation ival->=, time spent: 82.0ms, 0.0% of total-time
Bogosity

eval1.3min (8.3%)

Compiler

Compiled 7384847 to 2142256 computations (71% saved)

simplify52.4s (5.6%)

Algorithm
143×egg-herbie
Rules
103552×fma-define
73092×*-commutative
64434×distribute-lft-in
61460×associate-*r*
61136×times-frac
Stop Event
29×saturated
114×node limit
28×fuel
1×done
Counts
64798 → 53235
Compiler

Compiled 5878 to 3801 computations (35.3% saved)

soundness39.0s (4.2%)

Rules
94318×fma-define
63396×associate-*r*
58226×times-frac
52894×*-commutative
48556×distribute-lft-in
Stop Event
7×saturated
139×node limit
Compiler

Compiled 27102 to 15504 computations (42.8% saved)

prune35.6s (3.8%)

Counts
96524 → 3464
Compiler

Compiled 236521 to 130564 computations (44.8% saved)

preprocess34.6s (3.7%)

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

Compiled 44998 to 20943 computations (53.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.8s
Operation ival-mult, time spent: 2.3s, 30.0% of total-time
Operation ival-tan, time spent: 893.0ms, 11.0% of total-time
Operation ival-atan, time spent: 684.0ms, 9.0% of total-time
Operation ival-div, time spent: 679.0ms, 9.0% of total-time
Operation ival-sin, time spent: 624.0ms, 8.0% of total-time
Operation ival-cos, time spent: 529.0ms, 7.0% of total-time
Operation ival-sub, time spent: 507.0ms, 7.0% of total-time
Operation ival-add, time spent: 478.0ms, 6.0% of total-time
Operation ival-log, time spent: 286.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 256.0ms, 3.0% of total-time
Operation const, time spent: 165.0ms, 2.0% of total-time
Operation ival-exp, time spent: 87.0ms, 1.0% of total-time
Operation ival-floor, time spent: 48.0ms, 1.0% of total-time
Operation ival-neg, time spent: 48.0ms, 1.0% of total-time
Operation ival-pi, time spent: 47.0ms, 1.0% of total-time
Operation ival-asin, time spent: 36.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 32.0ms, 0.0% of total-time
Operation ival-if, time spent: 26.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 22.0ms, 0.0% of total-time
Operation ival-log2, time spent: 11.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 11.0ms, 0.0% of total-time
Operation ival->=, time spent: 10.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

rewrite23.7s (2.5%)

Algorithm
114×batch-egg-rewrite
Rules
60143×log1p-expm1-u
45610×expm1-log1p-u
33614×log-prod
32066×add-exp-log
31478×pow1
Stop Event
114×node limit
Counts
1301 → 32477

regimes15.1s (1.6%)

Counts
6056 → 289
Calls

138 calls:

1.2s
(sqrt.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1))))
1.2s
alphax
485.0ms
cosTheta_i
458.0ms
s
400.0ms
u2
Compiler

Compiled 9125 to 6055 computations (33.6% saved)

series14.3s (1.5%)

Counts
1301 → 32321
Calls

7407 calls:

TimeVariablePointExpression
715.0ms
s
@0
(* 3 (* s (neg (log (- 1 (- (/ u 3/4) 1/3))))))
373.0ms
dY.u
@inf
(pow (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)) 1/4)
190.0ms
dY.v
@inf
(pow (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)) 1/4)
178.0ms
dY.u
@inf
(pow (exp 1) (log (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)))))
155.0ms
dX.u
@inf
(pow (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)) 1/4)

bsearch18.0ms (0%)

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

Compiled 1282 to 947 computations (26.1% saved)

end6.0ms (0%)

Precisions
Click to see histograms. Total time spent on operations: 25.2s
Operation ival-and, time spent: 25.2s, 100.0% of total-time

Profiling

Loading profile data...