Diagrams.Solve.Polynomial:quartForm from diagrams-solve-0.1, E
Time bar (total: 636.0ms)
| 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 7 computations (0.0% saved)
| 168.0ms | 8 256× | 0 | valid |
Div: 4.0ms (65.9% of total, 0.0 MiB)Sub: 2.0ms (32.9% of total, 0.0 MiB)Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 34 |
| 1 | 77 | 30 |
| 2 | 235 | 30 |
| 3 | 722 | 30 |
| 4 | 2707 | 30 |
| 1× | node-limit |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 100.0% | (-.f64 x (/.f64 y #s(literal 4 binary64))) |
Compiled 2 to 10 computations (-400.0% saved)
| Inputs |
|---|
| Outputs |
|---|
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 40 | 109 |
| 1× | iter-limit |
| Inputs |
|---|
%3 = (/.f64 y #s(literal 4 binary64)) x y #s(literal 4 binary64) %3 (-.f64 x %3) |
| Outputs |
|---|
%6 = (/ y 4) %7 = (- x %6) %9 = (*.f64 #s(literal -1/4 binary64) y) %12 = (*.f64 #s(literal 1/4 binary64) y) %16 = (/.f64 y x) %31 = (/.f64 x y) (approx x #s(literal 0 binary64)) (approx x x) (approx %7 %9) (approx %7 (-.f64 x %12)) (approx %7 (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/4 binary64) %16)))) (approx %7 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal 1/4 binary64) %16) #s(literal 1 binary64))))) (approx y y) (approx %6 %12) (approx %7 (+.f64 x %9)) (approx %7 (*.f64 y (-.f64 %31 #s(literal 1/4 binary64)))) (approx %7 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 1/4 binary64) (*.f64 #s(literal -1 binary64) %31))))) |
6 calls:
| Time | Variable | Point |
|---|---|---|
| 1.0ms | y | -inf |
| 1.0ms | y | inf |
| 1.0ms | x | -inf |
| 1.0ms | x | inf |
| 0.0ms | y | 0 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5 | 11 |
| 0 | 7 | 11 |
| 1 | 30 | 11 |
| 2 | 91 | 11 |
| 3 | 281 | 11 |
| 4 | 1069 | 11 |
| 0 | 4096 | 11 |
| 0 | 4343 | 10 |
| 1× | iter-limit |
| 1× | iter-limit |
| 1× | node-limit |
| 1× | iter-limit |
| Inputs |
|---|
%3 = (/.f64 y #s(literal 4 binary64)) x y #s(literal 4 binary64) %3 (-.f64 x %3) |
| Outputs |
|---|
%4 = (+.f64 y y) %5 = (*.f64 #s(literal 1/4 binary64) %4) %9 = (*.f64 #s(literal -1/4 binary64) %4) %13 = (*.f64 #s(literal 1/4 binary64) y) %14 = (*.f64 #s(literal 2 binary64) %13) %16 = (*.f64 #s(literal 4 binary64) %13) %19 = (*.f64 #s(literal -2 binary64) y) %24 = (*.f64 #s(literal -1/8 binary64) y) %27 = (*.f64 #s(literal -4 binary64) y) %30 = (*.f64 #s(literal 4 binary64) y) %34 = (*.f64 #s(literal 1/8 binary64) y) %36 = (*.f64 #s(literal 1/2 binary64) %13) %38 = (neg.f64 y) %41 = (*.f64 #s(literal -1/4 binary64) y) %50 = (neg.f64 %14) %88 = (*.f64 y #s(literal 0 binary64)) %89 = (/.f64 %88 #s(literal -4 binary64)) %91 = (*.f64 #s(literal 0 binary64) y) %92 = (/.f64 %91 #s(literal 4 binary64)) %94 = (/.f64 %88 #s(literal 4 binary64)) %96 = (/.f64 %91 #s(literal -4 binary64)) %174 = (/.f64 y #s(literal 8 binary64)) %177 = (/.f64 (*.f64 %38 #s(literal 1/2 binary64)) #s(literal -4 binary64)) %180 = (/.f64 (*.f64 #s(literal -1/2 binary64) y) #s(literal -4 binary64)) %183 = (/.f64 (*.f64 y #s(literal 1/2 binary64)) #s(literal 4 binary64)) %186 = (/.f64 (*.f64 #s(literal 1/2 binary64) y) #s(literal 4 binary64)) %192 = (fma.f64 #s(literal -4 binary64) x y) %193 = (*.f64 %192 #s(literal 2 binary64)) %195 = (*.f64 #s(literal 4 binary64) x) %196 = (-.f64 %195 y) %197 = (*.f64 %196 #s(literal 2 binary64)) %199 = (*.f64 #s(literal -4 binary64) %192) %201 = (*.f64 %195 #s(literal 2 binary64)) %202 = (-.f64 %201 %4) %204 = (*.f64 #s(literal 4 binary64) %192) %206 = (*.f64 x #s(literal 2 binary64)) %207 = (-.f64 %206 %5) %209 = (*.f64 #s(literal 1/8 binary64) %196) %213 = (-.f64 %13 x) %218 = (fma.f64 #s(literal -1/4 binary64) y x) %224 = (*.f64 #s(literal -4 binary64) x) %229 = (*.f64 x #s(literal -16 binary64)) %230 = (*.f64 %229 #s(literal -1/16 binary64)) %234 = (*.f64 %230 #s(literal 4 binary64)) %266 = (*.f64 %206 #s(literal 4 binary64)) %269 = (*.f64 %206 #s(literal -4 binary64)) %291 = (*.f64 %229 #s(literal 4 binary64)) %324 = (*.f64 x #s(literal 16 binary64)) %330 = (*.f64 %324 #s(literal 4 binary64)) %429 = (*.f64 #s(literal -4 binary64) %213) %432 = (*.f64 #s(literal 4 binary64) %213) %455 = (/.f64 (*.f64 %196 #s(literal 0 binary64)) #s(literal 4 binary64)) %458 = (/.f64 (*.f64 #s(literal 0 binary64) %196) #s(literal 4 binary64)) %512 = (/.f64 (*.f64 %196 #s(literal 1/2 binary64)) #s(literal 4 binary64)) %515 = (/.f64 (*.f64 #s(literal 1/2 binary64) %196) #s(literal 4 binary64)) x y #s(literal 4 binary64) (*.f64 %5 #s(literal 1/2 binary64)) (*.f64 %9 #s(literal -1/2 binary64)) (*.f64 %14 #s(literal 1/2 binary64)) (*.f64 %16 #s(literal 1/4 binary64)) (*.f64 %19 #s(literal -1/8 binary64)) (*.f64 %4 #s(literal 1/8 binary64)) (*.f64 #s(literal -2 binary64) %24) (*.f64 %27 #s(literal -1/16 binary64)) (*.f64 %30 #s(literal 1/16 binary64)) (*.f64 #s(literal 1/2 binary64) %14) (*.f64 #s(literal 2 binary64) %34) (*.f64 #s(literal 2 binary64) %36) (*.f64 #s(literal -1/4 binary64) %38) (*.f64 #s(literal -1 binary64) %41) (*.f64 %41 #s(literal -1 binary64)) %13 (*.f64 %38 #s(literal -1/4 binary64)) (*.f64 #s(literal 1 binary64) %13) (*.f64 %13 #s(literal 1 binary64)) (*.f64 y #s(literal 1/4 binary64)) (pow.f64 %13 #s(literal 1 binary64)) (/.f64 %50 #s(literal -2 binary64)) (/.f64 (neg.f64 %16) #s(literal -4 binary64)) (/.f64 %5 #s(literal 2 binary64)) (/.f64 %14 #s(literal 2 binary64)) (/.f64 %16 #s(literal 4 binary64)) (/.f64 %19 #s(literal -8 binary64)) (/.f64 %4 #s(literal 8 binary64)) (/.f64 %27 #s(literal -16 binary64)) (/.f64 %30 #s(literal 16 binary64)) (/.f64 %38 #s(literal -4 binary64)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %14)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %16)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -8 binary64) %19)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 8 binary64) %4)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -16 binary64) %27)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 16 binary64) %30)) (/.f64 #s(literal 1 binary64) (pow.f64 %13 #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -4 binary64) %38)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) y)) (/.f64 %13 #s(literal 1 binary64)) (/.f64 y #s(literal 4 binary64)) (neg.f64 %41) (fma.f64 %5 #s(literal 1/2 binary64) %89) (fma.f64 %5 #s(literal 1/2 binary64) %92) (fma.f64 %5 #s(literal 1/2 binary64) %94) (fma.f64 %5 #s(literal 1/2 binary64) %96) (fma.f64 %9 #s(literal -1/2 binary64) %89) (fma.f64 %9 #s(literal -1/2 binary64) %92) (fma.f64 %9 #s(literal -1/2 binary64) %94) (fma.f64 %9 #s(literal -1/2 binary64) %96) (fma.f64 %14 #s(literal 1/2 binary64) %89) (fma.f64 %14 #s(literal 1/2 binary64) %92) (fma.f64 %14 #s(literal 1/2 binary64) %94) (fma.f64 %14 #s(literal 1/2 binary64) %96) (fma.f64 %16 #s(literal 1/4 binary64) %89) (fma.f64 %16 #s(literal 1/4 binary64) %92) (fma.f64 %16 #s(literal 1/4 binary64) %94) (fma.f64 %16 #s(literal 1/4 binary64) %96) (fma.f64 %19 #s(literal -1/8 binary64) %89) (fma.f64 %19 #s(literal -1/8 binary64) %92) (fma.f64 %19 #s(literal -1/8 binary64) %94) (fma.f64 %19 #s(literal -1/8 binary64) %96) (fma.f64 %4 #s(literal 1/8 binary64) %89) (fma.f64 %4 #s(literal 1/8 binary64) %92) (fma.f64 %4 #s(literal 1/8 binary64) %94) (fma.f64 %4 #s(literal 1/8 binary64) %96) (fma.f64 #s(literal -2 binary64) %24 %89) (fma.f64 #s(literal -2 binary64) %24 %92) (fma.f64 #s(literal -2 binary64) %24 %94) (fma.f64 #s(literal -2 binary64) %24 %96) (fma.f64 %27 #s(literal -1/16 binary64) %89) (fma.f64 %27 #s(literal -1/16 binary64) %92) (fma.f64 %27 #s(literal -1/16 binary64) %94) (fma.f64 %27 #s(literal -1/16 binary64) %96) (fma.f64 %30 #s(literal 1/16 binary64) %89) (fma.f64 %30 #s(literal 1/16 binary64) %92) (fma.f64 %30 #s(literal 1/16 binary64) %94) (fma.f64 %30 #s(literal 1/16 binary64) %96) (fma.f64 #s(literal 1/2 binary64) %14 %89) (fma.f64 #s(literal 1/2 binary64) %14 %92) (fma.f64 #s(literal 1/2 binary64) %14 %94) (fma.f64 #s(literal 1/2 binary64) %14 %96) (fma.f64 #s(literal 2 binary64) %34 %89) (fma.f64 #s(literal 2 binary64) %34 %92) (fma.f64 #s(literal 2 binary64) %34 %94) (fma.f64 #s(literal 2 binary64) %34 %96) (fma.f64 #s(literal 2 binary64) %36 %89) (fma.f64 #s(literal 2 binary64) %36 %92) (fma.f64 #s(literal 2 binary64) %36 %94) (fma.f64 #s(literal 2 binary64) %36 %96) (fma.f64 #s(literal -1/4 binary64) %38 %89) (fma.f64 #s(literal -1/4 binary64) %38 %92) (fma.f64 #s(literal -1/4 binary64) %38 %94) (fma.f64 #s(literal -1/4 binary64) %38 %96) (fma.f64 #s(literal -1 binary64) %41 %89) (fma.f64 #s(literal -1 binary64) %41 %92) (fma.f64 #s(literal -1 binary64) %41 %94) (fma.f64 #s(literal -1 binary64) %41 %96) (fma.f64 %41 #s(literal -1 binary64) %89) (fma.f64 %41 #s(literal -1 binary64) %92) (fma.f64 %41 #s(literal -1 binary64) %94) (fma.f64 %41 #s(literal -1 binary64) %96) (fma.f64 #s(literal 1/4 binary64) y %89) (fma.f64 #s(literal 1/4 binary64) y %92) (fma.f64 #s(literal 1/4 binary64) y %94) (fma.f64 #s(literal 1/4 binary64) y %96) (fma.f64 %38 #s(literal -1/4 binary64) %89) (fma.f64 %38 #s(literal -1/4 binary64) %92) (fma.f64 %38 #s(literal -1/4 binary64) %94) (fma.f64 %38 #s(literal -1/4 binary64) %96) (fma.f64 #s(literal 1 binary64) %13 %89) (fma.f64 #s(literal 1 binary64) %13 %92) (fma.f64 #s(literal 1 binary64) %13 %94) (fma.f64 #s(literal 1 binary64) %13 %96) (fma.f64 %13 #s(literal 1 binary64) %89) (fma.f64 %13 #s(literal 1 binary64) %92) (fma.f64 %13 #s(literal 1 binary64) %94) (fma.f64 %13 #s(literal 1 binary64) %96) (fma.f64 y #s(literal 1/4 binary64) %89) (fma.f64 y #s(literal 1/4 binary64) %92) (fma.f64 y #s(literal 1/4 binary64) %94) (fma.f64 y #s(literal 1/4 binary64) %96) (+.f64 %174 %174) (+.f64 %177 %177) (+.f64 %180 %180) (+.f64 %183 %183) (+.f64 %186 %186) (+.f64 %13 %89) (+.f64 %13 %92) (+.f64 %13 %94) (+.f64 %13 %96) (*.f64 %193 #s(literal -1/8 binary64)) (*.f64 %197 #s(literal 1/8 binary64)) (*.f64 %199 #s(literal 1/16 binary64)) (*.f64 #s(literal 1/8 binary64) %202) (*.f64 %204 #s(literal -1/16 binary64)) (*.f64 #s(literal 1/2 binary64) %207) (*.f64 #s(literal 2 binary64) %209) (*.f64 #s(literal -1/4 binary64) %192) (*.f64 %192 #s(literal -1/4 binary64)) (*.f64 #s(literal -1 binary64) %213) (*.f64 %213 #s(literal -1 binary64)) (*.f64 #s(literal 1/4 binary64) %196) (*.f64 %196 #s(literal 1/4 binary64)) (*.f64 #s(literal 1 binary64) %218) (*.f64 %218 #s(literal 1 binary64)) (pow.f64 %218 #s(literal 1 binary64)) (/.f64 (fma.f64 %41 #s(literal 2 binary64) %206) #s(literal 2 binary64)) (/.f64 (fma.f64 %41 #s(literal -4 binary64) %224) #s(literal -4 binary64)) (/.f64 (fma.f64 %41 #s(literal 4 binary64) %195) #s(literal 4 binary64)) (/.f64 (-.f64 (*.f64 %230 #s(literal 2 binary64)) %14) #s(literal 2 binary64)) (/.f64 (-.f64 %234 %16) #s(literal 4 binary64)) (/.f64 (-.f64 (*.f64 %230 #s(literal -8 binary64)) %19) #s(literal -8 binary64)) (/.f64 (-.f64 (*.f64 %230 #s(literal 8 binary64)) %4) #s(literal 8 binary64)) (/.f64 (-.f64 (*.f64 %230 #s(literal -16 binary64)) %27) #s(literal -16 binary64)) (/.f64 (-.f64 (*.f64 %230 #s(literal 16 binary64)) %30) #s(literal 16 binary64)) (/.f64 (-.f64 (*.f64 %230 #s(literal -4 binary64)) %38) #s(literal -4 binary64)) (/.f64 (-.f64 %234 y) #s(literal 4 binary64)) (/.f64 (-.f64 (*.f64 %41 #s(literal 4 binary64)) %224) #s(literal 4 binary64)) (/.f64 (-.f64 (*.f64 %41 #s(literal -4 binary64)) %195) #s(literal -4 binary64)) (/.f64 (-.f64 (*.f64 x #s(literal -8 binary64)) %19) #s(literal -8 binary64)) (/.f64 (-.f64 (*.f64 x #s(literal 8 binary64)) %4) #s(literal 8 binary64)) (/.f64 (fma.f64 #s(literal -2 binary64) y %266) #s(literal 8 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) y %269) #s(literal -8 binary64)) (/.f64 (-.f64 %206 %14) #s(literal 2 binary64)) (/.f64 (-.f64 %195 %16) #s(literal 4 binary64)) (/.f64 (fma.f64 #s(literal -2 binary64) y (*.f64 #s(literal 4 binary64) %206)) #s(literal 8 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) y (*.f64 #s(literal -4 binary64) %206)) #s(literal -8 binary64)) (/.f64 (fma.f64 %206 #s(literal 4 binary64) %19) #s(literal 8 binary64)) (/.f64 (fma.f64 %206 #s(literal -4 binary64) %4) #s(literal -8 binary64)) (/.f64 (-.f64 (*.f64 %229 #s(literal 2 binary64)) (*.f64 #s(literal -16 binary64) %14)) #s(literal -32 binary64)) (/.f64 (-.f64 %291 (*.f64 #s(literal -16 binary64) %16)) #s(literal -64 binary64)) (/.f64 (-.f64 (*.f64 %229 #s(literal -8 binary64)) (*.f64 #s(literal -16 binary64) %19)) #s(literal 128 binary64)) (/.f64 (-.f64 (*.f64 %229 #s(literal 8 binary64)) (*.f64 #s(literal -16 binary64) %4)) #s(literal -128 binary64)) (/.f64 (-.f64 (*.f64 %229 #s(literal -16 binary64)) (*.f64 #s(literal -16 binary64) %27)) #s(literal 256 binary64)) (/.f64 (-.f64 (*.f64 %229 #s(literal 16 binary64)) (*.f64 #s(literal -16 binary64) %30)) #s(literal -256 binary64)) (/.f64 (-.f64 (*.f64 %229 #s(literal -4 binary64)) (*.f64 #s(literal -16 binary64) %38)) #s(literal 64 binary64)) (/.f64 (-.f64 %291 (*.f64 #s(literal -16 binary64) y)) #s(literal -64 binary64)) (/.f64 (-.f64 (*.f64 %324 #s(literal 2 binary64)) (*.f64 #s(literal 16 binary64) %14)) #s(literal 32 binary64)) (/.f64 (-.f64 %330 (*.f64 #s(literal 16 binary64) %16)) #s(literal 64 binary64)) (/.f64 (-.f64 (*.f64 %324 #s(literal -8 binary64)) (*.f64 #s(literal 16 binary64) %19)) #s(literal -128 binary64)) (/.f64 (-.f64 (*.f64 %324 #s(literal 8 binary64)) (*.f64 #s(literal 16 binary64) %4)) #s(literal 128 binary64)) (/.f64 (-.f64 (*.f64 %324 #s(literal -16 binary64)) (*.f64 #s(literal 16 binary64) %27)) #s(literal -256 binary64)) (/.f64 (-.f64 (*.f64 %324 #s(literal 16 binary64)) (*.f64 #s(literal 16 binary64) %30)) #s(literal 256 binary64)) (/.f64 (-.f64 (*.f64 %324 #s(literal -4 binary64)) (*.f64 #s(literal 16 binary64) %38)) #s(literal -64 binary64)) (/.f64 (-.f64 %330 (*.f64 #s(literal 16 binary64) y)) #s(literal 64 binary64)) (/.f64 (-.f64 (*.f64 %206 #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) %14)) #s(literal 4 binary64)) (/.f64 (-.f64 %266 (*.f64 #s(literal 2 binary64) %16)) #s(literal 8 binary64)) (/.f64 (-.f64 (*.f64 %206 #s(literal -8 binary64)) (*.f64 #s(literal 2 binary64) %19)) #s(literal -16 binary64)) (/.f64 (-.f64 (*.f64 %206 #s(literal 8 binary64)) (*.f64 #s(literal 2 binary64) %4)) #s(literal 16 binary64)) (/.f64 (-.f64 (*.f64 %206 #s(literal -16 binary64)) (*.f64 #s(literal 2 binary64) %27)) #s(literal -32 binary64)) (/.f64 (-.f64 (*.f64 %206 #s(literal 16 binary64)) (*.f64 #s(literal 2 binary64) %30)) #s(literal 32 binary64)) (/.f64 (-.f64 %269 %19) #s(literal -8 binary64)) (/.f64 (-.f64 %266 %4) #s(literal 8 binary64)) (/.f64 (-.f64 (*.f64 %224 #s(literal 2 binary64)) (*.f64 #s(literal -4 binary64) %14)) #s(literal -8 binary64)) (/.f64 (-.f64 %229 (*.f64 #s(literal -4 binary64) %16)) #s(literal -16 binary64)) (/.f64 (-.f64 (*.f64 %224 #s(literal -8 binary64)) (*.f64 #s(literal -4 binary64) %19)) #s(literal 32 binary64)) (/.f64 (-.f64 (*.f64 %224 #s(literal 8 binary64)) (*.f64 #s(literal -4 binary64) %4)) #s(literal -32 binary64)) (/.f64 (-.f64 (*.f64 %224 #s(literal -16 binary64)) (*.f64 #s(literal -4 binary64) %27)) #s(literal 64 binary64)) (/.f64 (-.f64 (*.f64 %224 #s(literal 16 binary64)) (*.f64 #s(literal -4 binary64) %30)) #s(literal -64 binary64)) (/.f64 (-.f64 %201 (*.f64 #s(literal 4 binary64) %14)) #s(literal 8 binary64)) (/.f64 (-.f64 %324 (*.f64 #s(literal 4 binary64) %16)) #s(literal 16 binary64)) (/.f64 (-.f64 (*.f64 %195 #s(literal -8 binary64)) (*.f64 #s(literal 4 binary64) %19)) #s(literal -32 binary64)) (/.f64 (-.f64 (*.f64 %195 #s(literal 8 binary64)) (*.f64 #s(literal 4 binary64) %4)) #s(literal 32 binary64)) (/.f64 (-.f64 (*.f64 %195 #s(literal -16 binary64)) (*.f64 #s(literal 4 binary64) %27)) #s(literal -64 binary64)) (/.f64 (-.f64 (*.f64 %195 #s(literal 16 binary64)) (*.f64 #s(literal 4 binary64) %30)) #s(literal 64 binary64)) (/.f64 (neg.f64 %429) #s(literal -4 binary64)) (/.f64 (neg.f64 %432) #s(literal 4 binary64)) (/.f64 %199 #s(literal 16 binary64)) (/.f64 %429 #s(literal 4 binary64)) (/.f64 %432 #s(literal -4 binary64)) (/.f64 %204 #s(literal -16 binary64)) (/.f64 %192 #s(literal -4 binary64)) (/.f64 %196 #s(literal 4 binary64)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 16 binary64) %199)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -16 binary64) %204)) (/.f64 #s(literal 1 binary64) (pow.f64 %218 #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -4 binary64) %192)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %196)) (/.f64 %218 #s(literal 1 binary64)) (neg.f64 %213) (fma.f64 %5 #s(literal -1/2 binary64) x) (fma.f64 %193 #s(literal -1/8 binary64) %455) (fma.f64 %193 #s(literal -1/8 binary64) %458) (fma.f64 %9 #s(literal 1/2 binary64) x) (fma.f64 %197 #s(literal 1/8 binary64) %455) (fma.f64 %197 #s(literal 1/8 binary64) %458) (fma.f64 %199 #s(literal 1/16 binary64) %455) (fma.f64 %199 #s(literal 1/16 binary64) %458) (fma.f64 %19 #s(literal 1/8 binary64) x) (fma.f64 %4 #s(literal -1/8 binary64) x) (fma.f64 #s(literal 1/8 binary64) %202 %455) (fma.f64 #s(literal 1/8 binary64) %202 %458) (fma.f64 #s(literal -2 binary64) %34 x) (fma.f64 #s(literal -2 binary64) %36 x) (fma.f64 #s(literal -1/2 binary64) %14 x) (fma.f64 %204 #s(literal -1/16 binary64) %455) (fma.f64 %204 #s(literal -1/16 binary64) %458) (fma.f64 %229 #s(literal -1/16 binary64) %41) (fma.f64 %324 #s(literal 1/16 binary64) %41) (fma.f64 #s(literal 1/2 binary64) %207 %455) (fma.f64 #s(literal 1/2 binary64) %207 %458) (fma.f64 #s(literal 1/2 binary64) %50 x) (fma.f64 #s(literal 2 binary64) (neg.f64 %36) x) (fma.f64 #s(literal 2 binary64) %24 x) (fma.f64 #s(literal 2 binary64) %209 %455) (fma.f64 #s(literal 2 binary64) %209 %458) (fma.f64 #s(literal -1/4 binary64) %192 %455) (fma.f64 #s(literal -1/4 binary64) %192 %458) %218 (fma.f64 %192 #s(literal -1/4 binary64) %455) (fma.f64 %192 #s(literal -1/4 binary64) %458) (fma.f64 #s(literal -1 binary64) %213 %455) (fma.f64 #s(literal -1 binary64) %213 %458) (fma.f64 #s(literal -1 binary64) %13 x) (fma.f64 %41 #s(literal 1 binary64) x) (fma.f64 %213 #s(literal -1 binary64) %455) (fma.f64 %213 #s(literal -1 binary64) %458) (fma.f64 #s(literal 1/4 binary64) %196 %455) (fma.f64 #s(literal 1/4 binary64) %196 %458) (fma.f64 #s(literal 1/4 binary64) %38 x) (fma.f64 %196 #s(literal 1/4 binary64) %455) (fma.f64 %196 #s(literal 1/4 binary64) %458) (fma.f64 %38 #s(literal 1/4 binary64) x) (fma.f64 #s(literal 1 binary64) %41 x) (fma.f64 #s(literal 1 binary64) %218 %455) (fma.f64 #s(literal 1 binary64) %218 %458) (fma.f64 %218 #s(literal 1 binary64) %455) (fma.f64 %218 #s(literal 1 binary64) %458) (fma.f64 %13 #s(literal -1 binary64) x) (fma.f64 y #s(literal -1/4 binary64) x) (-.f64 %230 %13) (-.f64 %41 (neg.f64 x)) (-.f64 x %13) (+.f64 %512 %512) (+.f64 %515 %515) (+.f64 %230 %41) (+.f64 %41 x) (+.f64 %218 %455) (+.f64 %218 %458) (+.f64 x %41) |
Compiled 296 to 537 computations (-81.4% saved)
Compiled 13 to 52 computations (-300.0% saved)
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 11 | 2 | 13 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 12 | 2 | 14 |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 100.0% | (fma.f64 #s(literal -1/4 binary64) y x) |
| ▶ | 51.2% | (approx (- x (/ y 4)) (*.f64 #s(literal -1/4 binary64) y)) |
Compiled 2 to 5 computations (-150.0% saved)
| Inputs |
|---|
| Outputs |
|---|
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 40 | 101 |
| 1× | iter-limit |
| Inputs |
|---|
%3 = (*.f64 #s(literal -1/4 binary64) y) x y #s(literal -1/4 binary64) %3 (approx (- x (/ y 4)) %3) (fma.f64 #s(literal -1/4 binary64) y x) |
| Outputs |
|---|
%7 = (- x (/ y 4)) %9 = (*.f64 #s(literal -1/4 binary64) y) %21 = (/.f64 y x) %33 = (/.f64 x y) (approx x #s(literal 0 binary64)) (approx x x) (approx %7 %9) (approx %7 (-.f64 x (*.f64 #s(literal 1/4 binary64) y))) (approx (+ (* -1/4 y) x) (+.f64 x %9)) (approx %7 (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/4 binary64) %21)))) (approx %7 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal 1/4 binary64) %21) #s(literal 1 binary64))))) (approx y y) (approx %7 (*.f64 y (-.f64 %33 #s(literal 1/4 binary64)))) (approx %7 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 1/4 binary64) (*.f64 #s(literal -1 binary64) %33))))) |
6 calls:
| Time | Variable | Point |
|---|---|---|
| 1.0ms | y | -inf |
| 1.0ms | y | inf |
| 1.0ms | x | -inf |
| 1.0ms | x | inf |
| 0.0ms | y | 0 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 19 |
| 0 | 12 | 19 |
| 1 | 43 | 18 |
| 2 | 109 | 18 |
| 3 | 304 | 18 |
| 4 | 1116 | 18 |
| 0 | 4120 | 18 |
| 0 | 4372 | 18 |
| 1× | iter-limit |
| 1× | iter-limit |
| 1× | node-limit |
| 1× | iter-limit |
| Inputs |
|---|
%3 = (*.f64 #s(literal -1/4 binary64) y) x y #s(literal -1/4 binary64) %3 (approx (- x (/ y 4)) %3) (fma.f64 #s(literal -1/4 binary64) y x) |
| Outputs |
|---|
%3 = (+.f64 y y) %4 = (*.f64 #s(literal -1/4 binary64) %3) %8 = (*.f64 y #s(literal -2 binary64)) %14 = (*.f64 #s(literal -1/8 binary64) y) %18 = (*.f64 #s(literal 1/4 binary64) y) %20 = (neg.f64 y) %24 = (*.f64 #s(literal -1/4 binary64) y) %29 = (*.f64 #s(literal 2 binary64) %18) %33 = (*.f64 #s(literal 4 binary64) %18) %44 = (*.f64 #s(literal -4 binary64) y) %47 = (*.f64 #s(literal 4 binary64) y) %64 = (*.f64 #s(literal -2 binary64) %14) %68 = (*.f64 y #s(literal 0 binary64)) %69 = (/.f64 %68 #s(literal 4 binary64)) %71 = (*.f64 #s(literal 0 binary64) y) %72 = (/.f64 %71 #s(literal -4 binary64)) %74 = (/.f64 %68 #s(literal -4 binary64)) %76 = (/.f64 %71 #s(literal 4 binary64)) %119 = (/.f64 (*.f64 %20 #s(literal 1/2 binary64)) #s(literal 4 binary64)) %122 = (/.f64 (*.f64 #s(literal -1/2 binary64) y) #s(literal 4 binary64)) %125 = (/.f64 (*.f64 y #s(literal 1/2 binary64)) #s(literal -4 binary64)) %128 = (/.f64 (*.f64 #s(literal 1/2 binary64) y) #s(literal -4 binary64)) %137 = (approx (- x (/ y 4)) %24) %142 = (fma.f64 #s(literal -4 binary64) x y) %143 = (*.f64 %142 #s(literal 2 binary64)) %145 = (*.f64 #s(literal 4 binary64) x) %146 = (-.f64 %145 y) %147 = (*.f64 %146 #s(literal 2 binary64)) %149 = (fma.f64 x #s(literal 16 binary64) %44) %152 = (*.f64 x #s(literal -16 binary64)) %153 = (fma.f64 #s(literal 4 binary64) y %152) %156 = (*.f64 #s(literal 1/8 binary64) %146) %159 = (-.f64 %18 x) %163 = (fma.f64 #s(literal -1/4 binary64) y x) %168 = (*.f64 x #s(literal 2 binary64)) %171 = (*.f64 #s(literal -4 binary64) x) %176 = (*.f64 %152 #s(literal -1/16 binary64)) %180 = (*.f64 %176 #s(literal 4 binary64)) %212 = (*.f64 %168 #s(literal 4 binary64)) %215 = (*.f64 %168 #s(literal -4 binary64)) %237 = (*.f64 %152 #s(literal 4 binary64)) %270 = (*.f64 x #s(literal 16 binary64)) %276 = (*.f64 %270 #s(literal 4 binary64)) %353 = (*.f64 %145 #s(literal 2 binary64)) %376 = (fma.f64 %18 #s(literal -4 binary64) %145) %379 = (fma.f64 %18 #s(literal 4 binary64) %171) %406 = (neg.f64 x) %407 = (*.f64 %406 #s(literal -1 binary64)) %411 = (/.f64 (*.f64 %146 #s(literal 0 binary64)) #s(literal 4 binary64)) %414 = (/.f64 (*.f64 #s(literal 0 binary64) %146) #s(literal 4 binary64)) %426 = (*.f64 #s(literal -1/2 binary64) %29) %429 = (*.f64 #s(literal -2 binary64) (*.f64 #s(literal 1/2 binary64) %18)) %432 = (*.f64 #s(literal -2 binary64) (*.f64 #s(literal 1/8 binary64) y)) %492 = (/.f64 (*.f64 %146 #s(literal 1/2 binary64)) #s(literal 4 binary64)) %495 = (/.f64 (*.f64 #s(literal 1/2 binary64) %146) #s(literal 4 binary64)) x y #s(literal -1/4 binary64) (*.f64 %4 #s(literal 1/2 binary64)) (*.f64 %8 #s(literal 1/8 binary64)) (*.f64 %3 #s(literal -1/8 binary64)) (*.f64 #s(literal 2 binary64) %14) (*.f64 #s(literal -1 binary64) %18) (*.f64 #s(literal 1/4 binary64) %20) (*.f64 %20 #s(literal 1/4 binary64)) (*.f64 #s(literal 1 binary64) %24) (*.f64 %24 #s(literal 1 binary64)) %24 (*.f64 y #s(literal -1/4 binary64)) (pow.f64 %24 #s(literal 1 binary64)) (/.f64 (neg.f64 %29) #s(literal 2 binary64)) (/.f64 (neg.f64 %33) #s(literal 4 binary64)) (/.f64 %4 #s(literal 2 binary64)) (/.f64 %29 #s(literal -2 binary64)) (/.f64 %33 #s(literal -4 binary64)) (/.f64 %8 #s(literal 8 binary64)) (/.f64 %3 #s(literal -8 binary64)) (/.f64 %44 #s(literal 16 binary64)) (/.f64 %47 #s(literal -16 binary64)) (/.f64 %20 #s(literal 4 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %24 #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %20)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -4 binary64) y)) (/.f64 %24 #s(literal 1 binary64)) (/.f64 y #s(literal -4 binary64)) (neg.f64 (*.f64 %4 #s(literal -1/2 binary64))) (neg.f64 (*.f64 %24 #s(literal -1 binary64))) (neg.f64 %64) (neg.f64 %18) (fma.f64 %4 #s(literal 1/2 binary64) %69) (fma.f64 %4 #s(literal 1/2 binary64) %72) (fma.f64 %4 #s(literal 1/2 binary64) %74) (fma.f64 %4 #s(literal 1/2 binary64) %76) (fma.f64 %8 #s(literal 1/8 binary64) %69) (fma.f64 %8 #s(literal 1/8 binary64) %72) (fma.f64 %8 #s(literal 1/8 binary64) %74) (fma.f64 %8 #s(literal 1/8 binary64) %76) (fma.f64 %3 #s(literal -1/8 binary64) %69) (fma.f64 %3 #s(literal -1/8 binary64) %72) (fma.f64 %3 #s(literal -1/8 binary64) %74) (fma.f64 %3 #s(literal -1/8 binary64) %76) (fma.f64 #s(literal 2 binary64) %14 %69) (fma.f64 #s(literal 2 binary64) %14 %72) (fma.f64 #s(literal 2 binary64) %14 %74) (fma.f64 #s(literal 2 binary64) %14 %76) (fma.f64 #s(literal -1 binary64) %18 %69) (fma.f64 #s(literal -1 binary64) %18 %72) (fma.f64 #s(literal -1 binary64) %18 %74) (fma.f64 #s(literal -1 binary64) %18 %76) (fma.f64 #s(literal 1/4 binary64) %20 %69) (fma.f64 #s(literal 1/4 binary64) %20 %72) (fma.f64 #s(literal 1/4 binary64) %20 %74) (fma.f64 #s(literal 1/4 binary64) %20 %76) (fma.f64 %20 #s(literal 1/4 binary64) %69) (fma.f64 %20 #s(literal 1/4 binary64) %72) (fma.f64 %20 #s(literal 1/4 binary64) %74) (fma.f64 %20 #s(literal 1/4 binary64) %76) (fma.f64 #s(literal 1 binary64) %24 %69) (fma.f64 #s(literal 1 binary64) %24 %72) (fma.f64 #s(literal 1 binary64) %24 %74) (fma.f64 #s(literal 1 binary64) %24 %76) (fma.f64 %24 #s(literal 1 binary64) %69) (fma.f64 %24 #s(literal 1 binary64) %72) (fma.f64 %24 #s(literal 1 binary64) %74) (fma.f64 %24 #s(literal 1 binary64) %76) (fma.f64 #s(literal -1/4 binary64) y %69) (fma.f64 #s(literal -1/4 binary64) y %72) (fma.f64 #s(literal -1/4 binary64) y %74) (fma.f64 #s(literal -1/4 binary64) y %76) (fma.f64 y #s(literal -1/4 binary64) %69) (fma.f64 y #s(literal -1/4 binary64) %72) (fma.f64 y #s(literal -1/4 binary64) %74) (fma.f64 y #s(literal -1/4 binary64) %76) (+.f64 %119 %119) (+.f64 %122 %122) (+.f64 %125 %125) (+.f64 %128 %128) (+.f64 %24 %69) (+.f64 %24 %72) (+.f64 %24 %74) (+.f64 %24 %76) (*.f64 #s(literal 1 binary64) %137) (pow.f64 %137 #s(literal 1 binary64)) %137 (/.f64 #s(literal 1 binary64) (pow.f64 %137 #s(literal -1 binary64))) (*.f64 %143 #s(literal -1/8 binary64)) (*.f64 %147 #s(literal 1/8 binary64)) (*.f64 %149 #s(literal 1/16 binary64)) (*.f64 %153 #s(literal -1/16 binary64)) (*.f64 #s(literal 2 binary64) %156) (*.f64 %142 #s(literal -1/4 binary64)) (*.f64 #s(literal -1 binary64) %159) (*.f64 #s(literal 1/4 binary64) %146) (*.f64 %146 #s(literal 1/4 binary64)) (*.f64 #s(literal 1 binary64) %163) (*.f64 %163 #s(literal 1 binary64)) (*.f64 #s(literal -1/4 binary64) %142) (pow.f64 %163 #s(literal 1 binary64)) (/.f64 (fma.f64 %24 #s(literal 2 binary64) %168) #s(literal 2 binary64)) (/.f64 (fma.f64 %24 #s(literal -4 binary64) %171) #s(literal -4 binary64)) (/.f64 (fma.f64 %24 #s(literal 4 binary64) %145) #s(literal 4 binary64)) (/.f64 (-.f64 (*.f64 %176 #s(literal 2 binary64)) %29) #s(literal 2 binary64)) (/.f64 (-.f64 %180 %33) #s(literal 4 binary64)) (/.f64 (-.f64 (*.f64 %176 #s(literal -8 binary64)) %8) #s(literal -8 binary64)) (/.f64 (-.f64 (*.f64 %176 #s(literal 8 binary64)) %3) #s(literal 8 binary64)) (/.f64 (-.f64 (*.f64 %176 #s(literal -16 binary64)) %44) #s(literal -16 binary64)) (/.f64 (-.f64 (*.f64 %176 #s(literal 16 binary64)) %47) #s(literal 16 binary64)) (/.f64 (-.f64 (*.f64 %176 #s(literal -4 binary64)) %20) #s(literal -4 binary64)) (/.f64 (-.f64 %180 y) #s(literal 4 binary64)) (/.f64 (-.f64 (*.f64 %24 #s(literal 4 binary64)) %171) #s(literal 4 binary64)) (/.f64 (-.f64 (*.f64 %24 #s(literal -4 binary64)) %145) #s(literal -4 binary64)) (/.f64 (-.f64 (*.f64 x #s(literal -8 binary64)) %8) #s(literal -8 binary64)) (/.f64 (-.f64 (*.f64 x #s(literal 8 binary64)) %3) #s(literal 8 binary64)) (/.f64 (fma.f64 y #s(literal -2 binary64) %212) #s(literal 8 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) y %215) #s(literal -8 binary64)) (/.f64 (-.f64 %168 %29) #s(literal 2 binary64)) (/.f64 (-.f64 %145 %33) #s(literal 4 binary64)) (/.f64 (fma.f64 y #s(literal -2 binary64) (*.f64 #s(literal 4 binary64) %168)) #s(literal 8 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) y (*.f64 #s(literal -4 binary64) %168)) #s(literal -8 binary64)) (/.f64 (fma.f64 %168 #s(literal 4 binary64) %8) #s(literal 8 binary64)) (/.f64 (fma.f64 %168 #s(literal -4 binary64) %3) #s(literal -8 binary64)) (/.f64 (-.f64 (*.f64 %152 #s(literal 2 binary64)) (*.f64 #s(literal -16 binary64) %29)) #s(literal -32 binary64)) (/.f64 (-.f64 %237 (*.f64 #s(literal -16 binary64) %33)) #s(literal -64 binary64)) (/.f64 (-.f64 (*.f64 %152 #s(literal -8 binary64)) (*.f64 #s(literal -16 binary64) %8)) #s(literal 128 binary64)) (/.f64 (-.f64 (*.f64 %152 #s(literal 8 binary64)) (*.f64 #s(literal -16 binary64) %3)) #s(literal -128 binary64)) (/.f64 (-.f64 (*.f64 %152 #s(literal -16 binary64)) (*.f64 #s(literal -16 binary64) %44)) #s(literal 256 binary64)) (/.f64 (-.f64 (*.f64 %152 #s(literal 16 binary64)) (*.f64 #s(literal -16 binary64) %47)) #s(literal -256 binary64)) (/.f64 (-.f64 (*.f64 %152 #s(literal -4 binary64)) (*.f64 #s(literal -16 binary64) %20)) #s(literal 64 binary64)) (/.f64 (-.f64 %237 (*.f64 #s(literal -16 binary64) y)) #s(literal -64 binary64)) (/.f64 (-.f64 (*.f64 %270 #s(literal 2 binary64)) (*.f64 #s(literal 16 binary64) %29)) #s(literal 32 binary64)) (/.f64 (-.f64 %276 (*.f64 #s(literal 16 binary64) %33)) #s(literal 64 binary64)) (/.f64 (-.f64 (*.f64 %270 #s(literal -8 binary64)) (*.f64 #s(literal 16 binary64) %8)) #s(literal -128 binary64)) (/.f64 (-.f64 (*.f64 %270 #s(literal 8 binary64)) (*.f64 #s(literal 16 binary64) %3)) #s(literal 128 binary64)) (/.f64 (-.f64 (*.f64 %270 #s(literal -16 binary64)) (*.f64 #s(literal 16 binary64) %44)) #s(literal -256 binary64)) (/.f64 (-.f64 (*.f64 %270 #s(literal 16 binary64)) (*.f64 #s(literal 16 binary64) %47)) #s(literal 256 binary64)) (/.f64 (-.f64 (*.f64 %270 #s(literal -4 binary64)) (*.f64 #s(literal 16 binary64) %20)) #s(literal -64 binary64)) (/.f64 (-.f64 %276 (*.f64 #s(literal 16 binary64) y)) #s(literal 64 binary64)) (/.f64 (-.f64 (*.f64 %168 #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) %29)) #s(literal 4 binary64)) (/.f64 (-.f64 %212 (*.f64 #s(literal 2 binary64) %33)) #s(literal 8 binary64)) (/.f64 (-.f64 (*.f64 %168 #s(literal -8 binary64)) (*.f64 #s(literal 2 binary64) %8)) #s(literal -16 binary64)) (/.f64 (-.f64 (*.f64 %168 #s(literal 8 binary64)) (*.f64 #s(literal 2 binary64) %3)) #s(literal 16 binary64)) (/.f64 (-.f64 (*.f64 %168 #s(literal -16 binary64)) (*.f64 #s(literal 2 binary64) %44)) #s(literal -32 binary64)) (/.f64 (-.f64 (*.f64 %168 #s(literal 16 binary64)) (*.f64 #s(literal 2 binary64) %47)) #s(literal 32 binary64)) (/.f64 (-.f64 %215 %8) #s(literal -8 binary64)) (/.f64 (-.f64 %212 %3) #s(literal 8 binary64)) (/.f64 (-.f64 (*.f64 %171 #s(literal 2 binary64)) (*.f64 #s(literal -4 binary64) %29)) #s(literal -8 binary64)) (/.f64 (-.f64 %152 (*.f64 #s(literal -4 binary64) %33)) #s(literal -16 binary64)) (/.f64 (-.f64 (*.f64 %171 #s(literal -8 binary64)) (*.f64 #s(literal -4 binary64) %8)) #s(literal 32 binary64)) (/.f64 (-.f64 (*.f64 %171 #s(literal 8 binary64)) (*.f64 #s(literal -4 binary64) %3)) #s(literal -32 binary64)) (/.f64 (-.f64 (*.f64 %171 #s(literal -16 binary64)) (*.f64 #s(literal -4 binary64) %44)) #s(literal 64 binary64)) (/.f64 (-.f64 (*.f64 %171 #s(literal 16 binary64)) (*.f64 #s(literal -4 binary64) %47)) #s(literal -64 binary64)) (/.f64 (-.f64 %353 (*.f64 #s(literal 4 binary64) %29)) #s(literal 8 binary64)) (/.f64 (-.f64 %270 (*.f64 #s(literal 4 binary64) %33)) #s(literal 16 binary64)) (/.f64 (-.f64 (*.f64 %145 #s(literal -8 binary64)) (*.f64 #s(literal 4 binary64) %8)) #s(literal -32 binary64)) (/.f64 (-.f64 (*.f64 %145 #s(literal 8 binary64)) (*.f64 #s(literal 4 binary64) %3)) #s(literal 32 binary64)) (/.f64 (-.f64 (*.f64 %145 #s(literal -16 binary64)) (*.f64 #s(literal 4 binary64) %44)) #s(literal -64 binary64)) (/.f64 (-.f64 (*.f64 %145 #s(literal 16 binary64)) (*.f64 #s(literal 4 binary64) %47)) #s(literal 64 binary64)) (/.f64 (neg.f64 %376) #s(literal -4 binary64)) (/.f64 (neg.f64 %379) #s(literal 4 binary64)) (/.f64 %149 #s(literal 16 binary64)) (/.f64 %376 #s(literal 4 binary64)) (/.f64 %379 #s(literal -4 binary64)) (/.f64 %153 #s(literal -16 binary64)) (/.f64 %142 #s(literal -4 binary64)) (/.f64 %146 #s(literal 4 binary64)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 16 binary64) %149)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -16 binary64) %153)) (/.f64 #s(literal 1 binary64) (pow.f64 %163 #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -4 binary64) %142)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %146)) (/.f64 %163 #s(literal 1 binary64)) (neg.f64 (*.f64 #s(literal -2 binary64) %156)) (neg.f64 (*.f64 #s(literal -1 binary64) %163)) (neg.f64 (*.f64 %163 #s(literal -1 binary64))) (neg.f64 %159) (fma.f64 %4 #s(literal 1/2 binary64) %407) (fma.f64 %4 #s(literal 1/2 binary64) x) (fma.f64 %143 #s(literal -1/8 binary64) %411) (fma.f64 %143 #s(literal -1/8 binary64) %414) (fma.f64 %147 #s(literal 1/8 binary64) %411) (fma.f64 %147 #s(literal 1/8 binary64) %414) (fma.f64 %149 #s(literal 1/16 binary64) %411) (fma.f64 %149 #s(literal 1/16 binary64) %414) (fma.f64 %8 #s(literal 1/8 binary64) %407) (fma.f64 %8 #s(literal 1/8 binary64) x) (fma.f64 %3 #s(literal -1/8 binary64) %407) (fma.f64 %3 #s(literal -1/8 binary64) x) (fma.f64 %153 #s(literal -1/16 binary64) %411) (fma.f64 %153 #s(literal -1/16 binary64) %414) (fma.f64 %152 #s(literal -1/16 binary64) %426) (fma.f64 %152 #s(literal -1/16 binary64) %429) (fma.f64 %152 #s(literal -1/16 binary64) %432) (fma.f64 %152 #s(literal -1/16 binary64) %24) (fma.f64 %270 #s(literal 1/16 binary64) %426) (fma.f64 %270 #s(literal 1/16 binary64) %429) (fma.f64 %270 #s(literal 1/16 binary64) %432) (fma.f64 %270 #s(literal 1/16 binary64) %24) (fma.f64 #s(literal 2 binary64) %14 %407) (fma.f64 #s(literal 2 binary64) %14 x) (fma.f64 #s(literal 2 binary64) %156 %411) (fma.f64 #s(literal 2 binary64) %156 %414) (fma.f64 %142 #s(literal -1/4 binary64) %411) (fma.f64 %142 #s(literal -1/4 binary64) %414) (fma.f64 #s(literal -1 binary64) %159 %411) (fma.f64 #s(literal -1 binary64) %159 %414) (fma.f64 #s(literal -1 binary64) %18 %407) (fma.f64 #s(literal -1 binary64) %18 x) (fma.f64 #s(literal 1/4 binary64) %146 %411) (fma.f64 #s(literal 1/4 binary64) %146 %414) (fma.f64 #s(literal 1/4 binary64) %20 %407) (fma.f64 #s(literal 1/4 binary64) %20 x) (fma.f64 %146 #s(literal 1/4 binary64) %411) (fma.f64 %146 #s(literal 1/4 binary64) %414) (fma.f64 %20 #s(literal 1/4 binary64) %407) (fma.f64 %20 #s(literal 1/4 binary64) x) (fma.f64 #s(literal 1 binary64) %163 %411) (fma.f64 #s(literal 1 binary64) %163 %414) (fma.f64 #s(literal 1 binary64) %24 %407) (fma.f64 #s(literal 1 binary64) %24 x) (fma.f64 %163 #s(literal 1 binary64) %411) (fma.f64 %163 #s(literal 1 binary64) %414) (fma.f64 %24 #s(literal 1 binary64) %407) (fma.f64 %24 #s(literal 1 binary64) x) (fma.f64 #s(literal -1/4 binary64) %142 %411) (fma.f64 #s(literal -1/4 binary64) %142 %414) (fma.f64 #s(literal -1/4 binary64) y %407) %163 (fma.f64 y #s(literal -1/4 binary64) %407) (fma.f64 y #s(literal -1/4 binary64) x) (-.f64 %176 %18) (-.f64 %24 (*.f64 (*.f64 x #s(literal -1/4 binary64)) #s(literal 4 binary64))) (-.f64 %24 (*.f64 (neg.f64 %353) #s(literal 1/8 binary64))) (-.f64 %24 (*.f64 (neg.f64 %168) #s(literal 1/2 binary64))) (-.f64 %24 (*.f64 (neg.f64 (*.f64 x #s(literal 1/2 binary64))) #s(literal 2 binary64))) (-.f64 %24 (*.f64 #s(literal -1/4 binary64) %145)) (-.f64 %24 (*.f64 #s(literal -1 binary64) x)) (-.f64 %24 %406) (-.f64 x %64) (-.f64 x %18) (+.f64 %492 %492) (+.f64 %495 %495) (+.f64 %176 %426) (+.f64 %176 %429) (+.f64 %176 %432) (+.f64 %176 %24) (+.f64 %163 %411) (+.f64 %163 %414) (+.f64 %24 %407) (+.f64 %24 x) (+.f64 x %426) (+.f64 x %429) (+.f64 x %432) (+.f64 x %24) |
Compiled 267 to 520 computations (-94.8% saved)
Compiled 13 to 50 computations (-284.6% saved)
2 alts after pruning (0 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 13 | 0 | 13 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 2 | 2 |
| Done | 0 | 0 | 0 |
| Total | 13 | 2 | 15 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 100.0% | (fma.f64 #s(literal -1/4 binary64) y x) |
| ✓ | 51.2% | (approx (- x (/ y 4)) (*.f64 #s(literal -1/4 binary64) y)) |
Compiled 2 to 5 computations (-150.0% saved)
Total 0.0b remaining (0.0%)
Threshold costs 0.0b (0.0%)
| 0.0b | 0.0% |
| 0.0b | 0% |
| Inputs |
|---|
(approx (- x (/ y 4)) (*.f64 #s(literal -1/4 binary64) y)) |
| Outputs |
|---|
(approx (- x (/ y 4)) (*.f64 #s(literal -1/4 binary64) y)) |
| Inputs |
|---|
(approx (- x (/ y 4)) (*.f64 #s(literal -1/4 binary64) y)) (fma.f64 #s(literal -1/4 binary64) y x) |
| Outputs |
|---|
(fma.f64 #s(literal -1/4 binary64) y x) |
4 calls:
| 3.0ms | (-.f64 x (/.f64 y #s(literal 4 binary64))) |
| 2.0ms | (/.f64 y #s(literal 4 binary64)) |
| 2.0ms | x |
| 2.0ms | y |
| Accuracy | Segments | Branch |
|---|---|---|
| 51.2% | 1 | y |
| 51.2% | 1 | x |
| 51.2% | 1 | (-.f64 x (/.f64 y #s(literal 4 binary64))) |
| 51.2% | 1 | (/.f64 y #s(literal 4 binary64)) |
Compiled 7 to 13 computations (-85.7% saved)
| 1× | done |
Compiled 2 to 5 computations (-150.0% saved)
Compiled 3 to 10 computations (-233.3% saved)
| Allocated | Percent | Phase |
|---|---|---|
| 364.9 MiB | 37.3% | sample |
| 314.1 MiB | 32.1% | rewrite |
| 137.1 MiB | 14.0% | reconstruct |
| 64.7 MiB | 6.6% | preprocess |
| 35.1 MiB | 3.6% | regimes |
| 24.1 MiB | 2.5% | series |
| 21.1 MiB | 2.2% | derivations |
| 11.2 MiB | 1.1% | eval |
| 5.7 MiB | 0.6% | prune |
| 0.1 MiB | 0.0% | analyze |
| 0.1 MiB | 0.0% | end |
| 0.1 MiB | 0.0% | bsearch |
| 0.0 MiB | 0.0% | start |
| 978.3 MiB | 100.0% | total |
Loading profile data...