Linear.Matrix:det44 from linear-1.19.1.3

Time bar (total: 7.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)

sample92.0ms (1.2%)

Memory
6.8MiB live, 38.4MiB allocated
Samples
70.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 55.0ms
ival-mult: 38.0ms (69.2% of total)
ival-sub: 14.0ms (25.5% of total)
ival-add: 3.0ms (5.5% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

explain7.3s (94.3%)

Memory
16.3MiB live, 5 294.5MiB 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))))
570-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))))
550-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))))
480-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))))
470-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))))
260-0-(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)))
210-1(6.583869103561207e+193 5.077474058872703e-273 -3.4636397250010232e-192 6.028547341828933e-249 1.1808034510607369e+39 -4.065858211984444e-34 1.6179862064446733e-252 -1.67848957524203e+88 -0.0004385538432840904 -1.580842371959846e-87 4.800275946161276e-76 2.444761632514798e-37 -1.6121453917136785e-75 2.4165732600174317e-93 -9.488474094668604e-122 -8.50730535925942e+234)(*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a)))
210-1(-3.77242612408294e+210 5.900211258792932e-303 -2.1018958369107058e+194 1.8142715224759572e-221 -1.0230987951881335e+121 264316478088789380.0 -1.2691269181893434e+154 8.390101313704758e+171 -1.219389322266171e-129 2.7000142226082343e-21 2.4107417633341975e+21 7.651172058925037e-31 4.0239500338003046e-178 -2.4956931973101466e-269 -4.788312985912885e-224 -2.8207858526127274e-36)(*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))
200-0-(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))
170-2(1.0056873862971772e-137 2.230401892313737e-96 -3.8184192271478143e-137 -1.715499833618716e-249 -86824375.88498835 4.3368438917790694e-89 4.623288355368559e+160 -6.727318967288907e-112 -5.119373699275165e+154 1.4506209114407006e+214 -1.7361037482697643e+30 7.69435317478736e-234 -1.0707049980183198e-274 -4.238639196967863e-181 6.81170657548276e-124 6.563820540115868e-145)(*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))
160-1(-3.133278299832478e-236 -5.429835917157573e-96 7.302411883702488e-66 -8.496927777030416e+202 -3.9769903753447476e-255 -3.322963251141609e+156 -4.236441082220794e+285 1.654423521970744e+199 8.19828333911193e-238 8.014496972868869e-230 -4.763756413469704e-12 3.538829487336019e+246 -9.913047305024401e-161 1.1224711596313579e-76 -2.4198369597397836e-189 -3.9412154462174125e-28)(*.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y4 y1) (*.f64 y5 y0)))
70-0-(-.f64 (*.f64 t j) (*.f64 y k))
40-0-(-.f64 (*.f64 y4 y1) (*.f64 y5 y0))
30-0-(-.f64 (*.f64 x j) (*.f64 z k))
30-0-(-.f64 (*.f64 y4 b) (*.f64 y5 i))
30-0-(-.f64 (*.f64 x y) (*.f64 z t))
20-0-(-.f64 (*.f64 a b) (*.f64 c i))
20-0-(-.f64 (*.f64 y0 b) (*.f64 y1 i))
20-0-(-.f64 (*.f64 y4 c) (*.f64 y5 a))
20-0-(-.f64 (*.f64 t y2) (*.f64 y y3))
10-0-(-.f64 (*.f64 x y2) (*.f64 z y3))
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-(-.f64 (*.f64 y0 c) (*.f64 y1 a))
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-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)overflow39
↳(*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))overflow117
↳(-.f64 (*.f64 y0 c) (*.f64 y1 a))overflow64
↳(+.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))))overflow202
↳(*.f64 y4 c)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))))overflow185
↳(*.f64 z k)overflow37
↳(*.f64 y4 b)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))))overflow168
↳(-.f64 (*.f64 y4 c) (*.f64 y5 a))overflow63
↳(*.f64 t y2)overflow24
↳(*.f64 y0 c)overflow30
↳(*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a)))overflow119
↳(*.f64 y5 a)overflow35
↳(*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))overflow125
↳(-.f64 (*.f64 y0 b) (*.f64 y1 i))overflow67
↳(-.f64 (*.f64 y4 b) (*.f64 y5 i))overflow75
↳(-.f64 (*.f64 x y2) (*.f64 z y3))overflow61
↳(*.f64 y1 a)overflow39
↳(-.f64 (*.f64 x j) (*.f64 z k))overflow60
↳(*.f64 y y3)overflow38
↳(*.f64 a b)overflow38
↳(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))overflow124
↳(-.f64 (*.f64 t y2) (*.f64 y y3))overflow58
↳(*.f64 x y)overflow40
↳(*.f64 y k)overflow33
↳(*.f64 x y2)overflow25
↳(*.f64 z t)overflow29
↳(-.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))))overflow214
↳(*.f64 y5 i)overflow40
↳(-.f64 (*.f64 x y) (*.f64 z t))overflow64
↳(*.f64 c i)overflow32
↳(*.f64 y1 i)overflow34
↳(*.f64 y0 b)overflow36
↳(-.f64 (*.f64 a b) (*.f64 c i))overflow66
↳(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)))overflow125
↳(*.f64 t j)overflow26
↳(*.f64 x j)overflow30
↳(-.f64 (*.f64 t j) (*.f64 y k))overflow50
↳(*.f64 j y3)overflow36
↳(*.f64 y4 y1)overflow38
↳(*.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y4 y1) (*.f64 y5 y0)))overflow134
↳(-.f64 (*.f64 y4 y1) (*.f64 y5 y0))overflow70
↳(-.f64 (*.f64 k y2) (*.f64 j y3))overflow64
↳(*.f64 y5 y0)overflow39
↳(*.f64 k y2)overflow29
+.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-rescue570
↳(*.f64 z k)overflow37
↳(-.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))))overflow168
↳(-.f64 (*.f64 y0 b) (*.f64 y1 i))overflow67
↳(-.f64 (*.f64 x j) (*.f64 z k))overflow60
↳(*.f64 x y)overflow40
↳(*.f64 z t)overflow29
↳(*.f64 x j)overflow30
↳(*.f64 a b)overflow38
↳(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))overflow124
↳(-.f64 (*.f64 x y) (*.f64 z t))overflow64
↳(*.f64 c i)overflow32
↳(*.f64 y1 i)overflow34
↳(*.f64 y0 b)overflow36
↳(-.f64 (*.f64 a b) (*.f64 c i))overflow66
↳(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)))overflow125
↳(*.f64 z y3)overflow39
↳(*.f64 y0 c)overflow30
↳(-.f64 (*.f64 y0 c) (*.f64 y1 a))overflow64
↳(*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))overflow125
↳(*.f64 x y2)overflow25
↳(-.f64 (*.f64 x y2) (*.f64 z y3))overflow61
↳(*.f64 y1 a)overflow39
-.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-rescue550
↳(*.f64 z y3)overflow39
↳(*.f64 y0 c)overflow30
↳(*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))overflow117
↳(-.f64 (*.f64 y0 c) (*.f64 y1 a))overflow64
↳(+.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))))overflow202
↳(*.f64 z t)overflow29
↳(+.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))))overflow185
↳(*.f64 z k)overflow37
↳(*.f64 y4 b)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))))overflow168
↳(*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))overflow125
↳(-.f64 (*.f64 y0 b) (*.f64 y1 i))overflow67
↳(-.f64 (*.f64 y4 b) (*.f64 y5 i))overflow75
↳(-.f64 (*.f64 x y2) (*.f64 z y3))overflow61
↳(*.f64 y1 a)overflow39
↳(-.f64 (*.f64 x j) (*.f64 z k))overflow60
↳(*.f64 a b)overflow38
↳(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))overflow124
↳(*.f64 x y)overflow40
↳(*.f64 y k)overflow33
↳(*.f64 x y2)overflow25
↳(*.f64 y5 i)overflow40
↳(-.f64 (*.f64 x y) (*.f64 z t))overflow64
↳(*.f64 c i)overflow32
↳(*.f64 y1 i)overflow34
↳(*.f64 y0 b)overflow36
↳(-.f64 (*.f64 a b) (*.f64 c i))overflow66
↳(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)))overflow125
↳(*.f64 t j)overflow26
↳(*.f64 x j)overflow30
↳(-.f64 (*.f64 t j) (*.f64 y k))overflow50
↳(*.f64 y4 c)overflow33
↳(*.f64 y y3)overflow38
↳(-.f64 (*.f64 t y2) (*.f64 y y3))overflow58
↳(-.f64 (*.f64 y4 c) (*.f64 y5 a))overflow63
↳(*.f64 t y2)overflow24
↳(*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a)))overflow119
↳(*.f64 y5 a)overflow35
+.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-rescue480
↳(-.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))))overflow168
↳(*.f64 z y3)overflow39
↳(*.f64 y0 c)overflow30
↳(-.f64 (*.f64 y0 c) (*.f64 y1 a))overflow64
↳(*.f64 z t)overflow29
↳(*.f64 x j)overflow30
↳(+.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))))overflow185
↳(*.f64 z k)overflow37
↳(*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))overflow125
↳(-.f64 (*.f64 y0 b) (*.f64 y1 i))overflow67
↳(-.f64 (*.f64 x y2) (*.f64 z y3))overflow61
↳(*.f64 y1 a)overflow39
↳(-.f64 (*.f64 x j) (*.f64 z k))overflow60
↳(*.f64 a b)overflow38
↳(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))overflow124
↳(*.f64 x y)overflow40
↳(*.f64 x y2)overflow25
↳(-.f64 (*.f64 x y) (*.f64 z t))overflow64
↳(*.f64 c i)overflow32
↳(*.f64 y1 i)overflow34
↳(*.f64 y0 b)overflow36
↳(-.f64 (*.f64 a b) (*.f64 c i))overflow66
↳(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)))overflow125
↳(*.f64 y4 b)overflow42
↳(*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))overflow117
↳(-.f64 (*.f64 y4 b) (*.f64 y5 i))overflow75
↳(*.f64 y k)overflow33
↳(*.f64 y5 i)overflow40
↳(*.f64 t j)overflow26
↳(-.f64 (*.f64 t j) (*.f64 y k))overflow50
-.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-rescue470
↳(*.f64 a b)overflow38
↳(*.f64 x y)overflow40
↳(*.f64 z t)overflow29
↳(-.f64 (*.f64 x y) (*.f64 z t))overflow64
↳(*.f64 c i)overflow32
↳(-.f64 (*.f64 a b) (*.f64 c i))overflow66
↳(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)))overflow125
↳(*.f64 z k)overflow37
↳(-.f64 (*.f64 y0 b) (*.f64 y1 i))overflow67
↳(-.f64 (*.f64 x j) (*.f64 z k))overflow60
↳(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))overflow124
↳(*.f64 y1 i)overflow34
↳(*.f64 y0 b)overflow36
↳(*.f64 x j)overflow30
*.f64(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i)))n*o180
*.f64(*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))n*o170
*.f64(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))n*o160
*.f64(*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a)))n*o130
*.f64(*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))n*o120
*.f64(*.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y4 y1) (*.f64 y5 y0)))n*o100
-.f64(-.f64 (*.f64 t j) (*.f64 y k))nan-rescue70
↳(*.f64 t j)overflow26
↳(*.f64 y k)overflow33
-.f64(-.f64 (*.f64 y4 y1) (*.f64 y5 y0))nan-rescue40
↳(*.f64 y4 y1)overflow38
↳(*.f64 y5 y0)overflow39
-.f64(-.f64 (*.f64 x y) (*.f64 z t))nan-rescue30
↳(*.f64 x y)overflow40
↳(*.f64 z t)overflow29
-.f64(-.f64 (*.f64 x j) (*.f64 z k))nan-rescue30
↳(*.f64 x j)overflow30
↳(*.f64 z k)overflow37
-.f64(-.f64 (*.f64 y4 b) (*.f64 y5 i))nan-rescue30
↳(*.f64 y4 b)overflow42
↳(*.f64 y5 i)overflow40
*.f64(*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))u*o20
↳(*.f64 z y3)underflow26
↳(-.f64 (*.f64 x y2) (*.f64 z y3))underflow2
↳(*.f64 x y2)underflow33
↳(*.f64 y0 c)overflow30
↳(-.f64 (*.f64 y0 c) (*.f64 y1 a))overflow64
↳(*.f64 y1 a)overflow39
-.f64(-.f64 (*.f64 t y2) (*.f64 y y3))nan-rescue20
↳(*.f64 t y2)overflow24
↳(*.f64 y y3)overflow38
-.f64(-.f64 (*.f64 y4 c) (*.f64 y5 a))nan-rescue20
↳(*.f64 y4 c)overflow33
↳(*.f64 y5 a)overflow35
-.f64(-.f64 (*.f64 y0 b) (*.f64 y1 i))nan-rescue20
↳(*.f64 y0 b)overflow36
↳(*.f64 y1 i)overflow34
-.f64(-.f64 (*.f64 a b) (*.f64 c i))nan-rescue20
↳(*.f64 a b)overflow38
↳(*.f64 c i)overflow32
-.f64(-.f64 (*.f64 x y2) (*.f64 z y3))nan-rescue10
↳(*.f64 x y2)overflow25
↳(*.f64 z y3)overflow39
Confusion
Predicted +Predicted -
+1792
-966
Precision
0.9521276595744681
Recall
0.988950276243094
Confusion?
Predicted +Predicted MaybePredicted -
+17902
-9066
Precision?
0.9521276595744681
Recall?
0.988950276243094
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Freqs
test
numberfreq
068
177
250
334
422
55
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
39.732421875
Average Time
0.15520477294921875
Samples
1.0s3 072×0valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 670.0ms
ival-mult: 460.0ms (68.7% of total)
ival-sub: 173.0ms (25.8% of total)
ival-add: 33.0ms (4.9% of total)
ival-true: 2.0ms (0.3% of total)
ival-assert: 1.0ms (0.1% of total)

preprocess198.0ms (2.5%)

Memory
1.5MiB live, 72.5MiB 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
29.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)

simplify110.0ms (1.4%)

Memory
1.7MiB live, 21.1MiB 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))))

soundness3.0ms (0%)

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

Compiled 95 to 63 computations (33.7% saved)

preprocess42.0ms (0.5%)

Memory
2.2MiB live, 34.0MiB 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...