Average Error: 49.1 → 49.1

Time: 1.1s

Precision: 64

Internal Precision: 128

\[1.7 \cdot 10^{+308} \cdot t - 1.7 \cdot 10^{+308}\]

↓

\[1.7 \cdot 10^{+308} \cdot t - 1.7 \cdot 10^{+308}\]

Error

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

Try it out

In
Out

Enter valid numbers for all inputs

Target

Original	49.1
Target	0
Herbie	49.1

\[(\left( 1.7 \cdot 10^{+308} \right) \cdot t + \left(-1.7 \cdot 10^{+308}\right))_*\]

Derivation

Initial program 49.1
\[1.7 \cdot 10^{+308} \cdot t - 1.7 \cdot 10^{+308}\]
Final simplification49.1
\[\leadsto 1.7 \cdot 10^{+308} \cdot t - 1.7 \cdot 10^{+308}\]

Reproduce

herbie shell --seed 2019008 
(FPCore (t)
  :name "fma_test2"
  :pre (<= 1.9 t 2.1)

  :herbie-target
  (fma 1.7e+308 t (- 1.7e+308))

  (- (* 1.7e+308 t) 1.7e+308))

Details

sample20.0ms

Algorithm: intervals

simplify4.0ms

Counts

1 → 1

Calls

1 calls. Slowest were:

4.0ms

(- (* 1.7e+308 t) 1.7e+308)

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 49.2b

localize10.0ms

Local error

Found 1 expressions with local error:

49.2b

(- (* 1.7e+308 t) 1.7e+308)

rewrite2.0ms

Algorithm

rewrite-expression-head

Counts

1 → 11

Calls

1 calls. Slowest were:

2.0ms

(- (* 1.7e+308 t) 1.7e+308)

series23.0ms

Counts

1 → 3

Calls

1 calls. Slowest were:

23.0ms

(- (* 1.7e+308 t) 1.7e+308)

simplify25.0ms

Counts

3 → 14

Calls

3 calls. Slowest were:

8.0ms	(- (* 1.7e+308 t) 1.7e+308)
8.0ms	(- (* 1.7e+308 t) 1.7e+308)
8.0ms	(- (* 1.7e+308 t) 1.7e+308)

prune68.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 49.2b

end0.0ms

sample715.0ms

Algorithm: intervals