Herbie run

Date:Friday, April 5th, 2024
Commit:deef6326 on main
Hostname:nightly with Racket 8.11.1
Seed:2024096
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: 9.0min)

localize2.8min (31%)

Results
51.7s27612×256valid
8.1s1948×256invalid
1.4min538×8192exit
195.0ms328×256unsamplable
143.0ms38×512valid
Compiler

Compiled 106813 to 27688 computations (74.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.2min
ival-tan: 28.5s (21.5% of total)
ival-mult: 20.3s (15.4% of total)
ival-sin: 20.3s (15.4% of total)
ival-atan: 19.1s (14.4% of total)
ival-pow: 11.4s (8.6% of total)
ival-div: 6.5s (4.9% of total)
ival-add: 5.6s (4.3% of total)
<compiled-spec>: 4.2s (3.2% of total)
ival-sub: 3.5s (2.7% of total)
ival-log: 3.2s (2.4% of total)
ival-cos: 2.3s (1.7% of total)
ival-sqrt: 2.0s (1.5% of total)
ival-exp: 1.7s (1.3% of total)
const: 1.3s (1% of total)
ival-fmax: 686.0ms (0.5% of total)
ival-neg: 243.0ms (0.2% of total)
ival-if: 234.0ms (0.2% of total)
ival-cbrt: 229.0ms (0.2% of total)
ival-sinh: 174.0ms (0.1% of total)
ival-log2: 154.0ms (0.1% of total)
ival-floor: 103.0ms (0.1% of total)
ival->: 84.0ms (0.1% of total)
ival-asin: 82.0ms (0.1% of total)
ival->=: 82.0ms (0.1% of total)
ival-pi: 65.0ms (0% of total)
ival-fabs: 48.0ms (0% of total)
ival-<: 29.0ms (0% of total)
ival-e: 7.0ms (0% of total)

sample1.5min (16.8%)

Results
1.1min247680×0valid
1.1s8380×0invalid
533.0ms1981×0precondition
43.0ms64×5exit
Precisions
Click to see histograms. Total time spent on operations: 54.9s
ival-mult: 13.3s (24.2% of total)
ival-<=: 9.6s (17.4% of total)
ival-div: 5.8s (10.5% of total)
ival-sub: 2.7s (4.9% of total)
ival-add: 2.5s (4.6% of total)
ival-sin: 2.3s (4.1% of total)
ival-fabs: 2.0s (3.6% of total)
ival-tan: 1.9s (3.5% of total)
ival-log: 1.9s (3.5% of total)
ival-sqrt: 1.7s (3.1% of total)
ival-and: 1.5s (2.8% of total)
const: 1.4s (2.5% of total)
ival-cos: 1.4s (2.5% of total)
ival-neg: 1.2s (2.2% of total)
ival-floor: 968.0ms (1.8% of total)
ival-pi: 721.0ms (1.3% of total)
ival-exp: 698.0ms (1.3% of total)
ival-atan: 685.0ms (1.2% of total)
ival-<: 616.0ms (1.1% of total)
ival->: 364.0ms (0.7% of total)
ival-if: 341.0ms (0.6% of total)
ival-fmax: 338.0ms (0.6% of total)
ival-log2: 311.0ms (0.6% of total)
ival-==: 185.0ms (0.3% of total)
ival-asin: 151.0ms (0.3% of total)
backward-pass: 148.0ms (0.3% of total)
ival-sinh: 110.0ms (0.2% of total)
ival->=: 81.0ms (0.1% of total)
Bogosity

simplify59.7s (11.1%)

Algorithm
148×egg-herbie
Rules
108140×fma-define
73740×*-commutative
68648×times-frac
66272×distribute-lft-in
66164×associate-*r*
Stop Event
31×saturated
117×node limit
Counts
69109 → 54328

eval49.3s (9.2%)

Compiler

Compiled 6509522 to 2276687 computations (65% saved)

soundness41.1s (7.7%)

Rules
92648×fma-define
62282×times-frac
57910×associate-*r*
52834×*-commutative
49346×distribute-lft-in
Stop Event
7×saturated
27×fuel
133×node limit
3×done
Compiler

Compiled 35859 to 20136 computations (43.8% saved)

prune29.7s (5.5%)

Counts
100988 → 3493
Compiler

Compiled 242522 to 134208 computations (44.7% saved)

rewrite25.3s (4.7%)

Algorithm
117×batch-egg-rewrite
Rules
64195×log1p-expm1-u
46191×expm1-log1p-u
34620×log-prod
33019×add-exp-log
32422×pow1
Stop Event
117×node limit
Counts
1370 → 33278

analyze25.2s (4.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 1267 computations (52.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.9s
ival-mult: 3.9s (24.7% of total)
ival-<=: 3.0s (18.7% of total)
ival-fabs: 2.0s (12.4% of total)
ival-add: 1.1s (7.2% of total)
ival-div: 909.0ms (5.7% of total)
ival-floor: 812.0ms (5.1% of total)
ival-fmax: 669.0ms (4.2% of total)
ival-if: 553.0ms (3.5% of total)
ival-and: 529.0ms (3.3% of total)
ival-sqrt: 445.0ms (2.8% of total)
const: 337.0ms (2.1% of total)
ival-sub: 216.0ms (1.4% of total)
ival-==: 197.0ms (1.2% of total)
ival-log2: 182.0ms (1.1% of total)
ival-tan: 175.0ms (1.1% of total)
ival-sin: 173.0ms (1.1% of total)
ival-cos: 170.0ms (1.1% of total)
ival->: 94.0ms (0.6% of total)
ival->=: 89.0ms (0.6% of total)
ival-log: 83.0ms (0.5% of total)
ival-<: 63.0ms (0.4% of total)
ival-exp: 57.0ms (0.4% of total)
ival-atan: 49.0ms (0.3% of total)
ival-neg: 43.0ms (0.3% of total)
ival-pi: 28.0ms (0.2% of total)
ival-asin: 22.0ms (0.1% of total)
ival-sinh: 16.0ms (0.1% of total)

regimes14.9s (2.8%)

Counts
6484 → 312
Calls

145 calls:

554.0ms
uy
551.0ms
s
538.0ms
cosTheta_i
416.0ms
v
374.0ms
(+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (/.f32 #s(literal 1 binary32) v)) #s(literal 6931/10000 binary32)) (log.f32 (/.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) v))))
Compiler

Compiled 10357 to 7060 computations (31.8% saved)

explain13.8s (2.6%)

Results
9.6s15360×256valid
Compiler

Compiled 16652 to 4502 computations (73% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.7s
ival-mult: 2.4s (31.1% of total)
ival-tan: 873.0ms (11.3% of total)
ival-div: 770.0ms (10% of total)
ival-sin: 666.0ms (8.7% of total)
ival-sub: 613.0ms (8% of total)
ival-cos: 561.0ms (7.3% of total)
ival-add: 514.0ms (6.7% of total)
ival-atan: 407.0ms (5.3% of total)
ival-log: 270.0ms (3.5% of total)
ival-sqrt: 178.0ms (2.3% of total)
const: 133.0ms (1.7% of total)
ival-exp: 80.0ms (1% of total)
ival-floor: 48.0ms (0.6% of total)
ival-neg: 44.0ms (0.6% of total)
ival-pi: 28.0ms (0.4% of total)
ival-fmax: 24.0ms (0.3% of total)
ival-sinh: 23.0ms (0.3% of total)
ival-log2: 18.0ms (0.2% of total)
ival-if: 17.0ms (0.2% of total)
ival-asin: 10.0ms (0.1% of total)
ival-fabs: 9.0ms (0.1% of total)
ival->=: 6.0ms (0.1% of total)
ival->: 5.0ms (0.1% of total)
ival-<: 4.0ms (0.1% of total)

series13.5s (2.5%)

Counts
1370 → 35831
Calls

7950 calls:

TimeVariablePointExpression
323.0ms
h
@-inf
(log (+ 1 (pow (* (floor h) dX.v) 2)))
223.0ms
w
@inf
(pow (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)) 1/4)
137.0ms
h
@-inf
(pow (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)) 1/4)
129.0ms
s
@0
(* s (+ (log (+ 1 (* (pow u 2) 16))) (log (+ 1 (* 4 u)))))
100.0ms
s
@0
(* (* s -3) (log (+ 1 (/ (+ u -1/4) -3/4))))

preprocess8.3s (1.5%)

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 34104 to 19112 computations (44% saved)

bsearch20.0ms (0%)

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

Compiled 2147 to 1303 computations (39.3% saved)

end0.0ms (0%)

Profiling

Loading profile data...