Herbie run

Date:Tuesday, April 22nd, 2025
Commit:735e0dad on main
Seed:2025112
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 836.5 MB

Time bar (total: 4.6s)

sample3.4s (73.2%)

Memory
100.6MiB live, 1 888.3MiB allocated; 2.8s collecting garbage
Samples
1.4s5 771×2valid
1.1s10 388×1valid
204.0ms8 609×0valid
Precisions
Click to see histograms. Total time spent on operations: 1.8s
adjust: 1.2s (65.9% of total)
ival-add!: 383.0ms (21.2% of total)
ival-sub!: 171.0ms (9.5% of total)
ival-mult!: 62.0ms (3.4% of total)
Bogosity

rewrite689.0ms (15%)

Memory
36.8MiB live, 505.2MiB allocated; 44ms collecting garbage
Stop Event
23×iter-limit
5×node-limit
3×unsound
2×saturated
Counts
188 → 691

preprocess280.0ms (6.1%)

Memory
-78.6MiB live, 212.8MiB allocated; 80ms collecting garbage
Stop Event
3×node-limit
Compiler

Compiled 277 to 250 computations (9.7% saved)

eval74.0ms (1.6%)

Memory
17.2MiB live, 68.4MiB allocated; 18ms collecting garbage
Compiler

Compiled 4 534 to 2 143 computations (52.7% saved)

derivations73.0ms (1.6%)

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

Compiled 65 to 47 computations (27.7% saved)

regimes71.0ms (1.5%)

Memory
-26.1MiB live, 75.0MiB allocated; 4ms collecting garbage
Counts
35 → 11
Calls

8 calls:

18.0ms
z
13.0ms
x
13.0ms
(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))
10.0ms
(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))
10.0ms
(+.f64 x #s(literal 1 binary64))
Compiler

Compiled 138 to 109 computations (21% saved)

prune24.0ms (0.5%)

Memory
-17.5MiB live, 28.3MiB allocated; 3ms collecting garbage
Counts
688 → 29
Compiler

Compiled 340 to 292 computations (14.1% saved)

series19.0ms (0.4%)

Memory
21.5MiB live, 21.5MiB allocated; 0ms collecting garbage
Counts
54 → 134
Calls

36 calls:

TimeVariablePointExpression
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) (+ x x) (- (* (+ 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) (+ x x) (- (* (+ 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) (* (+ (/ 2 x) 1) (* x x)) (+ (/ 2 x) 1) (/ 2 x) 2 x 1 (* x x) (+ (* (- x -1) x) x) (- x -1) -1)
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) (+ x x) (- (* (+ 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 1)) 1) (* (+ (/ 2 x) 1) (* x x)) (+ (/ 2 x) 1) (/ 2 x) 2 x 1 (* x x) (+ (* (- x -1) x) x) (- x -1) -1)

analyze1.0ms (0%)

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