Linear.Matrix:det44 from linear-1.19.1.3

Time bar (total: 34.8s)

start0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

analyze1.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.2%0.8%0%0%0%0
100%99.2%0%0.8%0%0%0%1
Compiler

Compiled 97 to 65 computations (33% saved)

sample93.0ms (0.3%)

Memory
0.1MiB live, 38.4MiB allocated
Samples
70.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 56.0ms
ival-mult: 39.0ms (69.8% of total)
ival-sub: 14.0ms (25.1% of total)
ival-add: 3.0ms (5.4% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

explain34.3s (98.7%)

Memory
52.6MiB live, 19 121.2MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
680-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))))
630-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))))
620-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))))
530-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))))
510-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))))
180-0-(*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))
180-0-(*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a)))
140-0-(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))
130-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)))
111(2.8545512881967942e+259 -2.0018443857436544e-249 1.5079025640892917e-201 -2.7849371149855714e+133 3.6347811913473105e-278 8.397255233181464e+188 -6.863639509660736e-160 -1.1794145295070534e-143 1.939542025184662e+30 9.264283662398681e-23 2.6691263933517913e-263 6.55747795370066e-215 -1.745380549054174e+58 -1.7061946889955655e-70 3.671521495410995e-239 6.485649444669078e-98)0-(*.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y4 y1) (*.f64 y5 y0)))
80-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)))
40-0-(-.f64 (*.f64 t y2) (*.f64 y y3))
30-0-(-.f64 (*.f64 y0 c) (*.f64 y1 a))
20-0-(-.f64 (*.f64 x y2) (*.f64 z y3))
20-0-(-.f64 (*.f64 y4 b) (*.f64 y5 i))
20-0-(-.f64 (*.f64 y0 b) (*.f64 y1 i))
20-0-(-.f64 (*.f64 t j) (*.f64 y k))
10-0-(-.f64 (*.f64 a b) (*.f64 c i))
10-0-(-.f64 (*.f64 x j) (*.f64 z k))
10-0-(-.f64 (*.f64 x y) (*.f64 z t))
10-0-(-.f64 (*.f64 y4 y1) (*.f64 y5 y0))
00-0-(*.f64 k y2)
00-0-(*.f64 c i)
00-0-y3
00-0-(*.f64 t y2)
00-0-(*.f64 x y)
00-0-c
00-0-i
00-0-(*.f64 y1 i)
00-0-(*.f64 y5 a)
00-0-(*.f64 x y2)
00-0-(*.f64 y0 c)
00-0-y4
00-0-(*.f64 y0 b)
00-0-z
00-0-(*.f64 y5 i)
00-0-(*.f64 y4 c)
00-0-b
00-0-(*.f64 y4 b)
00-0-(*.f64 y4 y1)
00-0-(*.f64 y y3)
00-0-k
00-0-a
00-0-t
00-0-(-.f64 (*.f64 k y2) (*.f64 j y3))
00-0-y0
00-0-y1
00-0-y
00-0-(*.f64 y k)
00-0-(*.f64 y5 y0)
00-0-(*.f64 z k)
00-0-(*.f64 z y3)
00-0-(*.f64 y1 a)
00-0-(*.f64 z t)
00-0-(*.f64 j y3)
00-0-j
00-0-(*.f64 t j)
00-0-(*.f64 x j)
00-0-(*.f64 a b)
00-0-(-.f64 (*.f64 y4 c) (*.f64 y5 a))
00-0-y5
00-0-x
00-0-y2
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
+.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-rescue680
↳(*.f64 z y3)overflow34
↳(*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))overflow116
↳(-.f64 (*.f64 y0 c) (*.f64 y1 a))overflow62
↳(+.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))))overflow214
↳(*.f64 y4 c)overflow37
↳(+.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))))overflow204
↳(*.f64 z k)overflow42
↳(*.f64 y4 b)overflow22
↳(-.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))))overflow180
↳(-.f64 (*.f64 y4 c) (*.f64 y5 a))overflow76
↳(*.f64 t y2)overflow34
↳(*.f64 y0 c)overflow36
↳(*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a)))overflow141
↳(*.f64 y5 a)overflow39
↳(*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))overflow139
↳(-.f64 (*.f64 y0 b) (*.f64 y1 i))overflow70
↳(-.f64 (*.f64 y4 b) (*.f64 y5 i))overflow52
↳(-.f64 (*.f64 x y2) (*.f64 z y3))overflow64
↳(*.f64 y1 a)overflow29
↳(-.f64 (*.f64 x j) (*.f64 z k))overflow70
↳(*.f64 y y3)overflow35
↳(*.f64 a b)overflow29
↳(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))overflow137
↳(-.f64 (*.f64 t y2) (*.f64 y y3))overflow62
↳(*.f64 x y)overflow30
↳(*.f64 y k)overflow29
↳(*.f64 x y2)overflow32
↳(*.f64 z t)overflow45
↳(-.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))))overflow228
↳(*.f64 y5 i)overflow33
↳(-.f64 (*.f64 x y) (*.f64 z t))overflow71
↳(*.f64 c i)overflow33
↳(*.f64 y1 i)overflow33
↳(*.f64 y0 b)overflow43
↳(-.f64 (*.f64 a b) (*.f64 c i))overflow58
↳(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)))overflow129
↳(*.f64 t j)overflow29
↳(*.f64 x j)overflow33
↳(-.f64 (*.f64 t j) (*.f64 y k))overflow54
↳(*.f64 j y3)overflow29
↳(*.f64 y4 y1)overflow26
↳(*.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y4 y1) (*.f64 y5 y0)))overflow141
↳(-.f64 (*.f64 y4 y1) (*.f64 y5 y0))overflow66
↳(-.f64 (*.f64 k y2) (*.f64 j y3))overflow63
↳(*.f64 y5 y0)overflow44
↳(*.f64 k y2)overflow36
+.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-rescue630
↳(*.f64 z k)overflow42
↳(-.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))))overflow180
↳(-.f64 (*.f64 y0 b) (*.f64 y1 i))overflow70
↳(-.f64 (*.f64 x j) (*.f64 z k))overflow70
↳(*.f64 x y)overflow30
↳(*.f64 z t)overflow45
↳(*.f64 x j)overflow33
↳(*.f64 a b)overflow29
↳(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))overflow137
↳(-.f64 (*.f64 x y) (*.f64 z t))overflow71
↳(*.f64 c i)overflow33
↳(*.f64 y1 i)overflow33
↳(*.f64 y0 b)overflow43
↳(-.f64 (*.f64 a b) (*.f64 c i))overflow58
↳(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)))overflow129
↳(*.f64 z y3)overflow34
↳(*.f64 y0 c)overflow36
↳(-.f64 (*.f64 y0 c) (*.f64 y1 a))overflow62
↳(*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))overflow139
↳(*.f64 x y2)overflow32
↳(-.f64 (*.f64 x y2) (*.f64 z y3))overflow64
↳(*.f64 y1 a)overflow29
-.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-rescue620
↳(*.f64 z y3)overflow34
↳(*.f64 y0 c)overflow36
↳(*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))overflow116
↳(-.f64 (*.f64 y0 c) (*.f64 y1 a))overflow62
↳(+.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))))overflow214
↳(*.f64 z t)overflow45
↳(+.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))))overflow204
↳(*.f64 z k)overflow42
↳(*.f64 y4 b)overflow22
↳(-.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))))overflow180
↳(*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))overflow139
↳(-.f64 (*.f64 y0 b) (*.f64 y1 i))overflow70
↳(-.f64 (*.f64 y4 b) (*.f64 y5 i))overflow52
↳(-.f64 (*.f64 x y2) (*.f64 z y3))overflow64
↳(*.f64 y1 a)overflow29
↳(-.f64 (*.f64 x j) (*.f64 z k))overflow70
↳(*.f64 a b)overflow29
↳(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))overflow137
↳(*.f64 x y)overflow30
↳(*.f64 y k)overflow29
↳(*.f64 x y2)overflow32
↳(*.f64 y5 i)overflow33
↳(-.f64 (*.f64 x y) (*.f64 z t))overflow71
↳(*.f64 c i)overflow33
↳(*.f64 y1 i)overflow33
↳(*.f64 y0 b)overflow43
↳(-.f64 (*.f64 a b) (*.f64 c i))overflow58
↳(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)))overflow129
↳(*.f64 t j)overflow29
↳(*.f64 x j)overflow33
↳(-.f64 (*.f64 t j) (*.f64 y k))overflow54
↳(*.f64 y4 c)overflow37
↳(*.f64 y y3)overflow35
↳(-.f64 (*.f64 t y2) (*.f64 y y3))overflow62
↳(-.f64 (*.f64 y4 c) (*.f64 y5 a))overflow76
↳(*.f64 t y2)overflow34
↳(*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a)))overflow141
↳(*.f64 y5 a)overflow39
+.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-rescue530
↳(-.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))))overflow180
↳(*.f64 z y3)overflow34
↳(*.f64 y0 c)overflow36
↳(-.f64 (*.f64 y0 c) (*.f64 y1 a))overflow62
↳(*.f64 z t)overflow45
↳(*.f64 x j)overflow33
↳(+.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))))overflow204
↳(*.f64 z k)overflow42
↳(*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))overflow139
↳(-.f64 (*.f64 y0 b) (*.f64 y1 i))overflow70
↳(-.f64 (*.f64 x y2) (*.f64 z y3))overflow64
↳(*.f64 y1 a)overflow29
↳(-.f64 (*.f64 x j) (*.f64 z k))overflow70
↳(*.f64 a b)overflow29
↳(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))overflow137
↳(*.f64 x y)overflow30
↳(*.f64 x y2)overflow32
↳(-.f64 (*.f64 x y) (*.f64 z t))overflow71
↳(*.f64 c i)overflow33
↳(*.f64 y1 i)overflow33
↳(*.f64 y0 b)overflow43
↳(-.f64 (*.f64 a b) (*.f64 c i))overflow58
↳(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)))overflow129
↳(*.f64 y4 b)overflow22
↳(*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))overflow116
↳(-.f64 (*.f64 y4 b) (*.f64 y5 i))overflow52
↳(*.f64 y k)overflow29
↳(*.f64 y5 i)overflow33
↳(*.f64 t j)overflow29
↳(-.f64 (*.f64 t j) (*.f64 y k))overflow54
-.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-rescue510
↳(*.f64 a b)overflow29
↳(*.f64 x y)overflow30
↳(*.f64 z t)overflow45
↳(-.f64 (*.f64 x y) (*.f64 z t))overflow71
↳(*.f64 c i)overflow33
↳(-.f64 (*.f64 a b) (*.f64 c i))overflow58
↳(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)))overflow129
↳(*.f64 z k)overflow42
↳(-.f64 (*.f64 y0 b) (*.f64 y1 i))overflow70
↳(-.f64 (*.f64 x j) (*.f64 z k))overflow70
↳(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))overflow137
↳(*.f64 y1 i)overflow33
↳(*.f64 y0 b)overflow43
↳(*.f64 x j)overflow33
*.f64(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))n*o140
*.f64(*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))n*o120
*.f64(*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a)))n*o110
*.f64(*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))n*o70
*.f64(*.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y4 y1) (*.f64 y5 y0)))n*o70
*.f64(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)))n*o60
-.f64(-.f64 (*.f64 t y2) (*.f64 y y3))nan-rescue40
↳(*.f64 t y2)overflow34
↳(*.f64 y y3)overflow35
-.f64(-.f64 (*.f64 y0 c) (*.f64 y1 a))nan-rescue30
↳(*.f64 y0 c)overflow36
↳(*.f64 y1 a)overflow29
-.f64(-.f64 (*.f64 x y2) (*.f64 z y3))nan-rescue20
↳(*.f64 x y2)overflow32
↳(*.f64 z y3)overflow34
*.f64(*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a)))u*o20
↳(*.f64 t y2)underflow30
↳(*.f64 y y3)underflow29
↳(-.f64 (*.f64 t y2) (*.f64 y y3))underflow4
↳(*.f64 y4 c)overflow37
↳(-.f64 (*.f64 y4 c) (*.f64 y5 a))overflow76
↳(*.f64 y5 a)overflow39
-.f64(-.f64 (*.f64 y0 b) (*.f64 y1 i))nan-rescue20
↳(*.f64 y0 b)overflow43
↳(*.f64 y1 i)overflow33
-.f64(-.f64 (*.f64 y4 b) (*.f64 y5 i))nan-rescue20
↳(*.f64 y4 b)overflow22
↳(*.f64 y5 i)overflow33
-.f64(-.f64 (*.f64 t j) (*.f64 y k))nan-rescue20
↳(*.f64 t j)overflow29
↳(*.f64 y k)overflow29
*.f64(*.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y4 y1) (*.f64 y5 y0)))n*u20
-.f64(-.f64 (*.f64 y4 y1) (*.f64 y5 y0))nan-rescue10
↳(*.f64 y4 y1)overflow26
↳(*.f64 y5 y0)overflow44
*.f64(*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a)))o*u10
↳(*.f64 t y2)overflow34
↳(*.f64 y y3)overflow35
↳(-.f64 (*.f64 t y2) (*.f64 y y3))overflow62
↳(*.f64 y4 c)underflow25
↳(-.f64 (*.f64 y4 c) (*.f64 y5 a))underflow5
↳(*.f64 y5 a)underflow31
-.f64(-.f64 (*.f64 a b) (*.f64 c i))nan-rescue10
↳(*.f64 a b)overflow29
↳(*.f64 c i)overflow33
-.f64(-.f64 (*.f64 x y) (*.f64 z t))nan-rescue10
↳(*.f64 x y)overflow30
↳(*.f64 z t)overflow45
-.f64(-.f64 (*.f64 x j) (*.f64 z k))nan-rescue10
↳(*.f64 x j)overflow33
↳(*.f64 z k)overflow42
*.f64(*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a)))n*u10
Confusion
Predicted +Predicted -
+1833
-664
Precision
0.9682539682539683
Recall
0.9838709677419355
Confusion?
Predicted +Predicted MaybePredicted -
+18303
-6064
Precision?
0.9682539682539683
Recall?
0.9838709677419355
Freqs
test
numberfreq
067
176
258
340
49
55
61
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
85.719482421875
Average Time
0.3348417282104492
Samples
7.7s23 040×0valid
Compiler

Compiled 82 350 to 11 520 computations (86% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.2s
ival-mult: 3.6s (68.9% of total)
ival-sub: 1.3s (25.5% of total)
ival-add: 259.0ms (5% of total)
ival-true: 23.0ms (0.4% of total)
ival-assert: 9.0ms (0.2% of total)

preprocess196.0ms (0.6%)

Memory
5.7MiB live, 72.6MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0227514504
1783314504
06395
011095
121595
250295
3247595
0807190
Stop Event
1×iter limit
1×node limit
1×iter limit
1×node limit
Calls
Call 1
Inputs
(+.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))))
Outputs
(+.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))))
(fma.f64 (fma.f64 (neg.f64 y1) y4 (*.f64 y5 y0)) (fma.f64 (neg.f64 k) y2 (*.f64 y3 j)) (fma.f64 (fma.f64 (neg.f64 c) y4 (*.f64 y5 a)) (fma.f64 (neg.f64 y3) y (*.f64 y2 t)) (fma.f64 (fma.f64 (neg.f64 b) y0 (*.f64 y1 i)) (fma.f64 (neg.f64 k) z (*.f64 j x)) (fma.f64 (fma.f64 (neg.f64 i) c (*.f64 b a)) (fma.f64 (neg.f64 t) z (*.f64 y x)) (fma.f64 (fma.f64 (neg.f64 i) y5 (*.f64 y4 b)) (fma.f64 (neg.f64 k) y (*.f64 j t)) (*.f64 (fma.f64 (neg.f64 a) y1 (*.f64 y0 c)) (fma.f64 (neg.f64 y3) z (*.f64 y2 x))))))))
Compiler

Compiled 95 to 63 computations (33.7% saved)

eval0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Compiler

Compiled 0 to 16 computations (-∞% saved)

prune1.0ms (0%)

Memory
1.0MiB live, 1.0MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
27.5%
(+.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))))
Compiler

Compiled 190 to 126 computations (33.7% saved)

simplify118.0ms (0.3%)

Memory
-9.6MiB live, 21.0MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06395
116095
229095
340195
454795
569695
697395
7158695
8206695
9217895
10229495
11240295
12247795
13253395
14258595
15262595
16265295
17267295
18268595
19269095
20269195
Stop Event
1×saturated
Calls
Call 1
Inputs
(+.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))))
Outputs
(+.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))))
(-.f64 (-.f64 (-.f64 (-.f64 (-.f64 (*.f64 (-.f64 (*.f64 y1 i) (*.f64 y0 b)) (-.f64 (*.f64 j x) (*.f64 k z))) (*.f64 (-.f64 (*.f64 c i) (*.f64 b a)) (-.f64 (*.f64 y x) (*.f64 t z)))) (*.f64 (-.f64 (*.f64 y1 a) (*.f64 y0 c)) (-.f64 (*.f64 y2 x) (*.f64 y3 z)))) (*.f64 (-.f64 (*.f64 y5 i) (*.f64 y4 b)) (-.f64 (*.f64 j t) (*.f64 k y)))) (*.f64 (-.f64 (*.f64 y5 a) (*.f64 c y4)) (-.f64 (*.f64 y3 y) (*.f64 y2 t)))) (*.f64 (-.f64 (*.f64 y0 y5) (*.f64 y4 y1)) (-.f64 (*.f64 y2 k) (*.f64 y3 j))))

soundness0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated
Stop Event
1×fuel
Compiler

Compiled 95 to 63 computations (33.7% saved)

preprocess44.0ms (0.1%)

Memory
2.4MiB live, 34.1MiB allocated
Compiler

Compiled 1 794 to 622 computations (65.3% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...