Data.Colour.CIE:lightness from colour-2.3.3

Time bar (total: 1.5s)

start0.0ms (0.0%)

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

analyze0.0ms (0.0%)

Memory
0.7MiB live, 0.7MiB allocated; 0ms collecting garbage
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0.0%0.0%100.0%0.0%0.0%0.0%0.0%0
100.0%100.0%0.0%0.0%0.0%0.0%0.0%1
Compiler

Compiled 7 to 7 computations (0.0% saved)

sample540.0ms (36.2%)

Memory
16.8MiB live, 1 541.2MiB allocated; 231ms collecting garbage
Samples
325.0ms8 196×0valid
3.0ms31×2valid
2.0ms29×1valid
Precisions
Click to see histograms. Total time spent on operations: 117.0ms
ival-mult!: 82.0ms (70.0% of total)
ival-sub!: 31.0ms (26.5% of total)
adjust: 4.0ms (3.4% of total)
Bogosity

preprocess19.0ms (1.3%)

Memory
-2.6MiB live, 42.1MiB allocated; 7ms collecting garbage
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0917
12015
24115
37515
47615
Stop Event
saturated
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(-.f64 (*.f64 x #s(literal 116 binary64)) #s(literal 16 binary64))
Compiler

Compiled 10 to 10 computations (0.0% saved)

sample0.0ms (0.0%)

Memory
0.5MiB live, 0.5MiB allocated; 0ms collecting garbage
Calls
Call 1
Inputs
116
16
Outputs
#s(literal 116 binary64)
#s(literal 16 binary64)
Samples
0.0ms0valid
Compiler

Compiled 4 to 4 computations (0.0% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
adjust: 0.0ms (0.0% of total)

series18.0ms (1.2%)

Memory
-10.4MiB live, 41.0MiB allocated; 10ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02360
Stop Event
iter-limit
Counts
5 → 6
Calls
Call 1
Inputs
x
#s(literal 116 binary64)
(*.f64 x #s(literal 116 binary64))
#s(literal 16 binary64)
(-.f64 (*.f64 x #s(literal 116 binary64)) #s(literal 16 binary64))
Outputs
#s(approx x x)
#s(approx (* x 116) (*.f64 #s(literal 116 binary64) x))
#s(approx (- (* x 116) 16) #s(literal -16 binary64))
#s(approx (- (* x 116) 16) (-.f64 (*.f64 #s(literal 116 binary64) x) #s(literal 16 binary64)))
#s(approx (- (* x 116) 16) (*.f64 x (-.f64 #s(literal 116 binary64) (*.f64 #s(literal 16 binary64) (/.f64 #s(literal 1 binary64) x)))))
#s(approx (- (* x 116) 16) (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal 16 binary64) (/.f64 #s(literal 1 binary64) x)) #s(literal 116 binary64)))))
Calls

3 calls:

TimeVariablePoint
6.0ms
x
-inf
1.0ms
x
inf
0.0ms
x
0

rewrite299.0ms (20.1%)

Memory
-14.9MiB live, 265.2MiB allocated; 28ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0511
0711
13011
26911
315111
430211
562711
6331611
0445411
Stop Event
iter-limit
node-limit
iter-limit
Counts
5 → 27
Calls
Call 1
Inputs
x
#s(literal 116 binary64)
(*.f64 x #s(literal 116 binary64))
#s(literal 16 binary64)
(-.f64 (*.f64 x #s(literal 116 binary64)) #s(literal 16 binary64))
Outputs
x
#s(literal 116 binary64)
(*.f64 #s(literal -116 binary64) (neg.f64 x))
(*.f64 (neg.f64 x) #s(literal -116 binary64))
(*.f64 #s(literal 116 binary64) x)
(*.f64 x #s(literal 116 binary64))
(neg.f64 (*.f64 #s(literal -116 binary64) x))
#s(literal 16 binary64)
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 (*.f64 #s(literal -116 binary64) x) #s(literal -16 binary64))) #s(literal -16 binary64))
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 #s(literal 116 binary64) x) #s(literal -16 binary64))) #s(literal -16 binary64))
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 #s(literal -16 binary64) (*.f64 #s(literal 116 binary64) x))) (*.f64 #s(literal 116 binary64) x))
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 16 binary64) (*.f64 #s(literal 116 binary64) x))) (*.f64 #s(literal 116 binary64) x))
(/.f64 (-.f64 (*.f64 #s(literal -16 binary64) #s(literal -16 binary64)) (*.f64 (*.f64 #s(literal -116 binary64) x) (*.f64 #s(literal -116 binary64) x))) (+.f64 #s(literal -16 binary64) (*.f64 #s(literal -116 binary64) x)))
(/.f64 (-.f64 (pow.f64 #s(literal -16 binary64) #s(literal 3 binary64)) (pow.f64 (*.f64 #s(literal -116 binary64) x) #s(literal 3 binary64))) (+.f64 (*.f64 #s(literal -16 binary64) #s(literal -16 binary64)) (+.f64 (*.f64 (*.f64 #s(literal -116 binary64) x) (*.f64 #s(literal -116 binary64) x)) (*.f64 #s(literal -16 binary64) (*.f64 #s(literal -116 binary64) x)))))
(/.f64 (-.f64 (*.f64 #s(literal -16 binary64) #s(literal -16 binary64)) (*.f64 (*.f64 #s(literal 116 binary64) x) (*.f64 #s(literal 116 binary64) x))) (-.f64 #s(literal -16 binary64) (*.f64 #s(literal 116 binary64) x)))
(/.f64 (+.f64 (pow.f64 #s(literal -16 binary64) #s(literal 3 binary64)) (pow.f64 (*.f64 #s(literal 116 binary64) x) #s(literal 3 binary64))) (+.f64 (*.f64 #s(literal -16 binary64) #s(literal -16 binary64)) (-.f64 (*.f64 (*.f64 #s(literal 116 binary64) x) (*.f64 #s(literal 116 binary64) x)) (*.f64 #s(literal -16 binary64) (*.f64 #s(literal 116 binary64) x)))))
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 116 binary64) x) (*.f64 #s(literal 116 binary64) x)) (*.f64 #s(literal -16 binary64) #s(literal -16 binary64))) (-.f64 (*.f64 #s(literal 116 binary64) x) #s(literal -16 binary64)))
(/.f64 (+.f64 (pow.f64 (*.f64 #s(literal 116 binary64) x) #s(literal 3 binary64)) (pow.f64 #s(literal -16 binary64) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 #s(literal 116 binary64) x) (*.f64 #s(literal 116 binary64) x)) (-.f64 (*.f64 #s(literal -16 binary64) #s(literal -16 binary64)) (*.f64 (*.f64 #s(literal 116 binary64) x) #s(literal -16 binary64)))))
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 116 binary64) x) (*.f64 #s(literal 116 binary64) x)) (*.f64 #s(literal 16 binary64) #s(literal 16 binary64))) (+.f64 (*.f64 #s(literal 116 binary64) x) #s(literal 16 binary64)))
(/.f64 (-.f64 (pow.f64 (*.f64 #s(literal 116 binary64) x) #s(literal 3 binary64)) (pow.f64 #s(literal 16 binary64) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 #s(literal 116 binary64) x) (*.f64 #s(literal 116 binary64) x)) (+.f64 (*.f64 #s(literal 16 binary64) #s(literal 16 binary64)) (*.f64 (*.f64 #s(literal 116 binary64) x) #s(literal 16 binary64)))))
(neg.f64 (-.f64 #s(literal 16 binary64) (*.f64 #s(literal 116 binary64) x)))
(-.f64 (-.f64 (*.f64 #s(literal 116 binary64) x) #s(literal 8 binary64)) #s(literal 8 binary64))
(-.f64 #s(literal -16 binary64) (*.f64 #s(literal -116 binary64) x))
(-.f64 (-.f64 (*.f64 #s(literal 116 binary64) x) #s(literal 16 binary64)) #s(literal 0 binary64))
(-.f64 (*.f64 #s(literal 116 binary64) x) #s(literal 16 binary64))
(+.f64 #s(literal -16 binary64) (*.f64 #s(literal 116 binary64) x))
(+.f64 (*.f64 #s(literal 116 binary64) x) #s(literal -16 binary64))

eval2.0ms (0.2%)

Memory
10.0MiB live, 10.0MiB allocated; 0ms collecting garbage
Compiler

Compiled 345 to 102 computations (70.4% saved)

prune1.0ms (0.1%)

Memory
4.7MiB live, 4.7MiB allocated; 0ms collecting garbage
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New28129
Fresh000
Picked101
Done-110
Total28230
Accuracy
100.0%
Counts
30 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(-.f64 (*.f64 x #s(literal 116 binary64)) #s(literal 16 binary64))
54.7%
#s(approx (- (* x 116) 16) #s(literal -16 binary64))
Compiler

Compiled 12 to 12 computations (0.0% saved)

sample0.0ms (0.0%)

Memory
0.5MiB live, 0.5MiB allocated; 0ms collecting garbage
Calls
Call 1
Inputs
-16
Outputs
#s(literal -16 binary64)
Samples
0.0ms0valid
Compiler

Compiled 3 to 3 computations (0.0% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
adjust: 0.0ms (0.0% of total)

series4.0ms (0.3%)

Memory
13.2MiB live, 13.2MiB allocated; 0ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02259
Stop Event
iter-limit
Counts
2 → 5
Calls
Call 1
Inputs
#s(literal -16 binary64)
#s(approx (- (* x 116) 16) #s(literal -16 binary64))
Outputs
#s(approx (- (* x 116) 16) #s(literal -16 binary64))
#s(approx (- (* x 116) 16) (-.f64 (*.f64 #s(literal 116 binary64) x) #s(literal 16 binary64)))
#s(approx (- (* x 116) 16) (*.f64 #s(literal 116 binary64) x))
#s(approx (- (* x 116) 16) (*.f64 x (-.f64 #s(literal 116 binary64) (*.f64 #s(literal 16 binary64) (/.f64 #s(literal 1 binary64) x)))))
#s(approx (- (* x 116) 16) (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal 16 binary64) (/.f64 #s(literal 1 binary64) x)) #s(literal 116 binary64)))))
Calls

3 calls:

TimeVariablePoint
0.0ms
x
inf
0.0ms
x
-inf
0.0ms
x
0

rewrite258.0ms (17.3%)

Memory
0.7MiB live, 190.9MiB allocated; 20ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
078
078
1298
2688
31508
43018
56268
633158
044538
Stop Event
iter-limit
node-limit
saturated
Counts
2 → 2
Calls
Call 1
Inputs
#s(literal -16 binary64)
#s(approx (- (* x 116) 16) #s(literal -16 binary64))
Outputs
#s(literal -16 binary64)
#s(approx (- (* x 116) 16) #s(literal -16 binary64))

eval1.0ms (0.0%)

Memory
2.6MiB live, 2.6MiB allocated; 0ms collecting garbage
Compiler

Compiled 59 to 24 computations (59.3% saved)

prune1.0ms (0.1%)

Memory
3.9MiB live, 3.9MiB allocated; 0ms collecting garbage
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New415
Fresh000
Picked101
Done-121
Total437
Accuracy
100.0%
Counts
7 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(-.f64 (*.f64 x #s(literal 116 binary64)) #s(literal 16 binary64))
46.2%
#s(approx (- (* x 116) 16) (*.f64 #s(literal 116 binary64) x))
54.7%
#s(approx (- (* x 116) 16) #s(literal -16 binary64))
Compiler

Compiled 21 to 20 computations (4.8% saved)

sample0.0ms (0.0%)

Memory
0.5MiB live, 0.5MiB allocated; 0ms collecting garbage
Calls
Call 1
Inputs
116
Outputs
#s(literal 116 binary64)
Samples
0.0ms0valid
Compiler

Compiled 3 to 3 computations (0.0% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
adjust: 0.0ms (0.0% of total)

series7.0ms (0.4%)

Memory
-31.1MiB live, 14.9MiB allocated; 3ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02360
Stop Event
iter-limit
Counts
4 → 6
Calls
Call 1
Inputs
x
#s(literal 116 binary64)
(*.f64 #s(literal 116 binary64) x)
#s(approx (- (* x 116) 16) (*.f64 #s(literal 116 binary64) x))
Outputs
#s(approx x x)
#s(approx (* 116 x) (*.f64 #s(literal 116 binary64) x))
#s(approx (- (* x 116) 16) #s(literal -16 binary64))
#s(approx (- (* x 116) 16) (-.f64 (*.f64 #s(literal 116 binary64) x) #s(literal 16 binary64)))
#s(approx (- (* x 116) 16) (*.f64 x (-.f64 #s(literal 116 binary64) (*.f64 #s(literal 16 binary64) (/.f64 #s(literal 1 binary64) x)))))
#s(approx (- (* x 116) 16) (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal 16 binary64) (/.f64 #s(literal 1 binary64) x)) #s(literal 116 binary64)))))
Calls

3 calls:

TimeVariablePoint
1.0ms
x
-inf
0.0ms
x
inf
0.0ms
x
0

rewrite262.0ms (17.6%)

Memory
3.5MiB live, 346.6MiB allocated; 36ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0714
0814
13114
27014
315214
430314
562814
6331714
0445514
Stop Event
iter-limit
node-limit
iter-limit
Counts
4 → 8
Calls
Call 1
Inputs
x
#s(literal 116 binary64)
(*.f64 #s(literal 116 binary64) x)
#s(approx (- (* x 116) 16) (*.f64 #s(literal 116 binary64) x))
Outputs
x
#s(literal 116 binary64)
(*.f64 #s(literal -116 binary64) (neg.f64 x))
(*.f64 (neg.f64 x) #s(literal -116 binary64))
(*.f64 #s(literal 116 binary64) x)
(*.f64 x #s(literal 116 binary64))
(neg.f64 (*.f64 #s(literal -116 binary64) x))
#s(approx (- (* x 116) 16) (*.f64 #s(literal 116 binary64) x))

eval1.0ms (0.1%)

Memory
4.4MiB live, 4.4MiB allocated; 0ms collecting garbage
Compiler

Compiled 122 to 41 computations (66.4% saved)

prune1.0ms (0.1%)

Memory
5.5MiB live, 5.5MiB allocated; 0ms collecting garbage
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New11011
Fresh000
Picked101
Done-132
Total11314
Accuracy
100.0%
Counts
14 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(-.f64 (*.f64 x #s(literal 116 binary64)) #s(literal 16 binary64))
46.2%
#s(approx (- (* x 116) 16) (*.f64 #s(literal 116 binary64) x))
54.7%
#s(approx (- (* x 116) 16) #s(literal -16 binary64))
Compiler

Compiled 21 to 20 computations (4.8% saved)

regimes18.0ms (1.2%)

Memory
15.6MiB live, 61.9MiB allocated; 2ms collecting garbage
Counts
1 → 1
2 → 3
3 → 1
Calls
Call 1
Inputs
#s(approx (- (* x 116) 16) #s(literal -16 binary64))
Outputs
#s(approx (- (* x 116) 16) #s(literal -16 binary64))
Call 2
Inputs
#s(approx (- (* x 116) 16) #s(literal -16 binary64))
#s(approx (- (* x 116) 16) (*.f64 #s(literal 116 binary64) x))
Outputs
#s(approx (- (* x 116) 16) (*.f64 #s(literal 116 binary64) x))
#s(approx (- (* x 116) 16) #s(literal -16 binary64))
#s(approx (- (* x 116) 16) (*.f64 #s(literal 116 binary64) x))
Call 3
Inputs
#s(approx (- (* x 116) 16) #s(literal -16 binary64))
#s(approx (- (* x 116) 16) (*.f64 #s(literal 116 binary64) x))
(-.f64 (*.f64 x #s(literal 116 binary64)) #s(literal 16 binary64))
Outputs
(-.f64 (*.f64 x #s(literal 116 binary64)) #s(literal 16 binary64))
Calls

9 calls:

4.0ms
(-.f64 (*.f64 x #s(literal 116 binary64)) #s(literal 16 binary64))
2.0ms
(*.f64 x #s(literal 116 binary64))
2.0ms
x
2.0ms
x
2.0ms
(*.f64 x #s(literal 116 binary64))
Results
AccuracySegmentsBranch
54.7%1(*.f64 x #s(literal 116 binary64))
54.7%1(-.f64 (*.f64 x #s(literal 116 binary64)) #s(literal 16 binary64))
54.7%1x
97.1%3(*.f64 x #s(literal 116 binary64))
97.1%3(-.f64 (*.f64 x #s(literal 116 binary64)) #s(literal 16 binary64))
97.1%3x
100.0%1(*.f64 x #s(literal 116 binary64))
100.0%1(-.f64 (*.f64 x #s(literal 116 binary64)) #s(literal 16 binary64))
100.0%1x
Compiler

Compiled 48 to 40 computations (16.7% saved)

bsearch25.0ms (1.7%)

Memory
-42.6MiB live, 52.5MiB allocated; 11ms collecting garbage
Algorithm
binary-search
Stop Event
narrow-enough
narrow-enough
Steps
TimeLeftRight
10.0ms
2.566886453799183e-6
4578014302.811201
11.0ms
-15.013583739925064
-0.11657795309583162
Samples
7.0ms272×0valid
Compiler

Compiled 280 to 298 computations (-6.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.0ms
ival-sub!: 1.0ms (45.5% of total)
ival-mult!: 1.0ms (45.5% of total)
adjust: 0.0ms (0.0% of total)

derivations2.0ms (0.1%)

Memory
3.9MiB live, 3.9MiB allocated; 0ms collecting garbage
Stop Event
done
Compiler

Compiled 45 to 19 computations (57.8% saved)

preprocess29.0ms (2.0%)

Memory
11.9MiB live, 57.0MiB allocated; 7ms collecting garbage
Compiler

Compiled 50 to 24 computations (52.0% saved)

end0.0ms (0.0%)

Memory
0.1MiB live, 0.0MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...