Asymptote A
Time bar (total: 14.6s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 100% | 0% | 0% | 0% | 0% | 0 |
| 0% | 0% | 100% | 0% | 0% | 0% | 0% | 1 |
| 0% | 0% | 100% | 0% | 0% | 0% | 0% | 2 |
| 50% | 50% | 50% | 0% | 0% | 0% | 0% | 3 |
| 75% | 75% | 25% | 0% | 0% | 0% | 0% | 4 |
| 87.5% | 87.5% | 12.5% | 0% | 0% | 0% | 0% | 5 |
| 93.8% | 93.7% | 6.2% | 0% | 0% | 0% | 0% | 6 |
| 96.9% | 96.8% | 3.1% | 0% | 0% | 0% | 0% | 7 |
| 98.4% | 98.4% | 1.6% | 0% | 0% | 0% | 0% | 8 |
| 99.2% | 99.2% | 0.8% | 0% | 0% | 0% | 0% | 9 |
| 99.6% | 99.6% | 0.4% | 0% | 0% | 0% | 0% | 10 |
| 99.8% | 99.8% | 0.2% | 0% | 0% | 0% | 0% | 11 |
| 99.9% | 99.9% | 0.1% | 0% | 0% | 0% | 0% | 12 |
Compiled 13 to 8 computations (38.5% saved)
| 665.0ms | 4361× | 0 | valid |
| 239.0ms | 4354× | 0 | valid-sollya |
| 1.3s | 3895× | 1 | valid |
| 573.0ms | 3877× | 1 | valid-sollya |
| 3.0ms | 18× | 1 | exit-sollya |
| 6.0ms | 7× | 0 | exit-sollya |
| Pt | Rival-out | Sollya-interval | Sollya-point | status | Sollya status | Rival iter | sollya-time | check |
|---|---|---|---|---|---|---|---|---|
| (-3.577446343149022e+132) | -1.5627292404014537e-265 | (-7.637340908749012e-152 1.909335227187253e-152) | +nan.0 | valid | exit | 1 | 0.16993999999999998 | #f |
| (5.506854463311798e-248) | 2.0 | (2.0 2.0) | +nan.0 | valid | exit | 0 | 0.105075 | #f |
| (1.901815565902236e+147) | -5.5295934282671044e-295 | (-1.3566642758087631e-166 3.391660689521908e-167) | +nan.0 | valid | exit | 1 | 0.09559300000000001 | #f |
| (-5.348897780106908e+241) | -0.0 | (-5.081170449047601e-261 1.0162340898095202e-261) | +nan.0 | valid | exit | 1 | 0.097325 | #f |
| (6.356398351445986e+167) | -0.0 | (-3.447418019918753e-187 1.1491393399729176e-187) | +nan.0 | valid | exit | 1 | 0.16817700000000002 | #f |
| (-1.7865273355889562e+298) | -0.0 | (-1.036131e-317 5.180654e-318) | +nan.0 | valid | exit | 1 | 0.189077 | #f |
| (-5.23703947874657e-62) | 2.0 | (2.0 2.0) | +nan.0 | valid | exit | 0 | 0.102945 | #f |
| (-2.620456610758733e+266) | -0.0 | (-1.0507614211323843e-285 2.1015228422647686e-286) | +nan.0 | valid | exit | 1 | 0.227068 | #f |
| (-3.0354296926414686e+230) | -0.0 | (-8.380208987159455e-250 2.7934029957198183e-250) | +nan.0 | valid | exit | 1 | 0.186142 | #f |
| (1.0271179635464193e-101) | 2.0 | (2.0 2.0) | +nan.0 | valid | exit | 0 | 0.186875 | #f |
| (2.0758273390640373e+276) | -0.0 | (-1.4678967480534469e-295 4.892989160178156e-296) | +nan.0 | valid | exit | 1 | 0.198738 | #f |
| (-4.1561234145688404e+152) | -1.1578521997386755e-305 | (-5.17526350329881e-172 2.587631751649405e-172) | +nan.0 | valid | exit | 1 | 0.17445000000000002 | #f |
| (7.832459260012272e+169) | -0.0 | (-2.6932953280615257e-189 8.977651093538419e-190) | +nan.0 | valid | exit | 1 | 0.160211 | #f |
| (9.273633105280598e+201) | -0.0 | (-2.2131618651272261e-221 1.1065809325636131e-221) | +nan.0 | valid | exit | 1 | 0.259451 | #f |
| (1.242330960525459e-92) | 2.0 | (2.0 2.0) | +nan.0 | valid | exit | 0 | 0.216796 | #f |
| (-1.1977623345588165e-233) | 2.0 | (2.0 2.0) | +nan.0 | valid | exit | 0 | 0.11060099999999999 | #f |
| (-1.5360584245069522e+278) | -0.0 | (-1.9113238906945923e-297 3.8226477813891845e-298) | +nan.0 | valid | exit | 1 | 0.170541 | #f |
| (1.1763981772825128e+144) | -1.4451778939292117e-288 | (-2.08383632764226e-163 6.946121092140867e-164) | +nan.0 | valid | exit | 1 | 0.09606300000000001 | #f |
| (-6.999113648555835e+84) | -4.082666495416321e-170 | (-2.7904965607477417e-104 1.3952482803738708e-104) | +nan.0 | valid | exit | 1 | 0.225649 | #f |
| (-2.518764915558046e+129) | -3.1524973130847806e-259 | (-7.820637090558988e-149 3.910318545279494e-149) | +nan.0 | valid | exit | 1 | 0.202839 | #f |
| (4.7804903460132355e+299) | -0.0 | (-4.85686e-319 1.61895e-319) | +nan.0 | valid | exit | 1 | 0.151339 | #f |
| (2.323288873450903e+255) | -0.0 | (-1.155324400553491e-274 2.8883110013837273e-275) | +nan.0 | valid | exit | 1 | 0.18039 | #f |
| (4.1718912927690774e+242) | -0.0 | (-5.081170449047601e-262 2.5405852245238005e-262) | +nan.0 | valid | exit | 1 | 0.10500899999999999 | #f |
| (5.689587803853948e-285) | 2.0 | (2.0 2.0) | +nan.0 | valid | exit | 0 | 0.20088699999999998 | #f |
| (7.757471657376327e-278) | 2.0 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 5.0 | #f |
| 1× | egg-herbie |
| 68× | fma-neg |
| 26× | fma-define |
| 22× | sub-neg |
| 20× | distribute-lft-neg-in |
| 18× | cancel-sign-sub-inv |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 19 | 160 |
| 1 | 38 | 154 |
| 2 | 77 | 148 |
| 3 | 150 | 148 |
| 4 | 296 | 148 |
| 5 | 388 | 148 |
| 6 | 419 | 148 |
| 7 | 421 | 148 |
| 1× | saturated |
| Inputs |
|---|
(-.f64 (/.f64 #s(literal 1 binary64) (+.f64 x #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 x #s(literal 1 binary64)))) |
(-.f64 (/.f64 #s(literal 1 binary64) (+.f64 x #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 x #s(literal 1 binary64)))) |
(-.f64 (/.f64 #s(literal 1 binary64) (+.f64 (neg.f64 x) #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 (neg.f64 x) #s(literal 1 binary64)))) |
(neg.f64 (-.f64 (/.f64 #s(literal 1 binary64) (+.f64 (neg.f64 x) #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 (neg.f64 x) #s(literal 1 binary64))))) |
| Outputs |
|---|
(-.f64 (/.f64 #s(literal 1 binary64) (+.f64 x #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 x #s(literal 1 binary64)))) |
(-.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)) (/.f64 #s(literal 1 binary64) (+.f64 x #s(literal -1 binary64)))) |
(+.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)) (/.f64 #s(literal -1 binary64) (+.f64 x #s(literal -1 binary64)))) |
(+.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) x))) |
(-.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) x)) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) x))) |
(-.f64 (/.f64 #s(literal 1 binary64) (+.f64 x #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 x #s(literal 1 binary64)))) |
(-.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)) (/.f64 #s(literal 1 binary64) (+.f64 x #s(literal -1 binary64)))) |
(+.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)) (/.f64 #s(literal -1 binary64) (+.f64 x #s(literal -1 binary64)))) |
(+.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) x))) |
(-.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) x)) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) x))) |
(-.f64 (/.f64 #s(literal 1 binary64) (+.f64 (neg.f64 x) #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 (neg.f64 x) #s(literal 1 binary64)))) |
(-.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)) (/.f64 #s(literal 1 binary64) (+.f64 x #s(literal -1 binary64)))) |
(+.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)) (/.f64 #s(literal -1 binary64) (+.f64 x #s(literal -1 binary64)))) |
(+.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) x))) |
(-.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) x)) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) x))) |
(neg.f64 (-.f64 (/.f64 #s(literal 1 binary64) (+.f64 (neg.f64 x) #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 (neg.f64 x) #s(literal 1 binary64))))) |
(neg.f64 (-.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (neg.f64 x))) (/.f64 #s(literal 1 binary64) (+.f64 (neg.f64 x) #s(literal -1 binary64))))) |
(neg.f64 (+.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) x)) (/.f64 #s(literal -1 binary64) (fma.f64 #s(literal -1 binary64) x #s(literal -1 binary64))))) |
(+.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) x)) (/.f64 #s(literal -1 binary64) (-.f64 #s(literal 1 binary64) x))) |
(+.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) x)) (/.f64 #s(literal 1 binary64) (+.f64 x #s(literal -1 binary64)))) |
(abs x)
Compiled 12 to 7 computations (41.7% saved)
Compiled 1 to 1 computations (0% saved)
| Status | Accuracy | Program |
|---|---|---|
| 77.5% | (-.f64 (/.f64 #s(literal 1 binary64) (+.f64 x #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 x #s(literal 1 binary64)))) |
Compiled 24 to 14 computations (41.7% saved)
| 1× | egg-herbie |
| 34× | unsub-neg |
| 18× | neg-mul-1 |
| 7× | sub-neg |
| 7× | distribute-neg-out |
| 7× | *-commutative |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 37 |
| 1 | 22 | 37 |
| 2 | 32 | 37 |
| 3 | 45 | 37 |
| 4 | 67 | 37 |
| 5 | 87 | 37 |
| 6 | 102 | 37 |
| 7 | 130 | 37 |
| 8 | 153 | 37 |
| 1× | saturated |
| Inputs |
|---|
(-.f64 (/.f64 #s(literal 1 binary64) (+.f64 x #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 x #s(literal 1 binary64)))) |
| Outputs |
|---|
(-.f64 (/.f64 #s(literal 1 binary64) (+.f64 x #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 x #s(literal 1 binary64)))) |
(-.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)) (/.f64 #s(literal 1 binary64) (-.f64 x #s(literal 1 binary64)))) |
(+.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)) (/.f64 #s(literal -1 binary64) (+.f64 x #s(literal -1 binary64)))) |
(+.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) x))) |
| 1× | fuel |
Compiled 12 to 7 computations (41.7% saved)
(abs x)
Compiled 96 to 56 computations (41.7% saved)
Loading profile data...