Herbie run

Date:Wednesday, January 15th, 2025
Commit:d270acbc on main
Seed:2025015
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default
Memory:4 843.4 MB

Time bar (total: 8.6s)

sample4.5s (51.9%)

Memory
89.1MiB live, 2 541.9MiB allocated; 2.7s collecting garbage
Samples
1.8s10 429×1valid
1.6s5 681×2valid
268.0ms8 658×0valid
Precisions
Click to see histograms. Total time spent on operations: 2.5s
adjust: 1.2s (48.3% of total)
ival-add: 946.0ms (37.5% of total)
ival-sub: 228.0ms (9% of total)
ival-mult: 93.0ms (3.7% of total)
ival-true: 17.0ms (0.7% of total)
exact: 10.0ms (0.4% of total)
ival-assert: 9.0ms (0.4% of total)
Bogosity

simplify2.0s (22.7%)

Memory
-8.1MiB live, 1 030.3MiB allocated; 199ms collecting garbage
Stop Event
18×iter limit
16×node limit
4×saturated
Counts
61 → 54

preprocess658.0ms (7.6%)

Memory
54.5MiB live, 378.8MiB allocated; 39ms collecting garbage
Stop Event
6×iter limit
6×node limit
Compiler

Compiled 455 to 279 computations (38.7% saved)

rewrite592.0ms (6.9%)

Memory
-91.4MiB live, 298.6MiB allocated; 54ms collecting garbage
Stop Event
20×iter limit
4×node limit
3×unsound
2×saturated
Counts
28 → 342

explain360.0ms (4.2%)

Memory
17.5MiB live, 216.8MiB allocated; 20ms collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation2560
Confusion
Predicted +Predicted -
+2501
-6511
Precision
0.9765625
Recall
0.9960159362549801
Confusion?
Predicted +Predicted MaybePredicted -
+25001
-60511
Precision?
0.9765625
Recall?
0.9960159362549801
Freqs
test
numberfreq
0512
1256
Total Confusion?
Predicted +Predicted MaybePredicted -
+201
-000
Precision?
1.0
Recall?
0.6666666666666666
Samples
72.0ms680×1valid
65.0ms332×2valid
21.0ms524×0valid
Compiler

Compiled 159 to 63 computations (60.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 105.0ms
adjust: 52.0ms (49.4% of total)
ival-add: 31.0ms (29.5% of total)
ival-sub: 15.0ms (14.3% of total)
ival-mult: 6.0ms (5.7% of total)
ival-assert: 1.0ms (1% of total)
ival-true: 1.0ms (1% of total)
exact: 1.0ms (1% of total)

localize290.0ms (3.4%)

Memory
1.8MiB live, 227.8MiB allocated; 24ms collecting garbage
Samples
117.0ms381×2valid
91.0ms770×1valid
33.0ms641×0valid
Compiler

Compiled 199 to 71 computations (64.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 164.0ms
adjust: 90.0ms (54.8% of total)
ival-add: 37.0ms (22.5% of total)
ival-sub: 18.0ms (11% of total)
ival-mult: 16.0ms (9.7% of total)
ival-assert: 1.0ms (0.6% of total)
ival-true: 1.0ms (0.6% of total)
exact: 1.0ms (0.6% of total)

derivations174.0ms (2%)

Memory
-3.0MiB live, 43.5MiB allocated; 4ms collecting garbage
Stop Event
3×done
Compiler

Compiled 92 to 38 computations (58.7% saved)

eval46.0ms (0.5%)

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

Compiled 6 965 to 1 164 computations (83.3% saved)

regimes35.0ms (0.4%)

Memory
35.6MiB live, 35.6MiB allocated; 0ms collecting garbage
Counts
24 → 7
Calls

8 calls:

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

Compiled 100 to 74 computations (26% saved)

series24.0ms (0.3%)

Memory
-35.2MiB live, 11.2MiB allocated; 4ms collecting garbage
Counts
28 → 61
Calls

33 calls:

TimeVariablePointExpression
14.0ms
x
@inf
((+ x 0) (+ (* (- x -1) x) (+ x 0)) (- x -1) (- (* (+ x 1) (+ x 1)) 1) (* (+ x 1) (+ x 1)) (- (* (+ x 1) (+ x 1)) 1) (* 2 x) (- (* (+ x 1) (+ x 1)) 1) (* x x) (- (* (+ x 1) (+ x 1)) 1) (* (- x -2) x) (- x -2))
2.0ms
x
@-inf
((+ x 0) (+ (* (- x -1) x) (+ x 0)) (- x -1) (- (* (+ x 1) (+ x 1)) 1) (* (+ x 1) (+ x 1)) (- (* (+ x 1) (+ x 1)) 1) (* 2 x) (- (* (+ x 1) (+ x 1)) 1) (* x x) (- (* (+ x 1) (+ x 1)) 1) (* (- x -2) x) (- x -2))
1.0ms
x
@0
((+ x 0) (+ (* (- x -1) x) (+ x 0)) (- x -1) (- (* (+ x 1) (+ x 1)) 1) (* (+ x 1) (+ x 1)) (- (* (+ x 1) (+ x 1)) 1) (* 2 x) (- (* (+ x 1) (+ x 1)) 1) (* x x) (- (* (+ x 1) (+ x 1)) 1) (* (- x -2) x) (- x -2))
1.0ms
x
@inf
((- (* (+ x 1) (+ x 1)) 1) (+ x x) (+ (* (- x -1) x) x) (- x -1))
1.0ms
x
@-inf
((- (* (+ x 1) (+ x 1)) 1) (+ x x) (+ (* (- x -1) x) x) (- x -1))

prune16.0ms (0.2%)

Memory
22.5MiB live, 22.5MiB allocated; 0ms collecting garbage
Counts
344 → 19
Compiler

Compiled 425 to 242 computations (43.1% saved)

start3.0ms (0%)

Memory
-38.0MiB live, 0.2MiB allocated; 10ms collecting garbage

analyze1.0ms (0%)

Memory
0.9MiB live, 0.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)

bsearch0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated; 0ms collecting garbage
Algorithm
1×left-value
Compiler

Compiled 12 to 9 computations (25% saved)

end0.0ms (0%)

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

Profiling

Loading profile data...