?

Average Accuracy: 100.0% → 100.0%
Time: 1.9s
Precision: binary64
Cost: 13120

?

\[\mathsf{\_.f64}\left(\mathsf{pow.f64}\left(x, 4\right), \mathsf{pow.f64}\left(y, 4\right)\right) \]
↓
\[\mathsf{\_.f64}\left(\mathsf{pow.f64}\left(x, 4\right), \mathsf{pow.f64}\left(y, 4\right)\right) \]
(FPCore (x y) :precision binary64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)))
↓
(FPCore (x y) :precision binary64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)))
\mathsf{\_.f64}\left(\mathsf{pow.f64}\left(x, 4\right), \mathsf{pow.f64}\left(y, 4\right)\right)
↓
\mathsf{\_.f64}\left(\mathsf{pow.f64}\left(x, 4\right), \mathsf{pow.f64}\left(y, 4\right)\right)

Error?

Derivation?

  1. Initial program 100.0%

    \[\mathsf{\_.f64}\left(\mathsf{pow.f64}\left(x, 4\right), \mathsf{pow.f64}\left(y, 4\right)\right) \]

  2. Final simplification100.0%

    \[\leadsto \mathsf{\_.f64}\left(\mathsf{pow.f64}\left(x, 4\right), \mathsf{pow.f64}\left(y, 4\right)\right) \]

Alternatives

Alternative 1
Accuracy99.8%
Cost7040
\[\mathsf{\_.f64}\left(\mathsf{*.f64}\left(\mathsf{*.f64}\left(x, x\right), \mathsf{*.f64}\left(x, x\right)\right), \mathsf{pow.f64}\left(y, 4\right)\right) \]

Error

Reproduce?

herbie shell --seed 2023144 
(FPCore (x y)
  :name "Radioactive exchange between two surfaces"
  :precision binary64
  (- (pow x 4.0) (pow y 4.0)))