Herbie run

Date:Monday, April 15th, 2024
Commit:9276f361 on zane-regimes-bug-fix
Hostname:nightly with Racket 8.11.1
Seed:2024106
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: 8.0min)

localize1.9min (23.6%)

Results
42.2s25222×0valid
6.6s1940×0invalid
1.9s1269×0unsamplable
33.4s796×5exit
5.9s469×1valid
Compiler

Compiled 101545 to 26160 computations (74.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3min
ival-mult: 17.9s (23.3% of total)
ival-pow: 13.4s (17.4% of total)
ival-tan: 6.0s (7.7% of total)
ival-div: 5.4s (7% of total)
ival-expm1: 5.0s (6.5% of total)
ival-add: 4.6s (6% of total)
ival-sin: 4.6s (6% of total)
backward-pass: 4.3s (5.6% of total)
ival-sub: 2.9s (3.8% of total)
ival-sqrt: 1.9s (2.5% of total)
ival-atan: 1.7s (2.2% of total)
ival-fma: 1.3s (1.6% of total)
const: 1.2s (1.5% of total)
ival-exp: 1.1s (1.5% of total)
ival-fmax: 1.1s (1.5% of total)
ival-cos: 908.0ms (1.2% of total)
ival-log: 837.0ms (1.1% of total)
ival-log1p: 656.0ms (0.9% of total)
ival-hypot: 370.0ms (0.5% of total)
ival-neg: 365.0ms (0.5% of total)
ival-if: 302.0ms (0.4% of total)
ival-cbrt: 224.0ms (0.3% of total)
ival-e: 150.0ms (0.2% of total)
ival-sinh: 146.0ms (0.2% of total)
ival-log2: 117.0ms (0.2% of total)
ival->: 104.0ms (0.1% of total)
ival-floor: 98.0ms (0.1% of total)
ival-pi: 87.0ms (0.1% of total)
ival->=: 81.0ms (0.1% of total)
ival-fabs: 55.0ms (0.1% of total)
ival-asin: 41.0ms (0.1% of total)
ival-<: 25.0ms (0% of total)

sample1.5min (18.7%)

Results
1.1min247680×0valid
1.1s8255×0invalid
715.0ms2122×0precondition
22.0ms43×5exit
Precisions
Click to see histograms. Total time spent on operations: 54.1s
ival-mult: 13.7s (25.2% of total)
ival-<=: 9.4s (17.4% of total)
ival-div: 5.7s (10.6% of total)
ival-sin: 2.6s (4.8% of total)
ival-add: 2.5s (4.6% of total)
ival-sub: 2.3s (4.2% of total)
ival-sqrt: 1.8s (3.4% of total)
ival-tan: 1.7s (3.2% of total)
ival-log: 1.7s (3.1% of total)
ival-fabs: 1.5s (2.8% of total)
ival-and: 1.5s (2.7% of total)
const: 1.3s (2.3% of total)
ival-pi: 1.2s (2.2% of total)
ival-cos: 1.2s (2.2% of total)
ival-floor: 1.1s (2% of total)
ival-exp: 768.0ms (1.4% of total)
ival-atan: 760.0ms (1.4% of total)
ival-neg: 686.0ms (1.3% of total)
ival-<: 507.0ms (0.9% of total)
ival->: 390.0ms (0.7% of total)
ival-==: 350.0ms (0.6% of total)
ival-log2: 339.0ms (0.6% of total)
ival-fmax: 332.0ms (0.6% of total)
ival-if: 287.0ms (0.5% of total)
ival-asin: 223.0ms (0.4% of total)
backward-pass: 128.0ms (0.2% of total)
ival-sinh: 97.0ms (0.2% of total)
ival->=: 91.0ms (0.2% of total)
Bogosity

simplify55.9s (11.6%)

Algorithm
142×egg-herbie
Rules
98318×fma-define
69464×*-commutative
67014×times-frac
64582×distribute-lft-in
61682×associate-*r*
Stop Event
30×saturated
112×node limit
Counts
62837 → 49140

eval47.2s (9.8%)

Compiler

Compiled 6525215 to 2035292 computations (68.8% saved)

soundness39.5s (8.2%)

Rules
84708×fma-define
54020×times-frac
53108×associate-*r*
46150×fma-neg
44714×*-commutative
Stop Event
8×saturated
126×node limit
27×fuel
3×done
Compiler

Compiled 39727 to 20022 computations (49.6% saved)

prune26.2s (5.4%)

Counts
92144 → 3491
Compiler

Compiled 250314 to 135841 computations (45.7% saved)

analyze25.4s (5.3%)

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: 16.1s
ival-mult: 3.7s (23.1% of total)
ival-<=: 3.4s (21% of total)
ival-fabs: 1.5s (9.6% of total)
ival-div: 923.0ms (5.7% of total)
ival-if: 880.0ms (5.5% of total)
ival-floor: 874.0ms (5.4% of total)
ival-sqrt: 736.0ms (4.6% of total)
ival-==: 709.0ms (4.4% of total)
ival-add: 582.0ms (3.6% of total)
ival-and: 516.0ms (3.2% of total)
ival-fmax: 320.0ms (2% of total)
const: 314.0ms (2% of total)
ival-tan: 245.0ms (1.5% of total)
ival-sub: 237.0ms (1.5% of total)
ival-sin: 227.0ms (1.4% of total)
ival-log2: 176.0ms (1.1% of total)
ival-cos: 141.0ms (0.9% of total)
ival->: 92.0ms (0.6% of total)
ival->=: 91.0ms (0.6% of total)
ival-log: 81.0ms (0.5% of total)
ival-atan: 67.0ms (0.4% of total)
ival-exp: 53.0ms (0.3% of total)
ival-<: 50.0ms (0.3% of total)
ival-neg: 42.0ms (0.3% of total)
backward-pass: 30.0ms (0.2% of total)
ival-pi: 27.0ms (0.2% of total)
ival-asin: 20.0ms (0.1% of total)
ival-sinh: 15.0ms (0.1% of total)

rewrite24.5s (5.1%)

Algorithm
112×batch-egg-rewrite
Rules
61697×log1p-expm1-u
43994×expm1-log1p-u
32116×log-prod
30874×add-exp-log
30550×pow1
Stop Event
112×node limit
Counts
1256 → 30084

regimes21.7s (4.5%)

Counts
6737 → 344
Calls

145 calls:

1.2s
cosTheta_i
742.0ms
s
654.0ms
ux
545.0ms
u
534.0ms
v
Compiler

Compiled 11499 to 7698 computations (33.1% saved)

series15.2s (3.2%)

Counts
1256 → 32753
Calls

7227 calls:

TimeVariablePointExpression
419.0ms
w
@-inf
(log (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))))
309.0ms
d
@0
(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)))
237.0ms
sin2phi
@inf
(/ (/ sin2phi alphay) alphay)
212.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)))
174.0ms
dY.v
@0
(log (fmax (pow (sqrt (+ (* (* dX.u (floor w)) (* dX.u (floor w))) (* (* dX.v (floor h)) (* dX.v (floor h))))) 2) (+ (pow (* (floor w) dY.u) 2) (* (floor h) (* (floor h) (pow dY.v 2))))))

explain13.6s (2.8%)

Results
9.8s15318×0valid
63.0ms42×5exit
Compiler

Compiled 16652 to 4502 computations (73% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.7s
ival-mult: 2.3s (29.7% of total)
ival-tan: 893.0ms (11.7% of total)
ival-sub: 757.0ms (9.9% of total)
ival-div: 740.0ms (9.7% of total)
ival-sin: 493.0ms (6.4% of total)
ival-sqrt: 471.0ms (6.2% of total)
ival-add: 445.0ms (5.8% of total)
ival-cos: 441.0ms (5.8% of total)
ival-log: 315.0ms (4.1% of total)
ival-atan: 313.0ms (4.1% of total)
const: 137.0ms (1.8% of total)
ival-exp: 74.0ms (1% of total)
ival-pi: 71.0ms (0.9% of total)
ival-floor: 49.0ms (0.6% of total)
ival-neg: 46.0ms (0.6% of total)
ival-fmax: 22.0ms (0.3% of total)
backward-pass: 21.0ms (0.3% of total)
ival-if: 19.0ms (0.2% of total)
ival-sinh: 19.0ms (0.2% of total)
ival-log2: 17.0ms (0.2% of total)
ival-fabs: 11.0ms (0.1% of total)
ival->=: 9.0ms (0.1% of total)
ival-asin: 5.0ms (0.1% of total)
ival->: 5.0ms (0.1% of total)
ival-<: 5.0ms (0.1% of total)

preprocess9.1s (1.9%)

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 38098 to 19086 computations (49.9% saved)

bsearch31.0ms (0%)

Algorithm
48×binary-search
26×left-value
Stop Event
48×narrow-enough
Compiler

Compiled 3091 to 1795 computations (41.9% saved)

end0.0ms (0%)

Profiling

Loading profile data...