Herbie run

Date:Saturday, April 5th, 2025
Commit:f7a7cb35 on main
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:2 871.4 MB

Time bar (total: 4.7s)

sample3.4s (71.1%)

Memory
62.3MiB live, 1 907.7MiB allocated; 2.9s collecting garbage
Samples
1.4s10 441×1valid
962.0ms5 726×2valid
208.0ms8 601×0valid
Precisions
Click to see histograms. Total time spent on operations: 2.0s
adjust: 895.0ms (45.2% of total)
ival-add!: 574.0ms (29% of total)
ival-sub!: 452.0ms (22.8% of total)
ival-mult!: 60.0ms (3% of total)
Bogosity

rewrite647.0ms (13.7%)

Memory
76.8MiB live, 406.3MiB allocated; 52ms collecting garbage
Stop Event
19×iter-limit
5×node-limit
2×saturated
2×unsound
Counts
131 → 458

explain261.0ms (5.5%)

Memory
19.1MiB live, 300.2MiB allocated; 46ms collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation2500
Confusion
Predicted +Predicted -
+2461
-4517
Precision
0.984
Recall
0.9959514170040485
Confusion?
Predicted +Predicted MaybePredicted -
+24601
-40517
Precision?
0.984
Recall?
0.9959514170040485
Freqs
test
numberfreq
0518
1250
Total Confusion?
Predicted +Predicted MaybePredicted -
+200
-001
Precision?
1.0
Recall?
1.0
Samples
63.0ms350×2valid
44.0ms650×1valid
15.0ms536×0valid
Compiler

Compiled 159 to 63 computations (60.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 75.0ms
adjust: 29.0ms (38.5% of total)
ival-sub!: 26.0ms (34.5% of total)
ival-add!: 16.0ms (21.2% of total)
ival-mult!: 4.0ms (5.3% of total)

preprocess256.0ms (5.4%)

Memory
-1.8MiB live, 137.4MiB allocated; 10ms collecting garbage
Stop Event
3×node-limit
Compiler

Compiled 468 to 292 computations (37.6% saved)

derivations81.0ms (1.7%)

Memory
-51.1MiB live, 7.6MiB allocated; 61ms collecting garbage
Stop Event
3×done
Compiler

Compiled 86 to 36 computations (58.1% saved)

eval51.0ms (1.1%)

Memory
-43.2MiB live, 47.9MiB allocated; 11ms collecting garbage
Compiler

Compiled 8 145 to 1 457 computations (82.1% saved)

regimes27.0ms (0.6%)

Memory
31.5MiB live, 31.5MiB allocated; 0ms collecting garbage
Counts
17 → 6
Calls

8 calls:

7.0ms
x
5.0ms
(+.f64 x #s(literal 1 binary64))
4.0ms
(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))
4.0ms
(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))
1.0ms
z
Compiler

Compiled 80 to 61 computations (23.8% saved)

series20.0ms (0.4%)

Memory
-31.7MiB live, 11.9MiB allocated; 7ms collecting garbage
Counts
37 → 94
Calls

33 calls:

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

prune18.0ms (0.4%)

Memory
19.1MiB live, 19.1MiB allocated; 0ms collecting garbage
Counts
492 → 16
Compiler

Compiled 306 to 168 computations (45.1% saved)

analyze1.0ms (0%)

Memory
1.3MiB live, 1.3MiB 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)

bsearch0.0ms (0%)

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

Compiled 12 to 9 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...