Average Error: 0.0 → 0.0
Time: 11.7s
Precision: 64
Internal precision: 1408
\[\left(\left(\left(-x1 \cdot x2\right) - \left(2 \cdot x2\right) \cdot x3\right) - x1\right) - x3\]
⬇
\[\left(\left(-x1\right) - \left(x3 + x3\right)\right) \cdot x2 - \left(x3 + x1\right)\]

Error

Bits error versus x1

Bits error versus x2

Bits error versus x3

Derivation

  1. Initial program 0.0

    \[\left(\left(\left(-x1 \cdot x2\right) - \left(2 \cdot x2\right) \cdot x3\right) - x1\right) - x3\]

  2. Applied simplify 0.0

    \[\leadsto \color{blue}{\left(\left(-x1\right) - \left(x3 + x3\right)\right) \cdot x2 - \left(x3 + x1\right)}\]
  3. Removed slow pow expressions

Runtime

Time bar (total: 11.7s) Debug log

Please include this information when filing a bug report:

herbie shell --seed '#(3052192724 3812927732 3686175817 630908657 2373248591 511094450)'
(FPCore (x1 x2 x3)
  :name "rigidBody1"
  :pre (and (<= -15 x1 15) (<= -15 x2 15) (<= -15 x3 15))
  (- (- (- (- (* x1 x2)) (* (* 2 x2) x3)) x1) x3))