Details

Time bar (total: 5.2s)

analyze217.0ms (4.2%)

Algorithm
1×search
2×egg-herbie
Rules
2×sub-neg_binary64_7573 associate-/r*_binary64_7524 +-commutative_binary64_7510
0×not-true not-false not-not not-and not-or and-true-l and-true-r and-false-l and-false-r and-same or-true-l or-true-r or-false-l or-false-r or-same erfc-erf_binary64_7843 erf-erfc_binary64_7842 erf-odd_binary64_7841 if-if-and-not_binary64_7840 if-if-and_binary64_7839 if-if-or-not_binary64_7838 if-if-or_binary64_7837 if-not_binary64_7836 if-same_binary64_7835 if-false_binary64_7834 if-true_binary64_7833 not-gte_binary64_7832 not-lte_binary64_7831 not-gt_binary64_7830 not-lt_binary64_7829 gte-same_binary64_7828 lte-same_binary64_7827 gt-same_binary64_7826 lt-same_binary64_7825 sinh---cosh_binary64_7772 sinh-+-cosh_binary64_7771 sinh-cosh_binary64_7770 tanh-def-c_binary64_7769 tanh-def-b_binary64_7768 tanh-def-a_binary64_7767 cosh-def_binary64_7766 sinh-def_binary64_7765 tan-neg_binary64_7712 cos-neg_binary64_7711 sin-neg_binary64_7710 tan-0_binary64_7709 cos-0_binary64_7708 sin-0_binary64_7707 hang-m-tan_binary64_7706 hang-p-tan_binary64_7705 hang-m0-tan_binary64_7704 hang-p0-tan_binary64_7703 hang-0m-tan_binary64_7702 hang-0p-tan_binary64_7701 tan-+PI/2_binary64_7700 tan-+PI_binary64_7699 tan-PI_binary64_7698 tan-PI/3_binary64_7697 tan-PI/4_binary64_7696 tan-PI/6_binary64_7695 cos-+PI/2_binary64_7694 cos-+PI_binary64_7693 cos-PI_binary64_7692 cos-PI/2_binary64_7691 cos-PI/3_binary64_7690 cos-PI/4_binary64_7689 cos-PI/6_binary64_7688 sin-+PI/2_binary64_7687 sin-+PI_binary64_7686 sin-PI_binary64_7685 sin-PI/2_binary64_7684 sin-PI/3_binary64_7683 sin-PI/4_binary64_7682 sin-PI/6_binary64_7681 sub-1-sin_binary64_7680 sub-1-cos_binary64_7679 -1-add-sin_binary64_7678 -1-add-cos_binary64_7677 1-sub-sin_binary64_7676 1-sub-cos_binary64_7675 cos-sin-sum_binary64_7674 log-E_binary64_7670 log-pow_binary64_7669 log-rec_binary64_7668 log-div_binary64_7667 log-prod_binary64_7666 pow-base-0_binary64_7664 unpow1/3_binary64_7647 unpow3_binary64_7646 unpow2_binary64_7645 unpow1/2_binary64_7644 pow-plus_binary64_7643 exp-to-pow_binary64_7642 pow-base-1_binary64_7640 unpow0_binary64_7639 unpow1_binary64_7638 unpow-1_binary64_7637 exp-lft-cube_binary64_7636 exp-lft-sqr_binary64_7635 exp-cbrt_binary64_7634 exp-sqrt_binary64_7633 exp-prod_binary64_7632 div-exp_binary64_7631 rec-exp_binary64_7630 prod-exp_binary64_7629 exp-diff_binary64_7628 exp-neg_binary64_7627 exp-sum_binary64_7626 e-exp-1_binary64_7625 1-exp_binary64_7624 exp-1-e_binary64_7623 exp-0_binary64_7622 rem-log-exp_binary64_7621 rem-exp-log_binary64_7620 cube-unmult_binary64_7617 cube-mult_binary64_7610 cube-div_binary64_7609 cube-prod_binary64_7608 cube-neg_binary64_7607 rem-3cbrt-rft_binary64_7606 rem-3cbrt-lft_binary64_7605 rem-cbrt-cube_binary64_7604 rem-cube-cbrt_binary64_7603 sqr-abs_binary64_7595 sqr-neg_binary64_7594 rem-sqrt-square_binary64_7593 rem-square-sqrt_binary64_7592 times-frac_binary64_7586 div-sub_binary64_7585 neg-mul-1_binary64_7576 neg-sub0_binary64_7575 unsub-neg_binary64_7574 mul-1-neg_binary64_7572 /-rgt-identity_binary64_7571 *-rgt-identity_binary64_7570 *-lft-identity_binary64_7569 remove-double-neg_binary64_7568 sub0-neg_binary64_7567 --rgt-identity_binary64_7566 +-rgt-identity_binary64_7565 +-lft-identity_binary64_7564 mul0-rgt_binary64_7563 mul0-lft_binary64_7562 div0_binary64_7561 *-inverses_binary64_7560 +-inverses_binary64_7559 lft-mult-inverse_binary64_7558 rgt-mult-inverse_binary64_7557 remove-double-div_binary64_7556 pow-sqr_binary64_7553 sqr-pow_binary64_7552 difference-of-sqr--1_binary64_7551 difference-of-sqr-1_binary64_7550 difference-of-squares_binary64_7549 unswap-sqr_binary64_7548 swap-sqr_binary64_7547 cancel-sign-sub-inv_binary64_7546 cancel-sign-sub_binary64_7545 distribute-neg-frac_binary64_7544 distribute-frac-neg_binary64_7543 distribute-neg-out_binary64_7542 distribute-neg-in_binary64_7541 distribute-rgt-neg-out_binary64_7540 distribute-lft-neg-out_binary64_7539 distribute-rgt-neg-in_binary64_7538 distribute-lft-neg-in_binary64_7537 distribute-rgt1-in_binary64_7536 distribute-lft1-in_binary64_7535 distribute-rgt-out--_binary64_7534 distribute-rgt-out_binary64_7533 distribute-lft-out--_binary64_7532 distribute-lft-out_binary64_7531 distribute-rgt-in_binary64_7530 distribute-lft-in_binary64_7529 count-2_binary64_7528 associate-/l/_binary64_7527 associate-/r/_binary64_7526 associate-/l*_binary64_7525 associate-*l/_binary64_7523 associate-*r/_binary64_7522 associate-*l*_binary64_7521 associate-*r*_binary64_7520 associate--r-_binary64_7519 associate--l-_binary64_7518 associate--l+_binary64_7517 associate--r+_binary64_7516 associate-+l-_binary64_7515 associate-+r-_binary64_7514 associate-+l+_binary64_7513 associate-+r+_binary64_7512 *-commutative_binary64_7511
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01020
11820
22020
31920
022
122
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
50%50%0.1%5
50%50%0.1%6
62.4%34.3%3.2%7
62.4%32.8%4.8%8
68.7%21.1%10.2%9
68.7%19.1%12.2%10
71.8%11.5%16.7%11
71.8%10.2%18%12
73.4%6%20.6%13
73.4%5.3%21.3%14
Compiler

Compiled 8 to 7 computations (12.5% saved)

sample18.0ms (0.4%)

Algorithm
1×intervals
Results
10.0ms256×body128valid
0.0ms10×body128invalid
Compiler

Compiled 15 to 15 computations (0% saved)

simplify8.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
1×sub-neg_binary64_7573 associate-/r*_binary64_7524 +-commutative_binary64_7510
0×not-true not-false not-not not-and not-or and-true-l and-true-r and-false-l and-false-r and-same or-true-l or-true-r or-false-l or-false-r or-same erfc-erf_binary64_7843 erf-erfc_binary64_7842 erf-odd_binary64_7841 if-if-and-not_binary64_7840 if-if-and_binary64_7839 if-if-or-not_binary64_7838 if-if-or_binary64_7837 if-not_binary64_7836 if-same_binary64_7835 if-false_binary64_7834 if-true_binary64_7833 not-gte_binary64_7832 not-lte_binary64_7831 not-gt_binary64_7830 not-lt_binary64_7829 gte-same_binary64_7828 lte-same_binary64_7827 gt-same_binary64_7826 lt-same_binary64_7825 sinh---cosh_binary64_7772 sinh-+-cosh_binary64_7771 sinh-cosh_binary64_7770 tanh-def-c_binary64_7769 tanh-def-b_binary64_7768 tanh-def-a_binary64_7767 cosh-def_binary64_7766 sinh-def_binary64_7765 tan-neg_binary64_7712 cos-neg_binary64_7711 sin-neg_binary64_7710 tan-0_binary64_7709 cos-0_binary64_7708 sin-0_binary64_7707 hang-m-tan_binary64_7706 hang-p-tan_binary64_7705 hang-m0-tan_binary64_7704 hang-p0-tan_binary64_7703 hang-0m-tan_binary64_7702 hang-0p-tan_binary64_7701 tan-+PI/2_binary64_7700 tan-+PI_binary64_7699 tan-PI_binary64_7698 tan-PI/3_binary64_7697 tan-PI/4_binary64_7696 tan-PI/6_binary64_7695 cos-+PI/2_binary64_7694 cos-+PI_binary64_7693 cos-PI_binary64_7692 cos-PI/2_binary64_7691 cos-PI/3_binary64_7690 cos-PI/4_binary64_7689 cos-PI/6_binary64_7688 sin-+PI/2_binary64_7687 sin-+PI_binary64_7686 sin-PI_binary64_7685 sin-PI/2_binary64_7684 sin-PI/3_binary64_7683 sin-PI/4_binary64_7682 sin-PI/6_binary64_7681 sub-1-sin_binary64_7680 sub-1-cos_binary64_7679 -1-add-sin_binary64_7678 -1-add-cos_binary64_7677 1-sub-sin_binary64_7676 1-sub-cos_binary64_7675 cos-sin-sum_binary64_7674 log-E_binary64_7670 log-pow_binary64_7669 log-rec_binary64_7668 log-div_binary64_7667 log-prod_binary64_7666 pow-base-0_binary64_7664 unpow1/3_binary64_7647 unpow3_binary64_7646 unpow2_binary64_7645 unpow1/2_binary64_7644 pow-plus_binary64_7643 exp-to-pow_binary64_7642 pow-base-1_binary64_7640 unpow0_binary64_7639 unpow1_binary64_7638 unpow-1_binary64_7637 exp-lft-cube_binary64_7636 exp-lft-sqr_binary64_7635 exp-cbrt_binary64_7634 exp-sqrt_binary64_7633 exp-prod_binary64_7632 div-exp_binary64_7631 rec-exp_binary64_7630 prod-exp_binary64_7629 exp-diff_binary64_7628 exp-neg_binary64_7627 exp-sum_binary64_7626 e-exp-1_binary64_7625 1-exp_binary64_7624 exp-1-e_binary64_7623 exp-0_binary64_7622 rem-log-exp_binary64_7621 rem-exp-log_binary64_7620 cube-unmult_binary64_7617 cube-mult_binary64_7610 cube-div_binary64_7609 cube-prod_binary64_7608 cube-neg_binary64_7607 rem-3cbrt-rft_binary64_7606 rem-3cbrt-lft_binary64_7605 rem-cbrt-cube_binary64_7604 rem-cube-cbrt_binary64_7603 sqr-abs_binary64_7595 sqr-neg_binary64_7594 rem-sqrt-square_binary64_7593 rem-square-sqrt_binary64_7592 times-frac_binary64_7586 div-sub_binary64_7585 neg-mul-1_binary64_7576 neg-sub0_binary64_7575 unsub-neg_binary64_7574 mul-1-neg_binary64_7572 /-rgt-identity_binary64_7571 *-rgt-identity_binary64_7570 *-lft-identity_binary64_7569 remove-double-neg_binary64_7568 sub0-neg_binary64_7567 --rgt-identity_binary64_7566 +-rgt-identity_binary64_7565 +-lft-identity_binary64_7564 mul0-rgt_binary64_7563 mul0-lft_binary64_7562 div0_binary64_7561 *-inverses_binary64_7560 +-inverses_binary64_7559 lft-mult-inverse_binary64_7558 rgt-mult-inverse_binary64_7557 remove-double-div_binary64_7556 pow-sqr_binary64_7553 sqr-pow_binary64_7552 difference-of-sqr--1_binary64_7551 difference-of-sqr-1_binary64_7550 difference-of-squares_binary64_7549 unswap-sqr_binary64_7548 swap-sqr_binary64_7547 cancel-sign-sub-inv_binary64_7546 cancel-sign-sub_binary64_7545 distribute-neg-frac_binary64_7544 distribute-frac-neg_binary64_7543 distribute-neg-out_binary64_7542 distribute-neg-in_binary64_7541 distribute-rgt-neg-out_binary64_7540 distribute-lft-neg-out_binary64_7539 distribute-rgt-neg-in_binary64_7538 distribute-lft-neg-in_binary64_7537 distribute-rgt1-in_binary64_7536 distribute-lft1-in_binary64_7535 distribute-rgt-out--_binary64_7534 distribute-rgt-out_binary64_7533 distribute-lft-out--_binary64_7532 distribute-lft-out_binary64_7531 distribute-rgt-in_binary64_7530 distribute-lft-in_binary64_7529 count-2_binary64_7528 associate-/l/_binary64_7527 associate-/r/_binary64_7526 associate-/l*_binary64_7525 associate-*l/_binary64_7523 associate-*r/_binary64_7522 associate-*l*_binary64_7521 associate-*r*_binary64_7520 associate--r-_binary64_7519 associate--l-_binary64_7518 associate--l+_binary64_7517 associate--r+_binary64_7516 associate-+l-_binary64_7515 associate-+r-_binary64_7514 associate-+l+_binary64_7513 associate-+r+_binary64_7512 *-commutative_binary64_7511
Counts
1 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
11210
21310
31210

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done000
Total011
Error
6.5b
Counts
1 → 1
Compiler

Compiled 7 to 6 computations (14.3% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

9.7b
(/.f64 x (*.f64 y y))

rewrite28.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
6×add-exp-log_binary64_7618 add-cbrt-cube_binary64_7616
3×add-cube-cbrt_binary64_7615 add-sqr-sqrt_binary64_7602 times-frac_binary64_7586 *-un-lft-identity_binary64_7580 associate-/l*_binary64_7525
2×div-exp_binary64_7631 cbrt-undiv_binary64_7614
1×pow1_binary64_7641 prod-exp_binary64_7629 add-log-exp_binary64_7619 cbrt-unprod_binary64_7613 frac-2neg_binary64_7591 clear-num_binary64_7579 div-inv_binary64_7577 associate-/r*_binary64_7524
Counts
1 → 21
Calls

1 calls:

5.0ms
(/.f64 x (*.f64 y y))
Compiler

Compiled 256 to 108 computations (57.8% saved)

series91.0ms (1.8%)

Error
6.5b
Counts
1 → 6
Calls

1 calls:

88.0ms
(/.f64 x (*.f64 y y))
Compiler

Compiled 126 to 116 computations (7.9% saved)

simplify84.0ms (1.6%)

Algorithm
1×egg-herbie
Rules
801×sub-neg_binary64_7573
553×div-sub_binary64_7585
385×associate-/l*_binary64_7525
361×associate-/l/_binary64_7527
320×*-commutative_binary64_7511
249×associate-/r*_binary64_7524
198×unswap-sqr_binary64_7548
171×associate-*l/_binary64_7523 associate-*l*_binary64_7521
157×distribute-rgt-in_binary64_7530
127×distribute-lft-in_binary64_7529
124×unsub-neg_binary64_7574
123×associate-/r/_binary64_7526
121×associate-*r*_binary64_7520
114×cancel-sign-sub-inv_binary64_7546
107×associate--l+_binary64_7517
105×associate-+l+_binary64_7513
103×times-frac_binary64_7586
98×associate--r+_binary64_7516
78×associate-*r/_binary64_7522
70×log-prod_binary64_7666
65×associate-+r+_binary64_7512
57×associate--l-_binary64_7518
55×cube-prod_binary64_7608 neg-mul-1_binary64_7576
53×associate-+l-_binary64_7515
52×neg-sub0_binary64_7575
51×sqr-pow_binary64_7552
50×distribute-lft-neg-in_binary64_7537
44×distribute-rgt-neg-in_binary64_7538
40×unpow3_binary64_7646
38×associate--r-_binary64_7519
36×distribute-neg-in_binary64_7541
31×pow-plus_binary64_7643 cube-mult_binary64_7610
30×log-pow_binary64_7669
26×+-commutative_binary64_7510
18×log-div_binary64_7667
15×cube-div_binary64_7609 swap-sqr_binary64_7547
14×associate-+r-_binary64_7514
12×distribute-rgt-out--_binary64_7534
11×count-2_binary64_7528
10×cube-unmult_binary64_7617 pow-sqr_binary64_7553 distribute-rgt-out_binary64_7533
9×distribute-lft-neg-out_binary64_7539
8×sub0-neg_binary64_7567 distribute-rgt-neg-out_binary64_7540
7×distribute-lft-out_binary64_7531
6×--rgt-identity_binary64_7566
5×distribute-lft-out--_binary64_7532
4×exp-diff_binary64_7628 *-rgt-identity_binary64_7570 *-lft-identity_binary64_7569 remove-double-neg_binary64_7568 +-rgt-identity_binary64_7565
3×unpow2_binary64_7645 mul0-rgt_binary64_7563 mul0-lft_binary64_7562 distribute-neg-out_binary64_7542
1×unpow1/2_binary64_7644 unpow1_binary64_7638 1-exp_binary64_7624 rem-sqrt-square_binary64_7593 +-lft-identity_binary64_7564
0×not-true not-false not-not not-and not-or and-true-l and-true-r and-false-l and-false-r and-same or-true-l or-true-r or-false-l or-false-r or-same erfc-erf_binary64_7843 erf-erfc_binary64_7842 erf-odd_binary64_7841 if-if-and-not_binary64_7840 if-if-and_binary64_7839 if-if-or-not_binary64_7838 if-if-or_binary64_7837 if-not_binary64_7836 if-same_binary64_7835 if-false_binary64_7834 if-true_binary64_7833 not-gte_binary64_7832 not-lte_binary64_7831 not-gt_binary64_7830 not-lt_binary64_7829 gte-same_binary64_7828 lte-same_binary64_7827 gt-same_binary64_7826 lt-same_binary64_7825 sinh---cosh_binary64_7772 sinh-+-cosh_binary64_7771 sinh-cosh_binary64_7770 tanh-def-c_binary64_7769 tanh-def-b_binary64_7768 tanh-def-a_binary64_7767 cosh-def_binary64_7766 sinh-def_binary64_7765 tan-neg_binary64_7712 cos-neg_binary64_7711 sin-neg_binary64_7710 tan-0_binary64_7709 cos-0_binary64_7708 sin-0_binary64_7707 hang-m-tan_binary64_7706 hang-p-tan_binary64_7705 hang-m0-tan_binary64_7704 hang-p0-tan_binary64_7703 hang-0m-tan_binary64_7702 hang-0p-tan_binary64_7701 tan-+PI/2_binary64_7700 tan-+PI_binary64_7699 tan-PI_binary64_7698 tan-PI/3_binary64_7697 tan-PI/4_binary64_7696 tan-PI/6_binary64_7695 cos-+PI/2_binary64_7694 cos-+PI_binary64_7693 cos-PI_binary64_7692 cos-PI/2_binary64_7691 cos-PI/3_binary64_7690 cos-PI/4_binary64_7689 cos-PI/6_binary64_7688 sin-+PI/2_binary64_7687 sin-+PI_binary64_7686 sin-PI_binary64_7685 sin-PI/2_binary64_7684 sin-PI/3_binary64_7683 sin-PI/4_binary64_7682 sin-PI/6_binary64_7681 sub-1-sin_binary64_7680 sub-1-cos_binary64_7679 -1-add-sin_binary64_7678 -1-add-cos_binary64_7677 1-sub-sin_binary64_7676 1-sub-cos_binary64_7675 cos-sin-sum_binary64_7674 log-E_binary64_7670 log-rec_binary64_7668 pow-base-0_binary64_7664 unpow1/3_binary64_7647 exp-to-pow_binary64_7642 pow-base-1_binary64_7640 unpow0_binary64_7639 unpow-1_binary64_7637 exp-lft-cube_binary64_7636 exp-lft-sqr_binary64_7635 exp-cbrt_binary64_7634 exp-sqrt_binary64_7633 exp-prod_binary64_7632 div-exp_binary64_7631 rec-exp_binary64_7630 prod-exp_binary64_7629 exp-neg_binary64_7627 exp-sum_binary64_7626 e-exp-1_binary64_7625 exp-1-e_binary64_7623 exp-0_binary64_7622 rem-log-exp_binary64_7621 rem-exp-log_binary64_7620 cube-neg_binary64_7607 rem-3cbrt-rft_binary64_7606 rem-3cbrt-lft_binary64_7605 rem-cbrt-cube_binary64_7604 rem-cube-cbrt_binary64_7603 sqr-abs_binary64_7595 sqr-neg_binary64_7594 rem-square-sqrt_binary64_7592 mul-1-neg_binary64_7572 /-rgt-identity_binary64_7571 div0_binary64_7561 *-inverses_binary64_7560 +-inverses_binary64_7559 lft-mult-inverse_binary64_7558 rgt-mult-inverse_binary64_7557 remove-double-div_binary64_7556 difference-of-sqr--1_binary64_7551 difference-of-sqr-1_binary64_7550 difference-of-squares_binary64_7549 cancel-sign-sub_binary64_7545 distribute-neg-frac_binary64_7544 distribute-frac-neg_binary64_7543 distribute-rgt1-in_binary64_7536 distribute-lft1-in_binary64_7535
Counts
27 → 15
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
044289
193244
2218244
3577244
41866244
52381244
63871244
74950244
86109244

prune14.0ms (0.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New12315
Fresh000
Picked011
Done000
Total12416
Error
0.1b
Counts
16 → 4
Compiler

Compiled 166 to 86 computations (48.2% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.2b
(/.f64 1 (/.f64 y (/.f64 x y)))
0.2b
(/.f64 y (/.f64 x y))

rewrite387.0ms (7.5%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
471×times-frac_binary64_7586
229×add-cube-cbrt_binary64_7615 add-sqr-sqrt_binary64_7602 *-un-lft-identity_binary64_7580
57×associate-/r*_binary64_7524
28×add-exp-log_binary64_7618
22×div-inv_binary64_7577
18×div-exp_binary64_7631
16×add-cbrt-cube_binary64_7616
9×cbrt-undiv_binary64_7614
6×associate-/r/_binary64_7526 associate-/l*_binary64_7525
3×pow1_binary64_7641 1-exp_binary64_7624 rec-exp_binary64_7630
2×add-log-exp_binary64_7619 frac-2neg_binary64_7591 clear-num_binary64_7579
1×inv-pow_binary64_7665 pow-flip_binary64_7654
Counts
2 → 274
Calls

2 calls:

14.0ms
(/.f64 1 (/.f64 y (/.f64 x y)))
6.0ms
(/.f64 y (/.f64 x y))
Compiler

Compiled 5823 to 2541 computations (56.4% saved)

series205.0ms (4%)

Error
0.1b
Counts
2 → 12
Calls

2 calls:

101.0ms
(/.f64 y (/.f64 x y))
98.0ms
(/.f64 1 (/.f64 y (/.f64 x y)))
Compiler

Compiled 288 to 266 computations (7.6% saved)

simplify319.0ms (6.2%)

Algorithm
1×egg-herbie
Rules
425×associate-/r/_binary64_7526
332×distribute-rgt-in_binary64_7530
318×unsub-neg_binary64_7574
282×associate-/l/_binary64_7527
248×associate-*r/_binary64_7522
226×associate-*l/_binary64_7523
206×div-sub_binary64_7585
199×sqr-pow_binary64_7552
179×unswap-sqr_binary64_7548 *-commutative_binary64_7511
172×associate-/l*_binary64_7525
158×cancel-sign-sub-inv_binary64_7546
157×sub-neg_binary64_7573
155×associate-/r*_binary64_7524
120×distribute-neg-in_binary64_7541
118×associate--r+_binary64_7516
115×associate-+r+_binary64_7512
112×times-frac_binary64_7586
92×associate--r-_binary64_7519
90×*-rgt-identity_binary64_7570
89×log-prod_binary64_7666
87×neg-mul-1_binary64_7576 associate-*l*_binary64_7521
82×exp-prod_binary64_7632 neg-sub0_binary64_7575
79×associate-+r-_binary64_7514
78×associate-*r*_binary64_7520
77×cube-prod_binary64_7608
69×distribute-rgt-neg-in_binary64_7538
64×pow-sqr_binary64_7553
58×log-div_binary64_7667
52×distribute-lft-neg-in_binary64_7537 associate-+l+_binary64_7513
50×rem-sqrt-square_binary64_7593
49×cube-div_binary64_7609 swap-sqr_binary64_7547
46×associate--l+_binary64_7517
43×distribute-neg-frac_binary64_7544
35×remove-double-div_binary64_7556 distribute-lft-in_binary64_7529
33×associate-+l-_binary64_7515
30×associate--l-_binary64_7518
23×unpow3_binary64_7646
21×*-lft-identity_binary64_7569
20×log-rec_binary64_7668 distribute-neg-out_binary64_7542
19×log-pow_binary64_7669 distribute-lft-neg-out_binary64_7539
15×unpow1/2_binary64_7644 cube-mult_binary64_7610 +-commutative_binary64_7510
14×+-rgt-identity_binary64_7565 distribute-rgt-out_binary64_7533
12×cube-unmult_binary64_7617 /-rgt-identity_binary64_7571 --rgt-identity_binary64_7566
9×sub0-neg_binary64_7567 +-lft-identity_binary64_7564
8×div0_binary64_7561 distribute-lft-out--_binary64_7532 distribute-lft-out_binary64_7531
7×exp-diff_binary64_7628 distribute-rgt1-in_binary64_7536
6×pow-plus_binary64_7643 remove-double-neg_binary64_7568 distribute-rgt-neg-out_binary64_7540 distribute-rgt-out--_binary64_7534
5×mul0-lft_binary64_7562 distribute-lft1-in_binary64_7535
4×count-2_binary64_7528
3×unpow2_binary64_7645 exp-sum_binary64_7626 mul0-rgt_binary64_7563
2×unpow1_binary64_7638
1×1-exp_binary64_7624 exp-1-e_binary64_7623 rem-3cbrt-rft_binary64_7606 rem-3cbrt-lft_binary64_7605 rem-square-sqrt_binary64_7592 mul-1-neg_binary64_7572 +-inverses_binary64_7559
0×not-true not-false not-not not-and not-or and-true-l and-true-r and-false-l and-false-r and-same or-true-l or-true-r or-false-l or-false-r or-same erfc-erf_binary64_7843 erf-erfc_binary64_7842 erf-odd_binary64_7841 if-if-and-not_binary64_7840 if-if-and_binary64_7839 if-if-or-not_binary64_7838 if-if-or_binary64_7837 if-not_binary64_7836 if-same_binary64_7835 if-false_binary64_7834 if-true_binary64_7833 not-gte_binary64_7832 not-lte_binary64_7831 not-gt_binary64_7830 not-lt_binary64_7829 gte-same_binary64_7828 lte-same_binary64_7827 gt-same_binary64_7826 lt-same_binary64_7825 sinh---cosh_binary64_7772 sinh-+-cosh_binary64_7771 sinh-cosh_binary64_7770 tanh-def-c_binary64_7769 tanh-def-b_binary64_7768 tanh-def-a_binary64_7767 cosh-def_binary64_7766 sinh-def_binary64_7765 tan-neg_binary64_7712 cos-neg_binary64_7711 sin-neg_binary64_7710 tan-0_binary64_7709 cos-0_binary64_7708 sin-0_binary64_7707 hang-m-tan_binary64_7706 hang-p-tan_binary64_7705 hang-m0-tan_binary64_7704 hang-p0-tan_binary64_7703 hang-0m-tan_binary64_7702 hang-0p-tan_binary64_7701 tan-+PI/2_binary64_7700 tan-+PI_binary64_7699 tan-PI_binary64_7698 tan-PI/3_binary64_7697 tan-PI/4_binary64_7696 tan-PI/6_binary64_7695 cos-+PI/2_binary64_7694 cos-+PI_binary64_7693 cos-PI_binary64_7692 cos-PI/2_binary64_7691 cos-PI/3_binary64_7690 cos-PI/4_binary64_7689 cos-PI/6_binary64_7688 sin-+PI/2_binary64_7687 sin-+PI_binary64_7686 sin-PI_binary64_7685 sin-PI/2_binary64_7684 sin-PI/3_binary64_7683 sin-PI/4_binary64_7682 sin-PI/6_binary64_7681 sub-1-sin_binary64_7680 sub-1-cos_binary64_7679 -1-add-sin_binary64_7678 -1-add-cos_binary64_7677 1-sub-sin_binary64_7676 1-sub-cos_binary64_7675 cos-sin-sum_binary64_7674 log-E_binary64_7670 pow-base-0_binary64_7664 unpow1/3_binary64_7647 exp-to-pow_binary64_7642 pow-base-1_binary64_7640 unpow0_binary64_7639 unpow-1_binary64_7637 exp-lft-cube_binary64_7636 exp-lft-sqr_binary64_7635 exp-cbrt_binary64_7634 exp-sqrt_binary64_7633 div-exp_binary64_7631 rec-exp_binary64_7630 prod-exp_binary64_7629 exp-neg_binary64_7627 e-exp-1_binary64_7625 exp-0_binary64_7622 rem-log-exp_binary64_7621 rem-exp-log_binary64_7620 cube-neg_binary64_7607 rem-cbrt-cube_binary64_7604 rem-cube-cbrt_binary64_7603 sqr-abs_binary64_7595 sqr-neg_binary64_7594 *-inverses_binary64_7560 lft-mult-inverse_binary64_7558 rgt-mult-inverse_binary64_7557 difference-of-sqr--1_binary64_7551 difference-of-sqr-1_binary64_7550 difference-of-squares_binary64_7549 cancel-sign-sub_binary64_7545 distribute-frac-neg_binary64_7543
Counts
286 → 272
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
03266447
17155636
224005291
325375235
435805220
542905036
648225036
750685036

prune281.0ms (5.4%)

Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New2657272
Fresh112
Picked101
Done101
Total2688276
Error
0b
Counts
276 → 8
Compiler

Compiled 4535 to 2016 computations (55.5% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.2b
(*.f64 (/.f64 1 y) (/.f64 x y))

rewrite69.0ms (1.3%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
32×add-sqr-sqrt_binary64_7602
25×times-frac_binary64_7586
23×add-exp-log_binary64_7618
17×*-un-lft-identity_binary64_7580
15×add-cube-cbrt_binary64_7615
13×add-cbrt-cube_binary64_7616 associate-*l*_binary64_7521 associate-*r*_binary64_7520
8×div-exp_binary64_7631 prod-exp_binary64_7629
6×unswap-sqr_binary64_7548
4×cbrt-unprod_binary64_7613 cbrt-undiv_binary64_7614
3×pow1_binary64_7641
2×1-exp_binary64_7624 rec-exp_binary64_7630 div-inv_binary64_7577
1×pow-prod-down_binary64_7651 add-log-exp_binary64_7619 frac-times_binary64_7590 associate-*l/_binary64_7523 associate-*r/_binary64_7522 *-commutative_binary64_7511
Counts
1 → 56
Calls

1 calls:

14.0ms
(*.f64 (/.f64 1 y) (/.f64 x y))
Compiler

Compiled 936 to 512 computations (45.3% saved)

series101.0ms (2%)

Error
0b
Counts
1 → 6
Calls

1 calls:

97.0ms
(*.f64 (/.f64 1 y) (/.f64 x y))
Compiler

Compiled 126 to 116 computations (7.9% saved)

simplify124.0ms (2.4%)

Algorithm
1×egg-herbie
Rules
695×unswap-sqr_binary64_7548
462×times-frac_binary64_7586
434×sub-neg_binary64_7573
418×unsub-neg_binary64_7574
371×associate-/l*_binary64_7525
247×associate-+r-_binary64_7514
244×associate-*l/_binary64_7523
242×*-commutative_binary64_7511
223×sqr-pow_binary64_7552
199×associate--l+_binary64_7517
197×distribute-rgt-in_binary64_7530
194×associate--r-_binary64_7519
185×associate-/l/_binary64_7527
162×associate-*r/_binary64_7522
153×associate-/r*_binary64_7524
145×associate-+l-_binary64_7515
119×associate-*r*_binary64_7520
113×distribute-lft-in_binary64_7529
97×log-prod_binary64_7666
96×pow-sqr_binary64_7553 cancel-sign-sub-inv_binary64_7546 associate--l-_binary64_7518
94×associate-*l*_binary64_7521
87×associate-/r/_binary64_7526
85×distribute-neg-in_binary64_7541
84×cube-prod_binary64_7608
78×neg-mul-1_binary64_7576
73×neg-sub0_binary64_7575
56×*-lft-identity_binary64_7569
53×log-div_binary64_7667
50×cube-div_binary64_7609
49×exp-prod_binary64_7632
47×swap-sqr_binary64_7547
42×*-rgt-identity_binary64_7570
38×associate--r+_binary64_7516 associate-+r+_binary64_7512
32×unpow3_binary64_7646 associate-+l+_binary64_7513
29×rem-sqrt-square_binary64_7593
28×cube-mult_binary64_7610
25×log-pow_binary64_7669
19×+-commutative_binary64_7510
17×--rgt-identity_binary64_7566
13×log-rec_binary64_7668 pow-plus_binary64_7643 distribute-rgt-neg-in_binary64_7538
12×remove-double-neg_binary64_7568
11×/-rgt-identity_binary64_7571 +-rgt-identity_binary64_7565 distribute-rgt-out_binary64_7533
10×distribute-lft-neg-in_binary64_7537
9×remove-double-div_binary64_7556
8×+-lft-identity_binary64_7564
7×distribute-lft-out_binary64_7531
6×unpow1/2_binary64_7644 cube-unmult_binary64_7617 distribute-rgt-out--_binary64_7534
5×sub0-neg_binary64_7567 distribute-lft-neg-out_binary64_7539 distribute-lft-out--_binary64_7532 count-2_binary64_7528
3×distribute-neg-out_binary64_7542 distribute-rgt-neg-out_binary64_7540 distribute-rgt1-in_binary64_7536
2×+-inverses_binary64_7559 distribute-lft1-in_binary64_7535
1×unpow2_binary64_7645 unpow1_binary64_7638 1-exp_binary64_7624 exp-1-e_binary64_7623
0×not-true not-false not-not not-and not-or and-true-l and-true-r and-false-l and-false-r and-same or-true-l or-true-r or-false-l or-false-r or-same erfc-erf_binary64_7843 erf-erfc_binary64_7842 erf-odd_binary64_7841 if-if-and-not_binary64_7840 if-if-and_binary64_7839 if-if-or-not_binary64_7838 if-if-or_binary64_7837 if-not_binary64_7836 if-same_binary64_7835 if-false_binary64_7834 if-true_binary64_7833 not-gte_binary64_7832 not-lte_binary64_7831 not-gt_binary64_7830 not-lt_binary64_7829 gte-same_binary64_7828 lte-same_binary64_7827 gt-same_binary64_7826 lt-same_binary64_7825 sinh---cosh_binary64_7772 sinh-+-cosh_binary64_7771 sinh-cosh_binary64_7770 tanh-def-c_binary64_7769 tanh-def-b_binary64_7768 tanh-def-a_binary64_7767 cosh-def_binary64_7766 sinh-def_binary64_7765 tan-neg_binary64_7712 cos-neg_binary64_7711 sin-neg_binary64_7710 tan-0_binary64_7709 cos-0_binary64_7708 sin-0_binary64_7707 hang-m-tan_binary64_7706 hang-p-tan_binary64_7705 hang-m0-tan_binary64_7704 hang-p0-tan_binary64_7703 hang-0m-tan_binary64_7702 hang-0p-tan_binary64_7701 tan-+PI/2_binary64_7700 tan-+PI_binary64_7699 tan-PI_binary64_7698 tan-PI/3_binary64_7697 tan-PI/4_binary64_7696 tan-PI/6_binary64_7695 cos-+PI/2_binary64_7694 cos-+PI_binary64_7693 cos-PI_binary64_7692 cos-PI/2_binary64_7691 cos-PI/3_binary64_7690 cos-PI/4_binary64_7689 cos-PI/6_binary64_7688 sin-+PI/2_binary64_7687 sin-+PI_binary64_7686 sin-PI_binary64_7685 sin-PI/2_binary64_7684 sin-PI/3_binary64_7683 sin-PI/4_binary64_7682 sin-PI/6_binary64_7681 sub-1-sin_binary64_7680 sub-1-cos_binary64_7679 -1-add-sin_binary64_7678 -1-add-cos_binary64_7677 1-sub-sin_binary64_7676 1-sub-cos_binary64_7675 cos-sin-sum_binary64_7674 log-E_binary64_7670 pow-base-0_binary64_7664 unpow1/3_binary64_7647 exp-to-pow_binary64_7642 pow-base-1_binary64_7640 unpow0_binary64_7639 unpow-1_binary64_7637 exp-lft-cube_binary64_7636 exp-lft-sqr_binary64_7635 exp-cbrt_binary64_7634 exp-sqrt_binary64_7633 div-exp_binary64_7631 rec-exp_binary64_7630 prod-exp_binary64_7629 exp-diff_binary64_7628 exp-neg_binary64_7627 exp-sum_binary64_7626 e-exp-1_binary64_7625 exp-0_binary64_7622 rem-log-exp_binary64_7621 rem-exp-log_binary64_7620 cube-neg_binary64_7607 rem-3cbrt-rft_binary64_7606 rem-3cbrt-lft_binary64_7605 rem-cbrt-cube_binary64_7604 rem-cube-cbrt_binary64_7603 sqr-abs_binary64_7595 sqr-neg_binary64_7594 rem-square-sqrt_binary64_7592 div-sub_binary64_7585 mul-1-neg_binary64_7572 mul0-rgt_binary64_7563 mul0-lft_binary64_7562 div0_binary64_7561 *-inverses_binary64_7560 lft-mult-inverse_binary64_7558 rgt-mult-inverse_binary64_7557 difference-of-sqr--1_binary64_7551 difference-of-sqr-1_binary64_7550 difference-of-squares_binary64_7549 cancel-sign-sub_binary64_7545 distribute-neg-frac_binary64_7544 distribute-frac-neg_binary64_7543
Counts
62 → 57
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0101805
1256682
2805647
31924635
42404635
54283635
64769635
74348635
85798635

prune47.0ms (0.9%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New57057
Fresh077
Picked011
Done000
Total57865
Error
0b
Counts
65 → 8
Compiler

Compiled 760 to 357 computations (53% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.2b
(/.f64 (/.f64 x y) y)

rewrite75.0ms (1.4%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
75×times-frac_binary64_7586
43×add-cube-cbrt_binary64_7615 add-sqr-sqrt_binary64_7602 *-un-lft-identity_binary64_7580
13×associate-/l*_binary64_7525
6×add-exp-log_binary64_7618 add-cbrt-cube_binary64_7616
5×div-inv_binary64_7577
3×div-exp_binary64_7631 cbrt-undiv_binary64_7614 associate-/r*_binary64_7524
1×pow1_binary64_7641 add-log-exp_binary64_7619 frac-2neg_binary64_7591 clear-num_binary64_7579 associate-/l/_binary64_7527
Counts
1 → 70
Calls

1 calls:

7.0ms
(/.f64 (/.f64 x y) y)
Compiler

Compiled 1151 to 418 computations (63.7% saved)

series108.0ms (2.1%)

Error
0b
Counts
1 → 6
Calls

1 calls:

104.0ms
(/.f64 (/.f64 x y) y)
Compiler

Compiled 126 to 116 computations (7.9% saved)

simplify138.0ms (2.7%)

Algorithm
1×egg-herbie
Rules
434×cancel-sign-sub-inv_binary64_7546
424×sub-neg_binary64_7573
329×associate-/l/_binary64_7527
320×div-sub_binary64_7585
312×unsub-neg_binary64_7574
250×distribute-neg-in_binary64_7541
247×times-frac_binary64_7586
210×*-commutative_binary64_7511
198×associate-/l*_binary64_7525
190×neg-mul-1_binary64_7576
185×associate--l+_binary64_7517
183×neg-sub0_binary64_7575
155×+-commutative_binary64_7510
152×associate-/r*_binary64_7524
148×cancel-sign-sub_binary64_7545
139×sqr-pow_binary64_7552
137×associate-+l+_binary64_7513
136×log-prod_binary64_7666
121×associate-/r/_binary64_7526
120×associate--l-_binary64_7518
118×associate-+l-_binary64_7515
117×associate--r+_binary64_7516
109×distribute-neg-out_binary64_7542
107×unswap-sqr_binary64_7548
102×cube-prod_binary64_7608
101×distribute-rgt-in_binary64_7530
81×associate-*l/_binary64_7523
80×distribute-lft-in_binary64_7529
77×associate--r-_binary64_7519
64×associate-*l*_binary64_7521
62×associate-+r+_binary64_7512
59×associate-*r/_binary64_7522
53×div0_binary64_7561
51×unpow3_binary64_7646
50×pow-sqr_binary64_7553
47×log-div_binary64_7667 distribute-lft-neg-in_binary64_7537
45×swap-sqr_binary64_7547 distribute-rgt-neg-in_binary64_7538
42×cube-mult_binary64_7610
41×log-pow_binary64_7669
38×associate-+r-_binary64_7514
37×cube-div_binary64_7609
33×*-rgt-identity_binary64_7570
29×distribute-lft-out--_binary64_7532
27×associate-*r*_binary64_7520
24×*-lft-identity_binary64_7569
22×distribute-rgt-out_binary64_7533
21×pow-plus_binary64_7643 distribute-lft-neg-out_binary64_7539
20×/-rgt-identity_binary64_7571 distribute-rgt-out--_binary64_7534
17×distribute-lft-out_binary64_7531
14×remove-double-neg_binary64_7568 --rgt-identity_binary64_7566 distribute-rgt-neg-out_binary64_7540
13×exp-prod_binary64_7632 count-2_binary64_7528
10×cube-unmult_binary64_7617
9×rem-sqrt-square_binary64_7593 sub0-neg_binary64_7567 distribute-neg-frac_binary64_7544
8×log-rec_binary64_7668
6×unpow1/2_binary64_7644 +-rgt-identity_binary64_7565 distribute-lft1-in_binary64_7535
5×unpow2_binary64_7645 distribute-rgt1-in_binary64_7536
4×unpow1_binary64_7638 +-lft-identity_binary64_7564
3×exp-sum_binary64_7626 +-inverses_binary64_7559
2×exp-diff_binary64_7628
1×1-exp_binary64_7624 exp-1-e_binary64_7623 rem-3cbrt-rft_binary64_7606 rem-3cbrt-lft_binary64_7605 rem-square-sqrt_binary64_7592
0×not-true not-false not-not not-and not-or and-true-l and-true-r and-false-l and-false-r and-same or-true-l or-true-r or-false-l or-false-r or-same erfc-erf_binary64_7843 erf-erfc_binary64_7842 erf-odd_binary64_7841 if-if-and-not_binary64_7840 if-if-and_binary64_7839 if-if-or-not_binary64_7838 if-if-or_binary64_7837 if-not_binary64_7836 if-same_binary64_7835 if-false_binary64_7834 if-true_binary64_7833 not-gte_binary64_7832 not-lte_binary64_7831 not-gt_binary64_7830 not-lt_binary64_7829 gte-same_binary64_7828 lte-same_binary64_7827 gt-same_binary64_7826 lt-same_binary64_7825 sinh---cosh_binary64_7772 sinh-+-cosh_binary64_7771 sinh-cosh_binary64_7770 tanh-def-c_binary64_7769 tanh-def-b_binary64_7768 tanh-def-a_binary64_7767 cosh-def_binary64_7766 sinh-def_binary64_7765 tan-neg_binary64_7712 cos-neg_binary64_7711 sin-neg_binary64_7710 tan-0_binary64_7709 cos-0_binary64_7708 sin-0_binary64_7707 hang-m-tan_binary64_7706 hang-p-tan_binary64_7705 hang-m0-tan_binary64_7704 hang-p0-tan_binary64_7703 hang-0m-tan_binary64_7702 hang-0p-tan_binary64_7701 tan-+PI/2_binary64_7700 tan-+PI_binary64_7699 tan-PI_binary64_7698 tan-PI/3_binary64_7697 tan-PI/4_binary64_7696 tan-PI/6_binary64_7695 cos-+PI/2_binary64_7694 cos-+PI_binary64_7693 cos-PI_binary64_7692 cos-PI/2_binary64_7691 cos-PI/3_binary64_7690 cos-PI/4_binary64_7689 cos-PI/6_binary64_7688 sin-+PI/2_binary64_7687 sin-+PI_binary64_7686 sin-PI_binary64_7685 sin-PI/2_binary64_7684 sin-PI/3_binary64_7683 sin-PI/4_binary64_7682 sin-PI/6_binary64_7681 sub-1-sin_binary64_7680 sub-1-cos_binary64_7679 -1-add-sin_binary64_7678 -1-add-cos_binary64_7677 1-sub-sin_binary64_7676 1-sub-cos_binary64_7675 cos-sin-sum_binary64_7674 log-E_binary64_7670 pow-base-0_binary64_7664 unpow1/3_binary64_7647 exp-to-pow_binary64_7642 pow-base-1_binary64_7640 unpow0_binary64_7639 unpow-1_binary64_7637 exp-lft-cube_binary64_7636 exp-lft-sqr_binary64_7635 exp-cbrt_binary64_7634 exp-sqrt_binary64_7633 div-exp_binary64_7631 rec-exp_binary64_7630 prod-exp_binary64_7629 exp-neg_binary64_7627 e-exp-1_binary64_7625 exp-0_binary64_7622 rem-log-exp_binary64_7621 rem-exp-log_binary64_7620 cube-neg_binary64_7607 rem-cbrt-cube_binary64_7604 rem-cube-cbrt_binary64_7603 sqr-abs_binary64_7595 sqr-neg_binary64_7594 mul-1-neg_binary64_7572 mul0-rgt_binary64_7563 mul0-lft_binary64_7562 *-inverses_binary64_7560 lft-mult-inverse_binary64_7558 rgt-mult-inverse_binary64_7557 remove-double-div_binary64_7556 difference-of-sqr--1_binary64_7551 difference-of-sqr-1_binary64_7550 difference-of-squares_binary64_7549 distribute-frac-neg_binary64_7543
Counts
76 → 60
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
01381330
12941229
25691157
313231133
417281128
531141090
636831090
746381090
847631090

prune45.0ms (0.9%)

Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New60060
Fresh066
Picked011
Done011
Total60868
Error
0b
Counts
68 → 8
Compiler

Compiled 820 to 348 computations (57.6% saved)

regimes826.0ms (16%)

Accuracy

Total 0.1b remaining (99.2%)

Threshold costs 0.1b (99.2%)

Compiler

Compiled 8636 to 6449 computations (25.3% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
2×sub-neg_binary64_7573 *-commutative_binary64_7511 +-commutative_binary64_7510
1×1-exp_binary64_7624 neg-mul-1_binary64_7576 neg-sub0_binary64_7575
0×not-true not-false not-not not-and not-or and-true-l and-true-r and-false-l and-false-r and-same or-true-l or-true-r or-false-l or-false-r or-same if-if-and-not_binary64_7840 if-if-and_binary64_7839 if-if-or-not_binary64_7838 if-if-or_binary64_7837 if-not_binary64_7836 if-same_binary64_7835 if-false_binary64_7834 if-true_binary64_7833 tan-0_binary64_7709 cos-0_binary64_7708 sin-0_binary64_7707 unpow1_binary64_7638 e-exp-1_binary64_7625 exp-1-e_binary64_7623 exp-0_binary64_7622 sqr-abs_binary64_7595 sqr-neg_binary64_7594 unsub-neg_binary64_7574 mul-1-neg_binary64_7572 /-rgt-identity_binary64_7571 *-rgt-identity_binary64_7570 *-lft-identity_binary64_7569 remove-double-neg_binary64_7568 sub0-neg_binary64_7567 --rgt-identity_binary64_7566 +-rgt-identity_binary64_7565 +-lft-identity_binary64_7564 cancel-sign-sub-inv_binary64_7546 cancel-sign-sub_binary64_7545 distribute-neg-frac_binary64_7544 distribute-frac-neg_binary64_7543 distribute-neg-out_binary64_7542 distribute-neg-in_binary64_7541 distribute-rgt-neg-out_binary64_7540 distribute-lft-neg-out_binary64_7539 distribute-rgt-neg-in_binary64_7538 distribute-lft-neg-in_binary64_7537
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0913
11413
21813
32013
42113
52013

end0.0ms (0%)

sample2.0s (37.8%)

Algorithm
1×intervals
Results
192.0ms8000×body128valid
9.0ms392×body128invalid
Compiler

Compiled 1690 to 1270 computations (24.9% saved)

Profiling

Loading profile data...