qlog (example 3.10)
Time bar (total: 14.5s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 50% | 50% | 0% | 0% | 0% | 0 |
| 0% | 0% | 50% | 50% | 0% | 0% | 0% | 1 |
| 0% | 0% | 50% | 50% | 0% | 0% | 0% | 2 |
| 0% | 0% | 50% | 50% | 0% | 0% | 0% | 3 |
| 0% | 0% | 50% | 50% | 0% | 0% | 0% | 4 |
| 0% | 0% | 50% | 50% | 0% | 0% | 0% | 5 |
| 0% | 0% | 50% | 50% | 0% | 0% | 0% | 6 |
| 3.1% | 1.6% | 48.4% | 50% | 0% | 0% | 0% | 7 |
| 6.3% | 3.1% | 46.8% | 50% | 0% | 0% | 0% | 8 |
| 7% | 3.5% | 46.4% | 50% | 0% | 0% | 0% | 9 |
| 7.4% | 3.7% | 46.2% | 50% | 0% | 0% | 0% | 10 |
| 7.8% | 3.9% | 46% | 50% | 0% | 0% | 0% | 11 |
| 8% | 4% | 46% | 50% | 0% | 0% | 0% | 12 |
Compiled 14 to 9 computations (35.7% saved)
| 1.8s | 4134× | 1 | valid |
| 353.0ms | 4127× | 1 | valid-sollya |
| 3.5s | 3886× | 2 | valid |
| 339.0ms | 3862× | 2 | valid-sollya |
| 27.0ms | 236× | 0 | valid |
| 25.0ms | 236× | 0 | valid-sollya |
| 2.0ms | 24× | 2 | exit-sollya |
| 1.0ms | 7× | 1 | exit-sollya |
| Pt | Rival-out | Sollya-interval | Sollya-point | status | Sollya status | Rival iter | sollya-time | check |
|---|---|---|---|---|---|---|---|---|
| (6.190464705938283e-260) | -1.0 | (-inf.0 0.0) | +nan.0 | valid | exit | 2 | 0.089848 | #f |
| (-1.125529028682484e-267) | -1.0 | (-inf.0 0.0) | +nan.0 | valid | exit | 2 | 0.089928 | #f |
| (3.7097619310472426e-67) | -1.0 | (-inf.0 0.0) | +nan.0 | valid | exit | 1 | 0.056767 | #f |
| (2.7169173593697113e-34) | -1.0 | (-inf.0 0.0) | +nan.0 | valid | exit | 1 | 0.059077 | #f |
| (4.519135465822608e-92) | -1.0 | (-inf.0 0.0) | +nan.0 | valid | exit | 1 | 0.0609 | #f |
| (3.550018986636292e-283) | -1.0 | (-inf.0 0.0) | +nan.0 | valid | exit | 2 | 0.088051 | #f |
| (-2.2484211545018768e-237) | -1.0 | (-inf.0 0.0) | +nan.0 | valid | exit | 2 | 0.086643 | #f |
| (-4.158190002001743e-201) | -1.0 | (-inf.0 0.0) | +nan.0 | valid | exit | 2 | 0.12063600000000001 | #f |
| (-7.710795519062127e-237) | -1.0 | (-inf.0 0.0) | +nan.0 | valid | exit | 2 | 0.116014 | #f |
| (8.981572648203071e-200) | -1.0 | (-inf.0 0.0) | +nan.0 | valid | exit | 2 | 0.092076 | #f |
| (-1.9094608172547401e-212) | -1.0 | (-inf.0 0.0) | +nan.0 | valid | exit | 2 | 0.090889 | #f |
| (-4.1807796451105164e-75) | -1.0 | (-inf.0 0.0) | +nan.0 | valid | exit | 1 | 0.09056700000000001 | #f |
| (6.128410061851032e-58) | -1.0 | (-inf.0 0.0) | +nan.0 | valid | exit | 1 | 0.08436 | #f |
| (1.2758539932139285e-279) | -1.0 | (-inf.0 0.0) | +nan.0 | valid | exit | 2 | 0.09555799999999999 | #f |
| (1.3892139364496844e-272) | -1.0 | (-inf.0 0.0) | +nan.0 | valid | exit | 2 | 0.090808 | #f |
| (-5.665627953331236e-100) | -1.0 | (-inf.0 0.0) | +nan.0 | valid | exit | 1 | 0.12155300000000001 | #f |
| (7.759364758935875e-185) | -1.0 | (-inf.0 0.0) | +nan.0 | valid | exit | 2 | 0.09764199999999999 | #f |
| (-3.0607444723694977e-181) | -1.0 | (-inf.0 0.0) | +nan.0 | valid | exit | 2 | 0.102815 | #f |
| (-1.7733761662280348e-217) | -1.0 | (-inf.0 0.0) | +nan.0 | valid | exit | 2 | 0.12813200000000002 | #f |
| (-3.989172901318183e-226) | -1.0 | (-inf.0 0.0) | +nan.0 | valid | exit | 2 | 0.088615 | #f |
| (-2.6062660529499766e-280) | -1.0 | (-inf.0 0.0) | +nan.0 | valid | exit | 2 | 0.059226 | #f |
| (-4.516602040525111e-275) | -1.0 | (-inf.0 0.0) | +nan.0 | valid | exit | 2 | 0.10855 | #f |
| (1.0127473488539656e-171) | -1.0 | (-inf.0 0.0) | +nan.0 | valid | exit | 2 | 0.110019 | #f |
| (-1.4344064741101071e-195) | -1.0 | (-inf.0 0.0) | +nan.0 | valid | exit | 2 | 0.11462800000000001 | #f |
| (-3.1652608994703767e-221) | -1.0 | (-inf.0 0.0) | +nan.0 | valid | exit | 2 | 0.06032 | #f |
| (-3.2614260349939585e-116) | -1.0 | (-inf.0 0.0) | +nan.0 | valid | exit | 1 | 0.05891 | #f |
| (1.3296859653269596e-259) | -1.0 | (-inf.0 0.0) | +nan.0 | valid | exit | 2 | 0.113702 | #f |
| (-7.109396945510251e-165) | -1.0 | (-inf.0 0.0) | +nan.0 | valid | exit | 2 | 0.092154 | #f |
| (-4.402283290341417e-175) | -1.0 | (-inf.0 0.0) | +nan.0 | valid | exit | 2 | 0.087798 | #f |
| (-1.565408580392524e-299) | -1.0 | (-inf.0 0.0) | +nan.0 | valid | exit | 2 | 0.092333 | #f |
| (-6.219624197371638e-308) | -1.0 | (-inf.0 0.0) | +nan.0 | valid | exit | 2 | 0.100346 | #f |
| 1× | egg-herbie |
| 31× | fma-neg |
| 29× | fma-define |
| 24× | sub-neg |
| 11× | +-commutative |
| 10× | distribute-lft-neg-in |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 19 | 124 |
| 1 | 40 | 104 |
| 2 | 61 | 104 |
| 3 | 102 | 104 |
| 4 | 151 | 104 |
| 5 | 203 | 104 |
| 6 | 235 | 104 |
| 7 | 254 | 104 |
| 8 | 274 | 104 |
| 9 | 276 | 104 |
| 1× | saturated |
| Inputs |
|---|
(/.f64 (log.f64 (-.f64 #s(literal 1 binary64) x)) (log.f64 (+.f64 #s(literal 1 binary64) x))) |
(/.f64 (log.f64 (-.f64 #s(literal 1 binary64) x)) (log.f64 (+.f64 #s(literal 1 binary64) x))) |
(/.f64 (log.f64 (-.f64 #s(literal 1 binary64) (neg.f64 x))) (log.f64 (+.f64 #s(literal 1 binary64) (neg.f64 x)))) |
(neg.f64 (/.f64 (log.f64 (-.f64 #s(literal 1 binary64) (neg.f64 x))) (log.f64 (+.f64 #s(literal 1 binary64) (neg.f64 x))))) |
| Outputs |
|---|
(/.f64 (log.f64 (-.f64 #s(literal 1 binary64) x)) (log.f64 (+.f64 #s(literal 1 binary64) x))) |
(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x)) |
(/.f64 (log.f64 (-.f64 #s(literal 1 binary64) x)) (log.f64 (+.f64 #s(literal 1 binary64) x))) |
(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x)) |
(/.f64 (log.f64 (-.f64 #s(literal 1 binary64) (neg.f64 x))) (log.f64 (+.f64 #s(literal 1 binary64) (neg.f64 x)))) |
(/.f64 (log.f64 (-.f64 #s(literal 1 binary64) (neg.f64 x))) (log1p.f64 (neg.f64 x))) |
(/.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))) |
(neg.f64 (/.f64 (log.f64 (-.f64 #s(literal 1 binary64) (neg.f64 x))) (log.f64 (+.f64 #s(literal 1 binary64) (neg.f64 x))))) |
(/.f64 (log.f64 (-.f64 #s(literal 1 binary64) (neg.f64 x))) (neg.f64 (log1p.f64 (neg.f64 x)))) |
(/.f64 (neg.f64 (log1p.f64 x)) (log1p.f64 (neg.f64 x))) |
(/.f64 (log1p.f64 x) (neg.f64 (log1p.f64 (neg.f64 x)))) |
Compiled 10 to 7 computations (30% saved)
Compiled 1 to 1 computations (0% saved)
| Status | Accuracy | Program |
|---|---|---|
| 3.7% | (/.f64 (log.f64 (-.f64 #s(literal 1 binary64) x)) (log.f64 (+.f64 #s(literal 1 binary64) x))) |
Compiled 20 to 14 computations (30% saved)
| 1× | egg-herbie |
| 3× | 1-exp |
| 3× | +-commutative |
| 2× | sub-neg |
| 1× | *-commutative |
| 1× | neg-sub0 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 33 |
| 1 | 20 | 33 |
| 2 | 24 | 33 |
| 3 | 26 | 33 |
| 4 | 27 | 33 |
| 1× | saturated |
| Inputs |
|---|
(/.f64 (log.f64 (-.f64 #s(literal 1 binary64) x)) (log.f64 (+.f64 #s(literal 1 binary64) x))) |
| Outputs |
|---|
(/.f64 (log.f64 (-.f64 #s(literal 1 binary64) x)) (log.f64 (+.f64 #s(literal 1 binary64) x))) |
| 1× | fuel |
Compiled 10 to 7 computations (30% saved)
Compiled 54 to 38 computations (29.6% saved)
Loading profile data...