Average Error: 0.0 → 0.0
Time: 17.6s
Precision: 64
Internal Precision: 384
\[\left(\left(x - \frac{\left(x \cdot x\right) \cdot x}{6.0}\right) + \frac{\left(\left(\left(x \cdot x\right) \cdot x\right) \cdot x\right) \cdot x}{120}\right) - \frac{\left(\left(\left(\left(\left(x \cdot x\right) \cdot x\right) \cdot x\right) \cdot x\right) \cdot x\right) \cdot x}{5040}\]
↓
\[\left(\left(x - \frac{\left(x \cdot x\right) \cdot x}{6.0}\right) + \frac{\left(\left(\left(x \cdot x\right) \cdot x\right) \cdot x\right) \cdot x}{120}\right) - \frac{\left(\left(\left(\left(\left(x \cdot x\right) \cdot x\right) \cdot x\right) \cdot x\right) \cdot x\right) \cdot x}{5040}\]

Error

Bits error versus x

Derivation

  1. Initial program 0.0

    \[\left(\left(x - \frac{\left(x \cdot x\right) \cdot x}{6.0}\right) + \frac{\left(\left(\left(x \cdot x\right) \cdot x\right) \cdot x\right) \cdot x}{120}\right) - \frac{\left(\left(\left(\left(\left(x \cdot x\right) \cdot x\right) \cdot x\right) \cdot x\right) \cdot x\right) \cdot x}{5040}\]

Runtime

Time bar (total: 17.6s)Debug log

herbie shell --seed '#(1743936871 1855164119 3668777427 1254258049 132811564 1366975197)' 
(FPCore (x)
  :name "sine"
  :pre (< -1.57079632679 x 1.57079632679)
  (- (+ (- x (/ (* (* x x) x) 6.0)) (/ (* (* (* (* x x) x) x) x) 120)) (/ (* (* (* (* (* (* x x) x) x) x) x) x) 5040)))