\[\left(\left(\left(x2 \cdot x5 + x3 \cdot x6\right) - x2 \cdot x3\right) - x5 \cdot x6\right) + x1 \cdot \left(\left(\left(\left(\left(\left(-x1\right) + x2\right) + x3\right) - x4\right) + x5\right) + x6\right)\]

⬇

\[\left(\left(x2 - \left(x4 - x3\right)\right) + \left(\left(\left(-x1\right) + x5\right) + x6\right)\right) \cdot x1 + \left(x3 - x5\right) \cdot \left(x6 - x2\right)\]

Error

The X axis uses an exponential scale — Bits error versus `x1`

Derivation

Initial program 0.6
\[\left(\left(\left(x2 \cdot x5 + x3 \cdot x6\right) - x2 \cdot x3\right) - x5 \cdot x6\right) + x1 \cdot \left(\left(\left(\left(\left(\left(-x1\right) + x2\right) + x3\right) - x4\right) + x5\right) + x6\right)\]
Applied simplify 0.5
\[\leadsto \color{blue}{\left(\left(x2 - \left(x4 - x3\right)\right) + \left(\left(-x1\right) + \left(x5 + x6\right)\right)\right) \cdot x1 + \left(x3 - x5\right) \cdot \left(x6 - x2\right)}\]
Using strategy rm
Applied associate-+r+ 0.4
\[\leadsto \left(\left(x2 - \left(x4 - x3\right)\right) + \color{blue}{\left(\left(\left(-x1\right) + x5\right) + x6\right)}\right) \cdot x1 + \left(x3 - x5\right) \cdot \left(x6 - x2\right)\]
Removed slow pow expressions

Runtime

Please include this information when filing a bug report:

herbie shell --seed '#(3052192724 3812927732 3686175817 630908657 2373248591 511094450)'
(FPCore (x1 x2 x3 x4 x5 x6)
  :name "kepler0"
  :pre (and (<= 4 x1 6.36) (<= 4 x2 6.36) (<= 4 x3 6.36) (<= 4 x4 6.36) (<= 4 x5 6.36) (<= 4 x6 6.36))
  (+ (- (- (+ (* x2 x5) (* x3 x6)) (* x2 x3)) (* x5 x6)) (* x1 (+ (+ (- (+ (+ (- x1) x2) x3) x4) x5) x6))))