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

Time bar (total: 1.5s)

start0.0ms (0%)

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

sample629.0ms (42.7%)

Memory
-21.4MiB live, 569.8MiB allocated
Samples
289.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 142.0ms
ival-add: 79.0ms (55.8% of total)
ival-sub: 49.0ms (34.6% of total)
ival-true: 5.0ms (3.5% of total)
exact: 5.0ms (3.5% of total)
ival-assert: 3.0ms (2.1% of total)
Bogosity

explain46.0ms (3.2%)

Memory
13.7MiB live, 88.6MiB 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
18.0ms512×0valid
Compiler

Compiled 29 to 16 computations (44.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.0ms
ival-add: 5.0ms (58.5% of total)
ival-sub: 2.0ms (23.4% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess26.0ms (1.8%)

Memory
0.6MiB live, 46.7MiB 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.8MiB live, 0.8MiB 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
11.5MiB live, 11.5MiB allocated
Algorithm
1×egg-herbie
Localize:

Found 2 expressions of interest:

NewMetricScoreProgram
cost-diff0
(+.f64 x x)
cost-diff1
(-.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)

localize15.0ms (1%)

Memory
-18.5MiB live, 19.0MiB allocated
Localize:

Found 2 expressions of interest:

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

Compiled 12 to 6 computations (50% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.0ms
ival-add: 5.0ms (74.1% of total)
ival-sub: 1.0ms (14.8% 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.4MiB live, 2.4MiB 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
@0
((- (+ x x) 1) (+ x x))
0.0ms
x
@-inf
((- (+ x x) 1) (+ x x))

simplify9.0ms (0.6%)

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

rewrite52.0ms (3.5%)

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

eval11.0ms (0.7%)

Memory
-16.6MiB live, 21.1MiB allocated
Compiler

Compiled 735 to 172 computations (76.6% saved)

prune2.0ms (0.1%)

Memory
5.6MiB live, 5.6MiB 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.2%
#s(approx (- (+ x x) 1) #s(literal -1 binary64))
Compiler

Compiled 12 to 10 computations (16.7% saved)

simplify15.0ms (1%)

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

localize10.0ms (0.7%)

Memory
15.0MiB live, 15.0MiB allocated
Localize:

Found 1 expressions of interest:

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

Compiled 8 to 7 computations (12.5% 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
0.5MiB live, 0.5MiB 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))

simplify8.0ms (0.6%)

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

rewrite39.0ms (2.7%)

Memory
2.2MiB live, 40.4MiB 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
1.0MiB live, 1.0MiB allocated
Compiler

Compiled 26 to 11 computations (57.7% saved)

prune1.0ms (0.1%)

Memory
2.4MiB live, 2.4MiB 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))
▶48.3%
#s(approx (- (+ x x) 1) (*.f64 #s(literal 2 binary64) x))
✓51.2%
#s(approx (- (+ x x) 1) #s(literal -1 binary64))
Compiler

Compiled 21 to 17 computations (19% saved)

simplify15.0ms (1%)

Memory
-26.0MiB live, 11.6MiB 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
29.6MiB live, 29.6MiB allocated
Localize:

Found 2 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(*.f64 #s(literal 2 binary64) x)
accuracy33.05742598338539
#s(approx (- (+ x x) 1) (*.f64 #s(literal 2 binary64) x))
Samples
9.0ms256×0valid
Compiler

Compiled 12 to 8 computations (33.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.0ms
ival-mult: 2.0ms (44.2% of total)
ival-sub: 1.0ms (22.1% of total)
ival-add: 1.0ms (22.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
2.5MiB live, 2.5MiB 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))

simplify13.0ms (0.9%)

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

rewrite61.0ms (4.1%)

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

eval4.0ms (0.3%)

Memory
3.4MiB live, 3.4MiB allocated
Compiler

Compiled 602 to 127 computations (78.9% saved)

prune2.0ms (0.1%)

Memory
2.3MiB live, 2.3MiB 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))
▶48.3%
#s(approx (- (+ x x) 1) (+.f64 x x))
✓51.2%
#s(approx (- (+ x x) 1) #s(literal -1 binary64))
Compiler

Compiled 21 to 16 computations (23.8% saved)

simplify10.0ms (0.7%)

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

Found 2 expressions of interest:

NewMetricScoreProgram
cost-diff0
(+.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
5.1MiB live, 5.1MiB allocated
Localize:

Found 2 expressions of interest:

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

Compiled 11 to 6 computations (45.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.0ms
ival-sub: 1.0ms (36.1% of total)
ival-add: 1.0ms (36.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
0.6MiB live, 0.6MiB 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
0.8MiB live, 0.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))

rewrite41.0ms (2.8%)

Memory
20.7MiB live, 20.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)

eval50.0ms (3.4%)

Memory
-26.3MiB live, 10.0MiB allocated
Compiler

Compiled 554 to 116 computations (79.1% saved)

prune2.0ms (0.2%)

Memory
3.2MiB live, 3.2MiB 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))
✓48.3%
#s(approx (- (+ x x) 1) (+.f64 x x))
✓51.2%
#s(approx (- (+ x x) 1) #s(literal -1 binary64))
Compiler

Compiled 51 to 29 computations (43.1% saved)

regimes6.0ms (0.4%)

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

regimes5.0ms (0.4%)

Memory
7.1MiB live, 7.1MiB 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
2.0ms
(-.f64 (+.f64 x x) #s(literal 1 binary64))
Results
AccuracySegmentsBranch
95.9%3x
95.9%3(-.f64 (+.f64 x x) #s(literal 1 binary64))
95.9%3(+.f64 x x)
Compiler

Compiled 9 to 7 computations (22.2% saved)

regimes4.0ms (0.2%)

Memory
6.5MiB live, 6.5MiB 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
(+.f64 x x)
1.0ms
x
1.0ms
(-.f64 (+.f64 x x) #s(literal 1 binary64))
Results
AccuracySegmentsBranch
51.2%1x
51.2%1(-.f64 (+.f64 x x) #s(literal 1 binary64))
51.2%1(+.f64 x x)
Compiler

Compiled 9 to 7 computations (22.2% saved)

bsearch1.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated
Algorithm
2×left-value
Steps
TimeLeftRight
0.0ms
0.01072780597284554
3058.5676442976323
0.0ms
-2.640882945337239
-0.010198649017837845
Compiler

Compiled 8 to 8 computations (0% saved)

simplify184.0ms (12.5%)

Memory
-19.8MiB live, 52.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 -2 binary64)) #s(approx (- (+ x x) 1) (+.f64 x x)) (if (<=.f64 (+.f64 x x) #s(literal 5764607523034235/288230376151711744 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 -2 binary64)) #s(approx (- (+ x x) 1) (+.f64 x x)) (if (<=.f64 (+.f64 x x) #s(literal 5764607523034235/288230376151711744 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 -2 binary64)) (not (<=.f64 (+.f64 x x) #s(literal 5764607523034235/288230376151711744 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))

soundness147.0ms (10%)

Memory
-35.4MiB live, 47.2MiB allocated
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01219
12819
26319
312019
413419
518819
622919
725419
826919
927519
1027619
027616
0712
0812
13812
031111
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×iter limit
1×iter limit
1×unsound
1×iter limit
1×iter limit
1×saturated
Compiler

Compiled 56 to 33 computations (41.1% saved)

preprocess19.0ms (1.3%)

Memory
22.8MiB live, 22.8MiB allocated
Compiler

Compiled 92 to 42 computations (54.3% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...