Herbie run

Date:Thursday, February 20th, 2025
Commit:87019920 on main
Seed:2025051
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 660.0 MB

Time bar (total: 6.3s)

sample4.3s (68%)

Memory
165.0MiB live, 2 619.7MiB allocated; 2.7s collecting garbage
Samples
1.5s5 722×2valid
1.4s10 392×1valid
612.0ms8 654×0valid
Precisions
Click to see histograms. Total time spent on operations: 1.9s
adjust: 956.0ms (51.1% of total)
ival-add: 588.0ms (31.5% of total)
ival-sub: 215.0ms (11.5% of total)
ival-mult: 90.0ms (4.8% of total)
exact: 13.0ms (0.7% of total)
ival-assert: 7.0ms (0.4% of total)
Bogosity

rewrite685.0ms (10.9%)

Memory
-116.7MiB live, 247.8MiB allocated; 83ms collecting garbage
Stop Event
23×iter limit
5×node limit
3×unsound
2×saturated
Counts
168 → 422

preprocess685.0ms (10.9%)

Memory
1.3MiB live, 372.0MiB allocated; 41ms collecting garbage
Stop Event
6×iter limit
6×node limit
Compiler

Compiled 521 to 289 computations (44.5% saved)

explain302.0ms (4.8%)

Memory
-19.1MiB live, 220.1MiB allocated; 25ms collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation2522
Confusion
Predicted +Predicted -
+2450
-7516
Precision
0.9722222222222222
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+24500
-72514
Precision?
0.9645669291338582
Recall?
1.0
Freqs
test
numberfreq
0516
1252
Total Confusion?
Predicted +Predicted MaybePredicted -
+200
-001
Precision?
1.0
Recall?
1.0
Samples
80.0ms388×2valid
61.0ms610×1valid
19.0ms538×0valid
Compiler

Compiled 159 to 63 computations (60.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 104.0ms
adjust: 53.0ms (51.1% of total)
ival-add: 31.0ms (29.9% of total)
ival-sub: 12.0ms (11.6% of total)
ival-mult: 6.0ms (5.8% of total)
ival-assert: 1.0ms (1% of total)
ival-true: 1.0ms (1% of total)
exact: 1.0ms (1% of total)

simplify126.0ms (2%)

Memory
9.2MiB live, 54.1MiB allocated; 4ms collecting garbage
Stop Event
3×node limit

derivations54.0ms (0.9%)

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

Compiled 125 to 43 computations (65.6% saved)

regimes51.0ms (0.8%)

Memory
-2.2MiB live, 46.5MiB allocated; 10ms collecting garbage
Counts
31 → 9
Calls

8 calls:

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

Compiled 116 to 83 computations (28.4% saved)

eval45.0ms (0.7%)

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

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

series30.0ms (0.5%)

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

36 calls:

TimeVariablePointExpression
14.0ms
x
@-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) (+ x 0)) (- x -1) x -1 (+ 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) (+ x 0)) (- x -1) x -1 (+ 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 -1) x) (+ x 0)) (- x -1) x -1 (+ 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)

prune22.0ms (0.4%)

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

Compiled 507 to 290 computations (42.8% saved)

analyze1.0ms (0%)

Memory
1.4MiB live, 1.4MiB 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.1MiB live, 0.1MiB allocated; 0ms collecting garbage

end0.0ms (0%)

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

Profiling

Loading profile data...