Metrics for Physics.ForceLayout:coulombForce from force-layout-0.4.0.2

analyze219.0ms (4.1%)

Algorithm

1×	search
2×	egg-herbie

Rules

2× associate-/r*_binary64_10593

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_10912 erf-erfc_binary64_10911 erf-odd_binary64_10910 if-if-and-not_binary64_10909 if-if-and_binary64_10908 if-if-or-not_binary64_10907 if-if-or_binary64_10906 if-not_binary64_10905 if-same_binary64_10904 if-false_binary64_10903 if-true_binary64_10902 not-gte_binary64_10901 not-lte_binary64_10900 not-gt_binary64_10899 not-lt_binary64_10898 gte-same_binary64_10897 lte-same_binary64_10896 gt-same_binary64_10895 lt-same_binary64_10894 sinh---cosh_binary64_10841 sinh-+-cosh_binary64_10840 sinh-cosh_binary64_10839 tanh-def-c_binary64_10838 tanh-def-b_binary64_10837 tanh-def-a_binary64_10836 cosh-def_binary64_10835 sinh-def_binary64_10834 tan-neg_binary64_10781 cos-neg_binary64_10780 sin-neg_binary64_10779 tan-0_binary64_10778 cos-0_binary64_10777 sin-0_binary64_10776 hang-m-tan_binary64_10775 hang-p-tan_binary64_10774 hang-m0-tan_binary64_10773 hang-p0-tan_binary64_10772 hang-0m-tan_binary64_10771 hang-0p-tan_binary64_10770 tan-+PI/2_binary64_10769 tan-+PI_binary64_10768 tan-PI_binary64_10767 tan-PI/3_binary64_10766 tan-PI/4_binary64_10765 tan-PI/6_binary64_10764 cos-+PI/2_binary64_10763 cos-+PI_binary64_10762 cos-PI_binary64_10761 cos-PI/2_binary64_10760 cos-PI/3_binary64_10759 cos-PI/4_binary64_10758 cos-PI/6_binary64_10757 sin-+PI/2_binary64_10756 sin-+PI_binary64_10755 sin-PI_binary64_10754 sin-PI/2_binary64_10753 sin-PI/3_binary64_10752 sin-PI/4_binary64_10751 sin-PI/6_binary64_10750 sub-1-sin_binary64_10749 sub-1-cos_binary64_10748 -1-add-sin_binary64_10747 -1-add-cos_binary64_10746 1-sub-sin_binary64_10745 1-sub-cos_binary64_10744 cos-sin-sum_binary64_10743 log-E_binary64_10739 log-pow_binary64_10738 log-rec_binary64_10737 log-div_binary64_10736 log-prod_binary64_10735 pow-base-0_binary64_10733 unpow1/3_binary64_10716 unpow3_binary64_10715 unpow2_binary64_10714 unpow1/2_binary64_10713 pow-plus_binary64_10712 exp-to-pow_binary64_10711 pow-base-1_binary64_10709 unpow0_binary64_10708 unpow1_binary64_10707 unpow-1_binary64_10706 exp-lft-cube_binary64_10705 exp-lft-sqr_binary64_10704 exp-cbrt_binary64_10703 exp-sqrt_binary64_10702 exp-prod_binary64_10701 div-exp_binary64_10700 rec-exp_binary64_10699 prod-exp_binary64_10698 exp-diff_binary64_10697 exp-neg_binary64_10696 exp-sum_binary64_10695 e-exp-1_binary64_10694 1-exp_binary64_10693 exp-1-e_binary64_10692 exp-0_binary64_10691 rem-log-exp_binary64_10690 rem-exp-log_binary64_10689 cube-unmult_binary64_10686 cube-mult_binary64_10679 cube-div_binary64_10678 cube-prod_binary64_10677 cube-neg_binary64_10676 rem-3cbrt-rft_binary64_10675 rem-3cbrt-lft_binary64_10674 rem-cbrt-cube_binary64_10673 rem-cube-cbrt_binary64_10672 sqr-abs_binary64_10664 sqr-neg_binary64_10663 rem-sqrt-square_binary64_10662 rem-square-sqrt_binary64_10661 times-frac_binary64_10655 div-sub_binary64_10654 neg-mul-1_binary64_10645 neg-sub0_binary64_10644 unsub-neg_binary64_10643 sub-neg_binary64_10642 mul-1-neg_binary64_10641 /-rgt-identity_binary64_10640 *-rgt-identity_binary64_10639 *-lft-identity_binary64_10638 remove-double-neg_binary64_10637 sub0-neg_binary64_10636 --rgt-identity_binary64_10635 +-rgt-identity_binary64_10634 +-lft-identity_binary64_10633 mul0-rgt_binary64_10632 mul0-lft_binary64_10631 div0_binary64_10630 *-inverses_binary64_10629 +-inverses_binary64_10628 lft-mult-inverse_binary64_10627 rgt-mult-inverse_binary64_10626 remove-double-div_binary64_10625 pow-sqr_binary64_10622 sqr-pow_binary64_10621 difference-of-sqr--1_binary64_10620 difference-of-sqr-1_binary64_10619 difference-of-squares_binary64_10618 unswap-sqr_binary64_10617 swap-sqr_binary64_10616 cancel-sign-sub-inv_binary64_10615 cancel-sign-sub_binary64_10614 distribute-neg-frac_binary64_10613 distribute-frac-neg_binary64_10612 distribute-neg-out_binary64_10611 distribute-neg-in_binary64_10610 distribute-rgt-neg-out_binary64_10609 distribute-lft-neg-out_binary64_10608 distribute-rgt-neg-in_binary64_10607 distribute-lft-neg-in_binary64_10606 distribute-rgt1-in_binary64_10605 distribute-lft1-in_binary64_10604 distribute-rgt-out--_binary64_10603 distribute-rgt-out_binary64_10602 distribute-lft-out--_binary64_10601 distribute-lft-out_binary64_10600 distribute-rgt-in_binary64_10599 distribute-lft-in_binary64_10598 count-2_binary64_10597 associate-/l/_binary64_10596 associate-/r/_binary64_10595 associate-/l*_binary64_10594 associate-*l/_binary64_10592 associate-*r/_binary64_10591 associate-*l*_binary64_10590 associate-*r*_binary64_10589 associate--r-_binary64_10588 associate--l-_binary64_10587 associate--l+_binary64_10586 associate--r+_binary64_10585 associate-+l-_binary64_10584 associate-+r-_binary64_10583 associate-+l+_binary64_10582 associate-+r+_binary64_10581 *-commutative_binary64_10580 +-commutative_binary64_10579

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	14
1	11	14
2	11	14
0	2	2
1	2	2

Search

True	Other	False	Iter
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 6 to 5 computations (16.7% saved)

sample15.0ms (0.3%)

Algorithm

1×

intervals

Results

5.0ms	256×	body	128	valid
0.0ms	10×	body	128	invalid

Compiler

Compiled 11 to 11 computations (0% saved)

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

1× associate-/r*_binary64_10593

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_10912 erf-erfc_binary64_10911 erf-odd_binary64_10910 if-if-and-not_binary64_10909 if-if-and_binary64_10908 if-if-or-not_binary64_10907 if-if-or_binary64_10906 if-not_binary64_10905 if-same_binary64_10904 if-false_binary64_10903 if-true_binary64_10902 not-gte_binary64_10901 not-lte_binary64_10900 not-gt_binary64_10899 not-lt_binary64_10898 gte-same_binary64_10897 lte-same_binary64_10896 gt-same_binary64_10895 lt-same_binary64_10894 sinh---cosh_binary64_10841 sinh-+-cosh_binary64_10840 sinh-cosh_binary64_10839 tanh-def-c_binary64_10838 tanh-def-b_binary64_10837 tanh-def-a_binary64_10836 cosh-def_binary64_10835 sinh-def_binary64_10834 tan-neg_binary64_10781 cos-neg_binary64_10780 sin-neg_binary64_10779 tan-0_binary64_10778 cos-0_binary64_10777 sin-0_binary64_10776 hang-m-tan_binary64_10775 hang-p-tan_binary64_10774 hang-m0-tan_binary64_10773 hang-p0-tan_binary64_10772 hang-0m-tan_binary64_10771 hang-0p-tan_binary64_10770 tan-+PI/2_binary64_10769 tan-+PI_binary64_10768 tan-PI_binary64_10767 tan-PI/3_binary64_10766 tan-PI/4_binary64_10765 tan-PI/6_binary64_10764 cos-+PI/2_binary64_10763 cos-+PI_binary64_10762 cos-PI_binary64_10761 cos-PI/2_binary64_10760 cos-PI/3_binary64_10759 cos-PI/4_binary64_10758 cos-PI/6_binary64_10757 sin-+PI/2_binary64_10756 sin-+PI_binary64_10755 sin-PI_binary64_10754 sin-PI/2_binary64_10753 sin-PI/3_binary64_10752 sin-PI/4_binary64_10751 sin-PI/6_binary64_10750 sub-1-sin_binary64_10749 sub-1-cos_binary64_10748 -1-add-sin_binary64_10747 -1-add-cos_binary64_10746 1-sub-sin_binary64_10745 1-sub-cos_binary64_10744 cos-sin-sum_binary64_10743 log-E_binary64_10739 log-pow_binary64_10738 log-rec_binary64_10737 log-div_binary64_10736 log-prod_binary64_10735 pow-base-0_binary64_10733 unpow1/3_binary64_10716 unpow3_binary64_10715 unpow2_binary64_10714 unpow1/2_binary64_10713 pow-plus_binary64_10712 exp-to-pow_binary64_10711 pow-base-1_binary64_10709 unpow0_binary64_10708 unpow1_binary64_10707 unpow-1_binary64_10706 exp-lft-cube_binary64_10705 exp-lft-sqr_binary64_10704 exp-cbrt_binary64_10703 exp-sqrt_binary64_10702 exp-prod_binary64_10701 div-exp_binary64_10700 rec-exp_binary64_10699 prod-exp_binary64_10698 exp-diff_binary64_10697 exp-neg_binary64_10696 exp-sum_binary64_10695 e-exp-1_binary64_10694 1-exp_binary64_10693 exp-1-e_binary64_10692 exp-0_binary64_10691 rem-log-exp_binary64_10690 rem-exp-log_binary64_10689 cube-unmult_binary64_10686 cube-mult_binary64_10679 cube-div_binary64_10678 cube-prod_binary64_10677 cube-neg_binary64_10676 rem-3cbrt-rft_binary64_10675 rem-3cbrt-lft_binary64_10674 rem-cbrt-cube_binary64_10673 rem-cube-cbrt_binary64_10672 sqr-abs_binary64_10664 sqr-neg_binary64_10663 rem-sqrt-square_binary64_10662 rem-square-sqrt_binary64_10661 times-frac_binary64_10655 div-sub_binary64_10654 neg-mul-1_binary64_10645 neg-sub0_binary64_10644 unsub-neg_binary64_10643 sub-neg_binary64_10642 mul-1-neg_binary64_10641 /-rgt-identity_binary64_10640 *-rgt-identity_binary64_10639 *-lft-identity_binary64_10638 remove-double-neg_binary64_10637 sub0-neg_binary64_10636 --rgt-identity_binary64_10635 +-rgt-identity_binary64_10634 +-lft-identity_binary64_10633 mul0-rgt_binary64_10632 mul0-lft_binary64_10631 div0_binary64_10630 *-inverses_binary64_10629 +-inverses_binary64_10628 lft-mult-inverse_binary64_10627 rgt-mult-inverse_binary64_10626 remove-double-div_binary64_10625 pow-sqr_binary64_10622 sqr-pow_binary64_10621 difference-of-sqr--1_binary64_10620 difference-of-sqr-1_binary64_10619 difference-of-squares_binary64_10618 unswap-sqr_binary64_10617 swap-sqr_binary64_10616 cancel-sign-sub-inv_binary64_10615 cancel-sign-sub_binary64_10614 distribute-neg-frac_binary64_10613 distribute-frac-neg_binary64_10612 distribute-neg-out_binary64_10611 distribute-neg-in_binary64_10610 distribute-rgt-neg-out_binary64_10609 distribute-lft-neg-out_binary64_10608 distribute-rgt-neg-in_binary64_10607 distribute-lft-neg-in_binary64_10606 distribute-rgt1-in_binary64_10605 distribute-lft1-in_binary64_10604 distribute-rgt-out--_binary64_10603 distribute-rgt-out_binary64_10602 distribute-lft-out--_binary64_10601 distribute-lft-out_binary64_10600 distribute-rgt-in_binary64_10599 distribute-lft-in_binary64_10598 count-2_binary64_10597 associate-/l/_binary64_10596 associate-/r/_binary64_10595 associate-/l*_binary64_10594 associate-*l/_binary64_10592 associate-*r/_binary64_10591 associate-*l*_binary64_10590 associate-*r*_binary64_10589 associate--r-_binary64_10588 associate--l-_binary64_10587 associate--l+_binary64_10586 associate--r+_binary64_10585 associate-+l-_binary64_10584 associate-+r-_binary64_10583 associate-+l+_binary64_10582 associate-+r+_binary64_10581 *-commutative_binary64_10580 +-commutative_binary64_10579

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	7	7
2	7	7

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	0	0
Total	1	1

Error

10.1b

Counts

1 → 1

Compiler

Compiled 5 to 4 computations (20% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite29.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

6×	`add-exp-log_binary64_10687` `add-cbrt-cube_binary64_10685`
3×	`add-cube-cbrt_binary64_10684` `add-sqr-sqrt_binary64_10671` `times-frac_binary64_10655` `-un-lft-identity_binary64_10649` `associate-/l_binary64_10594`
2×	`div-exp_binary64_10700` `cbrt-undiv_binary64_10683`
1×	`pow1_binary64_10710` `prod-exp_binary64_10698` `add-log-exp_binary64_10688` `cbrt-unprod_binary64_10682` `frac-2neg_binary64_10660` `clear-num_binary64_10648` `div-inv_binary64_10646` `associate-/r*_binary64_10593`

Counts

1 → 21

Calls

1 calls:

4.0ms

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

Compiler

Compiled 214 to 66 computations (69.2% saved)

series97.0ms (1.8%)

Error

10.1b

Counts

1 → 6

Calls

1 calls:

94.0ms

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

Compiler

Compiled 90 to 80 computations (11.1% saved)

simplify85.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

801×	`sub-neg_binary64_10642`
553×	`div-sub_binary64_10654`
385×	`associate-/l*_binary64_10594`
361×	`associate-/l/_binary64_10596`
320×	`*-commutative_binary64_10580`
249×	`associate-/r*_binary64_10593`
198×	`unswap-sqr_binary64_10617`
171×	`associate-l/_binary64_10592` `associate-l*_binary64_10590`
157×	`distribute-rgt-in_binary64_10599`
127×	`distribute-lft-in_binary64_10598`
124×	`unsub-neg_binary64_10643`
123×	`associate-/r/_binary64_10595`
121×	`associate-r_binary64_10589`
114×	`cancel-sign-sub-inv_binary64_10615`
107×	`associate--l+_binary64_10586`
105×	`associate-+l+_binary64_10582`
103×	`times-frac_binary64_10655`
98×	`associate--r+_binary64_10585`
78×	`associate-*r/_binary64_10591`
70×	`log-prod_binary64_10735`
65×	`associate-+r+_binary64_10581`
57×	`associate--l-_binary64_10587`
55×	`cube-prod_binary64_10677` `neg-mul-1_binary64_10645`
53×	`associate-+l-_binary64_10584`
52×	`neg-sub0_binary64_10644`
51×	`sqr-pow_binary64_10621`
50×	`distribute-lft-neg-in_binary64_10606`
44×	`distribute-rgt-neg-in_binary64_10607`
40×	`unpow3_binary64_10715`
38×	`associate--r-_binary64_10588`
36×	`distribute-neg-in_binary64_10610`
31×	`pow-plus_binary64_10712` `cube-mult_binary64_10679`
30×	`log-pow_binary64_10738`
26×	`+-commutative_binary64_10579`
18×	`log-div_binary64_10736`
15×	`cube-div_binary64_10678` `swap-sqr_binary64_10616`
14×	`associate-+r-_binary64_10583`
12×	`distribute-rgt-out--_binary64_10603`
11×	`count-2_binary64_10597`
10×	`cube-unmult_binary64_10686` `pow-sqr_binary64_10622` `distribute-rgt-out_binary64_10602`
9×	`distribute-lft-neg-out_binary64_10608`
8×	`sub0-neg_binary64_10636` `distribute-rgt-neg-out_binary64_10609`
7×	`distribute-lft-out_binary64_10600`
6×	`--rgt-identity_binary64_10635`
5×	`distribute-lft-out--_binary64_10601`
4×	`exp-diff_binary64_10697` `-rgt-identity_binary64_10639` `-lft-identity_binary64_10638` `remove-double-neg_binary64_10637` `+-rgt-identity_binary64_10634`
3×	`unpow2_binary64_10714` `mul0-rgt_binary64_10632` `mul0-lft_binary64_10631` `distribute-neg-out_binary64_10611`
1×	`unpow1/2_binary64_10713` `unpow1_binary64_10707` `1-exp_binary64_10693` `rem-sqrt-square_binary64_10662` `+-lft-identity_binary64_10633`
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_10912` `erf-erfc_binary64_10911` `erf-odd_binary64_10910` `if-if-and-not_binary64_10909` `if-if-and_binary64_10908` `if-if-or-not_binary64_10907` `if-if-or_binary64_10906` `if-not_binary64_10905` `if-same_binary64_10904` `if-false_binary64_10903` `if-true_binary64_10902` `not-gte_binary64_10901` `not-lte_binary64_10900` `not-gt_binary64_10899` `not-lt_binary64_10898` `gte-same_binary64_10897` `lte-same_binary64_10896` `gt-same_binary64_10895` `lt-same_binary64_10894` `sinh---cosh_binary64_10841` `sinh-+-cosh_binary64_10840` `sinh-cosh_binary64_10839` `tanh-def-c_binary64_10838` `tanh-def-b_binary64_10837` `tanh-def-a_binary64_10836` `cosh-def_binary64_10835` `sinh-def_binary64_10834` `tan-neg_binary64_10781` `cos-neg_binary64_10780` `sin-neg_binary64_10779` `tan-0_binary64_10778` `cos-0_binary64_10777` `sin-0_binary64_10776` `hang-m-tan_binary64_10775` `hang-p-tan_binary64_10774` `hang-m0-tan_binary64_10773` `hang-p0-tan_binary64_10772` `hang-0m-tan_binary64_10771` `hang-0p-tan_binary64_10770` `tan-+PI/2_binary64_10769` `tan-+PI_binary64_10768` `tan-PI_binary64_10767` `tan-PI/3_binary64_10766` `tan-PI/4_binary64_10765` `tan-PI/6_binary64_10764` `cos-+PI/2_binary64_10763` `cos-+PI_binary64_10762` `cos-PI_binary64_10761` `cos-PI/2_binary64_10760` `cos-PI/3_binary64_10759` `cos-PI/4_binary64_10758` `cos-PI/6_binary64_10757` `sin-+PI/2_binary64_10756` `sin-+PI_binary64_10755` `sin-PI_binary64_10754` `sin-PI/2_binary64_10753` `sin-PI/3_binary64_10752` `sin-PI/4_binary64_10751` `sin-PI/6_binary64_10750` `sub-1-sin_binary64_10749` `sub-1-cos_binary64_10748` `-1-add-sin_binary64_10747` `-1-add-cos_binary64_10746` `1-sub-sin_binary64_10745` `1-sub-cos_binary64_10744` `cos-sin-sum_binary64_10743` `log-E_binary64_10739` `log-rec_binary64_10737` `pow-base-0_binary64_10733` `unpow1/3_binary64_10716` `exp-to-pow_binary64_10711` `pow-base-1_binary64_10709` `unpow0_binary64_10708` `unpow-1_binary64_10706` `exp-lft-cube_binary64_10705` `exp-lft-sqr_binary64_10704` `exp-cbrt_binary64_10703` `exp-sqrt_binary64_10702` `exp-prod_binary64_10701` `div-exp_binary64_10700` `rec-exp_binary64_10699` `prod-exp_binary64_10698` `exp-neg_binary64_10696` `exp-sum_binary64_10695` `e-exp-1_binary64_10694` `exp-1-e_binary64_10692` `exp-0_binary64_10691` `rem-log-exp_binary64_10690` `rem-exp-log_binary64_10689` `cube-neg_binary64_10676` `rem-3cbrt-rft_binary64_10675` `rem-3cbrt-lft_binary64_10674` `rem-cbrt-cube_binary64_10673` `rem-cube-cbrt_binary64_10672` `sqr-abs_binary64_10664` `sqr-neg_binary64_10663` `rem-square-sqrt_binary64_10661` `mul-1-neg_binary64_10641` `/-rgt-identity_binary64_10640` `div0_binary64_10630` `*-inverses_binary64_10629` `+-inverses_binary64_10628` `lft-mult-inverse_binary64_10627` `rgt-mult-inverse_binary64_10626` `remove-double-div_binary64_10625` `difference-of-sqr--1_binary64_10620` `difference-of-sqr-1_binary64_10619` `difference-of-squares_binary64_10618` `cancel-sign-sub_binary64_10614` `distribute-neg-frac_binary64_10613` `distribute-frac-neg_binary64_10612` `distribute-rgt1-in_binary64_10605` `distribute-lft1-in_binary64_10604`

Counts

27 → 15

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	44	289
1	93	244
2	218	244
3	577	244
4	1866	244
5	2381	244
6	3871	244
7	4950	244
8	6109	244

prune14.0ms (0.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	11	4	15
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	11	5	16

Error

0.1b

Counts

16 → 5

Compiler

Compiled 139 to 56 computations (59.7% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite336.0ms (6.3%)

Algorithm

1×	rewrite-expression-head

Error

0b

Rules

471×	`times-frac_binary64_10655`
229×	`add-cube-cbrt_binary64_10684` `add-sqr-sqrt_binary64_10671` `*-un-lft-identity_binary64_10649`
57×	`associate-/r*_binary64_10593`
28×	`add-exp-log_binary64_10687`
22×	`div-inv_binary64_10646`
18×	`div-exp_binary64_10700`
16×	`add-cbrt-cube_binary64_10685`
9×	`cbrt-undiv_binary64_10683`
6×	`associate-/r/_binary64_10595` `associate-/l*_binary64_10594`
3×	`pow1_binary64_10710` `1-exp_binary64_10693` `rec-exp_binary64_10699`
2×	`add-log-exp_binary64_10688` `frac-2neg_binary64_10660` `clear-num_binary64_10648`
1×	`inv-pow_binary64_10734` `pow-flip_binary64_10723`

Counts

2 → 274

Calls

2 calls:

13.0ms	(/.f64 1 (/.f64 y (/.f64 x y)))
6.0ms	(/.f64 y (/.f64 x y))

Compiler

Compiled 5275 to 1993 computations (62.2% saved)

series200.0ms (3.8%)

Error

0.1b

Counts

2 → 12

Calls

2 calls:

99.0ms	(/.f64 1 (/.f64 y (/.f64 x y)))
95.0ms	(/.f64 y (/.f64 x y))

Compiler

Compiled 216 to 194 computations (10.2% saved)

simplify317.0ms (6%)

Algorithm

1×	egg-herbie

Rules

425×	`associate-/r/_binary64_10595`
332×	`distribute-rgt-in_binary64_10599`
318×	`unsub-neg_binary64_10643`
282×	`associate-/l/_binary64_10596`
248×	`associate-*r/_binary64_10591`
226×	`associate-*l/_binary64_10592`
206×	`div-sub_binary64_10654`
199×	`sqr-pow_binary64_10621`
179×	`unswap-sqr_binary64_10617` `*-commutative_binary64_10580`
172×	`associate-/l*_binary64_10594`
158×	`cancel-sign-sub-inv_binary64_10615`
157×	`sub-neg_binary64_10642`
155×	`associate-/r*_binary64_10593`
120×	`distribute-neg-in_binary64_10610`
118×	`associate--r+_binary64_10585`
115×	`associate-+r+_binary64_10581`
112×	`times-frac_binary64_10655`
92×	`associate--r-_binary64_10588`
90×	`*-rgt-identity_binary64_10639`
89×	`log-prod_binary64_10735`
87×	`neg-mul-1_binary64_10645` `associate-l_binary64_10590`
82×	`exp-prod_binary64_10701` `neg-sub0_binary64_10644`
79×	`associate-+r-_binary64_10583`
78×	`associate-r_binary64_10589`
77×	`cube-prod_binary64_10677`
69×	`distribute-rgt-neg-in_binary64_10607`
64×	`pow-sqr_binary64_10622`
58×	`log-div_binary64_10736`
52×	`distribute-lft-neg-in_binary64_10606` `associate-+l+_binary64_10582`
50×	`rem-sqrt-square_binary64_10662`
49×	`cube-div_binary64_10678` `swap-sqr_binary64_10616`
46×	`associate--l+_binary64_10586`
43×	`distribute-neg-frac_binary64_10613`
35×	`remove-double-div_binary64_10625` `distribute-lft-in_binary64_10598`
33×	`associate-+l-_binary64_10584`
30×	`associate--l-_binary64_10587`
23×	`unpow3_binary64_10715`
21×	`*-lft-identity_binary64_10638`
20×	`log-rec_binary64_10737` `distribute-neg-out_binary64_10611`
19×	`log-pow_binary64_10738` `distribute-lft-neg-out_binary64_10608`
15×	`unpow1/2_binary64_10713` `cube-mult_binary64_10679` `+-commutative_binary64_10579`
14×	`+-rgt-identity_binary64_10634` `distribute-rgt-out_binary64_10602`
12×	`cube-unmult_binary64_10686` `/-rgt-identity_binary64_10640` `--rgt-identity_binary64_10635`
9×	`sub0-neg_binary64_10636` `+-lft-identity_binary64_10633`
8×	`div0_binary64_10630` `distribute-lft-out--_binary64_10601` `distribute-lft-out_binary64_10600`
7×	`exp-diff_binary64_10697` `distribute-rgt1-in_binary64_10605`
6×	`pow-plus_binary64_10712` `remove-double-neg_binary64_10637` `distribute-rgt-neg-out_binary64_10609` `distribute-rgt-out--_binary64_10603`
5×	`mul0-lft_binary64_10631` `distribute-lft1-in_binary64_10604`
4×	`count-2_binary64_10597`
3×	`unpow2_binary64_10714` `exp-sum_binary64_10695` `mul0-rgt_binary64_10632`
2×	`unpow1_binary64_10707`
1×	`1-exp_binary64_10693` `exp-1-e_binary64_10692` `rem-3cbrt-rft_binary64_10675` `rem-3cbrt-lft_binary64_10674` `rem-square-sqrt_binary64_10661` `mul-1-neg_binary64_10641` `+-inverses_binary64_10628`
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_10912` `erf-erfc_binary64_10911` `erf-odd_binary64_10910` `if-if-and-not_binary64_10909` `if-if-and_binary64_10908` `if-if-or-not_binary64_10907` `if-if-or_binary64_10906` `if-not_binary64_10905` `if-same_binary64_10904` `if-false_binary64_10903` `if-true_binary64_10902` `not-gte_binary64_10901` `not-lte_binary64_10900` `not-gt_binary64_10899` `not-lt_binary64_10898` `gte-same_binary64_10897` `lte-same_binary64_10896` `gt-same_binary64_10895` `lt-same_binary64_10894` `sinh---cosh_binary64_10841` `sinh-+-cosh_binary64_10840` `sinh-cosh_binary64_10839` `tanh-def-c_binary64_10838` `tanh-def-b_binary64_10837` `tanh-def-a_binary64_10836` `cosh-def_binary64_10835` `sinh-def_binary64_10834` `tan-neg_binary64_10781` `cos-neg_binary64_10780` `sin-neg_binary64_10779` `tan-0_binary64_10778` `cos-0_binary64_10777` `sin-0_binary64_10776` `hang-m-tan_binary64_10775` `hang-p-tan_binary64_10774` `hang-m0-tan_binary64_10773` `hang-p0-tan_binary64_10772` `hang-0m-tan_binary64_10771` `hang-0p-tan_binary64_10770` `tan-+PI/2_binary64_10769` `tan-+PI_binary64_10768` `tan-PI_binary64_10767` `tan-PI/3_binary64_10766` `tan-PI/4_binary64_10765` `tan-PI/6_binary64_10764` `cos-+PI/2_binary64_10763` `cos-+PI_binary64_10762` `cos-PI_binary64_10761` `cos-PI/2_binary64_10760` `cos-PI/3_binary64_10759` `cos-PI/4_binary64_10758` `cos-PI/6_binary64_10757` `sin-+PI/2_binary64_10756` `sin-+PI_binary64_10755` `sin-PI_binary64_10754` `sin-PI/2_binary64_10753` `sin-PI/3_binary64_10752` `sin-PI/4_binary64_10751` `sin-PI/6_binary64_10750` `sub-1-sin_binary64_10749` `sub-1-cos_binary64_10748` `-1-add-sin_binary64_10747` `-1-add-cos_binary64_10746` `1-sub-sin_binary64_10745` `1-sub-cos_binary64_10744` `cos-sin-sum_binary64_10743` `log-E_binary64_10739` `pow-base-0_binary64_10733` `unpow1/3_binary64_10716` `exp-to-pow_binary64_10711` `pow-base-1_binary64_10709` `unpow0_binary64_10708` `unpow-1_binary64_10706` `exp-lft-cube_binary64_10705` `exp-lft-sqr_binary64_10704` `exp-cbrt_binary64_10703` `exp-sqrt_binary64_10702` `div-exp_binary64_10700` `rec-exp_binary64_10699` `prod-exp_binary64_10698` `exp-neg_binary64_10696` `e-exp-1_binary64_10694` `exp-0_binary64_10691` `rem-log-exp_binary64_10690` `rem-exp-log_binary64_10689` `cube-neg_binary64_10676` `rem-cbrt-cube_binary64_10673` `rem-cube-cbrt_binary64_10672` `sqr-abs_binary64_10664` `sqr-neg_binary64_10663` `*-inverses_binary64_10629` `lft-mult-inverse_binary64_10627` `rgt-mult-inverse_binary64_10626` `difference-of-sqr--1_binary64_10620` `difference-of-sqr-1_binary64_10619` `difference-of-squares_binary64_10618` `cancel-sign-sub_binary64_10614` `distribute-frac-neg_binary64_10612`

Counts

286 → 272

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	326	6447
1	715	5636
2	2400	5291
3	2537	5235
4	3580	5220
5	4290	5036
6	4822	5036
7	5068	5036

prune229.0ms (4.3%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	264	8	272
Fresh	2	1	3
Picked	1	0	1
Done	0	1	1
Total	267	10	277

Error

0b

Counts

277 → 10

Compiler

Compiled 3981 to 1463 computations (63.3% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite59.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

0b

Rules

75×	`times-frac_binary64_10655`
43×	`add-cube-cbrt_binary64_10684` `add-sqr-sqrt_binary64_10671` `*-un-lft-identity_binary64_10649`
13×	`associate-/l*_binary64_10594`
6×	`add-exp-log_binary64_10687` `add-cbrt-cube_binary64_10685`
5×	`div-inv_binary64_10646`
3×	`div-exp_binary64_10700` `cbrt-undiv_binary64_10683` `associate-/r*_binary64_10593`
1×	`pow1_binary64_10710` `add-log-exp_binary64_10688` `frac-2neg_binary64_10660` `clear-num_binary64_10648` `associate-/l/_binary64_10596`

Counts

1 → 70

Calls

1 calls:

6.0ms

(/.f64 (/.f64 x y) y)

Compiler

Compiled 1011 to 278 computations (72.5% saved)

series102.0ms (1.9%)

Error

0b

Counts

1 → 6

Calls

1 calls:

99.0ms

(/.f64 (/.f64 x y) y)

Compiler

Compiled 90 to 80 computations (11.1% saved)

simplify140.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

434×	`cancel-sign-sub-inv_binary64_10615`
424×	`sub-neg_binary64_10642`
329×	`associate-/l/_binary64_10596`
320×	`div-sub_binary64_10654`
312×	`unsub-neg_binary64_10643`
250×	`distribute-neg-in_binary64_10610`
247×	`times-frac_binary64_10655`
210×	`*-commutative_binary64_10580`
198×	`associate-/l*_binary64_10594`
190×	`neg-mul-1_binary64_10645`
185×	`associate--l+_binary64_10586`
183×	`neg-sub0_binary64_10644`
155×	`+-commutative_binary64_10579`
152×	`associate-/r*_binary64_10593`
148×	`cancel-sign-sub_binary64_10614`
139×	`sqr-pow_binary64_10621`
137×	`associate-+l+_binary64_10582`
136×	`log-prod_binary64_10735`
121×	`associate-/r/_binary64_10595`
120×	`associate--l-_binary64_10587`
118×	`associate-+l-_binary64_10584`
117×	`associate--r+_binary64_10585`
109×	`distribute-neg-out_binary64_10611`
107×	`unswap-sqr_binary64_10617`
102×	`cube-prod_binary64_10677`
101×	`distribute-rgt-in_binary64_10599`
81×	`associate-*l/_binary64_10592`
80×	`distribute-lft-in_binary64_10598`
77×	`associate--r-_binary64_10588`
64×	`associate-l_binary64_10590`
62×	`associate-+r+_binary64_10581`
59×	`associate-*r/_binary64_10591`
53×	`div0_binary64_10630`
51×	`unpow3_binary64_10715`
50×	`pow-sqr_binary64_10622`
47×	`log-div_binary64_10736` `distribute-lft-neg-in_binary64_10606`
45×	`swap-sqr_binary64_10616` `distribute-rgt-neg-in_binary64_10607`
42×	`cube-mult_binary64_10679`
41×	`log-pow_binary64_10738`
38×	`associate-+r-_binary64_10583`
37×	`cube-div_binary64_10678`
33×	`*-rgt-identity_binary64_10639`
29×	`distribute-lft-out--_binary64_10601`
27×	`associate-r_binary64_10589`
24×	`*-lft-identity_binary64_10638`
22×	`distribute-rgt-out_binary64_10602`
21×	`pow-plus_binary64_10712` `distribute-lft-neg-out_binary64_10608`
20×	`/-rgt-identity_binary64_10640` `distribute-rgt-out--_binary64_10603`
17×	`distribute-lft-out_binary64_10600`
14×	`remove-double-neg_binary64_10637` `--rgt-identity_binary64_10635` `distribute-rgt-neg-out_binary64_10609`
13×	`exp-prod_binary64_10701` `count-2_binary64_10597`
10×	`cube-unmult_binary64_10686`
9×	`rem-sqrt-square_binary64_10662` `sub0-neg_binary64_10636` `distribute-neg-frac_binary64_10613`
8×	`log-rec_binary64_10737`
6×	`unpow1/2_binary64_10713` `+-rgt-identity_binary64_10634` `distribute-lft1-in_binary64_10604`
5×	`unpow2_binary64_10714` `distribute-rgt1-in_binary64_10605`
4×	`unpow1_binary64_10707` `+-lft-identity_binary64_10633`
3×	`exp-sum_binary64_10695` `+-inverses_binary64_10628`
2×	`exp-diff_binary64_10697`
1×	`1-exp_binary64_10693` `exp-1-e_binary64_10692` `rem-3cbrt-rft_binary64_10675` `rem-3cbrt-lft_binary64_10674` `rem-square-sqrt_binary64_10661`
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_10912` `erf-erfc_binary64_10911` `erf-odd_binary64_10910` `if-if-and-not_binary64_10909` `if-if-and_binary64_10908` `if-if-or-not_binary64_10907` `if-if-or_binary64_10906` `if-not_binary64_10905` `if-same_binary64_10904` `if-false_binary64_10903` `if-true_binary64_10902` `not-gte_binary64_10901` `not-lte_binary64_10900` `not-gt_binary64_10899` `not-lt_binary64_10898` `gte-same_binary64_10897` `lte-same_binary64_10896` `gt-same_binary64_10895` `lt-same_binary64_10894` `sinh---cosh_binary64_10841` `sinh-+-cosh_binary64_10840` `sinh-cosh_binary64_10839` `tanh-def-c_binary64_10838` `tanh-def-b_binary64_10837` `tanh-def-a_binary64_10836` `cosh-def_binary64_10835` `sinh-def_binary64_10834` `tan-neg_binary64_10781` `cos-neg_binary64_10780` `sin-neg_binary64_10779` `tan-0_binary64_10778` `cos-0_binary64_10777` `sin-0_binary64_10776` `hang-m-tan_binary64_10775` `hang-p-tan_binary64_10774` `hang-m0-tan_binary64_10773` `hang-p0-tan_binary64_10772` `hang-0m-tan_binary64_10771` `hang-0p-tan_binary64_10770` `tan-+PI/2_binary64_10769` `tan-+PI_binary64_10768` `tan-PI_binary64_10767` `tan-PI/3_binary64_10766` `tan-PI/4_binary64_10765` `tan-PI/6_binary64_10764` `cos-+PI/2_binary64_10763` `cos-+PI_binary64_10762` `cos-PI_binary64_10761` `cos-PI/2_binary64_10760` `cos-PI/3_binary64_10759` `cos-PI/4_binary64_10758` `cos-PI/6_binary64_10757` `sin-+PI/2_binary64_10756` `sin-+PI_binary64_10755` `sin-PI_binary64_10754` `sin-PI/2_binary64_10753` `sin-PI/3_binary64_10752` `sin-PI/4_binary64_10751` `sin-PI/6_binary64_10750` `sub-1-sin_binary64_10749` `sub-1-cos_binary64_10748` `-1-add-sin_binary64_10747` `-1-add-cos_binary64_10746` `1-sub-sin_binary64_10745` `1-sub-cos_binary64_10744` `cos-sin-sum_binary64_10743` `log-E_binary64_10739` `pow-base-0_binary64_10733` `unpow1/3_binary64_10716` `exp-to-pow_binary64_10711` `pow-base-1_binary64_10709` `unpow0_binary64_10708` `unpow-1_binary64_10706` `exp-lft-cube_binary64_10705` `exp-lft-sqr_binary64_10704` `exp-cbrt_binary64_10703` `exp-sqrt_binary64_10702` `div-exp_binary64_10700` `rec-exp_binary64_10699` `prod-exp_binary64_10698` `exp-neg_binary64_10696` `e-exp-1_binary64_10694` `exp-0_binary64_10691` `rem-log-exp_binary64_10690` `rem-exp-log_binary64_10689` `cube-neg_binary64_10676` `rem-cbrt-cube_binary64_10673` `rem-cube-cbrt_binary64_10672` `sqr-abs_binary64_10664` `sqr-neg_binary64_10663` `mul-1-neg_binary64_10641` `mul0-rgt_binary64_10632` `mul0-lft_binary64_10631` `*-inverses_binary64_10629` `lft-mult-inverse_binary64_10627` `rgt-mult-inverse_binary64_10626` `remove-double-div_binary64_10625` `difference-of-sqr--1_binary64_10620` `difference-of-sqr-1_binary64_10619` `difference-of-squares_binary64_10618` `distribute-frac-neg_binary64_10612`

Counts

76 → 60

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	138	1330
1	294	1229
2	569	1157
3	1323	1133
4	1728	1128
5	3114	1090
6	3683	1090
7	4638	1090
8	4763	1090

prune46.0ms (0.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	60	0	60
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	60	10	70

Error

0b

Counts

70 → 10

Compiler

Compiled 774 to 286 computations (63% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite63.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0b

Rules

32×	`add-sqr-sqrt_binary64_10671`
25×	`times-frac_binary64_10655`
23×	`add-exp-log_binary64_10687`
17×	`*-un-lft-identity_binary64_10649`
15×	`add-cube-cbrt_binary64_10684`
13×	`add-cbrt-cube_binary64_10685` `associate-l_binary64_10590` `associate-r_binary64_10589`
8×	`div-exp_binary64_10700` `prod-exp_binary64_10698`
6×	`unswap-sqr_binary64_10617`
4×	`cbrt-unprod_binary64_10682` `cbrt-undiv_binary64_10683`
3×	`pow1_binary64_10710`
2×	`1-exp_binary64_10693` `rec-exp_binary64_10699` `div-inv_binary64_10646`
1×	`pow-prod-down_binary64_10720` `add-log-exp_binary64_10688` `frac-times_binary64_10659` `associate-l/_binary64_10592` `associate-r/_binary64_10591` `*-commutative_binary64_10580`

Counts

1 → 56

Calls

1 calls:

12.0ms

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

Compiler

Compiled 824 to 400 computations (51.5% saved)

series103.0ms (1.9%)

Error

0b

Counts

1 → 6

Calls

1 calls:

100.0ms

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

Compiler

Compiled 90 to 80 computations (11.1% saved)

simplify129.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

695×	`unswap-sqr_binary64_10617`
462×	`times-frac_binary64_10655`
434×	`sub-neg_binary64_10642`
418×	`unsub-neg_binary64_10643`
371×	`associate-/l*_binary64_10594`
247×	`associate-+r-_binary64_10583`
244×	`associate-*l/_binary64_10592`
242×	`*-commutative_binary64_10580`
223×	`sqr-pow_binary64_10621`
199×	`associate--l+_binary64_10586`
197×	`distribute-rgt-in_binary64_10599`
194×	`associate--r-_binary64_10588`
185×	`associate-/l/_binary64_10596`
162×	`associate-*r/_binary64_10591`
153×	`associate-/r*_binary64_10593`
145×	`associate-+l-_binary64_10584`
119×	`associate-r_binary64_10589`
113×	`distribute-lft-in_binary64_10598`
97×	`log-prod_binary64_10735`
96×	`pow-sqr_binary64_10622` `cancel-sign-sub-inv_binary64_10615` `associate--l-_binary64_10587`
94×	`associate-l_binary64_10590`
87×	`associate-/r/_binary64_10595`
85×	`distribute-neg-in_binary64_10610`
84×	`cube-prod_binary64_10677`
78×	`neg-mul-1_binary64_10645`
73×	`neg-sub0_binary64_10644`
56×	`*-lft-identity_binary64_10638`
53×	`log-div_binary64_10736`
50×	`cube-div_binary64_10678`
49×	`exp-prod_binary64_10701`
47×	`swap-sqr_binary64_10616`
42×	`*-rgt-identity_binary64_10639`
38×	`associate--r+_binary64_10585` `associate-+r+_binary64_10581`
32×	`unpow3_binary64_10715` `associate-+l+_binary64_10582`
29×	`rem-sqrt-square_binary64_10662`
28×	`cube-mult_binary64_10679`
25×	`log-pow_binary64_10738`
19×	`+-commutative_binary64_10579`
17×	`--rgt-identity_binary64_10635`
13×	`log-rec_binary64_10737` `pow-plus_binary64_10712` `distribute-rgt-neg-in_binary64_10607`
12×	`remove-double-neg_binary64_10637`
11×	`/-rgt-identity_binary64_10640` `+-rgt-identity_binary64_10634` `distribute-rgt-out_binary64_10602`
10×	`distribute-lft-neg-in_binary64_10606`
9×	`remove-double-div_binary64_10625`
8×	`+-lft-identity_binary64_10633`
7×	`distribute-lft-out_binary64_10600`
6×	`unpow1/2_binary64_10713` `cube-unmult_binary64_10686` `distribute-rgt-out--_binary64_10603`
5×	`sub0-neg_binary64_10636` `distribute-lft-neg-out_binary64_10608` `distribute-lft-out--_binary64_10601` `count-2_binary64_10597`
3×	`distribute-neg-out_binary64_10611` `distribute-rgt-neg-out_binary64_10609` `distribute-rgt1-in_binary64_10605`
2×	`+-inverses_binary64_10628` `distribute-lft1-in_binary64_10604`
1×	`unpow2_binary64_10714` `unpow1_binary64_10707` `1-exp_binary64_10693` `exp-1-e_binary64_10692`
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_10912` `erf-erfc_binary64_10911` `erf-odd_binary64_10910` `if-if-and-not_binary64_10909` `if-if-and_binary64_10908` `if-if-or-not_binary64_10907` `if-if-or_binary64_10906` `if-not_binary64_10905` `if-same_binary64_10904` `if-false_binary64_10903` `if-true_binary64_10902` `not-gte_binary64_10901` `not-lte_binary64_10900` `not-gt_binary64_10899` `not-lt_binary64_10898` `gte-same_binary64_10897` `lte-same_binary64_10896` `gt-same_binary64_10895` `lt-same_binary64_10894` `sinh---cosh_binary64_10841` `sinh-+-cosh_binary64_10840` `sinh-cosh_binary64_10839` `tanh-def-c_binary64_10838` `tanh-def-b_binary64_10837` `tanh-def-a_binary64_10836` `cosh-def_binary64_10835` `sinh-def_binary64_10834` `tan-neg_binary64_10781` `cos-neg_binary64_10780` `sin-neg_binary64_10779` `tan-0_binary64_10778` `cos-0_binary64_10777` `sin-0_binary64_10776` `hang-m-tan_binary64_10775` `hang-p-tan_binary64_10774` `hang-m0-tan_binary64_10773` `hang-p0-tan_binary64_10772` `hang-0m-tan_binary64_10771` `hang-0p-tan_binary64_10770` `tan-+PI/2_binary64_10769` `tan-+PI_binary64_10768` `tan-PI_binary64_10767` `tan-PI/3_binary64_10766` `tan-PI/4_binary64_10765` `tan-PI/6_binary64_10764` `cos-+PI/2_binary64_10763` `cos-+PI_binary64_10762` `cos-PI_binary64_10761` `cos-PI/2_binary64_10760` `cos-PI/3_binary64_10759` `cos-PI/4_binary64_10758` `cos-PI/6_binary64_10757` `sin-+PI/2_binary64_10756` `sin-+PI_binary64_10755` `sin-PI_binary64_10754` `sin-PI/2_binary64_10753` `sin-PI/3_binary64_10752` `sin-PI/4_binary64_10751` `sin-PI/6_binary64_10750` `sub-1-sin_binary64_10749` `sub-1-cos_binary64_10748` `-1-add-sin_binary64_10747` `-1-add-cos_binary64_10746` `1-sub-sin_binary64_10745` `1-sub-cos_binary64_10744` `cos-sin-sum_binary64_10743` `log-E_binary64_10739` `pow-base-0_binary64_10733` `unpow1/3_binary64_10716` `exp-to-pow_binary64_10711` `pow-base-1_binary64_10709` `unpow0_binary64_10708` `unpow-1_binary64_10706` `exp-lft-cube_binary64_10705` `exp-lft-sqr_binary64_10704` `exp-cbrt_binary64_10703` `exp-sqrt_binary64_10702` `div-exp_binary64_10700` `rec-exp_binary64_10699` `prod-exp_binary64_10698` `exp-diff_binary64_10697` `exp-neg_binary64_10696` `exp-sum_binary64_10695` `e-exp-1_binary64_10694` `exp-0_binary64_10691` `rem-log-exp_binary64_10690` `rem-exp-log_binary64_10689` `cube-neg_binary64_10676` `rem-3cbrt-rft_binary64_10675` `rem-3cbrt-lft_binary64_10674` `rem-cbrt-cube_binary64_10673` `rem-cube-cbrt_binary64_10672` `sqr-abs_binary64_10664` `sqr-neg_binary64_10663` `rem-square-sqrt_binary64_10661` `div-sub_binary64_10654` `mul-1-neg_binary64_10641` `mul0-rgt_binary64_10632` `mul0-lft_binary64_10631` `div0_binary64_10630` `*-inverses_binary64_10629` `lft-mult-inverse_binary64_10627` `rgt-mult-inverse_binary64_10626` `difference-of-sqr--1_binary64_10620` `difference-of-sqr-1_binary64_10619` `difference-of-squares_binary64_10618` `cancel-sign-sub_binary64_10614` `distribute-neg-frac_binary64_10613` `distribute-frac-neg_binary64_10612`

Counts

62 → 57

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	101	805
1	256	682
2	805	647
3	1924	635
4	2404	635
5	4283	635
6	4769	635
7	4348	635
8	5798	635

prune32.0ms (0.6%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	57	0	57
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	57	10	67

Error

0b

Counts

67 → 10

Compiler

Compiled 566 to 180 computations (68.2% saved)

regimes1.0s (18.8%)

Accuracy

Total 0.2b remaining (99.9%)

Threshold costs 0.2b (99.9%)

Compiler

Compiled 7802 to 5483 computations (29.7% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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_10909 if-if-and_binary64_10908 if-if-or-not_binary64_10907 if-if-or_binary64_10906 if-not_binary64_10905 if-same_binary64_10904 if-false_binary64_10903 if-true_binary64_10902 tan-0_binary64_10778 cos-0_binary64_10777 sin-0_binary64_10776 unpow1_binary64_10707 e-exp-1_binary64_10694 1-exp_binary64_10693 exp-1-e_binary64_10692 exp-0_binary64_10691 sqr-abs_binary64_10664 sqr-neg_binary64_10663 neg-mul-1_binary64_10645 neg-sub0_binary64_10644 unsub-neg_binary64_10643 sub-neg_binary64_10642 mul-1-neg_binary64_10641 /-rgt-identity_binary64_10640 *-rgt-identity_binary64_10639 *-lft-identity_binary64_10638 remove-double-neg_binary64_10637 sub0-neg_binary64_10636 --rgt-identity_binary64_10635 +-rgt-identity_binary64_10634 +-lft-identity_binary64_10633 cancel-sign-sub-inv_binary64_10615 cancel-sign-sub_binary64_10614 distribute-neg-frac_binary64_10613 distribute-frac-neg_binary64_10612 distribute-neg-out_binary64_10611 distribute-neg-in_binary64_10610 distribute-rgt-neg-out_binary64_10609 distribute-lft-neg-out_binary64_10608 distribute-rgt-neg-in_binary64_10607 distribute-lft-neg-in_binary64_10606 *-commutative_binary64_10580 +-commutative_binary64_10579

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	5	7

end0.0ms (0%)

sample2.1s (39%)

Algorithm

1×

intervals

Results

171.0ms	8000×	body	128	valid
8.0ms	392×	body	128	invalid

Compiler

Compiled 1886 to 1335 computations (29.2% saved)

Details

analyze219.0ms (4.1%)

sample15.0ms (0.3%)

simplify8.0ms (0.2%)

prune1.0ms (0%)

localize3.0ms (0.1%)

rewrite29.0ms (0.5%)

series97.0ms (1.8%)

simplify85.0ms (1.6%)

prune14.0ms (0.3%)

localize7.0ms (0.1%)

rewrite336.0ms (6.3%)

series200.0ms (3.8%)

simplify317.0ms (6%)

prune229.0ms (4.3%)

localize3.0ms (0.1%)

rewrite59.0ms (1.1%)

series102.0ms (1.9%)

simplify140.0ms (2.6%)

prune46.0ms (0.9%)

localize5.0ms (0.1%)

rewrite63.0ms (1.2%)

series103.0ms (1.9%)

simplify129.0ms (2.4%)

prune32.0ms (0.6%)

regimes1.0s (18.8%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample2.1s (39%)

Profiling