Herbie run

Date:Sunday, March 23rd, 2025
Commit:d4169ed9 on autofix-21-1
Seed:2025082
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionsreduce:simplifysetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default
Memory:3 118.2 MB

Time bar (total: 5.6s)

sample3.6s (63.9%)

Memory
44.7MiB live, 1 863.7MiB allocated; 3.0s collecting garbage
Samples
1.1s5 733×2valid
1.1s10 432×1valid
592.0ms8 603×0valid
Precisions
Click to see histograms. Total time spent on operations: 1.1s
adjust: 537.0ms (47% of total)
ival-add!: 405.0ms (35.5% of total)
ival-mult!: 103.0ms (9% of total)
ival-sub!: 96.0ms (8.4% of total)
Bogosity

preprocess732.0ms (13.1%)

Memory
6.4MiB live, 472.0MiB allocated; 68ms collecting garbage
Stop Event
6×iter limit
6×node limit
Compiler

Compiled 521 to 289 computations (44.5% saved)

rewrite706.0ms (12.6%)

Memory
-78.6MiB live, 268.7MiB allocated; 94ms collecting garbage
Stop Event
23×iter limit
5×node limit
3×unsound
2×saturated
Counts
168 → 422

explain248.0ms (4.4%)

Memory
-0.9MiB live, 283.9MiB allocated; 29ms collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation2530
Confusion
Predicted +Predicted -
+2470
-6515
Precision
0.9762845849802372
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+24700
-60515
Precision?
0.9762845849802372
Recall?
1.0
Freqs
test
numberfreq
0515
1253
Total Confusion?
Predicted +Predicted MaybePredicted -
+200
-001
Precision?
1.0
Recall?
1.0
Samples
48.0ms634×1valid
47.0ms366×2valid
14.0ms536×0valid
Compiler

Compiled 159 to 63 computations (60.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 56.0ms
adjust: 29.0ms (51.9% of total)
ival-add!: 17.0ms (30.4% of total)
ival-sub!: 6.0ms (10.7% of total)
ival-mult!: 4.0ms (7.2% of total)

simplify140.0ms (2.5%)

Memory
11.9MiB live, 57.3MiB allocated; 4ms collecting garbage
Stop Event
3×node limit

derivations65.0ms (1.2%)

Memory
-27.9MiB live, 16.2MiB allocated; 9ms collecting garbage
Stop Event
3×done
Compiler

Compiled 125 to 43 computations (65.6% saved)

regimes45.0ms (0.8%)

Memory
14.9MiB live, 60.4MiB allocated; 4ms collecting garbage
Counts
31 → 9
Calls

8 calls:

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

Compiled 116 to 83 computations (28.4% saved)

eval41.0ms (0.7%)

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

Compiled 7 134 to 1 342 computations (81.2% saved)

prune22.0ms (0.4%)

Memory
31.0MiB live, 31.0MiB allocated; 0ms collecting garbage
Counts
480 → 26
Compiler

Compiled 507 to 290 computations (42.8% saved)

series16.0ms (0.3%)

Memory
14.7MiB live, 14.7MiB allocated; 0ms collecting garbage
Counts
48 → 120
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)
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 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 1)) 1) (* (+ x 1) (+ x 1)) (+ x 1) x 1)
1.0ms
x
@-inf
((- (* (+ x 1) (+ x 1)) 1) (+ x x) x (+ (* (- x -1) x) x) (- x -1) -1)

analyze1.0ms (0%)

Memory
1.9MiB live, 1.9MiB 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.7MiB live, 0.7MiB allocated; 0ms collecting garbage
Algorithm
2×left-value
Compiler

Compiled 24 to 18 computations (25% saved)

start0.0ms (0%)

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

end0.0ms (0%)

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

Profiling

Loading profile data...