Details

analyze238.0ms (24.5%)

Algorithm

1×	search
2×	egg-herbie

Rules

549×	`associate-l_binary64_9567`
481×	`sqr-pow_binary64_9598`
476×	`associate-/r/_binary64_9572`
454×	`times-frac_binary64_9632`
374×	`associate-r_binary64_9566`
345×	`exp-prod_binary64_9678`
298×	`pow-sqr_binary64_9599`
248×	`associate-/r*_binary64_9570`
244×	`unswap-sqr_binary64_9594`
186×	`swap-sqr_binary64_9593`
166×	`associate-/l/_binary64_9573`
141×	`associate-/l*_binary64_9571`
122×	`cube-prod_binary64_9654`
121×	`pow-plus_binary64_9689`
104×	`unpow3_binary64_9692`
76×	`distribute-rgt-out_binary64_9579`
75×	`*-commutative_binary64_9557`
72×	`associate-*r/_binary64_9568`
38×	`prod-exp_binary64_9675` `cube-mult_binary64_9656`
37×	`distribute-lft-out_binary64_9577`
35×	`cube-unmult_binary64_9663`
34×	`exp-lft-sqr_binary64_9681`
33×	`associate-*l/_binary64_9569`
30×	`exp-sqrt_binary64_9679`
22×	`unpow2_binary64_9691`
20×	`rem-sqrt-square_binary64_9639`
17×	`unpow1/2_binary64_9690`
10×	`unpow1_binary64_9684`
9×	`/-rgt-identity_binary64_9617`
7×	`rem-square-sqrt_binary64_9638`
6×	`*-rgt-identity_binary64_9616`
5×	`distribute-rgt1-in_binary64_9582`
4×	`*-lft-identity_binary64_9615`
2×	`remove-double-div_binary64_9602`
1×	`1-exp_binary64_9670` `exp-1-e_binary64_9669`
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_9889` `erf-erfc_binary64_9888` `erf-odd_binary64_9887` `if-if-and-not_binary64_9886` `if-if-and_binary64_9885` `if-if-or-not_binary64_9884` `if-if-or_binary64_9883` `if-not_binary64_9882` `if-same_binary64_9881` `if-false_binary64_9880` `if-true_binary64_9879` `not-gte_binary64_9878` `not-lte_binary64_9877` `not-gt_binary64_9876` `not-lt_binary64_9875` `gte-same_binary64_9874` `lte-same_binary64_9873` `gt-same_binary64_9872` `lt-same_binary64_9871` `sinh---cosh_binary64_9818` `sinh-+-cosh_binary64_9817` `sinh-cosh_binary64_9816` `tanh-def-c_binary64_9815` `tanh-def-b_binary64_9814` `tanh-def-a_binary64_9813` `cosh-def_binary64_9812` `sinh-def_binary64_9811` `tan-neg_binary64_9758` `cos-neg_binary64_9757` `sin-neg_binary64_9756` `tan-0_binary64_9755` `cos-0_binary64_9754` `sin-0_binary64_9753` `hang-m-tan_binary64_9752` `hang-p-tan_binary64_9751` `hang-m0-tan_binary64_9750` `hang-p0-tan_binary64_9749` `hang-0m-tan_binary64_9748` `hang-0p-tan_binary64_9747` `tan-+PI/2_binary64_9746` `tan-+PI_binary64_9745` `tan-PI_binary64_9744` `tan-PI/3_binary64_9743` `tan-PI/4_binary64_9742` `tan-PI/6_binary64_9741` `cos-+PI/2_binary64_9740` `cos-+PI_binary64_9739` `cos-PI_binary64_9738` `cos-PI/2_binary64_9737` `cos-PI/3_binary64_9736` `cos-PI/4_binary64_9735` `cos-PI/6_binary64_9734` `sin-+PI/2_binary64_9733` `sin-+PI_binary64_9732` `sin-PI_binary64_9731` `sin-PI/2_binary64_9730` `sin-PI/3_binary64_9729` `sin-PI/4_binary64_9728` `sin-PI/6_binary64_9727` `sub-1-sin_binary64_9726` `sub-1-cos_binary64_9725` `-1-add-sin_binary64_9724` `-1-add-cos_binary64_9723` `1-sub-sin_binary64_9722` `1-sub-cos_binary64_9721` `cos-sin-sum_binary64_9720` `log-E_binary64_9716` `log-pow_binary64_9715` `log-rec_binary64_9714` `log-div_binary64_9713` `log-prod_binary64_9712` `pow-base-0_binary64_9710` `unpow1/3_binary64_9693` `exp-to-pow_binary64_9688` `pow-base-1_binary64_9686` `unpow0_binary64_9685` `unpow-1_binary64_9683` `exp-lft-cube_binary64_9682` `exp-cbrt_binary64_9680` `div-exp_binary64_9677` `rec-exp_binary64_9676` `exp-diff_binary64_9674` `exp-neg_binary64_9673` `exp-sum_binary64_9672` `e-exp-1_binary64_9671` `exp-0_binary64_9668` `rem-log-exp_binary64_9667` `rem-exp-log_binary64_9666` `cube-div_binary64_9655` `cube-neg_binary64_9653` `rem-3cbrt-rft_binary64_9652` `rem-3cbrt-lft_binary64_9651` `rem-cbrt-cube_binary64_9650` `rem-cube-cbrt_binary64_9649` `sqr-abs_binary64_9641` `sqr-neg_binary64_9640` `div-sub_binary64_9631` `neg-mul-1_binary64_9622` `neg-sub0_binary64_9621` `unsub-neg_binary64_9620` `sub-neg_binary64_9619` `mul-1-neg_binary64_9618` `remove-double-neg_binary64_9614` `sub0-neg_binary64_9613` `--rgt-identity_binary64_9612` `+-rgt-identity_binary64_9611` `+-lft-identity_binary64_9610` `mul0-rgt_binary64_9609` `mul0-lft_binary64_9608` `div0_binary64_9607` `*-inverses_binary64_9606` `+-inverses_binary64_9605` `lft-mult-inverse_binary64_9604` `rgt-mult-inverse_binary64_9603` `difference-of-sqr--1_binary64_9597` `difference-of-sqr-1_binary64_9596` `difference-of-squares_binary64_9595` `cancel-sign-sub-inv_binary64_9592` `cancel-sign-sub_binary64_9591` `distribute-neg-frac_binary64_9590` `distribute-frac-neg_binary64_9589` `distribute-neg-out_binary64_9588` `distribute-neg-in_binary64_9587` `distribute-rgt-neg-out_binary64_9586` `distribute-lft-neg-out_binary64_9585` `distribute-rgt-neg-in_binary64_9584` `distribute-lft-neg-in_binary64_9583` `distribute-lft1-in_binary64_9581` `distribute-rgt-out--_binary64_9580` `distribute-lft-out--_binary64_9578` `distribute-rgt-in_binary64_9576` `distribute-lft-in_binary64_9575` `count-2_binary64_9574` `associate--r-_binary64_9565` `associate--l-_binary64_9564` `associate--l+_binary64_9563` `associate--r+_binary64_9562` `associate-+l-_binary64_9561` `associate-+r-_binary64_9560` `associate-+l+_binary64_9559` `associate-+r+_binary64_9558` `+-commutative_binary64_9556`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	18
1	18	18
2	35	18
3	64	18
4	134	18
5	298	18
6	663	18
7	1696	18
8	2914	18
9	3578	18
10	4910	18
11	4919	18
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
50%	50%	0.1%	3
50%	50%	0.1%	4
62.4%	37.5%	0.1%	5
62.4%	31.2%	6.3%	6
68.7%	18.7%	12.6%	7
68.7%	15.6%	15.7%	8
71.8%	9.4%	18.8%	9
71.8%	7.8%	20.4%	10
73.4%	4.7%	22%	11
73.4%	3.9%	22.7%	12
74.1%	2.3%	23.5%	13
74.1%	2%	23.9%	14

Compiler

Compiled 7 to 6 computations (14.3% saved)

sample14.0ms (1.5%)

Algorithm

1×

intervals

Results

6.0ms	256×	body	128	valid
0.0ms	4×	body	128	invalid

Compiler

Compiled 13 to 13 computations (0% saved)

simplify67.0ms (6.9%)

Algorithm

1×	egg-herbie

Rules

664×	`unswap-sqr_binary64_9594`
517×	`sqr-pow_binary64_9598`
463×	`associate-/l*_binary64_9571`
362×	`exp-prod_binary64_9678`
332×	`pow-sqr_binary64_9599`
312×	`associate-l_binary64_9567`
309×	`associate-/r/_binary64_9572`
264×	`associate-*r/_binary64_9568`
229×	`*-commutative_binary64_9557`
220×	`times-frac_binary64_9632`
216×	`associate-r_binary64_9566`
211×	`associate-*l/_binary64_9569`
137×	`associate-/r*_binary64_9570`
126×	`prod-exp_binary64_9675`
125×	`swap-sqr_binary64_9593`
119×	`cube-prod_binary64_9654`
112×	`associate-/l/_binary64_9573`
78×	`pow-plus_binary64_9689`
53×	`unpow3_binary64_9692`
50×	`exp-sqrt_binary64_9679`
46×	`rem-sqrt-square_binary64_9639`
42×	`cube-mult_binary64_9656`
31×	`cube-unmult_binary64_9663`
28×	`exp-lft-sqr_binary64_9681` `distribute-rgt-out_binary64_9579`
24×	`unpow2_binary64_9691`
16×	`*-lft-identity_binary64_9615` `distribute-lft-out_binary64_9577`
14×	`unpow1_binary64_9684`
12×	`rem-square-sqrt_binary64_9638` `/-rgt-identity_binary64_9617`
10×	`unpow1/2_binary64_9690`
9×	`*-rgt-identity_binary64_9616`
5×	`remove-double-div_binary64_9602`
3×	`distribute-rgt1-in_binary64_9582`
1×	`1-exp_binary64_9670` `exp-1-e_binary64_9669`
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_9889` `erf-erfc_binary64_9888` `erf-odd_binary64_9887` `if-if-and-not_binary64_9886` `if-if-and_binary64_9885` `if-if-or-not_binary64_9884` `if-if-or_binary64_9883` `if-not_binary64_9882` `if-same_binary64_9881` `if-false_binary64_9880` `if-true_binary64_9879` `not-gte_binary64_9878` `not-lte_binary64_9877` `not-gt_binary64_9876` `not-lt_binary64_9875` `gte-same_binary64_9874` `lte-same_binary64_9873` `gt-same_binary64_9872` `lt-same_binary64_9871` `sinh---cosh_binary64_9818` `sinh-+-cosh_binary64_9817` `sinh-cosh_binary64_9816` `tanh-def-c_binary64_9815` `tanh-def-b_binary64_9814` `tanh-def-a_binary64_9813` `cosh-def_binary64_9812` `sinh-def_binary64_9811` `tan-neg_binary64_9758` `cos-neg_binary64_9757` `sin-neg_binary64_9756` `tan-0_binary64_9755` `cos-0_binary64_9754` `sin-0_binary64_9753` `hang-m-tan_binary64_9752` `hang-p-tan_binary64_9751` `hang-m0-tan_binary64_9750` `hang-p0-tan_binary64_9749` `hang-0m-tan_binary64_9748` `hang-0p-tan_binary64_9747` `tan-+PI/2_binary64_9746` `tan-+PI_binary64_9745` `tan-PI_binary64_9744` `tan-PI/3_binary64_9743` `tan-PI/4_binary64_9742` `tan-PI/6_binary64_9741` `cos-+PI/2_binary64_9740` `cos-+PI_binary64_9739` `cos-PI_binary64_9738` `cos-PI/2_binary64_9737` `cos-PI/3_binary64_9736` `cos-PI/4_binary64_9735` `cos-PI/6_binary64_9734` `sin-+PI/2_binary64_9733` `sin-+PI_binary64_9732` `sin-PI_binary64_9731` `sin-PI/2_binary64_9730` `sin-PI/3_binary64_9729` `sin-PI/4_binary64_9728` `sin-PI/6_binary64_9727` `sub-1-sin_binary64_9726` `sub-1-cos_binary64_9725` `-1-add-sin_binary64_9724` `-1-add-cos_binary64_9723` `1-sub-sin_binary64_9722` `1-sub-cos_binary64_9721` `cos-sin-sum_binary64_9720` `log-E_binary64_9716` `log-pow_binary64_9715` `log-rec_binary64_9714` `log-div_binary64_9713` `log-prod_binary64_9712` `pow-base-0_binary64_9710` `unpow1/3_binary64_9693` `exp-to-pow_binary64_9688` `pow-base-1_binary64_9686` `unpow0_binary64_9685` `unpow-1_binary64_9683` `exp-lft-cube_binary64_9682` `exp-cbrt_binary64_9680` `div-exp_binary64_9677` `rec-exp_binary64_9676` `exp-diff_binary64_9674` `exp-neg_binary64_9673` `exp-sum_binary64_9672` `e-exp-1_binary64_9671` `exp-0_binary64_9668` `rem-log-exp_binary64_9667` `rem-exp-log_binary64_9666` `cube-div_binary64_9655` `cube-neg_binary64_9653` `rem-3cbrt-rft_binary64_9652` `rem-3cbrt-lft_binary64_9651` `rem-cbrt-cube_binary64_9650` `rem-cube-cbrt_binary64_9649` `sqr-abs_binary64_9641` `sqr-neg_binary64_9640` `div-sub_binary64_9631` `neg-mul-1_binary64_9622` `neg-sub0_binary64_9621` `unsub-neg_binary64_9620` `sub-neg_binary64_9619` `mul-1-neg_binary64_9618` `remove-double-neg_binary64_9614` `sub0-neg_binary64_9613` `--rgt-identity_binary64_9612` `+-rgt-identity_binary64_9611` `+-lft-identity_binary64_9610` `mul0-rgt_binary64_9609` `mul0-lft_binary64_9608` `div0_binary64_9607` `*-inverses_binary64_9606` `+-inverses_binary64_9605` `lft-mult-inverse_binary64_9604` `rgt-mult-inverse_binary64_9603` `difference-of-sqr--1_binary64_9597` `difference-of-sqr-1_binary64_9596` `difference-of-squares_binary64_9595` `cancel-sign-sub-inv_binary64_9592` `cancel-sign-sub_binary64_9591` `distribute-neg-frac_binary64_9590` `distribute-frac-neg_binary64_9589` `distribute-neg-out_binary64_9588` `distribute-neg-in_binary64_9587` `distribute-rgt-neg-out_binary64_9586` `distribute-lft-neg-out_binary64_9585` `distribute-rgt-neg-in_binary64_9584` `distribute-lft-neg-in_binary64_9583` `distribute-lft1-in_binary64_9581` `distribute-rgt-out--_binary64_9580` `distribute-lft-out--_binary64_9578` `distribute-rgt-in_binary64_9576` `distribute-lft-in_binary64_9575` `count-2_binary64_9574` `associate--r-_binary64_9565` `associate--l-_binary64_9564` `associate--l+_binary64_9563` `associate--r+_binary64_9562` `associate-+l-_binary64_9561` `associate-+r-_binary64_9560` `associate-+l+_binary64_9559` `associate-+r+_binary64_9558` `+-commutative_binary64_9556`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	12	9
2	23	9
3	41	9
4	85	9
5	193	9
6	434	9
7	1080	9
8	2926	9
9	3322	9
10	4101	9
11	5127	9

prune2.0ms (0.2%)

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

Counts

2 → 1

Compiler

Compiled 12 to 10 computations (16.7% saved)

localize4.0ms (0.4%)

Local error

Found 1 expressions with local error:

0.1b	(.f64 (.f64 x y) y)

rewrite18.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

6×	`pow1_binary64_9687` `add-exp-log_binary64_9664` `add-cbrt-cube_binary64_9662`
3×	`pow-prod-down_binary64_9697` `prod-exp_binary64_9675` `cbrt-unprod_binary64_9659` `associate-r_binary64_9566`
2×	`add-cube-cbrt_binary64_9661` `add-sqr-sqrt_binary64_9648` `*-un-lft-identity_binary64_9626`
1×	`add-log-exp_binary64_9665` `associate-l_binary64_9567` `*-commutative_binary64_9557`

Counts

1 → 18

Calls

1 calls:

5.0ms

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

Compiler

Compiled 202 to 73 computations (63.9% saved)

series81.0ms (8.3%)

Error

Counts

1 → 6

Calls

1 calls:

77.0ms

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

Compiler

Compiled 108 to 98 computations (9.3% saved)

simplify64.0ms (6.6%)

Algorithm

1×	egg-herbie

Rules

373×	`associate-l_binary64_9567`
319×	`unswap-sqr_binary64_9594`
312×	`associate-*r/_binary64_9568`
263×	`associate-*l/_binary64_9569`
242×	`associate-/l*_binary64_9571`
210×	`associate-/l/_binary64_9573`
193×	`log-div_binary64_9713` `cube-div_binary64_9655`
187×	`associate-/r/_binary64_9572`
172×	`associate-r_binary64_9566`
164×	`sqr-pow_binary64_9598`
157×	`distribute-rgt-in_binary64_9576`
152×	`log-prod_binary64_9712`
144×	`exp-prod_binary64_9678` `*-commutative_binary64_9557`
143×	`distribute-lft-in_binary64_9575`
103×	`associate-/r*_binary64_9570`
83×	`associate-+l+_binary64_9559`
62×	`pow-sqr_binary64_9599` `associate-+r+_binary64_9558`
61×	`times-frac_binary64_9632`
50×	`cube-prod_binary64_9654`
45×	`+-commutative_binary64_9556`
27×	`unpow3_binary64_9692` `exp-sqrt_binary64_9679`
24×	`cube-mult_binary64_9656`
23×	`rem-sqrt-square_binary64_9639`
19×	`log-pow_binary64_9715` `pow-plus_binary64_9689`
18×	`swap-sqr_binary64_9593` `distribute-lft-out_binary64_9577`
17×	`*-rgt-identity_binary64_9616` `distribute-rgt-out_binary64_9579`
16×	`*-lft-identity_binary64_9615`
10×	`unpow1/2_binary64_9690`
9×	`count-2_binary64_9574`
6×	`exp-lft-sqr_binary64_9681` `cube-unmult_binary64_9663`
4×	`distribute-rgt1-in_binary64_9582`
3×	`unpow2_binary64_9691` `distribute-lft1-in_binary64_9581`
2×	`log-rec_binary64_9714`
1×	`unpow1_binary64_9684` `prod-exp_binary64_9675` `1-exp_binary64_9670` `exp-1-e_binary64_9669`
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_9889` `erf-erfc_binary64_9888` `erf-odd_binary64_9887` `if-if-and-not_binary64_9886` `if-if-and_binary64_9885` `if-if-or-not_binary64_9884` `if-if-or_binary64_9883` `if-not_binary64_9882` `if-same_binary64_9881` `if-false_binary64_9880` `if-true_binary64_9879` `not-gte_binary64_9878` `not-lte_binary64_9877` `not-gt_binary64_9876` `not-lt_binary64_9875` `gte-same_binary64_9874` `lte-same_binary64_9873` `gt-same_binary64_9872` `lt-same_binary64_9871` `sinh---cosh_binary64_9818` `sinh-+-cosh_binary64_9817` `sinh-cosh_binary64_9816` `tanh-def-c_binary64_9815` `tanh-def-b_binary64_9814` `tanh-def-a_binary64_9813` `cosh-def_binary64_9812` `sinh-def_binary64_9811` `tan-neg_binary64_9758` `cos-neg_binary64_9757` `sin-neg_binary64_9756` `tan-0_binary64_9755` `cos-0_binary64_9754` `sin-0_binary64_9753` `hang-m-tan_binary64_9752` `hang-p-tan_binary64_9751` `hang-m0-tan_binary64_9750` `hang-p0-tan_binary64_9749` `hang-0m-tan_binary64_9748` `hang-0p-tan_binary64_9747` `tan-+PI/2_binary64_9746` `tan-+PI_binary64_9745` `tan-PI_binary64_9744` `tan-PI/3_binary64_9743` `tan-PI/4_binary64_9742` `tan-PI/6_binary64_9741` `cos-+PI/2_binary64_9740` `cos-+PI_binary64_9739` `cos-PI_binary64_9738` `cos-PI/2_binary64_9737` `cos-PI/3_binary64_9736` `cos-PI/4_binary64_9735` `cos-PI/6_binary64_9734` `sin-+PI/2_binary64_9733` `sin-+PI_binary64_9732` `sin-PI_binary64_9731` `sin-PI/2_binary64_9730` `sin-PI/3_binary64_9729` `sin-PI/4_binary64_9728` `sin-PI/6_binary64_9727` `sub-1-sin_binary64_9726` `sub-1-cos_binary64_9725` `-1-add-sin_binary64_9724` `-1-add-cos_binary64_9723` `1-sub-sin_binary64_9722` `1-sub-cos_binary64_9721` `cos-sin-sum_binary64_9720` `log-E_binary64_9716` `pow-base-0_binary64_9710` `unpow1/3_binary64_9693` `exp-to-pow_binary64_9688` `pow-base-1_binary64_9686` `unpow0_binary64_9685` `unpow-1_binary64_9683` `exp-lft-cube_binary64_9682` `exp-cbrt_binary64_9680` `div-exp_binary64_9677` `rec-exp_binary64_9676` `exp-diff_binary64_9674` `exp-neg_binary64_9673` `exp-sum_binary64_9672` `e-exp-1_binary64_9671` `exp-0_binary64_9668` `rem-log-exp_binary64_9667` `rem-exp-log_binary64_9666` `cube-neg_binary64_9653` `rem-3cbrt-rft_binary64_9652` `rem-3cbrt-lft_binary64_9651` `rem-cbrt-cube_binary64_9650` `rem-cube-cbrt_binary64_9649` `sqr-abs_binary64_9641` `sqr-neg_binary64_9640` `rem-square-sqrt_binary64_9638` `div-sub_binary64_9631` `neg-mul-1_binary64_9622` `neg-sub0_binary64_9621` `unsub-neg_binary64_9620` `sub-neg_binary64_9619` `mul-1-neg_binary64_9618` `/-rgt-identity_binary64_9617` `remove-double-neg_binary64_9614` `sub0-neg_binary64_9613` `--rgt-identity_binary64_9612` `+-rgt-identity_binary64_9611` `+-lft-identity_binary64_9610` `mul0-rgt_binary64_9609` `mul0-lft_binary64_9608` `div0_binary64_9607` `*-inverses_binary64_9606` `+-inverses_binary64_9605` `lft-mult-inverse_binary64_9604` `rgt-mult-inverse_binary64_9603` `remove-double-div_binary64_9602` `difference-of-sqr--1_binary64_9597` `difference-of-sqr-1_binary64_9596` `difference-of-squares_binary64_9595` `cancel-sign-sub-inv_binary64_9592` `cancel-sign-sub_binary64_9591` `distribute-neg-frac_binary64_9590` `distribute-frac-neg_binary64_9589` `distribute-neg-out_binary64_9588` `distribute-neg-in_binary64_9587` `distribute-rgt-neg-out_binary64_9586` `distribute-lft-neg-out_binary64_9585` `distribute-rgt-neg-in_binary64_9584` `distribute-lft-neg-in_binary64_9583` `distribute-rgt-out--_binary64_9580` `distribute-lft-out--_binary64_9578` `associate--r-_binary64_9565` `associate--l-_binary64_9564` `associate--l+_binary64_9563` `associate--r+_binary64_9562` `associate-+l-_binary64_9561` `associate-+r-_binary64_9560`

Counts

24 → 19

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	37	245
1	93	200
2	298	200
3	590	198
4	875	198
5	1700	198
6	4160	198
7	5057	198

prune11.0ms (1.2%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	19	0	19
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	19	1	20

Error

Counts

20 → 1

Compiler

Compiled 167 to 49 computations (70.7% saved)

simplify3.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

2× *-commutative_binary64_9557

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_9886 if-if-and_binary64_9885 if-if-or-not_binary64_9884 if-if-or_binary64_9883 if-not_binary64_9882 if-same_binary64_9881 if-false_binary64_9880 if-true_binary64_9879 tan-0_binary64_9755 cos-0_binary64_9754 sin-0_binary64_9753 unpow1_binary64_9684 e-exp-1_binary64_9671 1-exp_binary64_9670 exp-1-e_binary64_9669 exp-0_binary64_9668 sqr-abs_binary64_9641 sqr-neg_binary64_9640 neg-mul-1_binary64_9622 neg-sub0_binary64_9621 unsub-neg_binary64_9620 sub-neg_binary64_9619 mul-1-neg_binary64_9618 /-rgt-identity_binary64_9617 *-rgt-identity_binary64_9616 *-lft-identity_binary64_9615 remove-double-neg_binary64_9614 sub0-neg_binary64_9613 --rgt-identity_binary64_9612 +-rgt-identity_binary64_9611 +-lft-identity_binary64_9610 cancel-sign-sub-inv_binary64_9592 cancel-sign-sub_binary64_9591 distribute-neg-frac_binary64_9590 distribute-frac-neg_binary64_9589 distribute-neg-out_binary64_9588 distribute-neg-in_binary64_9587 distribute-rgt-neg-out_binary64_9586 distribute-lft-neg-out_binary64_9585 distribute-rgt-neg-in_binary64_9584 distribute-lft-neg-in_binary64_9583 +-commutative_binary64_9556

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	8	9
2	8	9

end0.0ms (0%)

sample468.0ms (48.2%)

Algorithm

1×

intervals

Results

198.0ms	8000×	body	128	valid
3.0ms	111×	body	128	invalid

Compiler

Compiled 19 to 18 computations (5.3% saved)

Details

analyze238.0ms (24.5%)

sample14.0ms (1.5%)

simplify67.0ms (6.9%)

prune2.0ms (0.2%)

localize4.0ms (0.4%)

rewrite18.0ms (1.9%)

series81.0ms (8.3%)

simplify64.0ms (6.6%)

prune11.0ms (1.2%)

simplify3.0ms (0.3%)

end0.0ms (0%)

sample468.0ms (48.2%)

Profiling