Expression 4, p15

Time bar (total: 33.4s)

analyze118.0ms (0.4%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%0%100%0%0%0%0
0%0%0%100%0%0%0%1
0%0%0%100%0%0%0%2
50%0%0%100%0%0%0%3
50%0%0%100%0%0%0%4
75%0%0%100%0%0%0%5
75%0%0%100%0%0%0%6
87.5%0%0%100%0%0%0%7
87.5%0%0%100%0%0%0%8
93.8%0%0%100%0%0%0%9
93.8%0%0%100%0%0%0%10
96.9%0%0%100%0%0%0%11
96.9%0%0%100%0%0%0%12
Compiler

Compiled 24 to 15 computations (37.5% saved)

sample32.6s (97.5%)

Results
4.3s8256×0valid
700.0ms8232×0valid-sollya
14.0ms24×0exit-sollya
Sollya Eval
PtRival-outSollya-intervalSollya-pointstatusSollya statusRival itersollya-timecheck
(6.4228302392113195 4.782061144993635e-50)41.252748281727335(41.252748281727335 41.252748281727335)+nan.0validexit00.167181#f
(7.160574471039035 2.71992329707944e-249)51.27382675529596(51.27382675529596 51.27382675529596)+nan.0validexit00.172349#f
(9.40849452131445 6.3977112170058104e-177)88.51976915760403(88.51976915760403 88.51976915760403)+nan.0validexit00.20658100000000001#f
(6.79355991147332 2.1324766014416337e-273)46.152456270777385(+nan.0 +nan.0)+nan.0validexit05.0#f
(5.441377401831769 3.756360570305347e-86)29.608588029165453(29.608588029165453 29.608588029165453)+nan.0validexit00.130521#f
(6.7329480701093924 2.1543350600342837e-92)45.33258971478979(45.33258971478979 45.33258971478979)+nan.0validexit00.176165#f
(6.95412783536329 7.160799056137583e-195)48.359893950574524(48.359893950574524 48.359893950574524)+nan.0validexit00.169958#f
(8.525101394570179 1.031762793603226e-246)72.6773537877024(+nan.0 +nan.0)+nan.0validexit05.0#f
(8.026320014794956 5.146574157408172e-226)64.4218129798981(64.4218129798981 64.4218129798981)+nan.0validexit00.130275#f
(6.4550917835940185 2.148082661464025e-24)41.66820993462301(41.66820993462301 41.66820993462301)+nan.0validexit00.176657#f
(6.796346992289085 4.875484256631279e-238)46.190332439596894(46.190332439596894 46.190332439596894)+nan.0validexit00.169326#f
(5.006451800796404 3.857725272602964e-65)25.064559633697552(25.064559633697552 25.064559633697552)+nan.0validexit00.170501#f
(6.142336900748695 1.0143278201306552e-172)37.72830260229909(37.72830260229909 37.72830260229909)+nan.0validexit00.167823#f
(8.150535029854117 4.083240874191553e-163)66.43122127287906(66.43122127287906 66.43122127287906)+nan.0validexit00.088688#f
(9.564933417019482 2.8172545269784538e-37)91.48795127201598(91.48795127201598 91.48795127201598)+nan.0validexit00.175265#f
(7.820114651240931 4.1847457132627803e-38)61.15419315855306(61.15419315855306 61.15419315855306)+nan.0validexit00.166571#f
(5.626635440966225 4.401249946240897e-134)31.65902638553718(31.65902638553718 31.65902638553718)+nan.0validexit00.18109#f
(6.330031741163 2.618601586765722e-223)40.06930184413108(40.06930184413108 40.06930184413108)+nan.0validexit00.078763#f
(5.0598117557861935 2.448813655790527e-8)25.601695251802884(25.601695251802884 25.601695251802884)+nan.0validexit00.137375#f
(6.511038568518003 6.17074427871972e-60)42.39362324072896(42.39362324072896 42.39362324072897)42.39362324072897validvalid00.074707#f
(9.083846403788542 2.704762422469098e-87)82.51626548762202(82.51626548762202 82.51626548762202)+nan.0validexit00.178565#f
(5.61943528796444 2.185643423908682e-167)31.578052955619988(31.578052955619988 31.578052955619988)+nan.0validexit00.178075#f
(8.354941609623278 1.2141973666922832e-195)69.80504930021442(69.80504930021442 69.80504930021442)+nan.0validexit00.23022#f
(5.7915259729986825 1.3285989228525811e-15)33.54177309591835(33.54177309591835 33.54177309591835)+nan.0validexit00.177212#f
(9.423499640413196 1.536762958062249e-204)88.80234547286763(88.80234547286763 88.80234547286763)+nan.0validexit00.206135#f
Sollya timings
Total time spent in Sollya 714.0ms
Bogosity

preprocess586.0ms (1.8%)

Algorithm
egg-herbie
Rules
1098×fma-neg
926×fma-define
285×distribute-rgt-in
258×unsub-neg
223×distribute-lft-in
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
020257
167217
2237217
3631217
41451217
53042217
63873217
74021217
84021217
94021217
104836217
115124217
125124217
Stop Event
saturated
Calls
Call 1
Inputs
(*.f64 (+.f64 a b) (+.f64 a b))
(*.f64 (+.f64 a b) (+.f64 a b))
(*.f64 (+.f64 (neg.f64 a) b) (+.f64 (neg.f64 a) b))
(*.f64 (+.f64 a (neg.f64 b)) (+.f64 a (neg.f64 b)))
(neg.f64 (*.f64 (+.f64 (neg.f64 a) b) (+.f64 (neg.f64 a) b)))
(neg.f64 (*.f64 (+.f64 a (neg.f64 b)) (+.f64 a (neg.f64 b))))
(*.f64 (+.f64 b a) (+.f64 b a))
Outputs
(*.f64 (+.f64 a b) (+.f64 a b))
(*.f64 (+.f64 a b) (+.f64 a b))
(*.f64 (+.f64 (neg.f64 a) b) (+.f64 (neg.f64 a) b))
(*.f64 (+.f64 b (neg.f64 a)) (+.f64 b (neg.f64 a)))
(*.f64 (-.f64 b a) (-.f64 b a))
(*.f64 (+.f64 a (neg.f64 b)) (+.f64 a (neg.f64 b)))
(*.f64 (+.f64 b (neg.f64 a)) (+.f64 b (neg.f64 a)))
(*.f64 (-.f64 b a) (-.f64 b a))
(neg.f64 (*.f64 (+.f64 (neg.f64 a) b) (+.f64 (neg.f64 a) b)))
(*.f64 (+.f64 b (neg.f64 a)) (neg.f64 (+.f64 b (neg.f64 a))))
(*.f64 (-.f64 b a) (-.f64 a b))
(neg.f64 (*.f64 (+.f64 a (neg.f64 b)) (+.f64 a (neg.f64 b))))
(*.f64 (+.f64 b (neg.f64 a)) (neg.f64 (+.f64 b (neg.f64 a))))
(*.f64 (-.f64 b a) (-.f64 a b))
(*.f64 (+.f64 b a) (+.f64 b a))
(*.f64 (+.f64 a b) (+.f64 a b))
Symmetry

(sort a b)

Compiler

Compiled 9 to 4 computations (55.6% saved)

eval1.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune2.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
99.9%
(*.f64 (+.f64 a b) (+.f64 a b))
Compiler

Compiled 18 to 8 computations (55.6% saved)

simplify5.0ms (0%)

Algorithm
egg-herbie
Rules
+-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0931
11031
Stop Event
saturated
Calls
Call 1
Inputs
(*.f64 (+.f64 a b) (+.f64 a b))
Outputs
(*.f64 (+.f64 a b) (+.f64 a b))

soundness1.0ms (0%)

Stop Event
fuel
Compiler

Compiled 9 to 4 computations (55.6% saved)

preprocess135.0ms (0.4%)

Remove

(sort a b)

Compiler

Compiled 106 to 48 computations (54.7% saved)

end0.0ms (0%)

Profiling

Loading profile data...