Data.Colour.CIE:cieLABView from colour-2.3.3, C

Time bar (total: 1.9s)

analyze12.0ms (0.7%)

Memory
3.8MiB live, 3.8MiB allocated
Algorithm
1×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 15 to 13 computations (13.3% saved)

sample1.8s (95.2%)

Memory
2.9MiB live, 511.1MiB allocated
Samples
422.0ms8 103×0valid-sollya
285.0ms8 103×0valid-baseline
255.0ms8 103×0valid-rival
8.0ms72×1valid-baseline
7.0ms45×2valid-baseline
6.0ms36×3valid-baseline
4.0ms72×1valid-rival
4.0ms72×1valid-sollya
4.0ms45×2valid-rival
3.0ms36×3valid-rival
2.0ms45×2valid-sollya
2.0ms36×3valid-sollya
Bogosity

preprocess57.0ms (3.1%)

Memory
4.7MiB live, 19.5MiB allocated
Algorithm
1×egg-herbie
Rules
130×fmm-def
85×fma-define
30×distribute-lft-in
27×distribute-rgt-in
22×distribute-lft-neg-in
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
021149
148133
2124133
3354133
4518133
5624133
6643133
7645133
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 #s(literal 200 binary64) (-.f64 x y))
(*.f64 #s(literal 200 binary64) (-.f64 x y))
(*.f64 #s(literal 200 binary64) (-.f64 (neg.f64 x) y))
(*.f64 #s(literal 200 binary64) (-.f64 x (neg.f64 y)))
(neg.f64 (*.f64 #s(literal 200 binary64) (-.f64 (neg.f64 x) y)))
(neg.f64 (*.f64 #s(literal 200 binary64) (-.f64 x (neg.f64 y))))
(*.f64 #s(literal 200 binary64) (-.f64 y x))
Outputs
(*.f64 #s(literal 200 binary64) (-.f64 x y))
(*.f64 #s(literal 200 binary64) (-.f64 x y))
(*.f64 #s(literal 200 binary64) (-.f64 (neg.f64 x) y))
(*.f64 (+.f64 x y) #s(literal -200 binary64))
(*.f64 #s(literal 200 binary64) (-.f64 x (neg.f64 y)))
(*.f64 #s(literal 200 binary64) (+.f64 x y))
(neg.f64 (*.f64 #s(literal 200 binary64) (-.f64 (neg.f64 x) y)))
(*.f64 #s(literal 200 binary64) (-.f64 x (neg.f64 y)))
(*.f64 #s(literal 200 binary64) (+.f64 x y))
(neg.f64 (*.f64 #s(literal 200 binary64) (-.f64 x (neg.f64 y))))
(*.f64 #s(literal 200 binary64) (-.f64 (neg.f64 x) y))
(*.f64 (+.f64 x y) #s(literal -200 binary64))
(*.f64 #s(literal 200 binary64) (-.f64 y x))
Compiler

Compiled 7 to 5 computations (28.6% saved)

eval0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated
Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0%)

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

Compiled 14 to 10 computations (28.6% saved)

simplify2.0ms (0.1%)

Memory
0.4MiB live, 0.4MiB allocated
Algorithm
1×egg-herbie
Rules
2×sub-neg
2×*-commutative
2×+-commutative
1×neg-sub0
1×neg-mul-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01019
11419
21919
32119
42219
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 #s(literal 200 binary64) (-.f64 x y))
Outputs
(*.f64 #s(literal 200 binary64) (-.f64 x y))

soundness0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated
Stop Event
1×fuel
Compiler

Compiled 7 to 5 computations (28.6% saved)

preprocess17.0ms (0.9%)

Memory
-11.3MiB live, 22.5MiB allocated
Compiler

Compiled 28 to 20 computations (28.6% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...