Radioactive exchange between two surfaces

Time bar (total: 9.5s)

analyze1.0ms (0%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 10 to 7 computations (30% saved)

sample9.1s (95.3%)

Results
1.2s8256×0valid
856.0ms8228×0valid-sollya
34.0ms28×0exit-sollya
Sollya Eval
PtRival-outSollya-intervalSollya-pointstatusSollya statusRival itersollya-timecheck
(2.9367763020980176e+234 -4.9514868842418347e+244)-inf.0(-inf.0 -inf.0)+nan.0validexit00.26965399999999995#f
(1.2580955310219265e-47 -9.453554622671736e+194)-inf.0(-inf.0 -inf.0)+nan.0validexit00.26442099999999996#f
(-1227929545190806.3 9.991528300938952e-179)2.273493915077856e+60(+nan.0 +nan.0)+nan.0validexit05.0#f
(1.0005911822830672e-149 3.4434155074856644e+274)-inf.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-2.0197617070339986e+165 -2.0059680714317933e+279)-inf.0(-inf.0 -inf.0)+nan.0validexit00.146198#f
(-1.2254168288868564e+227 -4.2140132927134345e-86)+inf.0(+inf.0 +inf.0)+nan.0validexit00.14453#f
(8.448799259888224e+86 -4.435813974453943e-244)+inf.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(1.1194277844078484e+231 5.228364999339962e+291)-inf.0(-inf.0 -inf.0)+nan.0validexit00.147331#f
(2.1474470435693043e+132 2.221371339657327e-215)+inf.0(+inf.0 +inf.0)+nan.0validexit00.132297#f
(6.045858421456466e+296 -1.2066641322373227e-165)+inf.0(+inf.0 +inf.0)+nan.0validexit00.283797#f
(7.915664376428116e+74 -4.7556988716564715e-150)3.925992697734336e+299(3.925992697734336e+299 3.925992697734336e+299)+nan.0validexit00.119371#f
(-2023026343687013600.0 -1.8582329591176412e+198)-inf.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-2.6451623383202063e-303 3.95474091136821e-207)-0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-1.54514724931134e-241 5.592348147847144e+21)-9.780854562233348e+86(-9.780854562233348e+86 -9.780854562233348e+86)+nan.0validexit00.103731#f
(-1.496519960902589e+101 -5.891570140106862e+304)-inf.0(-inf.0 -inf.0)+nan.0validexit00.276426#f
(1.2824801428034332e-175 -1.6048019276510225e-190)0.0(0.0 0.0)+nan.0validexit00.22882#f
(-1.2726937474474084e+140 5.578183974842538e-213)+inf.0(+inf.0 +inf.0)+nan.0validexit00.130959#f
(4.755692246324583e-213 362753094665786430.0)-1.731587748778723e+70(-1.731587748778723e+70 -1.731587748778723e+70)+nan.0validexit00.216551#f
(1.920401949077286e+129 -8.398440199608675e+113)+inf.0(+inf.0 +inf.0)+nan.0validexit00.247634#f
(-2.871430049715386e+272 -1.3341160413683296e+240)+inf.0(+inf.0 +inf.0)+nan.0validexit00.31136800000000003#f
(-8.971816676990227e-205 -1.825586413965803e+139)-inf.0(-inf.0 -inf.0)+nan.0validexit00.259616#f
(-1.0061977820204642e+185 7.1836488169251455e+87)+inf.0(+inf.0 +inf.0)+nan.0validexit00.25167#f
(-1.3310899465911055e+98 1.5551669728416963e+72)+inf.0(+inf.0 +inf.0)+nan.0validexit00.126516#f
(3.3831882485896467e-251 3.640419847074244e-257)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(2.4409355919804896e-42 5.608411501788967e-32)-9.893717034815313e-126(-9.893717034815313e-126 -9.893717034815313e-126)+nan.0validexit00.098287#f
(-1.0173936202452571e+141 9.99554037182673e+22)+inf.0(+inf.0 +inf.0)+nan.0validexit00.128369#f
(-4.136318321598117e-106 7.171079791111603e+101)-inf.0(-inf.0 -inf.0)+nan.0validexit00.236192#f
(-1.3493792255400515e+303 7.951119142033848e-240)+inf.0(+inf.0 +inf.0)+nan.0validexit00.252667#f
Sollya timings
Total time spent in Sollya 890.0ms
Bogosity

preprocess257.0ms (2.7%)

Algorithm
egg-herbie
Rules
95×fma-define
91×fma-neg
40×sub-neg
27×associate--r+
24×unsub-neg
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
021199
138199
277191
3147191
4271191
5433191
6520191
7583191
8590191
Stop Event
saturated
Calls
Call 1
Inputs
(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64)))
(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64)))
(-.f64 (pow.f64 (neg.f64 x) #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64)))
(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 (neg.f64 y) #s(literal 4 binary64)))
(neg.f64 (-.f64 (pow.f64 (neg.f64 x) #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64))))
(neg.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 (neg.f64 y) #s(literal 4 binary64))))
(-.f64 (pow.f64 y #s(literal 4 binary64)) (pow.f64 x #s(literal 4 binary64)))
Outputs
(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64)))
(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64)))
(-.f64 (pow.f64 (neg.f64 x) #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64)))
(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 (neg.f64 y) #s(literal 4 binary64)))
(neg.f64 (-.f64 (pow.f64 (neg.f64 x) #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64))))
(-.f64 (pow.f64 y #s(literal 4 binary64)) (pow.f64 (neg.f64 x) #s(literal 4 binary64)))
(neg.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 (neg.f64 y) #s(literal 4 binary64))))
(+.f64 (neg.f64 (pow.f64 x #s(literal 4 binary64))) (pow.f64 (neg.f64 y) #s(literal 4 binary64)))
(-.f64 (pow.f64 (neg.f64 y) #s(literal 4 binary64)) (pow.f64 x #s(literal 4 binary64)))
(-.f64 (pow.f64 y #s(literal 4 binary64)) (pow.f64 x #s(literal 4 binary64)))
Compiler

Compiled 9 to 6 computations (33.3% saved)

eval1.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune12.0ms (0.1%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
86.7%
(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64)))
Compiler

Compiled 18 to 12 computations (33.3% saved)

simplify7.0ms (0.1%)

Algorithm
egg-herbie
Rules
sub-neg
+-commutative
*-commutative
neg-sub0
neg-mul-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01125
11425
21925
32125
42225
Stop Event
saturated
Calls
Call 1
Inputs
(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64)))
Outputs
(-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 y #s(literal 4 binary64)))

soundness17.0ms (0.2%)

Stop Event
fuel
Compiler

Compiled 9 to 6 computations (33.3% saved)

preprocess155.0ms (1.6%)

Compiler

Compiled 36 to 24 computations (33.3% saved)

end0.0ms (0%)

Profiling

Loading profile data...