Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

Time bar (total: 4.2s)

analyze293.0ms (7%)

Memory
2.7MiB live, 151.4MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.7%0.3%0%0%0%0
0%0%99.7%0.3%0%0%0%1
0%0%99.7%0.3%0%0%0%2
0%0%99.7%0.3%0%0%0%3
0%0%99.7%0.3%0%0%0%4
0%0%99.7%0.3%0%0%0%5
0%0%99.7%0.3%0%0%0%6
0%0%99.7%0.3%0%0%0%7
25%24.9%74.7%0.3%0%0%0%8
25%24.9%74.7%0.3%0%0%0%9
25%24.9%74.7%0.3%0%0%0%10
37.5%37.4%62.3%0.3%0%0%0%11
37.5%37.4%62.3%0.3%0%0%0%12
Compiler

Compiled 48 to 39 computations (18.8% saved)

sample3.7s (88.8%)

Memory
13.4MiB live, 1 224.3MiB allocated
Samples
966.0ms8 256×0valid-sollya
729.0ms8 256×0valid-baseline
647.0ms8 256×0valid-rival
Bogosity

preprocess119.0ms (2.8%)

Memory
-1.9MiB live, 31.7MiB allocated
Algorithm
1×egg-herbie
Rules
879×times-frac
656×fmm-def
554×cancel-sign-sub-inv
544×sub-neg
372×associate-/r*
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01942991
16782803
222662767
372522767
Stop Event
1×node limit
Calls
Call 1
Inputs
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 (neg.f64 x) #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) (neg.f64 y)) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 (neg.f64 z) #s(literal 4 binary64)) t) a)) b) (*.f64 (neg.f64 z) c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) (neg.f64 t)) a)) b) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) (neg.f64 a))) b) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) (neg.f64 b)) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b) (*.f64 z (neg.f64 c)))
(neg.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 (neg.f64 x) #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b) (*.f64 z c)))
(neg.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) (neg.f64 y)) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b) (*.f64 z c)))
(neg.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 (neg.f64 z) #s(literal 4 binary64)) t) a)) b) (*.f64 (neg.f64 z) c)))
(neg.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) (neg.f64 t)) a)) b) (*.f64 z c)))
(neg.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) (neg.f64 a))) b) (*.f64 z c)))
(neg.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) (neg.f64 b)) (*.f64 z c)))
(neg.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b) (*.f64 z (neg.f64 c))))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) x) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 z #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 x #s(literal 4 binary64)) t) a)) b) (*.f64 x c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 t #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) x) a)) b) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 a #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) x)) b) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 b #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) x) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 c #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b) (*.f64 z x))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) z) (*.f64 (*.f64 (*.f64 y #s(literal 4 binary64)) t) a)) b) (*.f64 y c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) t) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) y) a)) b) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) a) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) y)) b) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) b) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) y) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) c) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b) (*.f64 z y))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 t #s(literal 4 binary64)) z) a)) b) (*.f64 t c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 a #s(literal 4 binary64)) t) z)) b) (*.f64 a c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 b #s(literal 4 binary64)) t) a)) z) (*.f64 b c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 c #s(literal 4 binary64)) t) a)) b) (*.f64 c z))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) a) t)) b) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) b) a)) t) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) c) a)) b) (*.f64 z t))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) b)) a) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) c)) b) (*.f64 z a))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) c) (*.f64 z b))
Outputs
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 x (*.f64 #s(literal 9 binary64) y)) (*.f64 (*.f64 z #s(literal 4 binary64)) (*.f64 t a))) b) (*.f64 z c))
(/.f64 (+.f64 (fma.f64 x (*.f64 #s(literal 9 binary64) y) (*.f64 t (*.f64 a (*.f64 z #s(literal -4 binary64))))) b) (*.f64 z c))
(/.f64 (+.f64 (fma.f64 x (*.f64 #s(literal 9 binary64) y) (*.f64 z (*.f64 a (*.f64 t #s(literal -4 binary64))))) b) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 x (*.f64 #s(literal 9 binary64) y)) (*.f64 (*.f64 z #s(literal 4 binary64)) (*.f64 t a))) b) (*.f64 z c))
(/.f64 (+.f64 (fma.f64 x (*.f64 #s(literal 9 binary64) y) (*.f64 t (*.f64 a (*.f64 z #s(literal -4 binary64))))) b) (*.f64 z c))
(/.f64 (+.f64 (fma.f64 x (*.f64 #s(literal 9 binary64) y) (*.f64 z (*.f64 a (*.f64 t #s(literal -4 binary64))))) b) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 (neg.f64 x) #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b) (*.f64 z c))
(/.f64 (+.f64 b (-.f64 (*.f64 y (*.f64 #s(literal 9 binary64) (neg.f64 x))) (*.f64 (*.f64 z #s(literal 4 binary64)) (*.f64 t a)))) (*.f64 z c))
(/.f64 (+.f64 b (fma.f64 x (*.f64 #s(literal -9 binary64) y) (*.f64 t (*.f64 a (*.f64 z #s(literal -4 binary64)))))) (*.f64 z c))
(/.f64 (+.f64 b (fma.f64 y (*.f64 x #s(literal -9 binary64)) (*.f64 z (*.f64 a (*.f64 t #s(literal -4 binary64)))))) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) (neg.f64 y)) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b) (*.f64 z c))
(/.f64 (+.f64 b (-.f64 (*.f64 y (*.f64 #s(literal 9 binary64) (neg.f64 x))) (*.f64 (*.f64 z #s(literal 4 binary64)) (*.f64 t a)))) (*.f64 z c))
(/.f64 (+.f64 b (fma.f64 x (*.f64 #s(literal -9 binary64) y) (*.f64 t (*.f64 a (*.f64 z #s(literal -4 binary64)))))) (*.f64 z c))
(/.f64 (+.f64 b (fma.f64 y (*.f64 x #s(literal -9 binary64)) (*.f64 z (*.f64 a (*.f64 t #s(literal -4 binary64)))))) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 (neg.f64 z) #s(literal 4 binary64)) t) a)) b) (*.f64 (neg.f64 z) c))
(/.f64 (+.f64 b (-.f64 (*.f64 x (*.f64 #s(literal 9 binary64) y)) (*.f64 a (*.f64 t (*.f64 #s(literal 4 binary64) (neg.f64 z)))))) (*.f64 z (neg.f64 c)))
(/.f64 (+.f64 (fma.f64 x (*.f64 #s(literal -9 binary64) y) (*.f64 t (*.f64 a (*.f64 z #s(literal -4 binary64))))) (neg.f64 b)) (*.f64 z c))
(/.f64 (fma.f64 x (*.f64 #s(literal 9 binary64) y) (fma.f64 z (*.f64 #s(literal 4 binary64) (*.f64 t a)) b)) (*.f64 z (neg.f64 c)))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) (neg.f64 t)) a)) b) (*.f64 z c))
(/.f64 (+.f64 b (-.f64 (*.f64 x (*.f64 #s(literal 9 binary64) y)) (*.f64 (*.f64 z #s(literal 4 binary64)) (*.f64 (neg.f64 t) a)))) (*.f64 z c))
(/.f64 (+.f64 b (fma.f64 x (*.f64 #s(literal 9 binary64) y) (*.f64 z (*.f64 #s(literal 4 binary64) (*.f64 t a))))) (*.f64 z c))
(/.f64 (fma.f64 x (*.f64 #s(literal 9 binary64) y) (fma.f64 z (*.f64 #s(literal 4 binary64) (*.f64 t a)) b)) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) (neg.f64 a))) b) (*.f64 z c))
(/.f64 (+.f64 b (-.f64 (*.f64 x (*.f64 #s(literal 9 binary64) y)) (*.f64 (*.f64 z #s(literal 4 binary64)) (*.f64 (neg.f64 t) a)))) (*.f64 z c))
(/.f64 (+.f64 b (fma.f64 x (*.f64 #s(literal 9 binary64) y) (*.f64 z (*.f64 #s(literal 4 binary64) (*.f64 t a))))) (*.f64 z c))
(/.f64 (fma.f64 x (*.f64 #s(literal 9 binary64) y) (fma.f64 z (*.f64 #s(literal 4 binary64) (*.f64 t a)) b)) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) (neg.f64 b)) (*.f64 z c))
(/.f64 (-.f64 (-.f64 (*.f64 x (*.f64 #s(literal 9 binary64) y)) (*.f64 (*.f64 z #s(literal 4 binary64)) (*.f64 t a))) b) (*.f64 z c))
(/.f64 (-.f64 (fma.f64 x (*.f64 #s(literal 9 binary64) y) (*.f64 t (*.f64 a (*.f64 z #s(literal -4 binary64))))) b) (*.f64 z c))
(/.f64 (fma.f64 x (*.f64 #s(literal 9 binary64) y) (-.f64 (*.f64 z (*.f64 a (*.f64 t #s(literal -4 binary64)))) b)) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b) (*.f64 z (neg.f64 c)))
(/.f64 (+.f64 (-.f64 (*.f64 x (*.f64 #s(literal 9 binary64) y)) (*.f64 (*.f64 z #s(literal 4 binary64)) (*.f64 t a))) b) (*.f64 z (neg.f64 c)))
(/.f64 (+.f64 (fma.f64 x (*.f64 #s(literal 9 binary64) y) (*.f64 t (*.f64 a (*.f64 z #s(literal -4 binary64))))) b) (*.f64 z (neg.f64 c)))
(/.f64 (+.f64 (fma.f64 x (*.f64 #s(literal 9 binary64) y) (*.f64 z (*.f64 a (*.f64 t #s(literal -4 binary64))))) b) (*.f64 z (neg.f64 c)))
(neg.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 (neg.f64 x) #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b) (*.f64 z c)))
(/.f64 (+.f64 b (-.f64 (*.f64 y (*.f64 #s(literal 9 binary64) (neg.f64 x))) (*.f64 (*.f64 z #s(literal 4 binary64)) (*.f64 t a)))) (*.f64 z (neg.f64 c)))
(/.f64 (/.f64 (+.f64 b (fma.f64 x (*.f64 #s(literal -9 binary64) y) (*.f64 t (*.f64 a (*.f64 z #s(literal -4 binary64)))))) c) (neg.f64 z))
(/.f64 (-.f64 (fma.f64 x (*.f64 #s(literal 9 binary64) y) (*.f64 z (*.f64 #s(literal 4 binary64) (*.f64 t a)))) b) (*.f64 z c))
(neg.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) (neg.f64 y)) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b) (*.f64 z c)))
(/.f64 (+.f64 b (-.f64 (*.f64 y (*.f64 #s(literal 9 binary64) (neg.f64 x))) (*.f64 (*.f64 z #s(literal 4 binary64)) (*.f64 t a)))) (*.f64 z (neg.f64 c)))
(/.f64 (/.f64 (+.f64 b (fma.f64 x (*.f64 #s(literal -9 binary64) y) (*.f64 t (*.f64 a (*.f64 z #s(literal -4 binary64)))))) c) (neg.f64 z))
(/.f64 (-.f64 (fma.f64 x (*.f64 #s(literal 9 binary64) y) (*.f64 z (*.f64 #s(literal 4 binary64) (*.f64 t a)))) b) (*.f64 z c))
(neg.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 (neg.f64 z) #s(literal 4 binary64)) t) a)) b) (*.f64 (neg.f64 z) c)))
(/.f64 (+.f64 b (-.f64 (*.f64 x (*.f64 #s(literal 9 binary64) y)) (*.f64 (*.f64 z #s(literal 4 binary64)) (*.f64 (neg.f64 t) a)))) (*.f64 z c))
(/.f64 (+.f64 b (fma.f64 x (*.f64 #s(literal 9 binary64) y) (*.f64 z (*.f64 #s(literal 4 binary64) (*.f64 t a))))) (*.f64 z c))
(/.f64 (fma.f64 x (*.f64 #s(literal 9 binary64) y) (fma.f64 z (*.f64 #s(literal 4 binary64) (*.f64 t a)) b)) (*.f64 z c))
(neg.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) (neg.f64 t)) a)) b) (*.f64 z c)))
(/.f64 (+.f64 b (-.f64 (*.f64 x (*.f64 #s(literal 9 binary64) y)) (*.f64 a (*.f64 t (*.f64 #s(literal 4 binary64) (neg.f64 z)))))) (*.f64 z (neg.f64 c)))
(/.f64 (+.f64 (fma.f64 x (*.f64 #s(literal -9 binary64) y) (*.f64 t (*.f64 a (*.f64 z #s(literal -4 binary64))))) (neg.f64 b)) (*.f64 z c))
(/.f64 (fma.f64 x (*.f64 #s(literal 9 binary64) y) (fma.f64 z (*.f64 #s(literal 4 binary64) (*.f64 t a)) b)) (*.f64 z (neg.f64 c)))
(neg.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) (neg.f64 a))) b) (*.f64 z c)))
(/.f64 (+.f64 b (-.f64 (*.f64 x (*.f64 #s(literal 9 binary64) y)) (*.f64 a (*.f64 t (*.f64 #s(literal 4 binary64) (neg.f64 z)))))) (*.f64 z (neg.f64 c)))
(/.f64 (+.f64 (fma.f64 x (*.f64 #s(literal -9 binary64) y) (*.f64 t (*.f64 a (*.f64 z #s(literal -4 binary64))))) (neg.f64 b)) (*.f64 z c))
(/.f64 (fma.f64 x (*.f64 #s(literal 9 binary64) y) (fma.f64 z (*.f64 #s(literal 4 binary64) (*.f64 t a)) b)) (*.f64 z (neg.f64 c)))
(neg.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) (neg.f64 b)) (*.f64 z c)))
(/.f64 (-.f64 (-.f64 (*.f64 x (*.f64 #s(literal 9 binary64) y)) (*.f64 (*.f64 z #s(literal 4 binary64)) (*.f64 t a))) b) (*.f64 z (neg.f64 c)))
(/.f64 (-.f64 (fma.f64 x (*.f64 #s(literal 9 binary64) y) (*.f64 t (*.f64 a (*.f64 z #s(literal -4 binary64))))) b) (*.f64 z (neg.f64 c)))
(/.f64 (/.f64 (+.f64 (*.f64 x (*.f64 y #s(literal -9 binary64))) (fma.f64 z (*.f64 #s(literal 4 binary64) (*.f64 t a)) b)) z) c)
(neg.f64 (/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b) (*.f64 z (neg.f64 c))))
(/.f64 (+.f64 (-.f64 (*.f64 x (*.f64 #s(literal 9 binary64) y)) (*.f64 (*.f64 z #s(literal 4 binary64)) (*.f64 t a))) b) (*.f64 z c))
(/.f64 (+.f64 (fma.f64 x (*.f64 #s(literal 9 binary64) y) (*.f64 t (*.f64 a (*.f64 z #s(literal -4 binary64))))) b) (*.f64 z c))
(/.f64 (+.f64 (fma.f64 x (*.f64 #s(literal 9 binary64) y) (*.f64 z (*.f64 a (*.f64 t #s(literal -4 binary64))))) b) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) x) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 x (*.f64 #s(literal 9 binary64) y)) (*.f64 (*.f64 z #s(literal 4 binary64)) (*.f64 t a))) b) (*.f64 z c))
(/.f64 (+.f64 (fma.f64 x (*.f64 #s(literal 9 binary64) y) (*.f64 t (*.f64 a (*.f64 z #s(literal -4 binary64))))) b) (*.f64 z c))
(/.f64 (+.f64 (fma.f64 x (*.f64 #s(literal 9 binary64) y) (*.f64 z (*.f64 a (*.f64 t #s(literal -4 binary64))))) b) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 z #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 x #s(literal 4 binary64)) t) a)) b) (*.f64 x c))
(/.f64 (+.f64 b (-.f64 (*.f64 y (*.f64 #s(literal 9 binary64) z)) (*.f64 a (*.f64 x (*.f64 #s(literal 4 binary64) t))))) (*.f64 x c))
(/.f64 (+.f64 b (fma.f64 y (*.f64 #s(literal 9 binary64) z) (*.f64 a (*.f64 x (*.f64 #s(literal -4 binary64) t))))) (*.f64 x c))
(/.f64 (+.f64 b (fma.f64 #s(literal 9 binary64) (*.f64 y z) (*.f64 x (*.f64 a (*.f64 t #s(literal -4 binary64)))))) (*.f64 x c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 t #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) x) a)) b) (*.f64 z c))
(/.f64 (+.f64 b (fma.f64 (*.f64 #s(literal 9 binary64) t) y (neg.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) (*.f64 x a))))) (*.f64 z c))
(/.f64 (+.f64 b (fma.f64 y (*.f64 #s(literal 9 binary64) t) (*.f64 a (*.f64 x (*.f64 z #s(literal -4 binary64)))))) (*.f64 z c))
(/.f64 (fma.f64 #s(literal 9 binary64) (*.f64 y t) (+.f64 b (*.f64 (*.f64 z a) (*.f64 x #s(literal -4 binary64))))) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 a #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) x)) b) (*.f64 z c))
(/.f64 (+.f64 b (-.f64 (*.f64 y (*.f64 #s(literal 9 binary64) a)) (*.f64 (*.f64 z #s(literal 4 binary64)) (*.f64 t x)))) (*.f64 z c))
(/.f64 (+.f64 b (fma.f64 y (*.f64 #s(literal 9 binary64) a) (*.f64 x (*.f64 z (*.f64 #s(literal -4 binary64) t))))) (*.f64 z c))
(/.f64 (+.f64 b (fma.f64 #s(literal 9 binary64) (*.f64 y a) (*.f64 x (*.f64 z (*.f64 t #s(literal -4 binary64)))))) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 b #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) x) (*.f64 z c))
(/.f64 (+.f64 x (-.f64 (*.f64 y (*.f64 #s(literal 9 binary64) b)) (*.f64 (*.f64 z #s(literal 4 binary64)) (*.f64 t a)))) (*.f64 z c))
(/.f64 (+.f64 x (fma.f64 y (*.f64 #s(literal 9 binary64) b) (*.f64 t (*.f64 a (*.f64 z #s(literal -4 binary64)))))) (*.f64 z c))
(/.f64 (+.f64 x (fma.f64 #s(literal 9 binary64) (*.f64 y b) (*.f64 z (*.f64 a (*.f64 t #s(literal -4 binary64)))))) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 c #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b) (*.f64 z x))
(/.f64 (+.f64 b (-.f64 (*.f64 y (*.f64 #s(literal 9 binary64) c)) (*.f64 (*.f64 z #s(literal 4 binary64)) (*.f64 t a)))) (*.f64 x z))
(/.f64 (+.f64 b (fma.f64 y (*.f64 #s(literal 9 binary64) c) (*.f64 t (*.f64 a (*.f64 z #s(literal -4 binary64)))))) (*.f64 x z))
(/.f64 (+.f64 b (fma.f64 y (*.f64 #s(literal 9 binary64) c) (*.f64 z (*.f64 a (*.f64 t #s(literal -4 binary64)))))) (*.f64 x z))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) z) (*.f64 (*.f64 (*.f64 y #s(literal 4 binary64)) t) a)) b) (*.f64 y c))
(/.f64 (+.f64 b (-.f64 (*.f64 x (*.f64 #s(literal 9 binary64) z)) (*.f64 a (*.f64 y (*.f64 #s(literal 4 binary64) t))))) (*.f64 y c))
(/.f64 (+.f64 b (fma.f64 x (*.f64 #s(literal 9 binary64) z) (*.f64 a (*.f64 y (*.f64 #s(literal -4 binary64) t))))) (*.f64 y c))
(/.f64 (+.f64 b (fma.f64 x (*.f64 #s(literal 9 binary64) z) (*.f64 y (*.f64 a (*.f64 t #s(literal -4 binary64)))))) (*.f64 y c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) t) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) y) a)) b) (*.f64 z c))
(/.f64 (+.f64 b (fma.f64 (*.f64 x #s(literal 9 binary64)) t (neg.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) (*.f64 y a))))) (*.f64 z c))
(/.f64 (+.f64 b (fma.f64 x (*.f64 #s(literal 9 binary64) t) (*.f64 a (*.f64 y (*.f64 z #s(literal -4 binary64)))))) (*.f64 z c))
(/.f64 (+.f64 b (fma.f64 x (*.f64 #s(literal 9 binary64) t) (*.f64 y (*.f64 z (*.f64 a #s(literal -4 binary64)))))) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) a) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) y)) b) (*.f64 z c))
(/.f64 (+.f64 b (-.f64 (*.f64 x (*.f64 #s(literal 9 binary64) a)) (*.f64 (*.f64 z #s(literal 4 binary64)) (*.f64 t y)))) (*.f64 z c))
(/.f64 (+.f64 b (fma.f64 x (*.f64 #s(literal 9 binary64) a) (*.f64 y (*.f64 z (*.f64 #s(literal -4 binary64) t))))) (*.f64 z c))
(/.f64 (+.f64 b (fma.f64 x (*.f64 #s(literal 9 binary64) a) (*.f64 y (*.f64 z (*.f64 t #s(literal -4 binary64)))))) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) b) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) y) (*.f64 z c))
(/.f64 (+.f64 y (-.f64 (*.f64 x (*.f64 #s(literal 9 binary64) b)) (*.f64 (*.f64 z #s(literal 4 binary64)) (*.f64 t a)))) (*.f64 z c))
(/.f64 (+.f64 y (fma.f64 x (*.f64 #s(literal 9 binary64) b) (*.f64 t (*.f64 a (*.f64 z #s(literal -4 binary64)))))) (*.f64 z c))
(/.f64 (+.f64 y (fma.f64 x (*.f64 #s(literal 9 binary64) b) (*.f64 z (*.f64 a (*.f64 t #s(literal -4 binary64)))))) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) c) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b) (*.f64 z y))
(/.f64 (+.f64 b (-.f64 (*.f64 x (*.f64 #s(literal 9 binary64) c)) (*.f64 (*.f64 z #s(literal 4 binary64)) (*.f64 t a)))) (*.f64 y z))
(/.f64 (+.f64 b (fma.f64 x (*.f64 #s(literal 9 binary64) c) (*.f64 t (*.f64 a (*.f64 z #s(literal -4 binary64)))))) (*.f64 y z))
(/.f64 (+.f64 b (fma.f64 x (*.f64 #s(literal 9 binary64) c) (*.f64 z (*.f64 a (*.f64 t #s(literal -4 binary64)))))) (*.f64 y z))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 t #s(literal 4 binary64)) z) a)) b) (*.f64 t c))
(/.f64 (+.f64 (-.f64 (*.f64 x (*.f64 #s(literal 9 binary64) y)) (*.f64 (*.f64 z #s(literal 4 binary64)) (*.f64 t a))) b) (*.f64 t c))
(/.f64 (+.f64 (fma.f64 x (*.f64 #s(literal 9 binary64) y) (*.f64 t (*.f64 a (*.f64 z #s(literal -4 binary64))))) b) (*.f64 t c))
(/.f64 (+.f64 (fma.f64 x (*.f64 #s(literal 9 binary64) y) (*.f64 z (*.f64 a (*.f64 t #s(literal -4 binary64))))) b) (*.f64 t c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 a #s(literal 4 binary64)) t) z)) b) (*.f64 a c))
(/.f64 (+.f64 b (-.f64 (*.f64 x (*.f64 #s(literal 9 binary64) y)) (*.f64 z (*.f64 t (*.f64 #s(literal 4 binary64) a))))) (*.f64 a c))
(/.f64 (+.f64 (fma.f64 x (*.f64 #s(literal 9 binary64) y) (*.f64 t (*.f64 a (*.f64 z #s(literal -4 binary64))))) b) (*.f64 a c))
(/.f64 (+.f64 (fma.f64 x (*.f64 #s(literal 9 binary64) y) (*.f64 z (*.f64 a (*.f64 t #s(literal -4 binary64))))) b) (*.f64 a c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 b #s(literal 4 binary64)) t) a)) z) (*.f64 b c))
(/.f64 (+.f64 z (-.f64 (*.f64 x (*.f64 #s(literal 9 binary64) y)) (*.f64 a (*.f64 t (*.f64 #s(literal 4 binary64) b))))) (*.f64 b c))
(/.f64 (+.f64 z (fma.f64 x (*.f64 #s(literal 9 binary64) y) (*.f64 a (*.f64 b (*.f64 #s(literal -4 binary64) t))))) (*.f64 b c))
(/.f64 (+.f64 z (fma.f64 x (*.f64 #s(literal 9 binary64) y) (*.f64 a (*.f64 b (*.f64 t #s(literal -4 binary64)))))) (*.f64 b c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 c #s(literal 4 binary64)) t) a)) b) (*.f64 c z))
(/.f64 (+.f64 b (-.f64 (*.f64 x (*.f64 #s(literal 9 binary64) y)) (*.f64 a (*.f64 t (*.f64 #s(literal 4 binary64) c))))) (*.f64 z c))
(/.f64 (+.f64 b (fma.f64 x (*.f64 #s(literal 9 binary64) y) (*.f64 a (*.f64 c (*.f64 #s(literal -4 binary64) t))))) (*.f64 z c))
(/.f64 (+.f64 b (fma.f64 x (*.f64 #s(literal 9 binary64) y) (*.f64 c (*.f64 a (*.f64 t #s(literal -4 binary64)))))) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) a) t)) b) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 x (*.f64 #s(literal 9 binary64) y)) (*.f64 (*.f64 z #s(literal 4 binary64)) (*.f64 t a))) b) (*.f64 z c))
(/.f64 (+.f64 (fma.f64 x (*.f64 #s(literal 9 binary64) y) (*.f64 t (*.f64 a (*.f64 z #s(literal -4 binary64))))) b) (*.f64 z c))
(/.f64 (+.f64 (fma.f64 x (*.f64 #s(literal 9 binary64) y) (*.f64 z (*.f64 a (*.f64 t #s(literal -4 binary64))))) b) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) b) a)) t) (*.f64 z c))
(/.f64 (+.f64 t (-.f64 (*.f64 x (*.f64 #s(literal 9 binary64) y)) (*.f64 (*.f64 z #s(literal 4 binary64)) (*.f64 b a)))) (*.f64 z c))
(/.f64 (+.f64 t (fma.f64 x (*.f64 #s(literal 9 binary64) y) (*.f64 a (*.f64 b (*.f64 z #s(literal -4 binary64)))))) (*.f64 z c))
(/.f64 (fma.f64 x (*.f64 #s(literal 9 binary64) y) (+.f64 t (*.f64 (*.f64 z a) (*.f64 b #s(literal -4 binary64))))) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) c) a)) b) (*.f64 z t))
(/.f64 (+.f64 b (-.f64 (*.f64 x (*.f64 #s(literal 9 binary64) y)) (*.f64 (*.f64 z #s(literal 4 binary64)) (*.f64 a c)))) (*.f64 z t))
(/.f64 (+.f64 b (fma.f64 x (*.f64 #s(literal 9 binary64) y) (*.f64 a (*.f64 c (*.f64 z #s(literal -4 binary64)))))) (*.f64 z t))
(/.f64 (+.f64 b (fma.f64 x (*.f64 #s(literal 9 binary64) y) (*.f64 a (*.f64 z (*.f64 c #s(literal -4 binary64)))))) (*.f64 z t))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) b)) a) (*.f64 z c))
(/.f64 (+.f64 a (-.f64 (*.f64 x (*.f64 #s(literal 9 binary64) y)) (*.f64 (*.f64 z #s(literal 4 binary64)) (*.f64 t b)))) (*.f64 z c))
(/.f64 (+.f64 a (fma.f64 x (*.f64 #s(literal 9 binary64) y) (*.f64 b (*.f64 z (*.f64 #s(literal -4 binary64) t))))) (*.f64 z c))
(/.f64 (+.f64 a (fma.f64 x (*.f64 #s(literal 9 binary64) y) (*.f64 z (*.f64 b (*.f64 t #s(literal -4 binary64)))))) (*.f64 z c))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) c)) b) (*.f64 z a))
(/.f64 (+.f64 b (-.f64 (*.f64 x (*.f64 #s(literal 9 binary64) y)) (*.f64 (*.f64 z #s(literal 4 binary64)) (*.f64 t c)))) (*.f64 z a))
(/.f64 (+.f64 b (fma.f64 x (*.f64 #s(literal 9 binary64) y) (*.f64 z (*.f64 (*.f64 #s(literal -4 binary64) t) c)))) (*.f64 z a))
(/.f64 (+.f64 b (fma.f64 x (*.f64 #s(literal 9 binary64) y) (*.f64 z (*.f64 t (*.f64 c #s(literal -4 binary64)))))) (*.f64 z a))
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) c) (*.f64 z b))
(/.f64 (+.f64 (-.f64 (*.f64 x (*.f64 #s(literal 9 binary64) y)) (*.f64 (*.f64 z #s(literal 4 binary64)) (*.f64 t a))) c) (*.f64 z b))
(/.f64 (+.f64 (fma.f64 x (*.f64 #s(literal 9 binary64) y) (*.f64 t (*.f64 a (*.f64 z #s(literal -4 binary64))))) c) (*.f64 z b))
(/.f64 (+.f64 (fma.f64 x (*.f64 #s(literal 9 binary64) y) (*.f64 z (*.f64 a (*.f64 t #s(literal -4 binary64))))) c) (*.f64 z b))
Symmetry

(negabs c)

(sort x y)

(sort t a)

Compiler

Compiled 26 to 18 computations (30.8% saved)

eval0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated
Compiler

Compiled 7 to 7 computations (0% saved)

prune1.0ms (0%)

Memory
-14.8MiB live, 1.0MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
83.1%
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b) (*.f64 z c))
Compiler

Compiled 52 to 36 computations (30.8% saved)

simplify3.0ms (0.1%)

Memory
0.8MiB live, 0.8MiB allocated
Algorithm
1×egg-herbie
Rules
13×*-commutative
9×+-commutative
8×sub-neg
7×neg-sub0
7×neg-mul-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02879
14179
25979
37579
48779
59479
69679
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b) (*.f64 z c))
Outputs
(/.f64 (+.f64 (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b) (*.f64 z c))

soundness0.0ms (0%)

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

Compiled 26 to 18 computations (30.8% saved)

preprocess50.0ms (1.2%)

Memory
8.3MiB live, 55.1MiB allocated
Remove

(sort x y)

(negabs c)

Compiler

Compiled 998 to 472 computations (52.7% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...