Herbie run

Date:Saturday, April 5th, 2025
Commit:f7a7cb35 on main
Seed:2025095
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:proofs
default
Memory:78 894.7 MB

Time bar (total: 1.2min)

sample39.6s (55.6%)

Memory
514.0MiB live, 42 037.9MiB allocated; 13.3s collecting garbage
Samples
11.2s16 576×5exit
7.1s108 702×0valid
7.0s39 603×1valid
5.7s16 815×2valid
602.0ms3 928×0invalid
124.0ms1 358×0exit
Precisions
Click to see histograms. Total time spent on operations: 25.3s
ival-exp: 4.1s (16.2% of total)
ival-pow: 3.7s (14.5% of total)
adjust: 2.7s (10.5% of total)
ival-cos: 2.3s (8.9% of total)
ival-log: 2.2s (8.8% of total)
ival-mult!: 1.4s (5.6% of total)
ival-tan: 1.4s (5.5% of total)
ival-sqrt: 1.1s (4.2% of total)
ival-fmod: 918.0ms (3.6% of total)
ival-sinh: 843.0ms (3.3% of total)
ival-sin: 820.0ms (3.2% of total)
ival-div!: 731.0ms (2.9% of total)
ival-sub!: 639.0ms (2.5% of total)
ival-pow2: 631.0ms (2.5% of total)
ival-acos: 570.0ms (2.3% of total)
ival-<=: 480.0ms (1.9% of total)
ival-add!: 443.0ms (1.7% of total)
ival-neg: 167.0ms (0.7% of total)
ival-hypot: 146.0ms (0.6% of total)
ival-atan: 62.0ms (0.2% of total)
ival-and: 31.0ms (0.1% of total)
ival-or: 14.0ms (0.1% of total)
ival-assert: 3.0ms (0% of total)
ival->: 2.0ms (0% of total)
ival-<: 1.0ms (0% of total)
Bogosity

rewrite9.4s (13.2%)

Memory
284.4MiB live, 10 095.1MiB allocated; 1.2s collecting garbage
Stop Event
185×iter-limit
51×node-limit
14×unsound
4×saturated
Counts
7 225 → 16 716

regimes4.6s (6.4%)

Memory
-41.1MiB live, 5 903.3MiB allocated; 780ms collecting garbage
Counts
2 950 → 163
Calls

53 calls:

600.0ms
x
551.0ms
a
269.0ms
y
220.0ms
(+.f64 y z)
218.0ms
z
Compiler

Compiled 1 758 to 2 062 computations (-17.3% saved)

eval2.9s (4%)

Memory
45.6MiB live, 4 477.6MiB allocated; 716ms collecting garbage
Compiler

Compiled 655 828 to 77 126 computations (88.2% saved)

derivations2.8s (4%)

Memory
-126.9MiB live, 2 118.8MiB allocated; 344ms collecting garbage
Stop Event
12×fuel
8×done
Compiler

Compiled 3 347 to 887 computations (73.5% saved)

analyze2.7s (3.8%)

Memory
6.2MiB live, 2 301.7MiB allocated; 1.8s collecting garbage
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 (3.4%)

Memory
-39.1MiB live, 3 034.0MiB allocated; 605ms collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue5930
cos.f64#fsensitivity5020
-.f64#fcancellation3510
sqrt.f64#fuflow-rescue3020
/.f64#fn/o2580
acos.f64(acos.f64 (-.f64 #s(literal 1 binary64) x))sensitivity2550
log.f64(log.f64 (/.f64 (sinh.f64 x) x))sensitivity2460
tan.f64(tan.f64 (+.f64 y z))sensitivity1741
pow.f64(pow.f64 l (exp.f64 w))sensitivity12511
*.f64#fn*o400
*.f64#fn*u390
*.f64#fu*o160
*.f64(*.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))o*u150
↳(pow.f64 c #s(literal 2 binary64))overflow61
↳(*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)underflow66
↳(*.f64 x (pow.f64 s #s(literal 2 binary64)))underflow60
↳(pow.f64 s #s(literal 2 binary64))underflow65
-.f64(-.f64 (*.f64 a a) (*.f64 b b))nan-rescue140
↳(*.f64 a a)overflow106
↳(*.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
Confusion
Predicted +Predicted -
+2157260
-7051998
Precision
0.7536687631027253
Recall
0.8924286305337195
Confusion?
Predicted +Predicted MaybePredicted -
+21570260
-705121986
Precision?
0.7505219206680585
Recall?
0.8924286305337195
Freqs
test
numberfreq
02258
12794
262
36
Total Confusion?
Predicted +Predicted MaybePredicted -
+1800
-002
Precision?
1.0
Recall?
1.0
Samples
372.0ms6 684×0valid
371.0ms2 348×1valid
360.0ms1 106×2valid
15.0ms102×1exit
Compiler

Compiled 1 067 to 440 computations (58.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 796.0ms
ival-sinh: 93.0ms (11.7% of total)
adjust: 85.0ms (10.7% of total)
ival-cos: 75.0ms (9.4% of total)
ival-tan: 73.0ms (9.2% of total)
ival-log: 68.0ms (8.5% of total)
ival-mult!: 68.0ms (8.5% of total)
ival-sqrt: 60.0ms (7.5% of total)
ival-exp: 54.0ms (6.8% of total)
ival-sin: 38.0ms (4.8% of total)
ival-fmod: 34.0ms (4.3% of total)
ival-acos: 33.0ms (4.1% of total)
ival-div!: 30.0ms (3.8% of total)
ival-pow2: 23.0ms (2.9% of total)
ival-sub!: 19.0ms (2.4% of total)
ival-add!: 18.0ms (2.3% of total)
ival-hypot: 9.0ms (1.1% of total)
ival-pow: 8.0ms (1% of total)
ival-neg: 5.0ms (0.6% of total)
ival-atan: 3.0ms (0.4% of total)

series2.3s (3.2%)

Memory
183.6MiB live, 3 215.0MiB allocated; 622ms collecting garbage
Counts
1 420 → 5 805
Calls

375 calls:

TimeVariablePointExpression
61.0ms
a
@0
((* (sqrt (+ b a)) (sqrt (- a b))) (sqrt (+ b a)) (+ b a) b a (sqrt (- a b)) (- a b))
50.0ms
hi
@0
((/ (- x lo) (- hi lo)) (+ (* (- (/ (+ (* (- (pow lo -1) (/ x (* lo lo))) hi) 1) lo) (/ x (* lo lo))) hi) (neg (/ (- x lo) lo))) (- (/ (+ (* (- (pow lo -1) (/ x (* lo lo))) hi) 1) lo) (/ x (* lo lo))) (/ (+ (* (- (pow lo -1) (/ x (* lo lo))) hi) 1) lo) (+ (* (- (pow lo -1) (/ x (* lo lo))) hi) 1) (- (pow lo -1) (/ x (* lo lo))) (neg (/ (- (/ x lo) 1) lo)) (/ (- (/ x lo) 1) lo) (- (/ x lo) 1) (/ x lo) x lo 1 hi (/ x (* lo lo)) (* lo lo) (neg (/ (- x lo) lo)) (/ (- x lo) lo) (- x lo) (/ (- x lo) (- hi lo)) (+ (* (neg lo) (+ (* (/ x (* hi hi)) -1) (pow hi -1))) (/ x hi)) (/ (neg lo) hi) (neg lo) (/ (- x lo) (- hi lo)) (+ (* (- (/ (+ (* (- (pow lo -1) (/ x (* lo lo))) hi) 1) lo) (/ x (* lo lo))) hi) (neg (/ (- x lo) lo))) (- (/ (+ (* (- (pow lo -1) (/ x (* lo lo))) hi) 1) lo) (/ x (* lo lo))) (/ (+ 1 (/ (- hi x) lo)) lo) (+ 1 (/ (- hi x) lo)) (/ (- hi x) lo) (- hi x) (/ (- x lo) (- hi lo)) (+ (* (- (/ (+ (* (- (pow lo -1) (/ x (* lo lo))) hi) 1) lo) (/ x (* lo lo))) hi) (neg (/ (- x lo) lo))) (- (/ (+ (* (- (pow lo -1) (/ x (* lo lo))) hi) 1) lo) (/ x (* lo lo))) (/ (+ (* (- (pow lo -1) (/ x (* lo lo))) hi) 1) lo) (+ (* (- (pow lo -1) (/ x (* lo lo))) hi) 1) (- (pow lo -1) (/ x (* lo lo))) (pow lo -1) -1 (neg (/ (- x lo) lo)) (/ (- x lo) lo) (- x lo) (/ (- x lo) (- hi lo)) (+ (* (neg lo) (+ (* (/ x (* hi hi)) -1) (exp (* (log hi) -1)))) (/ x hi)) (+ (* (/ x (* hi hi)) -1) (exp (* (log hi) -1))) (/ x (* hi hi)) (* hi hi) (exp (* (log hi) -1)) (* (log hi) -1) (log hi) (/ x hi))
50.0ms
x
@inf
((log (/ (sinh x) x)) (/ (sinh x) x) (sinh x) x)
47.0ms
b
@-inf
((/ (* r (sin b)) (+ (* (cos b) (cos a)) (* (neg (sin b)) (sin a)))) (* r (sin b)) r (sin b) b (+ (* (cos b) (cos a)) (* (neg (sin b)) (sin a))) (cos b) (cos a) a (* (neg (sin b)) (sin a)) (neg (sin b)) (sin a) (/ (* r (sin b)) (cos (+ a b))) (* r (tan b)) (tan b) (/ (* r (fabs (sin b))) (cos (+ a b))) (* r (fabs (sin b))) (fabs (sin b)) (cos (+ a b)) (+ a b) (/ (* (* r (sqrt (sin b))) (sqrt (sin b))) (cos (+ a b))) (* (* r (sqrt (sin b))) (sqrt (sin b))) (* r (sqrt (sin b))) (sqrt (sin b)) (/ (* r (sin b)) (- (* (/ 1 (pow (cos b) -1)) (cos a)) (* (sin b) (sin a)))) (- (* (/ 1 (pow (cos b) -1)) (cos a)) (* (sin b) (sin a))) (* (/ 1 (pow (cos b) -1)) (cos a)) (/ 1 (pow (cos b) -1)) 1 (pow (cos b) -1) -1 (* (sin b) (sin a)))
42.0ms
x
@-inf
((log (/ (sinh x) x)) (/ (sinh x) x) (sinh x) x)

preprocess2.1s (2.9%)

Memory
-350.7MiB live, 1 952.4MiB allocated; 285ms collecting garbage
Stop Event
15×node-limit
5×saturated
Compiler

Compiled 16 006 to 7 580 computations (52.6% saved)

prune1.8s (2.6%)

Memory
166.6MiB live, 3 100.7MiB allocated; 408ms collecting garbage
Counts
20 461 → 1 452
Compiler

Compiled 80 132 to 40 640 computations (49.3% saved)

bsearch598.0ms (0.8%)

Memory
93.6MiB live, 656.7MiB allocated; 68ms collecting garbage
Algorithm
24×binary-search
21×left-value
Stop Event
20×narrow-enough
3×predicate-same
1×predicate-failed
Samples
189.0ms861×1valid
141.0ms1 667×0valid
71.0ms128×2valid
11.0ms101×0invalid
Compiler

Compiled 6 478 to 5 586 computations (13.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 336.0ms
ival-cos: 112.0ms (33.3% of total)
ival-exp: 45.0ms (13.4% of total)
ival-mult!: 43.0ms (12.8% of total)
ival-tan: 28.0ms (8.3% of total)
ival-sin: 25.0ms (7.4% of total)
adjust: 23.0ms (6.8% of total)
ival-fmod: 18.0ms (5.4% of total)
ival-pow: 10.0ms (3% of total)
ival-div!: 9.0ms (2.7% of total)
ival-add!: 8.0ms (2.4% of total)
ival-sqrt: 5.0ms (1.5% of total)
ival-pow2: 4.0ms (1.2% of total)
ival-neg: 4.0ms (1.2% of total)
ival-sub!: 1.0ms (0.3% of total)

start1.0ms (0%)

Memory
1.3MiB live, 1.3MiB allocated; 0ms collecting garbage

end0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...