Herbie run

Date:Wednesday, March 26th, 2025
Commit:a931ba94 on hardware-accelerators
Seed:2025085
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 290.9 MB

Time bar (total: 6.7s)

sample3.7s (54.2%)

Memory
70.7MiB live, 1 764.1MiB allocated; 2.8s collecting garbage
Samples
1.3s5 864×2valid
1.0s10 281×1valid
501.0ms8 623×0valid
Precisions
Click to see histograms. Total time spent on operations: 1.9s
adjust: 1.1s (60.9% of total)
ival-add!: 566.0ms (30.4% of total)
ival-sub!: 96.0ms (5.2% of total)
ival-mult!: 66.0ms (3.5% of total)
Bogosity

preprocess1.6s (24.1%)

Memory
19.5MiB live, 534.1MiB allocated; 55ms collecting garbage
Stop Event
6×iter limit
6×node limit
Compiler

Compiled 521 to 289 computations (44.5% saved)

rewrite818.0ms (12.1%)

Memory
8.2MiB live, 476.4MiB allocated; 109ms collecting garbage
Stop Event
23×iter limit
5×node limit
3×unsound
2×saturated
Counts
240 → 637

explain255.0ms (3.8%)

Memory
-27.5MiB live, 218.0MiB allocated; 38ms collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation2540
Confusion
Predicted +Predicted -
+2490
-5514
Precision
0.9803149606299213
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+24900
-50514
Precision?
0.9803149606299213
Recall?
1.0
Freqs
test
numberfreq
0514
1254
Total Confusion?
Predicted +Predicted MaybePredicted -
+200
-001
Precision?
1.0
Recall?
1.0
Samples
56.0ms642×1valid
43.0ms362×2valid
19.0ms532×0valid
Compiler

Compiled 159 to 63 computations (60.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 67.0ms
adjust: 42.0ms (62.7% of total)
ival-add!: 15.0ms (22.4% of total)
ival-sub!: 6.0ms (9% of total)
ival-mult!: 4.0ms (6% of total)

simplify129.0ms (1.9%)

Memory
-46.8MiB live, 46.7MiB allocated; 6ms collecting garbage
Stop Event
3×node limit

eval86.0ms (1.3%)

Memory
0.3MiB live, 95.2MiB allocated; 31ms collecting garbage
Compiler

Compiled 14 872 to 2 399 computations (83.9% saved)

derivations57.0ms (0.8%)

Memory
8.7MiB live, 8.7MiB allocated; 0ms collecting garbage
Stop Event
2×done
1×fuel
Compiler

Compiled 125 to 43 computations (65.6% saved)

regimes55.0ms (0.8%)

Memory
-0.1MiB live, 58.5MiB allocated; 9ms collecting garbage
Counts
35 → 9
Calls

8 calls:

22.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)

series36.0ms (0.5%)

Memory
-10.4MiB live, 32.4MiB allocated; 12ms collecting garbage
Counts
69 → 171
Calls

36 calls:

TimeVariablePointExpression
12.0ms
y
@-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 1)) 1) (* (/ (- (pow x 3) -8) (+ (* x x) (+ 4 (* x -2)))) x) (/ (- (pow x 3) -8) (+ (* x x) (+ 4 (* x -2)))) (- (pow x 3) -8) (pow x 3) x 3 -8 (+ (* x x) (+ 4 (* x -2))) (+ 4 (* x -2)) 4 (* x -2) -2 (- (* (+ x 1) (+ x 1)) 1) (+ x x) (+ (* (- x -1) x) x) (- x -1) -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 1) (+ x 1)) 1) (* (/ (- (pow x 3) -8) (+ (* x x) (+ 4 (* x -2)))) x) (/ (- (pow x 3) -8) (+ (* x x) (+ 4 (* x -2)))) (- (pow x 3) -8) (pow x 3) x 3 -8 (+ (* x x) (+ 4 (* x -2))) (+ 4 (* x -2)) 4 (* x -2) -2 (- (* (+ x 1) (+ x 1)) 1) (+ x x) (+ (* (- x -1) x) x) (- x -1) -1)
2.0ms
x
@-inf
((- (* (+ x 1) (+ x 1)) 1) (* (/ (- (pow x 3) -8) (+ (* x x) (+ 4 (* x -2)))) x) (/ (- (pow x 3) -8) (+ (* x x) (+ 4 (* x -2)))) (- (pow x 3) -8) (pow x 3) x 3 -8 (+ (* x x) (+ 4 (* x -2))) (* x x) (+ (* (- x -1) x) x) (- x -1))

prune28.0ms (0.4%)

Memory
55.5MiB live, 55.5MiB allocated; 0ms collecting garbage
Counts
708 → 30
Compiler

Compiled 745 to 409 computations (45.1% saved)

analyze1.0ms (0%)

Memory
0.8MiB live, 0.8MiB 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...