Average Error: 0.0 → 0.0
Time: 5.1s
Precision: binary64
Cost: 13248
\[\left(x + \sin y\right) + z \cdot \cos y\]
↓
\[\left(x + \sin y\right) + z \cdot \cos y\]
\left(x + \sin y\right) + z \cdot \cos y
↓
\left(x + \sin y\right) + z \cdot \cos y
(FPCore (x y z) :precision binary64 (+ (+ x (sin y)) (* z (cos y))))
↓
(FPCore (x y z) :precision binary64 (+ (+ x (sin y)) (* z (cos y))))
double code(double x, double y, double z) {
	return (x + sin(y)) + (z * cos(y));
}
↓
double code(double x, double y, double z) {
	return (x + sin(y)) + (z * cos(y));
}

Error

Bits error versus x

Bits error versus y

Bits error versus z

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Alternatives

Alternative 1
Error6.7
Cost13762
\[\begin{array}{l} \mathbf{if}\;z \leq -9.62357613532672 \cdot 10^{+76}:\\ \;\;\;\;z \cdot \cos y\\ \mathbf{elif}\;z \leq 4.118018030230282 \cdot 10^{+109}:\\ \;\;\;\;\left(x + \sin y\right) + z\\ \mathbf{else}:\\ \;\;\;\;\sin y + z \cdot \cos y\\ \end{array}\]
Alternative 2
Error6.7
Cost7048
\[\begin{array}{l} \mathbf{if}\;z \leq -1.2814941463379462 \cdot 10^{+67} \lor \neg \left(z \leq 8.31862896526868 \cdot 10^{+107}\right):\\ \;\;\;\;z \cdot \cos y\\ \mathbf{else}:\\ \;\;\;\;\left(x + \sin y\right) + z\\ \end{array}\]
Alternative 3
Error9.8
Cost7876
\[\begin{array}{l} \mathbf{if}\;z \leq -5.485349392695098 \cdot 10^{+75}:\\ \;\;\;\;z \cdot \cos y\\ \mathbf{elif}\;z \leq -4.768470180631663 \cdot 10^{-136}:\\ \;\;\;\;x + z\\ \mathbf{elif}\;z \leq 1.873623504149235 \cdot 10^{-15}:\\ \;\;\;\;x + \sin y\\ \mathbf{elif}\;z \leq 1.229903405129335 \cdot 10^{+109}:\\ \;\;\;\;x + z\\ \mathbf{else}:\\ \;\;\;\;z \cdot \cos y\\ \end{array}\]
Alternative 4
Error11.9
Cost6920
\[\begin{array}{l} \mathbf{if}\;y \leq -778898.0100712044 \lor \neg \left(y \leq 37.486313585383726\right):\\ \;\;\;\;x + \sin y\\ \mathbf{else}:\\ \;\;\;\;y + \left(x + z\right)\\ \end{array}\]
Alternative 5
Error19.1
Cost648
\[\begin{array}{l} \mathbf{if}\;y \leq -1.2923377884600853 \cdot 10^{+26} \lor \neg \left(y \leq 2.2245944804441787 \cdot 10^{-18}\right):\\ \;\;\;\;x + z\\ \mathbf{else}:\\ \;\;\;\;y + \left(x + z\right)\\ \end{array}\]
Alternative 6
Error21.6
Cost192
\[x + z\]
Alternative 7
Error36.9
Cost64
\[x\]
Alternative 8
Error61.3
Cost64
\[-1\]
Alternative 9
Error61.2
Cost64
\[1\]

Error

Derivation

  1. Initial program 0.0

    \[\left(x + \sin y\right) + z \cdot \cos y\]

  2. Simplified0.0

    \[\leadsto \color{blue}{\left(x + \sin y\right) + z \cdot \cos y}\]

  3. Final simplification0.0

    \[\leadsto \left(x + \sin y\right) + z \cdot \cos y\]

Reproduce

herbie shell --seed 2021044 
(FPCore (x y z)
  :name "Graphics.Rasterific.Svg.PathConverter:segmentToBezier from rasterific-svg-0.2.3.1, C"
  :precision binary64
  (+ (+ x (sin y)) (* z (cos y))))