Data.Colour.CIE:lightness from colour-2.3.3

Time bar (total: 965.0ms)

start0.0ms (0.0%)

analyze0.0ms (0.1%)

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)

sample299.0ms (31.0%)

Samples
207.0ms8 197×0valid
1.0ms33×1valid
1.0ms26×2valid
Precisions
Click to see histograms. Total time spent on operations: 8.0ms
Mul: 5.0ms (66.6% of total, 0.0 MiB)
Sub: 3.0ms (39.9% of total, 0.0 MiB)
adjust: 0.0ms (0.0% of total, 0.0 MiB)
Bogosity

preprocess60.0ms (6.2%)

Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0917
13115
26115
311315
416615
552415
Stop Event
node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(-.f64 (*.f64 x #s(literal 116 binary64)) #s(literal 16 binary64))
Compiler

Compiled 2 to 10 computations (-400.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs

series12.0ms (1.3%)

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02563
Stop Event
iter-limit
Counts
5 → 7
Calls
Call 1
Inputs
%2 = (*.f64 x #s(literal 116 binary64))
x
#s(literal 116 binary64)
%2
#s(literal 16 binary64)
(-.f64 %2 #s(literal 16 binary64))
Outputs
%5 = (* x 116)
%7 = (*.f64 #s(literal 116 binary64) x)
%10 = (- %5 16)
%18 = (*.f64 #s(literal 16 binary64) (/.f64 #s(literal 1 binary64) x))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 %7)
(approx %10 #s(literal -16 binary64))
(approx %10 (-.f64 %7 #s(literal 16 binary64)))
(approx %10 (*.f64 x (-.f64 #s(literal 116 binary64) %18)))
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %18 #s(literal 116 binary64)))))
Calls

3 calls:

TimeVariablePoint
3.0ms
x
-inf
3.0ms
x
inf
1.0ms
x
0

rewrite89.0ms (9.2%)

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0511
0711
11911
24011
37611
415911
551311
0406011
0416410
Stop Event
iter-limit
iter-limit
node-limit
iter-limit
Counts
5 → 30
Calls
Call 1
Inputs
%2 = (*.f64 x #s(literal 116 binary64))
x
#s(literal 116 binary64)
%2
#s(literal 16 binary64)
(-.f64 %2 #s(literal 16 binary64))
Outputs
%4 = (*.f64 #s(literal -116 binary64) x)
%6 = (neg.f64 x)
%10 = (*.f64 #s(literal 116 binary64) x)
%18 = (fma.f64 #s(literal -116 binary64) x #s(literal 16 binary64))
%21 = (fma.f64 #s(literal 116 binary64) x #s(literal -16 binary64))
%35 = (*.f64 %10 #s(literal 1 binary64))
x
#s(literal 116 binary64)
(*.f64 #s(literal -1 binary64) %4)
(*.f64 #s(literal -116 binary64) %6)
(*.f64 %6 #s(literal -116 binary64))
(*.f64 #s(literal 1 binary64) %10)
%10
(*.f64 x #s(literal 116 binary64))
(pow.f64 %10 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %10 #s(literal -1 binary64)))
(neg.f64 %4)
#s(literal 16 binary64)
(*.f64 #s(literal -1 binary64) %18)
(*.f64 #s(literal 1 binary64) %21)
(pow.f64 %21 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %21 #s(literal -1 binary64)))
(neg.f64 %18)
(fma.f64 #s(literal -1 binary64) %4 #s(literal -16 binary64))
(fma.f64 %10 #s(literal 1 binary64) #s(literal -16 binary64))
(fma.f64 #s(literal -116 binary64) %6 #s(literal -16 binary64))
(fma.f64 %6 #s(literal -116 binary64) #s(literal -16 binary64))
(fma.f64 #s(literal 1 binary64) %10 #s(literal -16 binary64))
%21
(fma.f64 x #s(literal 116 binary64) #s(literal -16 binary64))
(-.f64 %10 #s(literal 16 binary64))
(-.f64 #s(literal -16 binary64) %4)
(+.f64 %35 #s(literal -16 binary64))
(+.f64 %10 #s(literal -16 binary64))
(+.f64 #s(literal -16 binary64) %35)
(+.f64 #s(literal -16 binary64) %10)

reconstruct1.0ms (0.1%)

Counts
37 → 11
Compiler

Compiled 37 to 48 computations (-29.7% saved)

eval1.0ms (0.1%)

Compiler

Compiled 9 to 24 computations (-166.7% saved)

prune1.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New729
Fresh000
Picked101
Done000
Total8210
Accuracy
100.0%
Counts
10 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(fma.f64 #s(literal 116 binary64) x #s(literal -16 binary64))
46.1%
(approx (- (* x 116) 16) #s(literal -16 binary64))
Compiler

Compiled 2 to 4 computations (-100.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs

series4.0ms (0.4%)

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02565
Stop Event
iter-limit
Counts
5 → 7
Calls
Call 1
Inputs
x
#s(literal 116 binary64)
#s(literal -16 binary64)
(approx (- (* x 116) 16) #s(literal -16 binary64))
(fma.f64 #s(literal 116 binary64) x #s(literal -16 binary64))
Outputs
%7 = (- (* x 116) 16)
%11 = (*.f64 #s(literal 116 binary64) x)
%18 = (*.f64 #s(literal 16 binary64) (/.f64 #s(literal 1 binary64) x))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %7 #s(literal -16 binary64))
(approx %7 (-.f64 %11 #s(literal 16 binary64)))
(approx %7 %11)
(approx %7 (*.f64 x (-.f64 #s(literal 116 binary64) %18)))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %18 #s(literal 116 binary64)))))
Calls

3 calls:

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

rewrite94.0ms (9.8%)

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0814
01013
12713
24813
38813
417013
552613
0407613
0418413
Stop Event
iter-limit
iter-limit
node-limit
iter-limit
Counts
5 → 25
Calls
Call 1
Inputs
x
#s(literal 116 binary64)
#s(literal -16 binary64)
(approx (- (* x 116) 16) #s(literal -16 binary64))
(fma.f64 #s(literal 116 binary64) x #s(literal -16 binary64))
Outputs
%8 = (approx (- (* 116 x) 16) #s(literal -16 binary64))
%16 = (fma.f64 #s(literal -116 binary64) x #s(literal 16 binary64))
%18 = (fma.f64 #s(literal 116 binary64) x #s(literal -16 binary64))
%24 = (*.f64 #s(literal -116 binary64) x)
%26 = (*.f64 #s(literal 116 binary64) x)
%28 = (neg.f64 x)
%35 = (*.f64 %26 #s(literal 1 binary64))
x
#s(literal 116 binary64)
#s(literal -16 binary64)
(*.f64 #s(literal 1 binary64) %8)
(pow.f64 %8 #s(literal 1 binary64))
%8
(/.f64 #s(literal 1 binary64) (pow.f64 %8 #s(literal -1 binary64)))
(*.f64 #s(literal -1 binary64) %16)
(*.f64 #s(literal 1 binary64) %18)
(pow.f64 %18 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %18 #s(literal -1 binary64)))
(neg.f64 %16)
(fma.f64 #s(literal -1 binary64) %24 #s(literal -16 binary64))
(fma.f64 %26 #s(literal 1 binary64) #s(literal -16 binary64))
(fma.f64 #s(literal -116 binary64) %28 #s(literal -16 binary64))
(fma.f64 %28 #s(literal -116 binary64) #s(literal -16 binary64))
(fma.f64 #s(literal 1 binary64) %26 #s(literal -16 binary64))
%18
(fma.f64 x #s(literal 116 binary64) #s(literal -16 binary64))
(-.f64 %26 #s(literal 16 binary64))
(-.f64 #s(literal -16 binary64) %24)
(+.f64 %35 #s(literal -16 binary64))
(+.f64 %26 #s(literal -16 binary64))
(+.f64 #s(literal -16 binary64) %35)
(+.f64 #s(literal -16 binary64) %26)

reconstruct4.0ms (0.4%)

Counts
32 → 11
Compiler

Compiled 32 to 43 computations (-34.4% saved)

eval2.0ms (0.2%)

Compiler

Compiled 9 to 18 computations (-100.0% saved)

prune2.0ms (0.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New819
Fresh000
Picked022
Done000
Total8311
Accuracy
100.0%
Counts
11 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(fma.f64 #s(literal 116 binary64) x #s(literal -16 binary64))
55.6%
(approx (- (* x 116) 16) (*.f64 #s(literal 116 binary64) x))
46.1%
(approx (- (* x 116) 16) #s(literal -16 binary64))
Compiler

Compiled 3 to 5 computations (-66.7% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs

series7.0ms (0.7%)

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02563
Stop Event
iter-limit
Counts
4 → 7
Calls
Call 1
Inputs
%2 = (*.f64 #s(literal 116 binary64) x)
x
#s(literal 116 binary64)
%2
(approx (- (* x 116) 16) %2)
Outputs
%7 = (*.f64 #s(literal 116 binary64) x)
%11 = (- (* x 116) 16)
%19 = (*.f64 #s(literal 16 binary64) (/.f64 #s(literal 1 binary64) x))
(approx x #s(literal 0 binary64))
(approx x x)
(approx (* 116 x) %7)
(approx %11 #s(literal -16 binary64))
(approx %11 (-.f64 %7 #s(literal 16 binary64)))
(approx %11 (*.f64 x (-.f64 #s(literal 116 binary64) %19)))
(approx %11 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %19 #s(literal 116 binary64)))))
Calls

3 calls:

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

rewrite91.0ms (9.4%)

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0714
0814
12214
24314
37914
416214
551814
0406814
0417613
Stop Event
iter-limit
iter-limit
node-limit
iter-limit
Counts
4 → 15
Calls
Call 1
Inputs
%2 = (*.f64 #s(literal 116 binary64) x)
x
#s(literal 116 binary64)
%2
(approx (- (* x 116) 16) %2)
Outputs
%4 = (*.f64 #s(literal -116 binary64) x)
%6 = (neg.f64 x)
%10 = (*.f64 #s(literal 116 binary64) x)
%21 = (approx (- (* 116 x) 16) %10)
x
#s(literal 116 binary64)
(*.f64 #s(literal -1 binary64) %4)
(*.f64 #s(literal -116 binary64) %6)
(*.f64 %6 #s(literal -116 binary64))
(*.f64 #s(literal 1 binary64) %10)
%10
(*.f64 x #s(literal 116 binary64))
(pow.f64 %10 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %10 #s(literal -1 binary64)))
(neg.f64 %4)
(*.f64 #s(literal 1 binary64) %21)
(pow.f64 %21 #s(literal 1 binary64))
%21
(/.f64 #s(literal 1 binary64) (pow.f64 %21 #s(literal -1 binary64)))

reconstruct6.0ms (0.6%)

Counts
22 → 10
Compiler

Compiled 22 to 32 computations (-45.5% saved)

eval2.0ms (0.2%)

Compiler

Compiled 9 to 18 computations (-100.0% saved)

prune2.0ms (0.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New909
Fresh000
Picked011
Done022
Total9312
Accuracy
100.0%
Counts
12 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(fma.f64 #s(literal 116 binary64) x #s(literal -16 binary64))
55.6%
(approx (- (* x 116) 16) (*.f64 #s(literal 116 binary64) x))
46.1%
(approx (- (* x 116) 16) #s(literal -16 binary64))
Compiler

Compiled 3 to 5 computations (-66.7% saved)

regimes14.0ms (1.4%)

Accuracy

Total 0.0b remaining (0.0%)

Threshold costs 0.0b (0.0%)

0.0b100.0%
0.0b0%
0.0b0%

Counts
1 → 1
2 → 3
3 → 1
Calls
Call 1
Inputs
(approx (- (* x 116) 16) #s(literal -16 binary64))
Outputs
(approx (- (* x 116) 16) #s(literal -16 binary64))
Call 2
Inputs
%4 = (- (* x 116) 16)
(approx %4 #s(literal -16 binary64))
(approx %4 (*.f64 #s(literal 116 binary64) x))
Outputs
%4 = (- (* x 116) 16)
%7 = (approx %4 (*.f64 #s(literal 116 binary64) x))
%7
(approx %4 #s(literal -16 binary64))
%7
Call 3
Inputs
%4 = (- (* x 116) 16)
(approx %4 #s(literal -16 binary64))
(approx %4 (*.f64 #s(literal 116 binary64) x))
(fma.f64 #s(literal 116 binary64) x #s(literal -16 binary64))
Outputs
(fma.f64 #s(literal 116 binary64) x #s(literal -16 binary64))
Calls

3 calls:

7.0ms
x
5.0ms
(*.f64 x #s(literal 116 binary64))
4.0ms
(-.f64 (*.f64 x #s(literal 116 binary64)) #s(literal 16 binary64))
Results
AccuracySegmentsBranch
46.1%1
x
46.1%1
(-.f64 (*.f64 x #s(literal 116 binary64)) #s(literal 16 binary64))
46.1%1
(*.f64 x #s(literal 116 binary64))
Compiler

Compiled 7 to 13 computations (-85.7% saved)

bsearch0.0ms (0.0%)

bsearch0.0ms (0.1%)

Algorithm
left-value
Steps
TimeLeftRight
0.0ms
2.7505832125945386e-13
71215.93781268488
0.0ms
-1917.4505490544952
-0.001044044617110198
Compiler

Compiled 1 to 3 computations (-200.0% saved)

bsearch0.0ms (0.0%)

derivations28.0ms (2.9%)

Stop Event
done
Compiler

Compiled 3 to 12 computations (-300.0% saved)

preprocess14.0ms (1.4%)

Compiler

Compiled 4 to 17 computations (-325.0% saved)

end0.0ms (0.0%)

gc233ms (24.1%)

Allocations
AllocatedPercentPhase
582.0 MiB56.9%sample
256.4 MiB25.1%rewrite
64.3 MiB6.3%preprocess
40.8 MiB4.0%series
25.0 MiB2.4%regimes
19.7 MiB1.9%reconstruct
19.1 MiB1.9%derivations
7.1 MiB0.7%prune
7.1 MiB0.7%eval
1.2 MiB0.1%analyze
0.5 MiB0.1%bsearch
0.0 MiB0.0%start
0.0 MiB0.0%end
1 023.4 MiB100.0%total

Profiling

Loading profile data...