Herbie run

Date:Wednesday, April 16th, 2025
Commit:253a78a0 on chassis-platforms-cleanup
Seed:2025106
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:1 032 414.1 MB

Time bar (total: 13.7min)

sample4.5min (33.2%)

Memory
4 474.4MiB live, 344 821.7MiB allocated; 1.6min collecting garbage
Samples
2.5min2 144 638×0valid
20.8s69 527×1valid
6.8s64 681×0invalid
1.6s5 999×2valid
685.0ms1 205×5exit
343.0ms1 705×1invalid
292.0ms696×3valid
162.0ms382×4exit
6.0ms26×1exit
1.0ms4×4valid
Precisions
Click to see histograms. Total time spent on operations: 1.7min
ival-mult!: 36.7s (36.8% of total)
ival-sub!: 11.3s (11.4% of total)
ival-div!: 11.1s (11.1% of total)
ival-log: 11.0s (11% of total)
ival-add!: 9.9s (9.9% of total)
ival-sqrt: 4.6s (4.6% of total)
ival-sin: 4.2s (4.2% of total)
adjust: 4.2s (4.2% of total)
ival-cos: 3.1s (3.1% of total)
ival-exp: 2.0s (2% of total)
ival-cosh: 340.0ms (0.3% of total)
ival-fabs: 284.0ms (0.3% of total)
ival-tan: 223.0ms (0.2% of total)
ival-sinh: 214.0ms (0.2% of total)
ival-acos: 212.0ms (0.2% of total)
ival-tanh: 176.0ms (0.2% of total)
ival-hypot: 159.0ms (0.2% of total)
Bogosity

rewrite3.2min (23.3%)

Memory
4 928.8MiB live, 202 634.4MiB allocated; 1.0min collecting garbage
Stop Event
2 225×iter-limit
852×node-limit
66×unsound
12×saturated
Counts
120 410 → 219 465

derivations1.1min (7.8%)

Memory
-1 571.0MiB live, 60 538.9MiB allocated; 13.6s collecting garbage
Stop Event
151×fuel
118×done
Compiler

Compiled 152 124 to 18 132 computations (88.1% saved)

regimes58.2s (7.1%)

Memory
7.3MiB live, 91 269.7MiB allocated; 13.1s collecting garbage
Counts
31 568 → 4 887
Calls

512 calls:

8.5s
x
8.2s
y
6.1s
z
3.8s
t
2.4s
a
Compiler

Compiled 36 950 to 56 211 computations (-52.1% saved)

series46.7s (5.7%)

Memory
1 582.4MiB live, 71 414.3MiB allocated; 11.9s collecting garbage
Counts
18 259 → 102 151
Calls

8895 calls:

TimeVariablePointExpression
408.0ms
y
@0
((- x (/ (log (+ (- 1 y) (* y (exp z)))) t)) x (/ (log (+ (- 1 y) (* y (exp z)))) t) (log (+ (- 1 y) (* y (exp z)))) (* (- (exp z) 1) y) (- (exp z) 1) z y t (- x (/ (log (+ (- 1 y) (* y (exp z)))) t)) (- x (/ (log (+ (- 1 y) (* y (exp z)))) t)) (/ (log (+ (- 1 y) (* y (exp z)))) t) (log (+ (- 1 y) (* y (exp z)))) (+ (- 1 y) (* y (exp z))) (+ (* z y) 1) 1 (- x (/ (log (+ (- 1 y) (* y (exp z)))) t)) (+ (* (/ (- (* -1/2 (* (+ (neg (* y y)) y) z)) y) t) z) x) (/ (- (* -1/2 (* (+ (neg (* y y)) y) z)) y) t) (- (* -1/2 (* (+ (neg (* y y)) y) z)) y) (* -1/2 (* (+ (neg (* y y)) y) z)) -1/2 (* (+ (neg (* y y)) y) z) (+ (neg (* y y)) y) (neg (* y y)) (* y y) (- x (/ (log (+ (- 1 y) (* y (exp z)))) t)) (/ (log (+ (- 1 y) (* y (exp z)))) t) (log (+ (- 1 y) (* y (exp z)))) (+ (- 1 y) (* y (exp z))) (+ (* (+ (* (+ (* 1/6 (* z y)) (* 1/2 y)) z) y) z) 1) (+ (* (+ (* 1/6 (* z y)) (* 1/2 y)) z) y) (+ (* 1/6 (* z y)) (* 1/2 y)) 1/6 (* z y) (* 1/2 y) 1/2)
202.0ms
y
@-inf
((* (log (/ x y)) (* (log (* y x)) (/ x (log (* y x))))) (log (/ x y)) (/ x y) x y (* (log (* y x)) (/ x (log (* y x)))) (log (* y x)) (* y x) (/ x (log (* y x))) (- (* (log x) x) (* (log y) x)) (* (log x) x) (log x) (* (log y) x) (log y) (/ (* (* (log (* x y)) (log (/ x y))) x) (log (* y x))) (* (* (log (* x y)) (log (/ x y))) x) (* (log (* x y)) (log (/ x y))) (log (* x y)) (* x y) (+ (* (exp (* (log (neg (log (neg y)))) 1)) x) (* (log (neg x)) x)) (exp (* (log (neg (log (neg y)))) 1)) (* (log (neg (log (neg y)))) 1) (log (neg (log (neg y)))) (neg (log (neg y))) (log (neg y)) (neg y) 1 (* (log (neg x)) x) (log (neg x)) (neg x) (- (* (log (neg x)) x) (/ (* x (* (neg (log (neg y))) (log (neg y)))) (* (pow (neg (log (neg y))) 1/2) (pow (neg (log (neg y))) 1/2)))) (/ (* x (* (neg (log (neg y))) (log (neg y)))) (* (pow (neg (log (neg y))) 1/2) (pow (neg (log (neg y))) 1/2))) (* x (* (neg (log (neg y))) (log (neg y)))) (* (neg (log (neg y))) (log (neg y))) (* (pow (neg (log (neg y))) 1/2) (pow (neg (log (neg y))) 1/2)) (pow (neg (log (neg y))) 1/2) 1/2)
155.0ms
x
@inf
((* x (log (/ x y))) x (log (/ x y)) (/ x y) y)
151.0ms
x
@0
((* (log (/ x y)) (* (log (* y x)) (/ x (log (* y x))))) (log (/ x y)) (/ x y) x y (* (log (* y x)) (/ x (log (* y x)))) (log (* y x)) (* y x) (/ x (log (* y x))) (- (* (log x) x) (* (log y) x)) (* (log x) x) (log x) (* (log y) x) (log y) (/ (* (* (log (* x y)) (log (/ x y))) x) (log (* y x))) (* (* (log (* x y)) (log (/ x y))) x) (* (log (* x y)) (log (/ x y))) (log (* x y)) (* x y) (+ (* (exp (* (log (neg (log (neg y)))) 1)) x) (* (log (neg x)) x)) (exp (* (log (neg (log (neg y)))) 1)) (* (log (neg (log (neg y)))) 1) (log (neg (log (neg y)))) (neg (log (neg y))) (log (neg y)) (neg y) 1 (* (log (neg x)) x) (log (neg x)) (neg x) (- (* (log (neg x)) x) (/ (* x (* (neg (log (neg y))) (log (neg y)))) (* (pow (neg (log (neg y))) 1/2) (pow (neg (log (neg y))) 1/2)))) (/ (* x (* (neg (log (neg y))) (log (neg y)))) (* (pow (neg (log (neg y))) 1/2) (pow (neg (log (neg y))) 1/2))) (* x (* (neg (log (neg y))) (log (neg y)))) (* (neg (log (neg y))) (log (neg y))) (* (pow (neg (log (neg y))) 1/2) (pow (neg (log (neg y))) 1/2)) (pow (neg (log (neg y))) 1/2) 1/2)
147.0ms
y
@-inf
((- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- (+ (* (- 1 (log y)) y) x) (log (sqrt y))) (+ (* (- 1 (log y)) y) x) (- 1 (log y)) 1 (log y) y x (log (sqrt y)) (sqrt y) z (- (+ (- x (* (+ y 1/2) (log y))) y) z) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- x (log (sqrt y))) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (- y (+ (* (log y) (- y -1/2)) z)) (+ (* (log y) (- y -1/2)) z) (- y -1/2) -1/2 (- (+ (- x (* (+ y 1/2) (log y))) y) z) (* (neg z) (- (neg (/ (- (+ y x) (* (log y) (- y -1/2))) z)) -1)) (neg z) (- (neg (/ (- (+ y x) (* (log y) (- y -1/2))) z)) -1) (neg (/ (- (+ y x) (* (log y) (- y -1/2))) z)) (/ (- (+ y x) (* (log y) (- y -1/2))) z) (- (+ y x) (* (log y) (- y -1/2))) (+ y x) (* (log y) (- y -1/2)) -1)

preprocess45.7s (5.6%)

Memory
-1 736.4MiB live, 62 341.5MiB allocated; 13.8s collecting garbage
Stop Event
174×node-limit
95×saturated
Compiler

Compiled 491 800 to 125 464 computations (74.5% saved)

explain39.7s (4.8%)

Memory
-1 189.3MiB live, 52 588.1MiB allocated; 15.2s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15710
/.f64#fo/n11710
sqrt.f64#foflow-rescue7350
-.f64#fcancellation5969
/.f64#fo/o5410
*.f64#fn*o5060
+.f64#fnan-rescue4980
-.f64#fnan-rescue4010
+.f64#fcancellation3770
cos.f64#fsensitivity3523
/.f64#fn/o3280
sin.f64#fsensitivity2300
/.f64#fu/n2250
*.f64#fn*u1720
/.f64#fn/u1560
cos.f64#foflow-rescue1170
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity1080
/.f64#fu/u1030
log.f64#foflow-rescue830
log.f64#fuflow-rescue590
sqrt.f64#fuflow-rescue430
exp.f64#fsensitivity285
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue250
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow25
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue250
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow25
*.f64#fo*u230
*.f64#fu*o50
Confusion
Predicted +Predicted -
+5887192
-172861057
Precision
0.7730794484569927
Recall
0.9684158578713604
Confusion?
Predicted +Predicted MaybePredicted -
+58871191
-17281561042
Precision?
0.7715895688638449
Recall?
0.9685803586116137
Freqs
test
numberfreq
061249
16842
2706
349
415
51
62
Total Confusion?
Predicted +Predicted MaybePredicted -
+13600
-20131
Precision?
0.9855072463768116
Recall?
1.0
Samples
9.2s130 332×0valid
5.0s5 970×1valid
568.0ms1 328×2valid
31.0ms98×3valid
Compiler

Compiled 24 442 to 8 402 computations (65.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.0s
ival-log: 4.2s (47% of total)
ival-mult!: 1.8s (19.5% of total)
ival-div!: 774.0ms (8.6% of total)
ival-add!: 606.0ms (6.7% of total)
ival-sub!: 520.0ms (5.8% of total)
ival-sin: 336.0ms (3.7% of total)
adjust: 307.0ms (3.4% of total)
ival-cos: 168.0ms (1.9% of total)
ival-sqrt: 147.0ms (1.6% of total)
ival-exp: 89.0ms (1% of total)
ival-tanh: 18.0ms (0.2% of total)
ival-cosh: 13.0ms (0.1% of total)
ival-tan: 12.0ms (0.1% of total)
ival-fabs: 12.0ms (0.1% of total)
ival-sinh: 10.0ms (0.1% of total)
ival-hypot: 9.0ms (0.1% of total)
ival-acos: 5.0ms (0.1% of total)

eval39.5s (4.8%)

Memory
-844.8MiB live, 57 423.1MiB allocated; 14.0s collecting garbage
Compiler

Compiled 8 442 081 to 944 530 computations (88.8% saved)

bsearch25.9s (3.2%)

Memory
1 024.4MiB live, 37 691.7MiB allocated; 5.8s collecting garbage
Algorithm
1 813×binary-search
1 040×left-value
Stop Event
1 779×narrow-enough
33×predicate-same
1×predicate-failed
Samples
12.4s143 435×0valid
1.0s4 258×1valid
191.0ms2 739×0invalid
25.0ms91×1invalid
20.0ms151×2valid
6.0ms28×3valid
Compiler

Compiled 958 625 to 694 489 computations (27.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.8s
ival-mult!: 3.7s (47.3% of total)
ival-sub!: 1.1s (14.7% of total)
ival-add!: 742.0ms (9.5% of total)
ival-div!: 595.0ms (7.7% of total)
ival-log: 468.0ms (6% of total)
ival-sin: 356.0ms (4.6% of total)
adjust: 299.0ms (3.8% of total)
ival-cos: 249.0ms (3.2% of total)
ival-exp: 111.0ms (1.4% of total)
ival-sqrt: 94.0ms (1.2% of total)
ival-sinh: 10.0ms (0.1% of total)
ival-cosh: 9.0ms (0.1% of total)
ival-fabs: 9.0ms (0.1% of total)
ival-tanh: 8.0ms (0.1% of total)

analyze19.6s (2.4%)

Memory
-504.4MiB live, 22 420.1MiB allocated; 9.8s collecting garbage
Algorithm
269×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
46.8%46.8%53.1%0.1%0%0%0%1
50.5%50.1%49.2%0.1%0%0.6%0%2
58.6%57%40.3%0.1%0%2.6%0%3
65.2%62.7%33.5%0.1%0%3.6%0%4
71.2%68.2%27.5%0.1%0%4.1%0%5
75.9%72.3%23%0.1%0%4.6%0%6
79.8%75.6%19.1%0.1%0%5.1%0%7
81.7%77%17.3%0.1%0%5.6%0%8
84.3%79.3%14.7%0.1%0%5.9%0%9
85.9%80.5%13.2%0.1%0%6.2%0%10
88.5%82.8%10.8%0.1%0%6.2%0%11
89.6%83.6%9.8%0.1%0%6.5%0%12
Compiler

Compiled 3 462 to 2 977 computations (14% saved)

prune18.1s (2.2%)

Memory
-97.1MiB live, 29 244.7MiB allocated; 5.0s collecting garbage
Counts
211 927 → 12 442
Compiler

Compiled 768 434 to 421 515 computations (45.1% saved)

start9.0ms (0%)

Memory
21.1MiB live, 20.9MiB allocated; 0ms collecting garbage

end2.0ms (0%)

Memory
5.3MiB live, 4.9MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...