Herbie run

Date:Thursday, April 24th, 2025
Commit:d5acc5eb on main
Seed:2025114
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 744.8 MB

Time bar (total: 4.5s)

sample3.2s (72.6%)

Memory
94.6MiB live, 1 830.5MiB allocated; 2.7s collecting garbage
Samples
1.1s5 801×2valid
731.0ms10 360×1valid
458.0ms8 607×0valid
Precisions
Click to see histograms. Total time spent on operations: 1.1s
adjust: 565.0ms (49.8% of total)
ival-add!: 373.0ms (32.9% of total)
ival-sub!: 134.0ms (11.8% of total)
ival-mult!: 63.0ms (5.6% of total)
Bogosity

rewrite716.0ms (16%)

Memory
122.8MiB live, 569.8MiB allocated; 69ms collecting garbage
Stop Event
23×iter-limit
5×node-limit
3×unsound
2×saturated
Counts
199 → 648

preprocess277.0ms (6.2%)

Memory
-53.9MiB live, 167.8MiB allocated; 92ms collecting garbage
Stop Event
3×node-limit
Compiler

Compiled 268 to 243 computations (9.3% saved)

eval71.0ms (1.6%)

Memory
-34.2MiB live, 62.9MiB allocated; 23ms collecting garbage
Compiler

Compiled 4 968 to 2 457 computations (50.5% saved)

derivations64.0ms (1.4%)

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

Compiled 56 to 40 computations (28.6% saved)

regimes50.0ms (1.1%)

Memory
-40.4MiB live, 49.2MiB allocated; 10ms collecting garbage
Counts
22 → 8
Calls

8 calls:

13.0ms
x
12.0ms
(-.f64 (+.f64 #s(literal 1 binary64) x) x)
7.0ms
(+.f64 x #s(literal 1 binary64))
6.0ms
(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))
6.0ms
(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))
Compiler

Compiled 106 to 87 computations (17.9% saved)

prune25.0ms (0.6%)

Memory
-23.8MiB live, 25.6MiB allocated; 11ms collecting garbage
Counts
640 → 25
Compiler

Compiled 364 to 313 computations (14% saved)

series22.0ms (0.5%)

Memory
23.4MiB live, 23.4MiB allocated; 0ms collecting garbage
Counts
57 → 142
Calls

36 calls:

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

analyze1.0ms (0%)

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

Compiled 11 to 9 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...