Herbie run

Date:Tuesday, August 20th, 2024
Commit:fce740b4 on ffi-types
Hostname:nightly with Racket 8.11.1
Seed:2024233
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: 1.2min)

simplify13.8s (18.5%)

Memory
5.9MiB live, 13 616.0MiB allocated
Algorithm
73×egg-herbie
Rules
388 308×lower-fma.f32
388 220×lower-fma.f64
185 078×lower-*.f32
184 806×lower-*.f64
86 320×lower-+.f32
Stop Event
94×iter limit
41×node limit
34×saturated
Counts
9 936 → 9 755

sample11.7s (15.7%)

Memory
234.8MiB live, 11 943.2MiB allocated
Samples
7.1s70 233×0valid
956.0ms4 064×2valid
473.0ms1 994×0invalid
1.0ms7×1valid
Precisions
Click to see histograms. Total time spent on operations: 5.6s
ival-mult: 2.0s (36.2% of total)
ival-div: 1.1s (19.1% of total)
ival-sub: 683.0ms (12.2% of total)
ival-sqrt: 385.0ms (6.9% of total)
ival->=: 326.0ms (5.8% of total)
ival-neg: 242.0ms (4.3% of total)
ival-add: 187.0ms (3.3% of total)
adjust: 132.0ms (2.4% of total)
ival-exp: 119.0ms (2.1% of total)
ival-log: 112.0ms (2% of total)
ival-if: 97.0ms (1.7% of total)
ival-fabs: 82.0ms (1.5% of total)
exact: 54.0ms (1% of total)
ival-true: 53.0ms (0.9% of total)
ival-assert: 29.0ms (0.5% of total)
Bogosity

prune11.3s (15.2%)

Memory
-101.0MiB live, 15 024.9MiB allocated
Counts
36 348 → 425
Compiler

Compiled 20 642 to 9 930 computations (51.9% saved)

rewrite10.2s (13.7%)

Memory
29.6MiB live, 13 284.9MiB allocated
Rules
143 958×lower-fma.f32
143 870×lower-fma.f64
123 806×lower-*.f32
123 540×lower-*.f64
121 152×lower-/.f32
Stop Event
68×iter limit
30×node limit
2×unsound
1×saturated
Counts
410 → 19 914

soundness8.6s (11.6%)

Memory
43.2MiB live, 4 323.6MiB allocated
Rules
248 016×lower-fma.f32
247 964×lower-fma.f64
159 536×lower-*.f32
159 384×lower-*.f64
83 500×lower-/.f32
Stop Event
50×iter limit
33×node limit
5×fuel
4×done
2×saturated
Compiler

Compiled 5 469 to 2 638 computations (51.8% saved)

eval6.9s (9.3%)

Memory
109.6MiB live, 10 726.8MiB allocated
Compiler

Compiled 1 427 924 to 85 515 computations (94% saved)

localize4.7s (6.3%)

Memory
67.9MiB live, 5 483.7MiB allocated
Samples
1.5s6 528×0valid
811.0ms874×2valid
506.0ms658×1valid
176.0ms130×3valid
1.0ms2×5exit
Compiler

Compiled 7 570 to 819 computations (89.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
ival-mult: 488.0ms (25.6% of total)
ival-div: 345.0ms (18.1% of total)
ival-add: 281.0ms (14.7% of total)
ival-sqrt: 179.0ms (9.4% of total)
ival-sub: 142.0ms (7.4% of total)
adjust: 140.0ms (7.3% of total)
ival-neg: 123.0ms (6.5% of total)
ival->=: 54.0ms (2.8% of total)
ival-if: 48.0ms (2.5% of total)
ival-log: 21.0ms (1.1% of total)
ival-exp: 20.0ms (1% of total)
const: 20.0ms (1% of total)
ival-fabs: 18.0ms (0.9% of total)
exact: 11.0ms (0.6% of total)
ival-e: 6.0ms (0.3% of total)
ival-true: 6.0ms (0.3% of total)
ival-assert: 3.0ms (0.2% of total)

preprocess2.1s (2.8%)

Memory
31.5MiB live, 1 816.5MiB allocated
Algorithm
9×egg-herbie
Rules
11 858×lower-fma.f32
11 858×lower-fma.f64
5 976×div-sub
5 512×lower-*.f32
5 482×lower-*.f64
Stop Event
18×iter limit
13×saturated
5×node limit
Compiler

Compiled 4 110 to 1 126 computations (72.6% saved)

explain1.6s (2.1%)

Memory
18.4MiB live, 2 274.8MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2550
-.f64#fcancellation1330
+.f64#fcancellation1180
sqrt.f64#fuflow-rescue750
/.f64#fn/u260
/.f64#fu/n260
-.f64#fnan-rescue180
*.f64(*.f64 (/.f64 x y) z)n*o70
*.f64(*.f64 (/.f64 x y) z)n*u50
Confusion
Predicted +Predicted -
+29314
-2421755
Precision
0.5476635514018692
Recall
0.9543973941368078
Confusion?
Predicted +Predicted MaybePredicted -
+293014
-24201755
Precision?
0.5476635514018692
Recall?
0.9543973941368078
Freqs
test
numberfreq
01769
1412
2118
35
Total Confusion?
Predicted +Predicted MaybePredicted -
+400
-005
Precision?
1.0
Recall?
1.0
Samples
284.0ms3 640×0valid
165.0ms578×2valid
73.0ms332×1valid
28.0ms58×3valid
Compiler

Compiled 1 124 to 300 computations (73.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 363.0ms
ival-mult: 70.0ms (19.3% of total)
ival-div: 57.0ms (15.7% of total)
adjust: 51.0ms (14% of total)
ival-neg: 51.0ms (14% of total)
ival-sub: 45.0ms (12.4% of total)
ival-sqrt: 36.0ms (9.9% of total)
ival-add: 15.0ms (4.1% of total)
ival-if: 9.0ms (2.5% of total)
ival-log: 7.0ms (1.9% of total)
ival-fabs: 5.0ms (1.4% of total)
ival-exp: 4.0ms (1.1% of total)
ival-true: 4.0ms (1.1% of total)
ival->=: 3.0ms (0.8% of total)
exact: 3.0ms (0.8% of total)
ival-assert: 2.0ms (0.6% of total)

regimes1.5s (2%)

Memory
-58.7MiB live, 1 624.9MiB allocated
Counts
1 052 → 104
Calls

26 calls:

197.0ms
x
129.0ms
(neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)))
120.0ms
(*.f64 x x)
113.0ms
(-.f64 #s(literal 1 binary64) (*.f64 x x))
112.0ms
b
Compiler

Compiled 1 559 to 988 computations (36.6% saved)

series1.0s (1.4%)

Memory
84.9MiB live, 1 351.0MiB allocated
Counts
410 → 9 936
Calls

1056 calls:

TimeVariablePointExpression
46.0ms
a
@inf
(/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))
31.0ms
x
@-inf
(log x)
27.0ms
x
@0
(log x)
9.0ms
c
@inf
(if (>= b 0) (* (neg c) (/ 2 (+ b (sqrt (+ (* c (* a -4)) (* b b)))))) (/ (- (sqrt (+ (* c (* a -4)) (* b b))) b) (* 2 a)))
9.0ms
c
@-inf
(* (* b b) (+ (* -4 (* a (/ c (* b b)))) 1))

bsearch585.0ms (0.8%)

Memory
22.1MiB live, 572.7MiB allocated
Algorithm
31×binary-search
12×left-value
Stop Event
18×narrow-enough
13×predicate-same
Samples
410.0ms2 224×0valid
16.0ms145×0invalid
4.0ms32×2valid
Compiler

Compiled 8 994 to 5 587 computations (37.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 144.0ms
ival-mult: 36.0ms (25% of total)
ival-div: 33.0ms (23% of total)
ival-sub: 32.0ms (22.3% of total)
ival-sqrt: 10.0ms (7% of total)
ival-add: 10.0ms (7% of total)
ival-if: 6.0ms (4.2% of total)
ival-fabs: 4.0ms (2.8% of total)
ival-neg: 4.0ms (2.8% of total)
ival->=: 3.0ms (2.1% of total)
ival-true: 2.0ms (1.4% of total)
exact: 2.0ms (1.4% of total)
adjust: 1.0ms (0.7% of total)
ival-assert: 1.0ms (0.7% of total)

analyze522.0ms (0.7%)

Memory
9.8MiB live, 794.3MiB allocated
Algorithm
9×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
22.2%22.2%77.7%0.1%0%0%0%1
29.4%27.8%66.6%0.1%0%5.6%0%2
50%44.4%44.4%0.1%0%11.1%0%3
59.7%51.3%34.7%0.1%0%13.9%0%4
67.2%56.9%27.7%0.1%0%15.3%0%5
74.4%62.4%21.5%0.1%0%16%0%6
78.9%64.9%17.3%0.1%0%17.7%0%7
80.8%66.3%15.8%0.1%0%17.9%0%8
85.9%69.9%11.5%0.1%0%18.5%0%9
88%70.7%9.7%0.1%0%19.6%0%10
90%72.1%8%0.1%0%19.8%0%11
92.3%73.5%6.2%0.1%0%20.3%0%12
Compiler

Compiled 153 to 106 computations (30.7% saved)

start0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated

end0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

Profiling

Loading profile data...