Herbie run

Date:Wednesday, March 5th, 2025
Commit:141e80a8 on main
Seed:2025064
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 655.1 MB

Time bar (total: 6.3s)

sample4.3s (68.1%)

Memory
87.0MiB live, 2 610.3MiB allocated; 2.9s collecting garbage
Samples
1.3s10 468×1valid
1.3s5 638×2valid
651.0ms8 662×0valid
Precisions
Click to see histograms. Total time spent on operations: 2.2s
adjust: 1.2s (52.1% of total)
ival-add: 564.0ms (25.4% of total)
ival-sub: 299.0ms (13.5% of total)
ival-mult: 183.0ms (8.2% of total)
exact: 12.0ms (0.5% of total)
ival-assert: 8.0ms (0.4% of total)
Bogosity

preprocess712.0ms (11.2%)

Memory
-10.7MiB live, 381.6MiB allocated; 91ms collecting garbage
Stop Event
6×iter limit
6×node limit
Compiler

Compiled 509 to 285 computations (44% saved)

rewrite649.0ms (10.2%)

Memory
32.8MiB live, 227.4MiB allocated; 34ms collecting garbage
Stop Event
23×iter limit
5×node limit
3×unsound
2×saturated
Counts
168 → 422

explain310.0ms (4.9%)

Memory
1.0MiB live, 247.5MiB allocated; 33ms collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation2560
Confusion
Predicted +Predicted -
+2490
-7512
Precision
0.97265625
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+24900
-70512
Precision?
0.97265625
Recall?
1.0
Freqs
test
numberfreq
0512
1256
Total Confusion?
Predicted +Predicted MaybePredicted -
+200
-001
Precision?
1.0
Recall?
1.0
Samples
78.0ms366×2valid
78.0ms638×1valid
19.0ms532×0valid
Compiler

Compiled 159 to 63 computations (60.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 122.0ms
adjust: 53.0ms (43.3% of total)
ival-add: 49.0ms (40.1% of total)
ival-sub: 12.0ms (9.8% of total)
ival-mult: 5.0ms (4.1% of total)
ival-assert: 1.0ms (0.8% of total)
ival-true: 1.0ms (0.8% of total)
exact: 1.0ms (0.8% of total)

simplify129.0ms (2%)

Memory
-2.2MiB live, 43.8MiB allocated; 4ms collecting garbage
Stop Event
3×node limit

derivations58.0ms (0.9%)

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

Compiled 119 to 41 computations (65.5% saved)

regimes55.0ms (0.9%)

Memory
-8.9MiB live, 42.2MiB allocated; 11ms collecting garbage
Counts
25 → 8
Calls

8 calls:

27.0ms
(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))
8.0ms
x
6.0ms
(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))
5.0ms
(+.f64 x #s(literal 1 binary64))
1.0ms
z
Compiler

Compiled 96 to 70 computations (27.1% saved)

eval50.0ms (0.8%)

Memory
-0.3MiB live, 46.0MiB allocated; 3ms collecting garbage
Compiler

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

series32.0ms (0.5%)

Memory
-33.4MiB live, 13.3MiB allocated; 3ms collecting garbage
Counts
48 → 120
Calls

36 calls:

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

prune24.0ms (0.4%)

Memory
-16.6MiB live, 30.5MiB allocated; 1ms collecting garbage
Counts
480 → 26
Compiler

Compiled 507 to 290 computations (42.8% saved)

analyze1.0ms (0%)

Memory
2.0MiB live, 2.0MiB 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.3MiB live, 0.3MiB allocated; 0ms collecting garbage

end0.0ms (0%)

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

Profiling

Loading profile data...