Herbie run

Date:Saturday, August 24th, 2024
Commit:73092913 on zane-fix-unused
Hostname:nightly with Racket 8.11.1
Seed:2024237
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: 3.4min)

sample52.4s (26%)

Memory
-275.3MiB live, 47 333.8MiB allocated
Samples
18.1s43 204×1valid
9.7s6 315×5exit
9.1s110 058×0valid
4.0s11 858×2valid
1.2s10 013×1exit
407.0ms3 925×0invalid
251.0ms1 367×0exit
Precisions
Click to see histograms. Total time spent on operations: 35.3s
const: 9.1s (25.8% of total)
ival-exp: 4.3s (12.2% of total)
ival-pow: 3.7s (10.4% of total)
ival-cos: 2.4s (6.7% of total)
adjust: 2.2s (6.3% of total)
ival-tan: 2.1s (6% of total)
ival-mult: 1.7s (4.9% of total)
ival-log: 1.2s (3.4% of total)
ival-add: 1.1s (3.1% of total)
ival-sub: 1.1s (3% of total)
ival-sqrt: 1.0s (3% of total)
ival-fmod: 731.0ms (2.1% of total)
ival-sinh: 711.0ms (2% of total)
ival-sin: 686.0ms (1.9% of total)
ival-<=: 655.0ms (1.9% of total)
ival-div: 651.0ms (1.8% of total)
ival-acos: 483.0ms (1.4% of total)
ival-pow2: 409.0ms (1.2% of total)
ival-neg: 217.0ms (0.6% of total)
ival-hypot: 181.0ms (0.5% of total)
ival-and: 114.0ms (0.3% of total)
ival-==: 101.0ms (0.3% of total)
ival-true: 97.0ms (0.3% of total)
ival-assert: 84.0ms (0.2% of total)
exact: 77.0ms (0.2% of total)
ival-<: 67.0ms (0.2% of total)
ival-atan: 44.0ms (0.1% of total)
ival-or: 37.0ms (0.1% of total)
ival->=: 27.0ms (0.1% of total)
ival->: 18.0ms (0.1% of total)
Bogosity

simplify33.7s (16.7%)

Memory
327.4MiB live, 27 281.4MiB allocated
Algorithm
166×egg-herbie
Rules
1 029 740×lower-fma.f32
1 029 422×lower-fma.f64
377 320×lower-*.f32
376 502×lower-*.f64
217 046×lower-+.f32
Stop Event
215×iter limit
87×saturated
83×node limit
Counts
19 560 → 19 269

soundness24.7s (12.3%)

Memory
19.8MiB live, 9 394.2MiB allocated
Rules
599 256×lower-fma.f32
599 066×lower-fma.f64
317 746×lower-*.f32
317 276×lower-*.f64
163 302×lower-+.f32
Stop Event
131×iter limit
70×node limit
14×fuel
6×done
5×saturated
4×unsound
Compiler

Compiled 6 963 to 3 287 computations (52.8% saved)

rewrite22.3s (11.1%)

Memory
182.7MiB live, 22 253.8MiB allocated
Rules
291 102×lower-fma.f32
290 784×lower-fma.f64
265 580×lower-*.f32
264 808×lower-*.f64
204 598×lower-/.f32
Stop Event
158×iter limit
68×node limit
4×saturated
4×unsound
Counts
1 044 → 40 377

prune21.0s (10.4%)

Memory
-395.8MiB live, 22 202.8MiB allocated
Counts
77 319 → 1 915
Compiler

Compiled 81 895 to 38 802 computations (52.6% saved)

eval13.0s (6.5%)

Memory
409.4MiB live, 18 022.2MiB allocated
Compiler

Compiled 1 983 121 to 148 141 computations (92.5% saved)

localize12.1s (6%)

Memory
230.7MiB live, 14 352.3MiB allocated
Samples
3.6s5 214×1valid
2.6s11 209×0valid
1.8s1 350×2valid
154.0ms492×0invalid
111.0ms244×1exit
52.0ms51×3valid
39.0ms128×0exit
Compiler

Compiled 12 552 to 1 885 computations (85% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.2s
ival-mult: 1.4s (22.4% of total)
adjust: 623.0ms (10% of total)
ival-div: 564.0ms (9.1% of total)
ival-add: 529.0ms (8.5% of total)
ival-tan: 421.0ms (6.8% of total)
ival-log: 395.0ms (6.4% of total)
ival-cos: 389.0ms (6.3% of total)
ival-sqrt: 355.0ms (5.7% of total)
const: 277.0ms (4.5% of total)
ival-pow: 214.0ms (3.4% of total)
ival-sub: 199.0ms (3.2% of total)
ival-sinh: 199.0ms (3.2% of total)
ival-exp: 168.0ms (2.7% of total)
ival-sin: 165.0ms (2.7% of total)
ival-pow2: 72.0ms (1.2% of total)
ival-fmod: 61.0ms (1% of total)
ival-neg: 60.0ms (1% of total)
ival-acos: 44.0ms (0.7% of total)
ival-asin: 18.0ms (0.3% of total)
exact: 17.0ms (0.3% of total)
ival-true: 16.0ms (0.3% of total)
ival-hypot: 16.0ms (0.3% of total)
ival-assert: 8.0ms (0.1% of total)
ival-pi: 4.0ms (0.1% of total)
ival-atan: 1.0ms (0% of total)

regimes7.9s (3.9%)

Memory
-91.8MiB live, 11 058.6MiB allocated
Counts
4 023 → 177
Calls

53 calls:

938.0ms
a
877.0ms
x
468.0ms
b
438.0ms
y
411.0ms
r
Compiler

Compiled 3 397 to 2 350 computations (30.8% saved)

series4.1s (2%)

Memory
-107.5MiB live, 4 151.7MiB allocated
Counts
1 044 → 19 560
Calls

2721 calls:

TimeVariablePointExpression
156.0ms
x
@0
(* (* 2 x) (sqrt (sqrt x)))
134.0ms
x
@0
(sqrt (sqrt x))
82.0ms
w
@0
(- (* w (log l)) w)
74.0ms
x
@-inf
(sqrt (* x (sqrt (sqrt x))))
67.0ms
x
@0
(* (pow 2 1/8) (* x (pow 2 1/4)))

analyze4.0s (2%)

Memory
85.8MiB live, 4 722.7MiB allocated
Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
28.8%21.3%52.5%26.3%0%0%0%1
44.1%32.5%41.2%26.3%0%0%0%2
52.6%38.7%35%26.3%0%0%0%3
61.9%45.6%28.1%26.3%0%0%0%4
65.2%47.5%25.3%26.3%0%0.9%0%5
66.8%48.4%24%26.3%0%1.2%0%6
71.1%51.1%20.8%26.3%0%1.9%0%7
72.1%51.6%20%26.3%0%2.1%0%8
74.4%53%18.2%26.3%0%2.5%0%9
75.8%53.9%17.2%26.3%0%2.6%0%10
76.6%54.3%16.6%26.3%0%2.8%0%11
77.3%54.8%16.1%26.3%0%2.9%0%12
Compiler

Compiled 279 to 216 computations (22.6% saved)

preprocess3.1s (1.6%)

Memory
22.4MiB live, 3 497.8MiB allocated
Algorithm
20×egg-herbie
Rules
26 494×lower-fma.f32
26 494×lower-fma.f64
5 788×lower-+.f32
5 770×lower-+.f64
5 074×unsub-neg
Stop Event
39×saturated
38×iter limit
3×node limit
Compiler

Compiled 7 773 to 3 068 computations (60.5% saved)

explain2.4s (1.2%)

Memory
-31.4MiB live, 3 204.3MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue5190
cos.f64#fsensitivity4970
sqrt.f64#fuflow-rescue3310
-.f64#fcancellation3310
/.f64#fn/o2580
acos.f64(acos.f64 (-.f64 #s(literal 1 binary64) x))sensitivity2540
log.f64(log.f64 (/.f64 (sinh.f64 x) x))sensitivity2460
tan.f64(tan.f64 (+.f64 y z))sensitivity1940
pow.f64(pow.f64 l (exp.f64 w))sensitivity11915
*.f64#fn*o380
*.f64#fn*u330
*.f64(*.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))o*u290
↳(pow.f64 c #s(literal 2 binary64))overflow78
↳(*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)underflow83
↳(*.f64 x (pow.f64 s #s(literal 2 binary64)))underflow71
↳(pow.f64 s #s(literal 2 binary64))underflow71
*.f64#fu*o160
-.f64(-.f64 (*.f64 a a) (*.f64 b b))nan-rescue120
↳(*.f64 a a)overflow115
↳(*.f64 b b)overflow12
log.f64(log.f64 (/.f64 (sinh.f64 x) x))oflow-rescue70
↳(sinh.f64 x)overflow7
↳(/.f64 (sinh.f64 x) x)overflow7
+.f64(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))cancellation12
Confusion
Predicted +Predicted -
+2130259
-6902041
Precision
0.7553191489361702
Recall
0.8915864378401005
Confusion?
Predicted +Predicted MaybePredicted -
+21300259
-690152026
Precision?
0.7513227513227513
Recall?
0.8915864378401005
Freqs
test
numberfreq
02300
12758
259
33
Total Confusion?
Predicted +Predicted MaybePredicted -
+1800
-002
Precision?
1.0
Recall?
1.0
Samples
453.0ms2 684×1valid
426.0ms6 716×0valid
247.0ms718×2valid
16.0ms122×1exit
Compiler

Compiled 1 103 to 440 computations (60.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 802.0ms
ival-tan: 90.0ms (11.2% of total)
ival-log: 90.0ms (11.2% of total)
adjust: 79.0ms (9.9% of total)
ival-mult: 72.0ms (9% of total)
ival-cos: 59.0ms (7.4% of total)
ival-sinh: 58.0ms (7.2% of total)
ival-sqrt: 51.0ms (6.4% of total)
ival-add: 45.0ms (5.6% of total)
ival-exp: 39.0ms (4.9% of total)
ival-sub: 37.0ms (4.6% of total)
ival-sin: 37.0ms (4.6% of total)
ival-pow2: 31.0ms (3.9% of total)
ival-div: 30.0ms (3.7% of total)
ival-fmod: 27.0ms (3.4% of total)
ival-acos: 19.0ms (2.4% of total)
ival-pow: 8.0ms (1% of total)
ival-hypot: 8.0ms (1% of total)
ival-true: 8.0ms (1% of total)
ival-neg: 5.0ms (0.6% of total)
ival-assert: 4.0ms (0.5% of total)
ival-atan: 3.0ms (0.4% of total)
exact: 2.0ms (0.2% of total)

bsearch589.0ms (0.3%)

Memory
5.4MiB live, 723.7MiB allocated
Algorithm
35×binary-search
14×left-value
Stop Event
34×narrow-enough
1×predicate-failed
Samples
225.0ms970×1valid
134.0ms1 702×0valid
11.0ms101×0invalid
Compiler

Compiled 9 980 to 6 385 computations (36% saved)

Precisions
Click to see histograms. Total time spent on operations: 277.0ms
ival-tan: 63.0ms (22.7% of total)
ival-sin: 62.0ms (22.4% of total)
ival-cos: 47.0ms (17% of total)
ival-mult: 21.0ms (7.6% of total)
adjust: 19.0ms (6.9% of total)
ival-add: 18.0ms (6.5% of total)
ival-div: 11.0ms (4% of total)
ival-pow2: 9.0ms (3.2% of total)
ival-exp: 7.0ms (2.5% of total)
ival-sub: 5.0ms (1.8% of total)
ival-pow: 5.0ms (1.8% of total)
ival-sqrt: 3.0ms (1.1% of total)
ival-acos: 3.0ms (1.1% of total)
ival-true: 2.0ms (0.7% of total)
ival-assert: 1.0ms (0.4% of total)
ival-fmod: 1.0ms (0.4% of total)
ival-neg: 1.0ms (0.4% of total)
exact: 0.0ms (0% of total)

start0.0ms (0%)

Memory
0.7MiB live, 0.7MiB allocated

end0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated

Profiling

Loading profile data...