Data.Colour.CIE:cieLAB from colour-2.3.3, D

Time bar (total: 646.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 7 to 7 computations (0% saved)

sample518.0ms (80.2%)

Memory
-26.2MiB live, 879.8MiB allocated
Samples
315.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 128.0ms
ival-div: 69.0ms (53.8% of total)
ival-sub: 46.0ms (35.8% of total)
ival-true: 6.0ms (4.7% of total)
exact: 5.0ms (3.9% of total)
ival-assert: 3.0ms (2.3% of total)
Bogosity

explain51.0ms (8%)

Memory
15.4MiB live, 92.8MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
00-0-y
00-0-#s(literal 200 binary64)
00-0-(-.f64 x (/.f64 y #s(literal 200 binary64)))
00-0-(/.f64 y #s(literal 200 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
20.0ms512×0valid
Compiler

Compiled 42 to 24 computations (42.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.0ms
ival-div: 4.0ms (53.5% of total)
ival-sub: 2.0ms (26.8% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess4.0ms (0.7%)

Memory
-39.8MiB live, 4.6MiB allocated
Algorithm
egg-herbie
Calls
Call 1
Inputs
(-.f64 x (/.f64 y #s(literal 200 binary64)))
Outputs
(-.f64 x (/.f64 y #s(literal 200 binary64)))
Compiler

Compiled 5 to 5 computations (0% saved)

eval0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated
Compiler

Compiled 0 to 2 computations (-∞% saved)

prune0.0ms (0.1%)

Memory
1.0MiB live, 1.0MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(-.f64 x (/.f64 y #s(literal 200 binary64)))
Compiler

Compiled 5 to 5 computations (0% saved)

simplify0.0ms (0%)

Memory
0.7MiB live, 0.7MiB allocated
Algorithm
egg-herbie
Localize:

Found 2 expressions of interest:

NewMetricScoreProgram
cost-diff0
(/.f64 y #s(literal 200 binary64))
cost-diff0
(-.f64 x (/.f64 y #s(literal 200 binary64)))
Calls
Call 1
Inputs
(-.f64 x (/.f64 y #s(literal 200 binary64)))
x
(/.f64 y #s(literal 200 binary64))
y
#s(literal 200 binary64)
Outputs
(-.f64 x (/.f64 y #s(literal 200 binary64)))
x
(/.f64 y #s(literal 200 binary64))
y
#s(literal 200 binary64)

localize13.0ms (2.1%)

Memory
21.8MiB live, 21.8MiB allocated
Localize:

Found 2 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(/.f64 y #s(literal 200 binary64))
accuracy0.015625
(-.f64 x (/.f64 y #s(literal 200 binary64)))
Samples
9.0ms256×0valid
Compiler

Compiled 24 to 12 computations (50% saved)

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

series3.0ms (0.4%)

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

6 calls:

TimeVariablePointExpression
1.0ms
y
@-inf
((- x (/ y 200)) (/ y 200))
1.0ms
y
@inf
((- x (/ y 200)) (/ y 200))
0.0ms
y
@0
((- x (/ y 200)) (/ y 200))
0.0ms
x
@inf
((- x (/ y 200)) (/ y 200))
0.0ms
x
@0
((- x (/ y 200)) (/ y 200))

simplify0.0ms (0.1%)

Memory
0.8MiB live, 0.8MiB allocated
Algorithm
egg-herbie
Counts
9 → 2
Calls
Call 1
Inputs
(* -1/200 y)
(- x (* 1/200 y))
x
(* x (+ 1 (* -1/200 (/ y x))))
(* -1 (* x (- (* 1/200 (/ y x)) 1)))
(+ x (* -1/200 y))
(* 1/200 y)
(* y (- (/ x y) 1/200))
(* -1 (* y (+ 1/200 (* -1 (/ x y)))))
Outputs
(* -1/200 y)
(-.f64 x (/.f64 y #s(literal 200 binary64)))
(- x (* 1/200 y))
(/.f64 y #s(literal 200 binary64))

rewrite0.0ms (0%)

Memory
1.3MiB live, 1.3MiB allocated
Counts
2 → 2
Calls
Call 1
Inputs
(-.f64 x (/.f64 y #s(literal 200 binary64)))
(/.f64 y #s(literal 200 binary64))
Outputs
(-.f64 x (/.f64 y #s(literal 200 binary64)))
(/.f64 y #s(literal 200 binary64))

eval1.0ms (0.1%)

Memory
1.4MiB live, 1.4MiB allocated
Compiler

Compiled 30 to 10 computations (66.7% saved)

prune1.0ms (0.1%)

Memory
1.8MiB live, 1.8MiB allocated
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New314
Fresh000
Picked011
Done000
Total325
Accuracy
100.0%
Counts
5 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(-.f64 x (/.f64 y #s(literal 200 binary64)))
2.3%
#s(approx (- x (/ y 200)) (/.f64 y #s(literal 200 binary64)))
Compiler

Compiled 14 to 13 computations (7.1% saved)

simplify0.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated
Algorithm
egg-herbie
Localize:

Found 2 expressions of interest:

NewMetricScoreProgram
cost-diff0
(/.f64 y #s(literal 200 binary64))
cost-diff0
#s(approx (- x (/ y 200)) (/.f64 y #s(literal 200 binary64)))
Calls
Call 1
Inputs
#s(approx (- x (/ y 200)) (/.f64 y #s(literal 200 binary64)))
(/.f64 y #s(literal 200 binary64))
y
#s(literal 200 binary64)
Outputs
#s(approx (- x (/ y 200)) (/.f64 y #s(literal 200 binary64)))
(/.f64 y #s(literal 200 binary64))
y
#s(literal 200 binary64)

localize15.0ms (2.3%)

Memory
-13.8MiB live, 24.6MiB allocated
Localize:

Found 2 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(/.f64 y #s(literal 200 binary64))
accuracy62.55054663814906
#s(approx (- x (/ y 200)) (/.f64 y #s(literal 200 binary64)))
Samples
11.0ms256×0valid
Compiler

Compiled 26 to 15 computations (42.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.0ms
ival-div: 2.0ms (55.2% of total)
ival-sub: 1.0ms (27.6% 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.2%)

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

6 calls:

TimeVariablePointExpression
0.0ms
y
@inf
((- x (/ y 200)) (/ y 200))
0.0ms
y
@-inf
((- x (/ y 200)) (/ y 200))
0.0ms
x
@inf
((- x (/ y 200)) (/ y 200))
0.0ms
x
@-inf
((- x (/ y 200)) (/ y 200))
0.0ms
y
@0
((- x (/ y 200)) (/ y 200))

simplify0.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated
Algorithm
egg-herbie
Counts
9 → 2
Calls
Call 1
Inputs
(* -1/200 y)
(- x (* 1/200 y))
x
(* x (+ 1 (* -1/200 (/ y x))))
(* -1 (* x (- (* 1/200 (/ y x)) 1)))
(+ x (* -1/200 y))
(* 1/200 y)
(* y (- (/ x y) 1/200))
(* -1 (* y (+ 1/200 (* -1 (/ x y)))))
Outputs
(* -1/200 y)
#s(approx (- x (/ y 200)) (/.f64 y #s(literal 200 binary64)))
(- x (* 1/200 y))
(/.f64 y #s(literal 200 binary64))

rewrite0.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated
Counts
2 → 2
Calls
Call 1
Inputs
#s(approx (- x (/ y 200)) (/.f64 y #s(literal 200 binary64)))
(/.f64 y #s(literal 200 binary64))
Outputs
#s(approx (- x (/ y 200)) (/.f64 y #s(literal 200 binary64)))
(/.f64 y #s(literal 200 binary64))

eval0.0ms (0.1%)

Memory
0.8MiB live, 0.8MiB allocated
Compiler

Compiled 33 to 9 computations (72.7% saved)

prune2.0ms (0.2%)

Memory
3.0MiB live, 3.0MiB allocated
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New303
Fresh000
Picked011
Done011
Total325
Accuracy
100.0%
Counts
5 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(-.f64 x (/.f64 y #s(literal 200 binary64)))
2.3%
#s(approx (- x (/ y 200)) (/.f64 y #s(literal 200 binary64)))
Compiler

Compiled 28 to 22 computations (21.4% saved)

regimes7.0ms (1.1%)

Memory
-22.8MiB live, 15.5MiB allocated
Counts
2 → 1
Calls
Call 1
Inputs
#s(approx (- x (/ y 200)) (/.f64 y #s(literal 200 binary64)))
(-.f64 x (/.f64 y #s(literal 200 binary64)))
Outputs
(-.f64 x (/.f64 y #s(literal 200 binary64)))
Calls

4 calls:

3.0ms
y
1.0ms
(/.f64 y #s(literal 200 binary64))
1.0ms
(-.f64 x (/.f64 y #s(literal 200 binary64)))
1.0ms
x
Results
AccuracySegmentsBranch
100.0%1x
100.0%1y
100.0%1(-.f64 x (/.f64 y #s(literal 200 binary64)))
100.0%1(/.f64 y #s(literal 200 binary64))
Compiler

Compiled 10 to 13 computations (-30% saved)

regimes5.0ms (0.8%)

Memory
14.1MiB live, 14.1MiB allocated
Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts
1 → 1
Calls
Call 1
Inputs
#s(approx (- x (/ y 200)) (/.f64 y #s(literal 200 binary64)))
Outputs
#s(approx (- x (/ y 200)) (/.f64 y #s(literal 200 binary64)))
Calls

4 calls:

1.0ms
(/.f64 y #s(literal 200 binary64))
1.0ms
(-.f64 x (/.f64 y #s(literal 200 binary64)))
1.0ms
y
1.0ms
x
Results
AccuracySegmentsBranch
2.3%1x
2.3%1y
2.3%1(-.f64 x (/.f64 y #s(literal 200 binary64)))
2.3%1(/.f64 y #s(literal 200 binary64))
Compiler

Compiled 10 to 13 computations (-30% saved)

simplify5.0ms (0.7%)

Memory
10.7MiB live, 10.7MiB allocated
Algorithm
egg-herbie
Calls
Call 1
Inputs
(-.f64 x (/.f64 y #s(literal 200 binary64)))
#s(approx (- x (/ y 200)) (/.f64 y #s(literal 200 binary64)))
Outputs
(-.f64 x (/.f64 y #s(literal 200 binary64)))
#s(approx (- x (/ y 200)) (/.f64 y #s(literal 200 binary64)))

soundness0.0ms (0.1%)

Memory
0.8MiB live, 0.8MiB allocated
Stop Event
done
Compiler

Compiled 14 to 9 computations (35.7% saved)

preprocess16.0ms (2.5%)

Memory
-5.4MiB live, 33.2MiB allocated
Compiler

Compiled 38 to 28 computations (26.3% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...