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

Time bar (total: 3.5s)

analyze15.0ms (0.4%)

Memory
4.7MiB live, 4.7MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.7%0.3%0%0%0%0
100%99.7%0%0.3%0%0%0%1
Compiler

Compiled 43 to 37 computations (14% saved)

sample3.2s (90.7%)

Memory
-0.3MiB live, 1 073.5MiB allocated
Samples
752.0ms8 256×0valid-sollya
632.0ms8 256×0valid-baseline
571.0ms8 256×0valid-rival
Bogosity

preprocess248.0ms (7.1%)

Memory
3.6MiB live, 34.9MiB allocated
Algorithm
1×egg-herbie
Rules
840×sub-neg
587×distribute-lft-neg-in
574×cancel-sign-sub-inv
515×*-commutative
419×distribute-rgt-neg-in
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01332015
14741743
216181719
336911719
459991719
573341719
677641719
778131719
878321719
Stop Event
1×node limit
Calls
Call 1
Inputs
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) t)) (*.f64 (*.f64 a #s(literal 27 binary64)) b))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) t)) (*.f64 (*.f64 a #s(literal 27 binary64)) b))
(+.f64 (-.f64 (*.f64 (neg.f64 x) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) t)) (*.f64 (*.f64 a #s(literal 27 binary64)) b))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 (neg.f64 y) #s(literal 9 binary64)) z) t)) (*.f64 (*.f64 a #s(literal 27 binary64)) b))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) (neg.f64 z)) t)) (*.f64 (*.f64 a #s(literal 27 binary64)) b))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) (neg.f64 t))) (*.f64 (*.f64 a #s(literal 27 binary64)) b))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) t)) (*.f64 (*.f64 (neg.f64 a) #s(literal 27 binary64)) b))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) t)) (*.f64 (*.f64 a #s(literal 27 binary64)) (neg.f64 b)))
(neg.f64 (+.f64 (-.f64 (*.f64 (neg.f64 x) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) t)) (*.f64 (*.f64 a #s(literal 27 binary64)) b)))
(neg.f64 (+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 (neg.f64 y) #s(literal 9 binary64)) z) t)) (*.f64 (*.f64 a #s(literal 27 binary64)) b)))
(neg.f64 (+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) (neg.f64 z)) t)) (*.f64 (*.f64 a #s(literal 27 binary64)) b)))
(neg.f64 (+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) (neg.f64 t))) (*.f64 (*.f64 a #s(literal 27 binary64)) b)))
(neg.f64 (+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) t)) (*.f64 (*.f64 (neg.f64 a) #s(literal 27 binary64)) b)))
(neg.f64 (+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) t)) (*.f64 (*.f64 a #s(literal 27 binary64)) (neg.f64 b))))
(+.f64 (-.f64 (*.f64 y #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) z) t)) (*.f64 (*.f64 a #s(literal 27 binary64)) b))
(+.f64 (-.f64 (*.f64 z #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) x) t)) (*.f64 (*.f64 a #s(literal 27 binary64)) b))
(+.f64 (-.f64 (*.f64 t #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) x)) (*.f64 (*.f64 a #s(literal 27 binary64)) b))
(+.f64 (-.f64 (*.f64 a #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) t)) (*.f64 (*.f64 x #s(literal 27 binary64)) b))
(+.f64 (-.f64 (*.f64 b #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) t)) (*.f64 (*.f64 a #s(literal 27 binary64)) x))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 z #s(literal 9 binary64)) y) t)) (*.f64 (*.f64 a #s(literal 27 binary64)) b))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 t #s(literal 9 binary64)) z) y)) (*.f64 (*.f64 a #s(literal 27 binary64)) b))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 a #s(literal 9 binary64)) z) t)) (*.f64 (*.f64 y #s(literal 27 binary64)) b))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 b #s(literal 9 binary64)) z) t)) (*.f64 (*.f64 a #s(literal 27 binary64)) y))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) t) z)) (*.f64 (*.f64 a #s(literal 27 binary64)) b))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) a) t)) (*.f64 (*.f64 z #s(literal 27 binary64)) b))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) b) t)) (*.f64 (*.f64 a #s(literal 27 binary64)) z))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) a)) (*.f64 (*.f64 t #s(literal 27 binary64)) b))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) b)) (*.f64 (*.f64 a #s(literal 27 binary64)) t))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) t)) (*.f64 (*.f64 b #s(literal 27 binary64)) a))
Outputs
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) t)) (*.f64 (*.f64 a #s(literal 27 binary64)) b))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 y #s(literal 9 binary64)) (*.f64 z t))) (*.f64 a (*.f64 #s(literal 27 binary64) b)))
(fma.f64 a (*.f64 #s(literal 27 binary64) b) (fma.f64 x #s(literal 2 binary64) (*.f64 t (*.f64 y (*.f64 #s(literal -9 binary64) z)))))
(fma.f64 a (*.f64 #s(literal 27 binary64) b) (fma.f64 x #s(literal 2 binary64) (*.f64 y (*.f64 z (*.f64 t #s(literal -9 binary64))))))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) t)) (*.f64 (*.f64 a #s(literal 27 binary64)) b))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 y #s(literal 9 binary64)) (*.f64 z t))) (*.f64 a (*.f64 #s(literal 27 binary64) b)))
(fma.f64 a (*.f64 #s(literal 27 binary64) b) (fma.f64 x #s(literal 2 binary64) (*.f64 t (*.f64 y (*.f64 #s(literal -9 binary64) z)))))
(fma.f64 a (*.f64 #s(literal 27 binary64) b) (fma.f64 x #s(literal 2 binary64) (*.f64 y (*.f64 z (*.f64 t #s(literal -9 binary64))))))
(+.f64 (-.f64 (*.f64 (neg.f64 x) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) t)) (*.f64 (*.f64 a #s(literal 27 binary64)) b))
(+.f64 (*.f64 a (*.f64 #s(literal 27 binary64) b)) (-.f64 (*.f64 #s(literal 2 binary64) (neg.f64 x)) (*.f64 (*.f64 y #s(literal 9 binary64)) (*.f64 z t))))
(-.f64 (*.f64 x #s(literal -2 binary64)) (fma.f64 y (*.f64 z (*.f64 #s(literal 9 binary64) t)) (*.f64 a (*.f64 #s(literal -27 binary64) b))))
(fma.f64 a (*.f64 #s(literal 27 binary64) b) (fma.f64 x #s(literal -2 binary64) (*.f64 y (*.f64 z (*.f64 t #s(literal -9 binary64))))))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 (neg.f64 y) #s(literal 9 binary64)) z) t)) (*.f64 (*.f64 a #s(literal 27 binary64)) b))
(+.f64 (*.f64 a (*.f64 #s(literal 27 binary64) b)) (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 t (*.f64 z (*.f64 #s(literal 9 binary64) (neg.f64 y))))))
(fma.f64 a (*.f64 #s(literal 27 binary64) b) (fma.f64 x #s(literal 2 binary64) (*.f64 y (*.f64 z (*.f64 #s(literal 9 binary64) t)))))
(fma.f64 x #s(literal 2 binary64) (fma.f64 y (*.f64 #s(literal 9 binary64) (*.f64 z t)) (*.f64 a (*.f64 #s(literal 27 binary64) b))))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) (neg.f64 z)) t)) (*.f64 (*.f64 a #s(literal 27 binary64)) b))
(+.f64 (*.f64 a (*.f64 #s(literal 27 binary64) b)) (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 t (*.f64 z (*.f64 #s(literal 9 binary64) (neg.f64 y))))))
(fma.f64 a (*.f64 #s(literal 27 binary64) b) (fma.f64 x #s(literal 2 binary64) (*.f64 y (*.f64 z (*.f64 #s(literal 9 binary64) t)))))
(fma.f64 x #s(literal 2 binary64) (fma.f64 y (*.f64 #s(literal 9 binary64) (*.f64 z t)) (*.f64 a (*.f64 #s(literal 27 binary64) b))))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) (neg.f64 t))) (*.f64 (*.f64 a #s(literal 27 binary64)) b))
(+.f64 (*.f64 a (*.f64 #s(literal 27 binary64) b)) (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 t (*.f64 z (*.f64 #s(literal 9 binary64) (neg.f64 y))))))
(fma.f64 a (*.f64 #s(literal 27 binary64) b) (fma.f64 x #s(literal 2 binary64) (*.f64 y (*.f64 z (*.f64 #s(literal 9 binary64) t)))))
(fma.f64 x #s(literal 2 binary64) (fma.f64 y (*.f64 #s(literal 9 binary64) (*.f64 z t)) (*.f64 a (*.f64 #s(literal 27 binary64) b))))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) t)) (*.f64 (*.f64 (neg.f64 a) #s(literal 27 binary64)) b))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 y #s(literal 9 binary64)) (*.f64 z t))) (*.f64 b (*.f64 #s(literal 27 binary64) (neg.f64 a))))
(fma.f64 a (*.f64 #s(literal -27 binary64) b) (fma.f64 x #s(literal 2 binary64) (*.f64 t (*.f64 y (*.f64 #s(literal -9 binary64) z)))))
(fma.f64 x #s(literal 2 binary64) (fma.f64 y (*.f64 z (*.f64 t #s(literal -9 binary64))) (*.f64 a (*.f64 b #s(literal -27 binary64)))))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) t)) (*.f64 (*.f64 a #s(literal 27 binary64)) (neg.f64 b)))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 y #s(literal 9 binary64)) (*.f64 z t))) (*.f64 b (*.f64 #s(literal 27 binary64) (neg.f64 a))))
(fma.f64 a (*.f64 #s(literal -27 binary64) b) (fma.f64 x #s(literal 2 binary64) (*.f64 t (*.f64 y (*.f64 #s(literal -9 binary64) z)))))
(fma.f64 x #s(literal 2 binary64) (fma.f64 y (*.f64 z (*.f64 t #s(literal -9 binary64))) (*.f64 a (*.f64 b #s(literal -27 binary64)))))
(neg.f64 (+.f64 (-.f64 (*.f64 (neg.f64 x) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) t)) (*.f64 (*.f64 a #s(literal 27 binary64)) b)))
(neg.f64 (+.f64 (*.f64 a (*.f64 #s(literal 27 binary64) b)) (-.f64 (*.f64 #s(literal 2 binary64) (neg.f64 x)) (*.f64 (*.f64 y #s(literal 9 binary64)) (*.f64 z t)))))
(neg.f64 (-.f64 (*.f64 x #s(literal -2 binary64)) (fma.f64 y (*.f64 z (*.f64 #s(literal 9 binary64) t)) (*.f64 a (*.f64 #s(literal -27 binary64) b)))))
(fma.f64 a (*.f64 b #s(literal -27 binary64)) (fma.f64 x #s(literal 2 binary64) (*.f64 y (*.f64 #s(literal 9 binary64) (*.f64 z t)))))
(neg.f64 (+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 (neg.f64 y) #s(literal 9 binary64)) z) t)) (*.f64 (*.f64 a #s(literal 27 binary64)) b)))
(neg.f64 (+.f64 (*.f64 a (*.f64 #s(literal 27 binary64) b)) (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 t (*.f64 z (*.f64 #s(literal 9 binary64) (neg.f64 y)))))))
(+.f64 (*.f64 x #s(literal -2 binary64)) (fma.f64 t (*.f64 y (*.f64 #s(literal -9 binary64) z)) (*.f64 a (*.f64 #s(literal -27 binary64) b))))
(fma.f64 a (*.f64 b #s(literal -27 binary64)) (fma.f64 x #s(literal -2 binary64) (*.f64 y (*.f64 z (*.f64 t #s(literal -9 binary64))))))
(neg.f64 (+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) (neg.f64 z)) t)) (*.f64 (*.f64 a #s(literal 27 binary64)) b)))
(neg.f64 (+.f64 (*.f64 a (*.f64 #s(literal 27 binary64) b)) (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 t (*.f64 z (*.f64 #s(literal 9 binary64) (neg.f64 y)))))))
(+.f64 (*.f64 x #s(literal -2 binary64)) (fma.f64 t (*.f64 y (*.f64 #s(literal -9 binary64) z)) (*.f64 a (*.f64 #s(literal -27 binary64) b))))
(fma.f64 a (*.f64 b #s(literal -27 binary64)) (fma.f64 x #s(literal -2 binary64) (*.f64 y (*.f64 z (*.f64 t #s(literal -9 binary64))))))
(neg.f64 (+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) (neg.f64 t))) (*.f64 (*.f64 a #s(literal 27 binary64)) b)))
(neg.f64 (+.f64 (*.f64 a (*.f64 #s(literal 27 binary64) b)) (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 t (*.f64 z (*.f64 #s(literal 9 binary64) (neg.f64 y)))))))
(+.f64 (*.f64 x #s(literal -2 binary64)) (fma.f64 t (*.f64 y (*.f64 #s(literal -9 binary64) z)) (*.f64 a (*.f64 #s(literal -27 binary64) b))))
(fma.f64 a (*.f64 b #s(literal -27 binary64)) (fma.f64 x #s(literal -2 binary64) (*.f64 y (*.f64 z (*.f64 t #s(literal -9 binary64))))))
(neg.f64 (+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) t)) (*.f64 (*.f64 (neg.f64 a) #s(literal 27 binary64)) b)))
(neg.f64 (+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 y #s(literal 9 binary64)) (*.f64 z t))) (*.f64 b (*.f64 #s(literal 27 binary64) (neg.f64 a)))))
(+.f64 (*.f64 x #s(literal -2 binary64)) (fma.f64 (*.f64 y (*.f64 #s(literal 9 binary64) z)) t (*.f64 a (*.f64 #s(literal 27 binary64) b))))
(+.f64 (*.f64 x #s(literal -2 binary64)) (fma.f64 y (*.f64 #s(literal 9 binary64) (*.f64 z t)) (*.f64 a (*.f64 #s(literal 27 binary64) b))))
(neg.f64 (+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) t)) (*.f64 (*.f64 a #s(literal 27 binary64)) (neg.f64 b))))
(neg.f64 (+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 y #s(literal 9 binary64)) (*.f64 z t))) (*.f64 b (*.f64 #s(literal 27 binary64) (neg.f64 a)))))
(+.f64 (*.f64 x #s(literal -2 binary64)) (fma.f64 (*.f64 y (*.f64 #s(literal 9 binary64) z)) t (*.f64 a (*.f64 #s(literal 27 binary64) b))))
(+.f64 (*.f64 x #s(literal -2 binary64)) (fma.f64 y (*.f64 #s(literal 9 binary64) (*.f64 z t)) (*.f64 a (*.f64 #s(literal 27 binary64) b))))
(+.f64 (-.f64 (*.f64 y #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) z) t)) (*.f64 (*.f64 a #s(literal 27 binary64)) b))
(+.f64 (*.f64 a (*.f64 #s(literal 27 binary64) b)) (-.f64 (*.f64 #s(literal 2 binary64) y) (*.f64 t (*.f64 x (*.f64 #s(literal 9 binary64) z)))))
(fma.f64 a (*.f64 #s(literal 27 binary64) b) (fma.f64 #s(literal 2 binary64) y (*.f64 t (*.f64 x (*.f64 #s(literal -9 binary64) z)))))
(fma.f64 a (*.f64 #s(literal 27 binary64) b) (fma.f64 #s(literal 2 binary64) y (*.f64 x (*.f64 z (*.f64 t #s(literal -9 binary64))))))
(+.f64 (-.f64 (*.f64 z #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) x) t)) (*.f64 (*.f64 a #s(literal 27 binary64)) b))
(+.f64 (*.f64 a (*.f64 #s(literal 27 binary64) b)) (-.f64 (*.f64 #s(literal 2 binary64) z) (*.f64 (*.f64 y #s(literal 9 binary64)) (*.f64 x t))))
(fma.f64 a (*.f64 #s(literal 27 binary64) b) (fma.f64 #s(literal 2 binary64) z (*.f64 t (*.f64 x (*.f64 y #s(literal -9 binary64))))))
(fma.f64 a (*.f64 #s(literal 27 binary64) b) (fma.f64 #s(literal 2 binary64) z (*.f64 x (*.f64 y (*.f64 t #s(literal -9 binary64))))))
(+.f64 (-.f64 (*.f64 t #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) x)) (*.f64 (*.f64 a #s(literal 27 binary64)) b))
(+.f64 (*.f64 a (*.f64 #s(literal 27 binary64) b)) (-.f64 (*.f64 #s(literal 2 binary64) t) (*.f64 x (*.f64 y (*.f64 #s(literal 9 binary64) z)))))
(fma.f64 a (*.f64 #s(literal 27 binary64) b) (fma.f64 #s(literal 2 binary64) t (*.f64 x (*.f64 y (*.f64 #s(literal -9 binary64) z)))))
(fma.f64 a (*.f64 #s(literal 27 binary64) b) (fma.f64 #s(literal 2 binary64) t (*.f64 y (*.f64 x (*.f64 z #s(literal -9 binary64))))))
(+.f64 (-.f64 (*.f64 a #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) t)) (*.f64 (*.f64 x #s(literal 27 binary64)) b))
(+.f64 (-.f64 (*.f64 #s(literal 2 binary64) a) (*.f64 (*.f64 y #s(literal 9 binary64)) (*.f64 z t))) (*.f64 x (*.f64 #s(literal 27 binary64) b)))
(fma.f64 x (*.f64 #s(literal 27 binary64) b) (fma.f64 #s(literal 2 binary64) a (*.f64 t (*.f64 y (*.f64 #s(literal -9 binary64) z)))))
(fma.f64 x (*.f64 #s(literal 27 binary64) b) (fma.f64 #s(literal 2 binary64) a (*.f64 y (*.f64 z (*.f64 t #s(literal -9 binary64))))))
(+.f64 (-.f64 (*.f64 b #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) t)) (*.f64 (*.f64 a #s(literal 27 binary64)) x))
(-.f64 (*.f64 #s(literal 2 binary64) b) (-.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) (*.f64 z t)) (*.f64 x (*.f64 a #s(literal 27 binary64)))))
(fma.f64 x (*.f64 a #s(literal 27 binary64)) (fma.f64 #s(literal 2 binary64) b (*.f64 t (*.f64 y (*.f64 #s(literal -9 binary64) z)))))
(fma.f64 x (*.f64 a #s(literal 27 binary64)) (fma.f64 #s(literal 2 binary64) b (*.f64 y (*.f64 z (*.f64 t #s(literal -9 binary64))))))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 z #s(literal 9 binary64)) y) t)) (*.f64 (*.f64 a #s(literal 27 binary64)) b))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 y #s(literal 9 binary64)) (*.f64 z t))) (*.f64 a (*.f64 #s(literal 27 binary64) b)))
(fma.f64 a (*.f64 #s(literal 27 binary64) b) (fma.f64 x #s(literal 2 binary64) (*.f64 t (*.f64 y (*.f64 #s(literal -9 binary64) z)))))
(fma.f64 a (*.f64 #s(literal 27 binary64) b) (fma.f64 x #s(literal 2 binary64) (*.f64 y (*.f64 z (*.f64 t #s(literal -9 binary64))))))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 t #s(literal 9 binary64)) z) y)) (*.f64 (*.f64 a #s(literal 27 binary64)) b))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 y #s(literal 9 binary64)) (*.f64 z t))) (*.f64 a (*.f64 #s(literal 27 binary64) b)))
(fma.f64 a (*.f64 #s(literal 27 binary64) b) (fma.f64 x #s(literal 2 binary64) (*.f64 t (*.f64 y (*.f64 #s(literal -9 binary64) z)))))
(fma.f64 a (*.f64 #s(literal 27 binary64) b) (fma.f64 x #s(literal 2 binary64) (*.f64 y (*.f64 z (*.f64 t #s(literal -9 binary64))))))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 a #s(literal 9 binary64)) z) t)) (*.f64 (*.f64 y #s(literal 27 binary64)) b))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 t (*.f64 z (*.f64 #s(literal 9 binary64) a)))) (*.f64 y (*.f64 #s(literal 27 binary64) b)))
(fma.f64 y (*.f64 #s(literal 27 binary64) b) (fma.f64 x #s(literal 2 binary64) (*.f64 t (*.f64 a (*.f64 #s(literal -9 binary64) z)))))
(fma.f64 y (*.f64 #s(literal 27 binary64) b) (fma.f64 x #s(literal 2 binary64) (*.f64 a (*.f64 z (*.f64 t #s(literal -9 binary64))))))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 b #s(literal 9 binary64)) z) t)) (*.f64 (*.f64 a #s(literal 27 binary64)) y))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 t (*.f64 z (*.f64 #s(literal 9 binary64) b)))) (*.f64 y (*.f64 a #s(literal 27 binary64))))
(fma.f64 y (*.f64 a #s(literal 27 binary64)) (fma.f64 x #s(literal 2 binary64) (*.f64 t (*.f64 b (*.f64 #s(literal -9 binary64) z)))))
(fma.f64 y (*.f64 a #s(literal 27 binary64)) (fma.f64 x #s(literal 2 binary64) (*.f64 (*.f64 z t) (*.f64 b #s(literal -9 binary64)))))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) t) z)) (*.f64 (*.f64 a #s(literal 27 binary64)) b))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 y #s(literal 9 binary64)) (*.f64 z t))) (*.f64 a (*.f64 #s(literal 27 binary64) b)))
(fma.f64 a (*.f64 #s(literal 27 binary64) b) (fma.f64 x #s(literal 2 binary64) (*.f64 t (*.f64 y (*.f64 #s(literal -9 binary64) z)))))
(fma.f64 a (*.f64 #s(literal 27 binary64) b) (fma.f64 x #s(literal 2 binary64) (*.f64 y (*.f64 z (*.f64 t #s(literal -9 binary64))))))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) a) t)) (*.f64 (*.f64 z #s(literal 27 binary64)) b))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 t (*.f64 (*.f64 y #s(literal 9 binary64)) a))) (*.f64 z (*.f64 #s(literal 27 binary64) b)))
(fma.f64 z (*.f64 #s(literal 27 binary64) b) (fma.f64 x #s(literal 2 binary64) (*.f64 (*.f64 y #s(literal -9 binary64)) (*.f64 t a))))
(fma.f64 z (*.f64 #s(literal 27 binary64) b) (fma.f64 x #s(literal 2 binary64) (*.f64 t (*.f64 a (*.f64 y #s(literal -9 binary64))))))
(fma.f64 z (*.f64 #s(literal 27 binary64) b) (fma.f64 x #s(literal 2 binary64) (*.f64 y (*.f64 (*.f64 t a) #s(literal -9 binary64)))))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) b) t)) (*.f64 (*.f64 a #s(literal 27 binary64)) z))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 y #s(literal 9 binary64)) (*.f64 b t))) (*.f64 z (*.f64 a #s(literal 27 binary64))))
(fma.f64 z (*.f64 a #s(literal 27 binary64)) (fma.f64 x #s(literal 2 binary64) (*.f64 (*.f64 y #s(literal -9 binary64)) (*.f64 t b))))
(fma.f64 z (*.f64 a #s(literal 27 binary64)) (fma.f64 x #s(literal 2 binary64) (*.f64 b (*.f64 y (*.f64 t #s(literal -9 binary64))))))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) a)) (*.f64 (*.f64 t #s(literal 27 binary64)) b))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 y #s(literal 9 binary64)) (*.f64 z a))) (*.f64 t (*.f64 #s(literal 27 binary64) b)))
(fma.f64 t (*.f64 #s(literal 27 binary64) b) (fma.f64 x #s(literal 2 binary64) (*.f64 a (*.f64 y (*.f64 #s(literal -9 binary64) z)))))
(fma.f64 t (*.f64 #s(literal 27 binary64) b) (fma.f64 x #s(literal 2 binary64) (*.f64 z (*.f64 a (*.f64 y #s(literal -9 binary64))))))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) b)) (*.f64 (*.f64 a #s(literal 27 binary64)) t))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 y #s(literal 9 binary64)) (*.f64 z b))) (*.f64 t (*.f64 a #s(literal 27 binary64))))
(fma.f64 t (*.f64 a #s(literal 27 binary64)) (fma.f64 x #s(literal 2 binary64) (*.f64 y (*.f64 (*.f64 #s(literal -9 binary64) z) b))))
(fma.f64 t (*.f64 a #s(literal 27 binary64)) (fma.f64 x #s(literal 2 binary64) (*.f64 y (*.f64 z (*.f64 b #s(literal -9 binary64))))))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) t)) (*.f64 (*.f64 b #s(literal 27 binary64)) a))
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 y #s(literal 9 binary64)) (*.f64 z t))) (*.f64 a (*.f64 #s(literal 27 binary64) b)))
(fma.f64 a (*.f64 #s(literal 27 binary64) b) (fma.f64 x #s(literal 2 binary64) (*.f64 t (*.f64 y (*.f64 #s(literal -9 binary64) z)))))
(fma.f64 a (*.f64 #s(literal 27 binary64) b) (fma.f64 x #s(literal 2 binary64) (*.f64 y (*.f64 z (*.f64 t #s(literal -9 binary64))))))
Symmetry

(sort y z t)

(sort a b)

Compiler

Compiled 23 to 17 computations (26.1% saved)

eval0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated
Compiler

Compiled 6 to 6 computations (0% saved)

prune1.0ms (0%)

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

Compiled 46 to 34 computations (26.1% 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
02667
13967
25767
37367
48567
59267
69467
Stop Event
1×saturated
Calls
Call 1
Inputs
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) t)) (*.f64 (*.f64 a #s(literal 27 binary64)) b))
Outputs
(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) t)) (*.f64 (*.f64 a #s(literal 27 binary64)) b))

soundness0.0ms (0%)

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

Compiled 23 to 17 computations (26.1% saved)

preprocess58.0ms (1.7%)

Memory
-12.8MiB live, 55.5MiB allocated
Compiler

Compiled 364 to 258 computations (29.1% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...