Data.Random.Dice:roll from dice-0.1
Time bar (total: 752.0ms)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 0.0% | 0 |
| 100.0% | 100.0% | 0.0% | 0.0% | 0.0% | 0.0% | 0.0% | 1 |
Compiled 7 to 5 computations (28.6% saved)
| 144.0ms | 8 256× | 0 | valid |
Mul: 3.0ms (61.6% of total, 0.0 MiB)Sub: 2.0ms (41.0% of total, 0.0 MiB)Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 15 |
| 1 | 47 | 15 |
| 2 | 141 | 15 |
| 3 | 437 | 15 |
| 4 | 2818 | 15 |
| 1× | node-limit |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 100.0% | (-.f64 (*.f64 x x) #s(literal 1 binary64)) |
(abs x)
Compiled 2 to 8 computations (-300.0% saved)
| Inputs |
|---|
| Outputs |
|---|
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 18 | 48 |
| 1× | iter-limit |
| Inputs |
|---|
%1 = (*.f64 x x) x %1 #s(literal 1 binary64) (-.f64 %1 #s(literal 1 binary64)) |
| Outputs |
|---|
%4 = (* x x) %6 = (pow.f64 x #s(literal 2 binary64)) %9 = (- %4 1) (approx x #s(literal 0 binary64)) (approx x x) (approx %4 %6) (approx %9 #s(literal -1 binary64)) (approx %9 (-.f64 %6 #s(literal 1 binary64))) (approx %9 (*.f64 %6 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %6)))) |
3 calls:
| Time | Variable | Point |
|---|---|---|
| 1.0ms | x | inf |
| 1.0ms | x | -inf |
| 0.0ms | x | 0 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4 | 10 |
| 0 | 6 | 10 |
| 1 | 29 | 10 |
| 2 | 93 | 10 |
| 3 | 394 | 10 |
| 4 | 2448 | 10 |
| 0 | 4036 | 10 |
| 0 | 4343 | 9 |
| 1× | iter-limit |
| 1× | iter-limit |
| 1× | node-limit |
| 1× | iter-limit |
| Inputs |
|---|
%1 = (*.f64 x x) x %1 #s(literal 1 binary64) (-.f64 %1 #s(literal 1 binary64)) |
| Outputs |
|---|
%1 = (*.f64 x x) %2 = (*.f64 %1 %1) %4 = (pow.f64 %2 #s(literal -1/2 binary64)) %6 = (fabs.f64 x) %7 = (sqrt.f64 %6) %8 = (*.f64 %7 %6) %11 = (neg.f64 %6) %14 = (neg.f64 x) %53 = (*.f64 %14 x) %74 = (+.f64 x x) %75 = (fma.f64 x %74 #s(literal -2 binary64)) %76 = (/.f64 %75 #s(literal 8 binary64)) %78 = (/.f64 %75 #s(literal 4 binary64)) %80 = (-.f64 #s(literal 1 binary64) %6) %81 = (-.f64 #s(literal -1 binary64) %6) %85 = (-.f64 #s(literal 1 binary64) x) %86 = (-.f64 #s(literal -1 binary64) x) %88 = (-.f64 %6 #s(literal 1 binary64)) %89 = (-.f64 %6 #s(literal -1 binary64)) %93 = (-.f64 x #s(literal 1 binary64)) %94 = (+.f64 #s(literal 1 binary64) x) %97 = (fma.f64 x x #s(literal -1 binary64)) %100 = (*.f64 #s(literal 2 binary64) %86) %103 = (fma.f64 %6 #s(literal 2 binary64) #s(literal 2 binary64)) %106 = (fma.f64 %6 #s(literal 2 binary64) #s(literal -2 binary64)) %109 = (*.f64 %85 #s(literal 2 binary64)) %112 = (fma.f64 #s(literal 2 binary64) x #s(literal 2 binary64)) %115 = (fma.f64 #s(literal 2 binary64) x #s(literal -2 binary64)) %137 = (fma.f64 x x #s(literal -1/2 binary64)) %183 = (*.f64 %93 #s(literal 1/4 binary64)) %184 = (*.f64 %93 x) %185 = (-.f64 %184 #s(literal 0 binary64)) %189 = (*.f64 %94 #s(literal -2 binary64)) %190 = (*.f64 %86 %14) %192 = (*.f64 %14 %86) %194 = (fma.f64 x x x) %196 = (*.f64 %93 #s(literal 4 binary64)) %199 = (*.f64 %93 #s(literal -2 binary64)) %202 = (*.f64 %88 #s(literal 0 binary64)) %204 = (*.f64 %86 #s(literal 0 binary64)) %206 = (*.f64 %93 #s(literal 0 binary64)) %208 = (*.f64 #s(literal 0 binary64) %88) %210 = (*.f64 #s(literal 0 binary64) %86) %212 = (*.f64 #s(literal 0 binary64) %93) %223 = (*.f64 %6 %88) %227 = (/.f64 %115 #s(literal 8 binary64)) %230 = (/.f64 %115 #s(literal 4 binary64)) %233 = (/.f64 %100 #s(literal 8 binary64)) %237 = (/.f64 %100 #s(literal 4 binary64)) %241 = (*.f64 %94 #s(literal -1/2 binary64)) %245 = (*.f64 %93 #s(literal 1/2 binary64)) %248 = (*.f64 %94 #s(literal 1/2 binary64)) %252 = (*.f64 %94 #s(literal 1 binary64)) %256 = (*.f64 %93 #s(literal -1 binary64)) %265 = (*.f64 %93 #s(literal 2 binary64)) %268 = (-.f64 %6 #s(literal -1/2 binary64)) %269 = (*.f64 #s(literal 1/2 binary64) %88) %271 = (-.f64 x #s(literal -1/2 binary64)) %272 = (*.f64 #s(literal 1/2 binary64) %93) %274 = (-.f64 #s(literal 1/2 binary64) x) %275 = (*.f64 #s(literal 1/2 binary64) %86) %277 = (*.f64 #s(literal 4 binary64) %93) %310 = (*.f64 #s(literal 1/4 binary64) %93) %317 = (*.f64 #s(literal -1/2 binary64) %93) %320 = (*.f64 #s(literal 1/2 binary64) %94) %331 = (*.f64 %85 #s(literal -1 binary64)) %333 = (*.f64 %88 #s(literal 1/2 binary64)) %342 = (*.f64 %88 #s(literal 1 binary64)) %344 = (*.f64 %88 %6) %353 = (*.f64 %89 #s(literal -1 binary64)) %355 = (*.f64 %86 #s(literal 1/2 binary64)) %364 = (*.f64 %86 %274) %371 = (*.f64 #s(literal -2 binary64) %94) %377 = (*.f64 %274 %86) %379 = (*.f64 %271 %93) %381 = (*.f64 #s(literal -1 binary64) %93) %388 = (*.f64 %93 %271) %412 = (*.f64 #s(literal -1 binary64) %89) %415 = (*.f64 #s(literal -1 binary64) %85) %419 = (*.f64 #s(literal -1/2 binary64) %94) %444 = (-.f64 %1 #s(literal 0 binary64)) x (*.f64 %4 %2) (*.f64 %8 %7) (*.f64 %7 %8) (*.f64 %11 %11) (*.f64 %6 %6) (*.f64 %14 %14) (*.f64 #s(literal 1 binary64) %1) %1 (pow.f64 (*.f64 #s(literal -1 binary64) %11) #s(literal 2 binary64)) (pow.f64 (*.f64 #s(literal -1 binary64) %6) #s(literal 2 binary64)) (pow.f64 (*.f64 #s(literal -1 binary64) %14) #s(literal 2 binary64)) (pow.f64 (*.f64 #s(literal -1 binary64) x) #s(literal 2 binary64)) (pow.f64 (pow.f64 x #s(literal 8 binary64)) #s(literal 1/4 binary64)) (pow.f64 %2 #s(literal 1/2 binary64)) (pow.f64 %7 #s(literal 4 binary64)) (pow.f64 %11 #s(literal 2 binary64)) (pow.f64 %6 #s(literal 2 binary64)) (pow.f64 %14 #s(literal 2 binary64)) (pow.f64 %1 #s(literal 1 binary64)) (pow.f64 x #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) %4) (/.f64 #s(literal 1 binary64) (pow.f64 %11 #s(literal -2 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 %6 #s(literal -2 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 %14 #s(literal -2 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal -2 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 %1 #s(literal -1 binary64))) (neg.f64 %53) (sqrt.f64 %2) (fabs.f64 (*.f64 %14 %11)) (fabs.f64 (*.f64 x %11)) (fabs.f64 (*.f64 %14 %6)) (fabs.f64 (*.f64 x %6)) (fabs.f64 (*.f64 %11 %14)) (fabs.f64 (*.f64 %6 %14)) (fabs.f64 (*.f64 %11 x)) (fabs.f64 (*.f64 %6 x)) (fabs.f64 %53) (fabs.f64 %1) #s(literal 1 binary64) (*.f64 %76 #s(literal 4 binary64)) (*.f64 %78 #s(literal 2 binary64)) (*.f64 %80 %81) (*.f64 %81 %80) (*.f64 %75 #s(literal 1/2 binary64)) (*.f64 %85 %86) (*.f64 %88 %89) (*.f64 %89 %88) (*.f64 %86 %85) (*.f64 %93 %94) (*.f64 %94 %93) (*.f64 #s(literal 1 binary64) %97) (pow.f64 %97 #s(literal 1 binary64)) (/.f64 (*.f64 %85 %100) #s(literal 2 binary64)) (/.f64 (*.f64 %88 %103) #s(literal 2 binary64)) (/.f64 (*.f64 %89 %106) #s(literal 2 binary64)) (/.f64 (*.f64 %86 %109) #s(literal 2 binary64)) (/.f64 (*.f64 %93 %112) #s(literal 2 binary64)) (/.f64 (*.f64 %94 %115) #s(literal 2 binary64)) (/.f64 (*.f64 %109 %86) #s(literal 2 binary64)) (/.f64 (*.f64 %106 %89) #s(literal 2 binary64)) (/.f64 (*.f64 %103 %88) #s(literal 2 binary64)) (/.f64 (*.f64 %100 %85) #s(literal 2 binary64)) (/.f64 (*.f64 %115 %94) #s(literal 2 binary64)) (/.f64 (*.f64 %112 %93) #s(literal 2 binary64)) (/.f64 (/.f64 %75 #s(literal 1/2 binary64)) #s(literal 4 binary64)) (/.f64 (/.f64 %75 #s(literal 1 binary64)) #s(literal 2 binary64)) (/.f64 %78 #s(literal 1/2 binary64)) (/.f64 (fma.f64 %1 #s(literal -2 binary64) #s(literal 2 binary64)) #s(literal -2 binary64)) (/.f64 (-.f64 (*.f64 %137 #s(literal 2 binary64)) #s(literal 1 binary64)) #s(literal 2 binary64)) (/.f64 (-.f64 (*.f64 %97 #s(literal 2 binary64)) #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (-.f64 (*.f64 %1 #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 4 binary64)) (/.f64 (-.f64 (*.f64 %1 #s(literal -2 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64)) (/.f64 (-.f64 (*.f64 %1 #s(literal 1 binary64)) #s(literal 1 binary64)) #s(literal 1 binary64)) (/.f64 (-.f64 %2 #s(literal 1 binary64)) (fma.f64 x x #s(literal 1 binary64))) (/.f64 (-.f64 (*.f64 %75 #s(literal 2 binary64)) #s(literal 0 binary64)) #s(literal 4 binary64)) (/.f64 (*.f64 %109 %100) #s(literal 4 binary64)) (/.f64 (*.f64 %106 %103) #s(literal 4 binary64)) (/.f64 (*.f64 %103 %106) #s(literal 4 binary64)) (/.f64 (*.f64 %100 %109) #s(literal 4 binary64)) (/.f64 (*.f64 %115 %112) #s(literal 4 binary64)) (/.f64 (*.f64 %112 %115) #s(literal 4 binary64)) (/.f64 (neg.f64 %75) #s(literal -2 binary64)) (/.f64 %75 #s(literal 2 binary64)) (/.f64 %97 #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %75)) (/.f64 #s(literal 1 binary64) (pow.f64 %97 #s(literal -1 binary64))) (neg.f64 (-.f64 #s(literal 1 binary64) %1)) (fma.f64 %4 %2 #s(literal -1 binary64)) (fma.f64 %183 #s(literal 4 binary64) %185) (fma.f64 %183 #s(literal 4 binary64) %184) (fma.f64 %8 %7 #s(literal -1 binary64)) (fma.f64 %189 #s(literal 1/2 binary64) %190) (fma.f64 %189 #s(literal 1/2 binary64) %192) (fma.f64 %189 #s(literal 1/2 binary64) %194) (fma.f64 %196 #s(literal 1/4 binary64) %185) (fma.f64 %196 #s(literal 1/4 binary64) %184) (fma.f64 %199 #s(literal -1/2 binary64) %185) (fma.f64 %199 #s(literal -1/2 binary64) %184) (fma.f64 %76 #s(literal 4 binary64) %202) (fma.f64 %76 #s(literal 4 binary64) %204) (fma.f64 %76 #s(literal 4 binary64) %206) (fma.f64 %76 #s(literal 4 binary64) %208) (fma.f64 %76 #s(literal 4 binary64) %210) (fma.f64 %76 #s(literal 4 binary64) %212) (fma.f64 %76 #s(literal 4 binary64) #s(literal 0 binary64)) (fma.f64 %78 #s(literal 2 binary64) %202) (fma.f64 %78 #s(literal 2 binary64) %204) (fma.f64 %78 #s(literal 2 binary64) %206) (fma.f64 %78 #s(literal 2 binary64) %208) (fma.f64 %78 #s(literal 2 binary64) %210) (fma.f64 %78 #s(literal 2 binary64) %212) (fma.f64 %78 #s(literal 2 binary64) #s(literal 0 binary64)) (fma.f64 (/.f64 %106 #s(literal 8 binary64)) #s(literal 4 binary64) %223) (fma.f64 (/.f64 %106 #s(literal 4 binary64)) #s(literal 2 binary64) %223) (fma.f64 %227 #s(literal 4 binary64) %185) (fma.f64 %227 #s(literal 4 binary64) %184) (fma.f64 %230 #s(literal 2 binary64) %185) (fma.f64 %230 #s(literal 2 binary64) %184) (fma.f64 %233 #s(literal 4 binary64) %190) (fma.f64 %233 #s(literal 4 binary64) %192) (fma.f64 %233 #s(literal 4 binary64) %194) (fma.f64 %237 #s(literal 2 binary64) %190) (fma.f64 %237 #s(literal 2 binary64) %192) (fma.f64 %237 #s(literal 2 binary64) %194) (fma.f64 %241 #s(literal 2 binary64) %190) (fma.f64 %241 #s(literal 2 binary64) %192) (fma.f64 %241 #s(literal 2 binary64) %194) (fma.f64 %245 #s(literal 2 binary64) %185) (fma.f64 %245 #s(literal 2 binary64) %184) (fma.f64 %248 #s(literal -2 binary64) %190) (fma.f64 %248 #s(literal -2 binary64) %192) (fma.f64 %248 #s(literal -2 binary64) %194) (fma.f64 %252 #s(literal -1 binary64) %190) (fma.f64 %252 #s(literal -1 binary64) %192) (fma.f64 %252 #s(literal -1 binary64) %194) (fma.f64 %256 #s(literal -1 binary64) %185) (fma.f64 %256 #s(literal -1 binary64) %184) (fma.f64 (+.f64 %7 #s(literal -1 binary64)) (-.f64 %7 #s(literal -1 binary64)) %223) (fma.f64 (+.f64 %7 #s(literal 1 binary64)) (-.f64 %7 #s(literal 1 binary64)) %223) (fma.f64 %265 #s(literal 1/2 binary64) %185) (fma.f64 %265 #s(literal 1/2 binary64) %184) (fma.f64 %268 %88 %269) (fma.f64 %271 %93 %272) (fma.f64 %274 %86 %275) (fma.f64 #s(literal 1/4 binary64) %277 %185) (fma.f64 #s(literal 1/4 binary64) %277 %184) (fma.f64 %80 %81 %202) (fma.f64 %80 %81 %204) (fma.f64 %80 %81 %206) (fma.f64 %80 %81 %208) (fma.f64 %80 %81 %210) (fma.f64 %80 %81 %212) (fma.f64 %80 %81 #s(literal 0 binary64)) (fma.f64 %81 %80 %202) (fma.f64 %81 %80 %204) (fma.f64 %81 %80 %206) (fma.f64 %81 %80 %208) (fma.f64 %81 %80 %210) (fma.f64 %81 %80 %212) (fma.f64 %81 %80 #s(literal 0 binary64)) (fma.f64 %112 #s(literal -1/2 binary64) %190) (fma.f64 %112 #s(literal -1/2 binary64) %192) (fma.f64 %112 #s(literal -1/2 binary64) %194) (fma.f64 %75 #s(literal 1/2 binary64) %202) (fma.f64 %75 #s(literal 1/2 binary64) %204) (fma.f64 %75 #s(literal 1/2 binary64) %206) (fma.f64 %75 #s(literal 1/2 binary64) %208) (fma.f64 %75 #s(literal 1/2 binary64) %210) (fma.f64 %75 #s(literal 1/2 binary64) %212) (fma.f64 %75 #s(literal 1/2 binary64) #s(literal 0 binary64)) (fma.f64 %100 #s(literal 1/2 binary64) %190) (fma.f64 %100 #s(literal 1/2 binary64) %192) (fma.f64 %100 #s(literal 1/2 binary64) %194) (fma.f64 %106 #s(literal 1/2 binary64) %223) (fma.f64 %115 #s(literal 1/2 binary64) %185) (fma.f64 %115 #s(literal 1/2 binary64) %184) (fma.f64 #s(literal 4 binary64) %310 %185) (fma.f64 #s(literal 4 binary64) %310 %184) (fma.f64 %7 %8 #s(literal -1 binary64)) (fma.f64 #s(literal -1/2 binary64) %112 %190) (fma.f64 #s(literal -1/2 binary64) %112 %192) (fma.f64 #s(literal -1/2 binary64) %112 %194) (fma.f64 #s(literal -2 binary64) %317 %185) (fma.f64 #s(literal -2 binary64) %317 %184) (fma.f64 #s(literal -2 binary64) %320 %190) (fma.f64 #s(literal -2 binary64) %320 %192) (fma.f64 #s(literal -2 binary64) %320 %194) (fma.f64 %85 %86 %202) (fma.f64 %85 %86 %204) (fma.f64 %85 %86 %206) (fma.f64 %85 %86 %208) (fma.f64 %85 %86 %210) (fma.f64 %85 %86 %212) (fma.f64 %85 %86 #s(literal 0 binary64)) (fma.f64 %85 %14 %331) (fma.f64 %88 %268 %333) (fma.f64 %88 %89 %202) (fma.f64 %88 %89 %204) (fma.f64 %88 %89 %206) (fma.f64 %88 %89 %208) (fma.f64 %88 %89 %210) (fma.f64 %88 %89 %212) (fma.f64 %88 %89 #s(literal 0 binary64)) (fma.f64 %88 %6 %342) (fma.f64 %88 #s(literal 1 binary64) %344) (fma.f64 %89 %88 %202) (fma.f64 %89 %88 %204) (fma.f64 %89 %88 %206) (fma.f64 %89 %88 %208) (fma.f64 %89 %88 %210) (fma.f64 %89 %88 %212) (fma.f64 %89 %88 #s(literal 0 binary64)) (fma.f64 %89 %6 %353) (fma.f64 %86 %274 %355) (fma.f64 %86 %85 %202) (fma.f64 %86 %85 %204) (fma.f64 %86 %85 %206) (fma.f64 %86 %85 %208) (fma.f64 %86 %85 %210) (fma.f64 %86 %85 %212) (fma.f64 %86 %85 #s(literal 0 binary64)) (fma.f64 %86 #s(literal 1/2 binary64) %364) (fma.f64 %86 %14 %86) (fma.f64 %86 #s(literal 1 binary64) %190) (fma.f64 %86 #s(literal 1 binary64) %192) (fma.f64 %86 #s(literal 1 binary64) %194) (fma.f64 %11 %11 #s(literal -1 binary64)) (fma.f64 #s(literal 1/2 binary64) %371 %190) (fma.f64 #s(literal 1/2 binary64) %371 %192) (fma.f64 #s(literal 1/2 binary64) %371 %194) (fma.f64 #s(literal 1/2 binary64) %115 %185) (fma.f64 #s(literal 1/2 binary64) %115 %184) (fma.f64 #s(literal 1/2 binary64) %86 %377) (fma.f64 #s(literal 1/2 binary64) %93 %379) (fma.f64 #s(literal -1 binary64) %381 %185) (fma.f64 #s(literal -1 binary64) %381 %184) (fma.f64 #s(literal -1 binary64) %94 %190) (fma.f64 #s(literal -1 binary64) %94 %192) (fma.f64 #s(literal -1 binary64) %94 %194) (fma.f64 %93 %271 %245) (fma.f64 %93 #s(literal 1/2 binary64) %388) (fma.f64 %93 %94 %202) (fma.f64 %93 %94 %204) (fma.f64 %93 %94 %206) (fma.f64 %93 %94 %208) (fma.f64 %93 %94 %210) (fma.f64 %93 %94 %212) (fma.f64 %93 %94 #s(literal 0 binary64)) (fma.f64 %93 #s(literal 1 binary64) %185) (fma.f64 %93 #s(literal 1 binary64) %184) (fma.f64 %93 x %93) (fma.f64 %94 #s(literal -1 binary64) %190) (fma.f64 %94 #s(literal -1 binary64) %192) (fma.f64 %94 #s(literal -1 binary64) %194) (fma.f64 %94 %93 %202) (fma.f64 %94 %93 %204) (fma.f64 %94 %93 %206) (fma.f64 %94 %93 %208) (fma.f64 %94 %93 %210) (fma.f64 %94 %93 %212) (fma.f64 %94 %93 #s(literal 0 binary64)) (fma.f64 %94 x %86) (fma.f64 %6 %88 %88) (fma.f64 %6 %89 %412) (fma.f64 %6 %6 #s(literal -1 binary64)) (fma.f64 %14 %85 %415) (fma.f64 %14 %86 %86) (fma.f64 %14 %14 #s(literal -1 binary64)) (fma.f64 #s(literal 2 binary64) %419 %190) (fma.f64 #s(literal 2 binary64) %419 %192) (fma.f64 #s(literal 2 binary64) %419 %194) (fma.f64 #s(literal 2 binary64) %272 %185) (fma.f64 #s(literal 2 binary64) %272 %184) (fma.f64 #s(literal 1 binary64) %137 #s(literal -1/2 binary64)) (fma.f64 #s(literal 1 binary64) %184 %93) (fma.f64 #s(literal 1 binary64) %194 %86) (fma.f64 #s(literal 1 binary64) %88 %223) (fma.f64 #s(literal 1 binary64) %86 %190) (fma.f64 #s(literal 1 binary64) %86 %192) (fma.f64 #s(literal 1 binary64) %86 %194) (fma.f64 #s(literal 1 binary64) %93 %185) (fma.f64 #s(literal 1 binary64) %93 %184) (fma.f64 #s(literal 1 binary64) %97 %202) (fma.f64 #s(literal 1 binary64) %97 %204) (fma.f64 #s(literal 1 binary64) %97 %206) (fma.f64 #s(literal 1 binary64) %97 %208) (fma.f64 #s(literal 1 binary64) %97 %210) (fma.f64 #s(literal 1 binary64) %97 %212) (fma.f64 #s(literal 1 binary64) %97 #s(literal 0 binary64)) (fma.f64 #s(literal 1 binary64) %1 #s(literal -1 binary64)) (fma.f64 x %93 %93) (fma.f64 x %94 %86) %97 (-.f64 %444 #s(literal 1 binary64)) (-.f64 (/.f64 (*.f64 x %74) #s(literal 2 binary64)) #s(literal 1 binary64)) (-.f64 %137 #s(literal 1/2 binary64)) (-.f64 %184 (*.f64 %85 #s(literal 1 binary64))) (-.f64 %184 %381) (-.f64 %184 %85) (-.f64 %194 (*.f64 %86 #s(literal -1 binary64))) (-.f64 %194 %94) (-.f64 #s(literal -1 binary64) %53) (-.f64 %93 (*.f64 %85 x)) (-.f64 %93 (*.f64 %14 %93)) (-.f64 %93 (neg.f64 %184)) (-.f64 %97 #s(literal 0 binary64)) (-.f64 %1 #s(literal 1 binary64)) (+.f64 (-.f64 %97 #s(literal 1 binary64)) #s(literal 1 binary64)) (+.f64 (*.f64 %85 %14) %331) (+.f64 (*.f64 %88 %268) %333) (+.f64 %344 %342) (+.f64 %342 %344) (+.f64 (*.f64 %89 %6) %353) (+.f64 %364 %355) (+.f64 %355 %364) (+.f64 %190 %86) (+.f64 %388 %245) (+.f64 %245 %388) (+.f64 (*.f64 %14 %85) %415) (+.f64 (*.f64 %268 %88) %269) (+.f64 %223 %88) (+.f64 (*.f64 %6 %89) %412) (+.f64 %377 %275) (+.f64 %275 %377) (+.f64 %192 %86) (+.f64 %379 %272) (+.f64 %272 %379) (+.f64 %137 #s(literal -1/2 binary64)) (+.f64 %184 %93) (+.f64 %194 %86) (+.f64 #s(literal -1/2 binary64) (-.f64 #s(literal -1/2 binary64) %53)) (+.f64 #s(literal -1/2 binary64) (+.f64 #s(literal -1/2 binary64) %1)) (+.f64 #s(literal -1/2 binary64) %137) (+.f64 %88 %223) (+.f64 %86 %190) (+.f64 %86 %192) (+.f64 %86 %194) (+.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) %53)) (+.f64 #s(literal -1 binary64) (+.f64 #s(literal 0 binary64) %1)) (+.f64 #s(literal -1 binary64) %444) (+.f64 #s(literal -1 binary64) %1) (+.f64 %93 %185) (+.f64 %93 %184) (+.f64 %97 %202) (+.f64 %97 %204) (+.f64 %97 %206) (+.f64 %97 %208) (+.f64 %97 %210) (+.f64 %97 %212) (+.f64 %97 #s(literal 0 binary64)) (+.f64 %1 #s(literal -1 binary64)) |
Compiled 358 to 525 computations (-46.6% saved)
Compiled 27 to 78 computations (-188.9% saved)
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 25 | 2 | 27 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 26 | 2 | 28 |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 100.0% | (fma.f64 x x #s(literal -1 binary64)) |
| ▶ | 45.2% | (approx (- (* x x) 1) #s(literal -1 binary64)) |
Compiled 2 to 3 computations (-50.0% saved)
| Inputs |
|---|
| Outputs |
|---|
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 18 | 50 |
| 1× | iter-limit |
| Inputs |
|---|
x #s(literal -1 binary64) (approx (- (* x x) 1) #s(literal -1 binary64)) (fma.f64 x x #s(literal -1 binary64)) |
| Outputs |
|---|
%6 = (- (* x x) 1) %10 = (pow.f64 x #s(literal 2 binary64)) (approx x #s(literal 0 binary64)) (approx x x) (approx %6 #s(literal -1 binary64)) (approx %6 (-.f64 %10 #s(literal 1 binary64))) (approx %6 %10) (approx %6 (*.f64 %10 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %10)))) |
3 calls:
| Time | Variable | Point |
|---|---|---|
| 1.0ms | x | inf |
| 1.0ms | x | -inf |
| 0.0ms | x | 0 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 13 |
| 0 | 8 | 12 |
| 1 | 34 | 12 |
| 2 | 112 | 12 |
| 3 | 417 | 12 |
| 4 | 2498 | 12 |
| 0 | 4066 | 12 |
| 0 | 4381 | 12 |
| 1× | iter-limit |
| 1× | iter-limit |
| 1× | node-limit |
| 1× | iter-limit |
| Inputs |
|---|
x #s(literal -1 binary64) (approx (- (* x x) 1) #s(literal -1 binary64)) (fma.f64 x x #s(literal -1 binary64)) |
| Outputs |
|---|
%6 = (approx (- (* x x) 1) #s(literal -1 binary64)) %11 = (+.f64 x x) %13 = (fma.f64 x %11 #s(literal -2 binary64)) %15 = (/.f64 %13 #s(literal 8 binary64)) %18 = (/.f64 %13 #s(literal 4 binary64)) %21 = (fabs.f64 x) %22 = (-.f64 #s(literal 1 binary64) %21) %23 = (-.f64 #s(literal -1 binary64) %21) %28 = (-.f64 #s(literal 1 binary64) x) %29 = (-.f64 #s(literal -1 binary64) x) %31 = (-.f64 %21 #s(literal 1 binary64)) %32 = (-.f64 %21 #s(literal -1 binary64)) %36 = (-.f64 x #s(literal 1 binary64)) %37 = (-.f64 x #s(literal -1 binary64)) %40 = (fma.f64 x x #s(literal -1 binary64)) %43 = (*.f64 #s(literal 2 binary64) %29) %46 = (fma.f64 %21 #s(literal 2 binary64) #s(literal 2 binary64)) %49 = (fma.f64 %21 #s(literal 2 binary64) #s(literal -2 binary64)) %52 = (*.f64 %28 #s(literal 2 binary64)) %55 = (fma.f64 #s(literal 2 binary64) x #s(literal 2 binary64)) %58 = (fma.f64 #s(literal 2 binary64) x #s(literal -2 binary64)) %78 = (*.f64 x x) %82 = (fma.f64 x x #s(literal -1/2 binary64)) %99 = (*.f64 %78 %78) %131 = (*.f64 %36 #s(literal 1/4 binary64)) %132 = (*.f64 %36 x) %133 = (-.f64 %132 #s(literal 0 binary64)) %136 = (sqrt.f64 %21) %137 = (*.f64 %136 %21) %139 = (*.f64 %37 #s(literal -2 binary64)) %140 = (neg.f64 x) %141 = (*.f64 %29 %140) %143 = (*.f64 %140 %29) %145 = (fma.f64 x x x) %147 = (*.f64 %36 #s(literal 4 binary64)) %150 = (*.f64 %36 #s(literal -2 binary64)) %154 = (*.f64 %21 %31) %158 = (/.f64 %58 #s(literal 8 binary64)) %161 = (/.f64 %58 #s(literal 4 binary64)) %164 = (/.f64 %43 #s(literal 8 binary64)) %168 = (/.f64 %43 #s(literal 4 binary64)) %172 = (*.f64 %31 #s(literal 0 binary64)) %174 = (*.f64 %29 #s(literal 0 binary64)) %176 = (*.f64 %36 #s(literal 0 binary64)) %178 = (*.f64 #s(literal 0 binary64) %31) %180 = (*.f64 #s(literal 0 binary64) %29) %182 = (*.f64 #s(literal 0 binary64) %36) %192 = (*.f64 %37 #s(literal -1/2 binary64)) %196 = (*.f64 %36 #s(literal 1/2 binary64)) %199 = (*.f64 %37 #s(literal 1/2 binary64)) %203 = (*.f64 %37 #s(literal 1 binary64)) %207 = (*.f64 %36 #s(literal -1 binary64)) %216 = (*.f64 %36 #s(literal 2 binary64)) %219 = (-.f64 %21 #s(literal -1/2 binary64)) %220 = (*.f64 #s(literal 1/2 binary64) %31) %222 = (-.f64 x #s(literal -1/2 binary64)) %223 = (*.f64 #s(literal 1/2 binary64) %36) %225 = (-.f64 #s(literal 1/2 binary64) x) %226 = (*.f64 #s(literal 1/2 binary64) %29) %228 = (*.f64 #s(literal 4 binary64) %36) %261 = (*.f64 #s(literal 1/4 binary64) %36) %268 = (*.f64 #s(literal -1/2 binary64) %36) %271 = (*.f64 #s(literal 1/2 binary64) %37) %282 = (*.f64 %28 #s(literal -1 binary64)) %284 = (*.f64 %31 #s(literal 1/2 binary64)) %293 = (*.f64 %31 #s(literal 1 binary64)) %295 = (*.f64 %31 %21) %304 = (*.f64 %32 #s(literal -1 binary64)) %306 = (*.f64 %29 #s(literal 1/2 binary64)) %315 = (*.f64 %29 %225) %321 = (neg.f64 %21) %323 = (*.f64 #s(literal -2 binary64) %37) %329 = (*.f64 %225 %29) %331 = (*.f64 %222 %36) %334 = (*.f64 %36 %222) %358 = (*.f64 #s(literal -1 binary64) %32) %361 = (*.f64 #s(literal -1 binary64) %28) %365 = (*.f64 #s(literal -1/2 binary64) %37) %388 = (*.f64 #s(literal -1 binary64) %36) %396 = (-.f64 %78 #s(literal 0 binary64)) %417 = (*.f64 %140 x) x #s(literal -1 binary64) (*.f64 #s(literal 1 binary64) %6) (pow.f64 %6 #s(literal 1 binary64)) %6 (/.f64 #s(literal 1 binary64) (pow.f64 %6 #s(literal -1 binary64))) (*.f64 %15 #s(literal 4 binary64)) (*.f64 %18 #s(literal 2 binary64)) (*.f64 %22 %23) (*.f64 %23 %22) (*.f64 %13 #s(literal 1/2 binary64)) (*.f64 %28 %29) (*.f64 %31 %32) (*.f64 %32 %31) (*.f64 %29 %28) (*.f64 %36 %37) (*.f64 %37 %36) (*.f64 #s(literal 1 binary64) %40) (pow.f64 %40 #s(literal 1 binary64)) (/.f64 (*.f64 %28 %43) #s(literal 2 binary64)) (/.f64 (*.f64 %31 %46) #s(literal 2 binary64)) (/.f64 (*.f64 %32 %49) #s(literal 2 binary64)) (/.f64 (*.f64 %29 %52) #s(literal 2 binary64)) (/.f64 (*.f64 %36 %55) #s(literal 2 binary64)) (/.f64 (*.f64 %37 %58) #s(literal 2 binary64)) (/.f64 (*.f64 %52 %29) #s(literal 2 binary64)) (/.f64 (*.f64 %49 %32) #s(literal 2 binary64)) (/.f64 (*.f64 %46 %31) #s(literal 2 binary64)) (/.f64 (*.f64 %43 %28) #s(literal 2 binary64)) (/.f64 (*.f64 %58 %37) #s(literal 2 binary64)) (/.f64 (*.f64 %55 %36) #s(literal 2 binary64)) (/.f64 (/.f64 %13 #s(literal 1/2 binary64)) #s(literal 4 binary64)) (/.f64 (/.f64 %13 #s(literal 1 binary64)) #s(literal 2 binary64)) (/.f64 %18 #s(literal 1/2 binary64)) (/.f64 (fma.f64 %78 #s(literal -2 binary64) #s(literal 2 binary64)) #s(literal -2 binary64)) (/.f64 (-.f64 (*.f64 %82 #s(literal 2 binary64)) #s(literal 1 binary64)) #s(literal 2 binary64)) (/.f64 (-.f64 (*.f64 %40 #s(literal 2 binary64)) #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (-.f64 (*.f64 %78 #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 4 binary64)) (/.f64 (-.f64 (*.f64 %78 #s(literal -2 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64)) (/.f64 (-.f64 (*.f64 %78 #s(literal 1 binary64)) #s(literal 1 binary64)) #s(literal 1 binary64)) (/.f64 (-.f64 %99 #s(literal 1 binary64)) (fma.f64 x x #s(literal 1 binary64))) (/.f64 (-.f64 (*.f64 %13 #s(literal 2 binary64)) #s(literal 0 binary64)) #s(literal 4 binary64)) (/.f64 (*.f64 %52 %43) #s(literal 4 binary64)) (/.f64 (*.f64 %49 %46) #s(literal 4 binary64)) (/.f64 (*.f64 %46 %49) #s(literal 4 binary64)) (/.f64 (*.f64 %43 %52) #s(literal 4 binary64)) (/.f64 (*.f64 %58 %55) #s(literal 4 binary64)) (/.f64 (*.f64 %55 %58) #s(literal 4 binary64)) (/.f64 (neg.f64 %13) #s(literal -2 binary64)) (/.f64 %13 #s(literal 2 binary64)) (/.f64 %40 #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %13)) (/.f64 #s(literal 1 binary64) (pow.f64 %40 #s(literal -1 binary64))) (neg.f64 (-.f64 #s(literal 1 binary64) %78)) (fma.f64 (pow.f64 %99 #s(literal -1/2 binary64)) %99 #s(literal -1 binary64)) (fma.f64 %131 #s(literal 4 binary64) %133) (fma.f64 %131 #s(literal 4 binary64) %132) (fma.f64 %137 %136 #s(literal -1 binary64)) (fma.f64 %139 #s(literal 1/2 binary64) %141) (fma.f64 %139 #s(literal 1/2 binary64) %143) (fma.f64 %139 #s(literal 1/2 binary64) %145) (fma.f64 %147 #s(literal 1/4 binary64) %133) (fma.f64 %147 #s(literal 1/4 binary64) %132) (fma.f64 %150 #s(literal -1/2 binary64) %133) (fma.f64 %150 #s(literal -1/2 binary64) %132) (fma.f64 (/.f64 %49 #s(literal 8 binary64)) #s(literal 4 binary64) %154) (fma.f64 (/.f64 %49 #s(literal 4 binary64)) #s(literal 2 binary64) %154) (fma.f64 %158 #s(literal 4 binary64) %133) (fma.f64 %158 #s(literal 4 binary64) %132) (fma.f64 %161 #s(literal 2 binary64) %133) (fma.f64 %161 #s(literal 2 binary64) %132) (fma.f64 %164 #s(literal 4 binary64) %141) (fma.f64 %164 #s(literal 4 binary64) %143) (fma.f64 %164 #s(literal 4 binary64) %145) (fma.f64 %168 #s(literal 2 binary64) %141) (fma.f64 %168 #s(literal 2 binary64) %143) (fma.f64 %168 #s(literal 2 binary64) %145) (fma.f64 %15 #s(literal 4 binary64) %172) (fma.f64 %15 #s(literal 4 binary64) %174) (fma.f64 %15 #s(literal 4 binary64) %176) (fma.f64 %15 #s(literal 4 binary64) %178) (fma.f64 %15 #s(literal 4 binary64) %180) (fma.f64 %15 #s(literal 4 binary64) %182) (fma.f64 %15 #s(literal 4 binary64) #s(literal 0 binary64)) (fma.f64 %18 #s(literal 2 binary64) %172) (fma.f64 %18 #s(literal 2 binary64) %174) (fma.f64 %18 #s(literal 2 binary64) %176) (fma.f64 %18 #s(literal 2 binary64) %178) (fma.f64 %18 #s(literal 2 binary64) %180) (fma.f64 %18 #s(literal 2 binary64) %182) (fma.f64 %18 #s(literal 2 binary64) #s(literal 0 binary64)) (fma.f64 %192 #s(literal 2 binary64) %141) (fma.f64 %192 #s(literal 2 binary64) %143) (fma.f64 %192 #s(literal 2 binary64) %145) (fma.f64 %196 #s(literal 2 binary64) %133) (fma.f64 %196 #s(literal 2 binary64) %132) (fma.f64 %199 #s(literal -2 binary64) %141) (fma.f64 %199 #s(literal -2 binary64) %143) (fma.f64 %199 #s(literal -2 binary64) %145) (fma.f64 %203 #s(literal -1 binary64) %141) (fma.f64 %203 #s(literal -1 binary64) %143) (fma.f64 %203 #s(literal -1 binary64) %145) (fma.f64 %207 #s(literal -1 binary64) %133) (fma.f64 %207 #s(literal -1 binary64) %132) (fma.f64 (+.f64 %136 #s(literal -1 binary64)) (-.f64 %136 #s(literal -1 binary64)) %154) (fma.f64 (+.f64 %136 #s(literal 1 binary64)) (-.f64 %136 #s(literal 1 binary64)) %154) (fma.f64 %216 #s(literal 1/2 binary64) %133) (fma.f64 %216 #s(literal 1/2 binary64) %132) (fma.f64 %219 %31 %220) (fma.f64 %222 %36 %223) (fma.f64 %225 %29 %226) (fma.f64 #s(literal 1/4 binary64) %228 %133) (fma.f64 #s(literal 1/4 binary64) %228 %132) (fma.f64 %22 %23 %172) (fma.f64 %22 %23 %174) (fma.f64 %22 %23 %176) (fma.f64 %22 %23 %178) (fma.f64 %22 %23 %180) (fma.f64 %22 %23 %182) (fma.f64 %22 %23 #s(literal 0 binary64)) (fma.f64 %23 %22 %172) (fma.f64 %23 %22 %174) (fma.f64 %23 %22 %176) (fma.f64 %23 %22 %178) (fma.f64 %23 %22 %180) (fma.f64 %23 %22 %182) (fma.f64 %23 %22 #s(literal 0 binary64)) (fma.f64 %55 #s(literal -1/2 binary64) %141) (fma.f64 %55 #s(literal -1/2 binary64) %143) (fma.f64 %55 #s(literal -1/2 binary64) %145) (fma.f64 %49 #s(literal 1/2 binary64) %154) (fma.f64 %58 #s(literal 1/2 binary64) %133) (fma.f64 %58 #s(literal 1/2 binary64) %132) (fma.f64 %13 #s(literal 1/2 binary64) %172) (fma.f64 %13 #s(literal 1/2 binary64) %174) (fma.f64 %13 #s(literal 1/2 binary64) %176) (fma.f64 %13 #s(literal 1/2 binary64) %178) (fma.f64 %13 #s(literal 1/2 binary64) %180) (fma.f64 %13 #s(literal 1/2 binary64) %182) (fma.f64 %13 #s(literal 1/2 binary64) #s(literal 0 binary64)) (fma.f64 %43 #s(literal 1/2 binary64) %141) (fma.f64 %43 #s(literal 1/2 binary64) %143) (fma.f64 %43 #s(literal 1/2 binary64) %145) (fma.f64 #s(literal 4 binary64) %261 %133) (fma.f64 #s(literal 4 binary64) %261 %132) (fma.f64 %136 %137 #s(literal -1 binary64)) (fma.f64 #s(literal -1/2 binary64) %55 %141) (fma.f64 #s(literal -1/2 binary64) %55 %143) (fma.f64 #s(literal -1/2 binary64) %55 %145) (fma.f64 #s(literal -2 binary64) %268 %133) (fma.f64 #s(literal -2 binary64) %268 %132) (fma.f64 #s(literal -2 binary64) %271 %141) (fma.f64 #s(literal -2 binary64) %271 %143) (fma.f64 #s(literal -2 binary64) %271 %145) (fma.f64 %28 %29 %172) (fma.f64 %28 %29 %174) (fma.f64 %28 %29 %176) (fma.f64 %28 %29 %178) (fma.f64 %28 %29 %180) (fma.f64 %28 %29 %182) (fma.f64 %28 %29 #s(literal 0 binary64)) (fma.f64 %28 %140 %282) (fma.f64 %31 %219 %284) (fma.f64 %31 %32 %172) (fma.f64 %31 %32 %174) (fma.f64 %31 %32 %176) (fma.f64 %31 %32 %178) (fma.f64 %31 %32 %180) (fma.f64 %31 %32 %182) (fma.f64 %31 %32 #s(literal 0 binary64)) (fma.f64 %31 %21 %293) (fma.f64 %31 #s(literal 1 binary64) %295) (fma.f64 %32 %31 %172) (fma.f64 %32 %31 %174) (fma.f64 %32 %31 %176) (fma.f64 %32 %31 %178) (fma.f64 %32 %31 %180) (fma.f64 %32 %31 %182) (fma.f64 %32 %31 #s(literal 0 binary64)) (fma.f64 %32 %21 %304) (fma.f64 %29 %225 %306) (fma.f64 %29 %28 %172) (fma.f64 %29 %28 %174) (fma.f64 %29 %28 %176) (fma.f64 %29 %28 %178) (fma.f64 %29 %28 %180) (fma.f64 %29 %28 %182) (fma.f64 %29 %28 #s(literal 0 binary64)) (fma.f64 %29 #s(literal 1/2 binary64) %315) (fma.f64 %29 %140 %29) (fma.f64 %29 #s(literal 1 binary64) %141) (fma.f64 %29 #s(literal 1 binary64) %143) (fma.f64 %29 #s(literal 1 binary64) %145) (fma.f64 %321 %321 #s(literal -1 binary64)) (fma.f64 #s(literal 1/2 binary64) %323 %141) (fma.f64 #s(literal 1/2 binary64) %323 %143) (fma.f64 #s(literal 1/2 binary64) %323 %145) (fma.f64 #s(literal 1/2 binary64) %58 %133) (fma.f64 #s(literal 1/2 binary64) %58 %132) (fma.f64 #s(literal 1/2 binary64) %29 %329) (fma.f64 #s(literal 1/2 binary64) %36 %331) (fma.f64 %36 %222 %196) (fma.f64 %36 #s(literal 1/2 binary64) %334) (fma.f64 %36 %37 %172) (fma.f64 %36 %37 %174) (fma.f64 %36 %37 %176) (fma.f64 %36 %37 %178) (fma.f64 %36 %37 %180) (fma.f64 %36 %37 %182) (fma.f64 %36 %37 #s(literal 0 binary64)) (fma.f64 %36 #s(literal 1 binary64) %133) (fma.f64 %36 #s(literal 1 binary64) %132) (fma.f64 %36 x %36) (fma.f64 %37 %36 %172) (fma.f64 %37 %36 %174) (fma.f64 %37 %36 %176) (fma.f64 %37 %36 %178) (fma.f64 %37 %36 %180) (fma.f64 %37 %36 %182) (fma.f64 %37 %36 #s(literal 0 binary64)) (fma.f64 %37 #s(literal -1 binary64) %141) (fma.f64 %37 #s(literal -1 binary64) %143) (fma.f64 %37 #s(literal -1 binary64) %145) (fma.f64 %37 x %29) (fma.f64 %21 %31 %31) (fma.f64 %21 %32 %358) (fma.f64 %21 %21 #s(literal -1 binary64)) (fma.f64 %140 %28 %361) (fma.f64 %140 %29 %29) (fma.f64 %140 %140 #s(literal -1 binary64)) (fma.f64 #s(literal 2 binary64) %365 %141) (fma.f64 #s(literal 2 binary64) %365 %143) (fma.f64 #s(literal 2 binary64) %365 %145) (fma.f64 #s(literal 2 binary64) %223 %133) (fma.f64 #s(literal 2 binary64) %223 %132) (fma.f64 #s(literal 1 binary64) %82 #s(literal -1/2 binary64)) (fma.f64 #s(literal 1 binary64) %145 %29) (fma.f64 #s(literal 1 binary64) %132 %36) (fma.f64 #s(literal 1 binary64) %31 %154) (fma.f64 #s(literal 1 binary64) %29 %141) (fma.f64 #s(literal 1 binary64) %29 %143) (fma.f64 #s(literal 1 binary64) %29 %145) (fma.f64 #s(literal 1 binary64) %36 %133) (fma.f64 #s(literal 1 binary64) %36 %132) (fma.f64 #s(literal 1 binary64) %40 %172) (fma.f64 #s(literal 1 binary64) %40 %174) (fma.f64 #s(literal 1 binary64) %40 %176) (fma.f64 #s(literal 1 binary64) %40 %178) (fma.f64 #s(literal 1 binary64) %40 %180) (fma.f64 #s(literal 1 binary64) %40 %182) (fma.f64 #s(literal 1 binary64) %40 #s(literal 0 binary64)) (fma.f64 #s(literal 1 binary64) %78 #s(literal -1 binary64)) (fma.f64 #s(literal -1 binary64) %388 %133) (fma.f64 #s(literal -1 binary64) %388 %132) (fma.f64 #s(literal -1 binary64) %37 %141) (fma.f64 #s(literal -1 binary64) %37 %143) (fma.f64 #s(literal -1 binary64) %37 %145) (fma.f64 x %36 %36) (fma.f64 x %37 %29) %40 (-.f64 %396 #s(literal 1 binary64)) (-.f64 (/.f64 (*.f64 x %11) #s(literal 2 binary64)) #s(literal 1 binary64)) (-.f64 %82 #s(literal 1/2 binary64)) (-.f64 %145 (*.f64 %29 #s(literal -1 binary64))) (-.f64 %145 %37) (-.f64 %132 (*.f64 %28 #s(literal 1 binary64))) (-.f64 %132 %388) (-.f64 %132 %28) (-.f64 %36 (*.f64 %28 x)) (-.f64 %36 (*.f64 %140 %36)) (-.f64 %36 (neg.f64 %132)) (-.f64 %40 #s(literal 0 binary64)) (-.f64 %78 #s(literal 1 binary64)) (-.f64 #s(literal -1 binary64) %417) (+.f64 (-.f64 %40 #s(literal 1 binary64)) #s(literal 1 binary64)) (+.f64 (*.f64 %28 %140) %282) (+.f64 (*.f64 %31 %219) %284) (+.f64 %295 %293) (+.f64 %293 %295) (+.f64 (*.f64 %32 %21) %304) (+.f64 %315 %306) (+.f64 %306 %315) (+.f64 %141 %29) (+.f64 %334 %196) (+.f64 %196 %334) (+.f64 (*.f64 %140 %28) %361) (+.f64 (*.f64 %219 %31) %220) (+.f64 %154 %31) (+.f64 (*.f64 %21 %32) %358) (+.f64 %329 %226) (+.f64 %226 %329) (+.f64 %143 %29) (+.f64 %331 %223) (+.f64 %223 %331) (+.f64 %82 #s(literal -1/2 binary64)) (+.f64 %145 %29) (+.f64 %132 %36) (+.f64 #s(literal -1/2 binary64) (-.f64 #s(literal -1/2 binary64) %417)) (+.f64 #s(literal -1/2 binary64) (+.f64 #s(literal -1/2 binary64) %78)) (+.f64 #s(literal -1/2 binary64) %82) (+.f64 %31 %154) (+.f64 %29 %141) (+.f64 %29 %143) (+.f64 %29 %145) (+.f64 %36 %133) (+.f64 %36 %132) (+.f64 %40 %172) (+.f64 %40 %174) (+.f64 %40 %176) (+.f64 %40 %178) (+.f64 %40 %180) (+.f64 %40 %182) (+.f64 %40 #s(literal 0 binary64)) (+.f64 %78 #s(literal -1 binary64)) (+.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) %417)) (+.f64 #s(literal -1 binary64) (+.f64 #s(literal 0 binary64) %78)) (+.f64 #s(literal -1 binary64) %396) (+.f64 #s(literal -1 binary64) %78) |
Compiled 323 to 475 computations (-47.1% saved)
Compiled 19 to 54 computations (-184.2% saved)
2 alts after pruning (0 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 19 | 0 | 19 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 2 | 2 |
| Done | 0 | 0 | 0 |
| Total | 19 | 2 | 21 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 100.0% | (fma.f64 x x #s(literal -1 binary64)) |
| ✓ | 45.2% | (approx (- (* x x) 1) #s(literal -1 binary64)) |
Compiled 2 to 3 computations (-50.0% saved)
Total -0.0b remaining (-0.0%)
Threshold costs -0.0b (-0.0%)
| 0.0b | 0% |
| -0.0b | -0.0% |
| Inputs |
|---|
(approx (- (* x x) 1) #s(literal -1 binary64)) |
| Outputs |
|---|
(approx (- (* x x) 1) #s(literal -1 binary64)) |
| Inputs |
|---|
(approx (- (* x x) 1) #s(literal -1 binary64)) (fma.f64 x x #s(literal -1 binary64)) |
| Outputs |
|---|
(fma.f64 x x #s(literal -1 binary64)) |
3 calls:
| 6.0ms | (-.f64 (*.f64 x x) #s(literal 1 binary64)) |
| 2.0ms | x |
| 2.0ms | (*.f64 x x) |
| Accuracy | Segments | Branch |
|---|---|---|
| 45.2% | 1 | x |
| 45.2% | 1 | (-.f64 (*.f64 x x) #s(literal 1 binary64)) |
| 45.2% | 1 | (*.f64 x x) |
Compiled 6 to 10 computations (-66.7% saved)
| 1× | done |
Compiled 2 to 3 computations (-50.0% saved)
Compiled 7 to 15 computations (-114.3% saved)
| Allocated | Percent | Phase |
|---|---|---|
| 228.2 MiB | 34.1% | sample |
| 197.1 MiB | 29.5% | rewrite |
| 124.4 MiB | 18.6% | reconstruct |
| 56.4 MiB | 8.4% | preprocess |
| 26.7 MiB | 4.0% | derivations |
| 12.1 MiB | 1.8% | regimes |
| 11.8 MiB | 1.8% | series |
| 8.0 MiB | 1.2% | eval |
| 3.9 MiB | 0.6% | prune |
| 0.2 MiB | 0.0% | analyze |
| 0.1 MiB | 0.0% | bsearch |
| 0.0 MiB | 0.0% | end |
| 0.0 MiB | 0.0% | start |
| 669.0 MiB | 100.0% | total |
Loading profile data...