Error

Target

Derivation

1. Initial program 0.0

   \[x \cdot \left(x \cdot x\right) + x \cdot x\]

2. Initial simplification0.0

   \[\leadsto (\left(x \cdot x\right) \cdot x + \left(x \cdot x\right))_*\]

3. Final simplification0.0

   \[\leadsto (\left(x \cdot x\right) \cdot x + \left(x \cdot x\right))_*\]

Reproduce

herbie shell --seed 2018365 +o rules:numerics
(FPCore (x)
  :name "Expression 3, p15"
  :pre (<= 0 x 2)

  :herbie-target
  (* (* (+ 1.0 x) x) x)

  (+ (* x (* x x)) (* x x)))

Details

Time bar (total: 134.0ms)Debug log