Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, E
Time bar (total: 2.8s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.5% | 0.5% | 0% | 0% | 0% | 0 |
| 100% | 99.5% | 0% | 0.5% | 0% | 0% | 0% | 1 |
Compiled 33 to 30 computations (9.1% saved)
| 28.0ms | 260× | 0 | valid |
ival-mult: 14.0ms (74.9% of total)ival-sub: 3.0ms (16.1% of total)ival-add: 1.0ms (5.4% of total)ival-true: 0.0ms (0% of total)adjust: 0.0ms (0% of total)exact: 0.0ms (0% of total)ival-assert: 0.0ms (0% of total)| Ground Truth | Overpredictions | Example | Underpredictions | Example | Subexpression |
|---|---|---|---|---|---|
| 24 | 0 | - | 24 | (-4.2028490732416026e+303 130443.78230319593 -3.010020704211915e-49 -2.6597396880992884e-231 1.9411668619107902e+38 -1.4136494372029907e+175 2.3707718157366584e+146 -5.865553751330481e-223 -8.291069696311654e-237 1.3244514424469261e-135) | (*.f64 (*.f64 (*.f64 x #s(literal 18 binary64)) y) z) |
| 23 | 0 | - | 23 | (1.889680912460953e+279 6.902817797129297e-147 -1.972269160220205e+253 -7.649509182471422e-308 -1.1665855038356246e-135 -2.1180705985639253e-237 2.702700389964397e-67 -1.811628956432026e+20 1.017511688133406e+264 0.004526438941717031) | (*.f64 (*.f64 (*.f64 (*.f64 x #s(literal 18 binary64)) y) z) t) |
| 12 | 0 | - | 12 | (-3.236020789472298e+137 -4.5265157737757724e+160 -5.588820654703824e-114 -3.8038326130786455e+232 4.67902908288143e-256 4.0359026089853347e-7 1.774011239603405e-62 5.16165872729821e+200 -1.213959216523206e+245 -8.120447059311356e+174) | (-.f64 (-.f64 (+.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 x #s(literal 18 binary64)) y) z) t) (*.f64 (*.f64 a #s(literal 4 binary64)) t)) (*.f64 b c)) (*.f64 (*.f64 x #s(literal 4 binary64)) i)) (*.f64 (*.f64 j #s(literal 27 binary64)) k)) |
| 8 | 0 | - | 8 | (5.903081817456747e+263 -1.790939001102465e-65 -2.93725650509891e+27 -3.0240002411928746e+92 6.906140055168718e+241 -6.201195332498625e+97 -5.731971667494543e-264 1.079859304563314e+197 -1.5199175877208508e+261 4.484417971621721e+130) | (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 x #s(literal 18 binary64)) y) z) t) (*.f64 (*.f64 a #s(literal 4 binary64)) t)) |
| 7 | 0 | - | 7 | (-4.215489284770338e-208 -1.2319607922582548e+32 1.1042416776421226e-163 -1.4748610346279312e+282 2.6907631183577085e+189 -9.392328525063513e+192 2.6720344462249264e+305 -2.5238314629215027e-90 7.245707736616406e+217 -5.565710101991133e-80) | (+.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 x #s(literal 18 binary64)) y) z) t) (*.f64 (*.f64 a #s(literal 4 binary64)) t)) (*.f64 b c)) |
| 6 | 0 | - | 6 | (5.903081817456747e+263 -1.790939001102465e-65 -2.93725650509891e+27 -3.0240002411928746e+92 6.906140055168718e+241 -6.201195332498625e+97 -5.731971667494543e-264 1.079859304563314e+197 -1.5199175877208508e+261 4.484417971621721e+130) | (-.f64 (+.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 x #s(literal 18 binary64)) y) z) t) (*.f64 (*.f64 a #s(literal 4 binary64)) t)) (*.f64 b c)) (*.f64 (*.f64 x #s(literal 4 binary64)) i)) |
| 1 | 0 | - | 1 | (3.6741044882758865e-203 -6.201045036383091e-135 -4.667587036025968e+137 1.0749002300436013e-221 -8.655170519469066e+307 7.139625347974456e-127 9.177778618177646e-129 4.143513919655366e-7 1.3367758222349245e+214 -1.1961527879185075e+27) | (*.f64 (*.f64 a #s(literal 4 binary64)) t) |
| 0 | 0 | - | 0 | - | k |
| 0 | 0 | - | 0 | - | (*.f64 a #s(literal 4 binary64)) |
| 0 | 0 | - | 0 | - | a |
| 0 | 0 | - | 0 | - | (*.f64 j #s(literal 27 binary64)) |
| 0 | 0 | - | 0 | - | t |
| 0 | 0 | - | 0 | - | (*.f64 b c) |
| 0 | 0 | - | 0 | - | c |
| 0 | 0 | - | 0 | - | y |
| 0 | 0 | - | 0 | - | i |
| 0 | 0 | - | 0 | - | (*.f64 x #s(literal 4 binary64)) |
| 0 | 0 | - | 0 | - | #s(literal 27 binary64) |
| 0 | 0 | - | 0 | - | (*.f64 (*.f64 x #s(literal 18 binary64)) y) |
| 0 | 0 | - | 0 | - | z |
| 0 | 0 | - | 0 | - | #s(literal 4 binary64) |
| 0 | 0 | - | 0 | - | j |
| 0 | 0 | - | 0 | - | (*.f64 x #s(literal 18 binary64)) |
| 0 | 0 | - | 0 | - | (*.f64 (*.f64 x #s(literal 4 binary64)) i) |
| 0 | 0 | - | 0 | - | #s(literal 18 binary64) |
| 0 | 0 | - | 0 | - | (*.f64 (*.f64 j #s(literal 27 binary64)) k) |
| 0 | 0 | - | 0 | - | b |
| 0 | 0 | - | 0 | - | x |
| Predicted + | Predicted - | |
|---|---|---|
| + | 0 | 43 |
| - | 0 | 213 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 0 | 0 | 43 |
| - | 0 | 0 | 213 |
| number | freq |
|---|---|
| 0 | 256 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 0 | 0 | 1 |
| - | 0 | 0 | 0 |
| 408.0ms | 3 072× | 0 | valid |
Compiled 5 940 to 1 368 computations (77% saved)
ival-mult: 174.0ms (76.8% of total)ival-sub: 34.0ms (15% of total)ival-add: 11.0ms (4.9% of total)exact: 4.0ms (1.8% of total)ival-true: 2.0ms (0.9% of total)adjust: 1.0ms (0.4% of total)ival-assert: 1.0ms (0.4% of total)| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 427 | 1917 |
| 1 | 1745 | 1897 |
| 2 | 6134 | 1893 |
| 0 | 28 | 31 |
| 0 | 43 | 29 |
| 1 | 90 | 29 |
| 2 | 268 | 29 |
| 3 | 763 | 29 |
| 4 | 1902 | 29 |
| 5 | 3846 | 29 |
| 6 | 5240 | 29 |
| 7 | 5703 | 29 |
| 8 | 5980 | 29 |
| 9 | 6003 | 29 |
| 10 | 6021 | 29 |
| 11 | 6021 | 29 |
| 12 | 6216 | 29 |
| 13 | 6239 | 29 |
| 14 | 6239 | 29 |
| 15 | 6432 | 29 |
| 16 | 6432 | 29 |
| 17 | 6924 | 29 |
| 18 | 7152 | 29 |
| 19 | 7152 | 29 |
| 20 | 7152 | 29 |
| 21 | 7152 | 29 |
| 22 | 7152 | 29 |
| 23 | 7162 | 29 |
| 0 | 7162 | 25 |
| 1× | iter limit |
| 1× | saturated |
| 1× | iter limit |
| 1× | node limit |
| Inputs |
|---|
(-.f64 (-.f64 (+.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 x #s(literal 18 binary64)) y) z) t) (*.f64 (*.f64 a #s(literal 4 binary64)) t)) (*.f64 b c)) (*.f64 (*.f64 x #s(literal 4 binary64)) i)) (*.f64 (*.f64 j #s(literal 27 binary64)) k)) |
| Outputs |
|---|
(-.f64 (-.f64 (+.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 x #s(literal 18 binary64)) y) z) t) (*.f64 (*.f64 a #s(literal 4 binary64)) t)) (*.f64 b c)) (*.f64 (*.f64 x #s(literal 4 binary64)) i)) (*.f64 (*.f64 j #s(literal 27 binary64)) k)) |
(fma.f64 (*.f64 i x) #s(literal -4 binary64) (fma.f64 (fma.f64 #s(literal -4 binary64) a (*.f64 z (*.f64 y (*.f64 #s(literal 18 binary64) x)))) t (fma.f64 (*.f64 k j) #s(literal -27 binary64) (*.f64 c b)))) |
(sort y z)
(sort b c)
(sort j k)
Compiled 31 to 28 computations (9.7% saved)
Compiled 0 to 10 computations (-∞% saved)
| Status | Accuracy | Program |
|---|---|---|
| 83.1% | (-.f64 (-.f64 (+.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 x #s(literal 18 binary64)) y) z) t) (*.f64 (*.f64 a #s(literal 4 binary64)) t)) (*.f64 b c)) (*.f64 (*.f64 x #s(literal 4 binary64)) i)) (*.f64 (*.f64 j #s(literal 27 binary64)) k)) |
Compiled 62 to 56 computations (9.7% saved)
| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 28 | 31 |
| 1 | 55 | 31 |
| 2 | 104 | 31 |
| 3 | 132 | 31 |
| 4 | 154 | 31 |
| 5 | 162 | 31 |
| 1× | saturated |
| Inputs |
|---|
(-.f64 (-.f64 (+.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 x #s(literal 18 binary64)) y) z) t) (*.f64 (*.f64 a #s(literal 4 binary64)) t)) (*.f64 b c)) (*.f64 (*.f64 x #s(literal 4 binary64)) i)) (*.f64 (*.f64 j #s(literal 27 binary64)) k)) |
| Outputs |
|---|
(-.f64 (-.f64 (+.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 x #s(literal 18 binary64)) y) z) t) (*.f64 (*.f64 a #s(literal 4 binary64)) t)) (*.f64 b c)) (*.f64 (*.f64 x #s(literal 4 binary64)) i)) (*.f64 (*.f64 j #s(literal 27 binary64)) k)) |
(-.f64 (-.f64 (+.f64 (*.f64 c b) (-.f64 (*.f64 t (*.f64 z (*.f64 y (*.f64 #s(literal 18 binary64) x)))) (*.f64 (*.f64 #s(literal 4 binary64) a) t))) (*.f64 i (*.f64 #s(literal 4 binary64) x))) (*.f64 k (*.f64 #s(literal 27 binary64) j))) |
| 1× | fuel |
Compiled 31 to 28 computations (9.7% saved)
(sort j k)
(sort b c)
(sort y z)
Compiled 686 to 530 computations (22.7% saved)
Loading profile data...