Herbie run

Date:Monday, October 14th, 2024
Commit:2.0 on release
Hostname:nightly with Racket 8.10
Seed:2024288
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce: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: 10.7min)

soundness1.8min (16.9%)

Rules
824706×*-lowering-*.f32
824706×*-lowering-*.f64
405666×+-lowering-+.f32
405666×+-lowering-+.f64
337728×/-lowering-/.f32
Stop Event
11×saturated
202×iter limit
191×node limit
29×fuel
1×done
Compiler

Compiled 30719 to 14380 computations (53.2% saved)

prune1.5min (13.7%)

Counts
222542 → 4969
Compiler

Compiled 458072 to 180697 computations (60.6% saved)

simplify1.4min (13.3%)

Algorithm
270×egg-herbie
Rules
880606×*-lowering-*.f32
880606×*-lowering-*.f64
464732×+-lowering-+.f32
464732×+-lowering-+.f64
251054×fma-lowering-fma.f64
Stop Event
243×iter limit
55×saturated
212×node limit
3×unsound
Counts
68196 → 68196

sample1.4min (13%)

Results
1.1min247680×0valid
1.4s8362×0invalid
624.0ms2038×0precondition
19.0ms55×5exit
Precisions
Click to see histograms. Total time spent on operations: 51.0s
ival-mult: 10.8s (21.1% of total)
ival-<=: 8.0s (15.7% of total)
...c/correct-round.rkt:119:19: 7.6s (15% of total)
ival-div: 5.1s (9.9% of total)
ival-sin: 2.0s (3.9% of total)
ival-add: 1.9s (3.8% of total)
ival-fabs: 1.8s (3.6% of total)
ival-sub: 1.8s (3.5% of total)
ival-and: 1.8s (3.5% of total)
ival-log: 1.7s (3.3% of total)
ival-sqrt: 1.5s (3% of total)
ival-floor: 997.0ms (2% of total)
ival-exp: 968.0ms (1.9% of total)
ival-cos: 854.0ms (1.7% of total)
ival-pi: 599.0ms (1.2% of total)
ival-neg: 585.0ms (1.1% of total)
const: 475.0ms (0.9% of total)
ival-tan: 375.0ms (0.7% of total)
ival-fmax: 321.0ms (0.6% of total)
ival-log2: 288.0ms (0.6% of total)
ival-if: 282.0ms (0.6% of total)
ival-<: 243.0ms (0.5% of total)
ival-asin: 224.0ms (0.4% of total)
ival->: 220.0ms (0.4% of total)
ival-==: 191.0ms (0.4% of total)
ival-atan: 123.0ms (0.2% of total)
backward-pass: 119.0ms (0.2% of total)
ival-sinh: 88.0ms (0.2% of total)
ival->=: 62.0ms (0.1% of total)
Bogosity

localize53.4s (8.3%)

Results
24.5s26687×0valid
7.2s877×5exit
3.7s1351×1valid
2.0s1711×0invalid
86.0ms84×0unsamplable
48.0ms10×2valid
Compiler

Compiled 119781 to 5985 computations (95% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.8s
ival-mult: 4.5s (28.4% of total)
ival-div: 2.2s (14.1% of total)
ival-add: 1.4s (8.6% of total)
backward-pass: 1.3s (8.1% of total)
ival-pow: 1.2s (7.5% of total)
ival-log: 588.0ms (3.7% of total)
...c/correct-round.rkt:119:19: 569.0ms (3.6% of total)
compiled-spec: 551.0ms (3.5% of total)
ival-sub: 520.0ms (3.3% of total)
ival-sqrt: 387.0ms (2.4% of total)
ival-cos: 351.0ms (2.2% of total)
ival-sin: 348.0ms (2.2% of total)
ival-exp: 292.0ms (1.8% of total)
ival-tan: 286.0ms (1.8% of total)
ival-if: 265.0ms (1.7% of total)
ival-neg: 172.0ms (1.1% of total)
ival-fmax: 151.0ms (1% of total)
const: 128.0ms (0.8% of total)
ival-log2: 120.0ms (0.8% of total)
ival-floor: 108.0ms (0.7% of total)
ival-pi: 94.0ms (0.6% of total)
ival-atan: 93.0ms (0.6% of total)
ival-fabs: 65.0ms (0.4% of total)
ival-cosh: 59.0ms (0.4% of total)
ival-asin: 42.0ms (0.3% of total)
ival->=: 30.0ms (0.2% of total)
ival->: 21.0ms (0.1% of total)
ival-sinh: 13.0ms (0.1% of total)
ival-e: 12.0ms (0.1% of total)
ival-<: 9.0ms (0.1% of total)
ival-acos: 6.0ms (0% of total)

eval48.6s (7.5%)

Compiler

Compiled 32229191 to 487443 computations (98.5% saved)

rewrite45.9s (7.1%)

Algorithm
120×batch-egg-rewrite
Rules
406518×*-lowering-*.f32
406518×*-lowering-*.f64
267376×/-lowering-/.f32
267376×/-lowering-/.f64
181904×fma-lowering-fma.f64
Stop Event
123×iter limit
117×node limit
3×unsound
Counts
2427 → 66851

regimes37.8s (5.9%)

Counts
18738 → 494
Calls

145 calls:

2.1s
s
1.2s
uy
1.1s
u
1.1s
cosTheta_i
1.1s
maxCos
Compiler

Compiled 13485 to 9329 computations (30.8% saved)

analyze30.5s (4.7%)

Algorithm
30×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%2.6%97.4%0%0%0%0
0%0%2.6%97.4%0%0%0%1
7.8%0.2%2.4%97.4%0%0%0%2
8.5%0.2%2.4%97.4%0%0%0%3
12.8%0.3%2.3%97.4%0%0%0%4
47%1.2%1.4%97.4%0%0%0%5
51.8%1.3%1.2%97.4%0%0%0%6
69.5%1.8%0.8%97.4%0%0%0%7
71.6%1.8%0.7%97.4%0%0.1%0%8
81.1%2.1%0.5%97.4%0%0.1%0%9
82.6%2.1%0.4%97.4%0%0.1%0%10
88.3%2.2%0.3%97.4%0%0.1%0%11
89.1%2.2%0.3%97.4%0%0.1%0%12
Compiler

Compiled 2668 to 1046 computations (60.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 18.9s
ival-mult: 4.4s (23.5% of total)
ival-<=: 2.5s (13.5% of total)
...c/correct-round.rkt:119:19: 2.3s (12.3% of total)
ival-fabs: 1.7s (9% of total)
ival-floor: 1.2s (6.2% of total)
ival-div: 1.1s (5.7% of total)
ival-add: 743.0ms (3.9% of total)
ival-and: 720.0ms (3.8% of total)
ival-sqrt: 603.0ms (3.2% of total)
ival-sub: 498.0ms (2.6% of total)
ival-fmax: 456.0ms (2.4% of total)
ival-if: 439.0ms (2.3% of total)
ival-sin: 339.0ms (1.8% of total)
ival-cos: 246.0ms (1.3% of total)
ival-log: 229.0ms (1.2% of total)
ival-==: 225.0ms (1.2% of total)
ival-log2: 188.0ms (1% of total)
ival-tan: 167.0ms (0.9% of total)
const: 135.0ms (0.7% of total)
ival-exp: 110.0ms (0.6% of total)
ival->: 89.0ms (0.5% of total)
ival->=: 84.0ms (0.4% of total)
ival-neg: 76.0ms (0.4% of total)
ival-pi: 74.0ms (0.4% of total)
ival-<: 46.0ms (0.2% of total)
ival-atan: 44.0ms (0.2% of total)
ival-sinh: 43.0ms (0.2% of total)
backward-pass: 38.0ms (0.2% of total)
ival-asin: 19.0ms (0.1% of total)

end29.3s (4.6%)

series15.1s (2.3%)

Counts
2427 → 68196
Calls

13059 calls:

TimeVariablePointExpression
180.0ms
h
@inf
(log (/ (pow (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor w) dY.u) 2) (pow (* (floor h) dY.v) 2))) 1/2) (* (floor h) dY.v)))
172.0ms
alphay
@inf
(pow (+ 1 (/ (/ u0 (- 1 u0)) (+ (/ (- 1 (/ 1 (+ 1 (pow (/ (/ alphax alphay) (tan (* (PI) (+ 1/2 (* 2 u1))))) -2)))) (* alphay alphay)) (/ 1 (* (+ 1 (pow (/ (/ alphax alphay) (tan (* (PI) (+ 1/2 (* 2 u1))))) -2)) (* alphax alphax)))))) -1/2)
165.0ms
v
@-inf
(+ 1 (* v (log (+ u (* (- 1 u) (- 1 (/ (- 2 (/ (+ 2 (/ -4/3 v)) v)) v)))))))
155.0ms
h
@inf
(pow (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor w) dY.u) 2) (pow (* (floor h) dY.v) 2))) 1/8)
108.0ms
u2
@inf
(* (sqrt (log (/ (* (+ 1 (* (* u1 (* u1 u1)) (* (* u1 (* u1 u1)) (* u1 (* u1 u1))))) (+ -1 (neg (* u1 (+ 1 u1))))) (* (+ 1 (* (* u1 (* u1 u1)) (- (* u1 (* u1 u1)) 1))) (+ (* (* u1 (* u1 u1)) (* u1 (* u1 u1))) -1))))) (sin (* (* 2 (PI)) u2)))

preprocess10.0s (1.5%)

Algorithm
60×egg-herbie
Rules
49400×fma-define
44786×fnmadd-define
41132×sum3-define
37636×fmsub-define
35894×sum4-define
Stop Event
24×saturated
30×iter limit
36×node limit
Compiler

Compiled 48188 to 17368 computations (64% saved)

explain7.3s (1.1%)

Results
4.4s15304×0valid
79.0ms56×5exit
Compiler

Compiled 16652 to 1662 computations (90% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
ival-mult: 717.0ms (38.5% of total)
ival-div: 247.0ms (13.3% of total)
ival-add: 104.0ms (5.6% of total)
ival-sub: 98.0ms (5.3% of total)
ival-log: 83.0ms (4.5% of total)
ival-sin: 79.0ms (4.2% of total)
ival-sqrt: 76.0ms (4.1% of total)
ival-exp: 52.0ms (2.8% of total)
ival-floor: 48.0ms (2.6% of total)
ival-cos: 47.0ms (2.5% of total)
ival-tan: 44.0ms (2.4% of total)
ival-if: 43.0ms (2.3% of total)
ival-neg: 41.0ms (2.2% of total)
const: 30.0ms (1.6% of total)
ival-fmax: 28.0ms (1.5% of total)
...c/correct-round.rkt:119:19: 28.0ms (1.5% of total)
ival-pi: 24.0ms (1.3% of total)
backward-pass: 20.0ms (1.1% of total)
ival-log2: 14.0ms (0.8% of total)
ival-fabs: 9.0ms (0.5% of total)
ival-atan: 7.0ms (0.4% of total)
ival->=: 7.0ms (0.4% of total)
ival-asin: 5.0ms (0.3% of total)
ival-sinh: 5.0ms (0.3% of total)
ival->: 4.0ms (0.2% of total)
ival-<: 2.0ms (0.1% of total)

bsearch120.0ms (0%)

Algorithm
69×binary-search
21×left-value
Stop Event
69×narrow-enough
Compiler

Compiled 3455 to 1876 computations (45.7% saved)

Profiling

Loading profile data...