Herbie run

Date:Friday, October 11th, 2024
Commit:f865fad2 on typed-regimes
Hostname:nightly with Racket 8.10
Seed:2024285
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.2min)

sample1.0min (31.4%)

Memory
174.7MiB live, 41 804.4MiB allocated
Samples
22.9s43 251×1valid
13.2s110 001×0valid
9.2s6 204×5exit
4.9s11 868×2valid
1.1s10 120×1exit
620.0ms3 920×0invalid
437.0ms1 350×0exit
0.0ms1×3exit
Precisions
Click to see histograms. Total time spent on operations: 44.0s
const: 12.7s (28.8% of total)
ival-exp: 4.4s (10% of total)
ival-mult: 4.3s (9.7% of total)
ival-pow: 3.4s (7.7% of total)
ival-tan: 2.4s (5.5% of total)
adjust: 2.2s (4.9% of total)
ival-cos: 2.1s (4.8% of total)
ival-sqrt: 1.7s (3.8% of total)
ival-sub: 1.5s (3.4% of total)
ival-log: 1.5s (3.4% of total)
ival-div: 1.4s (3.3% of total)
ival-sinh: 957.0ms (2.2% of total)
ival-sin: 788.0ms (1.8% of total)
ival-fmod: 757.0ms (1.7% of total)
ival-acos: 717.0ms (1.6% of total)
ival-<=: 700.0ms (1.6% of total)
ival-add: 665.0ms (1.5% of total)
ival-pow2: 596.0ms (1.4% of total)
ival-neg: 292.0ms (0.7% of total)
ival-hypot: 241.0ms (0.5% of total)
ival-and: 121.0ms (0.3% of total)
ival-==: 108.0ms (0.2% of total)
ival-true: 104.0ms (0.2% of total)
ival-atan: 86.0ms (0.2% of total)
exact: 85.0ms (0.2% of total)
ival-assert: 77.0ms (0.2% of total)
ival-<: 71.0ms (0.2% of total)
ival-or: 40.0ms (0.1% of total)
ival->=: 26.0ms (0.1% of total)
ival->: 19.0ms (0% of total)
Bogosity

soundness28.1s (14.7%)

Memory
6.3MiB live, 9 616.5MiB allocated
Stop Event
138×iter limit
74×node limit
14×fuel
6×done
5×unsound
4×saturated
Compiler

Compiled 11 791 to 5 360 computations (54.5% saved)

simplify21.3s (11.1%)

Memory
320.8MiB live, 15 478.4MiB allocated
Algorithm
166×egg-herbie
Stop Event
216×iter limit
87×node limit
82×saturated
Counts
4 014 → 3 947

rewrite21.0s (11%)

Memory
-54.2MiB live, 13 696.9MiB allocated
Stop Event
163×iter limit
64×node limit
8×unsound
3×saturated
Counts
1 064 → 39 724

eval12.5s (6.6%)

Memory
33.8MiB live, 10 439.6MiB allocated
Compiler

Compiled 1 637 806 to 163 589 computations (90% saved)

localize12.5s (6.5%)

Memory
-130.2MiB live, 12 843.3MiB allocated
Samples
4.6s5 176×1valid
3.1s11 281×0valid
1.6s1 436×2valid
130.0ms475×0invalid
120.0ms96×1invalid
70.0ms166×1exit
29.0ms2×5exit
19.0ms54×0exit
6.0ms2×3valid
Compiler

Compiled 30 970 to 4 087 computations (86.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.1s
ival-mult: 1.7s (23.6% of total)
adjust: 715.0ms (10% of total)
ival-div: 653.0ms (9.1% of total)
ival-add: 556.0ms (7.8% of total)
ival-pow: 509.0ms (7.1% of total)
ival-cos: 455.0ms (6.4% of total)
ival-tan: 362.0ms (5.1% of total)
ival-sin: 355.0ms (5% of total)
const: 311.0ms (4.4% of total)
ival-sub: 286.0ms (4% of total)
ival-sqrt: 221.0ms (3.1% of total)
ival-pow2: 198.0ms (2.8% of total)
ival-log: 188.0ms (2.6% of total)
ival-neg: 140.0ms (2% of total)
ival-exp: 107.0ms (1.5% of total)
ival-fmod: 95.0ms (1.3% of total)
ival-sinh: 77.0ms (1.1% of total)
ival-acos: 52.0ms (0.7% of total)
exact: 52.0ms (0.7% of total)
ival-asin: 44.0ms (0.6% of total)
ival-hypot: 28.0ms (0.4% of total)
ival-true: 17.0ms (0.2% of total)
ival-cbrt: 13.0ms (0.2% of total)
ival-assert: 8.0ms (0.1% of total)
ival-pi: 7.0ms (0.1% of total)
ival-atan: 4.0ms (0.1% of total)

series12.1s (6.3%)

Memory
60.6MiB live, 4 433.5MiB allocated
Counts
1 064 → 4 014
Calls

405 calls:

TimeVariablePointExpression
6.6s
x
@0
((* (* (sqrt x) (sqrt 2)) (sqrt x)) (* (sqrt x) (sqrt 2)) (sqrt x) (sqrt 2) (* (pow 16 1/32) (* (pow 64 1/16) x)) (pow 16 1/32) (* (pow 64 1/16) x) (pow 64 1/16) (pow (pow 256 1/32) 2) (* (pow (pow 256 1/32) 2) x) (pow 256 1/32) (* (* (* (* x x) 4) x) x) (pow (* (* (* (* x x) 4) x) x) 1/4) (* (* x x) 4) (* x x) (* (* (* x x) 4) x))
1.5s
x
@-inf
((* (* (sqrt x) (sqrt 2)) (sqrt x)) (* (sqrt x) (sqrt 2)) (sqrt x) (sqrt 2) (* (pow 16 1/32) (* (pow 64 1/16) x)) (pow 16 1/32) (* (pow 64 1/16) x) (pow 64 1/16) (pow (pow 256 1/32) 2) (* (pow (pow 256 1/32) 2) x) (pow 256 1/32) (* (* (* (* x x) 4) x) x) (pow (* (* (* (* x x) 4) x) x) 1/4) (* (* x x) 4) (* x x) (* (* (* x x) 4) x))
220.0ms
x
@0
((* (sqrt (* x 2)) (sqrt x)) (sqrt (* x 2)) (* x 2) (sqrt x) (* (sqrt 2) x) (sqrt 2) (pow (* 4 (pow x 4)) 1/4) (* 4 (pow x 4)) (pow x 4) (* (pow 4 1/8) (* (pow 4 1/8) x)) (pow 4 1/8) (* (pow 4 1/8) x) (* (pow (* 4 x) 1/4) (pow x 3/4)) (pow (* 4 x) 1/4) (* 4 x) (pow x 3/4))
186.0ms
z
@0
((+ x (- (tan (+ y z)) (tan a))) (- (tan (+ y z)) (tan a)) (tan (+ y z)) (+ y z) (tan a))
108.0ms
w
@inf
((exp (neg w)) (neg w) (pow l (exp w)) (exp w) (* (exp (neg w)) (pow l (exp w))))

regimes8.9s (4.6%)

Memory
192.5MiB live, 11 822.7MiB allocated
Counts
5 817 → 194
Calls

55 calls:

988.0ms
a
908.0ms
x
738.0ms
b
644.0ms
r
436.0ms
y
Compiler

Compiled 2 137 to 2 472 computations (-15.7% saved)

prune4.4s (2.3%)

Memory
-220.4MiB live, 6 454.2MiB allocated
Counts
44 369 → 2 023
Compiler

Compiled 122 277 to 59 072 computations (51.7% saved)

analyze3.7s (1.9%)

Memory
36.2MiB live, 4 328.6MiB 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.7%)

Memory
101.9MiB live, 3 681.4MiB allocated
Algorithm
20×egg-herbie
Stop Event
39×saturated
38×iter limit
3×node limit
Compiler

Compiled 12 519 to 4 580 computations (63.4% saved)

explain3.0s (1.6%)

Memory
-83.6MiB live, 2 939.5MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue5540
cos.f64#fsensitivity5120
sqrt.f64#fuflow-rescue3500
-.f64#fcancellation3420
/.f64#fn/o2570
acos.f64(acos.f64 (-.f64 #s(literal 1 binary64) x))sensitivity2550
log.f64(log.f64 (/.f64 (sinh.f64 x) x))sensitivity2450
tan.f64(tan.f64 (+.f64 y z))sensitivity1830
pow.f64(pow.f64 l (exp.f64 w))sensitivity12012
*.f64#fn*o380
*.f64#fn*u380
*.f64#fu*o210
*.f64(*.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))o*u210
↳(pow.f64 c #s(literal 2 binary64))overflow59
↳(*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)underflow68
↳(*.f64 x (pow.f64 s #s(literal 2 binary64)))underflow62
↳(pow.f64 s #s(literal 2 binary64))underflow63
-.f64(-.f64 (*.f64 a a) (*.f64 b b))nan-rescue170
↳(*.f64 a a)overflow103
↳(*.f64 b b)overflow17
log.f64(log.f64 (/.f64 (sinh.f64 x) x))oflow-rescue60
↳(sinh.f64 x)overflow6
↳(/.f64 (sinh.f64 x) x)overflow6
Confusion
Predicted +Predicted -
+2185263
-6921980
Precision
0.759471671880431
Recall
0.8925653594771242
Confusion?
Predicted +Predicted MaybePredicted -
+21850263
-692121968
Precision?
0.7563170647282796
Recall?
0.8925653594771242
Freqs
test
numberfreq
02243
12799
274
34
Total Confusion?
Predicted +Predicted MaybePredicted -
+1800
-002
Precision?
1.0
Recall?
1.0
Samples
523.0ms2 652×1valid
497.0ms6 758×0valid
417.0ms718×2valid
15.0ms110×1exit
1.0ms2×3valid
Compiler

Compiled 1 486 to 560 computations (62.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.0s
ival-sinh: 203.0ms (19.8% of total)
ival-mult: 135.0ms (13.2% of total)
adjust: 95.0ms (9.3% of total)
ival-sub: 78.0ms (7.6% of total)
ival-tan: 70.0ms (6.8% of total)
ival-log: 66.0ms (6.4% of total)
ival-cos: 63.0ms (6.2% of total)
ival-sqrt: 47.0ms (4.6% of total)
ival-exp: 42.0ms (4.1% of total)
ival-sin: 41.0ms (4% of total)
ival-div: 39.0ms (3.8% of total)
ival-add: 38.0ms (3.7% of total)
ival-fmod: 26.0ms (2.5% of total)
ival-pow2: 22.0ms (2.1% of total)
ival-acos: 19.0ms (1.9% of total)
ival-hypot: 9.0ms (0.9% of total)
ival-true: 9.0ms (0.9% of total)
ival-pow: 8.0ms (0.8% of total)
ival-neg: 5.0ms (0.5% of total)
ival-assert: 4.0ms (0.4% of total)
ival-atan: 3.0ms (0.3% of total)
exact: 2.0ms (0.2% of total)

bsearch633.0ms (0.3%)

Memory
-32.1MiB live, 941.3MiB allocated
Algorithm
29×binary-search
19×left-value
Stop Event
27×narrow-enough
2×predicate-same
Samples
230.0ms826×1valid
185.0ms1 894×0valid
Compiler

Compiled 9 086 to 7 570 computations (16.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 332.0ms
ival-tan: 87.0ms (26.2% of total)
ival-cos: 74.0ms (22.3% of total)
adjust: 67.0ms (20.2% of total)
ival-add: 21.0ms (6.3% of total)
ival-mult: 21.0ms (6.3% of total)
ival-pow2: 15.0ms (4.5% of total)
ival-sin: 14.0ms (4.2% of total)
ival-div: 9.0ms (2.7% of total)
ival-sub: 6.0ms (1.8% of total)
ival-exp: 4.0ms (1.2% of total)
ival-sqrt: 4.0ms (1.2% of total)
ival-fmod: 4.0ms (1.2% of total)
ival-pow: 2.0ms (0.6% of total)
ival-true: 2.0ms (0.6% of total)
ival-assert: 1.0ms (0.3% of total)
exact: 1.0ms (0.3% of total)
ival-neg: 1.0ms (0.3% of total)

start1.0ms (0%)

Memory
1.0MiB live, 1.0MiB allocated

end0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated

Profiling

Loading profile data...