Data.Colour.CIE:cieLABView from colour-2.3.3, A
Time bar (total: 769.0ms)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 100% | 0% | 0% | 0% | 0% | 0 |
| 100% | 100% | 0% | 0% | 0% | 0% | 0% | 1 |
Compiled 11 to 10 computations (9.1% saved)
| 673.0ms | 8239× | body | 256 | valid |
| 1.0ms | 16× | body | 256 | infinite |
| 0.0ms | 1× | body | 1024 | valid |
| 1× | egg-herbie |
| 65× | fma-def |
| 15× | *-commutative |
| 14× | associate--r+ |
| 14× | +-commutative |
| 12× | associate-+l- |
| 256× | No Errors |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 20 | 60 |
| 1 | 38 | 56 |
| 2 | 73 | 48 |
| 3 | 136 | 48 |
| 4 | 196 | 48 |
| 5 | 255 | 48 |
| 6 | 269 | 48 |
| 7 | 277 | 48 |
| 8 | 281 | 48 |
| 9 | 282 | 48 |
| 1× | saturated |
| Inputs |
|---|
(+.f64 (*.f64 (/.f64 841 108) x) (/.f64 4 29)) |
(+.f64 (*.f64 (/.f64 841 108) x) (/.f64 4 29)) |
(+.f64 (*.f64 (/.f64 841 108) (neg.f64 x)) (/.f64 4 29)) |
(neg.f64 (+.f64 (*.f64 (/.f64 841 108) (neg.f64 x)) (/.f64 4 29))) |
| Outputs |
|---|
(+.f64 (*.f64 (/.f64 841 108) x) (/.f64 4 29)) |
(fma.f64 841/108 x 4/29) |
(+.f64 (*.f64 (/.f64 841 108) x) (/.f64 4 29)) |
(fma.f64 841/108 x 4/29) |
(+.f64 (*.f64 (/.f64 841 108) (neg.f64 x)) (/.f64 4 29)) |
(fma.f64 841/108 (neg.f64 x) 4/29) |
(+.f64 4/29 (*.f64 x -841/108)) |
(fma.f64 x -841/108 4/29) |
(neg.f64 (+.f64 (*.f64 (/.f64 841 108) (neg.f64 x)) (/.f64 4 29))) |
(neg.f64 (fma.f64 841/108 (neg.f64 x) 4/29)) |
(+.f64 (*.f64 841/108 x) -4/29) |
(fma.f64 841/108 x -4/29) |
Compiled 27 to 24 computations (11.1% saved)
Loading profile data...