Average Error: 0.1 → 0.1
Time: 20.2s
Precision: binary64
\[\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(9.22457123000000045 \cdot {x}^{6} - \left(67.7363663000000003 \cdot {x}^{5}\right) \cdot y\right) + \left(237.30905200000001 \cdot {x}^{4}\right) \cdot {y}^{2}\right) - \left(485.350159000000019 \cdot {x}^{3}\right) \cdot {y}^{3}\right) + \left(613.23480199999995 \cdot {x}^{2}\right) \cdot {y}^{4}\right) - \left(452.321167000000003 \cdot x\right) \cdot {y}^{5}\right) + 159.178237999999993 \cdot {y}^{6}\right) - 15.9176310999999995 \cdot {x}^{5}\right) + \left(74.7787780999999967 \cdot {x}^{4}\right) \cdot y\right) - \left(142.09953300000001 \cdot {x}^{3}\right) \cdot {y}^{2}\right) + \left(157.771422999999999 \cdot {x}^{2}\right) \cdot {y}^{3}\right) - \left(123.889465 \cdot x\right) \cdot {y}^{4}\right) + 71.1816788000000003 \cdot {y}^{5}\right) + 8.0488872499999999 \cdot {x}^{4}\right) - \left(18.5989380000000004 \cdot {x}^{3}\right) \cdot y\right) + \left(2.3470909600000001 \cdot {x}^{2}\right) \cdot {y}^{2}\right) + \left(19.770473500000001 \cdot x\right) \cdot {y}^{3}\right) + 2.07074881 \cdot {y}^{4}\right) - 0.801993607999999969 \cdot {x}^{3}\right) - \left(2.0227179500000001 \cdot {x}^{2}\right) \cdot y\right) + \left(10.0447788 \cdot x\right) \cdot {y}^{2}\right) - 3.47425484999999989 \cdot {y}^{3}\right) - 0.135039001999999991 \cdot {x}^{2}\right) + \left(1.1796890499999999 \cdot x\right) \cdot y\right) - 0.679169416000000026 \cdot {y}^{2}\right) + 0.042826682300000002 \cdot x\right) - 0.0518894903000000005 \cdot y\right) - 0.00163069670000000008\]
↓
\[\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(9.22457123000000045 \cdot {x}^{6} - \left(67.7363663000000003 \cdot {x}^{5}\right) \cdot y\right) + \left(237.30905200000001 \cdot {x}^{4}\right) \cdot {y}^{2}\right) - \left(485.350159000000019 \cdot {x}^{3}\right) \cdot {y}^{3}\right) + \left(613.23480199999995 \cdot {x}^{2}\right) \cdot {y}^{4}\right) - \left(452.321167000000003 \cdot x\right) \cdot {y}^{5}\right) + 159.178237999999993 \cdot {y}^{6}\right) - 15.9176310999999995 \cdot {x}^{5}\right) + \left(74.7787780999999967 \cdot {x}^{4}\right) \cdot y\right) - \left(142.09953300000001 \cdot {x}^{3}\right) \cdot {y}^{2}\right) + \left(157.771422999999999 \cdot {x}^{2}\right) \cdot {y}^{3}\right) - \left(123.889465 \cdot x\right) \cdot {y}^{4}\right) + 71.1816788000000003 \cdot {y}^{5}\right) + 8.0488872499999999 \cdot {x}^{4}\right) - \left(18.5989380000000004 \cdot {x}^{3}\right) \cdot y\right) + \left(2.3470909600000001 \cdot {x}^{2}\right) \cdot {y}^{2}\right) + \left(19.770473500000001 \cdot x\right) \cdot {y}^{3}\right) + 2.07074881 \cdot {y}^{4}\right) - 0.801993607999999969 \cdot {x}^{3}\right) - \left(2.0227179500000001 \cdot {x}^{2}\right) \cdot y\right) + \left(10.0447788 \cdot x\right) \cdot {y}^{2}\right) - 3.47425484999999989 \cdot {y}^{3}\right) - 0.135039001999999991 \cdot {x}^{2}\right) + \left(1.1796890499999999 \cdot x\right) \cdot y\right) - 0.679169416000000026 \cdot {y}^{2}\right) + 0.042826682300000002 \cdot x\right) - 0.0518894903000000005 \cdot y\right) - 0.00163069670000000008\]
\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(9.22457123000000045 \cdot {x}^{6} - \left(67.7363663000000003 \cdot {x}^{5}\right) \cdot y\right) + \left(237.30905200000001 \cdot {x}^{4}\right) \cdot {y}^{2}\right) - \left(485.350159000000019 \cdot {x}^{3}\right) \cdot {y}^{3}\right) + \left(613.23480199999995 \cdot {x}^{2}\right) \cdot {y}^{4}\right) - \left(452.321167000000003 \cdot x\right) \cdot {y}^{5}\right) + 159.178237999999993 \cdot {y}^{6}\right) - 15.9176310999999995 \cdot {x}^{5}\right) + \left(74.7787780999999967 \cdot {x}^{4}\right) \cdot y\right) - \left(142.09953300000001 \cdot {x}^{3}\right) \cdot {y}^{2}\right) + \left(157.771422999999999 \cdot {x}^{2}\right) \cdot {y}^{3}\right) - \left(123.889465 \cdot x\right) \cdot {y}^{4}\right) + 71.1816788000000003 \cdot {y}^{5}\right) + 8.0488872499999999 \cdot {x}^{4}\right) - \left(18.5989380000000004 \cdot {x}^{3}\right) \cdot y\right) + \left(2.3470909600000001 \cdot {x}^{2}\right) \cdot {y}^{2}\right) + \left(19.770473500000001 \cdot x\right) \cdot {y}^{3}\right) + 2.07074881 \cdot {y}^{4}\right) - 0.801993607999999969 \cdot {x}^{3}\right) - \left(2.0227179500000001 \cdot {x}^{2}\right) \cdot y\right) + \left(10.0447788 \cdot x\right) \cdot {y}^{2}\right) - 3.47425484999999989 \cdot {y}^{3}\right) - 0.135039001999999991 \cdot {x}^{2}\right) + \left(1.1796890499999999 \cdot x\right) \cdot y\right) - 0.679169416000000026 \cdot {y}^{2}\right) + 0.042826682300000002 \cdot x\right) - 0.0518894903000000005 \cdot y\right) - 0.00163069670000000008
↓
\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(9.22457123000000045 \cdot {x}^{6} - \left(67.7363663000000003 \cdot {x}^{5}\right) \cdot y\right) + \left(237.30905200000001 \cdot {x}^{4}\right) \cdot {y}^{2}\right) - \left(485.350159000000019 \cdot {x}^{3}\right) \cdot {y}^{3}\right) + \left(613.23480199999995 \cdot {x}^{2}\right) \cdot {y}^{4}\right) - \left(452.321167000000003 \cdot x\right) \cdot {y}^{5}\right) + 159.178237999999993 \cdot {y}^{6}\right) - 15.9176310999999995 \cdot {x}^{5}\right) + \left(74.7787780999999967 \cdot {x}^{4}\right) \cdot y\right) - \left(142.09953300000001 \cdot {x}^{3}\right) \cdot {y}^{2}\right) + \left(157.771422999999999 \cdot {x}^{2}\right) \cdot {y}^{3}\right) - \left(123.889465 \cdot x\right) \cdot {y}^{4}\right) + 71.1816788000000003 \cdot {y}^{5}\right) + 8.0488872499999999 \cdot {x}^{4}\right) - \left(18.5989380000000004 \cdot {x}^{3}\right) \cdot y\right) + \left(2.3470909600000001 \cdot {x}^{2}\right) \cdot {y}^{2}\right) + \left(19.770473500000001 \cdot x\right) \cdot {y}^{3}\right) + 2.07074881 \cdot {y}^{4}\right) - 0.801993607999999969 \cdot {x}^{3}\right) - \left(2.0227179500000001 \cdot {x}^{2}\right) \cdot y\right) + \left(10.0447788 \cdot x\right) \cdot {y}^{2}\right) - 3.47425484999999989 \cdot {y}^{3}\right) - 0.135039001999999991 \cdot {x}^{2}\right) + \left(1.1796890499999999 \cdot x\right) \cdot y\right) - 0.679169416000000026 \cdot {y}^{2}\right) + 0.042826682300000002 \cdot x\right) - 0.0518894903000000005 \cdot y\right) - 0.00163069670000000008
double code(double x, double y) {
	return ((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (9.22457123 * ((double) pow(x, 6.0)))) - ((double) (((double) (67.7363663 * ((double) pow(x, 5.0)))) * y)))) + ((double) (((double) (237.309052 * ((double) pow(x, 4.0)))) * ((double) pow(y, 2.0)))))) - ((double) (((double) (485.350159 * ((double) pow(x, 3.0)))) * ((double) pow(y, 3.0)))))) + ((double) (((double) (613.234802 * ((double) pow(x, 2.0)))) * ((double) pow(y, 4.0)))))) - ((double) (((double) (452.321167 * x)) * ((double) pow(y, 5.0)))))) + ((double) (159.178238 * ((double) pow(y, 6.0)))))) - ((double) (15.9176311 * ((double) pow(x, 5.0)))))) + ((double) (((double) (74.7787781 * ((double) pow(x, 4.0)))) * y)))) - ((double) (((double) (142.099533 * ((double) pow(x, 3.0)))) * ((double) pow(y, 2.0)))))) + ((double) (((double) (157.771423 * ((double) pow(x, 2.0)))) * ((double) pow(y, 3.0)))))) - ((double) (((double) (123.889465 * x)) * ((double) pow(y, 4.0)))))) + ((double) (71.1816788 * ((double) pow(y, 5.0)))))) + ((double) (8.04888725 * ((double) pow(x, 4.0)))))) - ((double) (((double) (18.598938 * ((double) pow(x, 3.0)))) * y)))) + ((double) (((double) (2.34709096 * ((double) pow(x, 2.0)))) * ((double) pow(y, 2.0)))))) + ((double) (((double) (19.7704735 * x)) * ((double) pow(y, 3.0)))))) + ((double) (2.07074881 * ((double) pow(y, 4.0)))))) - ((double) (0.801993608 * ((double) pow(x, 3.0)))))) - ((double) (((double) (2.02271795 * ((double) pow(x, 2.0)))) * y)))) + ((double) (((double) (10.0447788 * x)) * ((double) pow(y, 2.0)))))) - ((double) (3.47425485 * ((double) pow(y, 3.0)))))) - ((double) (0.135039002 * ((double) pow(x, 2.0)))))) + ((double) (((double) (1.17968905 * x)) * y)))) - ((double) (0.679169416 * ((double) pow(y, 2.0)))))) + ((double) (0.0428266823 * x)))) - ((double) (0.0518894903 * y)))) - 0.0016306967));
}
↓
double code(double x, double y) {
	return ((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (9.22457123 * ((double) pow(x, 6.0)))) - ((double) (((double) (67.7363663 * ((double) pow(x, 5.0)))) * y)))) + ((double) (((double) (237.309052 * ((double) pow(x, 4.0)))) * ((double) pow(y, 2.0)))))) - ((double) (((double) (485.350159 * ((double) pow(x, 3.0)))) * ((double) pow(y, 3.0)))))) + ((double) (((double) (613.234802 * ((double) pow(x, 2.0)))) * ((double) pow(y, 4.0)))))) - ((double) (((double) (452.321167 * x)) * ((double) pow(y, 5.0)))))) + ((double) (159.178238 * ((double) pow(y, 6.0)))))) - ((double) (15.9176311 * ((double) pow(x, 5.0)))))) + ((double) (((double) (74.7787781 * ((double) pow(x, 4.0)))) * y)))) - ((double) (((double) (142.099533 * ((double) pow(x, 3.0)))) * ((double) pow(y, 2.0)))))) + ((double) (((double) (157.771423 * ((double) pow(x, 2.0)))) * ((double) pow(y, 3.0)))))) - ((double) (((double) (123.889465 * x)) * ((double) pow(y, 4.0)))))) + ((double) (71.1816788 * ((double) pow(y, 5.0)))))) + ((double) (8.04888725 * ((double) pow(x, 4.0)))))) - ((double) (((double) (18.598938 * ((double) pow(x, 3.0)))) * y)))) + ((double) (((double) (2.34709096 * ((double) pow(x, 2.0)))) * ((double) pow(y, 2.0)))))) + ((double) (((double) (19.7704735 * x)) * ((double) pow(y, 3.0)))))) + ((double) (2.07074881 * ((double) pow(y, 4.0)))))) - ((double) (0.801993608 * ((double) pow(x, 3.0)))))) - ((double) (((double) (2.02271795 * ((double) pow(x, 2.0)))) * y)))) + ((double) (((double) (10.0447788 * x)) * ((double) pow(y, 2.0)))))) - ((double) (3.47425485 * ((double) pow(y, 3.0)))))) - ((double) (0.135039002 * ((double) pow(x, 2.0)))))) + ((double) (((double) (1.17968905 * x)) * y)))) - ((double) (0.679169416 * ((double) pow(y, 2.0)))))) + ((double) (0.0428266823 * x)))) - ((double) (0.0518894903 * y)))) - 0.0016306967));
}

Error

Bits error versus x

Bits error versus y

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.1

    \[\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(9.22457123000000045 \cdot {x}^{6} - \left(67.7363663000000003 \cdot {x}^{5}\right) \cdot y\right) + \left(237.30905200000001 \cdot {x}^{4}\right) \cdot {y}^{2}\right) - \left(485.350159000000019 \cdot {x}^{3}\right) \cdot {y}^{3}\right) + \left(613.23480199999995 \cdot {x}^{2}\right) \cdot {y}^{4}\right) - \left(452.321167000000003 \cdot x\right) \cdot {y}^{5}\right) + 159.178237999999993 \cdot {y}^{6}\right) - 15.9176310999999995 \cdot {x}^{5}\right) + \left(74.7787780999999967 \cdot {x}^{4}\right) \cdot y\right) - \left(142.09953300000001 \cdot {x}^{3}\right) \cdot {y}^{2}\right) + \left(157.771422999999999 \cdot {x}^{2}\right) \cdot {y}^{3}\right) - \left(123.889465 \cdot x\right) \cdot {y}^{4}\right) + 71.1816788000000003 \cdot {y}^{5}\right) + 8.0488872499999999 \cdot {x}^{4}\right) - \left(18.5989380000000004 \cdot {x}^{3}\right) \cdot y\right) + \left(2.3470909600000001 \cdot {x}^{2}\right) \cdot {y}^{2}\right) + \left(19.770473500000001 \cdot x\right) \cdot {y}^{3}\right) + 2.07074881 \cdot {y}^{4}\right) - 0.801993607999999969 \cdot {x}^{3}\right) - \left(2.0227179500000001 \cdot {x}^{2}\right) \cdot y\right) + \left(10.0447788 \cdot x\right) \cdot {y}^{2}\right) - 3.47425484999999989 \cdot {y}^{3}\right) - 0.135039001999999991 \cdot {x}^{2}\right) + \left(1.1796890499999999 \cdot x\right) \cdot y\right) - 0.679169416000000026 \cdot {y}^{2}\right) + 0.042826682300000002 \cdot x\right) - 0.0518894903000000005 \cdot y\right) - 0.00163069670000000008\]

  2. Final simplification0.1

    \[\leadsto \left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(9.22457123000000045 \cdot {x}^{6} - \left(67.7363663000000003 \cdot {x}^{5}\right) \cdot y\right) + \left(237.30905200000001 \cdot {x}^{4}\right) \cdot {y}^{2}\right) - \left(485.350159000000019 \cdot {x}^{3}\right) \cdot {y}^{3}\right) + \left(613.23480199999995 \cdot {x}^{2}\right) \cdot {y}^{4}\right) - \left(452.321167000000003 \cdot x\right) \cdot {y}^{5}\right) + 159.178237999999993 \cdot {y}^{6}\right) - 15.9176310999999995 \cdot {x}^{5}\right) + \left(74.7787780999999967 \cdot {x}^{4}\right) \cdot y\right) - \left(142.09953300000001 \cdot {x}^{3}\right) \cdot {y}^{2}\right) + \left(157.771422999999999 \cdot {x}^{2}\right) \cdot {y}^{3}\right) - \left(123.889465 \cdot x\right) \cdot {y}^{4}\right) + 71.1816788000000003 \cdot {y}^{5}\right) + 8.0488872499999999 \cdot {x}^{4}\right) - \left(18.5989380000000004 \cdot {x}^{3}\right) \cdot y\right) + \left(2.3470909600000001 \cdot {x}^{2}\right) \cdot {y}^{2}\right) + \left(19.770473500000001 \cdot x\right) \cdot {y}^{3}\right) + 2.07074881 \cdot {y}^{4}\right) - 0.801993607999999969 \cdot {x}^{3}\right) - \left(2.0227179500000001 \cdot {x}^{2}\right) \cdot y\right) + \left(10.0447788 \cdot x\right) \cdot {y}^{2}\right) - 3.47425484999999989 \cdot {y}^{3}\right) - 0.135039001999999991 \cdot {x}^{2}\right) + \left(1.1796890499999999 \cdot x\right) \cdot y\right) - 0.679169416000000026 \cdot {y}^{2}\right) + 0.042826682300000002 \cdot x\right) - 0.0518894903000000005 \cdot y\right) - 0.00163069670000000008\]

Reproduce

herbie shell --seed 2020153 
(FPCore (x y)
  :name "(- (- (+ (- (+ (- (- (+ (- (- (+ (+ (+ (- (+ (+ (- (+ (- (+ (- (+ (- (+ (- (+ (- (* 9.22457123 (pow x 6)) (* (* 67.7363663 (pow x 5)) y)) (* (* 237.309052 (pow x 4)) (pow y 2))) (* (* 485.350159 (pow x 3)) (pow y 3))) (* (* 613.234802 (pow x 2)) (pow y 4))) (* (* 452.321167 x) (pow y 5))) (* 159.178238 (pow y 6))) (* 15.9176311 (pow x 5))) (* (* 74.7787781 (pow x 4)) y)) (* (* 142.099533 (pow x 3)) (pow y 2))) (* (* 157.771423 (pow x 2)) (pow y 3))) (* (* 123.889465 x) (pow y 4))) (* 71.1816788 (pow y 5))) (* 8.04888725 (pow x 4))) (* (* 18.598938 (pow x 3)) y)) (* (* 2.34709096 (pow x 2)) (pow y 2))) (* (* 19.7704735 x) (pow y 3))) (* 2.07074881 (pow y 4))) (* 0.801993608 (pow x 3))) (* (* 2.02271795 (pow x 2)) y)) (* (* 10.0447788 x) (pow y 2))) (* 3.47425485 (pow y 3))) (* 0.135039002 (pow x 2))) (* (* 1.17968905 x) y)) (* 0.679169416 (pow y 2))) (* 0.0428266823 x)) (* 0.0518894903 y)) 0.0016306967)"
  :precision binary64
  (- (- (+ (- (+ (- (- (+ (- (- (+ (+ (+ (- (+ (+ (- (+ (- (+ (- (+ (- (+ (- (+ (- (* 9.22457123 (pow x 6.0)) (* (* 67.7363663 (pow x 5.0)) y)) (* (* 237.309052 (pow x 4.0)) (pow y 2.0))) (* (* 485.350159 (pow x 3.0)) (pow y 3.0))) (* (* 613.234802 (pow x 2.0)) (pow y 4.0))) (* (* 452.321167 x) (pow y 5.0))) (* 159.178238 (pow y 6.0))) (* 15.9176311 (pow x 5.0))) (* (* 74.7787781 (pow x 4.0)) y)) (* (* 142.099533 (pow x 3.0)) (pow y 2.0))) (* (* 157.771423 (pow x 2.0)) (pow y 3.0))) (* (* 123.889465 x) (pow y 4.0))) (* 71.1816788 (pow y 5.0))) (* 8.04888725 (pow x 4.0))) (* (* 18.598938 (pow x 3.0)) y)) (* (* 2.34709096 (pow x 2.0)) (pow y 2.0))) (* (* 19.7704735 x) (pow y 3.0))) (* 2.07074881 (pow y 4.0))) (* 0.801993608 (pow x 3.0))) (* (* 2.02271795 (pow x 2.0)) y)) (* (* 10.0447788 x) (pow y 2.0))) (* 3.47425485 (pow y 3.0))) (* 0.135039002 (pow x 2.0))) (* (* 1.17968905 x) y)) (* 0.679169416 (pow y 2.0))) (* 0.0428266823 x)) (* 0.0518894903 y)) 0.0016306967))