Herbie run

Date:Thursday, August 8th, 2024
Commit:1bb3297e on zane-alternatives-bogosity
Hostname:nightly with Racket 8.11.1
Seed:2024221
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.3min)

sample49.0s (24.4%)

Memory
332.0MiB live, 49 799.9MiB allocated
Samples
17.7s43 422×1valid
9.0s109 838×0valid
8.0s6 243×5exit
3.9s11 860×2valid
1.0s10 017×1exit
392.0ms3 789×0invalid
123.0ms1 402×0exit
Precisions
Click to see histograms. Total time spent on operations: 33.5s
const: 9.3s (27.7% of total)
ival-exp: 3.8s (11.4% of total)
ival-pow: 3.1s (9.1% of total)
ival-cos: 2.4s (7.1% of total)
ival-tan: 2.1s (6.3% of total)
adjust: 1.9s (5.7% of total)
ival-mult: 1.8s (5.5% of total)
ival-log: 1.3s (3.9% of total)
ival-sqrt: 1.0s (3% of total)
ival-<=: 832.0ms (2.5% of total)
ival-fmod: 765.0ms (2.3% of total)
ival-sinh: 681.0ms (2% of total)
ival-add: 652.0ms (1.9% of total)
ival-sin: 641.0ms (1.9% of total)
ival-sub: 632.0ms (1.9% of total)
ival-pow2: 585.0ms (1.7% of total)
ival-div: 575.0ms (1.7% of total)
ival-acos: 411.0ms (1.2% of total)
ival-neg: 181.0ms (0.5% of total)
ival-hypot: 165.0ms (0.5% of total)
ival-and: 110.0ms (0.3% of total)
ival-true: 106.0ms (0.3% of total)
ival-==: 103.0ms (0.3% of total)
exact: 79.0ms (0.2% of total)
ival-assert: 73.0ms (0.2% of total)
ival-<: 71.0ms (0.2% of total)
ival-atan: 47.0ms (0.1% of total)
ival-or: 36.0ms (0.1% of total)
ival->=: 26.0ms (0.1% of total)
ival->: 19.0ms (0.1% of total)
Bogosity

simplify46.0s (22.9%)

Memory
-206.3MiB live, 42 881.6MiB allocated
Algorithm
166×egg-herbie
Rules
1 029 956×lower-fma.f32
1 029 676×lower-fma.f64
361 420×lower-*.f32
360 552×lower-*.f64
224 264×lower-+.f32
Stop Event
215×iter limit
96×saturated
74×node limit
Counts
19 080 → 18 824

rewrite23.2s (11.6%)

Memory
96.6MiB live, 29 714.9MiB allocated
Algorithm
73×batch-egg-rewrite
Rules
287 090×lower-fma.f32
286 810×lower-fma.f64
256 264×lower-*.f32
255 444×lower-*.f64
197 026×lower-/.f32
Stop Event
160×iter limit
67×node limit
5×unsound
4×saturated
Counts
983 → 34 789

soundness22.7s (11.3%)

Memory
-56.2MiB live, 10 226.4MiB allocated
Rules
583 844×lower-fma.f32
583 714×lower-fma.f64
291 030×lower-*.f32
290 586×lower-*.f64
156 516×lower-+.f32
Stop Event
122×iter limit
66×node limit
12×fuel
8×done
5×saturated
4×unsound
Compiler

Compiled 8 600 to 3 977 computations (53.8% saved)

localize12.3s (6.1%)

Memory
111.3MiB live, 15 255.8MiB allocated
Samples
3.7s5 347×1valid
3.0s11 452×0valid
1.3s1 494×2valid
164.0ms22×1invalid
69.0ms40×3valid
66.0ms121×0invalid
50.0ms148×1exit
13.0ms64×0exit
Compiler

Compiled 13 173 to 1 845 computations (86% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.5s
ival-mult: 1.6s (24.3% of total)
ival-hypot: 606.0ms (9.3% of total)
ival-add: 560.0ms (8.6% of total)
adjust: 532.0ms (8.2% of total)
ival-cos: 495.0ms (7.6% of total)
ival-div: 426.0ms (6.5% of total)
ival-tan: 343.0ms (5.3% of total)
ival-sqrt: 316.0ms (4.8% of total)
const: 284.0ms (4.4% of total)
ival-exp: 260.0ms (4% of total)
ival-sin: 245.0ms (3.8% of total)
ival-log: 211.0ms (3.2% of total)
ival-sub: 201.0ms (3.1% of total)
ival-sinh: 91.0ms (1.4% of total)
ival-pow2: 76.0ms (1.2% of total)
ival-fmod: 71.0ms (1.1% of total)
ival-pow: 58.0ms (0.9% of total)
ival-neg: 50.0ms (0.8% of total)
ival-acos: 42.0ms (0.6% of total)
ival-asin: 17.0ms (0.3% of total)
ival-true: 17.0ms (0.3% of total)
exact: 16.0ms (0.2% of total)
ival-assert: 8.0ms (0.1% of total)
ival-pi: 5.0ms (0.1% of total)
ival-atan: 3.0ms (0% of total)

eval11.2s (5.6%)

Memory
226.5MiB live, 15 796.0MiB allocated
Compiler

Compiled 1 664 721 to 117 910 computations (92.9% saved)

series9.6s (4.8%)

Memory
125.7MiB live, 3 523.8MiB allocated
Counts
983 → 19 080
Calls

2529 calls:

TimeVariablePointExpression
6.6s
x
@0
(* (sqrt (* (* 2 x) (sqrt (sqrt x)))) (sqrt (sqrt (* x (sqrt x)))))
317.0ms
a
@inf
(/ (sin b) (- (* (cos a) (cos b)) (* (sin b) (sin a))))
236.0ms
x
@inf
(* (sqrt (* 2 (sqrt x))) (sqrt (sqrt (sqrt x))))
101.0ms
w
@inf
(* (exp (neg w)) (pow l (exp w)))
86.0ms
l
@inf
(* (exp (neg w)) (pow l (exp w)))

prune9.3s (4.6%)

Memory
-202.1MiB live, 16 001.5MiB allocated
Counts
66 881 → 1 737
Compiler

Compiled 73 074 to 34 714 computations (52.5% saved)

regimes6.6s (3.3%)

Memory
87.2MiB live, 8 202.3MiB allocated
Counts
3 898 → 215
Calls

55 calls:

784.0ms
b
773.0ms
x
666.0ms
a
521.0ms
r
292.0ms
(/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))
Compiler

Compiled 2 862 to 1 939 computations (32.3% saved)

analyze3.7s (1.9%)

Memory
-73.1MiB live, 4 781.9MiB 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.5s (1.7%)

Memory
-69.4MiB live, 4 016.6MiB 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 8 156 to 2 704 computations (66.8% saved)

explain2.7s (1.3%)

Memory
40.4MiB live, 3 214.7MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue5680
cos.f64#fsensitivity4983
-.f64#fcancellation3440
sqrt.f64#fuflow-rescue3120
acos.f64(acos.f64 (-.f64 #s(literal 1 binary64) x))sensitivity2560
/.f64(/.f64 (-.f64 x lo) (-.f64 hi lo))n/o2550
↳(-.f64 hi lo)overflow256
log.f64(log.f64 (/.f64 (sinh.f64 x) x))sensitivity2511
tan.f64(tan.f64 (+.f64 y z))sensitivity1950
pow.f64(pow.f64 l (exp.f64 w))sensitivity12315
*.f64#fn*o440
*.f64(*.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))u*o350
↳(pow.f64 c #s(literal 2 binary64))underflow111
↳(*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)overflow101
↳(*.f64 x (pow.f64 s #s(literal 2 binary64)))overflow100
↳(pow.f64 s #s(literal 2 binary64))overflow103
*.f64#fn*u160
-.f64(-.f64 (*.f64 a a) (*.f64 b b))nan-rescue150
↳(*.f64 a a)overflow104
↳(*.f64 b b)overflow15
log.f64(log.f64 (/.f64 (sinh.f64 x) x))oflow-rescue20
↳(sinh.f64 x)overflow2
↳(/.f64 (sinh.f64 x) x)overflow2
exp.f64(exp.f64 (neg.f64 x))sensitivity11
/.f64(/.f64 (-.f64 x lo) (-.f64 hi lo))o/o10
↳(-.f64 x lo)overflow1
↳(-.f64 hi lo)overflow256
Confusion
Predicted +Predicted -
+2155250
-6952020
Precision
0.756140350877193
Recall
0.896049896049896
Confusion?
Predicted +Predicted MaybePredicted -
+21550250
-695202000
Precision?
0.7508710801393729
Recall?
0.896049896049896
Freqs
test
numberfreq
02270
12784
266
Total Confusion?
Predicted +Predicted MaybePredicted -
+1800
-002
Precision?
1.0
Recall?
1.0
Samples
517.0ms6 716×0valid
501.0ms2 680×1valid
253.0ms770×2valid
10.0ms74×1exit
Compiler

Compiled 1 288 to 560 computations (56.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 823.0ms
ival-tan: 91.0ms (11.1% of total)
ival-log: 79.0ms (9.6% of total)
ival-mult: 74.0ms (9% of total)
adjust: 67.0ms (8.1% of total)
ival-cos: 66.0ms (8% of total)
ival-sqrt: 55.0ms (6.7% of total)
ival-acos: 55.0ms (6.7% of total)
ival-exp: 48.0ms (5.8% of total)
ival-sin: 46.0ms (5.6% of total)
ival-add: 40.0ms (4.9% of total)
ival-sub: 39.0ms (4.7% of total)
ival-sinh: 37.0ms (4.5% of total)
ival-div: 31.0ms (3.8% of total)
ival-fmod: 31.0ms (3.8% of total)
ival-pow2: 22.0ms (2.7% of total)
ival-pow: 9.0ms (1.1% of total)
ival-hypot: 9.0ms (1.1% of total)
ival-true: 9.0ms (1.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)

bsearch1.1s (0.5%)

Memory
14.9MiB live, 1 283.2MiB allocated
Algorithm
61×binary-search
17×left-value
Stop Event
60×narrow-enough
1×predicate-same
Samples
362.0ms1 302×1valid
333.0ms2 682×0valid
Compiler

Compiled 15 408 to 9 923 computations (35.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 417.0ms
ival-cos: 77.0ms (18.5% of total)
ival-tan: 72.0ms (17.3% of total)
ival-sin: 70.0ms (16.8% of total)
adjust: 52.0ms (12.5% of total)
ival-mult: 29.0ms (7% of total)
ival-add: 24.0ms (5.8% of total)
ival-div: 24.0ms (5.8% of total)
ival-pow: 21.0ms (5% of total)
ival-exp: 15.0ms (3.6% of total)
ival-pow2: 12.0ms (2.9% of total)
ival-sqrt: 6.0ms (1.4% of total)
ival-neg: 5.0ms (1.2% of total)
ival-sub: 4.0ms (1% of total)
ival-true: 3.0ms (0.7% of total)
ival-assert: 2.0ms (0.5% of total)
exact: 0.0ms (0% of total)

end0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated

Profiling

Loading profile data...