Data.Colour.CIE.Chromaticity:chromaCoords from colour-2.3.3
Time bar (total: 1.1s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0.0% | 0.0% | 99.9% | 0.1% | 0.0% | 0.0% | 0.0% | 0 |
| 100.0% | 99.9% | 0.0% | 0.1% | 0.0% | 0.0% | 0.0% | 1 |
Compiled 7 to 6 computations (14.3% saved)
| 260.0ms | 8 253× | 0 | valid |
| 0.0ms | 2× | 2 | valid |
| 0.0ms | 1× | 1 | valid |
Sub: 6.0ms (103.1% of total, 0.0 MiB)adjust: 0.0ms (0.0% of total, 0.0 MiB)Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 31 |
| 1 | 69 | 30 |
| 2 | 175 | 30 |
| 3 | 416 | 30 |
| 4 | 2147 | 30 |
| 1× | node-limit |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 100.0% | (-.f64 (-.f64 #s(literal 1 binary64) x) y) |
(sort x y)
Compiled 2 to 10 computations (-400.0% saved)
| Inputs |
|---|
| Outputs |
|---|
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 56 | 179 |
| 1× | iter-limit |
| Inputs |
|---|
%2 = (-.f64 #s(literal 1 binary64) x) #s(literal 1 binary64) x %2 y (-.f64 %2 y) |
| Outputs |
|---|
%5 = (- 1 x) %9 = (*.f64 #s(literal -1 binary64) x) %10 = (+.f64 #s(literal 1 binary64) %9) %13 = (- %5 y) %14 = (-.f64 #s(literal 1 binary64) y) %19 = (/.f64 #s(literal 1 binary64) x) %39 = (-.f64 #s(literal 1 binary64) x) %41 = (*.f64 #s(literal -1 binary64) y) (approx 1 #s(literal 0 binary64)) (approx x x) (approx %5 #s(literal 1 binary64)) (approx %5 %10) (approx %13 %14) (approx %13 (-.f64 %10 y)) (approx %5 %9) (approx %5 (*.f64 x (-.f64 %19 #s(literal 1 binary64)))) (approx %13 (*.f64 x (-.f64 %19 (+.f64 #s(literal 1 binary64) (/.f64 y x))))) (approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 #s(literal 1 binary64) %19)))) (approx %13 (*.f64 #s(literal -1 binary64) (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 %14 x)))))) (approx y y) (approx %13 %39) (approx %13 (-.f64 (+.f64 #s(literal 1 binary64) %41) x)) (approx %13 %41) (approx %13 (*.f64 y (-.f64 (/.f64 #s(literal 1 binary64) y) (+.f64 #s(literal 1 binary64) (/.f64 x y))))) (approx %13 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 %39 y)))))) |
6 calls:
| Time | Variable | Point |
|---|---|---|
| 1.0ms | x | inf |
| 1.0ms | x | -inf |
| 1.0ms | y | -inf |
| 1.0ms | y | inf |
| 0.0ms | x | 0 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5 | 11 |
| 0 | 7 | 11 |
| 1 | 28 | 11 |
| 2 | 75 | 11 |
| 3 | 233 | 11 |
| 4 | 1219 | 11 |
| 0 | 4007 | 11 |
| 0 | 4141 | 11 |
| 1× | iter-limit |
| 1× | iter-limit |
| 1× | node-limit |
| 1× | iter-limit |
| Inputs |
|---|
%2 = (-.f64 #s(literal 1 binary64) x) #s(literal 1 binary64) x %2 y (-.f64 %2 y) |
| Outputs |
|---|
%3 = (-.f64 #s(literal 1 binary64) x) %4 = (*.f64 #s(literal 2 binary64) %3) %6 = (/.f64 %4 #s(literal 8 binary64)) %9 = (/.f64 %4 #s(literal 4 binary64)) %15 = (neg.f64 x) %20 = (/.f64 %4 #s(literal 1/2 binary64)) %23 = (/.f64 %4 #s(literal 1 binary64)) %26 = (-.f64 #s(literal 1/2 binary64) x) %27 = (fma.f64 %26 #s(literal 2 binary64) #s(literal 1 binary64)) %31 = (fma.f64 %15 #s(literal -2 binary64) #s(literal -2 binary64)) %34 = (fma.f64 %15 #s(literal 1 binary64) #s(literal 1 binary64)) %38 = (-.f64 (*.f64 %15 #s(literal -2 binary64)) #s(literal 2 binary64)) %41 = (fma.f64 %4 #s(literal 2 binary64) #s(literal 0 binary64)) %44 = (neg.f64 %4) %47 = (fma.f64 #s(literal 2 binary64) x #s(literal -2 binary64)) %48 = (neg.f64 %47) %63 = (-.f64 x #s(literal 1 binary64)) %72 = (+.f64 x x) %73 = (-.f64 %72 #s(literal 1 binary64)) %85 = (-.f64 x #s(literal 1/2 binary64)) %189 = (/.f64 %73 #s(literal -2 binary64)) %192 = (/.f64 %26 #s(literal 1 binary64)) %194 = (/.f64 %15 #s(literal 1 binary64)) %198 = (/.f64 %72 #s(literal -2 binary64)) %201 = (-.f64 #s(literal -1/2 binary64) %15) %204 = (+.f64 #s(literal -1/2 binary64) x) %215 = (-.f64 #s(literal 0 binary64) %15) %218 = (+.f64 #s(literal 0 binary64) x) %221 = (-.f64 x #s(literal 0 binary64)) %253 = (+.f64 #s(literal 0 binary64) %26) %266 = (-.f64 %3 y) %269 = (+.f64 y x) %270 = (neg.f64 %269) %271 = (fma.f64 %270 #s(literal -2 binary64) #s(literal -2 binary64)) %274 = (fma.f64 %270 #s(literal 2 binary64) #s(literal 2 binary64)) %277 = (fma.f64 %270 #s(literal 1 binary64) #s(literal 1 binary64)) %280 = (neg.f64 y) %281 = (fma.f64 %280 #s(literal 2 binary64) %4) %285 = (fma.f64 #s(literal 2 binary64) y #s(literal -2 binary64)) %286 = (-.f64 (neg.f64 %72) %285) %289 = (*.f64 %280 #s(literal 2 binary64)) %290 = (-.f64 %289 %47) %293 = (fma.f64 %269 #s(literal 2 binary64) #s(literal -2 binary64)) %294 = (neg.f64 %293) %301 = (-.f64 %269 #s(literal 1 binary64)) %316 = (*.f64 %269 #s(literal 2 binary64)) %317 = (-.f64 %316 #s(literal 1 binary64)) %335 = (-.f64 %269 #s(literal 1/2 binary64)) %406 = (+.f64 #s(literal 0 binary64) %280) %408 = (-.f64 #s(literal 0 binary64) y) %417 = (+.f64 #s(literal 1/2 binary64) %280) %419 = (-.f64 #s(literal 1/2 binary64) y) %421 = (-.f64 #s(literal 1/2 binary64) %269) %423 = (-.f64 #s(literal 1 binary64) y) %438 = (/.f64 %289 #s(literal 2 binary64)) %440 = (/.f64 %317 #s(literal -2 binary64)) %442 = (/.f64 %316 #s(literal -2 binary64)) %444 = (-.f64 y #s(literal 1 binary64)) #s(literal 1 binary64) x (*.f64 %6 #s(literal 4 binary64)) (*.f64 %9 #s(literal 2 binary64)) (*.f64 %4 #s(literal 1/2 binary64)) (*.f64 #s(literal 1 binary64) %3) (pow.f64 %3 #s(literal 1 binary64)) (/.f64 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal 2 binary64) %15 #s(literal 1 binary64))) #s(literal 2 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %20) #s(literal 4 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %23) #s(literal 2 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %27) #s(literal 2 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %31) #s(literal -2 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %34) #s(literal 1 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %38) #s(literal -2 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %41) #s(literal 4 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %44) #s(literal -2 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %48) #s(literal 2 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %4) #s(literal 2 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %47) #s(literal -2 binary64)) (/.f64 (+.f64 %41 #s(literal 0 binary64)) #s(literal 4 binary64)) (/.f64 (+.f64 %31 #s(literal 0 binary64)) #s(literal -2 binary64)) (/.f64 (+.f64 %38 #s(literal 0 binary64)) #s(literal -2 binary64)) (/.f64 (+.f64 %44 #s(literal 0 binary64)) #s(literal -2 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) %63 #s(literal 0 binary64)) #s(literal -2 binary64)) (/.f64 (+.f64 %27 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (+.f64 %48 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (+.f64 %34 #s(literal 0 binary64)) #s(literal 1 binary64)) (/.f64 (-.f64 #s(literal 1 binary64) %73) #s(literal 2 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 %47 #s(literal 1/2 binary64))) #s(literal 4 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 %47 #s(literal 1 binary64))) #s(literal 2 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) (fma.f64 x #s(literal -2 binary64) #s(literal 2 binary64))) #s(literal -2 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) (-.f64 (*.f64 %85 #s(literal 2 binary64)) #s(literal 1 binary64))) #s(literal 2 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) (-.f64 (*.f64 %63 #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 2 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) (-.f64 (*.f64 x #s(literal -2 binary64)) #s(literal -2 binary64))) #s(literal -2 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) (-.f64 (*.f64 x #s(literal 1 binary64)) #s(literal 1 binary64))) #s(literal 1 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) (-.f64 (*.f64 %47 #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) %44) #s(literal 2 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) %48) #s(literal -2 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) %4) #s(literal -2 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) %47) #s(literal 2 binary64)) (/.f64 (-.f64 %20 #s(literal 0 binary64)) #s(literal 4 binary64)) (/.f64 (-.f64 %41 #s(literal 0 binary64)) #s(literal 4 binary64)) (/.f64 (-.f64 %31 #s(literal 0 binary64)) #s(literal -2 binary64)) (/.f64 (-.f64 %38 #s(literal 0 binary64)) #s(literal -2 binary64)) (/.f64 (-.f64 %44 #s(literal 0 binary64)) #s(literal -2 binary64)) (/.f64 (-.f64 %23 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (-.f64 %27 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (-.f64 %48 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (-.f64 %4 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (-.f64 %34 #s(literal 0 binary64)) #s(literal 1 binary64)) (/.f64 (neg.f64 %20) #s(literal -4 binary64)) (/.f64 (neg.f64 %23) #s(literal -2 binary64)) (/.f64 (neg.f64 %27) #s(literal -2 binary64)) (/.f64 (neg.f64 %31) #s(literal 2 binary64)) (/.f64 (neg.f64 %34) #s(literal -1 binary64)) (/.f64 (neg.f64 %38) #s(literal 2 binary64)) (/.f64 (neg.f64 %41) #s(literal -4 binary64)) (/.f64 (neg.f64 %44) #s(literal 2 binary64)) (/.f64 (neg.f64 %48) #s(literal -2 binary64)) (/.f64 %20 #s(literal 4 binary64)) (/.f64 %23 #s(literal 2 binary64)) (/.f64 (-.f64 #s(literal 2 binary64) %72) #s(literal 2 binary64)) (/.f64 %27 #s(literal 2 binary64)) (/.f64 %31 #s(literal -2 binary64)) (/.f64 %34 #s(literal 1 binary64)) (/.f64 %38 #s(literal -2 binary64)) (/.f64 %41 #s(literal 4 binary64)) (/.f64 %44 #s(literal -2 binary64)) (/.f64 %48 #s(literal 2 binary64)) (/.f64 %4 #s(literal 2 binary64)) (/.f64 %47 #s(literal -2 binary64)) (/.f64 %63 #s(literal -1 binary64)) (/.f64 %3 #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %4)) (/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1 binary64))) (neg.f64 %63) (fma.f64 %6 #s(literal 4 binary64) #s(literal 0 binary64)) (fma.f64 %9 #s(literal 2 binary64) #s(literal 0 binary64)) (fma.f64 %4 #s(literal 1/2 binary64) #s(literal 0 binary64)) (fma.f64 #s(literal 1 binary64) %26 #s(literal 1/2 binary64)) (fma.f64 #s(literal 1 binary64) %15 #s(literal 1 binary64)) (fma.f64 #s(literal 1 binary64) %3 #s(literal 0 binary64)) (-.f64 (/.f64 (-.f64 %72 #s(literal 3/2 binary64)) #s(literal -2 binary64)) #s(literal -1/4 binary64)) (-.f64 (/.f64 (-.f64 %72 #s(literal 1/2 binary64)) #s(literal -2 binary64)) #s(literal -3/4 binary64)) (-.f64 %189 #s(literal -1/2 binary64)) (-.f64 %192 #s(literal -1/2 binary64)) (-.f64 %194 #s(literal -1 binary64)) (-.f64 (+.f64 %3 #s(literal 1 binary64)) #s(literal 1 binary64)) (-.f64 %198 #s(literal -1 binary64)) (-.f64 %26 #s(literal -1/2 binary64)) (-.f64 #s(literal 1/2 binary64) (/.f64 %201 #s(literal 1 binary64))) (-.f64 #s(literal 1/2 binary64) (/.f64 %204 #s(literal 1 binary64))) (-.f64 #s(literal 1/2 binary64) (/.f64 %85 #s(literal 1 binary64))) (-.f64 #s(literal 1/2 binary64) %201) (-.f64 #s(literal 1/2 binary64) %204) (-.f64 #s(literal 1/2 binary64) %85) (-.f64 %15 #s(literal -1 binary64)) (-.f64 #s(literal 0 binary64) %63) (-.f64 %3 #s(literal 0 binary64)) (-.f64 #s(literal 1 binary64) (/.f64 %215 #s(literal 1 binary64))) (-.f64 #s(literal 1 binary64) (/.f64 %218 #s(literal 1 binary64))) (-.f64 #s(literal 1 binary64) (/.f64 %221 #s(literal 1 binary64))) (-.f64 #s(literal 1 binary64) (/.f64 x #s(literal 1 binary64))) (-.f64 #s(literal 1 binary64) %215) (-.f64 #s(literal 1 binary64) %218) (-.f64 #s(literal 1 binary64) %221) %3 (+.f64 (/.f64 (*.f64 %26 #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64)) (+.f64 (/.f64 (*.f64 %15 #s(literal 1 binary64)) #s(literal 1 binary64)) #s(literal 1 binary64)) (+.f64 (/.f64 (*.f64 %4 #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 0 binary64)) (+.f64 (/.f64 (fma.f64 #s(literal 2 binary64) %15 #s(literal 3/2 binary64)) #s(literal 2 binary64)) #s(literal 1/4 binary64)) (+.f64 (/.f64 (fma.f64 #s(literal 2 binary64) %15 #s(literal 1/2 binary64)) #s(literal 2 binary64)) #s(literal 3/4 binary64)) (+.f64 %189 #s(literal 1/2 binary64)) (+.f64 (/.f64 %198 #s(literal 1 binary64)) #s(literal 1 binary64)) (+.f64 %192 #s(literal 1/2 binary64)) (+.f64 %194 #s(literal 1 binary64)) (+.f64 %198 #s(literal 1 binary64)) (+.f64 %26 #s(literal 1/2 binary64)) (+.f64 #s(literal 1/2 binary64) (/.f64 %253 #s(literal 1 binary64))) (+.f64 #s(literal 1/2 binary64) %192) (+.f64 #s(literal 1/2 binary64) %253) (+.f64 #s(literal 1/2 binary64) %26) (+.f64 %15 #s(literal 1 binary64)) (+.f64 #s(literal 0 binary64) %3) (+.f64 %3 #s(literal 0 binary64)) (+.f64 #s(literal 1 binary64) %194) (+.f64 #s(literal 1 binary64) %198) (+.f64 #s(literal 1 binary64) %15) y (*.f64 #s(literal 1 binary64) %266) (pow.f64 %266 #s(literal 1 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %271) #s(literal -2 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %274) #s(literal 2 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %277) #s(literal 1 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %281) #s(literal 2 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %286) #s(literal 2 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %290) #s(literal 2 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %294) #s(literal 2 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %293) #s(literal -2 binary64)) (/.f64 (+.f64 %271 #s(literal 0 binary64)) #s(literal -2 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) %301 #s(literal 0 binary64)) #s(literal -2 binary64)) (/.f64 (+.f64 %274 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (+.f64 %281 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (+.f64 %286 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (+.f64 %290 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (+.f64 %294 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (+.f64 %277 #s(literal 0 binary64)) #s(literal 1 binary64)) (/.f64 (-.f64 #s(literal 1 binary64) %317) #s(literal 2 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 %293 #s(literal 1/2 binary64))) #s(literal 4 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 %293 #s(literal 1 binary64))) #s(literal 2 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) (fma.f64 %269 #s(literal -2 binary64) #s(literal 2 binary64))) #s(literal -2 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) (fma.f64 #s(literal 2 binary64) y %47)) #s(literal 2 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) (fma.f64 #s(literal 2 binary64) x %285)) #s(literal 2 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) (-.f64 (*.f64 %335 #s(literal 2 binary64)) #s(literal 1 binary64))) #s(literal 2 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) (-.f64 (*.f64 %301 #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 2 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) (-.f64 (*.f64 %269 #s(literal -2 binary64)) #s(literal -2 binary64))) #s(literal -2 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) (-.f64 (*.f64 %269 #s(literal 1 binary64)) #s(literal 1 binary64))) #s(literal 1 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) (-.f64 (+.f64 y y) %4)) #s(literal 2 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) (-.f64 (*.f64 %293 #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) %294) #s(literal -2 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) %293) #s(literal 2 binary64)) (/.f64 (-.f64 %271 #s(literal 0 binary64)) #s(literal -2 binary64)) (/.f64 (-.f64 %274 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (-.f64 %281 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (-.f64 %286 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (-.f64 %290 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (-.f64 %294 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (-.f64 %277 #s(literal 0 binary64)) #s(literal 1 binary64)) (/.f64 (neg.f64 %271) #s(literal 2 binary64)) (/.f64 (neg.f64 %274) #s(literal -2 binary64)) (/.f64 (neg.f64 %277) #s(literal -1 binary64)) (/.f64 (neg.f64 %281) #s(literal -2 binary64)) (/.f64 (neg.f64 %286) #s(literal -2 binary64)) (/.f64 (neg.f64 %290) #s(literal -2 binary64)) (/.f64 (neg.f64 %294) #s(literal -2 binary64)) (/.f64 (-.f64 #s(literal 2 binary64) %316) #s(literal 2 binary64)) (/.f64 %271 #s(literal -2 binary64)) (/.f64 %274 #s(literal 2 binary64)) (/.f64 %277 #s(literal 1 binary64)) (/.f64 %281 #s(literal 2 binary64)) (/.f64 %286 #s(literal 2 binary64)) (/.f64 %290 #s(literal 2 binary64)) (/.f64 %294 #s(literal 2 binary64)) (/.f64 %293 #s(literal -2 binary64)) (/.f64 %266 #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %266 #s(literal -1 binary64))) (neg.f64 %301) (fma.f64 %6 #s(literal 4 binary64) %406) (fma.f64 %6 #s(literal 4 binary64) %408) (fma.f64 %6 #s(literal 4 binary64) %280) (fma.f64 %9 #s(literal 2 binary64) %406) (fma.f64 %9 #s(literal 2 binary64) %408) (fma.f64 %9 #s(literal 2 binary64) %280) (fma.f64 %4 #s(literal 1/2 binary64) %406) (fma.f64 %4 #s(literal 1/2 binary64) %408) (fma.f64 %4 #s(literal 1/2 binary64) %280) (fma.f64 #s(literal 1 binary64) %26 %417) (fma.f64 #s(literal 1 binary64) %26 %419) (fma.f64 #s(literal 1 binary64) %421 #s(literal 1/2 binary64)) (fma.f64 #s(literal 1 binary64) %423 %15) (fma.f64 #s(literal 1 binary64) %270 #s(literal 1 binary64)) (fma.f64 #s(literal 1 binary64) %15 %423) (fma.f64 #s(literal 1 binary64) %280 %3) (fma.f64 #s(literal 1 binary64) %266 #s(literal 0 binary64)) (fma.f64 #s(literal 1 binary64) %3 %406) (fma.f64 #s(literal 1 binary64) %3 %408) (fma.f64 #s(literal 1 binary64) %3 %280) (-.f64 (/.f64 (-.f64 %316 #s(literal 3/2 binary64)) #s(literal -2 binary64)) #s(literal -1/4 binary64)) (-.f64 (/.f64 (-.f64 %316 #s(literal 1/2 binary64)) #s(literal -2 binary64)) #s(literal -3/4 binary64)) (-.f64 %438 %63) (-.f64 %440 #s(literal -1/2 binary64)) (-.f64 %442 #s(literal -1 binary64)) (-.f64 %198 %444) (-.f64 %421 #s(literal -1/2 binary64)) (-.f64 %423 x) (-.f64 %270 #s(literal -1 binary64)) (-.f64 #s(literal 1/2 binary64) (-.f64 #s(literal -1/2 binary64) %270)) (-.f64 #s(literal 1/2 binary64) (+.f64 #s(literal -1/2 binary64) %269)) (-.f64 #s(literal 1/2 binary64) %335) (-.f64 %15 %444) (-.f64 %280 %63) (-.f64 #s(literal 0 binary64) %301) (-.f64 %266 #s(literal 0 binary64)) %266 (-.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) %270)) (-.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %269)) (-.f64 #s(literal 1 binary64) %269) (+.f64 (/.f64 (*.f64 %270 #s(literal -2 binary64)) #s(literal -2 binary64)) #s(literal 1 binary64)) (+.f64 (/.f64 (*.f64 %270 #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 1 binary64)) (+.f64 (/.f64 (*.f64 %270 #s(literal 1 binary64)) #s(literal 1 binary64)) #s(literal 1 binary64)) (+.f64 %438 %3) (+.f64 %440 #s(literal 1/2 binary64)) (+.f64 %442 #s(literal 1 binary64)) (+.f64 (+.f64 %280 %26) #s(literal 1/2 binary64)) (+.f64 (+.f64 %280 #s(literal 1/2 binary64)) %26) (+.f64 (-.f64 %15 (-.f64 y #s(literal 1/2 binary64))) #s(literal 1/2 binary64)) (+.f64 (-.f64 %280 %85) #s(literal 1/2 binary64)) (+.f64 %26 %417) (+.f64 %26 %419) (+.f64 %421 #s(literal 1/2 binary64)) (+.f64 %423 %15) (+.f64 %270 #s(literal 1 binary64)) (+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 0 binary64) %421)) (+.f64 #s(literal 1/2 binary64) %421) (+.f64 %15 %423) (+.f64 %280 %3) (+.f64 #s(literal 0 binary64) %266) (+.f64 %266 #s(literal 0 binary64)) (+.f64 %3 %406) (+.f64 %3 %408) (+.f64 %3 %280) (+.f64 #s(literal 1 binary64) %270) |
Compiled 269 to 531 computations (-97.4% saved)
Compiled 21 to 72 computations (-242.9% saved)
3 alts after pruning (2 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 19 | 2 | 21 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 19 | 3 | 22 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 100.0% | (-.f64 (-.f64 #s(literal 1 binary64) x) y) |
| ▶ | 61.5% | (-.f64 (approx (- 1 x) #s(literal 1 binary64)) y) |
| ▶ | 63.0% | (approx (- (- 1 x) y) (-.f64 #s(literal 1 binary64) x)) |
Compiled 3 to 6 computations (-100.0% saved)
| Inputs |
|---|
| Outputs |
|---|
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 56 | 179 |
| 1× | iter-limit |
| Inputs |
|---|
%2 = (-.f64 #s(literal 1 binary64) x) %5 = (- 1 x) %6 = (approx %5 #s(literal 1 binary64)) #s(literal 1 binary64) x %2 y %6 (approx (- %5 y) %2) (-.f64 %6 y) |
| Outputs |
|---|
%5 = (- 1 x) %9 = (*.f64 #s(literal -1 binary64) x) %10 = (+.f64 #s(literal 1 binary64) %9) %13 = (- %5 y) %14 = (-.f64 #s(literal 1 binary64) y) %19 = (/.f64 #s(literal 1 binary64) x) %39 = (-.f64 #s(literal 1 binary64) x) %41 = (*.f64 #s(literal -1 binary64) y) (approx 1 #s(literal 0 binary64)) (approx x x) (approx %5 #s(literal 1 binary64)) (approx %5 %10) (approx %13 %14) (approx %13 (-.f64 %10 y)) (approx %5 %9) (approx %5 (*.f64 x (-.f64 %19 #s(literal 1 binary64)))) (approx %13 (*.f64 x (-.f64 %19 (+.f64 #s(literal 1 binary64) (/.f64 y x))))) (approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 #s(literal 1 binary64) %19)))) (approx %13 (*.f64 #s(literal -1 binary64) (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 %14 x)))))) (approx y y) (approx %13 %39) (approx %13 (-.f64 (+.f64 #s(literal 1 binary64) %41) x)) (approx %13 %41) (approx %13 (*.f64 y (-.f64 (/.f64 #s(literal 1 binary64) y) (+.f64 #s(literal 1 binary64) (/.f64 x y))))) (approx %13 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 %39 y)))))) |
6 calls:
| Time | Variable | Point |
|---|---|---|
| 1.0ms | y | -inf |
| 1.0ms | x | inf |
| 1.0ms | x | -inf |
| 1.0ms | y | inf |
| 0.0ms | x | 0 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 27 |
| 0 | 11 | 27 |
| 1 | 38 | 27 |
| 2 | 91 | 27 |
| 3 | 260 | 27 |
| 4 | 1274 | 27 |
| 0 | 4050 | 27 |
| 0 | 4204 | 27 |
| 1× | iter-limit |
| 1× | iter-limit |
| 1× | node-limit |
| 1× | iter-limit |
| Inputs |
|---|
%2 = (-.f64 #s(literal 1 binary64) x) %5 = (- 1 x) %6 = (approx %5 #s(literal 1 binary64)) #s(literal 1 binary64) x %2 y %6 (approx (- %5 y) %2) (-.f64 %6 y) |
| Outputs |
|---|
%3 = (-.f64 #s(literal 1 binary64) x) %4 = (*.f64 #s(literal 2 binary64) %3) %6 = (/.f64 %4 #s(literal 8 binary64)) %9 = (/.f64 %4 #s(literal 4 binary64)) %15 = (neg.f64 x) %20 = (/.f64 %4 #s(literal 1/2 binary64)) %23 = (/.f64 %4 #s(literal 1 binary64)) %26 = (-.f64 #s(literal 1/2 binary64) x) %27 = (fma.f64 %26 #s(literal 2 binary64) #s(literal 1 binary64)) %31 = (fma.f64 %15 #s(literal -2 binary64) #s(literal -2 binary64)) %34 = (fma.f64 %15 #s(literal 1 binary64) #s(literal 1 binary64)) %38 = (-.f64 (*.f64 %15 #s(literal -2 binary64)) #s(literal 2 binary64)) %41 = (fma.f64 %4 #s(literal 2 binary64) #s(literal 0 binary64)) %44 = (fma.f64 #s(literal 2 binary64) x #s(literal -2 binary64)) %45 = (neg.f64 %44) %48 = (neg.f64 %4) %69 = (-.f64 x #s(literal 1 binary64)) %72 = (+.f64 x x) %73 = (-.f64 %72 #s(literal 1 binary64)) %85 = (-.f64 x #s(literal 1/2 binary64)) %189 = (/.f64 %73 #s(literal -2 binary64)) %192 = (/.f64 %26 #s(literal 1 binary64)) %194 = (/.f64 %15 #s(literal 1 binary64)) %198 = (/.f64 %72 #s(literal -2 binary64)) %201 = (-.f64 #s(literal -1/2 binary64) %15) %204 = (+.f64 #s(literal -1/2 binary64) x) %215 = (-.f64 #s(literal 0 binary64) %15) %218 = (+.f64 #s(literal 0 binary64) x) %221 = (-.f64 x #s(literal 0 binary64)) %253 = (+.f64 #s(literal 0 binary64) %26) %267 = (- 1 x) %268 = (approx %267 #s(literal 1 binary64)) %273 = (neg.f64 %268) %276 = (approx (- %267 y) %3) %281 = (-.f64 %268 y) %288 = (neg.f64 y) #s(literal 1 binary64) x (*.f64 %6 #s(literal 4 binary64)) (*.f64 %9 #s(literal 2 binary64)) (*.f64 %4 #s(literal 1/2 binary64)) (*.f64 #s(literal 1 binary64) %3) (pow.f64 %3 #s(literal 1 binary64)) (/.f64 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal 2 binary64) %15 #s(literal 1 binary64))) #s(literal 2 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %20) #s(literal 4 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %23) #s(literal 2 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %27) #s(literal 2 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %31) #s(literal -2 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %34) #s(literal 1 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %38) #s(literal -2 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %41) #s(literal 4 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %45) #s(literal 2 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %48) #s(literal -2 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %4) #s(literal 2 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %44) #s(literal -2 binary64)) (/.f64 (+.f64 %41 #s(literal 0 binary64)) #s(literal 4 binary64)) (/.f64 (+.f64 %31 #s(literal 0 binary64)) #s(literal -2 binary64)) (/.f64 (+.f64 %38 #s(literal 0 binary64)) #s(literal -2 binary64)) (/.f64 (+.f64 %27 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (+.f64 %34 #s(literal 0 binary64)) #s(literal 1 binary64)) (/.f64 (+.f64 %45 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (+.f64 %48 #s(literal 0 binary64)) #s(literal -2 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) %69 #s(literal 0 binary64)) #s(literal -2 binary64)) (/.f64 (-.f64 #s(literal 1 binary64) %73) #s(literal 2 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 %44 #s(literal 1/2 binary64))) #s(literal 4 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 %44 #s(literal 1 binary64))) #s(literal 2 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) (fma.f64 x #s(literal -2 binary64) #s(literal 2 binary64))) #s(literal -2 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) (-.f64 (*.f64 %85 #s(literal 2 binary64)) #s(literal 1 binary64))) #s(literal 2 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) (-.f64 (*.f64 %69 #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 2 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) (-.f64 (*.f64 x #s(literal -2 binary64)) #s(literal -2 binary64))) #s(literal -2 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) (-.f64 (*.f64 x #s(literal 1 binary64)) #s(literal 1 binary64))) #s(literal 1 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) (-.f64 (*.f64 %44 #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) %45) #s(literal -2 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) %48) #s(literal 2 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) %4) #s(literal -2 binary64)) (/.f64 (-.f64 #s(literal 0 binary64) %44) #s(literal 2 binary64)) (/.f64 (-.f64 %20 #s(literal 0 binary64)) #s(literal 4 binary64)) (/.f64 (-.f64 %41 #s(literal 0 binary64)) #s(literal 4 binary64)) (/.f64 (-.f64 %31 #s(literal 0 binary64)) #s(literal -2 binary64)) (/.f64 (-.f64 %38 #s(literal 0 binary64)) #s(literal -2 binary64)) (/.f64 (-.f64 %23 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (-.f64 %27 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (-.f64 %34 #s(literal 0 binary64)) #s(literal 1 binary64)) (/.f64 (-.f64 %45 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (-.f64 %4 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (-.f64 %48 #s(literal 0 binary64)) #s(literal -2 binary64)) (/.f64 (neg.f64 %20) #s(literal -4 binary64)) (/.f64 (neg.f64 %23) #s(literal -2 binary64)) (/.f64 (neg.f64 %27) #s(literal -2 binary64)) (/.f64 (neg.f64 %31) #s(literal 2 binary64)) (/.f64 (neg.f64 %34) #s(literal -1 binary64)) (/.f64 (neg.f64 %38) #s(literal 2 binary64)) (/.f64 (neg.f64 %41) #s(literal -4 binary64)) (/.f64 (neg.f64 %45) #s(literal -2 binary64)) (/.f64 (neg.f64 %48) #s(literal 2 binary64)) (/.f64 %20 #s(literal 4 binary64)) (/.f64 %23 #s(literal 2 binary64)) (/.f64 (-.f64 #s(literal 2 binary64) %72) #s(literal 2 binary64)) (/.f64 %27 #s(literal 2 binary64)) (/.f64 %31 #s(literal -2 binary64)) (/.f64 %34 #s(literal 1 binary64)) (/.f64 %38 #s(literal -2 binary64)) (/.f64 %41 #s(literal 4 binary64)) (/.f64 %45 #s(literal 2 binary64)) (/.f64 %48 #s(literal -2 binary64)) (/.f64 %4 #s(literal 2 binary64)) (/.f64 %44 #s(literal -2 binary64)) (/.f64 %69 #s(literal -1 binary64)) (/.f64 %3 #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %4)) (/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1 binary64))) (neg.f64 %69) (fma.f64 %6 #s(literal 4 binary64) #s(literal 0 binary64)) (fma.f64 %9 #s(literal 2 binary64) #s(literal 0 binary64)) (fma.f64 %4 #s(literal 1/2 binary64) #s(literal 0 binary64)) (fma.f64 #s(literal 1 binary64) %26 #s(literal 1/2 binary64)) (fma.f64 #s(literal 1 binary64) %15 #s(literal 1 binary64)) (fma.f64 #s(literal 1 binary64) %3 #s(literal 0 binary64)) (-.f64 (/.f64 (-.f64 %72 #s(literal 3/2 binary64)) #s(literal -2 binary64)) #s(literal -1/4 binary64)) (-.f64 (/.f64 (-.f64 %72 #s(literal 1/2 binary64)) #s(literal -2 binary64)) #s(literal -3/4 binary64)) (-.f64 %189 #s(literal -1/2 binary64)) (-.f64 %192 #s(literal -1/2 binary64)) (-.f64 %194 #s(literal -1 binary64)) (-.f64 (+.f64 %3 #s(literal 1 binary64)) #s(literal 1 binary64)) (-.f64 %198 #s(literal -1 binary64)) (-.f64 %26 #s(literal -1/2 binary64)) (-.f64 #s(literal 1/2 binary64) (/.f64 %201 #s(literal 1 binary64))) (-.f64 #s(literal 1/2 binary64) (/.f64 %204 #s(literal 1 binary64))) (-.f64 #s(literal 1/2 binary64) (/.f64 %85 #s(literal 1 binary64))) (-.f64 #s(literal 1/2 binary64) %201) (-.f64 #s(literal 1/2 binary64) %204) (-.f64 #s(literal 1/2 binary64) %85) (-.f64 %15 #s(literal -1 binary64)) (-.f64 #s(literal 0 binary64) %69) (-.f64 %3 #s(literal 0 binary64)) (-.f64 #s(literal 1 binary64) (/.f64 %215 #s(literal 1 binary64))) (-.f64 #s(literal 1 binary64) (/.f64 %218 #s(literal 1 binary64))) (-.f64 #s(literal 1 binary64) (/.f64 %221 #s(literal 1 binary64))) (-.f64 #s(literal 1 binary64) (/.f64 x #s(literal 1 binary64))) (-.f64 #s(literal 1 binary64) %215) (-.f64 #s(literal 1 binary64) %218) (-.f64 #s(literal 1 binary64) %221) %3 (+.f64 (/.f64 (*.f64 %26 #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64)) (+.f64 (/.f64 (*.f64 %15 #s(literal 1 binary64)) #s(literal 1 binary64)) #s(literal 1 binary64)) (+.f64 (/.f64 (*.f64 %4 #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 0 binary64)) (+.f64 (/.f64 (fma.f64 #s(literal 2 binary64) %15 #s(literal 3/2 binary64)) #s(literal 2 binary64)) #s(literal 1/4 binary64)) (+.f64 (/.f64 (fma.f64 #s(literal 2 binary64) %15 #s(literal 1/2 binary64)) #s(literal 2 binary64)) #s(literal 3/4 binary64)) (+.f64 %189 #s(literal 1/2 binary64)) (+.f64 (/.f64 %198 #s(literal 1 binary64)) #s(literal 1 binary64)) (+.f64 %192 #s(literal 1/2 binary64)) (+.f64 %194 #s(literal 1 binary64)) (+.f64 %198 #s(literal 1 binary64)) (+.f64 %26 #s(literal 1/2 binary64)) (+.f64 #s(literal 1/2 binary64) (/.f64 %253 #s(literal 1 binary64))) (+.f64 #s(literal 1/2 binary64) %192) (+.f64 #s(literal 1/2 binary64) %253) (+.f64 #s(literal 1/2 binary64) %26) (+.f64 %15 #s(literal 1 binary64)) (+.f64 #s(literal 0 binary64) %3) (+.f64 %3 #s(literal 0 binary64)) (+.f64 #s(literal 1 binary64) %194) (+.f64 #s(literal 1 binary64) %198) (+.f64 #s(literal 1 binary64) %15) y (*.f64 #s(literal 1 binary64) %268) (pow.f64 %268 #s(literal 1 binary64)) %268 (/.f64 #s(literal 1 binary64) (pow.f64 %268 #s(literal -1 binary64))) (neg.f64 %273) (*.f64 #s(literal 1 binary64) %276) (pow.f64 %276 #s(literal 1 binary64)) %276 (/.f64 #s(literal 1 binary64) (pow.f64 %276 #s(literal -1 binary64))) (*.f64 #s(literal 1 binary64) %281) (pow.f64 %281 #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %281 #s(literal -1 binary64))) (neg.f64 (-.f64 y %268)) (fma.f64 #s(literal 1 binary64) %288 %268) (fma.f64 #s(literal 1 binary64) %268 %288) (-.f64 %288 %273) %281 (+.f64 %288 %268) (+.f64 %268 %288) |
Compiled 164 to 321 computations (-95.7% saved)
Compiled 21 to 60 computations (-185.7% saved)
5 alts after pruning (2 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 19 | 2 | 21 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 2 | 2 |
| Done | 0 | 1 | 1 |
| Total | 19 | 5 | 24 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 100.0% | (-.f64 (-.f64 #s(literal 1 binary64) x) y) |
| ✓ | 61.5% | (-.f64 (approx (- 1 x) #s(literal 1 binary64)) y) |
| ▶ | 40.3% | (approx (- (- 1 x) y) (-.f64 (approx 1 #s(literal 0 binary64)) x)) |
| ✓ | 63.0% | (approx (- (- 1 x) y) (-.f64 #s(literal 1 binary64) x)) |
| ▶ | 25.3% | %2 = (- 1 x) (approx (- %2 y) (approx %2 #s(literal 1 binary64))) |
Compiled 5 to 8 computations (-60.0% saved)
| Inputs |
|---|
1 |
| Outputs |
|---|
#s(literal 1 binary64) |
| 0.0ms | 1× | 0 | valid |
Compiled 3 to 2 computations (33.3% saved)
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 55 | 176 |
| 1× | iter-limit |
| Inputs |
|---|
%4 = (approx 1 #s(literal 0 binary64)) %5 = (- 1 x) %6 = (approx %5 #s(literal 1 binary64)) %7 = (-.f64 %4 x) %9 = (- %5 y) #s(literal 1 binary64) x #s(literal 0 binary64) %4 %6 %7 (approx %9 %7) (approx %9 %6) |
| Outputs |
|---|
%5 = (- 1 x) %9 = (*.f64 #s(literal -1 binary64) x) %10 = (+.f64 #s(literal 1 binary64) %9) %13 = (- %5 y) %14 = (-.f64 #s(literal 1 binary64) y) %19 = (/.f64 #s(literal 1 binary64) x) %38 = (-.f64 #s(literal 1 binary64) x) %40 = (*.f64 #s(literal -1 binary64) y) (approx 1 #s(literal 0 binary64)) (approx x x) (approx %5 #s(literal 1 binary64)) (approx %5 %10) (approx %13 %14) (approx %13 (-.f64 %10 y)) (approx %5 %9) (approx %5 (*.f64 x (-.f64 %19 #s(literal 1 binary64)))) (approx %13 (*.f64 x (-.f64 %19 (+.f64 #s(literal 1 binary64) (/.f64 y x))))) (approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 #s(literal 1 binary64) %19)))) (approx %13 (*.f64 #s(literal -1 binary64) (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 %14 x)))))) (approx %13 %38) (approx %13 (-.f64 (+.f64 #s(literal 1 binary64) %40) x)) (approx %13 %40) (approx %13 (*.f64 y (-.f64 (/.f64 #s(literal 1 binary64) y) (+.f64 #s(literal 1 binary64) (/.f64 x y))))) (approx %13 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 %38 y)))))) |
6 calls:
| Time | Variable | Point |
|---|---|---|
| 1.0ms | x | inf |
| 1.0ms | x | -inf |
| 0.0ms | y | inf |
| 0.0ms | x | 0 |
| 0.0ms | y | 0 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 38 |
| 0 | 12 | 38 |
| 1 | 42 | 38 |
| 2 | 95 | 38 |
| 3 | 290 | 38 |
| 4 | 2088 | 38 |
| 0 | 4027 | 38 |
| 0 | 4222 | 38 |
| 1× | iter-limit |
| 1× | iter-limit |
| 1× | node-limit |
| 1× | iter-limit |
| Inputs |
|---|
%4 = (approx 1 #s(literal 0 binary64)) %5 = (- 1 x) %6 = (approx %5 #s(literal 1 binary64)) %7 = (-.f64 %4 x) %9 = (- %5 y) #s(literal 1 binary64) x #s(literal 0 binary64) %4 %6 %7 (approx %9 %7) (approx %9 %6) |
| Outputs |
|---|
%4 = (approx 1 #s(literal 0 binary64)) %10 = (neg.f64 %4) %12 = (- 1 x) %13 = (approx %12 #s(literal 1 binary64)) %18 = (-.f64 %4 x) %25 = (neg.f64 x) %32 = (- %12 y) %33 = (approx %32 %18) %38 = (approx %32 %13) #s(literal 1 binary64) x #s(literal 0 binary64) (*.f64 #s(literal 1 binary64) %4) (pow.f64 %4 #s(literal 1 binary64)) %4 (/.f64 #s(literal 1 binary64) (pow.f64 %4 #s(literal -1 binary64))) (neg.f64 %10) (*.f64 #s(literal 1 binary64) %13) (pow.f64 %13 #s(literal 1 binary64)) %13 (/.f64 #s(literal 1 binary64) (pow.f64 %13 #s(literal -1 binary64))) (*.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 (-.f64 x %4)) (fma.f64 #s(literal 1 binary64) %25 %4) (fma.f64 #s(literal 1 binary64) %4 %25) (-.f64 %25 %10) %18 (+.f64 %25 %4) (+.f64 %4 %25) (*.f64 #s(literal 1 binary64) %33) (pow.f64 %33 #s(literal 1 binary64)) %33 (/.f64 #s(literal 1 binary64) (pow.f64 %33 #s(literal -1 binary64))) (*.f64 #s(literal 1 binary64) %38) (pow.f64 %38 #s(literal 1 binary64)) %38 (/.f64 #s(literal 1 binary64) (pow.f64 %38 #s(literal -1 binary64))) |
Compiled 46 to 69 computations (-50.0% saved)
Compiled 16 to 38 computations (-137.5% saved)
6 alts after pruning (1 fresh and 5 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 15 | 1 | 16 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 2 | 2 |
| Done | 0 | 3 | 3 |
| Total | 15 | 6 | 21 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 100.0% | (-.f64 (-.f64 #s(literal 1 binary64) x) y) |
| ✓ | 61.5% | (-.f64 (approx (- 1 x) #s(literal 1 binary64)) y) |
| ✓ | 40.3% | (approx (- (- 1 x) y) (-.f64 (approx 1 #s(literal 0 binary64)) x)) |
| ✓ | 63.0% | (approx (- (- 1 x) y) (-.f64 #s(literal 1 binary64) x)) |
| ▶ | 2.4% | %2 = (- 1 x) (approx (- %2 y) (approx %2 (approx 1 #s(literal 0 binary64)))) |
| ✓ | 25.3% | %2 = (- 1 x) (approx (- %2 y) (approx %2 #s(literal 1 binary64))) |
Compiled 6 to 8 computations (-33.3% saved)
| Inputs |
|---|
1 |
| Outputs |
|---|
#s(literal 1 binary64) |
| 0.0ms | 1× | 0 | valid |
Compiled 3 to 2 computations (33.3% saved)
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 54 | 173 |
| 1× | iter-limit |
| Inputs |
|---|
%2 = (approx 1 #s(literal 0 binary64)) %4 = (- 1 x) %5 = (approx %4 %2) #s(literal 0 binary64) %2 %5 (approx (- %4 y) %5) |
| Outputs |
|---|
%5 = (- 1 x) %9 = (*.f64 #s(literal -1 binary64) x) %10 = (+.f64 #s(literal 1 binary64) %9) %13 = (- %5 y) %14 = (-.f64 #s(literal 1 binary64) y) %19 = (/.f64 #s(literal 1 binary64) x) %38 = (-.f64 #s(literal 1 binary64) x) %40 = (*.f64 #s(literal -1 binary64) y) (approx 0 #s(literal 0 binary64)) (approx %5 #s(literal 1 binary64)) (approx %5 %10) (approx %13 %14) (approx %13 (-.f64 %10 y)) (approx %5 %9) (approx %5 (*.f64 x (-.f64 %19 #s(literal 1 binary64)))) (approx %13 (*.f64 x (-.f64 %19 (+.f64 #s(literal 1 binary64) (/.f64 y x))))) (approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 #s(literal 1 binary64) %19)))) (approx %13 (*.f64 #s(literal -1 binary64) (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 %14 x)))))) (approx %13 %38) (approx %13 (-.f64 (+.f64 #s(literal 1 binary64) %40) x)) (approx %13 %40) (approx %13 (*.f64 y (-.f64 (/.f64 #s(literal 1 binary64) y) (+.f64 #s(literal 1 binary64) (/.f64 x y))))) (approx %13 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 %38 y)))))) |
6 calls:
| Time | Variable | Point |
|---|---|---|
| 0.0ms | x | inf |
| 0.0ms | y | inf |
| 0.0ms | x | 0 |
| 0.0ms | x | -inf |
| 0.0ms | y | 0 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 24 |
| 0 | 9 | 24 |
| 1 | 34 | 24 |
| 2 | 81 | 24 |
| 3 | 265 | 24 |
| 4 | 2039 | 24 |
| 0 | 4444 | 24 |
| 0 | 4622 | 24 |
| 1× | iter-limit |
| 1× | iter-limit |
| 1× | node-limit |
| 1× | saturated |
| Inputs |
|---|
%2 = (approx 1 #s(literal 0 binary64)) %4 = (- 1 x) %5 = (approx %4 %2) #s(literal 0 binary64) %2 %5 (approx (- %4 y) %5) |
| Outputs |
|---|
%3 = (approx 1 #s(literal 0 binary64)) %10 = (- 1 x) %11 = (approx %10 %3) %18 = (approx (- %10 y) %11) #s(literal 0 binary64) (*.f64 #s(literal 1 binary64) %3) (pow.f64 %3 #s(literal 1 binary64)) %3 (/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1 binary64))) (*.f64 #s(literal 1 binary64) %11) (pow.f64 %11 #s(literal 1 binary64)) %11 (/.f64 #s(literal 1 binary64) (pow.f64 %11 #s(literal -1 binary64))) (*.f64 #s(literal 1 binary64) %18) (pow.f64 %18 #s(literal 1 binary64)) %18 (/.f64 #s(literal 1 binary64) (pow.f64 %18 #s(literal -1 binary64))) |
Compiled 29 to 50 computations (-72.4% saved)
Compiled 13 to 33 computations (-153.8% saved)
6 alts after pruning (0 fresh and 6 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 13 | 0 | 13 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 5 | 5 |
| Total | 13 | 6 | 19 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 100.0% | (-.f64 (-.f64 #s(literal 1 binary64) x) y) |
| ✓ | 61.5% | (-.f64 (approx (- 1 x) #s(literal 1 binary64)) y) |
| ✓ | 40.3% | (approx (- (- 1 x) y) (-.f64 (approx 1 #s(literal 0 binary64)) x)) |
| ✓ | 63.0% | (approx (- (- 1 x) y) (-.f64 #s(literal 1 binary64) x)) |
| ✓ | 2.4% | %2 = (- 1 x) (approx (- %2 y) (approx %2 (approx 1 #s(literal 0 binary64)))) |
| ✓ | 25.3% | %2 = (- 1 x) (approx (- %2 y) (approx %2 #s(literal 1 binary64))) |
Compiled 6 to 8 computations (-33.3% saved)
Total 0.2b remaining (0.3%)
Threshold costs 0.2b (0.3%)
| 0.2b | 0.0% |
| 0.0b | 100.0% |
| 0.0b | 0% |
| 0.0b | 0% |
| Inputs |
|---|
%2 = (- 1 x) (approx (- %2 y) (approx %2 #s(literal 1 binary64))) |
| Outputs |
|---|
%2 = (- 1 x) (approx (- %2 y) (approx %2 #s(literal 1 binary64))) |
| Inputs |
|---|
%2 = (- 1 x) %4 = (- %2 y) (approx %4 (approx %2 #s(literal 1 binary64))) (approx %4 (approx %2 (approx 1 #s(literal 0 binary64)))) (approx %4 (-.f64 #s(literal 1 binary64) x)) |
| Outputs |
|---|
(approx (- (- 1 x) y) (-.f64 #s(literal 1 binary64) x)) |
| Inputs |
|---|
%2 = (- 1 x) %4 = (- %2 y) %6 = (approx %2 #s(literal 1 binary64)) %9 = (approx 1 #s(literal 0 binary64)) (approx %4 %6) (approx %4 (approx %2 %9)) (approx %4 (-.f64 #s(literal 1 binary64) x)) (approx %4 (-.f64 %9 x)) (-.f64 %6 y) |
| Outputs |
|---|
%2 = (- 1 x) (-.f64 (approx %2 #s(literal 1 binary64)) y) (approx (- %2 y) (-.f64 #s(literal 1 binary64) x)) |
| Inputs |
|---|
%2 = (- 1 x) %4 = (- %2 y) %6 = (approx %2 #s(literal 1 binary64)) %9 = (approx 1 #s(literal 0 binary64)) %12 = (-.f64 #s(literal 1 binary64) x) (approx %4 %6) (approx %4 (approx %2 %9)) (approx %4 %12) (approx %4 (-.f64 %9 x)) (-.f64 %6 y) (-.f64 %12 y) |
| Outputs |
|---|
(-.f64 (-.f64 #s(literal 1 binary64) x) y) |
4 calls:
| 4.0ms | y |
| 4.0ms | x |
| 3.0ms | (-.f64 (-.f64 #s(literal 1 binary64) x) y) |
| 3.0ms | (-.f64 #s(literal 1 binary64) x) |
| Accuracy | Segments | Branch |
|---|---|---|
| 25.3% | 1 | y |
| 25.3% | 1 | x |
| 25.3% | 1 | (-.f64 (-.f64 #s(literal 1 binary64) x) y) |
| 25.3% | 1 | (-.f64 #s(literal 1 binary64) x) |
Compiled 10 to 13 computations (-30.0% saved)
| 1× | left-value |
| Time | Left | Right |
|---|---|---|
| 0.0ms | 0.9999999999999998 | 1.0 |
Compiled 1 to 5 computations (-400.0% saved)
| 1× | done |
Compiled 4 to 9 computations (-125.0% saved)
Compiled 13 to 54 computations (-315.4% saved)
| Allocated | Percent | Phase |
|---|---|---|
| 445.9 MiB | 42.2% | sample |
| 374.2 MiB | 35.4% | rewrite |
| 90.2 MiB | 8.5% | preprocess |
| 54.4 MiB | 5.2% | reconstruct |
| 37.8 MiB | 3.6% | series |
| 30.0 MiB | 2.8% | regimes |
| 11.2 MiB | 1.1% | eval |
| 9.4 MiB | 0.9% | prune |
| 2.2 MiB | 0.2% | derivations |
| 1.1 MiB | 0.1% | analyze |
| 0.6 MiB | 0.1% | bsearch |
| 0.0 MiB | 0.0% | end |
| 0.0 MiB | 0.0% | start |
| 1 056.9 MiB | 100.0% | total |
Loading profile data...