Data.Colour.RGBSpace.HSL:hsl from colour-2.3.3, D
Time bar (total: 1.5s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 0 |
| 100% | 99.9% | 0% | 0.1% | 0% | 0% | 0% | 1 |
Compiled 15 to 14 computations (6.7% saved)
| 596.0ms | 7 676× | 0 | valid |
| 77.0ms | 433× | 1 | valid |
| 37.0ms | 147× | 2 | valid |
ival-mult: 156.0ms (36.2% of total)ival-sub: 97.0ms (22.5% of total)ival-div: 92.0ms (21.3% of total)ival-add: 51.0ms (11.8% of total)adjust: 15.0ms (3.5% of total)exact: 11.0ms (2.6% of total)ival-true: 5.0ms (1.2% of total)ival-assert: 3.0ms (0.7% of total)| 2× | egg-herbie |
| 11 248× | accelerator-lowering-fma.f32 |
| 11 248× | accelerator-lowering-fma.f64 |
| 1 712× | *-lowering-*.f32 |
| 1 712× | *-lowering-*.f64 |
| 1 476× | distribute-lft-in |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 44 | 119 |
| 1 | 107 | 111 |
| 2 | 354 | 110 |
| 3 | 1681 | 110 |
| 4 | 6326 | 110 |
| 0 | 13 | 11 |
| 1 | 22 | 11 |
| 2 | 56 | 11 |
| 3 | 190 | 11 |
| 4 | 562 | 11 |
| 5 | 1515 | 11 |
| 6 | 3243 | 11 |
| 7 | 5056 | 11 |
| 8 | 5736 | 11 |
| 9 | 6000 | 11 |
| 10 | 6050 | 11 |
| 11 | 6065 | 11 |
| 12 | 6068 | 11 |
| 13 | 6068 | 11 |
| 14 | 6068 | 11 |
| 15 | 6266 | 11 |
| 16 | 6325 | 11 |
| 17 | 6325 | 11 |
| 0 | 6325 | 9 |
| 1× | iter limit |
| 1× | saturated |
| 1× | node limit |
| Inputs |
|---|
(+ x (* (* (- y x) 6) (- (/ 2 3) z))) |
| Outputs |
|---|
(+ x (* (* (- y x) 6) (- (/ 2 3) z))) |
(fma.f64 (-.f64 y x) (fma.f64 z #s(literal -6 binary64) #s(literal 4 binary64)) x) |
| Inputs |
|---|
(+ x (* (* (- y x) 6) (- (/ 2 3) z))) |
(+ (neg x) (* (* (- y (neg x)) 6) (- (/ 2 3) z))) |
(+ x (* (* (- (neg y) x) 6) (- (/ 2 3) z))) |
(+ x (* (* (- y x) 6) (- (/ 2 3) (neg z)))) |
(neg (+ (neg x) (* (* (- y (neg x)) 6) (- (/ 2 3) z)))) |
(neg (+ x (* (* (- (neg y) x) 6) (- (/ 2 3) z)))) |
(neg (+ x (* (* (- y x) 6) (- (/ 2 3) (neg z))))) |
(+ y (* (* (- x y) 6) (- (/ 2 3) z))) |
(+ z (* (* (- y z) 6) (- (/ 2 3) x))) |
(+ x (* (* (- z x) 6) (- (/ 2 3) y))) |
| Outputs |
|---|
(+ x (* (* (- y x) 6) (- (/ 2 3) z))) |
(+ x (* (- y x) (+ 4 (* z -6)))) |
(+ (neg x) (* (* (- y (neg x)) 6) (- (/ 2 3) z))) |
(- (* (- 2/3 z) (* 6 (+ x y))) x) |
(+ x (* (* (- (neg y) x) 6) (- (/ 2 3) z))) |
(+ x (* (- 2/3 z) (* (+ x y) -6))) |
(+ x (* (* (- y x) 6) (- (/ 2 3) (neg z)))) |
(+ x (* (- y x) (+ 4 (* 6 z)))) |
(neg (+ (neg x) (* (* (- y (neg x)) 6) (- (/ 2 3) z)))) |
(+ x (* (- 2/3 z) (* (+ x y) -6))) |
(neg (+ x (* (* (- (neg y) x) 6) (- (/ 2 3) z)))) |
(- (* (- 2/3 z) (* 6 (+ x y))) x) |
(neg (+ x (* (* (- y x) 6) (- (/ 2 3) (neg z))))) |
(- (* (- y x) (+ (* z -6) -4)) x) |
(+ y (* (* (- x y) 6) (- (/ 2 3) z))) |
(+ y (* (- y x) (+ (* 6 z) -4))) |
(+ z (* (* (- y z) 6) (- (/ 2 3) x))) |
(+ z (* (- y z) (+ 4 (* x -6)))) |
(+ x (* (* (- z x) 6) (- (/ 2 3) y))) |
(+ x (* (- z x) (+ 4 (* y -6)))) |
| 0.0ms | 1× | 0 | valid |
Compiled 48 to 14 computations (70.8% saved)
ival-div: 0.0ms (0% of total)ival-sub: 0.0ms (0% of total)ival-true: 0.0ms (0% of total)ival-add: 0.0ms (0% of total)ival-mult: 0.0ms (0% of total)exact: 0.0ms (0% of total)ival-assert: 0.0ms (0% of total)Loading profile data...