Herbie run

Date:Tuesday, April 1st, 2025
Commit:1da4fb0e on main
Seed:2025091
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 284.2 MB

Time bar (total: 5.4s)

sample3.4s (63.7%)

Memory
118.2MiB live, 1 872.6MiB allocated; 2.7s collecting garbage
Samples
1.0s10 333×1valid
768.0ms5 828×2valid
571.0ms8 607×0valid
Precisions
Click to see histograms. Total time spent on operations: 1.3s
adjust: 546.0ms (42.1% of total)
ival-sub!: 372.0ms (28.7% of total)
ival-add!: 315.0ms (24.3% of total)
ival-mult!: 63.0ms (4.9% of total)
Bogosity

preprocess775.0ms (14.4%)

Memory
11.0MiB live, 519.6MiB allocated; 69ms collecting garbage
Stop Event
6×node-limit
6×iter-limit
Compiler

Compiled 443 to 275 computations (37.9% saved)

rewrite717.0ms (13.3%)

Memory
-58.7MiB live, 385.3MiB allocated; 122ms collecting garbage
Stop Event
19×iter-limit
5×node-limit
2×saturated
2×unsound
Counts
151 → 650

explain239.0ms (4.4%)

Memory
28.3MiB live, 260.1MiB allocated; 19ms collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation2530
Confusion
Predicted +Predicted -
+2470
-6515
Precision
0.9762845849802372
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+24700
-60515
Precision?
0.9762845849802372
Recall?
1.0
Freqs
test
numberfreq
0515
1253
Total Confusion?
Predicted +Predicted MaybePredicted -
+200
-001
Precision?
1.0
Recall?
1.0
Samples
56.0ms658×1valid
43.0ms344×2valid
15.0ms534×0valid
Compiler

Compiled 159 to 63 computations (60.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 62.0ms
adjust: 31.0ms (49.7% of total)
ival-add!: 18.0ms (28.9% of total)
ival-mult!: 8.0ms (12.8% of total)
ival-sub!: 6.0ms (9.6% of total)

eval72.0ms (1.3%)

Memory
48.5MiB live, 94.2MiB allocated; 6ms collecting garbage
Compiler

Compiled 12 212 to 1 999 computations (83.6% saved)

derivations54.0ms (1%)

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

Compiled 86 to 36 computations (58.1% saved)

series39.0ms (0.7%)

Memory
-18.9MiB live, 36.1MiB allocated; 16ms collecting garbage
Counts
44 → 107
Calls

33 calls:

TimeVariablePointExpression
13.0ms
y
@inf
((- (+ (+ x y) z) (+ x (+ y z))) (+ (+ x y) z) (+ x y) x y z (+ x (+ y z)) (+ y z))
11.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) (* (- x -2) x) (- x -2) x -2 (- (* (+ 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 -1) -1)
1.0ms
x
@0
((- (* (+ x 1) (+ x 1)) 1) (* (- x -2) x) (- x -2) x -2 (- (* (+ 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 -1) -1)
1.0ms
x
@inf
((- (* (+ x 1) (+ x 1)) 1) (* (- x -2) x) (- x -2) x -2 (- (* (+ 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 -1) -1)

regimes37.0ms (0.7%)

Memory
-4.5MiB live, 39.8MiB allocated; 7ms collecting garbage
Counts
19 → 6
Calls

8 calls:

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

Compiled 80 to 61 computations (23.8% saved)

prune26.0ms (0.5%)

Memory
11.1MiB live, 58.4MiB allocated; 1ms collecting garbage
Counts
731 → 19
Compiler

Compiled 455 to 247 computations (45.7% saved)

analyze1.0ms (0%)

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