Data.Random.Distribution.Normal:doubleStdNormalZ from random-fu-0.2.6.2

Time bar (total: 1.6s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
100%100%0%0%0%0%0%1
Compiler

Compiled 7 to 6 computations (14.3% saved)

sample544.0ms (34.7%)

Memory
-0.4MiB live, 630.5MiB allocated
Samples
256.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 108.0ms
ival-add: 48.0ms (44.4% of total)
ival-sub: 47.0ms (43.5% of total)
ival-true: 6.0ms (5.5% of total)
exact: 5.0ms (4.6% of total)
ival-assert: 3.0ms (2.8% of total)
Bogosity

explain51.0ms (3.2%)

Memory
10.6MiB live, 48.7MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
00-0-(+.f64 x x)
00-0-#s(literal 1 binary64)
00-0-(-.f64 (+.f64 x x) #s(literal 1 binary64))
00-0-x
Confusion
Predicted +Predicted -
+00
-0256
Precision
0/0
Recall
0/0
Confusion?
Predicted +Predicted MaybePredicted -
+000
-00256
Precision?
0/0
Recall?
0/0
Freqs
test
numberfreq
0256
Total Confusion?
Predicted +Predicted MaybePredicted -
+000
-001
Precision?
0/0
Recall?
0/0
Samples
16.0ms512×0valid
Compiler

Compiled 39 to 20 computations (48.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.0ms
ival-sub: 3.0ms (50.4% of total)
ival-add: 2.0ms (33.6% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess27.0ms (1.8%)

Memory
-30.3MiB live, 15.9MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0613
12211
27210
317310
425210
526510
045
065
1155
2195
3245
4285
5375
6665
71485
82345
92545
102575
02574
Stop Event
1×iter limit
1×saturated
1×iter limit
1×saturated
Calls
Call 1
Inputs
(-.f64 (+.f64 x x) #s(literal 1 binary64))
Outputs
(-.f64 (+.f64 x x) #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) x #s(literal -1 binary64))
Compiler

Compiled 5 to 4 computations (20% saved)

eval0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Compiler

Compiled 0 to 1 computations (-∞% saved)

prune0.0ms (0%)

Memory
0.7MiB live, 0.7MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(-.f64 (+.f64 x x) #s(literal 1 binary64))
Compiler

Compiled 5 to 4 computations (20% saved)

simplify8.0ms (0.5%)

Memory
13.3MiB live, 13.3MiB allocated
Algorithm
1×egg-herbie
Localize:

Found 2 expressions of interest:

NewMetricScoreProgram
cost-diff-128
(+.f64 x x)
cost-diff128
(-.f64 (+.f64 x x) #s(literal 1 binary64))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0410
0610
11510
21910
32410
42810
53710
66610
714810
823410
925410
1025710
02579
Stop Event
1×iter limit
1×saturated
1×iter limit
Calls
Call 1
Inputs
(-.f64 (+.f64 x x) #s(literal 1 binary64))
(+.f64 x x)
x
#s(literal 1 binary64)
Outputs
(-.f64 (+.f64 x x) #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) x #s(literal -1 binary64))
(+.f64 x x)
(*.f64 #s(literal 2 binary64) x)
x
#s(literal 1 binary64)

localize40.0ms (2.6%)

Memory
-17.2MiB live, 19.1MiB allocated
Localize:

Found 2 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(-.f64 (+.f64 x x) #s(literal 1 binary64))
accuracy0.0
(+.f64 x x)
Samples
8.0ms256×0valid
Compiler

Compiled 22 to 10 computations (54.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.0ms
ival-sub: 1.0ms (33.3% of total)
ival-add: 1.0ms (33.3% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series2.0ms (0.1%)

Memory
2.3MiB live, 2.3MiB allocated
Counts
2 → 5
Calls
Call 1
Inputs
(-.f64 (+.f64 x x) #s(literal 1 binary64))
(+.f64 x x)
Outputs
-1
(- (* 2 x) 1)
(* 2 x)
(* x (- 2 (/ 1 x)))
(* -1 (* x (- (/ 1 x) 2)))
Calls

3 calls:

TimeVariablePointExpression
1.0ms
x
@inf
((- (+ x x) 1) (+ x x))
0.0ms
x
@-inf
((- (+ x x) 1) (+ x x))
0.0ms
x
@0
((- (+ x x) 1) (+ x x))

simplify8.0ms (0.5%)

Memory
7.8MiB live, 7.8MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01219
12819
26319
312019
413419
518819
622919
725419
826919
927519
1027619
027616
Stop Event
1×iter limit
1×saturated
Counts
5 → 5
Calls
Call 1
Inputs
-1
(- (* 2 x) 1)
(* 2 x)
(* x (- 2 (/ 1 x)))
(* -1 (* x (- (/ 1 x) 2)))
Outputs
-1
#s(literal -1 binary64)
(- (* 2 x) 1)
(fma.f64 #s(literal 2 binary64) x #s(literal -1 binary64))
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* x (- 2 (/ 1 x)))
(fma.f64 #s(literal 2 binary64) x #s(literal -1 binary64))
(* -1 (* x (- (/ 1 x) 2)))
(fma.f64 #s(literal 2 binary64) x #s(literal -1 binary64))

rewrite63.0ms (4%)

Memory
4.6MiB live, 76.5MiB allocated
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
048
068
1368
03037
Stop Event
1×iter limit
1×iter limit
1×iter limit
1×unsound
1×iter limit
Counts
2 → 69
Calls
Call 1
Inputs
(-.f64 (+.f64 x x) #s(literal 1 binary64))
(+.f64 x x)
Outputs
(*.f64 (fma.f64 #s(literal 2 binary64) x #s(literal 1 binary64)) (fma.f64 #s(literal 2 binary64) x #s(literal -1 binary64)))
(*.f64 (fma.f64 #s(literal 2 binary64) x #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 2 binary64) x #s(literal 1 binary64))))
(*.f64 (fma.f64 #s(literal 2 binary64) x #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 2 binary64) x (fma.f64 #s(literal 2 binary64) x #s(literal 1 binary64)))))
(/.f64 (-.f64 (*.f64 x x) (*.f64 (-.f64 x #s(literal 1 binary64)) (-.f64 x #s(literal 1 binary64)))) (-.f64 x (-.f64 x #s(literal 1 binary64))))
(/.f64 (+.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 (-.f64 x #s(literal 1 binary64)) #s(literal 3 binary64))) (fma.f64 x x (-.f64 (*.f64 (-.f64 x #s(literal 1 binary64)) (-.f64 x #s(literal 1 binary64))) (*.f64 x (-.f64 x #s(literal 1 binary64))))))
(/.f64 (neg.f64 (fma.f64 #s(literal 2 binary64) x #s(literal -1 binary64))) (neg.f64 (fma.f64 #s(literal 2 binary64) x #s(literal 1 binary64))))
(/.f64 (neg.f64 (fma.f64 #s(literal 2 binary64) x #s(literal -1 binary64))) (neg.f64 (fma.f64 #s(literal 2 binary64) x (fma.f64 #s(literal 2 binary64) x #s(literal 1 binary64)))))
(/.f64 (fma.f64 #s(literal 2 binary64) x #s(literal -1 binary64)) (-.f64 (*.f64 #s(literal 2 binary64) x) #s(literal -1 binary64)))
(/.f64 (fma.f64 #s(literal 2 binary64) x #s(literal -1 binary64)) (fma.f64 #s(literal 2 binary64) x (-.f64 #s(literal 1 binary64) (*.f64 (*.f64 #s(literal 2 binary64) x) #s(literal -1 binary64)))))
(/.f64 (fma.f64 #s(literal 2 binary64) x #s(literal -1 binary64)) (fma.f64 #s(literal 2 binary64) x #s(literal 1 binary64)))
(/.f64 (fma.f64 #s(literal 2 binary64) x #s(literal -1 binary64)) (fma.f64 #s(literal 2 binary64) x (fma.f64 #s(literal 2 binary64) x #s(literal 1 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 #s(literal 2 binary64) x #s(literal 1 binary64)) (fma.f64 #s(literal 2 binary64) x #s(literal -1 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 #s(literal 2 binary64) x (fma.f64 #s(literal 2 binary64) x #s(literal 1 binary64))) (fma.f64 #s(literal 2 binary64) x #s(literal -1 binary64))))
(fma.f64 (*.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 2 binary64)) x #s(literal -1 binary64))
(fma.f64 #s(literal 4 binary64) (*.f64 x x) #s(literal -1 binary64))
(fma.f64 (pow.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 3/2 binary64)) (pow.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 3/2 binary64)) #s(literal -1 binary64))
(fma.f64 #s(literal 8 binary64) (pow.f64 x #s(literal 3 binary64)) #s(literal -1 binary64))
(fma.f64 #s(literal 2 binary64) (*.f64 x (*.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64))
(fma.f64 #s(literal 2 binary64) (*.f64 x #s(literal 1 binary64)) #s(literal -1 binary64))
(fma.f64 #s(literal 2 binary64) x #s(literal -1 binary64))
(fma.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) #s(literal 0 binary64)) #s(literal -1 binary64))
(fma.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 x x #s(literal 0 binary64))) #s(literal -1 binary64))
(fma.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) x) #s(literal -1 binary64))
(fma.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 1 binary64) #s(literal -1 binary64))
(fma.f64 (*.f64 #s(literal 2 binary64) x) (*.f64 #s(literal 2 binary64) x) #s(literal -1 binary64))
(fma.f64 x #s(literal 2 binary64) #s(literal -1 binary64))
(expm1.f64 (*.f64 (log.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 3 binary64)))
(-.f64 (/.f64 (*.f64 #s(literal 2 binary64) x) (fma.f64 #s(literal 2 binary64) x #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 2 binary64) x #s(literal 1 binary64))))
(-.f64 (/.f64 (*.f64 #s(literal 2 binary64) x) (fma.f64 #s(literal 2 binary64) x (fma.f64 #s(literal 2 binary64) x #s(literal 1 binary64)))) (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 2 binary64) x (fma.f64 #s(literal 2 binary64) x #s(literal 1 binary64)))))
(-.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 1 binary64))
(+.f64 (-.f64 x #s(literal 1 binary64)) x)
(+.f64 #s(literal -1 binary64) (*.f64 #s(literal 2 binary64) x))
(+.f64 (*.f64 #s(literal 2 binary64) x) #s(literal -1 binary64))
(+.f64 x (-.f64 x #s(literal 1 binary64)))
(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 2 binary64)) x)
(*.f64 #s(literal 4 binary64) (*.f64 x x))
(*.f64 (pow.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 3/2 binary64)) (pow.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 3/2 binary64)))
(*.f64 #s(literal 8 binary64) (pow.f64 x #s(literal 3 binary64)))
(*.f64 #s(literal 2 binary64) (*.f64 x (*.f64 #s(literal 2 binary64) x)))
(*.f64 #s(literal 2 binary64) (*.f64 x #s(literal 1 binary64)))
(*.f64 #s(literal 2 binary64) x)
(*.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) #s(literal 0 binary64)))
(*.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 x x #s(literal 0 binary64))))
(*.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) x))
(*.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 1 binary64))
(*.f64 (*.f64 #s(literal 2 binary64) x) (*.f64 #s(literal 2 binary64) x))
(*.f64 x #s(literal 2 binary64))
(pow.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 2 binary64))
(pow.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 3 binary64))
(/.f64 (*.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) #s(literal 1 binary64)) (fma.f64 x x #s(literal 0 binary64)))
(/.f64 (*.f64 #s(literal 0 binary64) (*.f64 #s(literal 2 binary64) x)) #s(literal 0 binary64))
(/.f64 (*.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) (*.f64 #s(literal 2 binary64) x)) (fma.f64 x x #s(literal 0 binary64)))
(/.f64 (*.f64 (*.f64 #s(literal 2 binary64) x) (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 x x #s(literal 0 binary64)))
(/.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))) (neg.f64 (fma.f64 x x #s(literal 0 binary64))))
(/.f64 (*.f64 #s(literal 0 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))) (*.f64 #s(literal 0 binary64) (fma.f64 x x #s(literal 0 binary64))))
(/.f64 (*.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) #s(literal 0 binary64)) (*.f64 (fma.f64 x x #s(literal 0 binary64)) #s(literal 0 binary64)))
(/.f64 (*.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))) (*.f64 (fma.f64 x x #s(literal 0 binary64)) (fma.f64 x x #s(literal 0 binary64))))
(/.f64 (pow.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) (pow.f64 (fma.f64 x x #s(literal 0 binary64)) #s(literal 3 binary64)))
(/.f64 #s(literal 0 binary64) #s(literal 0 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) (fma.f64 x x #s(literal 0 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 x x #s(literal 0 binary64)) (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) x))
(fma.f64 (*.f64 #s(literal 2 binary64) x) x (*.f64 (*.f64 #s(literal 2 binary64) x) x))
(fma.f64 x (*.f64 #s(literal 2 binary64) x) (*.f64 x (*.f64 #s(literal 2 binary64) x)))
(-.f64 (/.f64 (*.f64 x x) #s(literal 0 binary64)) (/.f64 (*.f64 x x) #s(literal 0 binary64)))
(exp.f64 (*.f64 (log.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 3 binary64)))
(+.f64 (*.f64 x (*.f64 #s(literal 2 binary64) x)) (*.f64 x (*.f64 #s(literal 2 binary64) x)))
(+.f64 (*.f64 (*.f64 #s(literal 2 binary64) x) x) (*.f64 (*.f64 #s(literal 2 binary64) x) x))
(+.f64 x x)

eval7.0ms (0.5%)

Memory
19.7MiB live, 19.7MiB allocated
Compiler

Compiled 735 to 172 computations (76.6% saved)

prune2.0ms (0.1%)

Memory
7.9MiB live, 7.9MiB allocated
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New71172
Fresh000
Picked011
Done000
Total71273
Accuracy
100.0%
Counts
73 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(-.f64 (+.f64 x x) #s(literal 1 binary64))
▶51.0%
#s(approx (- (+ x x) 1) #s(literal -1 binary64))
Compiler

Compiled 12 to 10 computations (16.7% saved)

simplify17.0ms (1.1%)

Memory
-36.4MiB live, 8.9MiB allocated
Algorithm
1×egg-herbie
Localize:

Found 1 expressions of interest:

NewMetricScoreProgram
cost-diff0
#s(approx (- (+ x x) 1) #s(literal -1 binary64))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
068
068
1148
2188
3238
4278
5368
6658
71478
82328
92528
102558
02557
Stop Event
1×iter limit
1×saturated
1×saturated
Calls
Call 1
Inputs
#s(approx (- (+ x x) 1) #s(literal -1 binary64))
#s(literal -1 binary64)
Outputs
#s(approx (- (+ x x) 1) #s(literal -1 binary64))
#s(literal -1 binary64)

localize11.0ms (0.7%)

Memory
25.0MiB live, 25.0MiB allocated
Localize:

Found 1 expressions of interest:

NewMetricScoreProgram
accuracy31.354202619932508
#s(approx (- (+ x x) 1) #s(literal -1 binary64))
Samples
7.0ms256×0valid
Compiler

Compiled 16 to 13 computations (18.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.0ms
ival-sub: 1.0ms (35.3% of total)
ival-add: 1.0ms (35.3% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series1.0ms (0%)

Memory
2.3MiB live, 2.3MiB allocated
Counts
1 → 5
Calls
Call 1
Inputs
#s(approx (- (+ x x) 1) #s(literal -1 binary64))
Outputs
-1
(- (* 2 x) 1)
(* 2 x)
(* x (- 2 (/ 1 x)))
(* -1 (* x (- (/ 1 x) 2)))
Calls

3 calls:

TimeVariablePointExpression
0.0ms
x
@inf
((- (+ x x) 1))
0.0ms
x
@-inf
((- (+ x x) 1))
0.0ms
x
@0
((- (+ x x) 1))

simplify13.0ms (0.8%)

Memory
-25.0MiB live, 11.9MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01219
12819
26319
312019
413419
518819
622919
725419
826919
927519
1027619
027616
Stop Event
1×iter limit
1×saturated
Counts
5 → 5
Calls
Call 1
Inputs
-1
(- (* 2 x) 1)
(* 2 x)
(* x (- 2 (/ 1 x)))
(* -1 (* x (- (/ 1 x) 2)))
Outputs
-1
#s(literal -1 binary64)
(- (* 2 x) 1)
(fma.f64 #s(literal 2 binary64) x #s(literal -1 binary64))
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* x (- 2 (/ 1 x)))
(fma.f64 #s(literal 2 binary64) x #s(literal -1 binary64))
(* -1 (* x (- (/ 1 x) 2)))
(fma.f64 #s(literal 2 binary64) x #s(literal -1 binary64))

rewrite36.0ms (2.3%)

Memory
32.8MiB live, 32.8MiB allocated
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
067
1357
03036
Stop Event
1×iter limit
1×iter limit
1×iter limit
1×unsound
1×saturated
Counts
1 → 1
Calls
Call 1
Inputs
#s(approx (- (+ x x) 1) #s(literal -1 binary64))
Outputs
#s(approx (- (+ x x) 1) #s(literal -1 binary64))

eval0.0ms (0%)

Memory
0.6MiB live, 0.6MiB allocated
Compiler

Compiled 26 to 11 computations (57.7% saved)

prune1.0ms (0.1%)

Memory
1.3MiB live, 1.3MiB allocated
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New213
Fresh000
Picked011
Done011
Total235
Accuracy
100.0%
Counts
5 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(-.f64 (+.f64 x x) #s(literal 1 binary64))
▶51.1%
#s(approx (- (+ x x) 1) (*.f64 #s(literal 2 binary64) x))
✓51.0%
#s(approx (- (+ x x) 1) #s(literal -1 binary64))
Compiler

Compiled 21 to 17 computations (19% saved)

simplify61.0ms (3.9%)

Memory
-30.4MiB live, 8.4MiB allocated
Algorithm
1×egg-herbie
Localize:

Found 2 expressions of interest:

NewMetricScoreProgram
cost-diff0
(*.f64 #s(literal 2 binary64) x)
cost-diff0
#s(approx (- (+ x x) 1) (*.f64 #s(literal 2 binary64) x))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0714
0814
11714
22014
32514
42914
53814
66714
714914
823414
925414
1025714
025713
Stop Event
1×iter limit
1×saturated
1×iter limit
Calls
Call 1
Inputs
#s(approx (- (+ x x) 1) (*.f64 #s(literal 2 binary64) x))
(*.f64 #s(literal 2 binary64) x)
#s(literal 2 binary64)
x
Outputs
#s(approx (- (+ x x) 1) (*.f64 #s(literal 2 binary64) x))
(*.f64 #s(literal 2 binary64) x)
#s(literal 2 binary64)
x

localize14.0ms (0.9%)

Memory
22.2MiB live, 22.2MiB allocated
Localize:

Found 2 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(*.f64 #s(literal 2 binary64) x)
accuracy31.30871165422826
#s(approx (- (+ x x) 1) (*.f64 #s(literal 2 binary64) x))
Samples
10.0ms256×0valid
Compiler

Compiled 26 to 15 computations (42.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.0ms
ival-mult: 2.0ms (44.5% of total)
ival-sub: 1.0ms (22.2% of total)
ival-add: 1.0ms (22.2% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series1.0ms (0.1%)

Memory
2.0MiB live, 2.0MiB allocated
Counts
2 → 5
Calls
Call 1
Inputs
#s(approx (- (+ x x) 1) (*.f64 #s(literal 2 binary64) x))
(*.f64 #s(literal 2 binary64) x)
Outputs
-1
(- (* 2 x) 1)
(* 2 x)
(* x (- 2 (/ 1 x)))
(* -1 (* x (- (/ 1 x) 2)))
Calls

3 calls:

TimeVariablePointExpression
0.0ms
x
@inf
((- (+ x x) 1) (* 2 x))
0.0ms
x
@-inf
((- (+ x x) 1) (* 2 x))
0.0ms
x
@0
((- (+ x x) 1) (* 2 x))

simplify112.0ms (7.2%)

Memory
-22.4MiB live, 13.3MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01219
12819
26319
312019
413419
518819
622919
725419
826919
927519
1027619
027616
Stop Event
1×iter limit
1×saturated
Counts
5 → 5
Calls
Call 1
Inputs
-1
(- (* 2 x) 1)
(* 2 x)
(* x (- 2 (/ 1 x)))
(* -1 (* x (- (/ 1 x) 2)))
Outputs
-1
#s(literal -1 binary64)
(- (* 2 x) 1)
(fma.f64 #s(literal 2 binary64) x #s(literal -1 binary64))
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* x (- 2 (/ 1 x)))
(fma.f64 #s(literal 2 binary64) x #s(literal -1 binary64))
(* -1 (* x (- (/ 1 x) 2)))
(fma.f64 #s(literal 2 binary64) x #s(literal -1 binary64))

rewrite37.0ms (2.4%)

Memory
32.1MiB live, 32.1MiB allocated
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0712
0812
13812
031111
Stop Event
1×iter limit
1×iter limit
1×iter limit
1×unsound
1×iter limit
Counts
2 → 40
Calls
Call 1
Inputs
#s(approx (- (+ x x) 1) (*.f64 #s(literal 2 binary64) x))
(*.f64 #s(literal 2 binary64) x)
Outputs
#s(approx (- (+ x x) 1) (*.f64 #s(literal 2 binary64) x))
(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 2 binary64)) x)
(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) x) x) #s(literal 2 binary64))
(*.f64 #s(literal 4 binary64) (*.f64 x x))
(*.f64 (pow.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 3/2 binary64)) (pow.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 3/2 binary64)))
(*.f64 #s(literal 8 binary64) (pow.f64 x #s(literal 3 binary64)))
(*.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) #s(literal 0 binary64)))
(*.f64 (*.f64 x x) #s(literal 4 binary64))
(*.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 x x #s(literal 0 binary64))))
(*.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 8 binary64))
(*.f64 #s(literal 2 binary64) (*.f64 x (*.f64 #s(literal 2 binary64) x)))
(*.f64 #s(literal 2 binary64) (*.f64 x #s(literal 1 binary64)))
(*.f64 #s(literal 2 binary64) x)
(*.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) x))
(*.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 1 binary64))
(*.f64 (*.f64 #s(literal 2 binary64) x) (*.f64 #s(literal 2 binary64) x))
(*.f64 x (*.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) x)))
(*.f64 x #s(literal 2 binary64))
(pow.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 3 binary64))
(pow.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 2 binary64))
(/.f64 (*.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) #s(literal 1 binary64)) (fma.f64 x x #s(literal 0 binary64)))
(/.f64 (*.f64 #s(literal 0 binary64) (*.f64 #s(literal 2 binary64) x)) #s(literal 0 binary64))
(/.f64 (*.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) (*.f64 #s(literal 2 binary64) x)) (fma.f64 x x #s(literal 0 binary64)))
(/.f64 (*.f64 (*.f64 #s(literal 2 binary64) x) (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 x x #s(literal 0 binary64)))
(/.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))) (neg.f64 (fma.f64 x x #s(literal 0 binary64))))
(/.f64 (*.f64 #s(literal 0 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))) (*.f64 #s(literal 0 binary64) (fma.f64 x x #s(literal 0 binary64))))
(/.f64 (*.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) #s(literal 0 binary64)) (*.f64 (fma.f64 x x #s(literal 0 binary64)) #s(literal 0 binary64)))
(/.f64 (*.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))) (*.f64 (fma.f64 x x #s(literal 0 binary64)) (fma.f64 x x #s(literal 0 binary64))))
(/.f64 (pow.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) (pow.f64 (fma.f64 x x #s(literal 0 binary64)) #s(literal 3 binary64)))
(/.f64 #s(literal 0 binary64) #s(literal 0 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) (fma.f64 x x #s(literal 0 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 x x #s(literal 0 binary64)) (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) x))
(fma.f64 (*.f64 #s(literal 2 binary64) x) x (*.f64 (*.f64 #s(literal 2 binary64) x) x))
(fma.f64 x (*.f64 #s(literal 2 binary64) x) (*.f64 x (*.f64 #s(literal 2 binary64) x)))
(-.f64 (/.f64 (*.f64 x x) #s(literal 0 binary64)) (/.f64 (*.f64 x x) #s(literal 0 binary64)))
(exp.f64 (*.f64 (log.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 3 binary64)))
(+.f64 (*.f64 x (*.f64 #s(literal 2 binary64) x)) (*.f64 x (*.f64 #s(literal 2 binary64) x)))
(+.f64 (*.f64 (*.f64 #s(literal 2 binary64) x) x) (*.f64 (*.f64 #s(literal 2 binary64) x) x))
(+.f64 x x)

eval82.0ms (5.3%)

Memory
-72.3MiB live, 5.1MiB allocated
Compiler

Compiled 602 to 127 computations (78.9% saved)

prune2.0ms (0.1%)

Memory
2.9MiB live, 2.9MiB allocated
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New42143
Fresh000
Picked101
Done022
Total43346
Accuracy
100.0%
Counts
46 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(-.f64 (+.f64 x x) #s(literal 1 binary64))
▶51.1%
#s(approx (- (+ x x) 1) (+.f64 x x))
✓51.0%
#s(approx (- (+ x x) 1) #s(literal -1 binary64))
Compiler

Compiled 21 to 16 computations (23.8% saved)

simplify10.0ms (0.6%)

Memory
0.9MiB live, 0.9MiB allocated
Algorithm
1×egg-herbie
Localize:

Found 2 expressions of interest:

NewMetricScoreProgram
cost-diff-128
(+.f64 x x)
cost-diff0
#s(approx (- (+ x x) 1) (+.f64 x x))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0613
0713
11613
22013
32513
42913
53813
66713
715013
823613
925613
1025913
025912
Stop Event
1×iter limit
1×saturated
1×iter limit
Calls
Call 1
Inputs
#s(approx (- (+ x x) 1) (+.f64 x x))
(+.f64 x x)
x
Outputs
#s(approx (- (+ x x) 1) (+.f64 x x))
#s(approx (- (+ x x) 1) (*.f64 #s(literal 2 binary64) x))
(+.f64 x x)
(*.f64 #s(literal 2 binary64) x)
x

localize11.0ms (0.7%)

Memory
8.0MiB live, 8.0MiB allocated
Localize:

Found 2 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(+.f64 x x)
accuracy31.30871165422826
#s(approx (- (+ x x) 1) (+.f64 x x))
Samples
7.0ms256×0valid
Compiler

Compiled 24 to 12 computations (50% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.0ms
ival-sub: 1.0ms (35.1% of total)
ival-add: 1.0ms (35.1% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series1.0ms (0.1%)

Memory
1.4MiB live, 1.4MiB allocated
Counts
2 → 5
Calls
Call 1
Inputs
#s(approx (- (+ x x) 1) (+.f64 x x))
(+.f64 x x)
Outputs
-1
(- (* 2 x) 1)
(* 2 x)
(* x (- 2 (/ 1 x)))
(* -1 (* x (- (/ 1 x) 2)))
Calls

3 calls:

TimeVariablePointExpression
0.0ms
x
@inf
((- (+ x x) 1) (+ x x))
0.0ms
x
@-inf
((- (+ x x) 1) (+ x x))
0.0ms
x
@0
((- (+ x x) 1) (+ x x))

simplify8.0ms (0.5%)

Memory
4.8MiB live, 4.8MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01219
12819
26319
312019
413419
518819
622919
725419
826919
927519
1027619
027616
Stop Event
1×iter limit
1×saturated
Counts
5 → 5
Calls
Call 1
Inputs
-1
(- (* 2 x) 1)
(* 2 x)
(* x (- 2 (/ 1 x)))
(* -1 (* x (- (/ 1 x) 2)))
Outputs
-1
#s(literal -1 binary64)
(- (* 2 x) 1)
(fma.f64 #s(literal 2 binary64) x #s(literal -1 binary64))
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* x (- 2 (/ 1 x)))
(fma.f64 #s(literal 2 binary64) x #s(literal -1 binary64))
(* -1 (* x (- (/ 1 x) 2)))
(fma.f64 #s(literal 2 binary64) x #s(literal -1 binary64))

rewrite54.0ms (3.4%)

Memory
5.8MiB live, 43.7MiB allocated
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0612
0712
13712
030511
Stop Event
1×iter limit
1×iter limit
1×iter limit
1×unsound
1×iter limit
Counts
2 → 36
Calls
Call 1
Inputs
#s(approx (- (+ x x) 1) (+.f64 x x))
(+.f64 x x)
Outputs
#s(approx (- (+ x x) 1) (*.f64 #s(literal 2 binary64) x))
(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 2 binary64)) x)
(*.f64 #s(literal 4 binary64) (*.f64 x x))
(*.f64 (pow.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 3/2 binary64)) (pow.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 3/2 binary64)))
(*.f64 #s(literal 8 binary64) (pow.f64 x #s(literal 3 binary64)))
(*.f64 #s(literal 2 binary64) (*.f64 x (*.f64 #s(literal 2 binary64) x)))
(*.f64 #s(literal 2 binary64) (*.f64 x #s(literal 1 binary64)))
(*.f64 #s(literal 2 binary64) x)
(*.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) #s(literal 0 binary64)))
(*.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 x x #s(literal 0 binary64))))
(*.f64 (*.f64 #s(literal 2 binary64) x) (*.f64 #s(literal 2 binary64) x))
(*.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) x))
(*.f64 x #s(literal 2 binary64))
(pow.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 2 binary64))
(pow.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 3 binary64))
(/.f64 (*.f64 #s(literal 0 binary64) (*.f64 #s(literal 2 binary64) x)) #s(literal 0 binary64))
(/.f64 (*.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) (*.f64 #s(literal 2 binary64) x)) (fma.f64 x x #s(literal 0 binary64)))
(/.f64 (*.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) #s(literal 1 binary64)) (fma.f64 x x #s(literal 0 binary64)))
(/.f64 (*.f64 (*.f64 #s(literal 2 binary64) x) (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 x x #s(literal 0 binary64)))
(/.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))) (neg.f64 (fma.f64 x x #s(literal 0 binary64))))
(/.f64 (*.f64 #s(literal 0 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))) (*.f64 #s(literal 0 binary64) (fma.f64 x x #s(literal 0 binary64))))
(/.f64 (*.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) #s(literal 0 binary64)) (*.f64 (fma.f64 x x #s(literal 0 binary64)) #s(literal 0 binary64)))
(/.f64 (*.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))) (*.f64 (fma.f64 x x #s(literal 0 binary64)) (fma.f64 x x #s(literal 0 binary64))))
(/.f64 (pow.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) (pow.f64 (fma.f64 x x #s(literal 0 binary64)) #s(literal 3 binary64)))
(/.f64 #s(literal 0 binary64) #s(literal 0 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) (fma.f64 x x #s(literal 0 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 x x #s(literal 0 binary64)) (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) x))
(fma.f64 (*.f64 #s(literal 2 binary64) x) x (*.f64 (*.f64 #s(literal 2 binary64) x) x))
(fma.f64 x (*.f64 #s(literal 2 binary64) x) (*.f64 x (*.f64 #s(literal 2 binary64) x)))
(-.f64 (/.f64 (*.f64 x x) #s(literal 0 binary64)) (/.f64 (*.f64 x x) #s(literal 0 binary64)))
(exp.f64 (*.f64 (log.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 3 binary64)))
(+.f64 (*.f64 x (*.f64 #s(literal 2 binary64) x)) (*.f64 x (*.f64 #s(literal 2 binary64) x)))
(+.f64 (*.f64 (*.f64 #s(literal 2 binary64) x) x) (*.f64 (*.f64 #s(literal 2 binary64) x) x))
(+.f64 x x)

eval4.0ms (0.2%)

Memory
10.1MiB live, 10.1MiB allocated
Compiler

Compiled 554 to 116 computations (79.1% saved)

prune7.0ms (0.4%)

Memory
-26.1MiB live, 9.1MiB allocated
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New39039
Fresh000
Picked011
Done022
Total39342
Accuracy
100.0%
Counts
42 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(-.f64 (+.f64 x x) #s(literal 1 binary64))
✓51.1%
#s(approx (- (+ x x) 1) (+.f64 x x))
✓51.0%
#s(approx (- (+ x x) 1) #s(literal -1 binary64))
Compiler

Compiled 51 to 29 computations (43.1% saved)

regimes6.0ms (0.4%)

Memory
16.9MiB live, 16.9MiB allocated
Counts
4 → 1
Calls
Call 1
Inputs
#s(approx (- (+ x x) 1) #s(literal -1 binary64))
#s(approx (- (+ x x) 1) (+.f64 x x))
#s(approx (- (+ x x) 1) (*.f64 #s(literal 2 binary64) x))
(-.f64 (+.f64 x x) #s(literal 1 binary64))
Outputs
(-.f64 (+.f64 x x) #s(literal 1 binary64))
Calls

3 calls:

2.0ms
(+.f64 x x)
2.0ms
x
2.0ms
(-.f64 (+.f64 x x) #s(literal 1 binary64))
Results
AccuracySegmentsBranch
100.0%1x
100.0%1(-.f64 (+.f64 x x) #s(literal 1 binary64))
100.0%1(+.f64 x x)
Compiler

Compiled 9 to 7 computations (22.2% saved)

regimes7.0ms (0.4%)

Memory
-17.1MiB live, 20.5MiB allocated
Counts
3 → 3
Calls
Call 1
Inputs
#s(approx (- (+ x x) 1) #s(literal -1 binary64))
#s(approx (- (+ x x) 1) (+.f64 x x))
#s(approx (- (+ x x) 1) (*.f64 #s(literal 2 binary64) x))
Outputs
#s(approx (- (+ x x) 1) (+.f64 x x))
#s(approx (- (+ x x) 1) #s(literal -1 binary64))
#s(approx (- (+ x x) 1) (+.f64 x x))
Calls

3 calls:

2.0ms
(+.f64 x x)
2.0ms
x
1.0ms
(-.f64 (+.f64 x x) #s(literal 1 binary64))
Results
AccuracySegmentsBranch
98.7%3x
98.7%3(-.f64 (+.f64 x x) #s(literal 1 binary64))
98.7%3(+.f64 x x)
Compiler

Compiled 9 to 7 computations (22.2% saved)

regimes4.0ms (0.2%)

Memory
11.3MiB live, 11.3MiB allocated
Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts
1 → 1
Calls
Call 1
Inputs
#s(approx (- (+ x x) 1) #s(literal -1 binary64))
Outputs
#s(approx (- (+ x x) 1) #s(literal -1 binary64))
Calls

3 calls:

1.0ms
x
1.0ms
(+.f64 x x)
1.0ms
(-.f64 (+.f64 x x) #s(literal 1 binary64))
Results
AccuracySegmentsBranch
51.0%1x
51.0%1(-.f64 (+.f64 x x) #s(literal 1 binary64))
51.0%1(+.f64 x x)
Compiler

Compiled 9 to 7 computations (22.2% saved)

bsearch1.0ms (0%)

Memory
1.5MiB live, 1.5MiB allocated
Algorithm
2×left-value
Steps
TimeLeftRight
0.0ms
0.0018996607947670864
15251733.683785431
0.0ms
-9832362.845805809
-1.4849282432873588e-25
Compiler

Compiled 8 to 8 computations (0% saved)

simplify100.0ms (6.4%)

Memory
-1.4MiB live, 41.0MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01541
12841
23741
35441
47341
514041
624241
742541
8120641
9248741
10341041
11543441
12753141
Stop Event
1×node limit
Calls
Call 1
Inputs
(-.f64 (+.f64 x x) #s(literal 1 binary64))
(if (<=.f64 (+.f64 x x) #s(literal -5000000 binary64)) #s(approx (- (+ x x) 1) (+.f64 x x)) (if (<=.f64 (+.f64 x x) #s(literal 1152921504606847/576460752303423488 binary64)) #s(approx (- (+ x x) 1) #s(literal -1 binary64)) #s(approx (- (+ x x) 1) (+.f64 x x))))
#s(approx (- (+ x x) 1) #s(literal -1 binary64))
Outputs
(-.f64 (+.f64 x x) #s(literal 1 binary64))
(if (<=.f64 (+.f64 x x) #s(literal -5000000 binary64)) #s(approx (- (+ x x) 1) (+.f64 x x)) (if (<=.f64 (+.f64 x x) #s(literal 1152921504606847/576460752303423488 binary64)) #s(approx (- (+ x x) 1) #s(literal -1 binary64)) #s(approx (- (+ x x) 1) (+.f64 x x))))
(if (or (<=.f64 (+.f64 x x) #s(literal -5000000 binary64)) (not (<=.f64 (+.f64 x x) #s(literal 1152921504606847/576460752303423488 binary64)))) #s(approx (- (+ x x) 1) (+.f64 x x)) #s(approx (- (+ x x) 1) #s(literal -1 binary64)))
#s(approx (- (+ x x) 1) #s(literal -1 binary64))

soundness148.0ms (9.4%)

Memory
0.9MiB live, 74.6MiB allocated
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0712
0812
13812
031111
01219
12819
26319
312019
413419
518819
622919
725419
826919
927519
1027619
027616
01219
12819
26319
312019
413419
518819
622919
725419
826919
927519
1027619
027616
Stop Event
1×done
1×iter limit
1×saturated
1×iter limit
1×saturated
1×iter limit
1×iter limit
1×iter limit
1×unsound
1×iter limit
Compiler

Compiled 56 to 33 computations (41.1% saved)

preprocess66.0ms (4.2%)

Memory
-0.4MiB live, 36.5MiB allocated
Compiler

Compiled 92 to 42 computations (54.3% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...