explain7.4s (94.3%)

Memory

16.3MiB live, 5 311.6MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
62	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))))
57	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))))
54	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))))
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))))
33	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))))
21	0	-	0	-	(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)))
20	0	-	0	-	(*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))
20	0	-	0	-	(*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))
17	0	-	0	-	(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))
15	0	-	1	(-1.96137332560743e+18 8.446499961109813e+66 2.3278464800960686e-71 -3.847126962729276e+302 8.479776688306729e-272 -6.737570307918849e-306 1.0449466331774187e-68 -3.2888867584625274e+233 6.036932739141346e-300 -3.5725952093264287e+62 -6.505641976595333e-139 -1.3178542703266652e+281 7.479622917818626e-133 4.137753552930644e-72 4.2421505857633384e-288 -4.3832295016224826e-44)	(*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a)))
15	0	-	0	-	(*.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y4 y1) (*.f64 y5 y0)))
9	0	-	0	-	(-.f64 (*.f64 y0 b) (*.f64 y1 i))
3	0	-	0	-	(-.f64 (*.f64 x j) (*.f64 z k))
2	0	-	0	-	(-.f64 (*.f64 a b) (*.f64 c i))
2	0	-	0	-	(-.f64 (*.f64 x y2) (*.f64 z y3))
2	0	-	0	-	(-.f64 (*.f64 y4 c) (*.f64 y5 a))
2	0	-	0	-	(-.f64 (*.f64 t j) (*.f64 y k))
2	0	-	0	-	(-.f64 (*.f64 t y2) (*.f64 y y3))
2	0	-	0	-	(-.f64 (*.f64 y4 y1) (*.f64 y5 y0))
1	0	-	0	-	(-.f64 (*.f64 k y2) (*.f64 j y3))
1	0	-	0	-	(-.f64 (*.f64 y4 b) (*.f64 y5 i))
1	0	-	0	-	(-.f64 (*.f64 x y) (*.f64 z t))
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	-	(-.f64 (*.f64 y0 c) (*.f64 y1 a))
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 (*.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	62	0
↳	(*.f64 z y3)	overflow	36
↳	(*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))	overflow	125
↳	(-.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	217
↳	(*.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	195
↳	(*.f64 z k)	overflow	34
↳	(*.f64 y4 b)	overflow	30
↳	(-.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	171
↳	(-.f64 (*.f64 y4 c) (*.f64 y5 a))	overflow	62
↳	(*.f64 t y2)	overflow	37
↳	(*.f64 y0 c)	overflow	37
↳	(*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a)))	overflow	130
↳	(*.f64 y5 a)	overflow	30
↳	(*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))	overflow	128
↳	(-.f64 (*.f64 y0 b) (*.f64 y1 i))	overflow	57
↳	(-.f64 (*.f64 y4 b) (*.f64 y5 i))	overflow	48
↳	(-.f64 (*.f64 x y2) (*.f64 z y3))	overflow	68
↳	(*.f64 y1 a)	overflow	24
↳	(-.f64 (*.f64 x j) (*.f64 z k))	overflow	62
↳	(*.f64 y y3)	overflow	32
↳	(*.f64 a b)	overflow	41
↳	(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))	overflow	119
↳	(-.f64 (*.f64 t y2) (*.f64 y y3))	overflow	62
↳	(*.f64 x y)	overflow	22
↳	(*.f64 y k)	overflow	27
↳	(*.f64 x y2)	overflow	36
↳	(*.f64 z t)	overflow	33
↳	(-.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	227
↳	(*.f64 y5 i)	overflow	21
↳	(-.f64 (*.f64 x y) (*.f64 z t))	overflow	52
↳	(*.f64 c i)	overflow	37
↳	(*.f64 y1 i)	overflow	28
↳	(*.f64 y0 b)	overflow	39
↳	(-.f64 (*.f64 a b) (*.f64 c i))	overflow	70
↳	(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)))	overflow	125
↳	(*.f64 t j)	overflow	43
↳	(*.f64 x j)	overflow	32
↳	(-.f64 (*.f64 t j) (*.f64 y k))	overflow	65
↳	(*.f64 j y3)	overflow	38
↳	(*.f64 y4 y1)	overflow	38
↳	(*.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y4 y1) (*.f64 y5 y0)))	overflow	146
↳	(-.f64 (*.f64 y4 y1) (*.f64 y5 y0))	overflow	64
↳	(-.f64 (*.f64 k y2) (*.f64 j y3))	overflow	73
↳	(*.f64 y5 y0)	overflow	32
↳	(*.f64 k y2)	overflow	37
+.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	57	0
↳	(*.f64 z k)	overflow	34
↳	(-.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	171
↳	(-.f64 (*.f64 y0 b) (*.f64 y1 i))	overflow	57
↳	(-.f64 (*.f64 x j) (*.f64 z k))	overflow	62
↳	(*.f64 x y)	overflow	22
↳	(*.f64 z t)	overflow	33
↳	(*.f64 x j)	overflow	32
↳	(*.f64 a b)	overflow	41
↳	(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))	overflow	119
↳	(-.f64 (*.f64 x y) (*.f64 z t))	overflow	52
↳	(*.f64 c i)	overflow	37
↳	(*.f64 y1 i)	overflow	28
↳	(*.f64 y0 b)	overflow	39
↳	(-.f64 (*.f64 a b) (*.f64 c i))	overflow	70
↳	(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)))	overflow	125
↳	(*.f64 z y3)	overflow	36
↳	(*.f64 y0 c)	overflow	37
↳	(-.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	128
↳	(*.f64 x y2)	overflow	36
↳	(-.f64 (*.f64 x y2) (*.f64 z y3))	overflow	68
↳	(*.f64 y1 a)	overflow	24
-.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	54	0
↳	(*.f64 z y3)	overflow	36
↳	(*.f64 y0 c)	overflow	37
↳	(*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))	overflow	125
↳	(-.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	217
↳	(*.f64 z t)	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	195
↳	(*.f64 z k)	overflow	34
↳	(*.f64 y4 b)	overflow	30
↳	(-.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	171
↳	(*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))	overflow	128
↳	(-.f64 (*.f64 y0 b) (*.f64 y1 i))	overflow	57
↳	(-.f64 (*.f64 y4 b) (*.f64 y5 i))	overflow	48
↳	(-.f64 (*.f64 x y2) (*.f64 z y3))	overflow	68
↳	(*.f64 y1 a)	overflow	24
↳	(-.f64 (*.f64 x j) (*.f64 z k))	overflow	62
↳	(*.f64 a b)	overflow	41
↳	(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))	overflow	119
↳	(*.f64 x y)	overflow	22
↳	(*.f64 y k)	overflow	27
↳	(*.f64 x y2)	overflow	36
↳	(*.f64 y5 i)	overflow	21
↳	(-.f64 (*.f64 x y) (*.f64 z t))	overflow	52
↳	(*.f64 c i)	overflow	37
↳	(*.f64 y1 i)	overflow	28
↳	(*.f64 y0 b)	overflow	39
↳	(-.f64 (*.f64 a b) (*.f64 c i))	overflow	70
↳	(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)))	overflow	125
↳	(*.f64 t j)	overflow	43
↳	(*.f64 x j)	overflow	32
↳	(-.f64 (*.f64 t j) (*.f64 y k))	overflow	65
↳	(*.f64 y4 c)	overflow	35
↳	(*.f64 y y3)	overflow	32
↳	(-.f64 (*.f64 t y2) (*.f64 y y3))	overflow	62
↳	(-.f64 (*.f64 y4 c) (*.f64 y5 a))	overflow	62
↳	(*.f64 t y2)	overflow	37
↳	(*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a)))	overflow	130
↳	(*.f64 y5 a)	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))))	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	171
↳	(*.f64 z y3)	overflow	36
↳	(*.f64 y0 c)	overflow	37
↳	(-.f64 (*.f64 y0 c) (*.f64 y1 a))	overflow	57
↳	(*.f64 z t)	overflow	33
↳	(*.f64 x j)	overflow	32
↳	(+.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	195
↳	(*.f64 z k)	overflow	34
↳	(*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))	overflow	128
↳	(-.f64 (*.f64 y0 b) (*.f64 y1 i))	overflow	57
↳	(-.f64 (*.f64 x y2) (*.f64 z y3))	overflow	68
↳	(*.f64 y1 a)	overflow	24
↳	(-.f64 (*.f64 x j) (*.f64 z k))	overflow	62
↳	(*.f64 a b)	overflow	41
↳	(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))	overflow	119
↳	(*.f64 x y)	overflow	22
↳	(*.f64 x y2)	overflow	36
↳	(-.f64 (*.f64 x y) (*.f64 z t))	overflow	52
↳	(*.f64 c i)	overflow	37
↳	(*.f64 y1 i)	overflow	28
↳	(*.f64 y0 b)	overflow	39
↳	(-.f64 (*.f64 a b) (*.f64 c i))	overflow	70
↳	(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)))	overflow	125
↳	(*.f64 y4 b)	overflow	30
↳	(*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))	overflow	125
↳	(-.f64 (*.f64 y4 b) (*.f64 y5 i))	overflow	48
↳	(*.f64 y k)	overflow	27
↳	(*.f64 y5 i)	overflow	21
↳	(*.f64 t j)	overflow	43
↳	(-.f64 (*.f64 t j) (*.f64 y k))	overflow	65
-.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	33	0
↳	(*.f64 a b)	overflow	41
↳	(*.f64 x y)	overflow	22
↳	(*.f64 z t)	overflow	33
↳	(-.f64 (*.f64 x y) (*.f64 z t))	overflow	52
↳	(*.f64 c i)	overflow	37
↳	(-.f64 (*.f64 a b) (*.f64 c i))	overflow	70
↳	(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)))	overflow	125
↳	(*.f64 z k)	overflow	34
↳	(-.f64 (*.f64 y0 b) (*.f64 y1 i))	overflow	57
↳	(-.f64 (*.f64 x j) (*.f64 z k))	overflow	62
↳	(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))	overflow	119
↳	(*.f64 y1 i)	overflow	28
↳	(*.f64 y0 b)	overflow	39
↳	(*.f64 x j)	overflow	32
*.f64	(*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))	n*o	19	0
*.f64	(*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))	n*o	16	0
*.f64	(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)))	n*o	15	0
*.f64	(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))	n*o	12	0
*.f64	(*.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y4 y1) (*.f64 y5 y0)))	n*o	12	0
-.f64	(-.f64 (*.f64 y0 b) (*.f64 y1 i))	nan-rescue	9	0
↳	(*.f64 y0 b)	overflow	39
↳	(*.f64 y1 i)	overflow	28
*.f64	(*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a)))	n*o	7	0
-.f64	(-.f64 (*.f64 x j) (*.f64 z k))	nan-rescue	3	0
↳	(*.f64 x j)	overflow	32
↳	(*.f64 z k)	overflow	34
-.f64	(-.f64 (*.f64 x y2) (*.f64 z y3))	nan-rescue	2	0
↳	(*.f64 x y2)	overflow	36
↳	(*.f64 z y3)	overflow	36
-.f64	(-.f64 (*.f64 y4 y1) (*.f64 y5 y0))	nan-rescue	2	0
↳	(*.f64 y4 y1)	overflow	38
↳	(*.f64 y5 y0)	overflow	32
-.f64	(-.f64 (*.f64 t y2) (*.f64 y y3))	nan-rescue	2	0
↳	(*.f64 t y2)	overflow	37
↳	(*.f64 y y3)	overflow	32
-.f64	(-.f64 (*.f64 y4 c) (*.f64 y5 a))	nan-rescue	2	0
↳	(*.f64 y4 c)	overflow	35
↳	(*.f64 y5 a)	overflow	30
-.f64	(-.f64 (*.f64 a b) (*.f64 c i))	nan-rescue	2	0
↳	(*.f64 a b)	overflow	41
↳	(*.f64 c i)	overflow	37
-.f64	(-.f64 (*.f64 t j) (*.f64 y k))	nan-rescue	2	0
↳	(*.f64 t j)	overflow	43
↳	(*.f64 y k)	overflow	27
-.f64	(-.f64 (*.f64 x y) (*.f64 z t))	nan-rescue	1	0
↳	(*.f64 x y)	overflow	22
↳	(*.f64 z t)	overflow	33
-.f64	(-.f64 (*.f64 k y2) (*.f64 j y3))	nan-rescue	1	0
↳	(*.f64 k y2)	overflow	37
↳	(*.f64 j y3)	overflow	38
-.f64	(-.f64 (*.f64 y4 b) (*.f64 y5 i))	nan-rescue	1	0
↳	(*.f64 y4 b)	overflow	30
↳	(*.f64 y5 i)	overflow	21

Confusion

	Predicted +	Predicted -
+	179	2
-	10	65

Precision

0.9470899470899471

Recall

0.988950276243094

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	179	0	2
-	10	0	65

Precision?

0.9470899470899471

Recall?

0.988950276243094

2:

4:

8:

16:

32:

64:

128:

256:

512:

1024:

2048:

Freqs

test

number	freq
0	67
1	78
2	65
3	28
4	15
5	2
6	1

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Total Time

39.94287109375

Average Time

0.15602684020996094

Samples

989.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: 660.0ms

ival-mult: 473.0ms (71.7% of total)

ival-sub: 150.0ms (22.7% of total)

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

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

adjust: 1.0ms (0.2% of total)

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