Details

analyze212.0ms (5%)

Algorithm

1×	search
2×	egg-herbie

Rules

12×	`associate-l_binary64_10590` `associate-r_binary64_10589`
9×	`*-commutative_binary64_10580`
6×	`distribute-rgt-in_binary64_10599` `distribute-lft-in_binary64_10598`
4×	`-rgt-identity_binary64_10639` `-lft-identity_binary64_10638` `swap-sqr_binary64_10616`
2×	`+-commutative_binary64_10579`
1×	`1-exp_binary64_10693`
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` `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` `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` `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` `count-2_binary64_10597` `associate-/l/_binary64_10596` `associate-/r/_binary64_10595` `associate-/l_binary64_10594` `associate-/r_binary64_10593` `associate-l/_binary64_10592` `associate-*r/_binary64_10591` `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`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	20
1	28	20
2	34	20
3	57	20
4	53	20
5	51	20
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
25%	74.9%	0.1%	5
37.5%	62.4%	0.1%	6
43.7%	43.7%	12.6%	7
53.1%	34.3%	12.6%	8
57.8%	23.4%	18.8%	9
63.2%	18%	18.8%	10
66%	12.1%	22%	11
68.9%	9.2%	22%	12
70.3%	6.1%	23.5%	13
71.9%	4.6%	23.5%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample14.0ms (0.3%)

Algorithm

1×

intervals

Results

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

Compiler

Compiled 15 to 15 computations (0% saved)

simplify9.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

7×	`associate-l_binary64_10590` `associate-r_binary64_10589`
5×	`*-commutative_binary64_10580`
4×	`-rgt-identity_binary64_10639` `-lft-identity_binary64_10638`
3×	`distribute-rgt-in_binary64_10599` `distribute-lft-in_binary64_10598`
1×	`1-exp_binary64_10693` `+-commutative_binary64_10579`
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` `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` `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` `count-2_binary64_10597` `associate-/l/_binary64_10596` `associate-/r/_binary64_10595` `associate-/l_binary64_10594` `associate-/r_binary64_10593` `associate-l/_binary64_10592` `associate-*r/_binary64_10591` `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`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	17	10
2	21	10
3	40	10
4	34	10
5	32	10

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

6.3b

Counts

1 → 1

Compiler

Compiled 7 to 6 computations (14.3% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

5.9b	(.f64 x (+.f64 1 (.f64 y y)))

rewrite30.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

6.3b

Rules

5×	`add-sqr-sqrt_binary64_10671`
3×	`pow1_binary64_10710` `add-exp-log_binary64_10687` `add-cbrt-cube_binary64_10685` `add-cube-cbrt_binary64_10684` `-un-lft-identity_binary64_10649` `associate-l_binary64_10590` `associate-r*_binary64_10589`
2×	`associate-*r/_binary64_10591`
1×	`pow-prod-down_binary64_10720` `prod-exp_binary64_10698` `add-log-exp_binary64_10688` `cbrt-unprod_binary64_10682` `unswap-sqr_binary64_10617` `distribute-rgt-in_binary64_10599` `distribute-lft-in_binary64_10598` `flip3-+_binary64_10652` `flip-+_binary64_10623` `*-commutative_binary64_10580`

Counts

1 → 22

Calls

1 calls:

10.0ms

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

Compiler

Compiled 318 to 166 computations (47.8% saved)

series125.0ms (3%)

Error

6.2b

Counts

1 → 9

Calls

1 calls:

119.0ms

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

Compiler

Compiled 148 to 125 computations (15.5% saved)

simplify80.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

696×	`distribute-rgt-in_binary64_10599`
609×	`distribute-lft-in_binary64_10598`
413×	`unswap-sqr_binary64_10617`
283×	`associate-l_binary64_10590`
239×	`*-commutative_binary64_10580`
216×	`associate-r_binary64_10589`
195×	`associate-+l+_binary64_10582`
183×	`associate-*r/_binary64_10591`
163×	`distribute-rgt-neg-in_binary64_10607`
162×	`sqr-pow_binary64_10621`
160×	`associate-+r+_binary64_10581`
159×	`associate-*l/_binary64_10592`
154×	`distribute-lft-neg-in_binary64_10606`
115×	`associate-/l*_binary64_10594`
112×	`distribute-rgt-out_binary64_10602`
108×	`cancel-sign-sub-inv_binary64_10615`
92×	`exp-prod_binary64_10701`
65×	`associate-/l/_binary64_10596`
57×	`pow-sqr_binary64_10622`
50×	`distribute-rgt1-in_binary64_10605`
49×	`associate-/r*_binary64_10593`
48×	`*-rgt-identity_binary64_10639`
45×	`associate-/r/_binary64_10595`
43×	`cube-prod_binary64_10677` `rem-sqrt-square_binary64_10662`
41×	`*-lft-identity_binary64_10638`
40×	`distribute-lft-out_binary64_10600`
37×	`neg-mul-1_binary64_10645` `neg-sub0_binary64_10644`
36×	`distribute-lft1-in_binary64_10604`
33×	`log-div_binary64_10736` `cube-div_binary64_10678`
29×	`unpow3_binary64_10715`
28×	`sub-neg_binary64_10642`
26×	`difference-of-sqr--1_binary64_10620`
22×	`pow-plus_binary64_10712`
19×	`log-prod_binary64_10735`
18×	`cube-unmult_binary64_10686`
16×	`cube-mult_binary64_10679` `+-commutative_binary64_10579`
14×	`distribute-rgt-neg-out_binary64_10609` `distribute-lft-neg-out_binary64_10608`
12×	`exp-sqrt_binary64_10702` `swap-sqr_binary64_10616`
11×	`unsub-neg_binary64_10643`
10×	`exp-sum_binary64_10695`
9×	`unpow1/2_binary64_10713` `difference-of-sqr-1_binary64_10619`
4×	`unpow2_binary64_10714` `sub0-neg_binary64_10636` `mul0-rgt_binary64_10632` `mul0-lft_binary64_10631` `associate-+l-_binary64_10584`
3×	`distribute-neg-frac_binary64_10613` `distribute-neg-in_binary64_10610`
2×	`log-rec_binary64_10737` `exp-lft-sqr_binary64_10704` `--rgt-identity_binary64_10635` `distribute-rgt-out--_binary64_10603` `count-2_binary64_10597`
1×	`unpow1_binary64_10707` `prod-exp_binary64_10698` `exp-diff_binary64_10697` `1-exp_binary64_10693` `exp-1-e_binary64_10692` `+-rgt-identity_binary64_10634` `associate--r+_binary64_10585` `associate-+r-_binary64_10583`
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` `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-cbrt_binary64_10703` `div-exp_binary64_10700` `rec-exp_binary64_10699` `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-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` `times-frac_binary64_10655` `div-sub_binary64_10654` `mul-1-neg_binary64_10641` `/-rgt-identity_binary64_10640` `remove-double-neg_binary64_10637` `+-lft-identity_binary64_10633` `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-squares_binary64_10618` `cancel-sign-sub_binary64_10614` `distribute-frac-neg_binary64_10612` `distribute-neg-out_binary64_10611` `distribute-lft-out--_binary64_10601` `associate--r-_binary64_10588` `associate--l-_binary64_10587` `associate--l+_binary64_10586`

Counts

31 → 18

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	53	394
1	133	343
2	403	343
3	994	343
4	2591	343
5	3426	343
6	4830	343
7	4921	343

prune17.0ms (0.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	14	4	18
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	14	5	19

Error

6.3b

Counts

19 → 5

Compiler

Compiled 228 to 121 computations (46.9% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
2.3b	(.f64 (+.f64 1 (.f64 y y)) (cbrt.f64 x))
3.8b	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (+.f64 1 (.f64 y y)) (cbrt.f64 x)))

rewrite101.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

6.3b

Rules

18×	`pow1_binary64_10710` `add-exp-log_binary64_10687`
13×	`add-sqr-sqrt_binary64_10671`
11×	`add-cbrt-cube_binary64_10685`
10×	`cbrt-prod_binary64_10680`
9×	`pow-prod-down_binary64_10720` `prod-exp_binary64_10698` `add-cube-cbrt_binary64_10684` `cbrt-unprod_binary64_10682` `*-un-lft-identity_binary64_10649`
7×	`associate-r_binary64_10589`
4×	`add-log-exp_binary64_10688` `associate-l/_binary64_10592` `associate-l*_binary64_10590`
2×	`flip3-+_binary64_10652` `associate-r/_binary64_10591` `flip-+_binary64_10623` `-commutative_binary64_10580` `unswap-sqr_binary64_10617` `pow1/3_binary64_10731`

Counts

4 → 70

Calls

4 calls:

12.0ms	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (+.f64 1 (.f64 y y)) (cbrt.f64 x)))
9.0ms	(.f64 (+.f64 1 (.f64 y y)) (cbrt.f64 x))
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)

Compiler

Compiled 1494 to 540 computations (63.9% saved)

series706.0ms (16.8%)

Error

6.1b

Counts

4 → 24

Calls

4 calls:

355.0ms	(.f64 (+.f64 1 (.f64 y y)) (cbrt.f64 x))
134.0ms	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (+.f64 1 (.f64 y y)) (cbrt.f64 x)))
102.0ms	(cbrt.f64 x)
98.0ms	(cbrt.f64 x)

Compiler

Compiled 842 to 608 computations (27.8% saved)

simplify96.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

853×	`unswap-sqr_binary64_10617`
512×	`distribute-rgt-in_binary64_10599`
506×	`distribute-lft-in_binary64_10598`
330×	`exp-prod_binary64_10701`
295×	`*-commutative_binary64_10580`
181×	`associate-l_binary64_10590`
174×	`log-prod_binary64_10735`
164×	`associate-r_binary64_10589`
110×	`sqr-pow_binary64_10621`
106×	`cube-prod_binary64_10677`
76×	`unsub-neg_binary64_10643`
71×	`exp-sum_binary64_10695`
51×	`neg-sub0_binary64_10644`
50×	`swap-sqr_binary64_10616`
46×	`neg-mul-1_binary64_10645` `distribute-neg-in_binary64_10610`
44×	`associate-+l+_binary64_10582`
41×	`-rgt-identity_binary64_10639` `-lft-identity_binary64_10638`
39×	`distribute-rgt-neg-in_binary64_10607`
34×	`associate-+r+_binary64_10581`
32×	`distribute-lft-neg-in_binary64_10606`
27×	`unpow3_binary64_10715`
26×	`cancel-sign-sub-inv_binary64_10615`
20×	`distribute-lft-neg-out_binary64_10608`
18×	`pow-sqr_binary64_10622`
17×	`pow-plus_binary64_10712` `distribute-rgt-neg-out_binary64_10609`
16×	`sub-neg_binary64_10642`
14×	`+-commutative_binary64_10579`
12×	`cube-unmult_binary64_10686`
11×	`log-pow_binary64_10738`
8×	`cube-mult_binary64_10679`
7×	`unpow1/2_binary64_10713` `exp-diff_binary64_10697` `associate-/l*_binary64_10594`
6×	`cube-neg_binary64_10676` `sqr-neg_binary64_10663` `remove-double-neg_binary64_10637`
5×	`rem-sqrt-square_binary64_10662`
4×	`distribute-rgt1-in_binary64_10605` `distribute-rgt-out_binary64_10602` `distribute-lft-out_binary64_10600`
3×	`mul-1-neg_binary64_10641` `difference-of-sqr-1_binary64_10619`
2×	`unpow1/3_binary64_10716` `unpow2_binary64_10714` `div-sub_binary64_10654` `distribute-frac-neg_binary64_10612` `count-2_binary64_10597` `associate-+l-_binary64_10584`
1×	`unpow1_binary64_10707` `exp-neg_binary64_10696` `1-exp_binary64_10693` `exp-1-e_binary64_10692` `rem-3cbrt-lft_binary64_10674` `rem-cube-cbrt_binary64_10672` `sub0-neg_binary64_10636`
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` `log-div_binary64_10736` `pow-base-0_binary64_10733` `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` `e-exp-1_binary64_10694` `exp-0_binary64_10691` `rem-log-exp_binary64_10690` `rem-exp-log_binary64_10689` `cube-div_binary64_10678` `rem-3cbrt-rft_binary64_10675` `rem-cbrt-cube_binary64_10673` `sqr-abs_binary64_10664` `rem-square-sqrt_binary64_10661` `times-frac_binary64_10655` `/-rgt-identity_binary64_10640` `--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` `difference-of-sqr--1_binary64_10620` `difference-of-squares_binary64_10618` `cancel-sign-sub_binary64_10614` `distribute-neg-frac_binary64_10613` `distribute-neg-out_binary64_10611` `distribute-lft1-in_binary64_10604` `distribute-rgt-out--_binary64_10603` `distribute-lft-out--_binary64_10601` `associate-/l/_binary64_10596` `associate-/r/_binary64_10595` `associate-/r_binary64_10593` `associate-l/_binary64_10592` `associate-r/_binary64_10591` `associate--r-_binary64_10588` `associate--l-_binary64_10587` `associate--l+_binary64_10586` `associate--r+_binary64_10585` `associate-+r-_binary64_10583`

Counts

94 → 59

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	100	1472
1	251	985
2	894	985
3	2647	985
4	4731	985
5	4922	985

prune51.0ms (1.2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	57	2	59
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	58	6	64

Error

6.1b

Counts

64 → 6

Compiler

Compiled 845 to 370 computations (56.2% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 1 (*.f64 y y))
1.9b	(*.f64 x (-.f64 1 (pow.f64 y 4)))
9.8b	(/.f64 (.f64 x (-.f64 1 (pow.f64 y 4))) (-.f64 1 (.f64 y y)))

rewrite141.0ms (3.3%)

Algorithm

1×	rewrite-expression-head

Error

6.1b

Rules

23×	`add-sqr-sqrt_binary64_10671`
19×	`*-un-lft-identity_binary64_10649`
15×	`cancel-sign-sub-inv_binary64_10615`
12×	`difference-of-squares_binary64_10618`
11×	`add-cube-cbrt_binary64_10684`
10×	`add-exp-log_binary64_10687` `add-cbrt-cube_binary64_10685` `associate-r_binary64_10589`
8×	`distribute-rgt-in_binary64_10599` `unpow-prod-down_binary64_10728` `distribute-lft-in_binary64_10598`
5×	`pow1_binary64_10710` `add-log-exp_binary64_10688` `times-frac_binary64_10655` `associate-/r*_binary64_10593`
4×	`flip3--_binary64_10653` `associate-*r/_binary64_10591` `flip--_binary64_10624` `sqr-pow_binary64_10621`
3×	`sub-neg_binary64_10642` `associate-l_binary64_10590`
2×	`prod-exp_binary64_10698` `div-exp_binary64_10700` `cbrt-undiv_binary64_10683` `cbrt-unprod_binary64_10682` `associate-/l/_binary64_10596` `associate-/r/_binary64_10595`
1×	`frac-2neg_binary64_10660` `clear-num_binary64_10648` `div-inv_binary64_10646` `associate-/l_binary64_10594` `pow-prod-down_binary64_10720` `unswap-sqr_binary64_10617` `distribute-lft-out--_binary64_10601` `-commutative_binary64_10580` `diff-log_binary64_10741`

Counts

3 → 86

Calls

3 calls:

13.0ms	(/.f64 (.f64 x (-.f64 1 (pow.f64 y 4))) (-.f64 1 (.f64 y y)))
11.0ms	(*.f64 x (-.f64 1 (pow.f64 y 4)))
3.0ms	(-.f64 1 (*.f64 y y))

Compiler

Compiled 1852 to 1232 computations (33.5% saved)

series541.0ms (12.9%)

Error

6.1b

Counts

3 → 24

Calls

3 calls:

300.0ms	(/.f64 (.f64 x (-.f64 1 (pow.f64 y 4))) (-.f64 1 (.f64 y y)))
177.0ms	(*.f64 x (-.f64 1 (pow.f64 y 4)))
46.0ms	(-.f64 1 (*.f64 y y))

Compiler

Compiled 689 to 551 computations (20% saved)

simplify90.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

819×	`times-frac_binary64_10655`
318×	`associate-*l/_binary64_10592`
260×	`associate-/r*_binary64_10593`
254×	`distribute-rgt-in_binary64_10599`
249×	`associate-/l/_binary64_10596`
230×	`distribute-lft-in_binary64_10598`
179×	`associate-/r/_binary64_10595`
156×	`exp-prod_binary64_10701`
139×	`associate-l_binary64_10590`
124×	`associate-r_binary64_10589`
117×	`cube-prod_binary64_10677`
99×	`associate-/l*_binary64_10594`
96×	`distribute-rgt-neg-in_binary64_10607`
89×	`cancel-sign-sub-inv_binary64_10615`
80×	`*-commutative_binary64_10580`
72×	`log-prod_binary64_10735`
71×	`distribute-lft-neg-in_binary64_10606`
67×	`log-div_binary64_10736`
66×	`div-sub_binary64_10654`
59×	`cube-div_binary64_10678`
58×	`distribute-lft-neg-out_binary64_10608`
56×	`distribute-rgt-neg-out_binary64_10609`
44×	`neg-sub0_binary64_10644`
43×	`neg-mul-1_binary64_10645` `sub-neg_binary64_10642`
39×	`sqr-pow_binary64_10621`
38×	`exp-sum_binary64_10695`
37×	`unswap-sqr_binary64_10617`
36×	`distribute-neg-frac_binary64_10613`
34×	`-rgt-identity_binary64_10639` `-lft-identity_binary64_10638`
23×	`associate-*r/_binary64_10591` `+-commutative_binary64_10579`
19×	`exp-diff_binary64_10697`
18×	`unpow3_binary64_10715`
17×	`distribute-rgt-out_binary64_10602`
15×	`/-rgt-identity_binary64_10640`
14×	`pow-plus_binary64_10712` `cube-unmult_binary64_10686` `swap-sqr_binary64_10616`
12×	`exp-neg_binary64_10696`
11×	`cube-mult_binary64_10679`
10×	`log-rec_binary64_10737` `distribute-frac-neg_binary64_10612`
9×	`distribute-neg-in_binary64_10610`
8×	`pow-sqr_binary64_10622` `distribute-rgt1-in_binary64_10605`
6×	`unpow1/2_binary64_10713`
5×	`unsub-neg_binary64_10643` `associate-+l+_binary64_10582`
4×	`unpow2_binary64_10714` `unpow1_binary64_10707` `distribute-lft-out_binary64_10600` `associate-+r+_binary64_10581`
3×	`rem-sqrt-square_binary64_10662`
2×	`rem-square-sqrt_binary64_10661` `mul-1-neg_binary64_10641` `remove-double-neg_binary64_10637` `associate--l+_binary64_10586`
1×	`div-exp_binary64_10700` `1-exp_binary64_10693` `exp-1-e_binary64_10692` `rem-3cbrt-lft_binary64_10674` `*-inverses_binary64_10629` `rgt-mult-inverse_binary64_10626` `distribute-lft1-in_binary64_10604` `distribute-rgt-out--_binary64_10603` `associate--r-_binary64_10588` `associate--r+_binary64_10585`
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` `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` `rec-exp_binary64_10699` `prod-exp_binary64_10698` `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-cbrt-cube_binary64_10673` `rem-cube-cbrt_binary64_10672` `sqr-abs_binary64_10664` `sqr-neg_binary64_10663` `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_10628` `lft-mult-inverse_binary64_10627` `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-out_binary64_10611` `distribute-lft-out--_binary64_10601` `count-2_binary64_10597` `associate--l-_binary64_10587` `associate-+l-_binary64_10584` `associate-+r-_binary64_10583`

Counts

110 → 70

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	162	1655
1	394	1469
2	1381	1448
3	4484	1448
4	5040	1448

prune65.0ms (1.5%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	70	0	70
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	70	6	76

Error

6.1b

Counts

76 → 6

Compiler

Compiled 1107 to 674 computations (39.1% saved)

localize4.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)

rewrite62.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

6.1b

Rules

25×	`cbrt-prod_binary64_10680`
23×	`add-sqr-sqrt_binary64_10671`
15×	`add-cube-cbrt_binary64_10684` `*-un-lft-identity_binary64_10649`
11×	`pow1_binary64_10710`
9×	`pow1/3_binary64_10731`
6×	`add-exp-log_binary64_10687` `swap-sqr_binary64_10616` `associate-l_binary64_10590` `associate-r_binary64_10589`
4×	`add-log-exp_binary64_10688` `add-cbrt-cube_binary64_10685` `unswap-sqr_binary64_10617`
2×	`pow-prod-down_binary64_10720` `pow-prod-up_binary64_10719` `pow-sqr_binary64_10622`
1×	`pow2_binary64_10730` `pow-plus_binary64_10712` `prod-exp_binary64_10698` `cbrt-unprod_binary64_10682` `*-commutative_binary64_10580`

Counts

4 → 73

Calls

4 calls:

6.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)

Compiler

Compiled 940 to 230 computations (75.5% saved)

series461.0ms (11%)

Error

6.1b

Counts

4 → 12

Calls

4 calls:

139.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
111.0ms	(cbrt.f64 x)
101.0ms	(cbrt.f64 x)
99.0ms	(cbrt.f64 x)

Compiler

Compiled 375 to 286 computations (23.7% saved)

simplify102.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

586×	`log-prod_binary64_10735`
416×	`sqr-pow_binary64_10621`
335×	`associate-l_binary64_10590`
309×	`*-commutative_binary64_10580`
277×	`distribute-rgt-neg-in_binary64_10607`
257×	`distribute-lft-neg-in_binary64_10606`
227×	`associate-r_binary64_10589`
188×	`exp-prod_binary64_10701`
161×	`log-pow_binary64_10738`
149×	`cube-prod_binary64_10677`
128×	`pow-sqr_binary64_10622`
124×	`unswap-sqr_binary64_10617`
111×	`swap-sqr_binary64_10616`
104×	`associate-/l*_binary64_10594`
81×	`cancel-sign-sub-inv_binary64_10615`
75×	`associate-+l+_binary64_10582`
69×	`associate-+r+_binary64_10581`
61×	`distribute-rgt-in_binary64_10599`
60×	`distribute-lft-out_binary64_10600`
57×	`distribute-lft-in_binary64_10598`
54×	`neg-sub0_binary64_10644`
53×	`neg-mul-1_binary64_10645`
48×	`distribute-rgt-out_binary64_10602`
45×	`+-commutative_binary64_10579`
43×	`pow-plus_binary64_10712` `rem-sqrt-square_binary64_10662`
41×	`times-frac_binary64_10655` `sub-neg_binary64_10642`
37×	`associate-/r/_binary64_10595`
35×	`associate-*r/_binary64_10591`
32×	`unpow3_binary64_10715`
31×	`-rgt-identity_binary64_10639` `-lft-identity_binary64_10638` `associate-/l/_binary64_10596`
29×	`count-2_binary64_10597`
27×	`cube-mult_binary64_10679`
24×	`associate-/r*_binary64_10593`
17×	`log-div_binary64_10736` `cube-div_binary64_10678` `distribute-neg-frac_binary64_10613`
13×	`cube-unmult_binary64_10686` `distribute-rgt1-in_binary64_10605`
11×	`distribute-rgt-neg-out_binary64_10609`
10×	`unpow1/2_binary64_10713`
9×	`distribute-lft-neg-out_binary64_10608` `distribute-lft1-in_binary64_10604`
8×	`unpow2_binary64_10714` `associate-*l/_binary64_10592`
5×	`unpow1_binary64_10707`
3×	`unpow1/3_binary64_10716`
2×	`exp-sqrt_binary64_10702` `rem-3cbrt-lft_binary64_10674` `rem-cbrt-cube_binary64_10673` `mul-1-neg_binary64_10641`
1×	`exp-lft-sqr_binary64_10704` `1-exp_binary64_10693` `exp-1-e_binary64_10692` `rem-3cbrt-rft_binary64_10675` `rem-square-sqrt_binary64_10661` `sub0-neg_binary64_10636` `--rgt-identity_binary64_10635` `associate-+l-_binary64_10584`
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` `exp-to-pow_binary64_10711` `pow-base-1_binary64_10709` `unpow0_binary64_10708` `unpow-1_binary64_10706` `exp-lft-cube_binary64_10705` `exp-cbrt_binary64_10703` `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-cube-cbrt_binary64_10672` `sqr-abs_binary64_10664` `sqr-neg_binary64_10663` `div-sub_binary64_10654` `unsub-neg_binary64_10643` `/-rgt-identity_binary64_10640` `remove-double-neg_binary64_10637` `+-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` `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` `distribute-neg-out_binary64_10611` `distribute-neg-in_binary64_10610` `distribute-rgt-out--_binary64_10603` `distribute-lft-out--_binary64_10601` `associate--r-_binary64_10588` `associate--l-_binary64_10587` `associate--l+_binary64_10586` `associate--r+_binary64_10585` `associate-+r-_binary64_10583`

Counts

85 → 50

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	56	718
1	97	666
2	308	646
3	1135	632
4	2034	548
5	3257	548
6	4939	548
7	4873	548

prune34.0ms (0.8%)

Pruning

10 alts after pruning (6 fresh and 4 done)

	Pruned	Kept	Total
New	46	4	50
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	46	10	56

Error

6.1b

Counts

56 → 10

Compiler

Compiled 507 to 191 computations (62.3% saved)

regimes298.0ms (7.1%)

Accuracy

Total 0.2b remaining (3.7%)

Threshold costs 0.2b (3.7%)

Compiler

Compiled 2324 to 1736 computations (25.3% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1× 1-exp_binary64_10693 *-commutative_binary64_10580 +-commutative_binary64_10579

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

Iterations

Useful iterations: 0 (0.0ms)

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

end0.0ms (0%)

sample945.0ms (22.5%)

Algorithm

1×

intervals

Results

177.0ms	8000×	body	128	valid
4.0ms	176×	body	128	invalid

Compiler

Compiled 480 to 360 computations (25% saved)

Details

analyze212.0ms (5%)

sample14.0ms (0.3%)

simplify9.0ms (0.2%)

prune1.0ms (0%)

localize4.0ms (0.1%)

rewrite30.0ms (0.7%)

series125.0ms (3%)

simplify80.0ms (1.9%)

prune17.0ms (0.4%)

localize8.0ms (0.2%)

rewrite101.0ms (2.4%)

series706.0ms (16.8%)

simplify96.0ms (2.3%)

prune51.0ms (1.2%)

localize8.0ms (0.2%)

rewrite141.0ms (3.3%)

series541.0ms (12.9%)

simplify90.0ms (2.1%)

prune65.0ms (1.5%)

localize4.0ms (0.1%)

rewrite62.0ms (1.5%)

series461.0ms (11%)

simplify102.0ms (2.4%)

prune34.0ms (0.8%)

regimes298.0ms (7.1%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample945.0ms (22.5%)

Profiling