Herbie run

Date:Sunday, April 20th, 2025
Commit:db13855b on artem-rules-updates
Seed:2025110
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 821.0 MB

Time bar (total: 4.8s)

sample3.5s (73.9%)

Memory
107.4MiB live, 1 861.8MiB allocated; 2.9s collecting garbage
Samples
1.1s10 256×1valid
1.1s5 898×2valid
304.0ms8 614×0valid
Precisions
Click to see histograms. Total time spent on operations: 1.5s
adjust: 641.0ms (41.9% of total)
ival-add!: 633.0ms (41.3% of total)
ival-sub!: 191.0ms (12.5% of total)
ival-mult!: 66.0ms (4.3% of total)
Bogosity

rewrite660.0ms (13.8%)

Memory
164.9MiB live, 492.3MiB allocated; 25ms collecting garbage
Stop Event
22×iter-limit
6×node-limit
2×saturated
2×unsound
Counts
192 → 753

preprocess295.0ms (6.2%)

Memory
-19.8MiB live, 218.8MiB allocated; 90ms collecting garbage
Stop Event
3×node-limit
Compiler

Compiled 276 to 249 computations (9.8% saved)

derivations88.0ms (1.8%)

Memory
-8.8MiB live, 32.6MiB allocated; 14ms collecting garbage
Stop Event
2×done
1×fuel
Compiler

Compiled 64 to 46 computations (28.1% saved)

eval85.0ms (1.8%)

Memory
-21.1MiB live, 77.6MiB allocated; 27ms collecting garbage
Compiler

Compiled 5 123 to 2 466 computations (51.9% saved)

regimes67.0ms (1.4%)

Memory
-16.3MiB live, 80.6MiB allocated; 5ms collecting garbage
Counts
32 → 10
Calls

8 calls:

19.0ms
z
16.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))
Compiler

Compiled 120 to 96 computations (20% saved)

prune33.0ms (0.7%)

Memory
-59.1MiB live, 33.9MiB allocated; 6ms collecting garbage
Counts
751 → 30
Compiler

Compiled 417 to 356 computations (14.6% saved)

series20.0ms (0.4%)

Memory
21.8MiB live, 21.8MiB allocated; 0ms collecting garbage
Counts
55 → 137
Calls

36 calls:

TimeVariablePointExpression
2.0ms
x
@0
((- (* (+ x 1) (+ x 1)) 1) (* (* (- (/ 2 x) -1) x) x) (* (- (/ 2 x) -1) x) (- (/ 2 x) -1) (/ 2 x) 2 x -1 (- (* (+ x 1) (+ x 1)) 1) (+ (* x 2) (* x x)) (* x x))
1.0ms
x
@-inf
((- (* (+ x 1) (+ x 1)) 1) (* (* (- (/ 2 x) -1) x) x) (* (- (/ 2 x) -1) x) (- (/ 2 x) -1) (/ 2 x) 2 x -1 (- (* (+ x 1) (+ x 1)) 1) (+ (* x 2) (* x x)) (* x x))
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) (+ x x) (- (* (+ 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) (+ x x) (- (* (+ 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) (+ x x) (- (* (+ x 1) (+ x 1)) 1) (* x x) (+ (* (- x -1) (- x -1)) -1) (- x -1) -1)

analyze1.0ms (0%)

Memory
1.3MiB live, 1.3MiB 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.4MiB live, 0.4MiB allocated; 0ms collecting garbage
Algorithm
2×left-value
Compiler

Compiled 22 to 18 computations (18.2% 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...