Herbie run

Date:Thursday, February 6th, 2025
Commit:f63971dc on main
Seed:2025037
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 723.4 MB

Time bar (total: 6.3s)

sample4.3s (68%)

Memory
173.0MiB live, 2 690.4MiB allocated; 2.7s collecting garbage
Samples
1.7s10 525×1valid
1.5s5 635×2valid
334.0ms8 608×0valid
Precisions
Click to see histograms. Total time spent on operations: 2.3s
adjust: 1.3s (55.2% of total)
ival-add: 571.0ms (25.1% of total)
ival-sub: 337.0ms (14.8% of total)
ival-mult: 90.0ms (4% of total)
exact: 12.0ms (0.5% of total)
ival-assert: 8.0ms (0.4% of total)
Bogosity

preprocess696.0ms (11.1%)

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

Compiled 521 to 287 computations (44.9% saved)

rewrite630.0ms (10%)

Memory
52.2MiB live, 251.2MiB allocated; 36ms collecting garbage
Stop Event
23×iter limit
5×node limit
3×unsound
2×saturated
Counts
177 → 479

explain316.0ms (5%)

Memory
-16.1MiB live, 231.8MiB allocated; 48ms collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation2550
Confusion
Predicted +Predicted -
+2490
-6513
Precision
0.9764705882352941
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+24900
-60513
Precision?
0.9764705882352941
Recall?
1.0
Freqs
test
numberfreq
0513
1255
Total Confusion?
Predicted +Predicted MaybePredicted -
+200
-001
Precision?
1.0
Recall?
1.0
Samples
73.0ms658×1valid
68.0ms352×2valid
18.0ms526×0valid
Compiler

Compiled 159 to 63 computations (60.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 109.0ms
adjust: 59.0ms (54% of total)
ival-add: 30.0ms (27.5% of total)
ival-sub: 12.0ms (11% of total)
ival-mult: 5.0ms (4.6% of total)
ival-assert: 1.0ms (0.9% of total)
ival-true: 1.0ms (0.9% of total)
exact: 1.0ms (0.9% of total)

simplify119.0ms (1.9%)

Memory
43.2MiB live, 43.2MiB allocated; 0ms collecting garbage
Stop Event
3×node limit

regimes94.0ms (1.5%)

Memory
-45.8MiB live, 49.8MiB allocated; 14ms collecting garbage
Counts
33 → 9
Calls

8 calls:

54.0ms
x
17.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)))
8.0ms
(+.f64 x #s(literal 1 binary64))
1.0ms
y
Compiler

Compiled 116 to 83 computations (28.4% saved)

eval55.0ms (0.9%)

Memory
-42.0MiB live, 50.1MiB allocated; 7ms collecting garbage
Compiler

Compiled 7 625 to 1 442 computations (81.1% saved)

derivations53.0ms (0.8%)

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

Compiled 125 to 42 computations (66.4% saved)

prune25.0ms (0.4%)

Memory
33.5MiB live, 33.5MiB allocated; 0ms collecting garbage
Counts
534 → 30
Compiler

Compiled 555 to 312 computations (43.8% saved)

series17.0ms (0.3%)

Memory
13.6MiB live, 13.6MiB allocated; 0ms collecting garbage
Counts
49 → 128
Calls

36 calls:

TimeVariablePointExpression
2.0ms
x
@-inf
((+ (+ (* x x) x) (+ x 0)) (+ (* x x) x) x (+ 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 x) x) (+ x 0)) (+ (* x x) x) x (+ 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 x) x) (+ x 0)) (+ (* x x) x) x (+ 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) (+ (* x x) x) (+ (* (+ 1 x) x) x) (+ 1 x) 1)
1.0ms
x
@-inf
((- (* (+ x 1) (+ x 1)) 1) (* (+ x 1) (+ x 1)) (+ x 1) x 1)

analyze6.0ms (0.1%)

Memory
-35.4MiB live, 2.5MiB allocated; 11ms 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...