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

Time bar (total: 1.8s)

analyze14.0ms (0.8%)

Memory
-11.4MiB live, 4.5MiB allocated
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
100%100%0%0%0%0%0%1
Compiler

Compiled 22 to 21 computations (4.5% saved)

sample1.7s (95.6%)

Memory
-0.9MiB live, 497.9MiB allocated
Samples
354.0ms8 247×0valid-baseline
348.0ms8 247×0valid-rival
334.0ms8 247×0valid-sollya
1.0ms1valid-baseline
1.0ms2valid-baseline
1.0ms1valid-rival
0.0ms2valid-rival
0.0ms1valid-sollya
0.0ms2valid-sollya
Bogosity

preprocess45.0ms (2.5%)

Memory
3.3MiB live, 18.9MiB allocated
Algorithm
egg-herbie
Rules
47×fmm-def
31×fma-define
14×distribute-lft-neg-in
10×associate--r+
associate-+l-
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02060
13856
26948
313048
419148
524048
626048
727048
827548
927648
Stop Event
saturated
Calls
Call 1
Inputs
(+.f64 (*.f64 (/.f64 #s(literal 841 binary64) #s(literal 108 binary64)) x) (/.f64 #s(literal 4 binary64) #s(literal 29 binary64)))
(+.f64 (*.f64 (/.f64 #s(literal 841 binary64) #s(literal 108 binary64)) x) (/.f64 #s(literal 4 binary64) #s(literal 29 binary64)))
(+.f64 (*.f64 (/.f64 #s(literal 841 binary64) #s(literal 108 binary64)) (neg.f64 x)) (/.f64 #s(literal 4 binary64) #s(literal 29 binary64)))
(neg.f64 (+.f64 (*.f64 (/.f64 #s(literal 841 binary64) #s(literal 108 binary64)) (neg.f64 x)) (/.f64 #s(literal 4 binary64) #s(literal 29 binary64))))
Outputs
(+.f64 (*.f64 (/.f64 #s(literal 841 binary64) #s(literal 108 binary64)) x) (/.f64 #s(literal 4 binary64) #s(literal 29 binary64)))
(fma.f64 #s(literal 841/108 binary64) x #s(literal 4/29 binary64))
(+.f64 (*.f64 (/.f64 #s(literal 841 binary64) #s(literal 108 binary64)) x) (/.f64 #s(literal 4 binary64) #s(literal 29 binary64)))
(fma.f64 #s(literal 841/108 binary64) x #s(literal 4/29 binary64))
(+.f64 (*.f64 (/.f64 #s(literal 841 binary64) #s(literal 108 binary64)) (neg.f64 x)) (/.f64 #s(literal 4 binary64) #s(literal 29 binary64)))
(fma.f64 #s(literal 841/108 binary64) (neg.f64 x) #s(literal 4/29 binary64))
(fma.f64 x #s(literal -841/108 binary64) #s(literal 4/29 binary64))
(neg.f64 (+.f64 (*.f64 (/.f64 #s(literal 841 binary64) #s(literal 108 binary64)) (neg.f64 x)) (/.f64 #s(literal 4 binary64) #s(literal 29 binary64))))
(neg.f64 (fma.f64 #s(literal 841/108 binary64) (neg.f64 x) #s(literal 4/29 binary64)))
(+.f64 (*.f64 #s(literal 841/108 binary64) x) #s(literal -4/29 binary64))
(fma.f64 #s(literal 841/108 binary64) x #s(literal -4/29 binary64))
Compiler

Compiled 10 to 9 computations (10% saved)

eval0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated
Compiler

Compiled 1 to 1 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 (*.f64 (/.f64 #s(literal 841 binary64) #s(literal 108 binary64)) x) (/.f64 #s(literal 4 binary64) #s(literal 29 binary64)))
Compiler

Compiled 20 to 18 computations (10% saved)

simplify2.0ms (0.1%)

Memory
0.3MiB live, 0.3MiB allocated
Algorithm
egg-herbie
Rules
*-commutative
+-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01516
11716
Stop Event
saturated
Calls
Call 1
Inputs
(+.f64 (*.f64 (/.f64 #s(literal 841 binary64) #s(literal 108 binary64)) x) (/.f64 #s(literal 4 binary64) #s(literal 29 binary64)))
Outputs
(+.f64 (*.f64 (/.f64 #s(literal 841 binary64) #s(literal 108 binary64)) x) (/.f64 #s(literal 4 binary64) #s(literal 29 binary64)))
(+.f64 (*.f64 #s(literal 841/108 binary64) x) #s(literal 4/29 binary64))

soundness0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated
Stop Event
fuel
Compiler

Compiled 6 to 5 computations (16.7% saved)

preprocess16.0ms (0.9%)

Memory
7.3MiB live, 23.0MiB allocated
Compiler

Compiled 32 to 28 computations (12.5% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...