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:146 860.2 MB

Time bar (total: 2.4min)

sample1.6min (64.6%)

Memory
1 197.4MiB live, 94 459.2MiB allocated; 24.6s collecting garbage
Samples
25.7s44 583×2valid
16.9s96 832×1valid
14.5s146 313×0invalid
9.1s6 068×5exit
6.5s86 075×0valid
2.7s3 675×3valid
382.0ms4 209×0exit
132.0ms1 093×1exit
40.0ms8×4exit
7.0ms2×3exit
3.0ms3×4valid
Precisions
Click to see histograms. Total time spent on operations: 1.0min
ival-tan: 12.2s (19.7% of total)
ival-pow: 9.2s (14.9% of total)
adjust: 6.1s (9.8% of total)
ival-mult!: 4.9s (7.9% of total)
ival-cos: 4.2s (6.8% of total)
ival-log: 3.7s (6% of total)
ival-sin: 2.9s (4.7% of total)
ival-div!: 2.8s (4.4% of total)
ival-exp: 2.5s (4% of total)
ival-sub!: 2.3s (3.8% of total)
ival-add!: 2.1s (3.5% of total)
ival-expm1: 1.8s (2.8% of total)
ival-log1p: 1.5s (2.4% of total)
ival-fabs: 1.5s (2.4% of total)
ival-sqrt: 1.3s (2.1% of total)
ival-<: 737.0ms (1.2% of total)
ival-neg: 542.0ms (0.9% of total)
ival-atan: 492.0ms (0.8% of total)
ival-<=: 431.0ms (0.7% of total)
ival-and: 343.0ms (0.6% of total)
ival-cbrt: 268.0ms (0.4% of total)
ival-assert: 67.0ms (0.1% of total)
ival-fmin: 65.0ms (0.1% of total)
ival->: 1.0ms (0% of total)
Bogosity

rewrite19.0s (13%)

Memory
548.7MiB live, 18 833.5MiB allocated; 4.0s collecting garbage
Stop Event
261×iter-limit
104×node-limit
Counts
13 156 → 33 055

eval5.5s (3.8%)

Memory
-82.4MiB live, 7 313.0MiB allocated; 2.0s collecting garbage
Compiler

Compiled 1 335 166 to 158 651 computations (88.1% saved)

derivations5.4s (3.7%)

Memory
-23.7MiB live, 3 099.7MiB allocated; 440ms collecting garbage
Stop Event
21×fuel
7×done
Compiler

Compiled 8 254 to 1 592 computations (80.7% saved)

explain5.4s (3.7%)

Memory
-81.1MiB live, 6 171.4MiB allocated; 1.6s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation420935
log.f64#fsensitivity7632
/.f64#fu/u4270
sqrt.f64#foflow-rescue3560
+.f64#fcancellation3310
/.f64#fu/n1280
pow.f64(pow.f64 (+.f64 x #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) n))sensitivity630
/.f64(/.f64 (*.f64 eps (-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) #s(literal 1 binary64))) (*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64))))n/u190
↳(*.f64 b eps)underflow144
↳(-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64))underflow142
↳(-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64))underflow144
↳(*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64)))underflow236
↳(*.f64 a eps)underflow142
-.f64#fnan-rescue170
sqrt.f64#fuflow-rescue120
/.f64(/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (*.f64 x x))n/o30
↳(*.f64 x x)overflow64
*.f64#fn*u20
exp.f64(exp.f64 (*.f64 #s(literal 2 binary64) x))sensitivity10
Confusion
Predicted +Predicted -
+518416
-1311837
Precision
0.9753527751646284
Recall
0.9969230769230769
Confusion?
Predicted +Predicted MaybePredicted -
+5184160
-131191818
Precision?
0.9719626168224299
Recall?
1.0
Freqs
test
numberfreq
01853
14511
2651
394
459
Total Confusion?
Predicted +Predicted MaybePredicted -
+2800
-000
Precision?
1.0
Recall?
1.0
Samples
1.4s2 768×2valid
1.0s6 124×1valid
435.0ms5 236×0valid
106.0ms208×3valid
Compiler

Compiled 2 154 to 763 computations (64.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.4s
ival-tan: 604.0ms (25.1% of total)
adjust: 301.0ms (12.5% of total)
ival-log: 250.0ms (10.4% of total)
ival-cos: 186.0ms (7.7% of total)
ival-sin: 177.0ms (7.3% of total)
ival-exp: 142.0ms (5.9% of total)
ival-sqrt: 119.0ms (4.9% of total)
ival-div!: 118.0ms (4.9% of total)
ival-pow: 114.0ms (4.7% of total)
ival-expm1: 92.0ms (3.8% of total)
ival-mult!: 78.0ms (3.2% of total)
ival-sub!: 72.0ms (3% of total)
ival-log1p: 57.0ms (2.4% of total)
ival-add!: 50.0ms (2.1% of total)
ival-atan: 22.0ms (0.9% of total)
ival-cbrt: 16.0ms (0.7% of total)
ival-neg: 13.0ms (0.5% of total)

preprocess4.4s (3%)

Memory
-572.4MiB live, 3 886.2MiB allocated; 2.5s collecting garbage
Stop Event
26×node-limit
2×saturated
Compiler

Compiled 20 354 to 5 578 computations (72.6% saved)

series4.0s (2.8%)

Memory
311.7MiB live, 4 491.8MiB allocated; 1.5s collecting garbage
Counts
2 413 → 10 743
Calls

486 calls:

TimeVariablePointExpression
567.0ms
x
@-inf
((/ (exp x) (- (exp x) 1)) (+ (* (+ (* 1/12 x) 1/2) 1) (/ 1 x)) (+ (* 1/12 x) 1/2) 1/12 x 1/2 1 (/ 1 x) (/ (exp x) (- (exp x) 1)) (/ (+ (* 1/2 x) 1) x) (/ (exp x) (- (exp x) 1)) (- (/ 1 x) -1/2) -1/2 (/ (exp x) (- (exp x) 1)) (/ (* (- (/ 1 x) -1/2) x) x) (* (- (/ 1 x) -1/2) x) (/ (exp x) (- (exp x) 1)) (/ (+ (* (* (+ (* 1/12 x) 1/2) x) x) x) (* x x)) (+ (* (* (+ (* 1/12 x) 1/2) x) x) x) (* (+ (* 1/12 x) 1/2) x) (* x x))
120.0ms
N
@-inf
((log (+ 1 (* (pow N -1/2) (pow N -1/2)))) (* (pow N -1/2) (pow N -1/2)) (pow N -1/2) N -1/2 (- (log (+ N 1)) (log N)) (/ (- N 1/2) (* N N)) (- N 1/2) 1/2 (* N N) (- (log (- N -1)) (log N)) (log (- N -1)) (- N -1) -1 (log N) (log (+ 1 (exp (neg (log N))))) (exp (neg (log N))) (neg (log N)) (log (+ 1 (pow (exp -1) (log N)))) (pow (exp -1) (log N)) (exp -1))
99.0ms
c
@-inf
((/ (- (neg b) (sqrt (+ (* (* -4 a) c) (* b b)))) (+ a a)) (- (neg b) (sqrt (+ (* (* -4 a) c) (* b b)))) (neg b) b (sqrt (+ (* (* -4 a) c) (* b b))) (+ (* (* -4 a) c) (* b b)) (* -4 a) -4 a c (* b b) (+ a a) (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (neg (/ c b)) (/ c b) (/ (- (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)) (+ (* -1/2 (/ b a)) (sqrt (* (/ c a) -1))) (/ b a) (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))))) (* (- (/ (neg b) c) (sqrt (* (/ a c) -4))) c) (- (/ (neg b) c) (sqrt (* (/ a c) -4))) (/ (neg b) c) (sqrt (* (/ a c) -4)) (* (/ a c) -4) (/ a c) (* 2 a) 2)
89.0ms
N
@0
((log (+ 1 (* (pow N -1/2) (pow N -1/2)))) (* (pow N -1/2) (pow N -1/2)) (pow N -1/2) N -1/2 (- (log (+ N 1)) (log N)) (/ (- N 1/2) (* N N)) (- N 1/2) 1/2 (* N N) (- (log (- N -1)) (log N)) (log (- N -1)) (- N -1) -1 (log N) (log (+ 1 (exp (neg (log N))))) (exp (neg (log N))) (neg (log N)) (log (+ 1 (pow (exp -1) (log N)))) (pow (exp -1) (log N)) (exp -1))
88.0ms
eps
@-inf
((/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (/ (+ b a) (* b a)) (+ b a) b a (* b a) (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (/ 1 a) 1 (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (/ 1 b) (* eps (/ (- (exp (* (+ b a) eps)) 1) (* (- (exp (* b eps)) 1) (- (exp (* a eps)) 1)))) eps (/ (- (exp (* (+ b a) eps)) 1) (* (- (exp (* b eps)) 1) (- (exp (* a eps)) 1))) (- (exp (* (+ b a) eps)) 1) (* (+ b a) eps) (* (- (exp (* b eps)) 1) (- (exp (* a eps)) 1)) (- (exp (* b eps)) 1) (* b eps) (- (exp (* a eps)) 1) (* a eps) (* (/ eps (- (exp (* a eps)) 1)) (/ (- (exp (* (+ b a) eps)) 1) (- (exp (* b eps)) 1))) (/ eps (- (exp (* a eps)) 1)) (/ (- (exp (* (+ b a) eps)) 1) (- (exp (* b eps)) 1)))

prune2.4s (1.6%)

Memory
-89.9MiB live, 2 957.9MiB allocated; 1.1s collecting garbage
Counts
38 746 → 1 371
Compiler

Compiled 76 142 to 39 202 computations (48.5% saved)

regimes2.0s (1.4%)

Memory
13.2MiB live, 2 524.1MiB allocated; 507ms collecting garbage
Counts
2 500 → 311
Calls

43 calls:

431.0ms
x
184.0ms
eps
106.0ms
a
105.0ms
(/.f64 #s(literal 1 binary64) n)
103.0ms
b
Compiler

Compiled 1 775 to 1 667 computations (6.1% saved)

bsearch1.8s (1.3%)

Memory
-155.7MiB live, 1 586.8MiB allocated; 1.1s collecting garbage
Algorithm
102×binary-search
29×left-value
Stop Event
98×narrow-enough
4×predicate-same
Samples
543.0ms6 359×0valid
128.0ms558×2valid
123.0ms755×1valid
89.0ms1 411×0invalid
5.0ms24×3valid
2.0ms26×0exit
Compiler

Compiled 39 546 to 30 382 computations (23.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 604.0ms
ival-mult!: 256.0ms (42.4% of total)
ival-pow: 75.0ms (12.4% of total)
ival-sqrt: 59.0ms (9.8% of total)
ival-div!: 56.0ms (9.3% of total)
ival-neg: 46.0ms (7.6% of total)
adjust: 39.0ms (6.5% of total)
ival-sub!: 32.0ms (5.3% of total)
ival-add!: 17.0ms (2.8% of total)
ival-cos: 11.0ms (1.8% of total)
ival-expm1: 5.0ms (0.8% of total)
ival-exp: 4.0ms (0.7% of total)
ival-cbrt: 4.0ms (0.7% of total)

analyze1.5s (1.1%)

Memory
33.5MiB live, 1 534.5MiB allocated; 405ms collecting garbage
Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
7.4%4.5%56.6%38.9%0%0%0%1
22.3%13.6%47.5%38.9%0%0%0%2
40.2%23.5%34.9%38.9%0%2.7%0%3
53.4%31.1%27.2%38.9%0%2.8%0%4
63%36.3%21.3%38.9%0%3.6%0%5
65.9%37.5%19.4%38.9%0%4.2%0%6
70.4%38.8%16.3%38.9%0%6%0%7
73.6%40.2%14.4%38.9%0%6.5%0%8
76.3%40.9%12.7%38.9%0%7.5%0%9
78.4%41.4%11.4%38.9%0%8.3%0%10
81.1%42.4%9.9%38.9%0%8.8%0%11
82.3%42.7%9.2%38.9%0%9.3%0%12
Compiler

Compiled 483 to 337 computations (30.2% saved)

start1.0ms (0%)

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

end0.0ms (0%)

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

Profiling

Loading profile data...