Herbie run

Date:Thursday, May 29th, 2025
Commit:3faf5b03 on fighting-unsoundness
Seed:2025149
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:3 651.1 MB

Time bar (total: 5.6s)

sample3.5s (62.3%)

Memory
99.8MiB live, 2 030.3MiB allocated; 2.6s collecting garbage
Samples
1.3s10 364×1valid
778.0ms5 789×2valid
398.0ms8 615×0valid
Precisions
Click to see histograms. Total time spent on operations: 1.3s
ival-add!: 555.0ms (44.2% of total)
adjust: 540.0ms (43% of total)
ival-sub!: 100.0ms (8% of total)
ival-mult!: 59.0ms (4.7% of total)
Bogosity

rewrite1.5s (26.8%)

Memory
8.5MiB live, 1 177.1MiB allocated; 171ms collecting garbage
Stop Event
9×saturated
7×node-limit
5×iter-limit
Counts
36 → 1 461

preprocess293.0ms (5.3%)

Memory
-54.9MiB live, 123.0MiB allocated; 28ms collecting garbage
Stop Event
3×node-limit
Compiler

Compiled 248 to 233 computations (6% saved)

eval151.0ms (2.7%)

Memory
-29.4MiB live, 173.2MiB allocated; 78ms collecting garbage
Compiler

Compiled 7 824 to 3 336 computations (57.4% saved)

derivations76.0ms (1.4%)

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

Compiled 36 to 30 computations (16.7% saved)

regimes30.0ms (0.5%)

Memory
46.6MiB live, 46.6MiB allocated; 0ms collecting garbage
Counts
18 → 6
Calls

8 calls:

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

Compiled 88 to 74 computations (15.9% saved)

series28.0ms (0.5%)

Memory
43.7MiB live, 43.7MiB allocated; 0ms collecting garbage
Stop Event
7×iter-limit
Counts
36 → 56
Calls

33 calls:

TimeVariablePointExpression
2.0ms
x
@-inf
((- (* (+ x 1) (+ x 1)) 1) (* 2 x) 2 x (* (- x -2) x) (- x -2) -2 (- (* (+ x 1) (+ x 1)) 1) (* (+ x 1) (+ x 1)) 1 (+ (* x x) (+ x x)) (+ x x))
1.0ms
x
@inf
((- (* (+ x 1) (+ x 1)) 1) (* 2 x) 2 x (* (- x -2) x) (- x -2) -2 (- (* (+ x 1) (+ x 1)) 1) (* (+ x 1) (+ x 1)) 1 (+ (* x x) (+ x x)) (+ x x))
1.0ms
x
@0
((- (* (+ x 1) (+ x 1)) 1) (* 2 x) 2 x (* (- x -2) x) (- x -2) -2 (- (* (+ x 1) (+ x 1)) 1) (* (+ x 1) (+ x 1)) 1 (+ (* x x) (+ x x)) (+ x x))
1.0ms
x
@-inf
((- (* (+ x 1) (+ x 1)) 1) (* (+ x 1) (+ x 1)) (+ x 1) x 1)
1.0ms
x
@-inf
((- (+ (+ x y) z) (+ x (+ y z))) (+ (+ x y) z) (+ x y) x y z (+ x (+ y z)) (+ y z))

prune25.0ms (0.5%)

Memory
38.6MiB live, 38.6MiB allocated; 0ms collecting garbage
Counts
1 241 → 16
Compiler

Compiled 156 to 139 computations (10.9% saved)

analyze1.0ms (0%)

Memory
1.6MiB live, 1.6MiB 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)

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...