Herbie run

Date:Wednesday, March 19th, 2025
Commit:0825233a on merge-improve-alternatives
Seed:2025078
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:4 448.2 MB

Time bar (total: 6.6s)

sample4.2s (63.8%)

Memory
94.1MiB live, 2 612.0MiB allocated; 2.9s collecting garbage
Samples
1.7s10 363×1valid
1.2s5 775×2valid
540.0ms8 630×0valid
Precisions
Click to see histograms. Total time spent on operations: 2.6s
adjust: 1.3s (49.2% of total)
ival-add: 1.0s (38.1% of total)
ival-sub: 224.0ms (8.5% of total)
ival-mult: 92.0ms (3.5% of total)
exact: 13.0ms (0.5% of total)
ival-assert: 8.0ms (0.3% of total)
Bogosity

rewrite847.0ms (12.8%)

Memory
-2.9MiB live, 577.2MiB allocated; 105ms collecting garbage
Stop Event
21×iter limit
6×node limit
2×saturated
2×unsound
Counts
298 → 859

preprocess763.0ms (11.5%)

Memory
72.9MiB live, 504.0MiB allocated; 108ms collecting garbage
Stop Event
6×iter limit
6×node limit
Compiler

Compiled 521 to 289 computations (44.5% saved)

explain305.0ms (4.6%)

Memory
-52.3MiB live, 296.1MiB allocated; 29ms collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation2541
Confusion
Predicted +Predicted -
+2451
-9513
Precision
0.9645669291338582
Recall
0.9959349593495935
Confusion?
Predicted +Predicted MaybePredicted -
+24510
-90513
Precision?
0.9647058823529412
Recall?
1.0
Freqs
test
numberfreq
0514
1254
Total Confusion?
Predicted +Predicted MaybePredicted -
+200
-001
Precision?
1.0
Recall?
1.0
Samples
71.0ms378×2valid
62.0ms616×1valid
36.0ms542×0valid
Compiler

Compiled 159 to 63 computations (60.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 118.0ms
adjust: 53.0ms (44.9% of total)
ival-add: 44.0ms (37.3% of total)
ival-sub: 13.0ms (11% of total)
ival-mult: 6.0ms (5.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)

simplify142.0ms (2.1%)

Memory
16.2MiB live, 146.0MiB allocated; 21ms collecting garbage
Stop Event
3×node limit

derivations104.0ms (1.6%)

Memory
-73.8MiB live, 43.5MiB allocated; 47ms collecting garbage
Stop Event
2×done
1×fuel
Compiler

Compiled 125 to 43 computations (65.6% saved)

eval101.0ms (1.5%)

Memory
-21.1MiB live, 117.5MiB allocated; 10ms collecting garbage
Compiler

Compiled 22 598 to 3 544 computations (84.3% saved)

series53.0ms (0.8%)

Memory
-15.9MiB live, 29.9MiB allocated; 5ms collecting garbage
Counts
71 → 227
Calls

36 calls:

TimeVariablePointExpression
25.0ms
x
@-inf
((- (+ 1 x) x) (+ 1 x) 1 x)
4.0ms
x
@-inf
((- (* (+ x 1) (+ x 1)) 1) (+ x x) x (- (/ (* (+ (* x x) -1) (- (pow x 3) -1)) (* (- x 1) (+ (* x (- x 1)) 1))) 1) (/ (* (+ (* x x) -1) (- (pow x 3) -1)) (* (- x 1) (+ (* x (- x 1)) 1))) (* (+ (* x x) -1) (- (pow x 3) -1)) (+ (* x x) -1) -1 (- (pow x 3) -1) (pow x 3) 3 (* (- x 1) (+ (* x (- x 1)) 1)) (- x 1) 1 (+ (* x (- x 1)) 1) (+ (* (- x -1) x) x) (- x -1))
2.0ms
x
@inf
((- (* (+ x 1) (+ x 1)) 1) (+ x x) x (- (/ (* (+ (* x x) -1) (- (pow x 3) -1)) (* (- x 1) (+ (* x (- x 1)) 1))) 1) (/ (* (+ (* x x) -1) (- (pow x 3) -1)) (* (- x 1) (+ (* x (- x 1)) 1))) (* (+ (* x x) -1) (- (pow x 3) -1)) (+ (* x x) -1) -1 (- (pow x 3) -1) (pow x 3) 3 (* (- x 1) (+ (* x (- x 1)) 1)) (- x 1) 1 (+ (* x (- x 1)) 1) (+ (* (- x -1) x) x) (- x -1))
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)
2.0ms
x
@-inf
((- (/ (* (+ (* x x) -1) (- (* (* x x) x) -1)) (* (- x 1) (+ (* x (- x 1)) 1))) 1) (/ (* (+ (* x x) -1) (- (* (* x x) x) -1)) (* (- x 1) (+ (* x (- x 1)) 1))) (* (+ (* x x) -1) (- (* (* x x) x) -1)) (+ (* x x) -1) x -1 (- (* (* x x) x) -1) (* (* x x) x) (* x x) (* (- x 1) (+ (* x (- x 1)) 1)) (- x 1) 1 (+ (* x (- x 1)) 1) (+ (* (- x -1) x) x) (- x -1))

regimes53.0ms (0.8%)

Memory
7.4MiB live, 58.6MiB allocated; 9ms collecting garbage
Counts
34 → 9
Calls

8 calls:

20.0ms
x
9.0ms
(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))
9.0ms
(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))
8.0ms
(+.f64 x #s(literal 1 binary64))
1.0ms
z
Compiler

Compiled 116 to 83 computations (28.4% saved)

prune36.0ms (0.5%)

Memory
13.9MiB live, 61.3MiB allocated; 1ms collecting garbage
Counts
986 → 30
Compiler

Compiled 709 to 381 computations (46.3% 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...