Herbie run

Date:Saturday, April 5th, 2025
Commit:b1d45740 on chassis-platforms-cleanup
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:170 635.4 MB

Time bar (total: 2.2min)

sample50.9s (38.1%)

Memory
1 112.1MiB live, 65 298.4MiB allocated; 17.7s collecting garbage
Samples
21.9s293 036×0valid
6.8s35 531×1valid
6.6s17 706×2valid
435.0ms480×3valid
335.0ms4 129×0invalid
112.0ms948×0exit
60.0ms101×4exit
47.0ms101×3exit
3.0ms29×1exit
Precisions
Click to see histograms. Total time spent on operations: 23.5s
ival-mult!: 5.7s (24.4% of total)
ival-pow: 4.0s (17.1% of total)
ival-div!: 2.9s (12.3% of total)
adjust: 2.1s (8.8% of total)
ival-sin: 1.8s (7.6% of total)
ival-sub!: 1.6s (7% of total)
ival-add!: 1.6s (7% of total)
ival-cos: 1.3s (5.7% of total)
ival-exp: 667.0ms (2.8% of total)
ival-sqrt: 455.0ms (1.9% of total)
ival-neg: 308.0ms (1.3% of total)
ival-pow2: 292.0ms (1.2% of total)
ival-atan: 169.0ms (0.7% of total)
ival-log1p: 157.0ms (0.7% of total)
ival-expm1: 122.0ms (0.5% of total)
ival-tan: 86.0ms (0.4% of total)
ival-<=: 61.0ms (0.3% of total)
ival-hypot: 28.0ms (0.1% of total)
ival-and: 8.0ms (0% of total)
ival-fabs: 4.0ms (0% of total)
ival-if: 4.0ms (0% of total)
ival-==: 3.0ms (0% of total)
ival-assert: 1.0ms (0% of total)
ival-<: 1.0ms (0% of total)
const: 0.0ms (0% of total)
Bogosity

rewrite29.4s (22%)

Memory
894.5MiB live, 31 992.5MiB allocated; 8.4s collecting garbage
Stop Event
371×iter-limit
146×node-limit
10×saturated
4×unsound
Counts
19 146 → 40 749

derivations8.8s (6.6%)

Memory
-252.1MiB live, 7 782.6MiB allocated; 2.8s collecting garbage
Stop Event
24×fuel
18×done
Compiler

Compiled 30 724 to 2 702 computations (91.2% saved)

eval7.7s (5.8%)

Memory
-520.1MiB live, 12 058.1MiB allocated; 2.3s collecting garbage
Compiler

Compiled 2 253 217 to 194 176 computations (91.4% saved)

explain7.7s (5.8%)

Memory
-99.6MiB live, 13 615.6MiB allocated; 1.6s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation13036
+.f64#fcancellation367107
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2200
sqrt.f64#foflow-rescue1840
log.f64(log.f64 (+.f64 #s(literal 1 binary64) x))sensitivity1700
/.f64#fn/o1620
/.f64#fo/o1510
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)sensitivity1190
-.f64#fnan-rescue1030
/.f64#fu/n900
*.f64#fn*u660
/.f64#fn/u520
+.f64#fnan-rescue500
/.f64#fu/u420
/.f64#fo/n420
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)oflow-rescue250
↳(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)overflow33
↳(/.f64 i n)overflow25
↳(+.f64 #s(literal 1 binary64) (/.f64 i n))overflow25
*.f64#fn*o250
sqrt.f64#fuflow-rescue60
Confusion
Predicted +Predicted -
+3871242
-1126527
Precision
0.9718804920913884
Recall
0.9411621687332847
Confusion?
Predicted +Predicted MaybePredicted -
+387117567
-1121956332
Precision?
0.9294739260280267
Recall?
0.9837101872112813
Freqs
test
numberfreq
06769
13551
2395
337
Total Confusion?
Predicted +Predicted MaybePredicted -
+3010
-209
Precision?
0.9393939393939394
Recall?
1.0
Samples
1.3s16 874×0valid
817.0ms3 134×1valid
556.0ms1 452×2valid
33.0ms42×3valid
2.0ms2×4valid
Compiler

Compiled 7 535 to 1 486 computations (80.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6s
ival-mult!: 378.0ms (23.3% of total)
ival-add!: 217.0ms (13.4% of total)
ival-pow: 211.0ms (13% of total)
adjust: 179.0ms (11% of total)
ival-div!: 164.0ms (10.1% of total)
ival-sub!: 119.0ms (7.3% of total)
ival-sin: 116.0ms (7.1% of total)
ival-cos: 68.0ms (4.2% of total)
ival-pow2: 59.0ms (3.6% of total)
ival-sqrt: 50.0ms (3.1% of total)
ival-exp: 26.0ms (1.6% of total)
ival-neg: 21.0ms (1.3% of total)
ival-atan: 5.0ms (0.3% of total)
ival-log1p: 5.0ms (0.3% of total)
ival-tan: 4.0ms (0.2% of total)
ival-expm1: 3.0ms (0.2% of total)
const: 0.0ms (0% of total)

preprocess6.7s (5%)

Memory
-706.7MiB live, 8 231.6MiB allocated; 2.4s collecting garbage
Stop Event
32×node-limit
10×saturated
Compiler

Compiled 81 058 to 15 782 computations (80.5% saved)

regimes5.9s (4.4%)

Memory
150.3MiB live, 8 569.9MiB allocated; 1.7s collecting garbage
Counts
4 777 → 569
Calls

96 calls:

714.0ms
x
463.0ms
(*.f64 w w)
326.0ms
b
316.0ms
(*.f64 (cos.f64 x) (exp.f64 (*.f64 #s(literal 10 binary64) (*.f64 x x))))
289.0ms
x1
Compiler

Compiled 7 853 to 5 306 computations (32.4% saved)

series4.9s (3.6%)

Memory
695.0MiB live, 7 220.7MiB allocated; 1.9s collecting garbage
Counts
3 310 → 15 836
Calls

897 calls:

TimeVariablePointExpression
539.0ms
b
@0
((/ (+ (sqrt (+ (* (* -4 a) c) (* b b))) (neg b)) (+ a a)) (+ (sqrt (+ (* (* -4 a) c) (* b b))) (neg b)) (sqrt (+ (* (* -4 a) c) (* b b))) (+ (* (* -4 a) c) (* b b)) (* -4 a) -4 a c (* b b) b (neg b) (+ a a) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (neg b) a) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (* (sqrt (* (/ c a) -4)) 1/2) (sqrt (* (/ c a) -4)) (* (/ c a) -4) (/ c a) 1/2 (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (* (/ b a) -1/2) (neg (sqrt (* (/ c a) -1)))) (/ b a) -1/2 (neg (sqrt (* (/ c a) -1))) (sqrt (* (/ c a) -1)) (* (/ c a) -1) -1 (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* (+ (sqrt (* (/ a c) -4)) (/ (neg b) c)) c) (+ (sqrt (* (/ a c) -4)) (/ (neg b) c)) (sqrt (* (/ a c) -4)) (* (/ a c) -4) (/ a c) (/ (neg b) c) (* 2 a) 2)
72.0ms
n
@0
((* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (/ (* (- (exp i) 1) n) i) (* (- (exp i) 1) n) (- (exp i) 1) i n (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (- (pow (+ 1 (/ i n)) n) 1) (/ i n) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (* (/ (* (log (* (/ 1 n) i)) (* n n)) i) 100) (/ (* (log (* (/ 1 n) i)) (* n n)) i) (* (log (* (/ 1 n) i)) (* n n)) (log (* (/ 1 n) i)) (* (/ 1 n) i) (/ 1 n) 1 (* n n) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (* (* (- (exp (* (log (* (/ 1 n) i)) n)) 1) n) 100) i) (* (* (- (exp (* (log (* (/ 1 n) i)) n)) 1) n) 100) (* (- (exp (* (log (* (/ 1 n) i)) n)) 1) n) (- (exp (* (log (* (/ 1 n) i)) n)) 1) (* (log (* (/ 1 n) i)) n))
61.0ms
t
@0
((+ (* (+ 1 (* t 1/5000000000000000)) (+ 1 (* t 1/5000000000000000))) (- -1 (* 2 (* t 1/5000000000000000)))) (* (* (* t t) 1/5000000000000000) 1/5000000000000000) (* (* t t) 1/5000000000000000) (* t t) t 1/5000000000000000 (+ (* (+ 1 (* t 1/5000000000000000)) (+ 1 (* t 1/5000000000000000))) (- -1 (* 2 (* t 1/5000000000000000)))) (* (+ (cosh (* (log t) 2)) (sinh (* (log t) 2))) 1/25000000000000000000000000000000) (+ (cosh (* (log t) 2)) (sinh (* (log t) 2))) (cosh (* (log t) 2)) (* (log t) 2) (log t) 2 (sinh (* (log t) 2)) 1/25000000000000000000000000000000)
59.0ms
w
@0
((- (+ (/ 2 (* r r)) 3) (+ (* (* (+ (* -2 v) 3) 1/8) (/ (* (* r w) (* r w)) (- 1 v))) 9/2)) (+ (/ 2 (* r r)) 3) (/ 2 (* r r)) 2 (* r r) r 3 (+ (* (* (+ (* -2 v) 3) 1/8) (/ (* (* r w) (* r w)) (- 1 v))) 9/2) (* (+ (* -2 v) 3) 1/8) (* (- (/ 3/8 v) 1/4) v) (- (/ 3/8 v) 1/4) (/ 3/8 v) 3/8 v 1/4 (/ (* (* r w) (* r w)) (- 1 v)) (* (* r w) (* r w)) (* r w) w (- 1 v) 1 9/2 (- (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 9/2) (- (/ 2 (* r r)) (+ (* (* 1/4 (* r r)) (* w w)) 3/2)) (+ (* (* 1/4 (* r r)) (* w w)) 3/2) 3/2 (- (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* w (* w r)) r)) (- 1 v))) 9/2) (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* w (* w r)) r)) (- 1 v))) (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* w (* w r)) r)) (- 1 v)) (* (* (* (* w r) r) w) 1/4) (* (* (* w r) r) w) (* (* w r) r) (* w r) (- (- (+ 3 (/ 2 (* r r))) (/ (* (* (* (+ (* v -2) 3) 1/8) (* (* w w) r)) r) (- 1 v))) 9/2) (- (+ 3 (/ 2 (* r r))) (/ (* (* (* (+ (* v -2) 3) 1/8) (* (* w w) r)) r) (- 1 v))) (/ (* (* (* (+ (* v -2) 3) 1/8) (* (* w w) r)) r) (- 1 v)) (* (* (* (+ (* v -2) 3) 1/8) (* (* w w) r)) r) (* (* (+ (* v -2) 3) 1/8) (* (* w w) r)) (* (+ (* v -2) 3) 1/8) (+ (* v -2) 3) -2 1/8 (* (* w w) r) (* w w) (- 1 v) (- (- (+ 3 (/ 2 (* r r))) (/ (* (* (+ (* v -2) 3) 1/8) (* (* (* w r) r) w)) (- 1 v))) 9/2) (- (+ 3 (/ 2 (* r r))) (/ (* (* (+ (* v -2) 3) 1/8) (* (* (* w r) r) w)) (- 1 v))) (/ (* (* (+ (* v -2) 3) 1/8) (* (* (* w r) r) w)) (- 1 v)) (* (* (+ (* v -2) 3) 1/8) (* (* (* w r) r) w)))
53.0ms
x
@0
((* (sin (+ x (/ (PI) 2))) (pow (pow (exp 10) (fabs x)) (fabs x))) (sin (+ x (/ (PI) 2))) (+ x (/ (PI) 2)) x (/ (PI) 2) (PI) 2 (pow (pow (exp 10) (fabs x)) (fabs x)) (pow (exp 10) (fabs x)) (exp 10) 10 (fabs x) (* (cos x) (exp (* 10 (* x x)))) (cos x) (+ (* -1/2 (* x x)) 1) (* (* x x) -1/2) (* x x) -1/2 (exp (* 10 (* x x))) (* 10 (* x x)) (* (cos x) (exp (* (* 10 x) x))) (cos x) (+ (* (* (- (* (+ (* x 1/24) (* (* (* x x) -1/720) x)) x) 1/2) x) x) 1) (* (- (* (+ (* x 1/24) (* (* (* x x) -1/720) x)) x) 1/2) x) (- (* (+ (* x 1/24) (* (* (* x x) -1/720) x)) x) 1/2) (* (+ (* x 1/24) (* (* (* x x) -1/720) x)) x) (+ (* x 1/24) (* (* (* x x) -1/720) x)) 1/24 (* (* (* x x) -1/720) x) (* (* x x) -1/720) -1/720 1/2 1 (exp (* (* 10 x) x)) (* (* 10 x) x) (* 10 x) (* (cos x) (pow (exp x) (* x 10))) (cos x) (pow (exp x) (* x 10)) (exp x) (* x 10) (* (cos x) (pow (pow (exp (neg x)) (neg x)) 10)) (pow (pow (exp (neg x)) (neg x)) 10) (pow (exp (neg x)) (neg x)) (exp (neg x)) (neg x))

prune4.6s (3.4%)

Memory
2.5MiB live, 7 590.5MiB allocated; 1.0s collecting garbage
Counts
48 994 → 1 983
Compiler

Compiled 176 466 to 71 008 computations (59.8% saved)

analyze3.8s (2.8%)

Memory
-157.3MiB live, 4 337.4MiB allocated; 1.7s collecting garbage
Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
21.4%11.7%42.9%45.5%0%0%0%1
37.4%20.4%34.1%45.5%0%0%0%2
48.7%26.2%27.7%45.5%0%0.6%0%3
57.7%30.7%22.6%45.5%0%1.2%0%4
71.2%37.7%15.3%45.5%0%1.6%0%5
72.9%38.4%14.3%45.5%0%1.8%0%6
77.9%40.7%11.6%45.5%0%2.2%0%7
81.5%42.6%9.7%45.5%0%2.3%0%8
84.1%43.8%8.3%45.5%0%2.5%0%9
86.2%44.6%7.2%45.5%0%2.7%0%10
88.2%45.6%6.1%45.5%0%2.8%0%11
89.1%45.9%5.6%45.5%0%2.9%0%12
Compiler

Compiled 1 402 to 721 computations (48.6% saved)

bsearch3.2s (2.4%)

Memory
-83.6MiB live, 3 931.7MiB allocated; 496ms collecting garbage
Algorithm
215×binary-search
75×left-value
Stop Event
199×narrow-enough
15×predicate-same
1×predicate-failed
Samples
1.1s12 145×0valid
344.0ms1 281×1valid
330.0ms742×2valid
78.0ms1 363×0invalid
10.0ms24×3valid
8.0ms68×1exit
6.0ms67×0exit
Compiler

Compiled 179 372 to 87 368 computations (51.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3s
ival-mult!: 319.0ms (25.1% of total)
ival-pow: 267.0ms (21% of total)
ival-sub!: 212.0ms (16.7% of total)
ival-div!: 200.0ms (15.8% of total)
ival-add!: 84.0ms (6.6% of total)
adjust: 71.0ms (5.6% of total)
ival-neg: 59.0ms (4.6% of total)
ival-sqrt: 29.0ms (2.3% of total)
ival-exp: 23.0ms (1.8% of total)
ival-log1p: 4.0ms (0.3% of total)
ival-expm1: 2.0ms (0.2% of total)

start3.0ms (0%)

Memory
-43.1MiB live, 5.6MiB allocated; 1ms collecting garbage

end0.0ms (0%)

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

Profiling

Loading profile data...