explain7.4s (94.2%)

Memory

16.3MiB live, 5 264.3MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
68	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))))
63	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))))
62	0	-	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))))
53	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 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))))
18	0	-	0	-	(*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))
18	0	-	0	-	(*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a)))
14	0	-	0	-	(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))
13	0	-	2	(-5.104193898877222e+283 -1.7437703754445179e+37 1.028834728783766e-223 6.061494020525607e+245 1.3812994713769594e+232 2.5828327399947433e-304 7.440441738709125e-221 1.5930797034557583e-261 -9.583485436116544e-244 1.3232004638110951e+135 1.5107260267435155e-298 -1.6594407382964005e+277 2.1550813795226897e+79 1.8029261623170632e-118 1.6166000581040566e-255 -2.661186825953081e-56)	(*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))
11	0	-	0	-	(*.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y4 y1) (*.f64 y5 y0)))
8	0	-	1	(-2.1554657939693188e+32 -2.415951316845475e+213 4.940518035584605e+157 1.3409852189203781e-306 3.4198595692535724e-105 -1.8231098661973566e-215 -1.0973994785898573e-247 -2.403190591215389e-216 -4.0037198829523844e-29 -3.13877955466807e-254 4.01637039685242e+149 -8.257017864364529e-102 1.2000889222201673e+130 -6.660940945499286e+193 2.741035129612615e+220 1.0528507956223676e-218)	(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)))
4	0	-	0	-	(-.f64 (*.f64 t y2) (*.f64 y y3))
3	0	-	0	-	(-.f64 (*.f64 y0 c) (*.f64 y1 a))
2	0	-	0	-	(-.f64 (*.f64 x y2) (*.f64 z y3))
2	0	-	0	-	(-.f64 (*.f64 y4 b) (*.f64 y5 i))
2	0	-	0	-	(-.f64 (*.f64 y0 b) (*.f64 y1 i))
2	0	-	0	-	(-.f64 (*.f64 t j) (*.f64 y k))
1	0	-	0	-	(-.f64 (*.f64 a b) (*.f64 c i))
1	0	-	0	-	(-.f64 (*.f64 x j) (*.f64 z k))
1	0	-	0	-	(-.f64 (*.f64 x y) (*.f64 z t))
1	0	-	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	-	(-.f64 (*.f64 k y2) (*.f64 j y3))
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	-	(-.f64 (*.f64 y4 c) (*.f64 y5 a))
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 (*.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	68	0
↳	(*.f64 z y3)	overflow	34
↳	(*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))	overflow	116
↳	(-.f64 (*.f64 y0 c) (*.f64 y1 a))	overflow	62
↳	(+.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	214
↳	(*.f64 y4 c)	overflow	37
↳	(+.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	204
↳	(*.f64 z k)	overflow	42
↳	(*.f64 y4 b)	overflow	22
↳	(-.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	180
↳	(-.f64 (*.f64 y4 c) (*.f64 y5 a))	overflow	76
↳	(*.f64 t y2)	overflow	34
↳	(*.f64 y0 c)	overflow	36
↳	(*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a)))	overflow	141
↳	(*.f64 y5 a)	overflow	39
↳	(*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))	overflow	139
↳	(-.f64 (*.f64 y0 b) (*.f64 y1 i))	overflow	70
↳	(-.f64 (*.f64 y4 b) (*.f64 y5 i))	overflow	52
↳	(-.f64 (*.f64 x y2) (*.f64 z y3))	overflow	64
↳	(*.f64 y1 a)	overflow	29
↳	(-.f64 (*.f64 x j) (*.f64 z k))	overflow	70
↳	(*.f64 y y3)	overflow	35
↳	(*.f64 a b)	overflow	29
↳	(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))	overflow	137
↳	(-.f64 (*.f64 t y2) (*.f64 y y3))	overflow	62
↳	(*.f64 x y)	overflow	30
↳	(*.f64 y k)	overflow	29
↳	(*.f64 x y2)	overflow	32
↳	(*.f64 z t)	overflow	45
↳	(-.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	228
↳	(*.f64 y5 i)	overflow	33
↳	(-.f64 (*.f64 x y) (*.f64 z t))	overflow	71
↳	(*.f64 c i)	overflow	33
↳	(*.f64 y1 i)	overflow	33
↳	(*.f64 y0 b)	overflow	43
↳	(-.f64 (*.f64 a b) (*.f64 c i))	overflow	58
↳	(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)))	overflow	129
↳	(*.f64 t j)	overflow	29
↳	(*.f64 x j)	overflow	33
↳	(-.f64 (*.f64 t j) (*.f64 y k))	overflow	54
↳	(*.f64 j y3)	overflow	29
↳	(*.f64 y4 y1)	overflow	26
↳	(*.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y4 y1) (*.f64 y5 y0)))	overflow	141
↳	(-.f64 (*.f64 y4 y1) (*.f64 y5 y0))	overflow	66
↳	(-.f64 (*.f64 k y2) (*.f64 j y3))	overflow	63
↳	(*.f64 y5 y0)	overflow	44
↳	(*.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	63	0
↳	(*.f64 z k)	overflow	42
↳	(-.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	180
↳	(-.f64 (*.f64 y0 b) (*.f64 y1 i))	overflow	70
↳	(-.f64 (*.f64 x j) (*.f64 z k))	overflow	70
↳	(*.f64 x y)	overflow	30
↳	(*.f64 z t)	overflow	45
↳	(*.f64 x j)	overflow	33
↳	(*.f64 a b)	overflow	29
↳	(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))	overflow	137
↳	(-.f64 (*.f64 x y) (*.f64 z t))	overflow	71
↳	(*.f64 c i)	overflow	33
↳	(*.f64 y1 i)	overflow	33
↳	(*.f64 y0 b)	overflow	43
↳	(-.f64 (*.f64 a b) (*.f64 c i))	overflow	58
↳	(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)))	overflow	129
↳	(*.f64 z y3)	overflow	34
↳	(*.f64 y0 c)	overflow	36
↳	(-.f64 (*.f64 y0 c) (*.f64 y1 a))	overflow	62
↳	(*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))	overflow	139
↳	(*.f64 x y2)	overflow	32
↳	(-.f64 (*.f64 x y2) (*.f64 z y3))	overflow	64
↳	(*.f64 y1 a)	overflow	29
-.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	62	0
↳	(*.f64 z y3)	overflow	34
↳	(*.f64 y0 c)	overflow	36
↳	(*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))	overflow	116
↳	(-.f64 (*.f64 y0 c) (*.f64 y1 a))	overflow	62
↳	(+.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	214
↳	(*.f64 z t)	overflow	45
↳	(+.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	204
↳	(*.f64 z k)	overflow	42
↳	(*.f64 y4 b)	overflow	22
↳	(-.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	180
↳	(*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))	overflow	139
↳	(-.f64 (*.f64 y0 b) (*.f64 y1 i))	overflow	70
↳	(-.f64 (*.f64 y4 b) (*.f64 y5 i))	overflow	52
↳	(-.f64 (*.f64 x y2) (*.f64 z y3))	overflow	64
↳	(*.f64 y1 a)	overflow	29
↳	(-.f64 (*.f64 x j) (*.f64 z k))	overflow	70
↳	(*.f64 a b)	overflow	29
↳	(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))	overflow	137
↳	(*.f64 x y)	overflow	30
↳	(*.f64 y k)	overflow	29
↳	(*.f64 x y2)	overflow	32
↳	(*.f64 y5 i)	overflow	33
↳	(-.f64 (*.f64 x y) (*.f64 z t))	overflow	71
↳	(*.f64 c i)	overflow	33
↳	(*.f64 y1 i)	overflow	33
↳	(*.f64 y0 b)	overflow	43
↳	(-.f64 (*.f64 a b) (*.f64 c i))	overflow	58
↳	(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)))	overflow	129
↳	(*.f64 t j)	overflow	29
↳	(*.f64 x j)	overflow	33
↳	(-.f64 (*.f64 t j) (*.f64 y k))	overflow	54
↳	(*.f64 y4 c)	overflow	37
↳	(*.f64 y y3)	overflow	35
↳	(-.f64 (*.f64 t y2) (*.f64 y y3))	overflow	62
↳	(-.f64 (*.f64 y4 c) (*.f64 y5 a))	overflow	76
↳	(*.f64 t y2)	overflow	34
↳	(*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a)))	overflow	141
↳	(*.f64 y5 a)	overflow	39
+.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	53	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	180
↳	(*.f64 z y3)	overflow	34
↳	(*.f64 y0 c)	overflow	36
↳	(-.f64 (*.f64 y0 c) (*.f64 y1 a))	overflow	62
↳	(*.f64 z t)	overflow	45
↳	(*.f64 x j)	overflow	33
↳	(+.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	204
↳	(*.f64 z k)	overflow	42
↳	(*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))	overflow	139
↳	(-.f64 (*.f64 y0 b) (*.f64 y1 i))	overflow	70
↳	(-.f64 (*.f64 x y2) (*.f64 z y3))	overflow	64
↳	(*.f64 y1 a)	overflow	29
↳	(-.f64 (*.f64 x j) (*.f64 z k))	overflow	70
↳	(*.f64 a b)	overflow	29
↳	(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))	overflow	137
↳	(*.f64 x y)	overflow	30
↳	(*.f64 x y2)	overflow	32
↳	(-.f64 (*.f64 x y) (*.f64 z t))	overflow	71
↳	(*.f64 c i)	overflow	33
↳	(*.f64 y1 i)	overflow	33
↳	(*.f64 y0 b)	overflow	43
↳	(-.f64 (*.f64 a b) (*.f64 c i))	overflow	58
↳	(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)))	overflow	129
↳	(*.f64 y4 b)	overflow	22
↳	(*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))	overflow	116
↳	(-.f64 (*.f64 y4 b) (*.f64 y5 i))	overflow	52
↳	(*.f64 y k)	overflow	29
↳	(*.f64 y5 i)	overflow	33
↳	(*.f64 t j)	overflow	29
↳	(-.f64 (*.f64 t j) (*.f64 y k))	overflow	54
-.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	51	0
↳	(*.f64 a b)	overflow	29
↳	(*.f64 x y)	overflow	30
↳	(*.f64 z t)	overflow	45
↳	(-.f64 (*.f64 x y) (*.f64 z t))	overflow	71
↳	(*.f64 c i)	overflow	33
↳	(-.f64 (*.f64 a b) (*.f64 c i))	overflow	58
↳	(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)))	overflow	129
↳	(*.f64 z k)	overflow	42
↳	(-.f64 (*.f64 y0 b) (*.f64 y1 i))	overflow	70
↳	(-.f64 (*.f64 x j) (*.f64 z k))	overflow	70
↳	(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))	overflow	137
↳	(*.f64 y1 i)	overflow	33
↳	(*.f64 y0 b)	overflow	43
↳	(*.f64 x j)	overflow	33
*.f64	(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))	n*o	14	0
*.f64	(*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))	n*o	12	0
*.f64	(*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a)))	n*o	11	0
*.f64	(*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))	n*o	7	0
*.f64	(*.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y4 y1) (*.f64 y5 y0)))	n*o	7	0
*.f64	(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)))	n*o	6	0
-.f64	(-.f64 (*.f64 t y2) (*.f64 y y3))	nan-rescue	4	0
↳	(*.f64 t y2)	overflow	34
↳	(*.f64 y y3)	overflow	35
-.f64	(-.f64 (*.f64 y0 c) (*.f64 y1 a))	nan-rescue	3	0
↳	(*.f64 y0 c)	overflow	36
↳	(*.f64 y1 a)	overflow	29
-.f64	(-.f64 (*.f64 x y2) (*.f64 z y3))	nan-rescue	2	0
↳	(*.f64 x y2)	overflow	32
↳	(*.f64 z y3)	overflow	34
-.f64	(-.f64 (*.f64 y0 b) (*.f64 y1 i))	nan-rescue	2	0
↳	(*.f64 y0 b)	overflow	43
↳	(*.f64 y1 i)	overflow	33
-.f64	(-.f64 (*.f64 y4 b) (*.f64 y5 i))	nan-rescue	2	0
↳	(*.f64 y4 b)	overflow	22
↳	(*.f64 y5 i)	overflow	33
-.f64	(-.f64 (*.f64 t j) (*.f64 y k))	nan-rescue	2	0
↳	(*.f64 t j)	overflow	29
↳	(*.f64 y k)	overflow	29
-.f64	(-.f64 (*.f64 y4 y1) (*.f64 y5 y0))	nan-rescue	1	0
↳	(*.f64 y4 y1)	overflow	26
↳	(*.f64 y5 y0)	overflow	44
-.f64	(-.f64 (*.f64 a b) (*.f64 c i))	nan-rescue	1	0
↳	(*.f64 a b)	overflow	29
↳	(*.f64 c i)	overflow	33
-.f64	(-.f64 (*.f64 x y) (*.f64 z t))	nan-rescue	1	0
↳	(*.f64 x y)	overflow	30
↳	(*.f64 z t)	overflow	45
-.f64	(-.f64 (*.f64 x j) (*.f64 z k))	nan-rescue	1	0
↳	(*.f64 x j)	overflow	33
↳	(*.f64 z k)	overflow	42

Confusion

	Predicted +	Predicted -
+	182	4
-	5	65

Precision

0.9732620320855615

Recall

0.978494623655914

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	182	0	4
-	5	0	65

Precision?

0.9732620320855615

Recall?

0.978494623655914

2:

4:

8:

16:

32:

64:

128:

256:

512:

1024:

2048:

Freqs

test

number	freq
0	69
1	76
2	57
3	39
4	9
5	6

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Total Time

39.347900390625

Average Time

0.1537027359008789

Samples

994.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: 663.0ms

ival-mult: 454.0ms (68.5% of total)

ival-sub: 172.0ms (26% of total)

ival-add: 33.0ms (5% of total)

ival-true: 2.0ms (0.3% of total)

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