explain7.4s (94.3%)

Memory

19.4MiB live, 5 290.2MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
63	1	(-6.336376109086779e-270 -1.25511882645503e+77 -1.8067888972880996e-256 -6.118155115789063e+135 1.790891747062158e-239 1.1161629909922911e-138 5.6051575619334984e-30 2.4523537655428432e+35 -7.739621436392957e-45 7.502377108290895e-63 -5.247277643586331e+62 -6.78992875749719e-271 -7.203344157841546e-163 1.6680299192918906e-283 3.0005431467908424e+155 7.760887403128574e-256)	0	-	(-.f64 (+.f64 (+.f64 (-.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i))) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))) (*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))) (*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))) (*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a))))
54	0	-	0	-	(+.f64 (+.f64 (-.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i))) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))) (*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))) (*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i))))
51	0	-	0	-	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i))) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))) (*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))) (*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))) (*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a)))) (*.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y4 y1) (*.f64 y5 y0))))
44	0	-	0	-	(+.f64 (-.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i))) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))) (*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a))))
37	0	-	0	-	(-.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i))) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i))))
25	0	-	0	-	(*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))
25	0	-	0	-	(*.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y4 y1) (*.f64 y5 y0)))
21	0	-	3	(-1.6060166375819418e-103 -5.452727954041584e+213 -6.535008832077747e-152 -6.039540082797543e-49 -5.378044539867218e-75 -2.77276975877293e+27 -4.9825667995352044e-293 -4.7658644517834657e+89 2.5713670680227206e+184 -9.955417075826967e+89 -1.2937145183703987e+263 -2.4405475360849626e+221 1.3398658716578945e-180 -3.5878607755206996e-6 -6.333024564777742e-20 -5.3719102044743595e-276)	(*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a)))
21	0	-	1	(-8.068171446577189e-116 -5.1218566783607185e+292 1.9235644193145801e-149 -1.3082510004684227e+244 2.051836792962055e-212 1509303259137564000.0 2.6423851814577488e-214 -3.322249583693239e-165 -1.0369832524472404e-232 7.17193597715758e-171 2.330034880081136e+277 1.391864820350577e-261 -1.9001059018310902e+113 5.073050977409113e+211 -4.497844877307086e-156 1.9297751202561686e-103)	(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))
20	0	-	0	-	(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)))
13	0	-	1	(4.5961133562608437e+135 -4.491438534980343e-164 -6.239150278229768e+266 -9.220665685452762e-272 -1.3774498494772022e+212 1.5727668821198199e+296 -3.9421318248701145e-50 6.087100474495757e+186 -1.0053126337409294e-258 1.1387562783943772e-146 5.817715589457729e+143 1.7593990239633414e-110 1.8468507987324066e+198 2.7096823886162843e+270 1.7768369387886262e-90 7302409.303868525)	(*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))
6	2	(-3.148104926761614e-9 1.6052083142999288e-24 7.44828346144602 -6.37061914958294e-57 2.2864066674824807e+78 1.4212004788292676e+242 -5.86562713703518e+70 -6157925.160734068 -1.5144978374074827e-193 -1.3924344490092263e-69 -1.2944151518250477e-129 9.200961596000415e-11 5.690473347396812e-143 3.634826064260129e+83 -1.3552476928460242e-208 1.0587332048624498e-79)	0	-	(-.f64 (*.f64 x y) (*.f64 z t))
5	2	(-4.390536966690466e-168 -1.683977409047374e+264 2.305822198898902e+215 3.8273747142337517e+261 1.6882093107377416e-164 1.095900836748411e+222 2.8594015243899915e-259 1.1699922541506e+307 -1.2102640313982073e-80 3.281552990923039e-197 4.2707054173924353e+170 -2.5481803216069923e+155 3.0977075340386224e+279 2257347806258.3003 2.7049809650394647e-241 563252934445989950.0)	0	-	(-.f64 (*.f64 a b) (*.f64 c i))
4	2	(3.933857119125039e+189 5.3148094461740425e+163 -2.188664728223632e+107 1.5429885669148353e+181 1.3786811657546069e+94 2.886818745500359e-169 1.398281694676733e+30 7.82838288380457e+273 -3.7161519771186028e-118 1.1738603425578845e-36 -6.372862827265842e-165 2.529941767462907e-123 -5.814422832188206e+103 2.2254846850436283e-177 1.516117862683389e-216 2.925196459741691e+62)	0	-	(-.f64 (*.f64 x j) (*.f64 z k))
3	3	(-2.8293572128726527e-120 2.1163578814674837e+203 -5.076110416125164e-285 3.2367170410341217e+251 7.0589712511285e-52 -1.0656846390737008e+222 2.6467800765886102e+200 -2.634171374510346e+214 -8.676036634773967e-172 -1.0015466088413287e-190 5.366287171297684e-305 1.0074603964351894e-72 -2.582056949087784e-125 1.0584040935929146e-128 -1.7162976189443213e+60 -7.956445456586951e-10)	0	-	(-.f64 (*.f64 y0 c) (*.f64 y1 a))
2	1	(7.130200851822753e-101 -31232.771062510412 1.225232390826782e+61 9.58247009267327e-5 -4.5206991436117586e+128 7.214051367956295e+230 -1.496586691702197e+59 -2.215580601987726e-8 1.2984421472835969e+67 -3.9216133771461444e+174 -1.0114126230209535e-37 -3.4062925439788127e+301 9.054676289858839e+296 4.798456158598552e+129 3.7719739160911713e+264 -1.7280117549073674e+70)	0	-	(-.f64 (*.f64 x y2) (*.f64 z y3))
2	6	(17900486681599828.0 -1.8140910606902015e-147 -1.7919564186339365e-56 1.1514756565151102e-145 1.8203026099494645e-42 -3.8431727887905595e-39 -6.361970804920119e+90 1.3527816076661206e+175 -6.458733482080768e+287 4.4967730523504826e+260 1.7950133309868547e+105 -5.882363600855323e-104 -4.2864523710062455e+110 -4.571840850793953e-160 1.1622884308174488e+61 -1.6258273782364775e-163)	0	-	(-.f64 (*.f64 y4 b) (*.f64 y5 i))
2	4	(8.869217874838372e+243 -9.245061957168678e+298 1.3353842879094178e-217 -8.59163075838894e+289 4.7591708098279464e+147 6.118599395048402e-224 4.260593650486541e+163 -2.652707111181562e-61 159457160.56635782 -6.963993201613982e+258 -5.169767317174098e+87 -2.829456563445942e+152 3.4667119630333766e+129 -1.0080292310172214e-203 7.029604274432763e-97 3.3160854797703937e-105)	0	-	(-.f64 (*.f64 y4 c) (*.f64 y5 a))
2	5	(17900486681599828.0 -1.8140910606902015e-147 -1.7919564186339365e-56 1.1514756565151102e-145 1.8203026099494645e-42 -3.8431727887905595e-39 -6.361970804920119e+90 1.3527816076661206e+175 -6.458733482080768e+287 4.4967730523504826e+260 1.7950133309868547e+105 -5.882363600855323e-104 -4.2864523710062455e+110 -4.571840850793953e-160 1.1622884308174488e+61 -1.6258273782364775e-163)	0	-	(-.f64 (*.f64 t j) (*.f64 y k))
1	2	(6.97330072458478e+40 1.877019748859145e+160 5.72729500298934e+288 -1.1136138157493964e+207 2.453230858899336e+180 1.0196857003006166e+301 5.235649058434103e+143 -4.5245271554949685e+187 -0.10413395714570205 -7.759816964086821e+75 -1.3917361588674554e-117 -1.2828602941407473e-249 3.12624492793432e-180 2.706565675242002e-114 -2.17579116026602e+176 -2.8519939174256216e+169)	0	-	(-.f64 (*.f64 k y2) (*.f64 j y3))
1	3	(-8.166014509153835e+245 -2.2692585256302682e+268 -1.7286109581314191e-264 -9.385298621689811e-128 9.067301495518251e-40 -4.4837903852869246e+57 1.4129227355980029e+146 -1.0264187309899975e+282 1.7707251051775492e+33 -1.0252399973171689e-183 2.532683803003086e+55 3.641580843391629e-201 -8.630157760004372e-232 -6.6818632577529e-59 -1.9252082783074934e+184 -3.507292086077754e+29)	0	-	(-.f64 (*.f64 y0 b) (*.f64 y1 i))
1	7	(-1.0260447632598515e+205 -1.990619437519147e+116 -1.3958932710961778e+20 2.347009267257717e+173 1.5792206293294243e-88 -1.0795939320886401e-172 8.736772402648615e+254 -2.853084904406449e+85 3.331645043283161e-20 3.8093494238791005e-180 7.432757152550923e+150 1.1867341667962916e+244 2.98130027273284e-178 -5.161361869755944e-150 -1.030236386742867e+92 -2.5155744194161294e-292)	0	-	(-.f64 (*.f64 t y2) (*.f64 y y3))
1	2	(-3.306009503279429e-285 -1.1093287546229714e-82 -5.753916967057197e+34 1.4130948260375362e-133 4.910507245434291e+293 -5.267188840181576e-265 5.395610894332982e-151 -1.3855654756218692e-138 1.9684996552822585e+35 -9.387861628814238e-232 -2.9690738052864517e-111 -1.4427115427892662e-305 -6.38605939600115e-308 -4.4055202941898675e+67 3.66122845459199e+236 8.935548101413838e+34)	0	-	(-.f64 (*.f64 y4 y1) (*.f64 y5 y0))
0	0	-	0	-	(*.f64 k y2)
0	0	-	0	-	(*.f64 c i)
0	0	-	0	-	y3
0	0	-	0	-	(*.f64 t y2)
0	0	-	0	-	(*.f64 x y)
0	0	-	0	-	c
0	0	-	0	-	i
0	0	-	0	-	(*.f64 y1 i)
0	0	-	0	-	(*.f64 y5 a)
0	0	-	0	-	(*.f64 x y2)
0	0	-	0	-	(*.f64 y0 c)
0	0	-	0	-	y4
0	0	-	0	-	(*.f64 y0 b)
0	0	-	0	-	z
0	0	-	0	-	(*.f64 y5 i)
0	0	-	0	-	(*.f64 y4 c)
0	0	-	0	-	b
0	0	-	0	-	(*.f64 y4 b)
0	0	-	0	-	(*.f64 y4 y1)
0	0	-	0	-	(*.f64 y y3)
0	0	-	0	-	k
0	0	-	0	-	a
0	0	-	0	-	t
0	0	-	0	-	y0
0	0	-	0	-	y1
0	0	-	0	-	y
0	0	-	0	-	(*.f64 y k)
0	0	-	0	-	(*.f64 y5 y0)
0	0	-	0	-	(*.f64 z k)
0	0	-	0	-	(*.f64 z y3)
0	0	-	0	-	(*.f64 y1 a)
0	0	-	0	-	(*.f64 z t)
0	0	-	0	-	(*.f64 j y3)
0	0	-	0	-	j
0	0	-	0	-	(*.f64 t j)
0	0	-	0	-	(*.f64 x j)
0	0	-	0	-	(*.f64 a b)
0	0	-	0	-	y5
0	0	-	0	-	x
0	0	-	0	-	y2

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
-.f64	(-.f64 (+.f64 (+.f64 (-.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i))) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))) (*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))) (*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))) (*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a))))	nan-rescue	63	0
↳	(*.f64 z y3)	overflow	37
↳	(*.f64 y0 c)	overflow	26
↳	(*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))	overflow	131
↳	(-.f64 (*.f64 y0 c) (*.f64 y1 a))	overflow	57
↳	(+.f64 (+.f64 (-.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i))) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))) (*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))) (*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i))))	overflow	222
↳	(*.f64 z t)	overflow	30
↳	(+.f64 (-.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i))) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))) (*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a))))	overflow	208
↳	(*.f64 z k)	overflow	31
↳	(*.f64 y4 b)	overflow	33
↳	(-.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i))) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i))))	overflow	186
↳	(*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))	overflow	120
↳	(-.f64 (*.f64 y0 b) (*.f64 y1 i))	overflow	55
↳	(-.f64 (*.f64 y4 b) (*.f64 y5 i))	overflow	65
↳	(-.f64 (*.f64 x y2) (*.f64 z y3))	overflow	63
↳	(*.f64 y1 a)	overflow	35
↳	(-.f64 (*.f64 x j) (*.f64 z k))	overflow	61
↳	(*.f64 a b)	overflow	34
↳	(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))	overflow	125
↳	(*.f64 x y)	overflow	36
↳	(*.f64 y k)	overflow	28
↳	(*.f64 x y2)	overflow	36
↳	(*.f64 y5 i)	overflow	35
↳	(-.f64 (*.f64 x y) (*.f64 z t))	overflow	58
↳	(*.f64 c i)	overflow	38
↳	(*.f64 y1 i)	overflow	30
↳	(*.f64 y0 b)	overflow	27
↳	(-.f64 (*.f64 a b) (*.f64 c i))	overflow	65
↳	(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)))	overflow	131
↳	(*.f64 t j)	overflow	34
↳	(*.f64 x j)	overflow	35
↳	(-.f64 (*.f64 t j) (*.f64 y k))	overflow	58
↳	(*.f64 y4 c)	overflow	35
↳	(*.f64 y y3)	overflow	37
↳	(-.f64 (*.f64 t y2) (*.f64 y y3))	overflow	67
↳	(-.f64 (*.f64 y4 c) (*.f64 y5 a))	overflow	55
↳	(*.f64 t y2)	overflow	33
↳	(*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a)))	overflow	131
↳	(*.f64 y5 a)	overflow	23
+.f64	(+.f64 (+.f64 (-.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i))) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))) (*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))) (*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i))))	nan-rescue	54	0
↳	(-.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i))) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i))))	overflow	186
↳	(*.f64 z y3)	overflow	37
↳	(*.f64 y0 c)	overflow	26
↳	(-.f64 (*.f64 y0 c) (*.f64 y1 a))	overflow	57
↳	(*.f64 z t)	overflow	30
↳	(*.f64 x j)	overflow	35
↳	(+.f64 (-.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i))) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))) (*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a))))	overflow	208
↳	(*.f64 z k)	overflow	31
↳	(*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))	overflow	120
↳	(-.f64 (*.f64 y0 b) (*.f64 y1 i))	overflow	55
↳	(-.f64 (*.f64 x y2) (*.f64 z y3))	overflow	63
↳	(*.f64 y1 a)	overflow	35
↳	(-.f64 (*.f64 x j) (*.f64 z k))	overflow	61
↳	(*.f64 a b)	overflow	34
↳	(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))	overflow	125
↳	(*.f64 x y)	overflow	36
↳	(*.f64 x y2)	overflow	36
↳	(-.f64 (*.f64 x y) (*.f64 z t))	overflow	58
↳	(*.f64 c i)	overflow	38
↳	(*.f64 y1 i)	overflow	30
↳	(*.f64 y0 b)	overflow	27
↳	(-.f64 (*.f64 a b) (*.f64 c i))	overflow	65
↳	(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)))	overflow	131
↳	(*.f64 y4 b)	overflow	33
↳	(*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))	overflow	131
↳	(-.f64 (*.f64 y4 b) (*.f64 y5 i))	overflow	65
↳	(*.f64 y k)	overflow	28
↳	(*.f64 y5 i)	overflow	35
↳	(*.f64 t j)	overflow	34
↳	(-.f64 (*.f64 t j) (*.f64 y k))	overflow	58
+.f64	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i))) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))) (*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))) (*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))) (*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a)))) (*.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y4 y1) (*.f64 y5 y0))))	nan-rescue	51	0
↳	(*.f64 z y3)	overflow	37
↳	(*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))	overflow	131
↳	(-.f64 (*.f64 y0 c) (*.f64 y1 a))	overflow	57
↳	(+.f64 (+.f64 (-.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i))) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))) (*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))) (*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i))))	overflow	222
↳	(*.f64 y4 c)	overflow	35
↳	(+.f64 (-.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i))) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))) (*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a))))	overflow	208
↳	(*.f64 z k)	overflow	31
↳	(*.f64 y4 b)	overflow	33
↳	(-.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i))) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i))))	overflow	186
↳	(-.f64 (*.f64 y4 c) (*.f64 y5 a))	overflow	55
↳	(*.f64 t y2)	overflow	33
↳	(*.f64 y0 c)	overflow	26
↳	(*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a)))	overflow	131
↳	(*.f64 y5 a)	overflow	23
↳	(*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))	overflow	120
↳	(-.f64 (*.f64 y0 b) (*.f64 y1 i))	overflow	55
↳	(-.f64 (*.f64 y4 b) (*.f64 y5 i))	overflow	65
↳	(-.f64 (*.f64 x y2) (*.f64 z y3))	overflow	63
↳	(*.f64 y1 a)	overflow	35
↳	(-.f64 (*.f64 x j) (*.f64 z k))	overflow	61
↳	(*.f64 y y3)	overflow	37
↳	(*.f64 a b)	overflow	34
↳	(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))	overflow	125
↳	(-.f64 (*.f64 t y2) (*.f64 y y3))	overflow	67
↳	(*.f64 x y)	overflow	36
↳	(*.f64 y k)	overflow	28
↳	(*.f64 x y2)	overflow	36
↳	(*.f64 z t)	overflow	30
↳	(-.f64 (+.f64 (+.f64 (-.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i))) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))) (*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))) (*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))) (*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a))))	overflow	231
↳	(*.f64 y5 i)	overflow	35
↳	(-.f64 (*.f64 x y) (*.f64 z t))	overflow	58
↳	(*.f64 c i)	overflow	38
↳	(*.f64 y1 i)	overflow	30
↳	(*.f64 y0 b)	overflow	27
↳	(-.f64 (*.f64 a b) (*.f64 c i))	overflow	65
↳	(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)))	overflow	131
↳	(*.f64 t j)	overflow	34
↳	(*.f64 x j)	overflow	35
↳	(-.f64 (*.f64 t j) (*.f64 y k))	overflow	58
↳	(*.f64 j y3)	overflow	35
↳	(*.f64 y4 y1)	overflow	25
↳	(*.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y4 y1) (*.f64 y5 y0)))	overflow	115
↳	(-.f64 (*.f64 y4 y1) (*.f64 y5 y0))	overflow	50
↳	(-.f64 (*.f64 k y2) (*.f64 j y3))	overflow	66
↳	(*.f64 y5 y0)	overflow	27
↳	(*.f64 k y2)	overflow	36
+.f64	(+.f64 (-.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i))) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))) (*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a))))	nan-rescue	44	0
↳	(*.f64 z k)	overflow	31
↳	(-.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i))) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i))))	overflow	186
↳	(-.f64 (*.f64 y0 b) (*.f64 y1 i))	overflow	55
↳	(-.f64 (*.f64 x j) (*.f64 z k))	overflow	61
↳	(*.f64 x y)	overflow	36
↳	(*.f64 z t)	overflow	30
↳	(*.f64 x j)	overflow	35
↳	(*.f64 a b)	overflow	34
↳	(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))	overflow	125
↳	(-.f64 (*.f64 x y) (*.f64 z t))	overflow	58
↳	(*.f64 c i)	overflow	38
↳	(*.f64 y1 i)	overflow	30
↳	(*.f64 y0 b)	overflow	27
↳	(-.f64 (*.f64 a b) (*.f64 c i))	overflow	65
↳	(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)))	overflow	131
↳	(*.f64 z y3)	overflow	37
↳	(*.f64 y0 c)	overflow	26
↳	(-.f64 (*.f64 y0 c) (*.f64 y1 a))	overflow	57
↳	(*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))	overflow	120
↳	(*.f64 x y2)	overflow	36
↳	(-.f64 (*.f64 x y2) (*.f64 z y3))	overflow	63
↳	(*.f64 y1 a)	overflow	35
-.f64	(-.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i))) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i))))	nan-rescue	37	0
↳	(*.f64 a b)	overflow	34
↳	(*.f64 x y)	overflow	36
↳	(*.f64 z t)	overflow	30
↳	(-.f64 (*.f64 x y) (*.f64 z t))	overflow	58
↳	(*.f64 c i)	overflow	38
↳	(-.f64 (*.f64 a b) (*.f64 c i))	overflow	65
↳	(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)))	overflow	131
↳	(*.f64 z k)	overflow	31
↳	(-.f64 (*.f64 y0 b) (*.f64 y1 i))	overflow	55
↳	(-.f64 (*.f64 x j) (*.f64 z k))	overflow	61
↳	(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))	overflow	125
↳	(*.f64 y1 i)	overflow	30
↳	(*.f64 y0 b)	overflow	27
↳	(*.f64 x j)	overflow	35
*.f64	(*.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y4 y1) (*.f64 y5 y0)))	n*o	23	0
*.f64	(*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))	n*o	20	0
*.f64	(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)))	n*o	18	0
*.f64	(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))	n*o	18	0
*.f64	(*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a)))	n*o	14	0
*.f64	(*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))	n*o	11	0
-.f64	(-.f64 (*.f64 x y) (*.f64 z t))	nan-rescue	6	0
↳	(*.f64 x y)	overflow	36
↳	(*.f64 z t)	overflow	30
-.f64	(-.f64 (*.f64 a b) (*.f64 c i))	nan-rescue	5	0
↳	(*.f64 a b)	overflow	34
↳	(*.f64 c i)	overflow	38
-.f64	(-.f64 (*.f64 x j) (*.f64 z k))	nan-rescue	4	0
↳	(*.f64 x j)	overflow	35
↳	(*.f64 z k)	overflow	31
-.f64	(-.f64 (*.f64 y0 c) (*.f64 y1 a))	nan-rescue	3	0
↳	(*.f64 y0 c)	overflow	26
↳	(*.f64 y1 a)	overflow	35
-.f64	(-.f64 (*.f64 x y2) (*.f64 z y3))	nan-rescue	2	0
↳	(*.f64 x y2)	overflow	36
↳	(*.f64 z y3)	overflow	37
-.f64	(-.f64 (*.f64 y4 c) (*.f64 y5 a))	nan-rescue	2	0
↳	(*.f64 y4 c)	overflow	35
↳	(*.f64 y5 a)	overflow	23
-.f64	(-.f64 (*.f64 y4 b) (*.f64 y5 i))	nan-rescue	2	0
↳	(*.f64 y4 b)	overflow	33
↳	(*.f64 y5 i)	overflow	35
-.f64	(-.f64 (*.f64 t j) (*.f64 y k))	nan-rescue	2	0
↳	(*.f64 t j)	overflow	34
↳	(*.f64 y k)	overflow	28
-.f64	(-.f64 (*.f64 y4 y1) (*.f64 y5 y0))	nan-rescue	1	0
↳	(*.f64 y4 y1)	overflow	25
↳	(*.f64 y5 y0)	overflow	27
-.f64	(-.f64 (*.f64 a b) (*.f64 c i))	cancellation	1	0
-.f64	(-.f64 (*.f64 t y2) (*.f64 y y3))	nan-rescue	1	0
↳	(*.f64 t y2)	overflow	33
↳	(*.f64 y y3)	overflow	37
-.f64	(-.f64 (*.f64 t y2) (*.f64 y y3))	cancellation	1	0
-.f64	(-.f64 (*.f64 k y2) (*.f64 j y3))	nan-rescue	1	0
↳	(*.f64 k y2)	overflow	36
↳	(*.f64 j y3)	overflow	35
-.f64	(-.f64 (*.f64 y4 c) (*.f64 y5 a))	cancellation	1	0
-.f64	(-.f64 (+.f64 (+.f64 (-.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i))) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))) (*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))) (*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))) (*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a))))	cancellation	1	0
-.f64	(-.f64 (*.f64 y0 b) (*.f64 y1 i))	nan-rescue	1	0
↳	(*.f64 y0 b)	overflow	27
↳	(*.f64 y1 i)	overflow	30
-.f64	(-.f64 (*.f64 x y) (*.f64 z t))	cancellation	1	0

Confusion

	Predicted +	Predicted -
+	184	3
-	13	56

Precision

0.934010152284264

Recall

0.983957219251337

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	184	0	3
-	13	0	56

Precision?

0.934010152284264

Recall?

0.983957219251337

Freqs

test

number	freq
0	59
1	84
2	57
3	38
4	14
5	4

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1	0	0
-	0	0	0

Precision?

1.0

Recall?

1.0

Total Time

40.21875

Average Time

0.1571044921875

Samples

992.0ms

3 072×

0

valid

Compiler

Compiled 21 936 to 3 048 computations (86.1% saved)

Precisions

Click to see histograms. Total time spent on operations: 668.0ms

ival-mult: 480.0ms (71.9% of total)

ival-sub: 151.0ms (22.6% of total)

ival-add: 32.0ms (4.8% of total)

ival-true: 3.0ms (0.4% of total)

adjust: 1.0ms (0.1% of total)

ival-assert: 1.0ms (0.1% of total)