Trigonometry B
Time bar (total: 30.8s)
| 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 |
| 50% | 50% | 50% | 0% | 0% | 0% | 0% | 4 |
| 50% | 50% | 50% | 0% | 0% | 0% | 0% | 5 |
| 50% | 50% | 50% | 0% | 0% | 0% | 0% | 6 |
| 50% | 50% | 50% | 0% | 0% | 0% | 0% | 7 |
| 50% | 50% | 50% | 0% | 0% | 0% | 0% | 8 |
| 50% | 50% | 50% | 0% | 0% | 0% | 0% | 9 |
| 50% | 50% | 50% | 0% | 0% | 0% | 0% | 10 |
| 50% | 50% | 50% | 0% | 0% | 0% | 0% | 11 |
| 50% | 50% | 50% | 0% | 0% | 0% | 0% | 12 |
Compiled 17 to 8 computations (52.9% saved)
| 7.5s | 8256× | 0 | valid |
| 810.0ms | 8233× | 0 | valid-sollya |
| 6.0ms | 23× | 0 | exit-sollya |
| Pt | Rival-out | Sollya-interval | Sollya-point | status | Sollya status | Rival iter | sollya-time | check |
|---|---|---|---|---|---|---|---|---|
| (-1.0264780016345866e+104) | 0.9512631221984952 | (0.9512631221984952 0.9512631221984952) | +nan.0 | valid | exit | 0 | 0.37380399999999997 | #f |
| (-1.3636163186768112e+151) | -0.8885350234486062 | (-0.8885350234486062 -0.8885350234486061) | +nan.0 | valid | exit | 0 | 0.338392 | #f |
| (1.3270772640940337e+109) | 0.8434638003505764 | (0.8434638003505764 0.8434638003505764) | +nan.0 | valid | exit | 0 | 0.33381500000000003 | #f |
| (3.2162752602682088e-264) | 1.0 | (1.0 1.0) | +nan.0 | valid | exit | 0 | 0.134173 | #f |
| (6.666612370138777e+119) | -0.6132175456777536 | (-0.6132175456777536 -0.6132175456777536) | +nan.0 | valid | exit | 0 | 0.217746 | #f |
| (2.7875982299917803e+110) | 0.7807334676736223 | (0.7807334676736223 0.7807334676736223) | +nan.0 | valid | exit | 0 | 0.150545 | #f |
| (3.897694283957758e+141) | -0.8739094581715247 | (-0.8739094581715247 -0.8739094581715247) | +nan.0 | valid | exit | 0 | 0.15778799999999998 | #f |
| (-2.3365591164626062e+203) | -0.1940810457307386 | (-0.1940810457307386 -0.1940810457307386) | +nan.0 | valid | exit | 0 | 0.30792800000000004 | #f |
| (-5.575649811147803e+298) | 0.8679467689690307 | (0.8679467689690307 0.8679467689690307) | +nan.0 | valid | exit | 0 | 0.602966 | #f |
| (5.358748429414681e-106) | 1.0 | (1.0 1.0) | +nan.0 | valid | exit | 0 | 0.17673 | #f |
| (-1.3268716662002162e+251) | 0.6191302569107912 | (0.6191302569107912 0.6191302569107912) | +nan.0 | valid | exit | 0 | 0.441471 | #f |
| (-1.558269521507844e-252) | 1.0 | (1.0 1.0) | +nan.0 | valid | exit | 0 | 0.138616 | #f |
| (4.303834176305989e+145) | 0.9072258008457089 | (0.9072258008457089 0.9072258008457089) | +nan.0 | valid | exit | 0 | 0.443166 | #f |
| (-9.173171309505109e-148) | 1.0 | (1.0 1.0) | +nan.0 | valid | exit | 0 | 0.08715 | #f |
| (-4.4646415785462077e+167) | -0.8956824852937786 | (-0.8956824852937786 -0.8956824852937786) | +nan.0 | valid | exit | 0 | 0.43112100000000003 | #f |
| (2.5821369164405236e+133) | -0.8676860850086299 | (-0.8676860850086299 -0.8676860850086299) | +nan.0 | valid | exit | 0 | 0.148658 | #f |
| (-1.9153454634469806e-227) | 1.0 | (1.0 1.0) | +nan.0 | valid | exit | 0 | 0.165341 | #f |
| (1.3714839442488637e-29) | 1.0 | (1.0 1.0) | +nan.0 | valid | exit | 0 | 0.177016 | #f |
| (2.461510382580361e+142) | 0.8903479570104251 | (0.8903479570104251 0.8903479570104251) | +nan.0 | valid | exit | 0 | 0.334717 | #f |
| (1.0439951879609017e-219) | 1.0 | (1.0 1.0) | +nan.0 | valid | exit | 0 | 0.183018 | #f |
| (-1.6091210324973205e+91) | 0.1572580577649737 | (0.1572580577649737 0.1572580577649737) | +nan.0 | valid | exit | 0 | 0.14913400000000002 | #f |
| (6.292948365180707e-47) | 1.0 | (1.0 1.0) | +nan.0 | valid | exit | 0 | 0.084272 | #f |
| (-1.848743182945771e+236) | -0.9037103415261655 | (-0.9037103415261655 -0.9037103415261655) | +nan.0 | valid | exit | 0 | 0.565345 | #f |
| 1× | egg-herbie |
| 938× | fma-define |
| 758× | fma-neg |
| 716× | sub-neg |
| 473× | div-sub |
| 355× | times-frac |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 19 | 256 |
| 1 | 51 | 220 |
| 2 | 95 | 220 |
| 3 | 206 | 216 |
| 4 | 453 | 216 |
| 5 | 880 | 216 |
| 6 | 1708 | 216 |
| 7 | 2323 | 216 |
| 8 | 4188 | 216 |
| 9 | 5648 | 216 |
| 10 | 6615 | 216 |
| 11 | 7847 | 216 |
| 1× | node limit |
| Inputs |
|---|
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (tan.f64 x) (tan.f64 x))) (+.f64 #s(literal 1 binary64) (*.f64 (tan.f64 x) (tan.f64 x)))) |
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (tan.f64 x) (tan.f64 x))) (+.f64 #s(literal 1 binary64) (*.f64 (tan.f64 x) (tan.f64 x)))) |
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (tan.f64 (neg.f64 x)) (tan.f64 (neg.f64 x)))) (+.f64 #s(literal 1 binary64) (*.f64 (tan.f64 (neg.f64 x)) (tan.f64 (neg.f64 x))))) |
(neg.f64 (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (tan.f64 (neg.f64 x)) (tan.f64 (neg.f64 x)))) (+.f64 #s(literal 1 binary64) (*.f64 (tan.f64 (neg.f64 x)) (tan.f64 (neg.f64 x)))))) |
| Outputs |
|---|
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (tan.f64 x) (tan.f64 x))) (+.f64 #s(literal 1 binary64) (*.f64 (tan.f64 x) (tan.f64 x)))) |
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (tan.f64 x) (tan.f64 x))) (fma.f64 (tan.f64 x) (tan.f64 x) #s(literal 1 binary64))) |
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (tan.f64 x) (tan.f64 x))) (+.f64 #s(literal 1 binary64) (*.f64 (tan.f64 x) (tan.f64 x)))) |
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (tan.f64 x) (tan.f64 x))) (fma.f64 (tan.f64 x) (tan.f64 x) #s(literal 1 binary64))) |
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (tan.f64 (neg.f64 x)) (tan.f64 (neg.f64 x)))) (+.f64 #s(literal 1 binary64) (*.f64 (tan.f64 (neg.f64 x)) (tan.f64 (neg.f64 x))))) |
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (tan.f64 x) (tan.f64 x))) (+.f64 #s(literal 1 binary64) (*.f64 (tan.f64 x) (tan.f64 x)))) |
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (tan.f64 x) (tan.f64 x))) (fma.f64 (tan.f64 x) (tan.f64 x) #s(literal 1 binary64))) |
(neg.f64 (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (tan.f64 (neg.f64 x)) (tan.f64 (neg.f64 x)))) (+.f64 #s(literal 1 binary64) (*.f64 (tan.f64 (neg.f64 x)) (tan.f64 (neg.f64 x)))))) |
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (neg.f64 (tan.f64 x)) (neg.f64 (tan.f64 x)))) (neg.f64 (+.f64 #s(literal 1 binary64) (*.f64 (neg.f64 (tan.f64 x)) (neg.f64 (tan.f64 x)))))) |
(/.f64 (+.f64 #s(literal -1 binary64) (*.f64 (tan.f64 x) (tan.f64 x))) (fma.f64 (tan.f64 x) (tan.f64 x) #s(literal 1 binary64))) |
(/.f64 (+.f64 (*.f64 (tan.f64 x) (tan.f64 x)) #s(literal -1 binary64)) (fma.f64 (tan.f64 x) (tan.f64 x) #s(literal 1 binary64))) |
(/.f64 (fma.f64 (tan.f64 x) (tan.f64 x) #s(literal -1 binary64)) (fma.f64 (tan.f64 x) (tan.f64 x) #s(literal 1 binary64))) |
(abs x)
Compiled 16 to 7 computations (56.3% saved)
Compiled 1 to 1 computations (0% saved)
| Status | Accuracy | Program |
|---|---|---|
| 99.4% | (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (tan.f64 x) (tan.f64 x))) (+.f64 #s(literal 1 binary64) (*.f64 (tan.f64 x) (tan.f64 x)))) |
Compiled 32 to 14 computations (56.3% saved)
| 1× | egg-herbie |
| 4× | +-commutative |
| 3× | sub-neg |
| 3× | 1-exp |
| 2× | *-commutative |
| 2× | neg-sub0 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 59 |
| 1 | 23 | 59 |
| 2 | 30 | 59 |
| 3 | 34 | 59 |
| 4 | 36 | 59 |
| 1× | saturated |
| Inputs |
|---|
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (tan.f64 x) (tan.f64 x))) (+.f64 #s(literal 1 binary64) (*.f64 (tan.f64 x) (tan.f64 x)))) |
| Outputs |
|---|
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (tan.f64 x) (tan.f64 x))) (+.f64 #s(literal 1 binary64) (*.f64 (tan.f64 x) (tan.f64 x)))) |
| 1× | fuel |
Compiled 16 to 7 computations (56.3% saved)
(abs x)
Compiled 128 to 56 computations (56.3% saved)
Loading profile data...