Herbie run

Date:Tuesday, September 24th, 2024
Commit:6490ee3d on main
Hostname:nightly with Racket 8.10
Seed:2024268
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default

Time bar (total: 6.0min)

sample1.4min (23.2%)

Memory
764.7MiB live, 100 892.2MiB allocated
Samples
33.6s225 379×0valid
10.1s65 456×0invalid
7.8s22 813×1valid
4.0s9 746×2valid
3.6s12 561×1invalid
2.6s6 250×3valid
484.0ms1 822×1exit
204.0ms519×2invalid
31.0ms247×0exit
2.0ms4×4valid
1.0ms1×5exit
0.0ms1×3exit
Precisions
Click to see histograms. Total time spent on operations: 47.6s
ival-mult: 13.2s (27.7% of total)
ival-div: 7.8s (16.4% of total)
ival-sub: 3.3s (6.9% of total)
ival-pow2: 3.0s (6.3% of total)
ival-add: 2.9s (6% of total)
ival-sqrt: 2.4s (5% of total)
ival-exp: 2.1s (4.4% of total)
ival-pow: 2.1s (4.3% of total)
ival-sin: 2.0s (4.3% of total)
adjust: 2.0s (4.2% of total)
ival-cos: 983.0ms (2.1% of total)
ival-tan: 792.0ms (1.7% of total)
ival-neg: 717.0ms (1.5% of total)
ival-acos: 717.0ms (1.5% of total)
ival-log: 556.0ms (1.2% of total)
const: 505.0ms (1.1% of total)
ival-pi: 480.0ms (1% of total)
ival-hypot: 465.0ms (1% of total)
exact: 339.0ms (0.7% of total)
ival-true: 281.0ms (0.6% of total)
ival-asin: 242.0ms (0.5% of total)
ival-atan: 207.0ms (0.4% of total)
ival-tanu: 184.0ms (0.4% of total)
ival-fabs: 168.0ms (0.4% of total)
ival-assert: 149.0ms (0.3% of total)
ival-<: 41.0ms (0.1% of total)
ival-and: 11.0ms (0% of total)
Bogosity

simplify54.4s (15.2%)

Memory
-284.9MiB live, 58 115.1MiB allocated
Algorithm
288×egg-herbie
Stop Event
384×iter limit
221×node limit
67×saturated
Counts
70 104 → 69 640

soundness43.1s (12.1%)

Memory
-38.5MiB live, 31 403.3MiB allocated
Stop Event
269×iter limit
180×node limit
31×fuel
1×saturated
1×done
Compiler

Compiled 37 814 to 20 964 computations (44.6% saved)

eval37.0s (10.3%)

Memory
-104.5MiB live, 49 951.7MiB allocated
Compiler

Compiled 5 662 498 to 473 926 computations (91.6% saved)

rewrite28.1s (7.8%)

Memory
321.4MiB live, 32 151.2MiB allocated
Stop Event
258×iter limit
128×node limit
Counts
2 437 → 89 843

localize24.6s (6.9%)

Memory
-347.3MiB live, 31 865.2MiB allocated
Samples
9.8s23 722×0valid
3.8s3 600×1valid
2.4s1 792×2valid
1.1s639×3valid
914.0ms2 072×0invalid
358.0ms492×1exit
233.0ms34×5exit
173.0ms394×0exit
35.0ms12×4valid
17.0ms5×2exit
10.0ms6×3exit
Compiler

Compiled 46 627 to 5 447 computations (88.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.0s
ival-mult: 4.4s (31.2% of total)
ival-div: 2.3s (16.1% of total)
ival-add: 1.3s (9.4% of total)
adjust: 865.0ms (6.2% of total)
ival-sqrt: 713.0ms (5.1% of total)
ival-cos: 556.0ms (4% of total)
ival-sub: 548.0ms (3.9% of total)
ival-pow: 469.0ms (3.3% of total)
ival-pow2: 449.0ms (3.2% of total)
ival-pi: 347.0ms (2.5% of total)
ival-sin: 334.0ms (2.4% of total)
ival-exp: 300.0ms (2.1% of total)
ival-log: 258.0ms (1.8% of total)
const: 255.0ms (1.8% of total)
ival-neg: 251.0ms (1.8% of total)
ival-acos: 147.0ms (1% of total)
ival-tan: 139.0ms (1% of total)
ival-hypot: 77.0ms (0.5% of total)
exact: 71.0ms (0.5% of total)
ival-asin: 66.0ms (0.5% of total)
ival-atan: 48.0ms (0.3% of total)
ival-tanh: 37.0ms (0.3% of total)
ival-cbrt: 37.0ms (0.3% of total)
ival-sinh: 32.0ms (0.2% of total)
ival-true: 32.0ms (0.2% of total)
ival-tanu: 24.0ms (0.2% of total)
ival-assert: 15.0ms (0.1% of total)
ival-fabs: 11.0ms (0.1% of total)

regimes22.4s (6.2%)

Memory
213.7MiB live, 29 992.6MiB allocated
Counts
12 133 → 814
Calls

156 calls:

1.3s
l
727.0ms
x
576.0ms
t
574.0ms
h
566.0ms
n
Compiler

Compiled 12 594 to 13 024 computations (-3.4% saved)

series14.4s (4%)

Memory
303.0MiB live, 20 147.7MiB allocated
Counts
2 437 → 70 104
Calls

1200 calls:

TimeVariablePointExpression
76.0ms
a
@inf
((* (/ (pow k m) (+ (* (+ k 10) k) 1)) a) (/ (pow k m) (+ (* (+ k 10) k) 1)) (pow k m) (+ (* (+ k 10) k) 1) (/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k))) (/ a (+ (* (+ 10 k) k) 1)) (+ (* (+ 10 k) k) 1) (+ 10 k) (/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k))) (* (+ (* -10 k) 1) (* (pow k m) a)) (+ (* -10 k) 1) (* (pow k m) a) (/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k))) (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k)) (/ 1 (/ (+ (* (+ k 10) k) 1) (* (pow k m) a))) (+ k 10) (/ (+ (* (+ k 10) k) 1) (* (pow k m) a)))
75.0ms
v
@0
((+ (* (pow (cbrt (* (pow (PI) 1/4) (cbrt (pow (PI) 9/4)))) 2) (* (cbrt (PI)) 1/2)) (asin (/ (+ (* (* v v) 5) -1) (+ (* v v) -1)))) (pow (cbrt (* (pow (PI) 1/4) (cbrt (pow (PI) 9/4)))) 2) (cbrt (* (pow (PI) 1/4) (cbrt (pow (PI) 9/4)))) (* (pow (PI) 1/4) (cbrt (pow (PI) 9/4))) (+ (* (sqrt (PI)) (sqrt (PI))) (neg (acos (/ (+ (* -5 (* v v)) -1) (+ (* v v) -1))))) (sqrt (PI)) (PI) (neg (acos (/ (+ (* -5 (* v v)) -1) (+ (* v v) -1)))) (- (/ (* 1/4 (* (PI) (PI))) (acos (/ (+ (* (* v v) 5) -1) (+ (* v v) -1)))) (/ (pow (asin (/ (+ (* (* v v) 5) -1) (+ (* v v) -1))) 2) (acos (/ (+ (* (* v v) 5) -1) (+ (* v v) -1))))) (/ (* 1/4 (* (PI) (PI))) (acos (/ (+ (* (* v v) 5) -1) (+ (* v v) -1)))) (* 1/4 (* (PI) (PI))) (* (PI) (PI)) (+ (sqrt (PI)) (sqrt (PI))) (+ (* (pow (* (cbrt (* (sqrt (PI)) 1/2)) (cbrt (+ (sqrt (PI)) (sqrt (PI))))) 2) (* 1/2 (cbrt (PI)))) (neg (asin (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (pow (* (cbrt (* (sqrt (PI)) 1/2)) (cbrt (+ (sqrt (PI)) (sqrt (PI))))) 2) (* (cbrt (* (sqrt (PI)) 1/2)) (cbrt (+ (sqrt (PI)) (sqrt (PI))))) (+ (* (pow (cbrt (* (pow (PI) 1/4) (cbrt (pow (PI) 9/4)))) 2) (* 1/2 (cbrt (PI)))) (neg (asin (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (asin (/ (+ (* (* v v) 5) -1) (+ (* v v) -1))) (cbrt (PI)) (acos (/ (+ (* -5 (* v v)) -1) (+ (* v v) -1))) (acos (/ (+ (* (* v v) 5) -1) (+ (* v v) -1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (asin (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))
72.0ms
f
@-inf
((/ (log (tanh (* f (* 1/4 (PI))))) (* 1/4 (PI))) (log (tanh (* f (* 1/4 (PI))))) (tanh (* f (* 1/4 (PI)))) (* 1/4 (PI)) (/ (PI) 4) (/ 1 (/ (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))))))) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (- (log (/ 4 (PI))) (log f)) (/ -4 (PI))) (- (log (/ 4 (PI))) (log f)) (log (/ 4 (PI))) (/ (* (neg (log (tanh (* f (* 1/4 (PI)))))) (/ 4 (sqrt (PI)))) (sqrt (PI))) (neg (/ (* (neg (log (tanh (* f (* 1/4 (PI)))))) (/ 4 (sqrt (PI)))) (sqrt (PI)))) (* (neg (log (tanh (* f (* 1/4 (PI)))))) (/ 4 (sqrt (PI)))) (neg (log (tanh (* f (* 1/4 (PI)))))) (pow (cbrt (PI)) -2) (cbrt (PI)) (PI) (/ (log (tanh (* f (* 1/4 (PI))))) (* (cbrt (PI)) 1/4)) (* f (* 1/4 (PI))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ (/ 4 (PI)) f) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (sqrt (PI)) (* (pow (cbrt (PI)) -2) (/ (log (tanh (* f (* 1/4 (PI))))) (* (cbrt (PI)) 1/4))))
65.0ms
B
@0
((/ (- (/ F (sqrt (+ (* 2 x) (+ (* F F) 2)))) (* (cos B) x)) (sin B)) (- (/ F (sqrt (+ (* 2 x) (+ (* F F) 2)))) (* (cos B) x)) (/ F (sqrt (+ (* 2 x) (+ (* F F) 2)))) (sqrt (+ (* 2 x) (+ (* F F) 2))) (+ (neg (* x (/ 1 (tan B)))) (* (/ F (sin B)) (pow (+ (+ (* F F) 2) (* 2 x)) (neg (/ 1 2))))) (/ (+ (* (sqrt (/ 1 (+ (* F F) (+ (* 2 x) 2)))) F) (neg x)) B) (+ (* (sqrt (/ 1 (+ (* F F) (+ (* 2 x) 2)))) F) (neg x)) (neg x) (+ (* (/ 1/2 F) (/ (+ (* 2 x) 2) F)) (- -1 x)) (+ (neg (* x (/ 1 (tan B)))) (* (/ F (sin B)) (pow (+ (+ (* F F) 2) (* 2 x)) (neg (/ 1 2))))) (/ (+ (* (sqrt (/ 1 (+ (* F F) (+ (* 2 x) 2)))) F) (neg x)) B) (+ (* (sqrt (/ 1 (+ (* F F) (+ (* 2 x) 2)))) F) (neg x)) (* (pow B -1) (- (/ F (sqrt (+ (* 2 x) (+ (* F F) 2)))) x)) (+ (neg (* x (/ 1 (tan B)))) (* (/ F (sin B)) (pow (+ (+ (* F F) 2) (* 2 x)) (neg (/ 1 2))))) (pow B -1) (- (/ F (sqrt (+ (* 2 x) (+ (* F F) 2)))) x) (* x (/ 1 (tan B))) (+ (neg (* x (/ 1 (tan B)))) (* (/ F (sin B)) (pow (+ (+ (* F F) 2) (* 2 x)) (neg (/ 1 2))))) (neg (* x (/ 1 (tan B)))) (/ 1 (tan B)) (* (cos B) x) (* (/ F (sin B)) (pow (+ (+ (* F F) 2) (* 2 x)) (neg (/ 1 2)))) (/ -1 (sin B)))
63.0ms
f
@0
((/ (log (tanh (* f (* 1/4 (PI))))) (* 1/4 (PI))) (log (tanh (* f (* 1/4 (PI))))) (tanh (* f (* 1/4 (PI)))) (* 1/4 (PI)) (/ (PI) 4) (/ 1 (/ (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))))))) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (- (log (/ 4 (PI))) (log f)) (/ -4 (PI))) (- (log (/ 4 (PI))) (log f)) (log (/ 4 (PI))) (/ (* (neg (log (tanh (* f (* 1/4 (PI)))))) (/ 4 (sqrt (PI)))) (sqrt (PI))) (neg (/ (* (neg (log (tanh (* f (* 1/4 (PI)))))) (/ 4 (sqrt (PI)))) (sqrt (PI)))) (* (neg (log (tanh (* f (* 1/4 (PI)))))) (/ 4 (sqrt (PI)))) (neg (log (tanh (* f (* 1/4 (PI)))))) (pow (cbrt (PI)) -2) (cbrt (PI)) (PI) (/ (log (tanh (* f (* 1/4 (PI))))) (* (cbrt (PI)) 1/4)) (* f (* 1/4 (PI))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ (/ 4 (PI)) f) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (sqrt (PI)) (* (pow (cbrt (PI)) -2) (/ (log (tanh (* f (* 1/4 (PI))))) (* (cbrt (PI)) 1/4))))

prune13.8s (3.8%)

Memory
-489.2MiB live, 22 703.5MiB allocated
Counts
186 703 → 3 262
Compiler

Compiled 143 530 to 91 012 computations (36.6% saved)

explain11.6s (3.2%)

Memory
-248.2MiB live, 13 440.2MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue4600
-.f64#fcancellation4531
cos.f64#fsensitivity4190
acos.f64(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) (*.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64))))sensitivity2550
+.f64#fnan-rescue2550
*.f64#fn*o2260
sqrt.f64#fuflow-rescue1730
tan.f64(tan.f64 (*.f64 (PI.f64) l))sensitivity1330
pow.f64#foflow-rescue1210
*.f64#fu*o1200
asin.f64(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)))))))sensitivity1130
-.f64#fnan-rescue1100
pow.f64(pow.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))sensitivity8924
*.f64#fn*u710
/.f64#fo/o700
pow.f64#fuflow-rescue680
+.f64#fcancellation661
/.f64#fo/n620
*.f64#fo*u600
/.f64#fu/u520
cos.f64(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))oflow-rescue500
↳(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))overflow50
↳(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)overflow50
↳(*.f64 K (+.f64 m n))overflow50
/.f64#fn/o380
/.f64#fn/u330
/.f64#fu/n190
log.f64(log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))sensitivity110
exp.f64(exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 m n)))))sensitivity10
Confusion
Predicted +Predicted -
+196046
-11285058
Precision
0.6347150259067358
Recall
0.9770687936191426
Confusion?
Predicted +Predicted MaybePredicted -
+1960145
-1128265032
Precision?
0.6295345104333868
Recall?
0.977567298105683
Freqs
test
numberfreq
05104
12695
2353
333
47
Total Confusion?
Predicted +Predicted MaybePredicted -
+2500
-016
Precision?
0.9615384615384616
Recall?
1.0
Samples
2.4s13 334×0valid
853.0ms756×2valid
799.0ms1 880×1valid
208.0ms402×3valid
8.0ms12×5exit
Compiler

Compiled 7 569 to 1 655 computations (78.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.1s
ival-mult: 950.0ms (30.8% of total)
ival-div: 330.0ms (10.7% of total)
ival-sub: 244.0ms (7.9% of total)
ival-add: 224.0ms (7.3% of total)
ival-pow2: 184.0ms (6% of total)
ival-exp: 153.0ms (5% of total)
ival-pow: 150.0ms (4.9% of total)
ival-sqrt: 147.0ms (4.8% of total)
adjust: 137.0ms (4.4% of total)
ival-sin: 117.0ms (3.8% of total)
ival-neg: 114.0ms (3.7% of total)
ival-cos: 66.0ms (2.1% of total)
ival-tan: 47.0ms (1.5% of total)
ival-pi: 40.0ms (1.3% of total)
ival-log: 38.0ms (1.2% of total)
ival-hypot: 36.0ms (1.2% of total)
ival-acos: 28.0ms (0.9% of total)
exact: 19.0ms (0.6% of total)
ival-true: 17.0ms (0.6% of total)
ival-tanu: 11.0ms (0.4% of total)
const: 11.0ms (0.4% of total)
ival-asin: 8.0ms (0.3% of total)
ival-assert: 8.0ms (0.3% of total)
ival-fabs: 6.0ms (0.2% of total)
ival-atan: 5.0ms (0.2% of total)

preprocess11.1s (3.1%)

Memory
161.4MiB live, 12 005.5MiB allocated
Algorithm
32×egg-herbie
Stop Event
64×iter limit
41×node limit
23×saturated
Compiler

Compiled 49 511 to 17 341 computations (65% saved)

analyze8.6s (2.4%)

Memory
40.5MiB live, 11 901.0MiB allocated
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.7%42.9%1.8%0%10.6%0%9
52.2%45.5%41.7%1.8%0%11%0%10
53.9%46.8%39.9%1.8%0%11.5%0%11
55.7%47.9%38.2%1.8%0%12.2%0%12
Compiler

Compiled 798 to 574 computations (28.1% saved)

bsearch5.9s (1.6%)

Memory
-78.6MiB live, 6 426.6MiB allocated
Algorithm
226×left-value
225×binary-search
Stop Event
217×narrow-enough
8×predicate-same
Samples
2.7s15 319×0valid
771.0ms4 270×0invalid
118.0ms298×1valid
28.0ms99×2valid
11.0ms28×3valid
7.0ms34×1invalid
2.0ms8×2invalid
Compiler

Compiled 62 070 to 58 859 computations (5.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.7s
ival-mult: 672.0ms (24.7% of total)
ival-div: 552.0ms (20.3% of total)
ival-pow: 315.0ms (11.6% of total)
ival-pow2: 209.0ms (7.7% of total)
ival-sin: 185.0ms (6.8% of total)
ival-add: 182.0ms (6.7% of total)
ival-sub: 164.0ms (6% of total)
ival-tan: 115.0ms (4.2% of total)
ival-sqrt: 63.0ms (2.3% of total)
ival-neg: 59.0ms (2.2% of total)
ival-cos: 56.0ms (2.1% of total)
ival-exp: 51.0ms (1.9% of total)
adjust: 34.0ms (1.3% of total)
exact: 19.0ms (0.7% of total)
ival-true: 17.0ms (0.6% of total)
ival-assert: 9.0ms (0.3% of total)
const: 9.0ms (0.3% of total)
ival-fabs: 4.0ms (0.1% of total)
ival-atan: 3.0ms (0.1% of total)
ival-pi: 0.0ms (0% of total)

start1.0ms (0%)

Memory
3.1MiB live, 3.1MiB allocated

end0.0ms (0%)

Memory
0.6MiB live, 0.6MiB allocated

Profiling

Loading profile data...