Herbie run

Date:Wednesday, April 16th, 2025
Commit:5565a39e on main
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:2 984.4 MB

Time bar (total: 5.0s)

sample3.5s (70.4%)

Memory
128.1MiB live, 1 865.8MiB allocated; 2.9s collecting garbage
Samples
1.0s5 718×2valid
973.0ms10 413×1valid
498.0ms8 637×0valid
Precisions
Click to see histograms. Total time spent on operations: 1.1s
adjust: 628.0ms (56.4% of total)
ival-add!: 314.0ms (28.2% of total)
ival-sub!: 106.0ms (9.5% of total)
ival-mult!: 67.0ms (6% of total)
Bogosity

rewrite728.0ms (14.7%)

Memory
2.1MiB live, 591.7MiB allocated; 86ms collecting garbage
Stop Event
24×iter-limit
4×node-limit
4×unsound
2×saturated
Counts
220 → 503

preprocess264.0ms (5.3%)

Memory
-91.8MiB live, 119.2MiB allocated; 41ms collecting garbage
Stop Event
3×node-limit
Compiler

Compiled 546 to 308 computations (43.6% saved)

explain262.0ms (5.3%)

Memory
13.4MiB live, 252.6MiB allocated; 23ms collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation2550
Confusion
Predicted +Predicted -
+2520
-3513
Precision
0.9882352941176471
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+25200
-30513
Precision?
0.9882352941176471
Recall?
1.0
Freqs
test
numberfreq
0513
1255
Total Confusion?
Predicted +Predicted MaybePredicted -
+200
-001
Precision?
1.0
Recall?
1.0
Samples
52.0ms658×1valid
43.0ms352×2valid
15.0ms526×0valid
Compiler

Compiled 159 to 63 computations (60.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 56.0ms
adjust: 30.0ms (53.7% of total)
ival-add!: 16.0ms (28.7% of total)
ival-sub!: 6.0ms (10.7% of total)
ival-mult!: 4.0ms (7.2% of total)

regimes71.0ms (1.4%)

Memory
-12.5MiB live, 47.9MiB allocated; 62ms collecting garbage
Counts
34 → 9
Calls

8 calls:

38.0ms
x
10.0ms
(+.f64 x #s(literal 1 binary64))
8.0ms
(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))
8.0ms
(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))
1.0ms
z
Compiler

Compiled 116 to 83 computations (28.4% saved)

derivations55.0ms (1.1%)

Memory
10.0MiB live, 10.0MiB allocated; 0ms collecting garbage
Stop Event
2×done
1×fuel
Compiler

Compiled 125 to 44 computations (64.8% saved)

eval44.0ms (0.9%)

Memory
49.9MiB live, 49.9MiB allocated; 0ms collecting garbage
Compiler

Compiled 7 496 to 1 512 computations (79.8% saved)

series24.0ms (0.5%)

Memory
-24.9MiB live, 22.7MiB allocated; 1ms collecting garbage
Counts
63 → 157
Calls

36 calls:

TimeVariablePointExpression
2.0ms
x
@-inf
((+ (* (- x -1) x) (+ x 0)) (- x -1) x -1 (+ x 0) 0 (- (* (+ x 1) (+ x 1)) 1) (* (+ x 1) (+ x 1)) 1 (- (* (+ x 1) (+ x 1)) 1) (* 2 x) 2 (- (* (+ x 1) (+ x 1)) 1) (* x x) (- (* (+ x 1) (+ x 1)) 1) (* (- x -2) x) (- x -2) -2)
2.0ms
x
@-inf
((- (* (+ x 1) (+ x 1)) 1) (+ x x) x (+ (* (- x -1) x) x) (- x -1) -1 (+ (* (/ (- (* x x) 1) (+ x -1)) x) (+ x 0)) (/ (- (* x x) 1) (+ x -1)) (- (* x x) 1) (* x x) 1 (+ x -1) (+ x 0) 0)
2.0ms
x
@inf
((- (* (+ x 1) (+ x 1)) 1) (+ x x) x (+ (* (- x -1) x) x) (- x -1) -1 (+ (* (/ (- (* x x) 1) (+ x -1)) x) (+ x 0)) (/ (- (* x x) 1) (+ x -1)) (- (* x x) 1) (* x x) 1 (+ x -1) (+ x 0) 0)
1.0ms
x
@0
((+ (* (- x -1) x) (+ x 0)) (- x -1) x -1 (+ x 0) 0 (- (* (+ x 1) (+ x 1)) 1) (* (+ x 1) (+ x 1)) 1 (- (* (+ x 1) (+ x 1)) 1) (* 2 x) 2 (- (* (+ x 1) (+ x 1)) 1) (* x x) (- (* (+ x 1) (+ x 1)) 1) (* (- x -2) x) (- x -2) -2)
1.0ms
x
@-inf
((+ (* (- x -1) x) x) (- x -1) x (+ (* (/ (- (* x x) 1) (+ x -1)) x) (+ x 0)) (/ (- (* x x) 1) (+ x -1)) (- (* x x) 1) -1 (+ x -1) (+ x 0) 0)

prune20.0ms (0.4%)

Memory
22.4MiB live, 22.4MiB allocated; 0ms collecting garbage
Counts
469 → 29
Compiler

Compiled 570 to 315 computations (44.7% saved)

analyze1.0ms (0%)

Memory
1.7MiB live, 1.7MiB allocated; 0ms collecting garbage
Algorithm
3×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 31 to 23 computations (25.8% saved)

bsearch1.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated; 0ms collecting garbage
Algorithm
2×left-value
Compiler

Compiled 24 to 18 computations (25% saved)

start0.0ms (0%)

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

end0.0ms (0%)

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

Profiling

Loading profile data...