Herbie run

Date:Tuesday, August 6th, 2024
Commit:2.2 on release
Hostname:nightly with Racket 8.11.1
Seed:2024219
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.7min)

sample54.5s (24.7%)

Memory
296.4MiB live, 50 864.8MiB allocated
Samples
21.4s43 376×1valid
8.7s6 196×5exit
8.4s109 895×0valid
4.9s11 849×2valid
1.4s10 173×1exit
397.0ms3 974×0invalid
125.0ms1 322×0exit
Precisions
Click to see histograms. Total time spent on operations: 35.8s
adjust: 8.6s (24.1% of total)
ival-exp: 3.6s (10% of total)
ival-pow: 3.4s (9.5% of total)
const: 2.6s (7.2% of total)
ival-cos: 2.1s (5.9% of total)
ival-mult: 2.0s (5.6% of total)
ival-tan: 1.9s (5.2% of total)
ival-log: 1.6s (4.4% of total)
ival-<=: 1.5s (4.3% of total)
ival-add: 1.5s (4.2% of total)
ival-sqrt: 1.2s (3.5% of total)
ival-sin: 927.0ms (2.6% of total)
ival-fmod: 905.0ms (2.5% of total)
ival-sub: 840.0ms (2.3% of total)
ival-sinh: 709.0ms (2% of total)
ival-div: 634.0ms (1.8% of total)
ival-pow2: 354.0ms (1% of total)
ival-acos: 340.0ms (0.9% of total)
ival-neg: 215.0ms (0.6% of total)
ival-hypot: 162.0ms (0.5% of total)
ival-and: 108.0ms (0.3% of total)
ival-true: 100.0ms (0.3% of total)
ival-==: 94.0ms (0.3% of total)
exact: 79.0ms (0.2% of total)
ival-assert: 73.0ms (0.2% of total)
ival-<: 67.0ms (0.2% of total)
ival-atan: 45.0ms (0.1% of total)
ival-or: 37.0ms (0.1% of total)
ival->=: 31.0ms (0.1% of total)
ival->: 24.0ms (0.1% of total)
Bogosity

simplify54.1s (24.5%)

Memory
-33.2MiB live, 46 161.4MiB allocated
Algorithm
168×egg-herbie
Rules
1 083 816×lower-fma.f32
1 083 556×lower-fma.f64
396 798×lower-*.f32
395 992×lower-*.f64
224 244×lower-+.f32
Stop Event
219×iter limit
86×saturated
85×node limit
Counts
19 620 → 19 346

soundness31.4s (14.2%)

Memory
38.6MiB live, 11 184.9MiB allocated
Rules
644 274×lower-fma.f32
644 124×lower-fma.f64
332 906×lower-*.f32
332 448×lower-*.f64
166 634×lower-+.f32
Stop Event
131×iter limit
72×node limit
13×fuel
7×done
5×saturated
4×unsound
Compiler

Compiled 8 582 to 3 944 computations (54% saved)

rewrite24.4s (11%)

Memory
-215.0MiB live, 30 093.2MiB allocated
Algorithm
74×batch-egg-rewrite
Rules
288 234×lower-fma.f32
287 974×lower-fma.f64
263 670×lower-*.f32
262 922×lower-*.f64
202 182×lower-/.f32
Stop Event
164×iter limit
68×node limit
5×unsound
3×saturated
Counts
1 037 → 40 918

localize12.2s (5.5%)

Memory
231.2MiB live, 15 846.2MiB allocated
Samples
3.3s5 262×1valid
2.7s11 561×0valid
1.7s1 467×2valid
64.0ms86×1invalid
55.0ms180×1exit
49.0ms298×0invalid
24.0ms85×0exit
6.0ms3×3valid
2.0ms2×5exit
Compiler

Compiled 12 901 to 1 865 computations (85.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.2s
ival-mult: 1.4s (22.5% of total)
ival-pow: 713.0ms (11.5% of total)
ival-div: 518.0ms (8.4% of total)
adjust: 493.0ms (8% of total)
ival-add: 468.0ms (7.6% of total)
ival-cos: 434.0ms (7% of total)
ival-sqrt: 308.0ms (5% of total)
ival-sinh: 268.0ms (4.3% of total)
ival-sin: 261.0ms (4.2% of total)
ival-log: 253.0ms (4.1% of total)
ival-tan: 232.0ms (3.8% of total)
const: 223.0ms (3.6% of total)
ival-sub: 179.0ms (2.9% of total)
ival-exp: 107.0ms (1.7% of total)
ival-neg: 75.0ms (1.2% of total)
ival-pow2: 73.0ms (1.2% of total)
ival-fmod: 52.0ms (0.8% of total)
ival-acos: 40.0ms (0.6% of total)
ival-hypot: 23.0ms (0.4% of total)
ival-asin: 18.0ms (0.3% of total)
exact: 18.0ms (0.3% of total)
ival-true: 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)

eval12.2s (5.5%)

Memory
502.3MiB live, 17 292.8MiB allocated
Compiler

Compiled 2 032 234 to 146 673 computations (92.8% saved)

prune11.2s (5.1%)

Memory
-512.2MiB live, 18 206.3MiB allocated
Counts
79 232 → 1 710
Compiler

Compiled 69 973 to 33 013 computations (52.8% saved)

regimes6.8s (3.1%)

Memory
31.6MiB live, 9 615.1MiB allocated
Counts
3 981 → 220
Calls

53 calls:

956.0ms
b
767.0ms
a
739.0ms
x
558.0ms
r
285.0ms
(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
Compiler

Compiled 2 835 to 1 920 computations (32.3% saved)

series3.5s (1.6%)

Memory
-33.6MiB live, 3 522.1MiB allocated
Counts
1 037 → 19 620
Calls

2592 calls:

TimeVariablePointExpression
269.0ms
x
@inf
(sqrt (* x (sqrt (sqrt x))))
263.0ms
x
@0
(* x (pow 2 1/4))
247.0ms
hi
@0
(+ (* hi (/ hi lo)) hi)
239.0ms
x
@0
(log (/ (sinh x) x))
133.0ms
x
@0
(* (sqrt (* (* 2 x) (sqrt (sqrt x)))) (sqrt (sqrt (* x (sqrt x)))))

analyze3.5s (1.6%)

Memory
106.7MiB live, 4 434.2MiB 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.3s (1.5%)

Memory
95.6MiB live, 3 973.4MiB 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 916 to 2 710 computations (65.8% saved)

explain2.5s (1.1%)

Memory
-4.2MiB live, 3 493.0MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue5340
cos.f64#fsensitivity5113
-.f64#fcancellation3330
sqrt.f64#fuflow-rescue3290
/.f64#fn/o2570
acos.f64(acos.f64 (-.f64 #s(literal 1 binary64) x))sensitivity2521
log.f64(log.f64 (/.f64 (sinh.f64 x) x))sensitivity2470
tan.f64(tan.f64 (+.f64 y z))sensitivity1920
pow.f64(pow.f64 l (exp.f64 w))sensitivity11719
*.f64#fn*o550
*.f64#fu*o370
*.f64#fn*u210
-.f64(-.f64 (*.f64 a a) (*.f64 b b))nan-rescue140
↳(*.f64 a a)overflow108
↳(*.f64 b b)overflow14
log.f64(log.f64 (/.f64 (sinh.f64 x) x))oflow-rescue60
↳(sinh.f64 x)overflow6
↳(/.f64 (sinh.f64 x) x)overflow6
+.f64(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))cancellation11
Confusion
Predicted +Predicted -
+2143262
-6892026
Precision
0.7567090395480226
Recall
0.891060291060291
Confusion?
Predicted +Predicted MaybePredicted -
+21432260
-689212005
Precision?
0.7513134851138353
Recall?
0.8918918918918919
Freqs
test
numberfreq
02288
12761
268
33
Total Confusion?
Predicted +Predicted MaybePredicted -
+1800
-002
Precision?
1.0
Recall?
1.0
Samples
607.0ms2 680×1valid
422.0ms6 736×0valid
257.0ms734×2valid
12.0ms90×1exit
Compiler

Compiled 1 288 to 560 computations (56.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 779.0ms
ival-tan: 79.0ms (10.1% of total)
adjust: 69.0ms (8.9% of total)
ival-log: 69.0ms (8.9% of total)
ival-sub: 68.0ms (8.7% of total)
ival-cos: 68.0ms (8.7% of total)
ival-mult: 68.0ms (8.7% of total)
ival-sqrt: 48.0ms (6.2% of total)
ival-exp: 42.0ms (5.4% of total)
ival-sinh: 40.0ms (5.1% of total)
ival-sin: 40.0ms (5.1% of total)
ival-add: 38.0ms (4.9% of total)
ival-fmod: 35.0ms (4.5% of total)
ival-div: 33.0ms (4.2% of total)
ival-pow2: 21.0ms (2.7% of total)
ival-acos: 19.0ms (2.4% of total)
ival-true: 9.0ms (1.2% of total)
ival-pow: 8.0ms (1% of total)
ival-hypot: 8.0ms (1% of total)
ival-neg: 8.0ms (1% of total)
ival-assert: 4.0ms (0.5% of total)
ival-atan: 3.0ms (0.4% of total)
exact: 2.0ms (0.3% of total)

bsearch1.1s (0.5%)

Memory
-32.4MiB live, 1 077.5MiB allocated
Algorithm
71×binary-search
14×left-value
Stop Event
65×narrow-enough
5×predicate-failed
1×predicate-same
Samples
297.0ms1 274×1valid
193.0ms2 454×0valid
94.0ms144×2valid
70.0ms505×0invalid
0.0ms6×0exit
Compiler

Compiled 17 470 to 11 113 computations (36.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 479.0ms
ival-cos: 97.0ms (20.3% of total)
ival-fmod: 70.0ms (14.6% of total)
ival-exp: 55.0ms (11.5% of total)
ival-sin: 43.0ms (9% of total)
ival-mult: 35.0ms (7.3% of total)
ival-tan: 31.0ms (6.5% of total)
ival-div: 31.0ms (6.5% of total)
ival-add: 31.0ms (6.5% of total)
adjust: 27.0ms (5.6% of total)
ival-sqrt: 13.0ms (2.7% of total)
ival-pow: 13.0ms (2.7% of total)
ival-pow2: 12.0ms (2.5% of total)
ival-acos: 6.0ms (1.3% of total)
ival-neg: 6.0ms (1.3% of total)
ival-sub: 3.0ms (0.6% of total)
ival-true: 3.0ms (0.6% of total)
ival-assert: 2.0ms (0.4% of total)
exact: 0.0ms (0% of total)

end0.0ms (0%)

Memory
0.3MiB live, 0.2MiB allocated

Profiling

Loading profile data...