Herbie run

Date:Friday, February 14th, 2025
Commit:f63971dc on main
Seed:2025045
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 654.7 MB

Time bar (total: 11.8s)

sample7.7s (65%)

Memory
105.9MiB live, 2 580.0MiB allocated; 5.2s collecting garbage
Samples
2.4s10 422×1valid
2.1s5 708×2valid
699.0ms8 638×0valid
Precisions
Click to see histograms. Total time spent on operations: 3.9s
adjust: 1.7s (43.7% of total)
ival-add: 1.6s (40.1% of total)
ival-sub: 417.0ms (10.6% of total)
ival-mult: 187.0ms (4.8% of total)
exact: 20.0ms (0.5% of total)
ival-assert: 12.0ms (0.3% of total)
Bogosity

preprocess1.5s (12.5%)

Memory
5.1MiB live, 399.3MiB allocated; 150ms collecting garbage
Stop Event
6×iter limit
6×node limit
Compiler

Compiled 509 to 285 computations (44% saved)

rewrite1.5s (12.4%)

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

explain556.0ms (4.7%)

Memory
-11.6MiB live, 243.2MiB allocated; 57ms collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation2541
Confusion
Predicted +Predicted -
+2461
-8513
Precision
0.968503937007874
Recall
0.9959514170040485
Confusion?
Predicted +Predicted MaybePredicted -
+24601
-81512
Precision?
0.9647058823529412
Recall?
0.9959514170040485
Freqs
test
numberfreq
0514
1254
Total Confusion?
Predicted +Predicted MaybePredicted -
+201
-000
Precision?
1.0
Recall?
0.6666666666666666
Samples
136.0ms372×2valid
133.0ms630×1valid
30.0ms534×0valid
Compiler

Compiled 159 to 63 computations (60.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 202.0ms
adjust: 108.0ms (53.4% of total)
ival-add: 53.0ms (26.2% of total)
ival-sub: 27.0ms (13.3% of total)
ival-mult: 10.0ms (4.9% of total)
ival-true: 2.0ms (1% of total)
ival-assert: 1.0ms (0.5% of total)
exact: 1.0ms (0.5% of total)

simplify269.0ms (2.3%)

Memory
4.3MiB live, 49.6MiB allocated; 9ms collecting garbage
Stop Event
3×node limit

derivations130.0ms (1.1%)

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

Compiled 119 to 41 computations (65.5% saved)

regimes82.0ms (0.7%)

Memory
-10.6MiB live, 38.8MiB allocated; 21ms collecting garbage
Counts
25 → 8
Calls

8 calls:

34.0ms
(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))
14.0ms
x
11.0ms
(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))
9.0ms
(+.f64 x #s(literal 1 binary64))
2.0ms
y
Compiler

Compiled 96 to 70 computations (27.1% saved)

eval79.0ms (0.7%)

Memory
-5.4MiB live, 42.0MiB allocated; 3ms collecting garbage
Compiler

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

prune41.0ms (0.3%)

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

Compiled 507 to 290 computations (42.8% saved)

series34.0ms (0.3%)

Memory
-32.4MiB live, 13.7MiB allocated; 7ms collecting garbage
Counts
48 → 120
Calls

36 calls:

TimeVariablePointExpression
6.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)
4.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)
2.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 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)

analyze2.0ms (0%)

Memory
1.5MiB live, 1.5MiB 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.4MiB live, 0.4MiB 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...