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)$

# Try it out

Results

 In Out
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))