Average Error: 0.1 → 0.1
Time: 44.6s
Precision: 64
\[0.0 \le x1 \le 1 \land 0.0 \le x2 \le 1 \land 0.0 \le x3 \le 1\]
\[-\left(\left(\left(1 \cdot e^{-\left(\left(3 \cdot \left(\left(x1 - 0.368900000000000005684341886080801486969\right) \cdot \left(x1 - 0.368900000000000005684341886080801486969\right)\right) + 10 \cdot \left(\left(x2 - 0.1170000000000000067723604502134548965842\right) \cdot \left(x2 - 0.1170000000000000067723604502134548965842\right)\right)\right) + 30 \cdot \left(\left(x3 - 0.2672999999999999820587959220574703067541\right) \cdot \left(x3 - 0.2672999999999999820587959220574703067541\right)\right)\right)} + 1.199999999999999955591079014993738383055 \cdot e^{-\left(\left(0.1000000000000000055511151231257827021182 \cdot \left(\left(x1 - 0.4698999999999999843680598132777959108353\right) \cdot \left(x1 - 0.4698999999999999843680598132777959108353\right)\right) + 10 \cdot \left(\left(x2 - 0.4386999999999999788613536111370194703341\right) \cdot \left(x2 - 0.4386999999999999788613536111370194703341\right)\right)\right) + 35 \cdot \left(\left(x3 - 0.7469999999999999973354647408996243029833\right) \cdot \left(x3 - 0.7469999999999999973354647408996243029833\right)\right)\right)}\right) + 3 \cdot e^{-\left(\left(3 \cdot \left(\left(x1 - 0.1091000000000000025313084961453569121659\right) \cdot \left(x1 - 0.1091000000000000025313084961453569121659\right)\right) + 10 \cdot \left(\left(x2 - 0.8731999999999999761968183520366437733173\right) \cdot \left(x2 - 0.8731999999999999761968183520366437733173\right)\right)\right) + 30 \cdot \left(\left(x3 - 0.5546999999999999708677478338358923792839\right) \cdot \left(x3 - 0.5546999999999999708677478338358923792839\right)\right)\right)}\right) + 3.200000000000000177635683940025046467781 \cdot e^{-\left(\left(0.1000000000000000055511151231257827021182 \cdot \left(\left(x1 - 0.03815000000000000335287353436797275207937\right) \cdot \left(x1 - 0.03815000000000000335287353436797275207937\right)\right) + 10 \cdot \left(\left(x2 - 0.5743000000000000326849658449646085500717\right) \cdot \left(x2 - 0.5743000000000000326849658449646085500717\right)\right)\right) + 35 \cdot \left(\left(x3 - 0.8828000000000000291322521661641076207161\right) \cdot \left(x3 - 0.8828000000000000291322521661641076207161\right)\right)\right)}\right)\]
\[-\left(\left(\left(\left(\sqrt{e^{-\left(\left(10 \cdot \left(\left(x2 - 0.4386999999999999788613536111370194703341\right) \cdot \left(x2 - 0.4386999999999999788613536111370194703341\right)\right) + \left(\left(x1 - 0.4698999999999999843680598132777959108353\right) \cdot \left(x1 - 0.4698999999999999843680598132777959108353\right)\right) \cdot 0.1000000000000000055511151231257827021182\right) + \left(\left(x3 - 0.7469999999999999973354647408996243029833\right) \cdot \left(x3 - 0.7469999999999999973354647408996243029833\right)\right) \cdot 35\right)}} \cdot \sqrt{e^{-\left(\left(10 \cdot \left(\left(x2 - 0.4386999999999999788613536111370194703341\right) \cdot \left(x2 - 0.4386999999999999788613536111370194703341\right)\right) + \left(\left(x1 - 0.4698999999999999843680598132777959108353\right) \cdot \left(x1 - 0.4698999999999999843680598132777959108353\right)\right) \cdot 0.1000000000000000055511151231257827021182\right) + \left(\left(x3 - 0.7469999999999999973354647408996243029833\right) \cdot \left(x3 - 0.7469999999999999973354647408996243029833\right)\right) \cdot 35\right)}}\right) \cdot 1.199999999999999955591079014993738383055 + 1 \cdot e^{-\left(30 \cdot \left(\left(x3 - 0.2672999999999999820587959220574703067541\right) \cdot \left(x3 - 0.2672999999999999820587959220574703067541\right)\right) + \left(\frac{\left(\left(x1 \cdot x1\right) \cdot x1 - \left(0.368900000000000005684341886080801486969 \cdot 0.368900000000000005684341886080801486969\right) \cdot 0.368900000000000005684341886080801486969\right) \cdot \left(\left(3 \cdot \left(0.368900000000000005684341886080801486969 + x1\right)\right) \cdot \left(x1 - 0.368900000000000005684341886080801486969\right)\right)}{\left(\left(0.368900000000000005684341886080801486969 \cdot 0.368900000000000005684341886080801486969 + x1 \cdot 0.368900000000000005684341886080801486969\right) + x1 \cdot x1\right) \cdot \left(0.368900000000000005684341886080801486969 + x1\right)} + 10 \cdot \left(\left(x2 - 0.1170000000000000067723604502134548965842\right) \cdot \left(x2 - 0.1170000000000000067723604502134548965842\right)\right)\right)\right)}\right) + e^{-\left(\left(10 \cdot \left(\left(x2 - 0.8731999999999999761968183520366437733173\right) \cdot \left(x2 - 0.8731999999999999761968183520366437733173\right)\right) + \left(\left(x1 - 0.1091000000000000025313084961453569121659\right) \cdot \left(x1 - 0.1091000000000000025313084961453569121659\right)\right) \cdot 3\right) + \left(\left(x3 - 0.5546999999999999708677478338358923792839\right) \cdot \left(x3 - 0.5546999999999999708677478338358923792839\right)\right) \cdot 30\right)} \cdot 3\right) + e^{-\left(\left(10 \cdot \left(\left(x2 - 0.5743000000000000326849658449646085500717\right) \cdot \left(x2 - 0.5743000000000000326849658449646085500717\right)\right) + 0.1000000000000000055511151231257827021182 \cdot \left(\left(x1 - 0.03815000000000000335287353436797275207937\right) \cdot \left(x1 - 0.03815000000000000335287353436797275207937\right)\right)\right) + \left(\left(x3 - 0.8828000000000000291322521661641076207161\right) \cdot \left(x3 - 0.8828000000000000291322521661641076207161\right)\right) \cdot 35\right)} \cdot 3.200000000000000177635683940025046467781\right)\]
-\left(\left(\left(1 \cdot e^{-\left(\left(3 \cdot \left(\left(x1 - 0.368900000000000005684341886080801486969\right) \cdot \left(x1 - 0.368900000000000005684341886080801486969\right)\right) + 10 \cdot \left(\left(x2 - 0.1170000000000000067723604502134548965842\right) \cdot \left(x2 - 0.1170000000000000067723604502134548965842\right)\right)\right) + 30 \cdot \left(\left(x3 - 0.2672999999999999820587959220574703067541\right) \cdot \left(x3 - 0.2672999999999999820587959220574703067541\right)\right)\right)} + 1.199999999999999955591079014993738383055 \cdot e^{-\left(\left(0.1000000000000000055511151231257827021182 \cdot \left(\left(x1 - 0.4698999999999999843680598132777959108353\right) \cdot \left(x1 - 0.4698999999999999843680598132777959108353\right)\right) + 10 \cdot \left(\left(x2 - 0.4386999999999999788613536111370194703341\right) \cdot \left(x2 - 0.4386999999999999788613536111370194703341\right)\right)\right) + 35 \cdot \left(\left(x3 - 0.7469999999999999973354647408996243029833\right) \cdot \left(x3 - 0.7469999999999999973354647408996243029833\right)\right)\right)}\right) + 3 \cdot e^{-\left(\left(3 \cdot \left(\left(x1 - 0.1091000000000000025313084961453569121659\right) \cdot \left(x1 - 0.1091000000000000025313084961453569121659\right)\right) + 10 \cdot \left(\left(x2 - 0.8731999999999999761968183520366437733173\right) \cdot \left(x2 - 0.8731999999999999761968183520366437733173\right)\right)\right) + 30 \cdot \left(\left(x3 - 0.5546999999999999708677478338358923792839\right) \cdot \left(x3 - 0.5546999999999999708677478338358923792839\right)\right)\right)}\right) + 3.200000000000000177635683940025046467781 \cdot e^{-\left(\left(0.1000000000000000055511151231257827021182 \cdot \left(\left(x1 - 0.03815000000000000335287353436797275207937\right) \cdot \left(x1 - 0.03815000000000000335287353436797275207937\right)\right) + 10 \cdot \left(\left(x2 - 0.5743000000000000326849658449646085500717\right) \cdot \left(x2 - 0.5743000000000000326849658449646085500717\right)\right)\right) + 35 \cdot \left(\left(x3 - 0.8828000000000000291322521661641076207161\right) \cdot \left(x3 - 0.8828000000000000291322521661641076207161\right)\right)\right)}\right)
-\left(\left(\left(\left(\sqrt{e^{-\left(\left(10 \cdot \left(\left(x2 - 0.4386999999999999788613536111370194703341\right) \cdot \left(x2 - 0.4386999999999999788613536111370194703341\right)\right) + \left(\left(x1 - 0.4698999999999999843680598132777959108353\right) \cdot \left(x1 - 0.4698999999999999843680598132777959108353\right)\right) \cdot 0.1000000000000000055511151231257827021182\right) + \left(\left(x3 - 0.7469999999999999973354647408996243029833\right) \cdot \left(x3 - 0.7469999999999999973354647408996243029833\right)\right) \cdot 35\right)}} \cdot \sqrt{e^{-\left(\left(10 \cdot \left(\left(x2 - 0.4386999999999999788613536111370194703341\right) \cdot \left(x2 - 0.4386999999999999788613536111370194703341\right)\right) + \left(\left(x1 - 0.4698999999999999843680598132777959108353\right) \cdot \left(x1 - 0.4698999999999999843680598132777959108353\right)\right) \cdot 0.1000000000000000055511151231257827021182\right) + \left(\left(x3 - 0.7469999999999999973354647408996243029833\right) \cdot \left(x3 - 0.7469999999999999973354647408996243029833\right)\right) \cdot 35\right)}}\right) \cdot 1.199999999999999955591079014993738383055 + 1 \cdot e^{-\left(30 \cdot \left(\left(x3 - 0.2672999999999999820587959220574703067541\right) \cdot \left(x3 - 0.2672999999999999820587959220574703067541\right)\right) + \left(\frac{\left(\left(x1 \cdot x1\right) \cdot x1 - \left(0.368900000000000005684341886080801486969 \cdot 0.368900000000000005684341886080801486969\right) \cdot 0.368900000000000005684341886080801486969\right) \cdot \left(\left(3 \cdot \left(0.368900000000000005684341886080801486969 + x1\right)\right) \cdot \left(x1 - 0.368900000000000005684341886080801486969\right)\right)}{\left(\left(0.368900000000000005684341886080801486969 \cdot 0.368900000000000005684341886080801486969 + x1 \cdot 0.368900000000000005684341886080801486969\right) + x1 \cdot x1\right) \cdot \left(0.368900000000000005684341886080801486969 + x1\right)} + 10 \cdot \left(\left(x2 - 0.1170000000000000067723604502134548965842\right) \cdot \left(x2 - 0.1170000000000000067723604502134548965842\right)\right)\right)\right)}\right) + e^{-\left(\left(10 \cdot \left(\left(x2 - 0.8731999999999999761968183520366437733173\right) \cdot \left(x2 - 0.8731999999999999761968183520366437733173\right)\right) + \left(\left(x1 - 0.1091000000000000025313084961453569121659\right) \cdot \left(x1 - 0.1091000000000000025313084961453569121659\right)\right) \cdot 3\right) + \left(\left(x3 - 0.5546999999999999708677478338358923792839\right) \cdot \left(x3 - 0.5546999999999999708677478338358923792839\right)\right) \cdot 30\right)} \cdot 3\right) + e^{-\left(\left(10 \cdot \left(\left(x2 - 0.5743000000000000326849658449646085500717\right) \cdot \left(x2 - 0.5743000000000000326849658449646085500717\right)\right) + 0.1000000000000000055511151231257827021182 \cdot \left(\left(x1 - 0.03815000000000000335287353436797275207937\right) \cdot \left(x1 - 0.03815000000000000335287353436797275207937\right)\right)\right) + \left(\left(x3 - 0.8828000000000000291322521661641076207161\right) \cdot \left(x3 - 0.8828000000000000291322521661641076207161\right)\right) \cdot 35\right)} \cdot 3.200000000000000177635683940025046467781\right)
double f(double x1, double x2, double x3) {
        double r40794411 = 1.0;
        double r40794412 = 3.0;
        double r40794413 = x1;
        double r40794414 = 0.3689;
        double r40794415 = r40794413 - r40794414;
        double r40794416 = r40794415 * r40794415;
        double r40794417 = r40794412 * r40794416;
        double r40794418 = 10.0;
        double r40794419 = x2;
        double r40794420 = 0.117;
        double r40794421 = r40794419 - r40794420;
        double r40794422 = r40794421 * r40794421;
        double r40794423 = r40794418 * r40794422;
        double r40794424 = r40794417 + r40794423;
        double r40794425 = 30.0;
        double r40794426 = x3;
        double r40794427 = 0.2673;
        double r40794428 = r40794426 - r40794427;
        double r40794429 = r40794428 * r40794428;
        double r40794430 = r40794425 * r40794429;
        double r40794431 = r40794424 + r40794430;
        double r40794432 = -r40794431;
        double r40794433 = exp(r40794432);
        double r40794434 = r40794411 * r40794433;
        double r40794435 = 1.2;
        double r40794436 = 0.1;
        double r40794437 = 0.4699;
        double r40794438 = r40794413 - r40794437;
        double r40794439 = r40794438 * r40794438;
        double r40794440 = r40794436 * r40794439;
        double r40794441 = 0.4387;
        double r40794442 = r40794419 - r40794441;
        double r40794443 = r40794442 * r40794442;
        double r40794444 = r40794418 * r40794443;
        double r40794445 = r40794440 + r40794444;
        double r40794446 = 35.0;
        double r40794447 = 0.747;
        double r40794448 = r40794426 - r40794447;
        double r40794449 = r40794448 * r40794448;
        double r40794450 = r40794446 * r40794449;
        double r40794451 = r40794445 + r40794450;
        double r40794452 = -r40794451;
        double r40794453 = exp(r40794452);
        double r40794454 = r40794435 * r40794453;
        double r40794455 = r40794434 + r40794454;
        double r40794456 = 0.1091;
        double r40794457 = r40794413 - r40794456;
        double r40794458 = r40794457 * r40794457;
        double r40794459 = r40794412 * r40794458;
        double r40794460 = 0.8732;
        double r40794461 = r40794419 - r40794460;
        double r40794462 = r40794461 * r40794461;
        double r40794463 = r40794418 * r40794462;
        double r40794464 = r40794459 + r40794463;
        double r40794465 = 0.5547;
        double r40794466 = r40794426 - r40794465;
        double r40794467 = r40794466 * r40794466;
        double r40794468 = r40794425 * r40794467;
        double r40794469 = r40794464 + r40794468;
        double r40794470 = -r40794469;
        double r40794471 = exp(r40794470);
        double r40794472 = r40794412 * r40794471;
        double r40794473 = r40794455 + r40794472;
        double r40794474 = 3.2;
        double r40794475 = 0.03815;
        double r40794476 = r40794413 - r40794475;
        double r40794477 = r40794476 * r40794476;
        double r40794478 = r40794436 * r40794477;
        double r40794479 = 0.5743;
        double r40794480 = r40794419 - r40794479;
        double r40794481 = r40794480 * r40794480;
        double r40794482 = r40794418 * r40794481;
        double r40794483 = r40794478 + r40794482;
        double r40794484 = 0.8828;
        double r40794485 = r40794426 - r40794484;
        double r40794486 = r40794485 * r40794485;
        double r40794487 = r40794446 * r40794486;
        double r40794488 = r40794483 + r40794487;
        double r40794489 = -r40794488;
        double r40794490 = exp(r40794489);
        double r40794491 = r40794474 * r40794490;
        double r40794492 = r40794473 + r40794491;
        double r40794493 = -r40794492;
        return r40794493;
}

double f(double x1, double x2, double x3) {
        double r40794494 = 10.0;
        double r40794495 = x2;
        double r40794496 = 0.4387;
        double r40794497 = r40794495 - r40794496;
        double r40794498 = r40794497 * r40794497;
        double r40794499 = r40794494 * r40794498;
        double r40794500 = x1;
        double r40794501 = 0.4699;
        double r40794502 = r40794500 - r40794501;
        double r40794503 = r40794502 * r40794502;
        double r40794504 = 0.1;
        double r40794505 = r40794503 * r40794504;
        double r40794506 = r40794499 + r40794505;
        double r40794507 = x3;
        double r40794508 = 0.747;
        double r40794509 = r40794507 - r40794508;
        double r40794510 = r40794509 * r40794509;
        double r40794511 = 35.0;
        double r40794512 = r40794510 * r40794511;
        double r40794513 = r40794506 + r40794512;
        double r40794514 = -r40794513;
        double r40794515 = exp(r40794514);
        double r40794516 = sqrt(r40794515);
        double r40794517 = r40794516 * r40794516;
        double r40794518 = 1.2;
        double r40794519 = r40794517 * r40794518;
        double r40794520 = 1.0;
        double r40794521 = 30.0;
        double r40794522 = 0.2673;
        double r40794523 = r40794507 - r40794522;
        double r40794524 = r40794523 * r40794523;
        double r40794525 = r40794521 * r40794524;
        double r40794526 = r40794500 * r40794500;
        double r40794527 = r40794526 * r40794500;
        double r40794528 = 0.3689;
        double r40794529 = r40794528 * r40794528;
        double r40794530 = r40794529 * r40794528;
        double r40794531 = r40794527 - r40794530;
        double r40794532 = 3.0;
        double r40794533 = r40794528 + r40794500;
        double r40794534 = r40794532 * r40794533;
        double r40794535 = r40794500 - r40794528;
        double r40794536 = r40794534 * r40794535;
        double r40794537 = r40794531 * r40794536;
        double r40794538 = r40794500 * r40794528;
        double r40794539 = r40794529 + r40794538;
        double r40794540 = r40794539 + r40794526;
        double r40794541 = r40794540 * r40794533;
        double r40794542 = r40794537 / r40794541;
        double r40794543 = 0.117;
        double r40794544 = r40794495 - r40794543;
        double r40794545 = r40794544 * r40794544;
        double r40794546 = r40794494 * r40794545;
        double r40794547 = r40794542 + r40794546;
        double r40794548 = r40794525 + r40794547;
        double r40794549 = -r40794548;
        double r40794550 = exp(r40794549);
        double r40794551 = r40794520 * r40794550;
        double r40794552 = r40794519 + r40794551;
        double r40794553 = 0.8732;
        double r40794554 = r40794495 - r40794553;
        double r40794555 = r40794554 * r40794554;
        double r40794556 = r40794494 * r40794555;
        double r40794557 = 0.1091;
        double r40794558 = r40794500 - r40794557;
        double r40794559 = r40794558 * r40794558;
        double r40794560 = r40794559 * r40794532;
        double r40794561 = r40794556 + r40794560;
        double r40794562 = 0.5547;
        double r40794563 = r40794507 - r40794562;
        double r40794564 = r40794563 * r40794563;
        double r40794565 = r40794564 * r40794521;
        double r40794566 = r40794561 + r40794565;
        double r40794567 = -r40794566;
        double r40794568 = exp(r40794567);
        double r40794569 = r40794568 * r40794532;
        double r40794570 = r40794552 + r40794569;
        double r40794571 = 0.5743;
        double r40794572 = r40794495 - r40794571;
        double r40794573 = r40794572 * r40794572;
        double r40794574 = r40794494 * r40794573;
        double r40794575 = 0.03815;
        double r40794576 = r40794500 - r40794575;
        double r40794577 = r40794576 * r40794576;
        double r40794578 = r40794504 * r40794577;
        double r40794579 = r40794574 + r40794578;
        double r40794580 = 0.8828;
        double r40794581 = r40794507 - r40794580;
        double r40794582 = r40794581 * r40794581;
        double r40794583 = r40794582 * r40794511;
        double r40794584 = r40794579 + r40794583;
        double r40794585 = -r40794584;
        double r40794586 = exp(r40794585);
        double r40794587 = 3.2;
        double r40794588 = r40794586 * r40794587;
        double r40794589 = r40794570 + r40794588;
        double r40794590 = -r40794589;
        return r40794590;
}

Error

Bits error versus x1

Bits error versus x2

Bits error versus x3

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.1

    \[-\left(\left(\left(1 \cdot e^{-\left(\left(3 \cdot \left(\left(x1 - 0.368900000000000005684341886080801486969\right) \cdot \left(x1 - 0.368900000000000005684341886080801486969\right)\right) + 10 \cdot \left(\left(x2 - 0.1170000000000000067723604502134548965842\right) \cdot \left(x2 - 0.1170000000000000067723604502134548965842\right)\right)\right) + 30 \cdot \left(\left(x3 - 0.2672999999999999820587959220574703067541\right) \cdot \left(x3 - 0.2672999999999999820587959220574703067541\right)\right)\right)} + 1.199999999999999955591079014993738383055 \cdot e^{-\left(\left(0.1000000000000000055511151231257827021182 \cdot \left(\left(x1 - 0.4698999999999999843680598132777959108353\right) \cdot \left(x1 - 0.4698999999999999843680598132777959108353\right)\right) + 10 \cdot \left(\left(x2 - 0.4386999999999999788613536111370194703341\right) \cdot \left(x2 - 0.4386999999999999788613536111370194703341\right)\right)\right) + 35 \cdot \left(\left(x3 - 0.7469999999999999973354647408996243029833\right) \cdot \left(x3 - 0.7469999999999999973354647408996243029833\right)\right)\right)}\right) + 3 \cdot e^{-\left(\left(3 \cdot \left(\left(x1 - 0.1091000000000000025313084961453569121659\right) \cdot \left(x1 - 0.1091000000000000025313084961453569121659\right)\right) + 10 \cdot \left(\left(x2 - 0.8731999999999999761968183520366437733173\right) \cdot \left(x2 - 0.8731999999999999761968183520366437733173\right)\right)\right) + 30 \cdot \left(\left(x3 - 0.5546999999999999708677478338358923792839\right) \cdot \left(x3 - 0.5546999999999999708677478338358923792839\right)\right)\right)}\right) + 3.200000000000000177635683940025046467781 \cdot e^{-\left(\left(0.1000000000000000055511151231257827021182 \cdot \left(\left(x1 - 0.03815000000000000335287353436797275207937\right) \cdot \left(x1 - 0.03815000000000000335287353436797275207937\right)\right) + 10 \cdot \left(\left(x2 - 0.5743000000000000326849658449646085500717\right) \cdot \left(x2 - 0.5743000000000000326849658449646085500717\right)\right)\right) + 35 \cdot \left(\left(x3 - 0.8828000000000000291322521661641076207161\right) \cdot \left(x3 - 0.8828000000000000291322521661641076207161\right)\right)\right)}\right)\]
  2. Using strategy rm
  3. Applied flip3--0.1

    \[\leadsto -\left(\left(\left(1 \cdot e^{-\left(\left(3 \cdot \left(\left(x1 - 0.368900000000000005684341886080801486969\right) \cdot \color{blue}{\frac{{x1}^{3} - {0.368900000000000005684341886080801486969}^{3}}{x1 \cdot x1 + \left(0.368900000000000005684341886080801486969 \cdot 0.368900000000000005684341886080801486969 + x1 \cdot 0.368900000000000005684341886080801486969\right)}}\right) + 10 \cdot \left(\left(x2 - 0.1170000000000000067723604502134548965842\right) \cdot \left(x2 - 0.1170000000000000067723604502134548965842\right)\right)\right) + 30 \cdot \left(\left(x3 - 0.2672999999999999820587959220574703067541\right) \cdot \left(x3 - 0.2672999999999999820587959220574703067541\right)\right)\right)} + 1.199999999999999955591079014993738383055 \cdot e^{-\left(\left(0.1000000000000000055511151231257827021182 \cdot \left(\left(x1 - 0.4698999999999999843680598132777959108353\right) \cdot \left(x1 - 0.4698999999999999843680598132777959108353\right)\right) + 10 \cdot \left(\left(x2 - 0.4386999999999999788613536111370194703341\right) \cdot \left(x2 - 0.4386999999999999788613536111370194703341\right)\right)\right) + 35 \cdot \left(\left(x3 - 0.7469999999999999973354647408996243029833\right) \cdot \left(x3 - 0.7469999999999999973354647408996243029833\right)\right)\right)}\right) + 3 \cdot e^{-\left(\left(3 \cdot \left(\left(x1 - 0.1091000000000000025313084961453569121659\right) \cdot \left(x1 - 0.1091000000000000025313084961453569121659\right)\right) + 10 \cdot \left(\left(x2 - 0.8731999999999999761968183520366437733173\right) \cdot \left(x2 - 0.8731999999999999761968183520366437733173\right)\right)\right) + 30 \cdot \left(\left(x3 - 0.5546999999999999708677478338358923792839\right) \cdot \left(x3 - 0.5546999999999999708677478338358923792839\right)\right)\right)}\right) + 3.200000000000000177635683940025046467781 \cdot e^{-\left(\left(0.1000000000000000055511151231257827021182 \cdot \left(\left(x1 - 0.03815000000000000335287353436797275207937\right) \cdot \left(x1 - 0.03815000000000000335287353436797275207937\right)\right) + 10 \cdot \left(\left(x2 - 0.5743000000000000326849658449646085500717\right) \cdot \left(x2 - 0.5743000000000000326849658449646085500717\right)\right)\right) + 35 \cdot \left(\left(x3 - 0.8828000000000000291322521661641076207161\right) \cdot \left(x3 - 0.8828000000000000291322521661641076207161\right)\right)\right)}\right)\]
  4. Applied flip--0.1

    \[\leadsto -\left(\left(\left(1 \cdot e^{-\left(\left(3 \cdot \left(\color{blue}{\frac{x1 \cdot x1 - 0.368900000000000005684341886080801486969 \cdot 0.368900000000000005684341886080801486969}{x1 + 0.368900000000000005684341886080801486969}} \cdot \frac{{x1}^{3} - {0.368900000000000005684341886080801486969}^{3}}{x1 \cdot x1 + \left(0.368900000000000005684341886080801486969 \cdot 0.368900000000000005684341886080801486969 + x1 \cdot 0.368900000000000005684341886080801486969\right)}\right) + 10 \cdot \left(\left(x2 - 0.1170000000000000067723604502134548965842\right) \cdot \left(x2 - 0.1170000000000000067723604502134548965842\right)\right)\right) + 30 \cdot \left(\left(x3 - 0.2672999999999999820587959220574703067541\right) \cdot \left(x3 - 0.2672999999999999820587959220574703067541\right)\right)\right)} + 1.199999999999999955591079014993738383055 \cdot e^{-\left(\left(0.1000000000000000055511151231257827021182 \cdot \left(\left(x1 - 0.4698999999999999843680598132777959108353\right) \cdot \left(x1 - 0.4698999999999999843680598132777959108353\right)\right) + 10 \cdot \left(\left(x2 - 0.4386999999999999788613536111370194703341\right) \cdot \left(x2 - 0.4386999999999999788613536111370194703341\right)\right)\right) + 35 \cdot \left(\left(x3 - 0.7469999999999999973354647408996243029833\right) \cdot \left(x3 - 0.7469999999999999973354647408996243029833\right)\right)\right)}\right) + 3 \cdot e^{-\left(\left(3 \cdot \left(\left(x1 - 0.1091000000000000025313084961453569121659\right) \cdot \left(x1 - 0.1091000000000000025313084961453569121659\right)\right) + 10 \cdot \left(\left(x2 - 0.8731999999999999761968183520366437733173\right) \cdot \left(x2 - 0.8731999999999999761968183520366437733173\right)\right)\right) + 30 \cdot \left(\left(x3 - 0.5546999999999999708677478338358923792839\right) \cdot \left(x3 - 0.5546999999999999708677478338358923792839\right)\right)\right)}\right) + 3.200000000000000177635683940025046467781 \cdot e^{-\left(\left(0.1000000000000000055511151231257827021182 \cdot \left(\left(x1 - 0.03815000000000000335287353436797275207937\right) \cdot \left(x1 - 0.03815000000000000335287353436797275207937\right)\right) + 10 \cdot \left(\left(x2 - 0.5743000000000000326849658449646085500717\right) \cdot \left(x2 - 0.5743000000000000326849658449646085500717\right)\right)\right) + 35 \cdot \left(\left(x3 - 0.8828000000000000291322521661641076207161\right) \cdot \left(x3 - 0.8828000000000000291322521661641076207161\right)\right)\right)}\right)\]
  5. Applied frac-times0.1

    \[\leadsto -\left(\left(\left(1 \cdot e^{-\left(\left(3 \cdot \color{blue}{\frac{\left(x1 \cdot x1 - 0.368900000000000005684341886080801486969 \cdot 0.368900000000000005684341886080801486969\right) \cdot \left({x1}^{3} - {0.368900000000000005684341886080801486969}^{3}\right)}{\left(x1 + 0.368900000000000005684341886080801486969\right) \cdot \left(x1 \cdot x1 + \left(0.368900000000000005684341886080801486969 \cdot 0.368900000000000005684341886080801486969 + x1 \cdot 0.368900000000000005684341886080801486969\right)\right)}} + 10 \cdot \left(\left(x2 - 0.1170000000000000067723604502134548965842\right) \cdot \left(x2 - 0.1170000000000000067723604502134548965842\right)\right)\right) + 30 \cdot \left(\left(x3 - 0.2672999999999999820587959220574703067541\right) \cdot \left(x3 - 0.2672999999999999820587959220574703067541\right)\right)\right)} + 1.199999999999999955591079014993738383055 \cdot e^{-\left(\left(0.1000000000000000055511151231257827021182 \cdot \left(\left(x1 - 0.4698999999999999843680598132777959108353\right) \cdot \left(x1 - 0.4698999999999999843680598132777959108353\right)\right) + 10 \cdot \left(\left(x2 - 0.4386999999999999788613536111370194703341\right) \cdot \left(x2 - 0.4386999999999999788613536111370194703341\right)\right)\right) + 35 \cdot \left(\left(x3 - 0.7469999999999999973354647408996243029833\right) \cdot \left(x3 - 0.7469999999999999973354647408996243029833\right)\right)\right)}\right) + 3 \cdot e^{-\left(\left(3 \cdot \left(\left(x1 - 0.1091000000000000025313084961453569121659\right) \cdot \left(x1 - 0.1091000000000000025313084961453569121659\right)\right) + 10 \cdot \left(\left(x2 - 0.8731999999999999761968183520366437733173\right) \cdot \left(x2 - 0.8731999999999999761968183520366437733173\right)\right)\right) + 30 \cdot \left(\left(x3 - 0.5546999999999999708677478338358923792839\right) \cdot \left(x3 - 0.5546999999999999708677478338358923792839\right)\right)\right)}\right) + 3.200000000000000177635683940025046467781 \cdot e^{-\left(\left(0.1000000000000000055511151231257827021182 \cdot \left(\left(x1 - 0.03815000000000000335287353436797275207937\right) \cdot \left(x1 - 0.03815000000000000335287353436797275207937\right)\right) + 10 \cdot \left(\left(x2 - 0.5743000000000000326849658449646085500717\right) \cdot \left(x2 - 0.5743000000000000326849658449646085500717\right)\right)\right) + 35 \cdot \left(\left(x3 - 0.8828000000000000291322521661641076207161\right) \cdot \left(x3 - 0.8828000000000000291322521661641076207161\right)\right)\right)}\right)\]
  6. Applied associate-*r/0.1

    \[\leadsto -\left(\left(\left(1 \cdot e^{-\left(\left(\color{blue}{\frac{3 \cdot \left(\left(x1 \cdot x1 - 0.368900000000000005684341886080801486969 \cdot 0.368900000000000005684341886080801486969\right) \cdot \left({x1}^{3} - {0.368900000000000005684341886080801486969}^{3}\right)\right)}{\left(x1 + 0.368900000000000005684341886080801486969\right) \cdot \left(x1 \cdot x1 + \left(0.368900000000000005684341886080801486969 \cdot 0.368900000000000005684341886080801486969 + x1 \cdot 0.368900000000000005684341886080801486969\right)\right)}} + 10 \cdot \left(\left(x2 - 0.1170000000000000067723604502134548965842\right) \cdot \left(x2 - 0.1170000000000000067723604502134548965842\right)\right)\right) + 30 \cdot \left(\left(x3 - 0.2672999999999999820587959220574703067541\right) \cdot \left(x3 - 0.2672999999999999820587959220574703067541\right)\right)\right)} + 1.199999999999999955591079014993738383055 \cdot e^{-\left(\left(0.1000000000000000055511151231257827021182 \cdot \left(\left(x1 - 0.4698999999999999843680598132777959108353\right) \cdot \left(x1 - 0.4698999999999999843680598132777959108353\right)\right) + 10 \cdot \left(\left(x2 - 0.4386999999999999788613536111370194703341\right) \cdot \left(x2 - 0.4386999999999999788613536111370194703341\right)\right)\right) + 35 \cdot \left(\left(x3 - 0.7469999999999999973354647408996243029833\right) \cdot \left(x3 - 0.7469999999999999973354647408996243029833\right)\right)\right)}\right) + 3 \cdot e^{-\left(\left(3 \cdot \left(\left(x1 - 0.1091000000000000025313084961453569121659\right) \cdot \left(x1 - 0.1091000000000000025313084961453569121659\right)\right) + 10 \cdot \left(\left(x2 - 0.8731999999999999761968183520366437733173\right) \cdot \left(x2 - 0.8731999999999999761968183520366437733173\right)\right)\right) + 30 \cdot \left(\left(x3 - 0.5546999999999999708677478338358923792839\right) \cdot \left(x3 - 0.5546999999999999708677478338358923792839\right)\right)\right)}\right) + 3.200000000000000177635683940025046467781 \cdot e^{-\left(\left(0.1000000000000000055511151231257827021182 \cdot \left(\left(x1 - 0.03815000000000000335287353436797275207937\right) \cdot \left(x1 - 0.03815000000000000335287353436797275207937\right)\right) + 10 \cdot \left(\left(x2 - 0.5743000000000000326849658449646085500717\right) \cdot \left(x2 - 0.5743000000000000326849658449646085500717\right)\right)\right) + 35 \cdot \left(\left(x3 - 0.8828000000000000291322521661641076207161\right) \cdot \left(x3 - 0.8828000000000000291322521661641076207161\right)\right)\right)}\right)\]
  7. Simplified0.1

    \[\leadsto -\left(\left(\left(1 \cdot e^{-\left(\left(\frac{\color{blue}{\left(\left(3 \cdot \left(x1 + 0.368900000000000005684341886080801486969\right)\right) \cdot \left(x1 - 0.368900000000000005684341886080801486969\right)\right) \cdot \left(\left(x1 \cdot x1\right) \cdot x1 - 0.368900000000000005684341886080801486969 \cdot \left(0.368900000000000005684341886080801486969 \cdot 0.368900000000000005684341886080801486969\right)\right)}}{\left(x1 + 0.368900000000000005684341886080801486969\right) \cdot \left(x1 \cdot x1 + \left(0.368900000000000005684341886080801486969 \cdot 0.368900000000000005684341886080801486969 + x1 \cdot 0.368900000000000005684341886080801486969\right)\right)} + 10 \cdot \left(\left(x2 - 0.1170000000000000067723604502134548965842\right) \cdot \left(x2 - 0.1170000000000000067723604502134548965842\right)\right)\right) + 30 \cdot \left(\left(x3 - 0.2672999999999999820587959220574703067541\right) \cdot \left(x3 - 0.2672999999999999820587959220574703067541\right)\right)\right)} + 1.199999999999999955591079014993738383055 \cdot e^{-\left(\left(0.1000000000000000055511151231257827021182 \cdot \left(\left(x1 - 0.4698999999999999843680598132777959108353\right) \cdot \left(x1 - 0.4698999999999999843680598132777959108353\right)\right) + 10 \cdot \left(\left(x2 - 0.4386999999999999788613536111370194703341\right) \cdot \left(x2 - 0.4386999999999999788613536111370194703341\right)\right)\right) + 35 \cdot \left(\left(x3 - 0.7469999999999999973354647408996243029833\right) \cdot \left(x3 - 0.7469999999999999973354647408996243029833\right)\right)\right)}\right) + 3 \cdot e^{-\left(\left(3 \cdot \left(\left(x1 - 0.1091000000000000025313084961453569121659\right) \cdot \left(x1 - 0.1091000000000000025313084961453569121659\right)\right) + 10 \cdot \left(\left(x2 - 0.8731999999999999761968183520366437733173\right) \cdot \left(x2 - 0.8731999999999999761968183520366437733173\right)\right)\right) + 30 \cdot \left(\left(x3 - 0.5546999999999999708677478338358923792839\right) \cdot \left(x3 - 0.5546999999999999708677478338358923792839\right)\right)\right)}\right) + 3.200000000000000177635683940025046467781 \cdot e^{-\left(\left(0.1000000000000000055511151231257827021182 \cdot \left(\left(x1 - 0.03815000000000000335287353436797275207937\right) \cdot \left(x1 - 0.03815000000000000335287353436797275207937\right)\right) + 10 \cdot \left(\left(x2 - 0.5743000000000000326849658449646085500717\right) \cdot \left(x2 - 0.5743000000000000326849658449646085500717\right)\right)\right) + 35 \cdot \left(\left(x3 - 0.8828000000000000291322521661641076207161\right) \cdot \left(x3 - 0.8828000000000000291322521661641076207161\right)\right)\right)}\right)\]
  8. Using strategy rm
  9. Applied add-sqr-sqrt0.1

    \[\leadsto -\left(\left(\left(1 \cdot e^{-\left(\left(\frac{\left(\left(3 \cdot \left(x1 + 0.368900000000000005684341886080801486969\right)\right) \cdot \left(x1 - 0.368900000000000005684341886080801486969\right)\right) \cdot \left(\left(x1 \cdot x1\right) \cdot x1 - 0.368900000000000005684341886080801486969 \cdot \left(0.368900000000000005684341886080801486969 \cdot 0.368900000000000005684341886080801486969\right)\right)}{\left(x1 + 0.368900000000000005684341886080801486969\right) \cdot \left(x1 \cdot x1 + \left(0.368900000000000005684341886080801486969 \cdot 0.368900000000000005684341886080801486969 + x1 \cdot 0.368900000000000005684341886080801486969\right)\right)} + 10 \cdot \left(\left(x2 - 0.1170000000000000067723604502134548965842\right) \cdot \left(x2 - 0.1170000000000000067723604502134548965842\right)\right)\right) + 30 \cdot \left(\left(x3 - 0.2672999999999999820587959220574703067541\right) \cdot \left(x3 - 0.2672999999999999820587959220574703067541\right)\right)\right)} + 1.199999999999999955591079014993738383055 \cdot \color{blue}{\left(\sqrt{e^{-\left(\left(0.1000000000000000055511151231257827021182 \cdot \left(\left(x1 - 0.4698999999999999843680598132777959108353\right) \cdot \left(x1 - 0.4698999999999999843680598132777959108353\right)\right) + 10 \cdot \left(\left(x2 - 0.4386999999999999788613536111370194703341\right) \cdot \left(x2 - 0.4386999999999999788613536111370194703341\right)\right)\right) + 35 \cdot \left(\left(x3 - 0.7469999999999999973354647408996243029833\right) \cdot \left(x3 - 0.7469999999999999973354647408996243029833\right)\right)\right)}} \cdot \sqrt{e^{-\left(\left(0.1000000000000000055511151231257827021182 \cdot \left(\left(x1 - 0.4698999999999999843680598132777959108353\right) \cdot \left(x1 - 0.4698999999999999843680598132777959108353\right)\right) + 10 \cdot \left(\left(x2 - 0.4386999999999999788613536111370194703341\right) \cdot \left(x2 - 0.4386999999999999788613536111370194703341\right)\right)\right) + 35 \cdot \left(\left(x3 - 0.7469999999999999973354647408996243029833\right) \cdot \left(x3 - 0.7469999999999999973354647408996243029833\right)\right)\right)}}\right)}\right) + 3 \cdot e^{-\left(\left(3 \cdot \left(\left(x1 - 0.1091000000000000025313084961453569121659\right) \cdot \left(x1 - 0.1091000000000000025313084961453569121659\right)\right) + 10 \cdot \left(\left(x2 - 0.8731999999999999761968183520366437733173\right) \cdot \left(x2 - 0.8731999999999999761968183520366437733173\right)\right)\right) + 30 \cdot \left(\left(x3 - 0.5546999999999999708677478338358923792839\right) \cdot \left(x3 - 0.5546999999999999708677478338358923792839\right)\right)\right)}\right) + 3.200000000000000177635683940025046467781 \cdot e^{-\left(\left(0.1000000000000000055511151231257827021182 \cdot \left(\left(x1 - 0.03815000000000000335287353436797275207937\right) \cdot \left(x1 - 0.03815000000000000335287353436797275207937\right)\right) + 10 \cdot \left(\left(x2 - 0.5743000000000000326849658449646085500717\right) \cdot \left(x2 - 0.5743000000000000326849658449646085500717\right)\right)\right) + 35 \cdot \left(\left(x3 - 0.8828000000000000291322521661641076207161\right) \cdot \left(x3 - 0.8828000000000000291322521661641076207161\right)\right)\right)}\right)\]
  10. Final simplification0.1

    \[\leadsto -\left(\left(\left(\left(\sqrt{e^{-\left(\left(10 \cdot \left(\left(x2 - 0.4386999999999999788613536111370194703341\right) \cdot \left(x2 - 0.4386999999999999788613536111370194703341\right)\right) + \left(\left(x1 - 0.4698999999999999843680598132777959108353\right) \cdot \left(x1 - 0.4698999999999999843680598132777959108353\right)\right) \cdot 0.1000000000000000055511151231257827021182\right) + \left(\left(x3 - 0.7469999999999999973354647408996243029833\right) \cdot \left(x3 - 0.7469999999999999973354647408996243029833\right)\right) \cdot 35\right)}} \cdot \sqrt{e^{-\left(\left(10 \cdot \left(\left(x2 - 0.4386999999999999788613536111370194703341\right) \cdot \left(x2 - 0.4386999999999999788613536111370194703341\right)\right) + \left(\left(x1 - 0.4698999999999999843680598132777959108353\right) \cdot \left(x1 - 0.4698999999999999843680598132777959108353\right)\right) \cdot 0.1000000000000000055511151231257827021182\right) + \left(\left(x3 - 0.7469999999999999973354647408996243029833\right) \cdot \left(x3 - 0.7469999999999999973354647408996243029833\right)\right) \cdot 35\right)}}\right) \cdot 1.199999999999999955591079014993738383055 + 1 \cdot e^{-\left(30 \cdot \left(\left(x3 - 0.2672999999999999820587959220574703067541\right) \cdot \left(x3 - 0.2672999999999999820587959220574703067541\right)\right) + \left(\frac{\left(\left(x1 \cdot x1\right) \cdot x1 - \left(0.368900000000000005684341886080801486969 \cdot 0.368900000000000005684341886080801486969\right) \cdot 0.368900000000000005684341886080801486969\right) \cdot \left(\left(3 \cdot \left(0.368900000000000005684341886080801486969 + x1\right)\right) \cdot \left(x1 - 0.368900000000000005684341886080801486969\right)\right)}{\left(\left(0.368900000000000005684341886080801486969 \cdot 0.368900000000000005684341886080801486969 + x1 \cdot 0.368900000000000005684341886080801486969\right) + x1 \cdot x1\right) \cdot \left(0.368900000000000005684341886080801486969 + x1\right)} + 10 \cdot \left(\left(x2 - 0.1170000000000000067723604502134548965842\right) \cdot \left(x2 - 0.1170000000000000067723604502134548965842\right)\right)\right)\right)}\right) + e^{-\left(\left(10 \cdot \left(\left(x2 - 0.8731999999999999761968183520366437733173\right) \cdot \left(x2 - 0.8731999999999999761968183520366437733173\right)\right) + \left(\left(x1 - 0.1091000000000000025313084961453569121659\right) \cdot \left(x1 - 0.1091000000000000025313084961453569121659\right)\right) \cdot 3\right) + \left(\left(x3 - 0.5546999999999999708677478338358923792839\right) \cdot \left(x3 - 0.5546999999999999708677478338358923792839\right)\right) \cdot 30\right)} \cdot 3\right) + e^{-\left(\left(10 \cdot \left(\left(x2 - 0.5743000000000000326849658449646085500717\right) \cdot \left(x2 - 0.5743000000000000326849658449646085500717\right)\right) + 0.1000000000000000055511151231257827021182 \cdot \left(\left(x1 - 0.03815000000000000335287353436797275207937\right) \cdot \left(x1 - 0.03815000000000000335287353436797275207937\right)\right)\right) + \left(\left(x3 - 0.8828000000000000291322521661641076207161\right) \cdot \left(x3 - 0.8828000000000000291322521661641076207161\right)\right) \cdot 35\right)} \cdot 3.200000000000000177635683940025046467781\right)\]

Reproduce

herbie shell --seed 1 
(FPCore (x1 x2 x3)
  :name "hartman3"
  :pre (and (<= 0.0 x1 1.0) (<= 0.0 x2 1.0) (<= 0.0 x3 1.0))
  (- (+ (+ (+ (* 1.0 (exp (- (+ (+ (* 3.0 (* (- x1 0.3689) (- x1 0.3689))) (* 10.0 (* (- x2 0.117) (- x2 0.117)))) (* 30.0 (* (- x3 0.2673) (- x3 0.2673))))))) (* 1.2 (exp (- (+ (+ (* 0.1 (* (- x1 0.4699) (- x1 0.4699))) (* 10.0 (* (- x2 0.4387) (- x2 0.4387)))) (* 35.0 (* (- x3 0.747) (- x3 0.747)))))))) (* 3.0 (exp (- (+ (+ (* 3.0 (* (- x1 0.1091) (- x1 0.1091))) (* 10.0 (* (- x2 0.8732) (- x2 0.8732)))) (* 30.0 (* (- x3 0.5547) (- x3 0.5547)))))))) (* 3.2 (exp (- (+ (+ (* 0.1 (* (- x1 0.03815) (- x1 0.03815))) (* 10.0 (* (- x2 0.5743) (- x2 0.5743)))) (* 35.0 (* (- x3 0.8828) (- x3 0.8828))))))))))