Herbie run

Date:Friday, April 11th, 2025
Commit:da42755e on chassis-platforms-cleanup-like-main
Seed:2025101
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:proofs
default
Memory:2 837.9 MB

Time bar (total: 4.7s)

sample3.3s (71.6%)

Memory
96.8MiB live, 1 887.8MiB allocated; 2.8s collecting garbage
Samples
1.1s10 295×1valid
1.0s5 842×2valid
213.0ms8 631×0valid
Precisions
Click to see histograms. Total time spent on operations: 1.5s
ival-add!: 558.0ms (36.3% of total)
adjust: 545.0ms (35.4% of total)
ival-mult!: 338.0ms (22% of total)
ival-sub!: 98.0ms (6.4% of total)
Bogosity

rewrite655.0ms (14%)

Memory
38.1MiB live, 396.0MiB allocated; 68ms collecting garbage
Stop Event
20×iter-limit
4×node-limit
3×unsound
2×saturated
Counts
154 → 424

preprocess265.0ms (5.7%)

Memory
-61.8MiB live, 151.8MiB allocated; 86ms collecting garbage
Stop Event
3×node-limit
Compiler

Compiled 480 to 296 computations (38.3% saved)

explain246.0ms (5.2%)

Memory
-1.2MiB live, 275.8MiB allocated; 24ms collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation2520
Confusion
Predicted +Predicted -
+2460
-6516
Precision
0.9761904761904762
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+24600
-60516
Precision?
0.9761904761904762
Recall?
1.0
Freqs
test
numberfreq
0516
1252
Total Confusion?
Predicted +Predicted MaybePredicted -
+200
-001
Precision?
1.0
Recall?
1.0
Samples
46.0ms672×1valid
45.0ms320×2valid
17.0ms544×0valid
Compiler

Compiled 159 to 63 computations (60.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 63.0ms
adjust: 31.0ms (49.1% of total)
ival-add!: 20.0ms (31.7% of total)
ival-sub!: 6.0ms (9.5% of total)
ival-mult!: 6.0ms (9.5% of total)

derivations54.0ms (1.1%)

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

Compiled 92 to 38 computations (58.7% saved)

regimes35.0ms (0.7%)

Memory
41.7MiB live, 41.7MiB 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 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))
6.0ms
(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))
1.0ms
z
Compiler

Compiled 100 to 74 computations (26% saved)

eval35.0ms (0.7%)

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

Compiled 6 379 to 1 300 computations (79.6% saved)

prune26.0ms (0.6%)

Memory
-73.4MiB live, 18.8MiB allocated; 6ms collecting garbage
Counts
419 → 19
Compiler

Compiled 400 to 220 computations (45% saved)

series16.0ms (0.3%)

Memory
15.4MiB live, 15.4MiB allocated; 0ms collecting garbage
Counts
43 → 111
Calls

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

analyze1.0ms (0%)

Memory
1.0MiB live, 1.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)

bsearch0.0ms (0%)

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

Compiled 12 to 9 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...