Herbie run

Date:Thursday, September 5th, 2024
Commit:7a659933 on fewer-globals
Hostname:nightly with Racket 8.11.1
Seed:2024249
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.6min)

sample1.1min (32%)

Memory
-133.3MiB live, 44 234.2MiB allocated
Samples
22.7s43 416×1valid
14.2s109 864×0valid
8.9s6 331×5exit
4.5s11 840×2valid
1.0s10 138×1exit
757.0ms4 035×0invalid
131.0ms1 423×0exit
Precisions
Click to see histograms. Total time spent on operations: 42.2s
const: 13.2s (31.3% of total)
ival-exp: 3.9s (9.3% of total)
ival-pow: 3.7s (8.7% of total)
ival-mult: 3.4s (8.2% of total)
adjust: 3.3s (7.9% of total)
ival-cos: 2.7s (6.3% of total)
ival-log: 1.5s (3.5% of total)
ival-tan: 1.4s (3.2% of total)
ival-sqrt: 1.3s (3% of total)
ival-<=: 1.1s (2.6% of total)
ival-sub: 921.0ms (2.2% of total)
ival-sinh: 877.0ms (2.1% of total)
ival-fmod: 782.0ms (1.9% of total)
ival-sin: 775.0ms (1.8% of total)
ival-add: 725.0ms (1.7% of total)
ival-div: 586.0ms (1.4% of total)
ival-pow2: 432.0ms (1% of total)
ival-acos: 414.0ms (1% of total)
ival-<: 332.0ms (0.8% of total)
ival-hypot: 183.0ms (0.4% of total)
ival-neg: 159.0ms (0.4% of total)
ival-and: 111.0ms (0.3% of total)
ival-==: 95.0ms (0.2% of total)
ival-true: 93.0ms (0.2% of total)
exact: 80.0ms (0.2% of total)
ival-assert: 71.0ms (0.2% of total)
ival-atan: 47.0ms (0.1% of total)
ival-or: 37.0ms (0.1% of total)
ival->=: 31.0ms (0.1% of total)
ival->: 18.0ms (0% of total)
Bogosity

soundness38.8s (18.1%)

Memory
51.2MiB live, 10 984.1MiB allocated
Rules
664 842×lower-fma.f32
664 674×lower-fma.f64
343 040×lower-*.f32
342 590×lower-*.f64
170 606×lower-+.f32
Stop Event
144×iter limit
81×node limit
17×fuel
4×saturated
3×unsound
3×done
Compiler

Compiled 7 913 to 4 423 computations (44.1% saved)

simplify25.0s (11.6%)

Memory
348.5MiB live, 21 189.7MiB allocated
Algorithm
168×egg-herbie
Rules
1 028 292×lower-fma.f32
1 028 030×lower-fma.f64
373 230×lower-*.f32
372 524×lower-*.f64
210 704×lower-+.f32
Stop Event
218×iter limit
89×saturated
83×node limit
Counts
19 392 → 19 064

rewrite23.9s (11.1%)

Memory
-228.3MiB live, 15 962.8MiB allocated
Rules
257 824×lower-fma.f32
257 566×lower-fma.f64
242 396×lower-*.f32
241 746×lower-*.f64
194 806×lower-/.f32
Stop Event
163×iter limit
68×node limit
5×unsound
4×saturated
Counts
1 057 → 40 667

eval16.3s (7.6%)

Memory
377.8MiB live, 18 036.7MiB allocated
Compiler

Compiled 1 888 795 to 171 977 computations (90.9% saved)

localize13.6s (6.3%)

Memory
174.9MiB live, 12 230.4MiB allocated
Samples
4.3s5 356×1valid
2.6s11 564×0valid
1.8s1 347×2valid
154.0ms48×3valid
112.0ms432×0invalid
41.0ms196×1exit
2.0ms1×4valid
Compiler

Compiled 12 095 to 1 908 computations (84.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.3s
ival-mult: 1.2s (18.7% of total)
ival-add: 711.0ms (11.2% of total)
ival-div: 689.0ms (10.9% of total)
adjust: 604.0ms (9.5% of total)
ival-pow: 525.0ms (8.3% of total)
ival-cos: 459.0ms (7.3% of total)
ival-sin: 342.0ms (5.4% of total)
ival-sqrt: 329.0ms (5.2% of total)
ival-tan: 260.0ms (4.1% of total)
const: 220.0ms (3.5% of total)
ival-log: 214.0ms (3.4% of total)
ival-sub: 209.0ms (3.3% of total)
ival-pow2: 129.0ms (2% of total)
ival-exp: 89.0ms (1.4% of total)
ival-neg: 71.0ms (1.1% of total)
ival-sinh: 68.0ms (1.1% of total)
ival-fmod: 53.0ms (0.8% of total)
ival-acos: 47.0ms (0.7% of total)
ival-asin: 32.0ms (0.5% of total)
exact: 24.0ms (0.4% of total)
ival-cbrt: 17.0ms (0.3% of total)
ival-true: 15.0ms (0.2% of total)
ival-hypot: 13.0ms (0.2% of total)
ival-pi: 7.0ms (0.1% of total)
ival-atan: 7.0ms (0.1% of total)
ival-assert: 7.0ms (0.1% of total)
ival-fabs: 4.0ms (0.1% of total)

regimes5.9s (2.7%)

Memory
-178.2MiB live, 7 817.5MiB allocated
Counts
3 731 → 202
Calls

55 calls:

821.0ms
x
603.0ms
a
514.0ms
b
363.0ms
r
221.0ms
c
Compiler

Compiled 1 703 to 1 926 computations (-13.1% saved)

series5.5s (2.6%)

Memory
62.8MiB live, 6 424.9MiB allocated
Counts
1 057 → 19 392
Calls

402 calls:

TimeVariablePointExpression
345.0ms
x
@inf
((* (pow 4 1/8) (* (pow 4 1/8) x)) (pow 4 1/8) (* (pow 4 1/8) x) (* (pow x 1/4) (sqrt (* (sqrt x) (* x 2)))) (pow x 1/4) (sqrt (* (sqrt x) (* x 2))) (* (sqrt x) (* x 2)) (pow (pow 4 1/8) 2) (* (pow (pow 4 1/8) 2) x) (sqrt x))
337.0ms
x
@-inf
((* (pow 4 1/8) (* (pow 4 1/8) x)) (pow 4 1/8) (* (pow 4 1/8) x) (* (pow x 1/4) (sqrt (* (sqrt x) (* x 2)))) (pow x 1/4) (sqrt (* (sqrt x) (* x 2))) (* (sqrt x) (* x 2)) (pow (pow 4 1/8) 2) (* (pow (pow 4 1/8) 2) x) (sqrt x))
190.0ms
y
@0
((sqrt (+ (* y y) (/ (- (pow z 4) (pow x 4)) (* (+ z x) (- z x))))) (+ (* (sqrt z) (sqrt z)) (* (+ (* y y) (* x x)) (/ 1/2 z))) (sqrt (+ (* x x) (+ (* y y) (* z z)))) (sqrt z) (* (+ (* y y) (* x x)) (/ 1/2 z)) (sqrt (+ (* x x) (+ (* y y) (* z z)))) (+ (* (/ (+ (* y y) (* x x)) z) 1/2) z) (/ (+ (* y y) (* x x)) z) (/ y z) (pow (* (+ (* y y) (+ (* z z) (* x x))) (+ (* y y) (+ (* z z) (* x x)))) 1/4) (* (+ (* y y) (+ (* z z) (* x x))) (+ (* y y) (+ (* z z) (* x x)))) (+ (* y y) (+ (* z z) (* x x))) (+ (* z z) (* x x)) (sqrt (+ (* x x) (+ (* y y) (* z z)))) (+ (* (sqrt (pow z 3/2)) (sqrt (sqrt z))) (* (+ (* y y) (* x x)) (/ 1/2 z))) (sqrt (pow z 3/2)) (pow z 3/2) (+ (* y y) (* x x)) (* (+ (* (/ y z) (/ y (* x x))) (/ 1 z)) (* x x)) (+ (* (/ y z) (/ y (* x x))) (/ 1 z)) (/ y (* x x)))
135.0ms
z
@0
((sqrt (+ (* y y) (/ (- (pow z 4) (pow x 4)) (* (+ z x) (- z x))))) (+ (* (sqrt z) (sqrt z)) (* (+ (* y y) (* x x)) (/ 1/2 z))) (sqrt (+ (* x x) (+ (* y y) (* z z)))) (sqrt z) (* (+ (* y y) (* x x)) (/ 1/2 z)) (sqrt (+ (* x x) (+ (* y y) (* z z)))) (+ (* (/ (+ (* y y) (* x x)) z) 1/2) z) (/ (+ (* y y) (* x x)) z) (/ y z) (pow (* (+ (* y y) (+ (* z z) (* x x))) (+ (* y y) (+ (* z z) (* x x)))) 1/4) (* (+ (* y y) (+ (* z z) (* x x))) (+ (* y y) (+ (* z z) (* x x)))) (+ (* y y) (+ (* z z) (* x x))) (+ (* z z) (* x x)) (sqrt (+ (* x x) (+ (* y y) (* z z)))) (+ (* (sqrt (pow z 3/2)) (sqrt (sqrt z))) (* (+ (* y y) (* x x)) (/ 1/2 z))) (sqrt (pow z 3/2)) (pow z 3/2) (+ (* y y) (* x x)) (* (+ (* (/ y z) (/ y (* x x))) (/ 1 z)) (* x x)) (+ (* (/ y z) (/ y (* x x))) (/ 1 z)) (/ y (* x x)))
123.0ms
x
@-inf
((* (sqrt (* x 2)) (sqrt x)) (sqrt (* x 2)) (* x 2) (sqrt x) (* (sqrt 2) x) (sqrt 2) (* (* (* x 2) (sqrt x)) (sqrt x)) (sqrt (* (* (* x 2) (sqrt x)) (sqrt x))) (* (* x 2) (sqrt x)) (sqrt (* (pow x 3/2) (* (sqrt x) 2))) (* (pow x 3/2) (* (sqrt x) 2)) (pow x 3/2) (* (sqrt x) 2) (* (pow x 3/4) (sqrt (* (sqrt x) 2))) (pow x 3/4) (sqrt (* (sqrt x) 2)))

prune5.5s (2.6%)

Memory
-223.5MiB live, 9 095.7MiB allocated
Counts
74 978 → 1 808
Compiler

Compiled 65 507 to 38 839 computations (40.7% saved)

preprocess4.1s (1.9%)

Memory
-19.1MiB live, 3 555.9MiB 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 067 to 3 332 computations (52.9% saved)

analyze4.1s (1.9%)

Memory
158.8MiB live, 4 719.3MiB 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)

explain2.4s (1.1%)

Memory
49.8MiB live, 3 192.6MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue6090
cos.f64#fsensitivity5140
-.f64#fcancellation3431
sqrt.f64#fuflow-rescue2950
/.f64(/.f64 (-.f64 x lo) (-.f64 hi lo))n/o2560
↳(-.f64 hi lo)overflow256
acos.f64(acos.f64 (-.f64 #s(literal 1 binary64) x))sensitivity2541
log.f64(log.f64 (/.f64 (sinh.f64 x) x))sensitivity2500
tan.f64(tan.f64 (+.f64 y z))sensitivity1830
pow.f64(pow.f64 l (exp.f64 w))sensitivity13111
*.f64#fn*o390
*.f64#fn*u370
-.f64(-.f64 (*.f64 a a) (*.f64 b b))nan-rescue260
↳(*.f64 a a)overflow119
↳(*.f64 b b)overflow26
*.f64(*.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))o*u190
↳(pow.f64 c #s(literal 2 binary64))overflow65
↳(*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)underflow65
↳(*.f64 x (pow.f64 s #s(literal 2 binary64)))underflow59
↳(pow.f64 s #s(literal 2 binary64))underflow61
*.f64#fu*o150
exp.f64(exp.f64 (neg.f64 x))sensitivity20
log.f64(log.f64 (/.f64 (sinh.f64 x) x))oflow-rescue20
↳(sinh.f64 x)overflow2
↳(/.f64 (sinh.f64 x) x)overflow2
Confusion
Predicted +Predicted -
+2197266
-6951962
Precision
0.7596818810511756
Recall
0.8920016240357288
Confusion?
Predicted +Predicted MaybePredicted -
+21971265
-695161946
Precision?
0.755586112066002
Recall?
0.8924076329679252
Freqs
test
numberfreq
02228
12812
277
33
Total Confusion?
Predicted +Predicted MaybePredicted -
+1800
-002
Precision?
1.0
Recall?
1.0
Samples
495.0ms2 688×1valid
462.0ms6 758×0valid
246.0ms696×2valid
13.0ms98×1exit
Compiler

Compiled 1 067 to 440 computations (58.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 836.0ms
ival-mult: 103.0ms (12.3% of total)
ival-exp: 83.0ms (9.9% of total)
ival-cos: 72.0ms (8.6% of total)
ival-tan: 71.0ms (8.5% of total)
ival-log: 70.0ms (8.4% of total)
adjust: 62.0ms (7.4% of total)
ival-sin: 54.0ms (6.5% of total)
ival-sqrt: 45.0ms (5.4% of total)
ival-add: 42.0ms (5% of total)
ival-sub: 35.0ms (4.2% of total)
ival-pow2: 34.0ms (4.1% of total)
ival-div: 30.0ms (3.6% of total)
ival-sinh: 30.0ms (3.6% of total)
ival-fmod: 30.0ms (3.6% of total)
ival-acos: 30.0ms (3.6% of total)
ival-pow: 11.0ms (1.3% of total)
ival-hypot: 8.0ms (1% of total)
ival-true: 8.0ms (1% of total)
ival-atan: 6.0ms (0.7% of total)
ival-neg: 5.0ms (0.6% of total)
ival-assert: 4.0ms (0.5% of total)
exact: 2.0ms (0.2% of total)

bsearch965.0ms (0.4%)

Memory
27.8MiB live, 1 128.2MiB allocated
Algorithm
57×binary-search
12×left-value
Stop Event
53×narrow-enough
4×predicate-failed
Samples
281.0ms3 018×0valid
254.0ms1 334×1valid
46.0ms404×0invalid
42.0ms112×2valid
Compiler

Compiled 10 004 to 9 598 computations (4.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 459.0ms
ival-cos: 112.0ms (24.4% of total)
ival-tan: 64.0ms (13.9% of total)
ival-exp: 47.0ms (10.2% of total)
ival-sin: 47.0ms (10.2% of total)
ival-mult: 38.0ms (8.3% of total)
adjust: 28.0ms (6.1% of total)
ival-add: 25.0ms (5.4% of total)
ival-fmod: 20.0ms (4.4% of total)
ival-pow: 18.0ms (3.9% of total)
ival-div: 13.0ms (2.8% of total)
ival-pow2: 12.0ms (2.6% of total)
ival-sqrt: 10.0ms (2.2% of total)
ival-neg: 9.0ms (2% of total)
ival-sub: 6.0ms (1.3% of total)
ival-acos: 4.0ms (0.9% of total)
ival-true: 4.0ms (0.9% of total)
ival-assert: 2.0ms (0.4% of total)
exact: 0.0ms (0% of total)

start1.0ms (0%)

Memory
1.2MiB live, 1.1MiB allocated

end0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated

Profiling

Loading profile data...