Average Error: 0.0 → 0.0
Time: 1.2s
Precision: 64
Internal Precision: 128
\[x + x \cdot x\]
↓
\[x \cdot x + x\]

Error

Bits error versus x

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Target

Original0.0
Target0.0
Herbie0.0
\[\left(1.0 + x\right) \cdot x\]

Derivation

  1. Initial program 0.0

    \[x + x \cdot x\]

  2. Final simplification0.0

    \[\leadsto x \cdot x + x\]

Reproduce

herbie shell --seed 2019005 
(FPCore (x)
  :name "Expression 2, p15"
  :pre (<= 0 x 2)

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

  (+ x (* x x)))

Details

Time bar (total: 966.0ms)Debug log

sample14.0ms

Algorithm
intervals

simplify6.0ms

Counts
1 → 1
Calls

1 calls. Slowest were:

5.0ms
(+ x (* x x))

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ x (* x x))

rewrite1.0ms

Algorithm
rewrite-expression-head
Counts
1 → 11
Calls

1 calls. Slowest were:

1.0ms
(+ x (* x x))

series26.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

26.0ms
(+ x (* x x))

simplify18.0ms

Counts
3 → 14
Calls

3 calls. Slowest were:

6.0ms
(+ x (pow x 2))
6.0ms
(+ x (pow x 2))
6.0ms
(+ x (pow x 2))

prune107.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize13.0ms

Local error

Found 1 expressions with local error:

0.0b
(* (+ x 1) x)

rewrite5.0ms

Algorithm
rewrite-expression-head
Counts
1 → 13
Calls

1 calls. Slowest were:

4.0ms
(* (+ x 1) x)

series28.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

28.0ms
(* (+ x 1) x)

simplify118.0ms

Counts
7 → 16
Calls

7 calls. Slowest were:

78.0ms
(* (- (* x x) (* 1 1)) x)
22.0ms
(* (+ (pow x 3) (pow 1 3)) x)
4.0ms
(+ x (pow x 2))

prune89.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes33.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch1.0ms

end0.0ms

sample499.0ms

Algorithm
intervals