Herbie run

Date:Tuesday, April 16th, 2024
Commit:7c422dd2 on artem-sharing-exponents
Hostname:nightly with Racket 8.11.1
Seed:2024107
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.1min)

localize1.8min (21.8%)

Results
47.9s26021×0valid
7.0s1946×0invalid
1.7s1366×0unsamplable
23.4s468×5exit
1.1s406×1valid
1.0ms1×2valid
Compiler

Compiled 101220 to 27225 computations (73.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1min
ival-mult: 18.1s (27% of total)
ival-pow: 10.0s (14.8% of total)
ival-div: 6.5s (9.7% of total)
ival-tan: 5.5s (8.1% of total)
ival-sin: 5.0s (7.4% of total)
backward-pass: 3.4s (5% of total)
ival-add: 3.3s (4.9% of total)
ival-sub: 2.7s (4% of total)
ival-sqrt: 2.2s (3.3% of total)
ival-atan: 2.0s (2.9% of total)
ival-fma: 1.3s (2% of total)
const: 1.2s (1.7% of total)
ival-exp: 1.0s (1.5% of total)
ival-log: 884.0ms (1.3% of total)
ival-cos: 828.0ms (1.2% of total)
ival-fmax: 796.0ms (1.2% of total)
ival-log1p: 486.0ms (0.7% of total)
ival-hypot: 403.0ms (0.6% of total)
ival-neg: 393.0ms (0.6% of total)
ival-if: 219.0ms (0.3% of total)
ival-floor: 199.0ms (0.3% of total)
ival-expm1: 157.0ms (0.2% of total)
ival-sinh: 136.0ms (0.2% of total)
ival->: 119.0ms (0.2% of total)
ival-log2: 104.0ms (0.2% of total)
ival-cbrt: 102.0ms (0.2% of total)
ival-pi: 77.0ms (0.1% of total)
ival->=: 76.0ms (0.1% of total)
ival-fabs: 48.0ms (0.1% of total)
ival-asin: 41.0ms (0.1% of total)
ival-acos: 40.0ms (0.1% of total)
ival-<: 22.0ms (0% of total)
ival-e: 8.0ms (0% of total)

sample1.5min (18.7%)

Results
1.1min247680×0valid
1.4s8343×0invalid
898.0ms2120×0precondition
22.0ms54×5exit
Precisions
Click to see histograms. Total time spent on operations: 54.6s
ival-mult: 14.0s (25.6% of total)
ival-<=: 9.6s (17.7% of total)
ival-div: 4.7s (8.7% of total)
ival-add: 2.8s (5.2% of total)
ival-sin: 2.7s (4.9% of total)
ival-sub: 2.7s (4.9% of total)
ival-fabs: 2.2s (4.1% of total)
ival-log: 1.8s (3.3% of total)
ival-sqrt: 1.8s (3.2% of total)
ival-tan: 1.5s (2.8% of total)
ival-and: 1.5s (2.8% of total)
ival-cos: 1.4s (2.7% of total)
const: 1.2s (2.3% of total)
ival-atan: 1.1s (2% of total)
ival-neg: 856.0ms (1.6% of total)
ival-pi: 841.0ms (1.5% of total)
ival-exp: 753.0ms (1.4% of total)
ival-floor: 727.0ms (1.3% of total)
ival-fmax: 363.0ms (0.7% of total)
ival-log2: 348.0ms (0.6% of total)
ival-<: 337.0ms (0.6% of total)
ival->: 321.0ms (0.6% of total)
ival-if: 279.0ms (0.5% of total)
ival-==: 162.0ms (0.3% of total)
ival-asin: 141.0ms (0.3% of total)
backward-pass: 130.0ms (0.2% of total)
ival-sinh: 94.0ms (0.2% of total)
ival->=: 84.0ms (0.2% of total)
Bogosity

simplify55.8s (11.5%)

Algorithm
143×egg-herbie
Rules
107402×fma-define
70400×*-commutative
67228×distribute-lft-in
65386×associate-*r*
58242×times-frac
Stop Event
30×saturated
113×node limit
Counts
64255 → 51676

eval52.6s (10.8%)

Compiler

Compiled 8023685 to 2216645 computations (72.4% saved)

soundness44.5s (9.1%)

Rules
102430×fma-define
62314×associate-*r*
58992×times-frac
54810×distribute-lft-in
54518×*-commutative
Stop Event
7×saturated
144×node limit
28×fuel
2×done
Compiler

Compiled 49355 to 21310 computations (56.8% saved)

prune30.1s (6.2%)

Counts
97470 → 3624
Compiler

Compiled 254388 to 139951 computations (45% saved)

analyze24.9s (5.1%)

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.7s
ival-mult: 4.0s (25.3% of total)
ival-<=: 3.7s (23.5% of total)
ival-fabs: 1.4s (9% of total)
ival-div: 991.0ms (6.3% of total)
ival-add: 931.0ms (5.9% of total)
ival-floor: 741.0ms (4.7% of total)
ival-and: 519.0ms (3.3% of total)
ival-sqrt: 412.0ms (2.6% of total)
ival-if: 401.0ms (2.5% of total)
ival-fmax: 357.0ms (2.3% of total)
const: 311.0ms (2% of total)
ival-log: 276.0ms (1.8% of total)
ival-sub: 232.0ms (1.5% of total)
ival-==: 225.0ms (1.4% of total)
ival-log2: 194.0ms (1.2% of total)
ival-sin: 184.0ms (1.2% of total)
ival-tan: 172.0ms (1.1% of total)
ival-cos: 150.0ms (1% of total)
ival->: 92.0ms (0.6% of total)
ival->=: 87.0ms (0.6% of total)
ival-pi: 69.0ms (0.4% of total)
ival-atan: 66.0ms (0.4% of total)
ival-exp: 57.0ms (0.4% of total)
ival-<: 51.0ms (0.3% of total)
ival-neg: 38.0ms (0.2% of total)
backward-pass: 28.0ms (0.2% of total)
ival-sinh: 23.0ms (0.1% of total)
ival-asin: 19.0ms (0.1% of total)

rewrite24.1s (4.9%)

Algorithm
113×batch-egg-rewrite
Rules
56529×log1p-expm1-u
45127×expm1-log1p-u
33680×log-prod
32634×prod-diff
32357×add-exp-log
Stop Event
113×node limit
Counts
1284 → 31373

regimes18.7s (3.8%)

Counts
6773 → 300
Calls

145 calls:

673.0ms
cosTheta_i
625.0ms
s
475.0ms
ux
464.0ms
u
445.0ms
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
Compiler

Compiled 12374 to 8531 computations (31.1% saved)

series15.4s (3.2%)

Counts
1284 → 32882
Calls

7506 calls:

TimeVariablePointExpression
319.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 (floor w) 2) (pow dY.u 2)) (pow (* (floor d) dY.w) 2))) 1/4)
264.0ms
u
@-inf
(* u (* s (+ (* u 64) 64/3)))
224.0ms
w
@0
(log (+ 1 (* (floor w) (/ dY.u (sqrt (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)))))))
178.0ms
d
@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 (floor w) 2) (pow dY.u 2)) (pow (* (floor d) dY.w) 2))) 1/4)
170.0ms
s
@0
(* (neg s) (log (+ (/ 1 (+ (/ u (+ 1 (exp (/ (PI) (neg s))))) (/ (- 1 u) (+ 1 (exp (/ (PI) s)))))) -1)))

explain14.7s (3%)

Results
9.9s15304×0valid
81.0ms56×5exit
Compiler

Compiled 16652 to 4502 computations (73% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.0s
ival-mult: 2.3s (28.9% of total)
ival-tan: 1.0s (13.2% of total)
ival-sub: 1.0s (12.8% of total)
ival-div: 616.0ms (7.7% of total)
ival-add: 547.0ms (6.9% of total)
ival-cos: 501.0ms (6.3% of total)
ival-sin: 489.0ms (6.2% of total)
ival-atan: 345.0ms (4.3% of total)
ival-log: 262.0ms (3.3% of total)
ival-sqrt: 236.0ms (3% of total)
const: 136.0ms (1.7% of total)
ival-if: 76.0ms (1% of total)
ival-fabs: 76.0ms (1% of total)
ival-exp: 74.0ms (0.9% of total)
ival-floor: 49.0ms (0.6% of total)
ival-neg: 46.0ms (0.6% of total)
backward-pass: 31.0ms (0.4% of total)
ival-pi: 26.0ms (0.3% of total)
ival-fmax: 24.0ms (0.3% of total)
ival-sinh: 20.0ms (0.3% of total)
ival-log2: 14.0ms (0.2% of total)
ival-<: 12.0ms (0.2% of total)
ival->=: 6.0ms (0.1% of total)
ival-asin: 5.0ms (0.1% of total)
ival->: 5.0ms (0.1% of total)

preprocess9.0s (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 47926 to 20272 computations (57.7% saved)

bsearch19.0ms (0%)

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

Compiled 2251 to 1213 computations (46.1% saved)

end0.0ms (0%)

Profiling

Loading profile data...