Average Error: 0.1 → 0.1
Time: 43.0s
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 r7449324 = 1.0;
        double r7449325 = 3.0;
        double r7449326 = x1;
        double r7449327 = 0.3689;
        double r7449328 = r7449326 - r7449327;
        double r7449329 = r7449328 * r7449328;
        double r7449330 = r7449325 * r7449329;
        double r7449331 = 10.0;
        double r7449332 = x2;
        double r7449333 = 0.117;
        double r7449334 = r7449332 - r7449333;
        double r7449335 = r7449334 * r7449334;
        double r7449336 = r7449331 * r7449335;
        double r7449337 = r7449330 + r7449336;
        double r7449338 = 30.0;
        double r7449339 = x3;
        double r7449340 = 0.2673;
        double r7449341 = r7449339 - r7449340;
        double r7449342 = r7449341 * r7449341;
        double r7449343 = r7449338 * r7449342;
        double r7449344 = r7449337 + r7449343;
        double r7449345 = -r7449344;
        double r7449346 = exp(r7449345);
        double r7449347 = r7449324 * r7449346;
        double r7449348 = 1.2;
        double r7449349 = 0.1;
        double r7449350 = 0.4699;
        double r7449351 = r7449326 - r7449350;
        double r7449352 = r7449351 * r7449351;
        double r7449353 = r7449349 * r7449352;
        double r7449354 = 0.4387;
        double r7449355 = r7449332 - r7449354;
        double r7449356 = r7449355 * r7449355;
        double r7449357 = r7449331 * r7449356;
        double r7449358 = r7449353 + r7449357;
        double r7449359 = 35.0;
        double r7449360 = 0.747;
        double r7449361 = r7449339 - r7449360;
        double r7449362 = r7449361 * r7449361;
        double r7449363 = r7449359 * r7449362;
        double r7449364 = r7449358 + r7449363;
        double r7449365 = -r7449364;
        double r7449366 = exp(r7449365);
        double r7449367 = r7449348 * r7449366;
        double r7449368 = r7449347 + r7449367;
        double r7449369 = 0.1091;
        double r7449370 = r7449326 - r7449369;
        double r7449371 = r7449370 * r7449370;
        double r7449372 = r7449325 * r7449371;
        double r7449373 = 0.8732;
        double r7449374 = r7449332 - r7449373;
        double r7449375 = r7449374 * r7449374;
        double r7449376 = r7449331 * r7449375;
        double r7449377 = r7449372 + r7449376;
        double r7449378 = 0.5547;
        double r7449379 = r7449339 - r7449378;
        double r7449380 = r7449379 * r7449379;
        double r7449381 = r7449338 * r7449380;
        double r7449382 = r7449377 + r7449381;
        double r7449383 = -r7449382;
        double r7449384 = exp(r7449383);
        double r7449385 = r7449325 * r7449384;
        double r7449386 = r7449368 + r7449385;
        double r7449387 = 3.2;
        double r7449388 = 0.03815;
        double r7449389 = r7449326 - r7449388;
        double r7449390 = r7449389 * r7449389;
        double r7449391 = r7449349 * r7449390;
        double r7449392 = 0.5743;
        double r7449393 = r7449332 - r7449392;
        double r7449394 = r7449393 * r7449393;
        double r7449395 = r7449331 * r7449394;
        double r7449396 = r7449391 + r7449395;
        double r7449397 = 0.8828;
        double r7449398 = r7449339 - r7449397;
        double r7449399 = r7449398 * r7449398;
        double r7449400 = r7449359 * r7449399;
        double r7449401 = r7449396 + r7449400;
        double r7449402 = -r7449401;
        double r7449403 = exp(r7449402);
        double r7449404 = r7449387 * r7449403;
        double r7449405 = r7449386 + r7449404;
        double r7449406 = -r7449405;
        return r7449406;
}

double f(double x1, double x2, double x3) {
        double r7449407 = 10.0;
        double r7449408 = x2;
        double r7449409 = 0.4387;
        double r7449410 = r7449408 - r7449409;
        double r7449411 = r7449410 * r7449410;
        double r7449412 = r7449407 * r7449411;
        double r7449413 = x1;
        double r7449414 = 0.4699;
        double r7449415 = r7449413 - r7449414;
        double r7449416 = r7449415 * r7449415;
        double r7449417 = 0.1;
        double r7449418 = r7449416 * r7449417;
        double r7449419 = r7449412 + r7449418;
        double r7449420 = x3;
        double r7449421 = 0.747;
        double r7449422 = r7449420 - r7449421;
        double r7449423 = r7449422 * r7449422;
        double r7449424 = 35.0;
        double r7449425 = r7449423 * r7449424;
        double r7449426 = r7449419 + r7449425;
        double r7449427 = -r7449426;
        double r7449428 = exp(r7449427);
        double r7449429 = sqrt(r7449428);
        double r7449430 = r7449429 * r7449429;
        double r7449431 = 1.2;
        double r7449432 = r7449430 * r7449431;
        double r7449433 = 1.0;
        double r7449434 = 30.0;
        double r7449435 = 0.2673;
        double r7449436 = r7449420 - r7449435;
        double r7449437 = r7449436 * r7449436;
        double r7449438 = r7449434 * r7449437;
        double r7449439 = r7449413 * r7449413;
        double r7449440 = r7449439 * r7449413;
        double r7449441 = 0.3689;
        double r7449442 = r7449441 * r7449441;
        double r7449443 = r7449442 * r7449441;
        double r7449444 = r7449440 - r7449443;
        double r7449445 = 3.0;
        double r7449446 = r7449441 + r7449413;
        double r7449447 = r7449445 * r7449446;
        double r7449448 = r7449413 - r7449441;
        double r7449449 = r7449447 * r7449448;
        double r7449450 = r7449444 * r7449449;
        double r7449451 = r7449413 * r7449441;
        double r7449452 = r7449442 + r7449451;
        double r7449453 = r7449452 + r7449439;
        double r7449454 = r7449453 * r7449446;
        double r7449455 = r7449450 / r7449454;
        double r7449456 = 0.117;
        double r7449457 = r7449408 - r7449456;
        double r7449458 = r7449457 * r7449457;
        double r7449459 = r7449407 * r7449458;
        double r7449460 = r7449455 + r7449459;
        double r7449461 = r7449438 + r7449460;
        double r7449462 = -r7449461;
        double r7449463 = exp(r7449462);
        double r7449464 = r7449433 * r7449463;
        double r7449465 = r7449432 + r7449464;
        double r7449466 = 0.8732;
        double r7449467 = r7449408 - r7449466;
        double r7449468 = r7449467 * r7449467;
        double r7449469 = r7449407 * r7449468;
        double r7449470 = 0.1091;
        double r7449471 = r7449413 - r7449470;
        double r7449472 = r7449471 * r7449471;
        double r7449473 = r7449472 * r7449445;
        double r7449474 = r7449469 + r7449473;
        double r7449475 = 0.5547;
        double r7449476 = r7449420 - r7449475;
        double r7449477 = r7449476 * r7449476;
        double r7449478 = r7449477 * r7449434;
        double r7449479 = r7449474 + r7449478;
        double r7449480 = -r7449479;
        double r7449481 = exp(r7449480);
        double r7449482 = r7449481 * r7449445;
        double r7449483 = r7449465 + r7449482;
        double r7449484 = 0.5743;
        double r7449485 = r7449408 - r7449484;
        double r7449486 = r7449485 * r7449485;
        double r7449487 = r7449407 * r7449486;
        double r7449488 = 0.03815;
        double r7449489 = r7449413 - r7449488;
        double r7449490 = r7449489 * r7449489;
        double r7449491 = r7449417 * r7449490;
        double r7449492 = r7449487 + r7449491;
        double r7449493 = 0.8828;
        double r7449494 = r7449420 - r7449493;
        double r7449495 = r7449494 * r7449494;
        double r7449496 = r7449495 * r7449424;
        double r7449497 = r7449492 + r7449496;
        double r7449498 = -r7449497;
        double r7449499 = exp(r7449498);
        double r7449500 = 3.2;
        double r7449501 = r7449499 * r7449500;
        double r7449502 = r7449483 + r7449501;
        double r7449503 = -r7449502;
        return r7449503;
}

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