Average Error: 0.1 → 0.1
Time: 42.8s
Precision: 64
Internal Precision: 576
\[\left(\left(\left(-3\right) \cdot {\left(1 - \left|x\right|\right)}^{3} + 3 \cdot {\left(1 - \left|x\right|\right)}^{2}\right) + 3 \cdot \left(1 - \left|x\right|\right)\right) + 1\]
\[1 + \left(\left(1 - \left|x\right|\right) \cdot 3 + \left({\left(1 - \left|x\right|\right)}^{2} \cdot 3 + {\left(1 - \left|x\right|\right)}^{3} \cdot \left(-3\right)\right)\right)\]

Error

Bits error versus x

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.1

    \[\left(\left(\left(-3\right) \cdot {\left(1 - \left|x\right|\right)}^{3} + 3 \cdot {\left(1 - \left|x\right|\right)}^{2}\right) + 3 \cdot \left(1 - \left|x\right|\right)\right) + 1\]
  2. Final simplification0.1

    \[\leadsto 1 + \left(\left(1 - \left|x\right|\right) \cdot 3 + \left({\left(1 - \left|x\right|\right)}^{2} \cdot 3 + {\left(1 - \left|x\right|\right)}^{3} \cdot \left(-3\right)\right)\right)\]

Runtime

Time bar (total: 42.8s)Debug log

herbie shell --seed '#(2775764126 3555076145 3898259844 1891440260 2599947619 1948460636)' 
(FPCore (x)
  :name "-3*pow(1-abs(x), 3) + 3*pow(1-abs(x), 2) + 3*(1-abs(x)) + 1"
  (+ (+ (+ (* (- 3) (pow (- 1 (fabs x)) 3)) (* 3 (pow (- 1 (fabs x)) 2))) (* 3 (- 1 (fabs x)))) 1))