Details

analyze212.0ms (5.3%)

Algorithm

1×	search
2×	egg-herbie

Rules

28×	`associate-l_binary64_12636`
26×	`associate-r_binary64_12635`
11×	`*-commutative_binary64_12626`
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_12958` `erf-erfc_binary64_12957` `erf-odd_binary64_12956` `if-if-and-not_binary64_12955` `if-if-and_binary64_12954` `if-if-or-not_binary64_12953` `if-if-or_binary64_12952` `if-not_binary64_12951` `if-same_binary64_12950` `if-false_binary64_12949` `if-true_binary64_12948` `not-gte_binary64_12947` `not-lte_binary64_12946` `not-gt_binary64_12945` `not-lt_binary64_12944` `gte-same_binary64_12943` `lte-same_binary64_12942` `gt-same_binary64_12941` `lt-same_binary64_12940` `sinh---cosh_binary64_12887` `sinh-+-cosh_binary64_12886` `sinh-cosh_binary64_12885` `tanh-def-c_binary64_12884` `tanh-def-b_binary64_12883` `tanh-def-a_binary64_12882` `cosh-def_binary64_12881` `sinh-def_binary64_12880` `tan-neg_binary64_12827` `cos-neg_binary64_12826` `sin-neg_binary64_12825` `tan-0_binary64_12824` `cos-0_binary64_12823` `sin-0_binary64_12822` `hang-m-tan_binary64_12821` `hang-p-tan_binary64_12820` `hang-m0-tan_binary64_12819` `hang-p0-tan_binary64_12818` `hang-0m-tan_binary64_12817` `hang-0p-tan_binary64_12816` `tan-+PI/2_binary64_12815` `tan-+PI_binary64_12814` `tan-PI_binary64_12813` `tan-PI/3_binary64_12812` `tan-PI/4_binary64_12811` `tan-PI/6_binary64_12810` `cos-+PI/2_binary64_12809` `cos-+PI_binary64_12808` `cos-PI_binary64_12807` `cos-PI/2_binary64_12806` `cos-PI/3_binary64_12805` `cos-PI/4_binary64_12804` `cos-PI/6_binary64_12803` `sin-+PI/2_binary64_12802` `sin-+PI_binary64_12801` `sin-PI_binary64_12800` `sin-PI/2_binary64_12799` `sin-PI/3_binary64_12798` `sin-PI/4_binary64_12797` `sin-PI/6_binary64_12796` `sub-1-sin_binary64_12795` `sub-1-cos_binary64_12794` `-1-add-sin_binary64_12793` `-1-add-cos_binary64_12792` `1-sub-sin_binary64_12791` `1-sub-cos_binary64_12790` `cos-sin-sum_binary64_12789` `log-E_binary64_12785` `log-pow_binary64_12784` `log-rec_binary64_12783` `log-div_binary64_12782` `log-prod_binary64_12781` `pow-base-0_binary64_12779` `unpow1/3_binary64_12762` `unpow3_binary64_12761` `unpow2_binary64_12760` `unpow1/2_binary64_12759` `pow-plus_binary64_12758` `exp-to-pow_binary64_12757` `pow-base-1_binary64_12755` `unpow0_binary64_12754` `unpow1_binary64_12753` `unpow-1_binary64_12752` `exp-lft-cube_binary64_12751` `exp-lft-sqr_binary64_12750` `exp-cbrt_binary64_12749` `exp-sqrt_binary64_12748` `exp-prod_binary64_12747` `div-exp_binary64_12746` `rec-exp_binary64_12745` `prod-exp_binary64_12744` `exp-diff_binary64_12743` `exp-neg_binary64_12742` `exp-sum_binary64_12741` `e-exp-1_binary64_12740` `1-exp_binary64_12739` `exp-1-e_binary64_12738` `exp-0_binary64_12737` `rem-log-exp_binary64_12736` `rem-exp-log_binary64_12735` `cube-unmult_binary64_12732` `cube-mult_binary64_12725` `cube-div_binary64_12724` `cube-prod_binary64_12723` `cube-neg_binary64_12722` `rem-3cbrt-rft_binary64_12721` `rem-3cbrt-lft_binary64_12720` `rem-cbrt-cube_binary64_12719` `rem-cube-cbrt_binary64_12718` `sqr-abs_binary64_12710` `sqr-neg_binary64_12709` `rem-sqrt-square_binary64_12708` `rem-square-sqrt_binary64_12707` `times-frac_binary64_12701` `div-sub_binary64_12700` `neg-mul-1_binary64_12691` `neg-sub0_binary64_12690` `unsub-neg_binary64_12689` `sub-neg_binary64_12688` `mul-1-neg_binary64_12687` `/-rgt-identity_binary64_12686` `-rgt-identity_binary64_12685` `-lft-identity_binary64_12684` `remove-double-neg_binary64_12683` `sub0-neg_binary64_12682` `--rgt-identity_binary64_12681` `+-rgt-identity_binary64_12680` `+-lft-identity_binary64_12679` `mul0-rgt_binary64_12678` `mul0-lft_binary64_12677` `div0_binary64_12676` `-inverses_binary64_12675` `+-inverses_binary64_12674` `lft-mult-inverse_binary64_12673` `rgt-mult-inverse_binary64_12672` `remove-double-div_binary64_12671` `pow-sqr_binary64_12668` `sqr-pow_binary64_12667` `difference-of-sqr--1_binary64_12666` `difference-of-sqr-1_binary64_12665` `difference-of-squares_binary64_12664` `unswap-sqr_binary64_12663` `swap-sqr_binary64_12662` `cancel-sign-sub-inv_binary64_12661` `cancel-sign-sub_binary64_12660` `distribute-neg-frac_binary64_12659` `distribute-frac-neg_binary64_12658` `distribute-neg-out_binary64_12657` `distribute-neg-in_binary64_12656` `distribute-rgt-neg-out_binary64_12655` `distribute-lft-neg-out_binary64_12654` `distribute-rgt-neg-in_binary64_12653` `distribute-lft-neg-in_binary64_12652` `distribute-rgt1-in_binary64_12651` `distribute-lft1-in_binary64_12650` `distribute-rgt-out--_binary64_12649` `distribute-rgt-out_binary64_12648` `distribute-lft-out--_binary64_12647` `distribute-lft-out_binary64_12646` `distribute-rgt-in_binary64_12645` `distribute-lft-in_binary64_12644` `count-2_binary64_12643` `associate-/l/_binary64_12642` `associate-/r/_binary64_12641` `associate-/l_binary64_12640` `associate-/r_binary64_12639` `associate-l/_binary64_12638` `associate-*r/_binary64_12637` `associate--r-_binary64_12634` `associate--l-_binary64_12633` `associate--l+_binary64_12632` `associate--r+_binary64_12631` `associate-+l-_binary64_12630` `associate-+r-_binary64_12629` `associate-+l+_binary64_12628` `associate-+r+_binary64_12627` `+-commutative_binary64_12625`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	20
1	20	20
2	48	20
3	58	20
4	54	20
5	54	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
50%	37.5%	12.6%	7
56.2%	31.2%	12.6%	8
62.4%	18.7%	18.8%	9
65.6%	15.6%	18.8%	10
68.7%	9.4%	22%	11
70.2%	7.8%	22%	12
71.8%	4.7%	23.5%	13
72.6%	3.9%	23.5%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample14.0ms (0.4%)

Algorithm

1×

intervals

Results

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

Compiler

Compiled 15 to 15 computations (0% saved)

simplify9.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

13×	`associate-l_binary64_12636`
11×	`associate-r_binary64_12635`
10×	`*-commutative_binary64_12626`
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_12958` `erf-erfc_binary64_12957` `erf-odd_binary64_12956` `if-if-and-not_binary64_12955` `if-if-and_binary64_12954` `if-if-or-not_binary64_12953` `if-if-or_binary64_12952` `if-not_binary64_12951` `if-same_binary64_12950` `if-false_binary64_12949` `if-true_binary64_12948` `not-gte_binary64_12947` `not-lte_binary64_12946` `not-gt_binary64_12945` `not-lt_binary64_12944` `gte-same_binary64_12943` `lte-same_binary64_12942` `gt-same_binary64_12941` `lt-same_binary64_12940` `sinh---cosh_binary64_12887` `sinh-+-cosh_binary64_12886` `sinh-cosh_binary64_12885` `tanh-def-c_binary64_12884` `tanh-def-b_binary64_12883` `tanh-def-a_binary64_12882` `cosh-def_binary64_12881` `sinh-def_binary64_12880` `tan-neg_binary64_12827` `cos-neg_binary64_12826` `sin-neg_binary64_12825` `tan-0_binary64_12824` `cos-0_binary64_12823` `sin-0_binary64_12822` `hang-m-tan_binary64_12821` `hang-p-tan_binary64_12820` `hang-m0-tan_binary64_12819` `hang-p0-tan_binary64_12818` `hang-0m-tan_binary64_12817` `hang-0p-tan_binary64_12816` `tan-+PI/2_binary64_12815` `tan-+PI_binary64_12814` `tan-PI_binary64_12813` `tan-PI/3_binary64_12812` `tan-PI/4_binary64_12811` `tan-PI/6_binary64_12810` `cos-+PI/2_binary64_12809` `cos-+PI_binary64_12808` `cos-PI_binary64_12807` `cos-PI/2_binary64_12806` `cos-PI/3_binary64_12805` `cos-PI/4_binary64_12804` `cos-PI/6_binary64_12803` `sin-+PI/2_binary64_12802` `sin-+PI_binary64_12801` `sin-PI_binary64_12800` `sin-PI/2_binary64_12799` `sin-PI/3_binary64_12798` `sin-PI/4_binary64_12797` `sin-PI/6_binary64_12796` `sub-1-sin_binary64_12795` `sub-1-cos_binary64_12794` `-1-add-sin_binary64_12793` `-1-add-cos_binary64_12792` `1-sub-sin_binary64_12791` `1-sub-cos_binary64_12790` `cos-sin-sum_binary64_12789` `log-E_binary64_12785` `log-pow_binary64_12784` `log-rec_binary64_12783` `log-div_binary64_12782` `log-prod_binary64_12781` `pow-base-0_binary64_12779` `unpow1/3_binary64_12762` `unpow3_binary64_12761` `unpow2_binary64_12760` `unpow1/2_binary64_12759` `pow-plus_binary64_12758` `exp-to-pow_binary64_12757` `pow-base-1_binary64_12755` `unpow0_binary64_12754` `unpow1_binary64_12753` `unpow-1_binary64_12752` `exp-lft-cube_binary64_12751` `exp-lft-sqr_binary64_12750` `exp-cbrt_binary64_12749` `exp-sqrt_binary64_12748` `exp-prod_binary64_12747` `div-exp_binary64_12746` `rec-exp_binary64_12745` `prod-exp_binary64_12744` `exp-diff_binary64_12743` `exp-neg_binary64_12742` `exp-sum_binary64_12741` `e-exp-1_binary64_12740` `1-exp_binary64_12739` `exp-1-e_binary64_12738` `exp-0_binary64_12737` `rem-log-exp_binary64_12736` `rem-exp-log_binary64_12735` `cube-unmult_binary64_12732` `cube-mult_binary64_12725` `cube-div_binary64_12724` `cube-prod_binary64_12723` `cube-neg_binary64_12722` `rem-3cbrt-rft_binary64_12721` `rem-3cbrt-lft_binary64_12720` `rem-cbrt-cube_binary64_12719` `rem-cube-cbrt_binary64_12718` `sqr-abs_binary64_12710` `sqr-neg_binary64_12709` `rem-sqrt-square_binary64_12708` `rem-square-sqrt_binary64_12707` `times-frac_binary64_12701` `div-sub_binary64_12700` `neg-mul-1_binary64_12691` `neg-sub0_binary64_12690` `unsub-neg_binary64_12689` `sub-neg_binary64_12688` `mul-1-neg_binary64_12687` `/-rgt-identity_binary64_12686` `-rgt-identity_binary64_12685` `-lft-identity_binary64_12684` `remove-double-neg_binary64_12683` `sub0-neg_binary64_12682` `--rgt-identity_binary64_12681` `+-rgt-identity_binary64_12680` `+-lft-identity_binary64_12679` `mul0-rgt_binary64_12678` `mul0-lft_binary64_12677` `div0_binary64_12676` `-inverses_binary64_12675` `+-inverses_binary64_12674` `lft-mult-inverse_binary64_12673` `rgt-mult-inverse_binary64_12672` `remove-double-div_binary64_12671` `pow-sqr_binary64_12668` `sqr-pow_binary64_12667` `difference-of-sqr--1_binary64_12666` `difference-of-sqr-1_binary64_12665` `difference-of-squares_binary64_12664` `unswap-sqr_binary64_12663` `swap-sqr_binary64_12662` `cancel-sign-sub-inv_binary64_12661` `cancel-sign-sub_binary64_12660` `distribute-neg-frac_binary64_12659` `distribute-frac-neg_binary64_12658` `distribute-neg-out_binary64_12657` `distribute-neg-in_binary64_12656` `distribute-rgt-neg-out_binary64_12655` `distribute-lft-neg-out_binary64_12654` `distribute-rgt-neg-in_binary64_12653` `distribute-lft-neg-in_binary64_12652` `distribute-rgt1-in_binary64_12651` `distribute-lft1-in_binary64_12650` `distribute-rgt-out--_binary64_12649` `distribute-rgt-out_binary64_12648` `distribute-lft-out--_binary64_12647` `distribute-lft-out_binary64_12646` `distribute-rgt-in_binary64_12645` `distribute-lft-in_binary64_12644` `count-2_binary64_12643` `associate-/l/_binary64_12642` `associate-/r/_binary64_12641` `associate-/l_binary64_12640` `associate-/r_binary64_12639` `associate-l/_binary64_12638` `associate-*r/_binary64_12637` `associate--r-_binary64_12634` `associate--l-_binary64_12633` `associate--l+_binary64_12632` `associate--r+_binary64_12631` `associate-+l-_binary64_12630` `associate-+r-_binary64_12629` `associate-+l+_binary64_12628` `associate-+r+_binary64_12627` `+-commutative_binary64_12625`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	14	10
2	28	10
3	36	10
4	35	10
5	35	10

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.2b

Counts

2 → 1

Compiler

Compiled 14 to 12 computations (14.3% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.2b	(.f64 (.f64 (*.f64 x 3) y) y)
0.2b	(.f64 (.f64 x 3) y)

rewrite58.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

16×	`pow1_binary64_12756` `add-exp-log_binary64_12733` `add-cbrt-cube_binary64_12731`
9×	`pow-prod-down_binary64_12766` `prod-exp_binary64_12744` `cbrt-unprod_binary64_12728`
6×	`associate-r_binary64_12635`
4×	`add-cube-cbrt_binary64_12730` `add-sqr-sqrt_binary64_12717` `*-un-lft-identity_binary64_12695`
2×	`add-log-exp_binary64_12734` `associate-l_binary64_12636` `*-commutative_binary64_12626`

Counts

2 → 39

Calls

2 calls:

7.0ms	(.f64 (.f64 (*.f64 x 3) y) y)
5.0ms	(.f64 (.f64 x 3) y)

Compiler

Compiled 503 to 300 computations (40.4% saved)

series197.0ms (4.9%)

Error

0.1b

Counts

2 → 12

Calls

2 calls:

104.0ms	(.f64 (.f64 (*.f64 x 3) y) y)
85.0ms	(.f64 (.f64 x 3) y)

Compiler

Compiled 252 to 207 computations (17.9% saved)

simplify66.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

420×	`associate-+l+_binary64_12628`
372×	`*-commutative_binary64_12626`
360×	`associate-/l*_binary64_12640`
328×	`associate-*l/_binary64_12638`
303×	`associate-/l/_binary64_12642`
271×	`sqr-pow_binary64_12667`
270×	`unswap-sqr_binary64_12663`
243×	`associate-+r+_binary64_12627`
233×	`associate-/r/_binary64_12641`
215×	`associate-l_binary64_12636`
154×	`distribute-rgt-in_binary64_12645`
142×	`distribute-lft-in_binary64_12644`
132×	`associate-r_binary64_12635`
131×	`pow-sqr_binary64_12668`
100×	`associate-/r*_binary64_12639`
99×	`swap-sqr_binary64_12662`
74×	`cube-prod_binary64_12723`
69×	`times-frac_binary64_12701`
68×	`exp-prod_binary64_12747`
61×	`log-prod_binary64_12781`
46×	`rem-sqrt-square_binary64_12708`
45×	`distribute-rgt-out_binary64_12648`
42×	`associate-*r/_binary64_12637`
31×	`+-commutative_binary64_12625`
27×	`distribute-lft-out_binary64_12646`
22×	`unpow3_binary64_12761`
15×	`*-rgt-identity_binary64_12685` `distribute-rgt1-in_binary64_12651`
14×	`*-lft-identity_binary64_12684`
13×	`cube-unmult_binary64_12732` `cube-mult_binary64_12725`
11×	`pow-plus_binary64_12758` `prod-exp_binary64_12744`
10×	`unpow1/2_binary64_12759`
8×	`distribute-lft1-in_binary64_12650` `count-2_binary64_12643`
7×	`exp-lft-cube_binary64_12751`
5×	`log-pow_binary64_12784` `log-div_binary64_12782` `cube-div_binary64_12724`
1×	`unpow2_binary64_12760` `unpow1_binary64_12753` `exp-lft-sqr_binary64_12750` `exp-sqrt_binary64_12748` `1-exp_binary64_12739` `exp-1-e_binary64_12738`
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_12958` `erf-erfc_binary64_12957` `erf-odd_binary64_12956` `if-if-and-not_binary64_12955` `if-if-and_binary64_12954` `if-if-or-not_binary64_12953` `if-if-or_binary64_12952` `if-not_binary64_12951` `if-same_binary64_12950` `if-false_binary64_12949` `if-true_binary64_12948` `not-gte_binary64_12947` `not-lte_binary64_12946` `not-gt_binary64_12945` `not-lt_binary64_12944` `gte-same_binary64_12943` `lte-same_binary64_12942` `gt-same_binary64_12941` `lt-same_binary64_12940` `sinh---cosh_binary64_12887` `sinh-+-cosh_binary64_12886` `sinh-cosh_binary64_12885` `tanh-def-c_binary64_12884` `tanh-def-b_binary64_12883` `tanh-def-a_binary64_12882` `cosh-def_binary64_12881` `sinh-def_binary64_12880` `tan-neg_binary64_12827` `cos-neg_binary64_12826` `sin-neg_binary64_12825` `tan-0_binary64_12824` `cos-0_binary64_12823` `sin-0_binary64_12822` `hang-m-tan_binary64_12821` `hang-p-tan_binary64_12820` `hang-m0-tan_binary64_12819` `hang-p0-tan_binary64_12818` `hang-0m-tan_binary64_12817` `hang-0p-tan_binary64_12816` `tan-+PI/2_binary64_12815` `tan-+PI_binary64_12814` `tan-PI_binary64_12813` `tan-PI/3_binary64_12812` `tan-PI/4_binary64_12811` `tan-PI/6_binary64_12810` `cos-+PI/2_binary64_12809` `cos-+PI_binary64_12808` `cos-PI_binary64_12807` `cos-PI/2_binary64_12806` `cos-PI/3_binary64_12805` `cos-PI/4_binary64_12804` `cos-PI/6_binary64_12803` `sin-+PI/2_binary64_12802` `sin-+PI_binary64_12801` `sin-PI_binary64_12800` `sin-PI/2_binary64_12799` `sin-PI/3_binary64_12798` `sin-PI/4_binary64_12797` `sin-PI/6_binary64_12796` `sub-1-sin_binary64_12795` `sub-1-cos_binary64_12794` `-1-add-sin_binary64_12793` `-1-add-cos_binary64_12792` `1-sub-sin_binary64_12791` `1-sub-cos_binary64_12790` `cos-sin-sum_binary64_12789` `log-E_binary64_12785` `log-rec_binary64_12783` `pow-base-0_binary64_12779` `unpow1/3_binary64_12762` `exp-to-pow_binary64_12757` `pow-base-1_binary64_12755` `unpow0_binary64_12754` `unpow-1_binary64_12752` `exp-cbrt_binary64_12749` `div-exp_binary64_12746` `rec-exp_binary64_12745` `exp-diff_binary64_12743` `exp-neg_binary64_12742` `exp-sum_binary64_12741` `e-exp-1_binary64_12740` `exp-0_binary64_12737` `rem-log-exp_binary64_12736` `rem-exp-log_binary64_12735` `cube-neg_binary64_12722` `rem-3cbrt-rft_binary64_12721` `rem-3cbrt-lft_binary64_12720` `rem-cbrt-cube_binary64_12719` `rem-cube-cbrt_binary64_12718` `sqr-abs_binary64_12710` `sqr-neg_binary64_12709` `rem-square-sqrt_binary64_12707` `div-sub_binary64_12700` `neg-mul-1_binary64_12691` `neg-sub0_binary64_12690` `unsub-neg_binary64_12689` `sub-neg_binary64_12688` `mul-1-neg_binary64_12687` `/-rgt-identity_binary64_12686` `remove-double-neg_binary64_12683` `sub0-neg_binary64_12682` `--rgt-identity_binary64_12681` `+-rgt-identity_binary64_12680` `+-lft-identity_binary64_12679` `mul0-rgt_binary64_12678` `mul0-lft_binary64_12677` `div0_binary64_12676` `*-inverses_binary64_12675` `+-inverses_binary64_12674` `lft-mult-inverse_binary64_12673` `rgt-mult-inverse_binary64_12672` `remove-double-div_binary64_12671` `difference-of-sqr--1_binary64_12666` `difference-of-sqr-1_binary64_12665` `difference-of-squares_binary64_12664` `cancel-sign-sub-inv_binary64_12661` `cancel-sign-sub_binary64_12660` `distribute-neg-frac_binary64_12659` `distribute-frac-neg_binary64_12658` `distribute-neg-out_binary64_12657` `distribute-neg-in_binary64_12656` `distribute-rgt-neg-out_binary64_12655` `distribute-lft-neg-out_binary64_12654` `distribute-rgt-neg-in_binary64_12653` `distribute-lft-neg-in_binary64_12652` `distribute-rgt-out--_binary64_12649` `distribute-lft-out--_binary64_12647` `associate--r-_binary64_12634` `associate--l-_binary64_12633` `associate--l+_binary64_12632` `associate--r+_binary64_12631` `associate-+l-_binary64_12630` `associate-+r-_binary64_12629`

Counts

51 → 37

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	64	612
1	159	504
2	676	504
3	1005	502
4	1463	502
5	2702	502
6	5058	502

prune37.0ms (0.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	32	5	37
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	32	6	38

Error

0.0b

Counts

38 → 6

Compiler

Compiled 436 to 228 computations (47.7% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.2b	(.f64 (.f64 3 (*.f64 x y)) y)
0.3b	(.f64 3 (.f64 x y))

rewrite50.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

16×	`pow1_binary64_12756` `add-exp-log_binary64_12733` `add-cbrt-cube_binary64_12731`
9×	`pow-prod-down_binary64_12766` `prod-exp_binary64_12744` `cbrt-unprod_binary64_12728`
4×	`add-cube-cbrt_binary64_12730` `add-sqr-sqrt_binary64_12717` `-un-lft-identity_binary64_12695` `associate-l_binary64_12636` `associate-r*_binary64_12635`
2×	`add-log-exp_binary64_12734` `*-commutative_binary64_12626`

Counts

2 → 39

Calls

2 calls:

7.0ms	(.f64 (.f64 3 (*.f64 x y)) y)
5.0ms	(.f64 3 (.f64 x y))

Compiler

Compiled 503 to 262 computations (47.9% saved)

series191.0ms (4.8%)

Error

0.0b

Counts

2 → 12

Calls

2 calls:

104.0ms	(.f64 (.f64 3 (*.f64 x y)) y)
80.0ms	(.f64 3 (.f64 x y))

Compiler

Compiled 252 to 207 computations (17.9% saved)

simplify87.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

341×	`*-commutative_binary64_12626`
340×	`associate-+l+_binary64_12628`
331×	`associate-/l*_binary64_12640`
295×	`associate-*l/_binary64_12638`
292×	`associate-/l/_binary64_12642`
267×	`unswap-sqr_binary64_12663`
262×	`associate-/r/_binary64_12641`
237×	`sqr-pow_binary64_12667`
194×	`log-div_binary64_12782`
190×	`associate-+r+_binary64_12627`
163×	`associate-l_binary64_12636`
124×	`associate-r_binary64_12635`
115×	`pow-sqr_binary64_12668` `distribute-rgt-in_binary64_12645`
107×	`distribute-lft-in_binary64_12644`
94×	`associate-/r*_binary64_12639`
81×	`swap-sqr_binary64_12662`
80×	`times-frac_binary64_12701`
73×	`cube-prod_binary64_12723`
68×	`exp-prod_binary64_12747`
60×	`log-prod_binary64_12781`
51×	`distribute-rgt-out_binary64_12648`
38×	`associate-*r/_binary64_12637`
37×	`rem-sqrt-square_binary64_12708`
34×	`distribute-lft-out_binary64_12646`
27×	`+-commutative_binary64_12625`
22×	`unpow3_binary64_12761`
14×	`cube-unmult_binary64_12732` `distribute-rgt1-in_binary64_12651`
12×	`pow-plus_binary64_12758` `-rgt-identity_binary64_12685` `-lft-identity_binary64_12684`
11×	`prod-exp_binary64_12744`
10×	`cube-mult_binary64_12725`
8×	`unpow1/2_binary64_12759`
7×	`distribute-lft1-in_binary64_12650` `count-2_binary64_12643`
6×	`log-pow_binary64_12784` `log-rec_binary64_12783`
5×	`exp-lft-cube_binary64_12751` `cube-div_binary64_12724`
1×	`unpow2_binary64_12760` `unpow1_binary64_12753` `exp-lft-sqr_binary64_12750` `exp-sqrt_binary64_12748` `1-exp_binary64_12739` `exp-1-e_binary64_12738` `/-rgt-identity_binary64_12686`
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_12958` `erf-erfc_binary64_12957` `erf-odd_binary64_12956` `if-if-and-not_binary64_12955` `if-if-and_binary64_12954` `if-if-or-not_binary64_12953` `if-if-or_binary64_12952` `if-not_binary64_12951` `if-same_binary64_12950` `if-false_binary64_12949` `if-true_binary64_12948` `not-gte_binary64_12947` `not-lte_binary64_12946` `not-gt_binary64_12945` `not-lt_binary64_12944` `gte-same_binary64_12943` `lte-same_binary64_12942` `gt-same_binary64_12941` `lt-same_binary64_12940` `sinh---cosh_binary64_12887` `sinh-+-cosh_binary64_12886` `sinh-cosh_binary64_12885` `tanh-def-c_binary64_12884` `tanh-def-b_binary64_12883` `tanh-def-a_binary64_12882` `cosh-def_binary64_12881` `sinh-def_binary64_12880` `tan-neg_binary64_12827` `cos-neg_binary64_12826` `sin-neg_binary64_12825` `tan-0_binary64_12824` `cos-0_binary64_12823` `sin-0_binary64_12822` `hang-m-tan_binary64_12821` `hang-p-tan_binary64_12820` `hang-m0-tan_binary64_12819` `hang-p0-tan_binary64_12818` `hang-0m-tan_binary64_12817` `hang-0p-tan_binary64_12816` `tan-+PI/2_binary64_12815` `tan-+PI_binary64_12814` `tan-PI_binary64_12813` `tan-PI/3_binary64_12812` `tan-PI/4_binary64_12811` `tan-PI/6_binary64_12810` `cos-+PI/2_binary64_12809` `cos-+PI_binary64_12808` `cos-PI_binary64_12807` `cos-PI/2_binary64_12806` `cos-PI/3_binary64_12805` `cos-PI/4_binary64_12804` `cos-PI/6_binary64_12803` `sin-+PI/2_binary64_12802` `sin-+PI_binary64_12801` `sin-PI_binary64_12800` `sin-PI/2_binary64_12799` `sin-PI/3_binary64_12798` `sin-PI/4_binary64_12797` `sin-PI/6_binary64_12796` `sub-1-sin_binary64_12795` `sub-1-cos_binary64_12794` `-1-add-sin_binary64_12793` `-1-add-cos_binary64_12792` `1-sub-sin_binary64_12791` `1-sub-cos_binary64_12790` `cos-sin-sum_binary64_12789` `log-E_binary64_12785` `pow-base-0_binary64_12779` `unpow1/3_binary64_12762` `exp-to-pow_binary64_12757` `pow-base-1_binary64_12755` `unpow0_binary64_12754` `unpow-1_binary64_12752` `exp-cbrt_binary64_12749` `div-exp_binary64_12746` `rec-exp_binary64_12745` `exp-diff_binary64_12743` `exp-neg_binary64_12742` `exp-sum_binary64_12741` `e-exp-1_binary64_12740` `exp-0_binary64_12737` `rem-log-exp_binary64_12736` `rem-exp-log_binary64_12735` `cube-neg_binary64_12722` `rem-3cbrt-rft_binary64_12721` `rem-3cbrt-lft_binary64_12720` `rem-cbrt-cube_binary64_12719` `rem-cube-cbrt_binary64_12718` `sqr-abs_binary64_12710` `sqr-neg_binary64_12709` `rem-square-sqrt_binary64_12707` `div-sub_binary64_12700` `neg-mul-1_binary64_12691` `neg-sub0_binary64_12690` `unsub-neg_binary64_12689` `sub-neg_binary64_12688` `mul-1-neg_binary64_12687` `remove-double-neg_binary64_12683` `sub0-neg_binary64_12682` `--rgt-identity_binary64_12681` `+-rgt-identity_binary64_12680` `+-lft-identity_binary64_12679` `mul0-rgt_binary64_12678` `mul0-lft_binary64_12677` `div0_binary64_12676` `*-inverses_binary64_12675` `+-inverses_binary64_12674` `lft-mult-inverse_binary64_12673` `rgt-mult-inverse_binary64_12672` `remove-double-div_binary64_12671` `difference-of-sqr--1_binary64_12666` `difference-of-sqr-1_binary64_12665` `difference-of-squares_binary64_12664` `cancel-sign-sub-inv_binary64_12661` `cancel-sign-sub_binary64_12660` `distribute-neg-frac_binary64_12659` `distribute-frac-neg_binary64_12658` `distribute-neg-out_binary64_12657` `distribute-neg-in_binary64_12656` `distribute-rgt-neg-out_binary64_12655` `distribute-lft-neg-out_binary64_12654` `distribute-rgt-neg-in_binary64_12653` `distribute-lft-neg-in_binary64_12652` `distribute-rgt-out--_binary64_12649` `distribute-lft-out--_binary64_12647` `associate--r-_binary64_12634` `associate--l-_binary64_12633` `associate--l+_binary64_12632` `associate--r+_binary64_12631` `associate-+l-_binary64_12630` `associate-+r-_binary64_12629`

Counts

51 → 30

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	64	613
1	153	505
2	577	505
3	905	503
4	1311	503
5	2484	503
6	4763	503
7	4998	503

prune29.0ms (0.7%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	29	1	30
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	29	7	36

Error

0.0b

Counts

36 → 7

Compiler

Compiled 356 to 193 computations (45.8% saved)

localize9.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.2b	(.f64 (.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (.f64 (*.f64 x y) (cbrt.f64 3))) y)
0.2b	(.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (.f64 (.f64 x y) (cbrt.f64 3)))
0.3b	(.f64 (.f64 x y) (cbrt.f64 3))

rewrite153.0ms (3.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

58×	`pow1_binary64_12756` `add-exp-log_binary64_12733`
40×	`pow-prod-down_binary64_12766` `prod-exp_binary64_12744` `cbrt-unprod_binary64_12728`
36×	`add-cbrt-cube_binary64_12731`
10×	`associate-r_binary64_12635`
6×	`add-cube-cbrt_binary64_12730` `add-sqr-sqrt_binary64_12717` `*-un-lft-identity_binary64_12695`
3×	`add-log-exp_binary64_12734` `associate-l_binary64_12636` `cbrt-prod_binary64_12726` `*-commutative_binary64_12626`

Counts

3 → 82

Calls

3 calls:

15.0ms	(.f64 (.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (.f64 (*.f64 x y) (cbrt.f64 3))) y)
12.0ms	(.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (.f64 (.f64 x y) (cbrt.f64 3)))
6.0ms	(.f64 (.f64 x y) (cbrt.f64 3))

Compiler

Compiled 1765 to 1236 computations (30% saved)

series667.0ms (16.7%)

Error

0.0b

Counts

3 → 18

Calls

3 calls:

270.0ms	(.f64 (.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (.f64 (*.f64 x y) (cbrt.f64 3))) y)
234.0ms	(.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (.f64 (.f64 x y) (cbrt.f64 3)))
145.0ms	(.f64 (.f64 x y) (cbrt.f64 3))

Compiler

Compiled 612 to 542 computations (11.4% saved)

simplify107.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

523×	`*-commutative_binary64_12626`
492×	`sqr-pow_binary64_12667`
330×	`associate-l_binary64_12636`
311×	`unswap-sqr_binary64_12663`
274×	`associate-+l+_binary64_12628`
253×	`associate-/l*_binary64_12640`
248×	`associate-r_binary64_12635`
210×	`pow-sqr_binary64_12668`
195×	`times-frac_binary64_12701`
163×	`associate-+r+_binary64_12627`
153×	`exp-prod_binary64_12747`
147×	`cube-prod_binary64_12723`
134×	`log-prod_binary64_12781`
132×	`+-commutative_binary64_12625`
126×	`swap-sqr_binary64_12662`
124×	`associate-/r/_binary64_12641`
111×	`associate-/l/_binary64_12642`
103×	`associate-*r/_binary64_12637`
95×	`associate-/r*_binary64_12639`
77×	`rem-sqrt-square_binary64_12708`
36×	`unpow3_binary64_12761`
32×	`cube-mult_binary64_12725`
30×	`distribute-rgt-in_binary64_12645`
26×	`*-rgt-identity_binary64_12685`
22×	`distribute-lft-in_binary64_12644`
21×	`*-lft-identity_binary64_12684`
13×	`log-div_binary64_12782` `unpow1/2_binary64_12759` `cube-div_binary64_12724`
10×	`/-rgt-identity_binary64_12686`
8×	`cube-unmult_binary64_12732`
6×	`pow-plus_binary64_12758` `distribute-lft-out_binary64_12646`
5×	`log-pow_binary64_12784` `prod-exp_binary64_12744` `distribute-rgt1-in_binary64_12651` `distribute-rgt-out_binary64_12648` `count-2_binary64_12643`
3×	`exp-lft-cube_binary64_12751` `distribute-lft1-in_binary64_12650` `associate-*l/_binary64_12638`
2×	`exp-sqrt_binary64_12748`
1×	`unpow2_binary64_12760` `unpow1_binary64_12753` `1-exp_binary64_12739` `exp-1-e_binary64_12738` `rem-cube-cbrt_binary64_12718`
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_12958` `erf-erfc_binary64_12957` `erf-odd_binary64_12956` `if-if-and-not_binary64_12955` `if-if-and_binary64_12954` `if-if-or-not_binary64_12953` `if-if-or_binary64_12952` `if-not_binary64_12951` `if-same_binary64_12950` `if-false_binary64_12949` `if-true_binary64_12948` `not-gte_binary64_12947` `not-lte_binary64_12946` `not-gt_binary64_12945` `not-lt_binary64_12944` `gte-same_binary64_12943` `lte-same_binary64_12942` `gt-same_binary64_12941` `lt-same_binary64_12940` `sinh---cosh_binary64_12887` `sinh-+-cosh_binary64_12886` `sinh-cosh_binary64_12885` `tanh-def-c_binary64_12884` `tanh-def-b_binary64_12883` `tanh-def-a_binary64_12882` `cosh-def_binary64_12881` `sinh-def_binary64_12880` `tan-neg_binary64_12827` `cos-neg_binary64_12826` `sin-neg_binary64_12825` `tan-0_binary64_12824` `cos-0_binary64_12823` `sin-0_binary64_12822` `hang-m-tan_binary64_12821` `hang-p-tan_binary64_12820` `hang-m0-tan_binary64_12819` `hang-p0-tan_binary64_12818` `hang-0m-tan_binary64_12817` `hang-0p-tan_binary64_12816` `tan-+PI/2_binary64_12815` `tan-+PI_binary64_12814` `tan-PI_binary64_12813` `tan-PI/3_binary64_12812` `tan-PI/4_binary64_12811` `tan-PI/6_binary64_12810` `cos-+PI/2_binary64_12809` `cos-+PI_binary64_12808` `cos-PI_binary64_12807` `cos-PI/2_binary64_12806` `cos-PI/3_binary64_12805` `cos-PI/4_binary64_12804` `cos-PI/6_binary64_12803` `sin-+PI/2_binary64_12802` `sin-+PI_binary64_12801` `sin-PI_binary64_12800` `sin-PI/2_binary64_12799` `sin-PI/3_binary64_12798` `sin-PI/4_binary64_12797` `sin-PI/6_binary64_12796` `sub-1-sin_binary64_12795` `sub-1-cos_binary64_12794` `-1-add-sin_binary64_12793` `-1-add-cos_binary64_12792` `1-sub-sin_binary64_12791` `1-sub-cos_binary64_12790` `cos-sin-sum_binary64_12789` `log-E_binary64_12785` `log-rec_binary64_12783` `pow-base-0_binary64_12779` `unpow1/3_binary64_12762` `exp-to-pow_binary64_12757` `pow-base-1_binary64_12755` `unpow0_binary64_12754` `unpow-1_binary64_12752` `exp-lft-sqr_binary64_12750` `exp-cbrt_binary64_12749` `div-exp_binary64_12746` `rec-exp_binary64_12745` `exp-diff_binary64_12743` `exp-neg_binary64_12742` `exp-sum_binary64_12741` `e-exp-1_binary64_12740` `exp-0_binary64_12737` `rem-log-exp_binary64_12736` `rem-exp-log_binary64_12735` `cube-neg_binary64_12722` `rem-3cbrt-rft_binary64_12721` `rem-3cbrt-lft_binary64_12720` `rem-cbrt-cube_binary64_12719` `sqr-abs_binary64_12710` `sqr-neg_binary64_12709` `rem-square-sqrt_binary64_12707` `div-sub_binary64_12700` `neg-mul-1_binary64_12691` `neg-sub0_binary64_12690` `unsub-neg_binary64_12689` `sub-neg_binary64_12688` `mul-1-neg_binary64_12687` `remove-double-neg_binary64_12683` `sub0-neg_binary64_12682` `--rgt-identity_binary64_12681` `+-rgt-identity_binary64_12680` `+-lft-identity_binary64_12679` `mul0-rgt_binary64_12678` `mul0-lft_binary64_12677` `div0_binary64_12676` `*-inverses_binary64_12675` `+-inverses_binary64_12674` `lft-mult-inverse_binary64_12673` `rgt-mult-inverse_binary64_12672` `remove-double-div_binary64_12671` `difference-of-sqr--1_binary64_12666` `difference-of-sqr-1_binary64_12665` `difference-of-squares_binary64_12664` `cancel-sign-sub-inv_binary64_12661` `cancel-sign-sub_binary64_12660` `distribute-neg-frac_binary64_12659` `distribute-frac-neg_binary64_12658` `distribute-neg-out_binary64_12657` `distribute-neg-in_binary64_12656` `distribute-rgt-neg-out_binary64_12655` `distribute-lft-neg-out_binary64_12654` `distribute-rgt-neg-in_binary64_12653` `distribute-lft-neg-in_binary64_12652` `distribute-rgt-out--_binary64_12649` `distribute-lft-out--_binary64_12647` `associate--r-_binary64_12634` `associate--l-_binary64_12633` `associate--l+_binary64_12632` `associate--r+_binary64_12631` `associate-+l-_binary64_12630` `associate-+r-_binary64_12629`

Counts

100 → 79

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	111	2159
1	258	1031
2	1006	1031
3	1641	1031
4	2496	1031
5	4087	1031
6	5174	1031

prune70.0ms (1.8%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	76	3	79
Fresh	2	2	4
Picked	0	1	1
Done	1	1	2
Total	79	7	86

Error

0.0b

Counts

86 → 7

Compiler

Compiled 919 to 645 computations (29.8% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.2b	(.f64 (.f64 x (*.f64 y 3)) y)
0.2b	(.f64 x (.f64 y 3))

rewrite44.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

16×	`pow1_binary64_12756` `add-exp-log_binary64_12733` `add-cbrt-cube_binary64_12731`
9×	`pow-prod-down_binary64_12766` `prod-exp_binary64_12744` `cbrt-unprod_binary64_12728`
4×	`add-cube-cbrt_binary64_12730` `add-sqr-sqrt_binary64_12717` `-un-lft-identity_binary64_12695` `associate-l_binary64_12636` `associate-r*_binary64_12635`
2×	`add-log-exp_binary64_12734` `*-commutative_binary64_12626`

Counts

2 → 39

Calls

2 calls:

6.0ms	(.f64 (.f64 x (*.f64 y 3)) y)
6.0ms	(.f64 x (.f64 y 3))

Compiler

Compiled 503 to 304 computations (39.6% saved)

series185.0ms (4.6%)

Error

0.0b

Counts

2 → 12

Calls

2 calls:

105.0ms	(.f64 (.f64 x (*.f64 y 3)) y)
74.0ms	(.f64 x (.f64 y 3))

Compiler

Compiled 252 to 207 computations (17.9% saved)

simplify64.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

411×	`*-commutative_binary64_12626`
332×	`associate-*r/_binary64_12637`
324×	`associate-+l+_binary64_12628`
298×	`associate-/l*_binary64_12640`
279×	`associate-/l/_binary64_12642`
276×	`associate-*l/_binary64_12638`
244×	`associate-/r/_binary64_12641`
233×	`sqr-pow_binary64_12667`
210×	`unswap-sqr_binary64_12663`
194×	`associate-l_binary64_12636`
190×	`associate-+r+_binary64_12627`
146×	`associate-r_binary64_12635`
115×	`distribute-rgt-in_binary64_12645`
107×	`distribute-lft-in_binary64_12644`
106×	`pow-sqr_binary64_12668`
97×	`associate-/r*_binary64_12639`
77×	`swap-sqr_binary64_12662`
67×	`cube-prod_binary64_12723`
63×	`exp-prod_binary64_12747`
59×	`log-prod_binary64_12781`
54×	`times-frac_binary64_12701`
34×	`rem-sqrt-square_binary64_12708`
30×	`distribute-rgt-out_binary64_12648`
28×	`+-commutative_binary64_12625`
24×	`distribute-lft-out_binary64_12646`
16×	`unpow3_binary64_12761`
14×	`*-lft-identity_binary64_12684`
13×	`prod-exp_binary64_12744` `*-rgt-identity_binary64_12685`
12×	`distribute-rgt1-in_binary64_12651`
9×	`unpow1/2_binary64_12759` `pow-plus_binary64_12758` `cube-unmult_binary64_12732` `cube-mult_binary64_12725`
8×	`count-2_binary64_12643`
7×	`exp-lft-cube_binary64_12751`
6×	`distribute-lft1-in_binary64_12650`
5×	`log-pow_binary64_12784` `log-div_binary64_12782` `cube-div_binary64_12724`
1×	`unpow2_binary64_12760` `unpow1_binary64_12753` `exp-lft-sqr_binary64_12750` `exp-sqrt_binary64_12748` `1-exp_binary64_12739` `exp-1-e_binary64_12738`
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_12958` `erf-erfc_binary64_12957` `erf-odd_binary64_12956` `if-if-and-not_binary64_12955` `if-if-and_binary64_12954` `if-if-or-not_binary64_12953` `if-if-or_binary64_12952` `if-not_binary64_12951` `if-same_binary64_12950` `if-false_binary64_12949` `if-true_binary64_12948` `not-gte_binary64_12947` `not-lte_binary64_12946` `not-gt_binary64_12945` `not-lt_binary64_12944` `gte-same_binary64_12943` `lte-same_binary64_12942` `gt-same_binary64_12941` `lt-same_binary64_12940` `sinh---cosh_binary64_12887` `sinh-+-cosh_binary64_12886` `sinh-cosh_binary64_12885` `tanh-def-c_binary64_12884` `tanh-def-b_binary64_12883` `tanh-def-a_binary64_12882` `cosh-def_binary64_12881` `sinh-def_binary64_12880` `tan-neg_binary64_12827` `cos-neg_binary64_12826` `sin-neg_binary64_12825` `tan-0_binary64_12824` `cos-0_binary64_12823` `sin-0_binary64_12822` `hang-m-tan_binary64_12821` `hang-p-tan_binary64_12820` `hang-m0-tan_binary64_12819` `hang-p0-tan_binary64_12818` `hang-0m-tan_binary64_12817` `hang-0p-tan_binary64_12816` `tan-+PI/2_binary64_12815` `tan-+PI_binary64_12814` `tan-PI_binary64_12813` `tan-PI/3_binary64_12812` `tan-PI/4_binary64_12811` `tan-PI/6_binary64_12810` `cos-+PI/2_binary64_12809` `cos-+PI_binary64_12808` `cos-PI_binary64_12807` `cos-PI/2_binary64_12806` `cos-PI/3_binary64_12805` `cos-PI/4_binary64_12804` `cos-PI/6_binary64_12803` `sin-+PI/2_binary64_12802` `sin-+PI_binary64_12801` `sin-PI_binary64_12800` `sin-PI/2_binary64_12799` `sin-PI/3_binary64_12798` `sin-PI/4_binary64_12797` `sin-PI/6_binary64_12796` `sub-1-sin_binary64_12795` `sub-1-cos_binary64_12794` `-1-add-sin_binary64_12793` `-1-add-cos_binary64_12792` `1-sub-sin_binary64_12791` `1-sub-cos_binary64_12790` `cos-sin-sum_binary64_12789` `log-E_binary64_12785` `log-rec_binary64_12783` `pow-base-0_binary64_12779` `unpow1/3_binary64_12762` `exp-to-pow_binary64_12757` `pow-base-1_binary64_12755` `unpow0_binary64_12754` `unpow-1_binary64_12752` `exp-cbrt_binary64_12749` `div-exp_binary64_12746` `rec-exp_binary64_12745` `exp-diff_binary64_12743` `exp-neg_binary64_12742` `exp-sum_binary64_12741` `e-exp-1_binary64_12740` `exp-0_binary64_12737` `rem-log-exp_binary64_12736` `rem-exp-log_binary64_12735` `cube-neg_binary64_12722` `rem-3cbrt-rft_binary64_12721` `rem-3cbrt-lft_binary64_12720` `rem-cbrt-cube_binary64_12719` `rem-cube-cbrt_binary64_12718` `sqr-abs_binary64_12710` `sqr-neg_binary64_12709` `rem-square-sqrt_binary64_12707` `div-sub_binary64_12700` `neg-mul-1_binary64_12691` `neg-sub0_binary64_12690` `unsub-neg_binary64_12689` `sub-neg_binary64_12688` `mul-1-neg_binary64_12687` `/-rgt-identity_binary64_12686` `remove-double-neg_binary64_12683` `sub0-neg_binary64_12682` `--rgt-identity_binary64_12681` `+-rgt-identity_binary64_12680` `+-lft-identity_binary64_12679` `mul0-rgt_binary64_12678` `mul0-lft_binary64_12677` `div0_binary64_12676` `*-inverses_binary64_12675` `+-inverses_binary64_12674` `lft-mult-inverse_binary64_12673` `rgt-mult-inverse_binary64_12672` `remove-double-div_binary64_12671` `difference-of-sqr--1_binary64_12666` `difference-of-sqr-1_binary64_12665` `difference-of-squares_binary64_12664` `cancel-sign-sub-inv_binary64_12661` `cancel-sign-sub_binary64_12660` `distribute-neg-frac_binary64_12659` `distribute-frac-neg_binary64_12658` `distribute-neg-out_binary64_12657` `distribute-neg-in_binary64_12656` `distribute-rgt-neg-out_binary64_12655` `distribute-lft-neg-out_binary64_12654` `distribute-rgt-neg-in_binary64_12653` `distribute-lft-neg-in_binary64_12652` `distribute-rgt-out--_binary64_12649` `distribute-lft-out--_binary64_12647` `associate--r-_binary64_12634` `associate--l-_binary64_12633` `associate--l+_binary64_12632` `associate--r+_binary64_12631` `associate-+l-_binary64_12630` `associate-+r-_binary64_12629`

Counts

51 → 38

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	65	613
1	159	505
2	665	505
3	969	503
4	1397	503
5	2463	503
6	4902	503

prune26.0ms (0.7%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	38	0	38
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	38	7	45

Error

0.0b

Counts

45 → 7

Compiler

Compiled 390 to 193 computations (50.5% saved)

regimes418.0ms (10.5%)

Accuracy

Total 0.2b remaining (98.8%)

Threshold costs 0.2b (98.8%)

Compiler

Compiled 3926 to 3010 computations (23.3% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3× *-commutative_binary64_12626

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_12955 if-if-and_binary64_12954 if-if-or-not_binary64_12953 if-if-or_binary64_12952 if-not_binary64_12951 if-same_binary64_12950 if-false_binary64_12949 if-true_binary64_12948 tan-0_binary64_12824 cos-0_binary64_12823 sin-0_binary64_12822 unpow1_binary64_12753 e-exp-1_binary64_12740 1-exp_binary64_12739 exp-1-e_binary64_12738 exp-0_binary64_12737 sqr-abs_binary64_12710 sqr-neg_binary64_12709 neg-mul-1_binary64_12691 neg-sub0_binary64_12690 unsub-neg_binary64_12689 sub-neg_binary64_12688 mul-1-neg_binary64_12687 /-rgt-identity_binary64_12686 *-rgt-identity_binary64_12685 *-lft-identity_binary64_12684 remove-double-neg_binary64_12683 sub0-neg_binary64_12682 --rgt-identity_binary64_12681 +-rgt-identity_binary64_12680 +-lft-identity_binary64_12679 cancel-sign-sub-inv_binary64_12661 cancel-sign-sub_binary64_12660 distribute-neg-frac_binary64_12659 distribute-frac-neg_binary64_12658 distribute-neg-out_binary64_12657 distribute-neg-in_binary64_12656 distribute-rgt-neg-out_binary64_12655 distribute-lft-neg-out_binary64_12654 distribute-rgt-neg-in_binary64_12653 distribute-lft-neg-in_binary64_12652 +-commutative_binary64_12625

Iterations

Useful iterations: 0 (0.0ms)

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

end0.0ms (0%)

sample1.3s (31.9%)

Algorithm

1×

intervals

Results

192.0ms	8000×	body	128	valid
3.0ms	162×	body	128	invalid

Compiler

Compiled 915 to 705 computations (23% saved)

Details

analyze212.0ms (5.3%)

sample14.0ms (0.4%)

simplify9.0ms (0.2%)

prune2.0ms (0.1%)

localize5.0ms (0.1%)

rewrite58.0ms (1.5%)

series197.0ms (4.9%)

simplify66.0ms (1.7%)

prune37.0ms (0.9%)

localize5.0ms (0.1%)

rewrite50.0ms (1.2%)

series191.0ms (4.8%)

simplify87.0ms (2.2%)

prune29.0ms (0.7%)

localize9.0ms (0.2%)

rewrite153.0ms (3.8%)

series667.0ms (16.7%)

simplify107.0ms (2.7%)

prune70.0ms (1.8%)

localize5.0ms (0.1%)

rewrite44.0ms (1.1%)

series185.0ms (4.6%)

simplify64.0ms (1.6%)

prune26.0ms (0.7%)

regimes418.0ms (10.5%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.3s (31.9%)

Profiling