Herbie run

Date:Friday, January 17th, 2025
Commit:0ed7f8bc on no-localize
Seed:2025017
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default
Memory:106 051.9 MB

Time bar (total: 1.7min)

sample51.5s (49.1%)

Memory
540.6MiB live, 52 125.7MiB allocated; 16.2s collecting garbage
Samples
15.8s16 486×5exit
10.5s40 194×1valid
9.5s108 557×0valid
5.5s16 369×2valid
427.0ms3 855×0invalid
158.0ms1 383×0exit
Precisions
Click to see histograms. Total time spent on operations: 33.9s
ival-exp: 4.1s (12.1% of total)
ival-pow: 3.8s (11.2% of total)
adjust: 3.7s (10.9% of total)
ival-log: 2.9s (8.6% of total)
const: 2.7s (8.1% of total)
ival-cos: 2.7s (7.8% of total)
ival-mult: 2.0s (5.9% of total)
ival-tan: 1.7s (5.1% of total)
ival-sinh: 1.6s (4.7% of total)
ival-div: 1.1s (3.1% of total)
ival-sqrt: 1.0s (3% of total)
ival-fmod: 965.0ms (2.8% of total)
ival-sub: 839.0ms (2.5% of total)
ival-sin: 818.0ms (2.4% of total)
ival-add: 733.0ms (2.2% of total)
ival-neg: 628.0ms (1.9% of total)
ival-<=: 571.0ms (1.7% of total)
ival-acos: 538.0ms (1.6% of total)
ival-pow2: 472.0ms (1.4% of total)
ival-hypot: 229.0ms (0.7% of total)
ival-true: 125.0ms (0.4% of total)
ival-and: 120.0ms (0.4% of total)
ival-assert: 92.0ms (0.3% of total)
ival-==: 86.0ms (0.3% of total)
ival-<: 86.0ms (0.3% of total)
exact: 83.0ms (0.2% of total)
ival-atan: 73.0ms (0.2% of total)
ival->=: 63.0ms (0.2% of total)
ival-or: 41.0ms (0.1% of total)
ival->: 23.0ms (0.1% of total)
Bogosity

simplify12.5s (12%)

Memory
98.1MiB live, 11 204.6MiB allocated; 3.5s collecting garbage
Stop Event
81×iter limit
76×node limit
8×saturated
6×unsound
Counts
5 062 → 4 934

rewrite7.9s (7.6%)

Memory
-44.4MiB live, 7 356.7MiB allocated; 2.0s collecting garbage
Stop Event
205×iter limit
48×node limit
19×unsound
5×saturated
Counts
1 636 → 22 416

regimes5.4s (5.2%)

Memory
211.0MiB live, 6 447.8MiB allocated; 708ms collecting garbage
Counts
3 652 → 134
Calls

53 calls:

781.0ms
a
573.0ms
b
556.0ms
r
437.0ms
x
324.0ms
(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))
Compiler

Compiled 1 443 to 1 604 computations (-11.2% saved)

eval5.2s (4.9%)

Memory
-56.7MiB live, 6 910.9MiB allocated; 1.4s collecting garbage
Compiler

Compiled 1 348 632 to 132 254 computations (90.2% saved)

derivations4.3s (4.1%)

Memory
-85.5MiB live, 2 644.4MiB allocated; 511ms collecting garbage
Stop Event
13×fuel
7×done
Compiler

Compiled 3 001 to 872 computations (70.9% saved)

analyze4.3s (4.1%)

Memory
91.3MiB live, 3 984.4MiB allocated; 1.6s 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)

preprocess4.2s (4.1%)

Memory
334.0MiB live, 3 635.8MiB allocated; 850ms collecting garbage
Stop Event
38×iter limit
29×node limit
13×saturated
Compiler

Compiled 7 697 to 2 996 computations (61.1% saved)

explain3.2s (3%)

Memory
-79.1MiB live, 3 543.2MiB allocated; 538ms collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue5850
cos.f64#fsensitivity5260
-.f64#fcancellation3412
sqrt.f64#fuflow-rescue2960
/.f64#fn/o2570
acos.f64(acos.f64 (-.f64 #s(literal 1 binary64) x))sensitivity2530
log.f64(log.f64 (/.f64 (sinh.f64 x) x))sensitivity2500
tan.f64(tan.f64 (+.f64 y z))sensitivity2030
pow.f64(pow.f64 l (exp.f64 w))sensitivity12812
*.f64#fn*o440
*.f64#fn*u390
*.f64#fu*o210
*.f64(*.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))o*u180
↳(pow.f64 c #s(literal 2 binary64))overflow69
↳(*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)underflow69
↳(*.f64 x (pow.f64 s #s(literal 2 binary64)))underflow59
↳(pow.f64 s #s(literal 2 binary64))underflow68
-.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-rescue50
↳(sinh.f64 x)overflow5
↳(/.f64 (sinh.f64 x) x)overflow5
Confusion
Predicted +Predicted -
+2225268
-6731954
Precision
0.7677708764665286
Recall
0.892498997192138
Confusion?
Predicted +Predicted MaybePredicted -
+22252266
-673131941
Precision?
0.7645039478201168
Recall?
0.8933012434817489
Freqs
test
numberfreq
02222
12823
268
37
Total Confusion?
Predicted +Predicted MaybePredicted -
+1800
-002
Precision?
1.0
Recall?
1.0
Samples
578.0ms2 618×1valid
526.0ms100×5exit
474.0ms6 582×0valid
293.0ms940×2valid
Compiler

Compiled 1 067 to 440 computations (58.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5s
ival-cos: 534.0ms (36.7% of total)
adjust: 121.0ms (8.3% of total)
ival-tan: 102.0ms (7% of total)
ival-add: 86.0ms (5.9% of total)
ival-mult: 77.0ms (5.3% of total)
ival-sub: 76.0ms (5.2% of total)
ival-sqrt: 67.0ms (4.6% of total)
ival-log: 60.0ms (4.1% of total)
ival-sinh: 49.0ms (3.4% of total)
ival-exp: 48.0ms (3.3% of total)
ival-sin: 45.0ms (3.1% of total)
ival-fmod: 44.0ms (3% of total)
ival-pow2: 44.0ms (3% of total)
ival-div: 34.0ms (2.3% of total)
ival-acos: 28.0ms (1.9% of total)
ival-true: 9.0ms (0.6% of total)
ival-hypot: 9.0ms (0.6% of total)
ival-pow: 8.0ms (0.5% of total)
ival-neg: 6.0ms (0.4% of total)
ival-assert: 5.0ms (0.3% of total)
ival-atan: 3.0ms (0.2% of total)
exact: 2.0ms (0.1% of total)

prune3.0s (2.9%)

Memory
16.3MiB live, 4 427.7MiB allocated; 785ms collecting garbage
Counts
33 677 → 1 676
Compiler

Compiled 101 371 to 50 163 computations (50.5% saved)

series2.9s (2.7%)

Memory
-15.2MiB live, 3 411.5MiB allocated; 532ms collecting garbage
Counts
1 636 → 5 062
Calls

387 calls:

TimeVariablePointExpression
85.0ms
x
@-inf
((log (/ (sinh x) x)) (* (* (+ (* (+ (* 1/2835 (* x x)) -1/180) (* x x)) 1/6) x) x) (* (+ (* (+ (* 1/2835 (* x x)) -1/180) (* x x)) 1/6) x) (+ (* (+ (* 1/2835 (* x x)) -1/180) (* x x)) 1/6) (+ (* 1/2835 (* x x)) -1/180) 1/2835 (* x x) x -1/180 1/6 (log (/ (sinh x) x)) (* (* x x) 1/6) (log (/ (sinh x) x)) (* (* (+ (* (+ (* (+ (* -1/37800 (* x x)) 1/2835) (* x x)) -1/180) (* x x)) 1/6) x) x) (* (+ (* (+ (* (+ (* -1/37800 (* x x)) 1/2835) (* x x)) -1/180) (* x x)) 1/6) x) (+ (* (+ (* (+ (* -1/37800 (* x x)) 1/2835) (* x x)) -1/180) (* x x)) 1/6) (+ (* (+ (* -1/37800 (* x x)) 1/2835) (* x x)) -1/180) (+ (* -1/37800 (* x x)) 1/2835) -1/37800 (log (/ (sinh x) x)) (/ (sinh x) x) (+ (* (+ (* 1/120 (* x x)) 1/6) (* x x)) 1) (+ (* 1/120 (* x x)) 1/6) 1/120 1 (/ (- (pow (log (sinh x)) 2) (pow (log x) 2)) (log (* (sinh x) x))) (- (pow (log (sinh x)) 2) (pow (log x) 2)) (pow (log (sinh x)) 2) (log (sinh x)) (sinh x) 2 (pow (log x) 2) (log x) (log (* (sinh x) x)) (* (sinh x) x))
76.0ms
lo
@-inf
((/ (- x lo) (- hi lo)) (+ (* (+ (/ hi lo) 1) (/ (- hi x) lo)) 1) (* (- (/ (/ hi lo) lo) (/ (/ x lo) lo)) hi) (- (/ (/ hi lo) lo) (/ (/ x lo) lo)) (/ (/ hi lo) lo) (/ hi lo) hi lo (/ (/ x lo) lo) (/ x lo) x (/ (- x lo) (- hi lo)) (/ (- x lo) hi) (- x lo) (neg lo) (/ (- x lo) (- hi lo)) (+ (/ (- x lo) hi) (* (+ (* (/ lo hi) lo) lo) (/ (/ (- x lo) hi) hi))) (/ (- x lo) hi) (- x lo) (* (+ (* (/ lo hi) lo) lo) (/ (/ (- x lo) hi) hi)) (* (/ lo hi) (/ (- x lo) hi)) (/ lo hi) (/ (- x lo) (- hi lo)) (/ (+ (* (* (/ (- x lo) hi) lo) (/ lo hi)) (+ (* (/ (- x lo) hi) lo) (- x lo))) hi) (+ (* (* (/ (- x lo) hi) lo) (/ lo hi)) (+ (* (/ (- x lo) hi) lo) (- x lo))) (* (* (/ (- x lo) hi) lo) (/ lo hi)) (* (/ (- x lo) hi) lo) (+ (* (/ (- x lo) hi) lo) (- x lo)) (/ (- x lo) (- hi lo)) (/ (+ (* (/ (* (pow (/ lo hi) 2) lo) hi) (- x lo)) (+ (* (/ (- x lo) hi) (+ (* lo (/ lo hi)) lo)) (- x lo))) hi) (+ (* (/ (* (pow (/ lo hi) 2) lo) hi) (- x lo)) (+ (* (/ (- x lo) hi) (+ (* lo (/ lo hi)) lo)) (- x lo))) (/ (* (pow (/ lo hi) 2) lo) hi) (* (pow (/ lo hi) 2) lo) (pow (/ lo hi) 2) 2 (+ (* (/ (- x lo) hi) (+ (* lo (/ lo hi)) lo)) (- x lo)))
64.0ms
lo
@inf
((/ (- x lo) (- hi lo)) (+ (* (+ (/ hi lo) 1) (/ (- hi x) lo)) 1) (+ (/ hi lo) 1) (/ hi lo) hi lo 1 (/ (- hi x) lo) (- hi x) x (/ (- x lo) (- hi lo)) (/ (- x lo) (- hi lo)) (- (/ (- hi x) lo) -1) -1 (/ (- x lo) (- hi lo)) (/ (+ (* (/ (- x lo) hi) (+ (* lo (/ lo hi)) lo)) (- x lo)) hi) (+ (* (/ (- x lo) hi) (+ (* lo (/ lo hi)) lo)) (- x lo)) (/ (- x lo) hi) (- x lo) (+ (* lo (/ lo hi)) lo) (/ lo hi) (/ (- x lo) (- hi lo)) (/ (+ (* (pow (/ lo hi) 3) (- x lo)) (+ (* (/ (- x lo) hi) (+ (* lo (/ lo hi)) lo)) (- x lo))) hi) (+ (* (pow (/ lo hi) 3) (- x lo)) (+ (* (/ (- x lo) hi) (+ (* lo (/ lo hi)) lo)) (- x lo))) (pow (/ lo hi) 3) 3)
63.0ms
hi
@-inf
((/ (- x lo) (- hi lo)) (- x lo) x lo (- hi lo) hi)
48.0ms
s
@inf
((/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (cos (* 2 x)) (* 2 x) 2 x (* (pow c 2) (* (* x (pow s 2)) x)) (/ 1 (pow (* (* c x) s) -2)) 1 (pow (* (* c x) s) -2) (* (* c x) s) (* c x) c s -2 (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x)) (* (* (* c x) s) (* (* c x) s)) (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (+ (/ (/ (/ 1 (* c c)) x) (* (* s s) x)) (/ (+ (* 2/3 (* x x)) -2) (* (* (* s c) c) s))) (/ (/ (+ (* (* x x) 2/3) -2) s) (* (* s c) c)) (/ (+ (* (* x x) 2/3) -2) s) (+ (* (* x x) 2/3) -2) (* x x) 2/3 (* (* s c) c) (* s c) (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (+ (/ (/ 1 (* (* (* x x) c) s)) (* s c)) (/ (+ (* 2/3 (* x x)) -2) (* (* (* s c) c) s))) (/ (/ 1 (* (* (* x x) c) s)) (* s c)) (/ 1 (* (* (* x x) c) s)) (* (* (* x x) c) s) (* (* x x) c) (/ (+ (* 2/3 (* x x)) -2) (* (* (* s c) c) s)) (/ (/ -2 (* (* s s) c)) c) (/ -2 (* (* s s) c)) (* (* s s) c) (* s s) (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (* (pow c 2) (* (* x (pow s 2)) x)) (* (* (* (* c x) s) s) (* c x)) (* (* (* c x) s) s))

bsearch325.0ms (0.3%)

Memory
-24.7MiB live, 357.2MiB allocated; 55ms collecting garbage
Algorithm
20×binary-search
10×left-value
Stop Event
19×narrow-enough
1×predicate-same
Samples
115.0ms662×1valid
77.0ms1 162×0valid
2.0ms25×0exit
Compiler

Compiled 5 450 to 4 535 computations (16.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 142.0ms
ival-cos: 29.0ms (20.4% of total)
ival-sin: 19.0ms (13.4% of total)
adjust: 16.0ms (11.2% of total)
ival-exp: 13.0ms (9.1% of total)
ival-pow: 13.0ms (9.1% of total)
ival-sqrt: 12.0ms (8.4% of total)
ival-mult: 11.0ms (7.7% of total)
ival-add: 7.0ms (4.9% of total)
ival-div: 5.0ms (3.5% of total)
ival-acos: 5.0ms (3.5% of total)
ival-pow2: 5.0ms (3.5% of total)
ival-neg: 4.0ms (2.8% of total)
ival-fmod: 2.0ms (1.4% of total)
ival-assert: 1.0ms (0.7% of total)
ival-sub: 1.0ms (0.7% of total)
ival-true: 1.0ms (0.7% of total)
exact: 0.0ms (0% of total)

start1.0ms (0%)

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

end0.0ms (0%)

Memory
0.4MiB live, 0.3MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...