Herbie run

Date:Sunday, May 11th, 2025
Commit:32d50127 on autofix-28-1
Seed:2025131
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 430.8 MB

Time bar (total: 4.4s)

sample3.4s (77.1%)

Memory
91.6MiB live, 1 926.2MiB allocated; 2.8s collecting garbage
Samples
1.6s10 364×1valid
818.0ms5 810×2valid
262.0ms8 594×0valid
Precisions
Click to see histograms. Total time spent on operations: 1.8s
adjust: 680.0ms (37.4% of total)
ival-add!: 617.0ms (33.9% of total)
ival-sub!: 462.0ms (25.4% of total)
ival-mult!: 60.0ms (3.3% of total)
Bogosity

rewrite589.0ms (13.2%)

Memory
-2.2MiB live, 236.6MiB allocated; 63ms collecting garbage
Stop Event
20×iter-limit
4×node-limit
3×unsound
2×saturated
Counts
113 → 375

preprocess268.0ms (6%)

Memory
14.1MiB live, 147.4MiB allocated; 20ms collecting garbage
Stop Event
3×node-limit
Compiler

Compiled 268 to 244 computations (9% saved)

derivations58.0ms (1.3%)

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

Compiled 56 to 41 computations (26.8% saved)

regimes42.0ms (0.9%)

Memory
-0.1MiB live, 46.9MiB allocated; 3ms collecting garbage
Counts
22 → 8
Calls

8 calls:

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

Compiled 106 to 87 computations (17.9% saved)

eval32.0ms (0.7%)

Memory
-17.8MiB live, 30.6MiB allocated; 2ms collecting garbage
Compiler

Compiled 2 491 to 1 163 computations (53.3% saved)

series16.0ms (0.4%)

Memory
14.2MiB live, 14.2MiB allocated; 0ms collecting garbage
Counts
49 → 64
Calls

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

prune14.0ms (0.3%)

Memory
15.8MiB live, 15.8MiB allocated; 0ms collecting garbage
Counts
328 → 21
Compiler

Compiled 296 to 259 computations (12.5% saved)

analyze1.0ms (0%)

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