Herbie run

Date:Sunday, March 30th, 2025
Commit:2100b191 on main
Seed:2025089
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 492.4 MB

Time bar (total: 5.4s)

sample3.4s (62.9%)

Memory
91.3MiB live, 1 882.6MiB allocated; 2.8s collecting garbage
Samples
1.3s10 381×1valid
789.0ms5 791×2valid
469.0ms8 596×0valid
Precisions
Click to see histograms. Total time spent on operations: 1.2s
adjust: 637.0ms (55.1% of total)
ival-add!: 353.0ms (30.6% of total)
ival-sub!: 103.0ms (8.9% of total)
ival-mult!: 63.0ms (5.5% of total)
Bogosity

preprocess769.0ms (14.2%)

Memory
-40.2MiB live, 494.8MiB allocated; 88ms collecting garbage
Stop Event
6×node-limit
6×iter-limit
Compiler

Compiled 521 to 291 computations (44.1% saved)

rewrite735.0ms (13.6%)

Memory
65.3MiB live, 581.6MiB allocated; 84ms collecting garbage
Stop Event
23×iter-limit
5×node-limit
3×unsound
2×saturated
Counts
191 → 610

explain245.0ms (4.5%)

Memory
23.5MiB live, 255.8MiB allocated; 19ms collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation2530
Confusion
Predicted +Predicted -
+2480
-5515
Precision
0.9802371541501976
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+24800
-50515
Precision?
0.9802371541501976
Recall?
1.0
Freqs
test
numberfreq
0515
1253
Total Confusion?
Predicted +Predicted MaybePredicted -
+200
-001
Precision?
1.0
Recall?
1.0
Samples
48.0ms618×1valid
47.0ms382×2valid
18.0ms536×0valid
Compiler

Compiled 159 to 63 computations (60.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 57.0ms
adjust: 31.0ms (54.6% of total)
ival-add!: 16.0ms (28.2% of total)
ival-sub!: 6.0ms (10.6% of total)
ival-mult!: 4.0ms (7.1% of total)

eval101.0ms (1.9%)

Memory
-11.0MiB live, 95.3MiB allocated; 60ms collecting garbage
Compiler

Compiled 9 480 to 1 793 computations (81.1% saved)

derivations57.0ms (1.1%)

Memory
34.4MiB live, 34.4MiB allocated; 0ms collecting garbage
Stop Event
3×done
Compiler

Compiled 125 to 44 computations (64.8% saved)

regimes48.0ms (0.9%)

Memory
16.9MiB live, 62.2MiB allocated; 4ms collecting garbage
Counts
34 → 9
Calls

8 calls:

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

Compiled 116 to 83 computations (28.4% saved)

prune33.0ms (0.6%)

Memory
-83.7MiB live, 52.9MiB allocated; 11ms collecting garbage
Counts
679 → 30
Compiler

Compiled 557 to 314 computations (43.6% saved)

series19.0ms (0.3%)

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

analyze1.0ms (0%)

Memory
1.1MiB live, 1.1MiB 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.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...