Herbie run

Date:Monday, June 2nd, 2025
Commit:c64524ab on sound-egglog
Seed:2025153
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:proofsgenerate:egglog
default
Memory:309 579.3 MB

Time bar (total: 7.7min)

rewrite2.7min (35.4%)

Memory
550.0MiB live, 92 355.3MiB allocated; 29.6s collecting garbage
Counts
4 434 → 132 782

series2.6min (33.4%)

Memory
309.1MiB live, 90 072.5MiB allocated; 28.6s collecting garbage
Counts
4 434 → 18 859
Calls

1200 calls:

TimeVariablePointExpression
228.0ms
f
@-inf
((/ (* (log (/ (sinh (/ (* f (PI)) 4)) (cosh (/ (* f (PI)) 4)))) 4) (PI)) (* (log (/ (sinh (/ (* f (PI)) 4)) (cosh (/ (* f (PI)) 4)))) 4) (log (/ (sinh (/ (* f (PI)) 4)) (cosh (/ (* f (PI)) 4)))) (/ (sinh (/ (* f (PI)) 4)) (cosh (/ (* f (PI)) 4))) (sinh (/ (* f (PI)) 4)) (/ (* f (PI)) 4) (* f (PI)) f (PI) 4 (cosh (/ (* f (PI)) 4)) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ 1 (/ (PI) 4)) 1 (/ (PI) 4) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ 2 (* f (- (* 1/4 (PI)) (* -1/4 (PI))))) 2 (* f (- (* 1/4 (PI)) (* -1/4 (PI)))) (- (* 1/4 (PI)) (* -1/4 (PI))) (* 1/4 (PI)) 1/4 (* -1/4 (PI)) -1/4 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (+ (log (/ 2 (- (* 1/4 (PI)) (* -1/4 (PI))))) (* -1 (log f))) (log (/ 2 (- (* 1/4 (PI)) (* -1/4 (PI))))) (/ 2 (- (* 1/4 (PI)) (* -1/4 (PI)))) (* -1 (log f)) -1 (log f) (/ (* (neg 4) (log (/ (cosh (/ (* f (PI)) 4)) (sinh (/ (* f (PI)) 4))))) (PI)) (* (neg 4) (log (/ (cosh (/ (* f (PI)) 4)) (sinh (/ (* f (PI)) 4))))) (neg 4) (log (/ (cosh (/ (* f (PI)) 4)) (sinh (/ (* f (PI)) 4)))) (/ (cosh (/ (* f (PI)) 4)) (sinh (/ (* f (PI)) 4))) (log (pow (/ (sinh (/ (* f (PI)) 4)) (cosh (/ (* f (PI)) 4))) (/ 4 (PI)))) (pow (/ (sinh (/ (* f (PI)) 4)) (cosh (/ (* f (PI)) 4))) (/ 4 (PI))) (/ 4 (PI)))
135.0ms
f
@inf
((* (/ (log (tanh (/ (* f (PI)) 4))) (PI)) 4) (/ (log (tanh (/ (* f (PI)) 4))) (PI)) (log (tanh (/ (* f (PI)) 4))) (tanh (/ (* f (PI)) 4)) (/ (* f (PI)) 4) (* f (PI)) f (PI) 4 (neg (* (/ 4 (PI)) (log (/ (cosh (* (PI) (/ f 4))) (sinh (* (PI) (/ f 4))))))) (* (/ 4 (PI)) (log (/ (cosh (* (PI) (/ f 4))) (sinh (* (PI) (/ f 4)))))) (/ 4 (PI)) (log (/ (cosh (* (PI) (/ f 4))) (sinh (* (PI) (/ f 4))))) (/ (cosh (* (PI) (/ f 4))) (sinh (* (PI) (/ f 4)))) (/ 2 (* (* f (PI)) (- 1/4 -1/4))) 2 (* (* f (PI)) (- 1/4 -1/4)) (- 1/4 -1/4) 1/4 -1/4 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ 1 (/ (PI) 4)) 1 (/ (PI) 4) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ (/ 2 f) (* (- 1/4 -1/4) (PI))) (/ 2 f) (* (- 1/4 -1/4) (PI)) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (- (log (/ 2 (* (- 1/4 -1/4) (PI)))) (log f)) (log (/ 2 (* (- 1/4 -1/4) (PI)))) (/ 2 (* (- 1/4 -1/4) (PI))) (log f) (/ (log (pow (tanh (/ (* f (PI)) 4)) 4)) (PI)) (log (pow (tanh (/ (* f (PI)) 4)) 4)) (pow (tanh (/ (* f (PI)) 4)) 4))
124.0ms
f
@inf
((/ (* (log (/ (sinh (/ (* f (PI)) 4)) (cosh (/ (* f (PI)) 4)))) 4) (PI)) (* (log (/ (sinh (/ (* f (PI)) 4)) (cosh (/ (* f (PI)) 4)))) 4) (log (/ (sinh (/ (* f (PI)) 4)) (cosh (/ (* f (PI)) 4)))) (/ (sinh (/ (* f (PI)) 4)) (cosh (/ (* f (PI)) 4))) (sinh (/ (* f (PI)) 4)) (/ (* f (PI)) 4) (* f (PI)) f (PI) 4 (cosh (/ (* f (PI)) 4)) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ 1 (/ (PI) 4)) 1 (/ (PI) 4) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ 2 (* f (- (* 1/4 (PI)) (* -1/4 (PI))))) 2 (* f (- (* 1/4 (PI)) (* -1/4 (PI)))) (- (* 1/4 (PI)) (* -1/4 (PI))) (* 1/4 (PI)) 1/4 (* -1/4 (PI)) -1/4 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (+ (log (/ 2 (- (* 1/4 (PI)) (* -1/4 (PI))))) (* -1 (log f))) (log (/ 2 (- (* 1/4 (PI)) (* -1/4 (PI))))) (/ 2 (- (* 1/4 (PI)) (* -1/4 (PI)))) (* -1 (log f)) -1 (log f) (/ (* (neg 4) (log (/ (cosh (/ (* f (PI)) 4)) (sinh (/ (* f (PI)) 4))))) (PI)) (* (neg 4) (log (/ (cosh (/ (* f (PI)) 4)) (sinh (/ (* f (PI)) 4))))) (neg 4) (log (/ (cosh (/ (* f (PI)) 4)) (sinh (/ (* f (PI)) 4)))) (/ (cosh (/ (* f (PI)) 4)) (sinh (/ (* f (PI)) 4))) (log (pow (/ (sinh (/ (* f (PI)) 4)) (cosh (/ (* f (PI)) 4))) (/ 4 (PI)))) (pow (/ (sinh (/ (* f (PI)) 4)) (cosh (/ (* f (PI)) 4))) (/ 4 (PI))) (/ 4 (PI)))
109.0ms
K
@-inf
((* (* (* -2 J) (cos (/ K 2))) (cosh (asinh (/ U (* (+ J J) (cos (/ K 2))))))) (* (* -2 J) (cos (/ K 2))) (* -2 J) -2 J (cos (/ K 2)) (/ K 2) K 2 (cosh (asinh (/ U (* (+ J J) (cos (/ K 2)))))) (asinh (/ U (* (+ J J) (cos (/ K 2))))) (/ U (* (+ J J) (cos (/ K 2)))) U (* (+ J J) (cos (/ K 2))) (+ J J) (* (* (* -2 J) (cos (/ K 2))) (sqrt (+ 1 (pow (/ U (* (* 2 J) (cos (/ K 2)))) 2)))) (sqrt (+ 1 (pow (/ U (* (* 2 J) (cos (/ K 2)))) 2))) 1 (* (* (* -2 J) (cos (/ K 2))) (sqrt (+ 1 (pow (/ U (* (* 2 J) (cos (/ K 2)))) 2)))) (sqrt (+ 1 (pow (/ U (* (* 2 J) (cos (/ K 2)))) 2))) (+ 1 (pow (/ U (* (* 2 J) (cos (/ K 2)))) 2)) (pow (/ U (* (* 2 J) (cos (/ K 2)))) 2) (/ U (* (* 2 J) (cos (/ K 2)))) (* (* 2 J) (cos (/ K 2))) (+ (* -1/4 (* J (pow K 2))) (* 2 J)) -1/4 (* J (pow K 2)) (pow K 2) (* 2 J) (* (* (* -2 J) (cos (/ K 2))) (sqrt (+ (* (neg U) (/ (/ U (+ J J)) (* (+ 1/2 (* 1/2 (cos K))) (- (neg J) J)))) 1))) (sqrt (+ (* (neg U) (/ (/ U (+ J J)) (* (+ 1/2 (* 1/2 (cos K))) (- (neg J) J)))) 1)) (+ (* (neg U) (/ (/ U (+ J J)) (* (+ 1/2 (* 1/2 (cos K))) (- (neg J) J)))) 1) (neg U) (/ (/ U (+ J J)) (* (+ 1/2 (* 1/2 (cos K))) (- (neg J) J))) (/ U (+ J J)) (* (+ 1/2 (* 1/2 (cos K))) (- (neg J) J)) (+ 1/2 (* 1/2 (cos K))) 1/2 (* 1/2 (cos K)) (cos K) (- (neg J) J) (neg J) (* (* (* -2 J) (cos (/ K 2))) (sqrt (+ 1 (pow (/ U (* (* 2 J) (cos (/ K 2)))) 2)))) (* -2 (* J (* U (* (cos (* 1/2 K)) (sqrt (/ 1/4 (* (pow J 2) (pow (cos (* 1/2 K)) 2)))))))) (* J (* U (* (cos (* 1/2 K)) (sqrt (/ 1/4 (* (pow J 2) (pow (cos (* 1/2 K)) 2))))))) (* U (* (cos (* 1/2 K)) (sqrt (/ 1/4 (* (pow J 2) (pow (cos (* 1/2 K)) 2)))))) (* (cos (* 1/2 K)) (sqrt (/ 1/4 (* (pow J 2) (pow (cos (* 1/2 K)) 2))))) (cos (* 1/2 K)) (* 1/2 K) (sqrt (/ 1/4 (* (pow J 2) (pow (cos (* 1/2 K)) 2)))) (/ 1/4 (* (pow J 2) (pow (cos (* 1/2 K)) 2))) 1/4 (* (pow J 2) (pow (cos (* 1/2 K)) 2)) (pow J 2) (pow (cos (* 1/2 K)) 2))
104.0ms
K
@inf
((* (* (* -2 J) (cos (/ K 2))) (cosh (asinh (/ U (* (+ J J) (cos (/ K 2))))))) (* (* -2 J) (cos (/ K 2))) (* -2 J) -2 J (cos (/ K 2)) (/ K 2) K 2 (cosh (asinh (/ U (* (+ J J) (cos (/ K 2)))))) (asinh (/ U (* (+ J J) (cos (/ K 2))))) (/ U (* (+ J J) (cos (/ K 2)))) U (* (+ J J) (cos (/ K 2))) (+ J J) (* (* (* -2 J) (cos (/ K 2))) (sqrt (+ 1 (pow (/ U (* (* 2 J) (cos (/ K 2)))) 2)))) (sqrt (+ 1 (pow (/ U (* (* 2 J) (cos (/ K 2)))) 2))) 1 (* (* (* -2 J) (cos (/ K 2))) (sqrt (+ 1 (pow (/ U (* (* 2 J) (cos (/ K 2)))) 2)))) (sqrt (+ 1 (pow (/ U (* (* 2 J) (cos (/ K 2)))) 2))) (+ 1 (pow (/ U (* (* 2 J) (cos (/ K 2)))) 2)) (pow (/ U (* (* 2 J) (cos (/ K 2)))) 2) (/ U (* (* 2 J) (cos (/ K 2)))) (* (* 2 J) (cos (/ K 2))) (+ (* -1/4 (* J (pow K 2))) (* 2 J)) -1/4 (* J (pow K 2)) (pow K 2) (* 2 J) (* (* (* -2 J) (cos (/ K 2))) (sqrt (+ (* (neg U) (/ (/ U (+ J J)) (* (+ 1/2 (* 1/2 (cos K))) (- (neg J) J)))) 1))) (sqrt (+ (* (neg U) (/ (/ U (+ J J)) (* (+ 1/2 (* 1/2 (cos K))) (- (neg J) J)))) 1)) (+ (* (neg U) (/ (/ U (+ J J)) (* (+ 1/2 (* 1/2 (cos K))) (- (neg J) J)))) 1) (neg U) (/ (/ U (+ J J)) (* (+ 1/2 (* 1/2 (cos K))) (- (neg J) J))) (/ U (+ J J)) (* (+ 1/2 (* 1/2 (cos K))) (- (neg J) J)) (+ 1/2 (* 1/2 (cos K))) 1/2 (* 1/2 (cos K)) (cos K) (- (neg J) J) (neg J) (* (* (* -2 J) (cos (/ K 2))) (sqrt (+ 1 (pow (/ U (* (* 2 J) (cos (/ K 2)))) 2)))) (* -2 (* J (* U (* (cos (* 1/2 K)) (sqrt (/ 1/4 (* (pow J 2) (pow (cos (* 1/2 K)) 2)))))))) (* J (* U (* (cos (* 1/2 K)) (sqrt (/ 1/4 (* (pow J 2) (pow (cos (* 1/2 K)) 2))))))) (* U (* (cos (* 1/2 K)) (sqrt (/ 1/4 (* (pow J 2) (pow (cos (* 1/2 K)) 2)))))) (* (cos (* 1/2 K)) (sqrt (/ 1/4 (* (pow J 2) (pow (cos (* 1/2 K)) 2))))) (cos (* 1/2 K)) (* 1/2 K) (sqrt (/ 1/4 (* (pow J 2) (pow (cos (* 1/2 K)) 2)))) (/ 1/4 (* (pow J 2) (pow (cos (* 1/2 K)) 2))) 1/4 (* (pow J 2) (pow (cos (* 1/2 K)) 2)) (pow J 2) (pow (cos (* 1/2 K)) 2))

sample1.2min (15.2%)

Memory
774.4MiB live, 54 965.7MiB allocated; 23.8s collecting garbage
Samples
28.7s224 321×0valid
8.4s65 605×0invalid
6.4s23 605×1valid
3.8s14 760×1invalid
3.2s9 873×2valid
2.2s6 386×3valid
151.0ms622×2invalid
27.0ms251×0exit
3.0ms7×4valid
1.0ms2×5exit
Precisions
Click to see histograms. Total time spent on operations: 38.3s
ival-mult!: 8.1s (21.1% of total)
ival-div!: 5.0s (13.1% of total)
adjust: 2.9s (7.6% of total)
ival-exp: 2.9s (7.5% of total)
ival-pow2: 2.7s (7% of total)
ival-pow: 2.7s (7% of total)
ival-sqrt: 2.5s (6.5% of total)
ival-sin: 2.4s (6.4% of total)
ival-sub!: 1.7s (4.5% of total)
ival-neg: 1.3s (3.5% of total)
ival-add!: 1.3s (3.4% of total)
ival-cos: 1.2s (3.2% of total)
ival-tan: 988.0ms (2.6% of total)
ival-acos: 749.0ms (2% of total)
ival-hypot: 517.0ms (1.4% of total)
ival-asin: 467.0ms (1.2% of total)
ival-log: 343.0ms (0.9% of total)
ival-tanu: 323.0ms (0.8% of total)
ival-atan: 123.0ms (0.3% of total)
ival-fabs: 41.0ms (0.1% of total)
ival-<: 2.0ms (0% of total)
ival-and: 1.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-pi: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

eval28.7s (6.2%)

Memory
96.3MiB live, 27 374.8MiB allocated; 11.6s collecting garbage
Compiler

Compiled 2 473 364 to 763 309 computations (69.1% saved)

regimes14.7s (3.2%)

Memory
269.1MiB live, 14 907.8MiB allocated; 2.6s collecting garbage
Counts
10 502 → 659
Calls

156 calls:

1.0s
l
938.0ms
k
637.0ms
t
496.0ms
F
429.0ms
x
Compiler

Compiled 10 401 to 11 935 computations (-14.7% saved)

preprocess9.3s (2%)

Memory
-242.4MiB live, 9 343.7MiB allocated; 2.3s collecting garbage
Stop Event
32×node-limit
Compiler

Compiled 101 690 to 82 552 computations (18.8% saved)

prune9.0s (1.9%)

Memory
-161.9MiB live, 9 258.6MiB allocated; 4.2s collecting garbage
Counts
167 863 → 2 945
Compiler

Compiled 151 077 to 128 383 computations (15% saved)

analyze8.7s (1.9%)

Memory
49.3MiB live, 8 321.8MiB allocated; 3.1s collecting garbage
Algorithm
32×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
22.2%21.8%76.4%1.8%0%0%0%1
22.6%21.8%74.8%1.8%0%1.6%0%2
28.6%26.5%66.3%1.8%0%5.5%0%3
32.6%29.6%61.2%1.8%0%7.4%0%4
35.8%32.3%58%1.8%0%8%0%5
40.1%36.1%54%1.8%0%8.1%0%6
45.5%40.6%48.7%1.8%0%8.9%0%7
47.9%42.1%45.8%1.8%0%10.3%0%8
51%44.6%43%1.8%0%10.6%0%9
52.1%45.5%41.8%1.8%0%11%0%10
53.9%46.7%40%1.8%0%11.5%0%11
55.6%47.9%38.2%1.8%0%12.1%0%12
Compiler

Compiled 798 to 574 computations (28.1% saved)

bsearch3.7s (0.8%)

Memory
-111.3MiB live, 2 795.3MiB allocated; 811ms collecting garbage
Algorithm
177×binary-search
166×left-value
Stop Event
159×narrow-enough
13×predicate-same
5×predicate-failed
Samples
1.8s11 702×0valid
190.0ms1 740×0invalid
173.0ms610×1valid
48.0ms117×2valid
20.0ms67×3valid
17.0ms107×1invalid
3.0ms11×2invalid
Compiler

Compiled 72 114 to 71 040 computations (1.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.8s
ival-pow: 305.0ms (17.3% of total)
ival-mult!: 294.0ms (16.6% of total)
ival-tan: 245.0ms (13.9% of total)
ival-sin: 219.0ms (12.4% of total)
ival-div!: 205.0ms (11.6% of total)
ival-pow2: 124.0ms (7% of total)
ival-sub!: 83.0ms (4.7% of total)
ival-add!: 80.0ms (4.5% of total)
ival-cos: 42.0ms (2.4% of total)
adjust: 41.0ms (2.3% of total)
ival-exp: 41.0ms (2.3% of total)
ival-neg: 33.0ms (1.9% of total)
ival-sqrt: 24.0ms (1.4% of total)
ival-hypot: 24.0ms (1.4% of total)
ival-tanu: 6.0ms (0.3% of total)
ival-fabs: 4.0ms (0.2% of total)
ival-atan: 0.0ms (0% of total)

derivations180.0ms (0%)

Memory
-65.2MiB live, 180.7MiB allocated; 35ms collecting garbage
Stop Event
31×fuel
1×done
Compiler

Compiled 6 012 to 3 759 computations (37.5% saved)

start2.0ms (0%)

Memory
2.7MiB live, 2.7MiB allocated; 0ms collecting garbage

end0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...