Details

analyze1.9s (11.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
0%	98.1%	1.9%	13
0%	98.1%	1.9%	14

Compiler

Compiled 53 to 22 computations (58.5% saved)

sample171.0ms (1.1%)

Algorithm

1×

intervals

Results

36.0ms	72×	body	4096	valid
26.0ms	360×	body	128	nan
22.0ms	36×	body	8192	valid
15.0ms	39×	body	2048	valid
14.0ms	134×	body	128	invalid
6.0ms	20×	body	1024	valid
5.0ms	73×	body	128	valid
2.0ms	10×	body	512	valid
1.0ms	6×	body	256	valid
1.0ms	3×	body	512	invalid
0.0ms	1×	body	4096	invalid
0.0ms	1×	body	2048	invalid
0.0ms	1×	body	1024	invalid

Compiler

Compiled 105 to 49 computations (53.3% saved)

simplify154.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

599×	`times-frac_binary64_766`
518×	`distribute-neg-frac_binary64_724`
301×	`associate-/l*_binary64_705`
217×	`cancel-sign-sub-inv_binary64_726`
189×	`associate-/r*_binary64_704`
187×	`associate-l/_binary64_703` `associate-r*_binary64_700`
185×	`associate-l_binary64_701`
166×	`associate-*r/_binary64_702`
144×	`distribute-neg-in_binary64_721`
123×	`neg-mul-1_binary64_756`
122×	`neg-sub0_binary64_755`
115×	`swap-sqr_binary64_727`
108×	`associate-/l/_binary64_707`
55×	`associate-/r/_binary64_706`
43×	`*-commutative_binary64_691`
22×	`distribute-rgt-in_binary64_710` `distribute-lft-in_binary64_709`
10×	`unsub-neg_binary64_754` `sub-neg_binary64_753`
8×	`+-commutative_binary64_690`
4×	`unswap-sqr_binary64_728` `distribute-rgt-out_binary64_713` `associate-+r-_binary64_694`
3×	`unpow3_binary64_826` `cube-unmult_binary64_797` `+-rgt-identity_binary64_745` `sqr-pow_binary64_732`
2×	`sub0-neg_binary64_747` `mul0-rgt_binary64_743` `mul0-lft_binary64_742` `difference-of-squares_binary64_729` `distribute-lft-neg-out_binary64_719` `distribute-lft-out_binary64_711` `associate-+l-_binary64_695` `associate-+l+_binary64_693` `associate-+r+_binary64_692`
1×	`cube-div_binary64_789` `distribute-rgt-neg-out_binary64_720` `distribute-rgt-neg-in_binary64_718`
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_1023` `erf-erfc_binary64_1022` `erf-odd_binary64_1021` `if-if-and-not_binary64_1020` `if-if-and_binary64_1019` `if-if-or-not_binary64_1018` `if-if-or_binary64_1017` `if-not_binary64_1016` `if-same_binary64_1015` `if-false_binary64_1014` `if-true_binary64_1013` `not-gte_binary64_1012` `not-lte_binary64_1011` `not-gt_binary64_1010` `not-lt_binary64_1009` `gte-same_binary64_1008` `lte-same_binary64_1007` `gt-same_binary64_1006` `lt-same_binary64_1005` `sinh---cosh_binary64_952` `sinh-+-cosh_binary64_951` `sinh-cosh_binary64_950` `tanh-def-c_binary64_949` `tanh-def-b_binary64_948` `tanh-def-a_binary64_947` `cosh-def_binary64_946` `sinh-def_binary64_945` `tan-neg_binary64_892` `cos-neg_binary64_891` `sin-neg_binary64_890` `tan-0_binary64_889` `cos-0_binary64_888` `sin-0_binary64_887` `hang-m-tan_binary64_886` `hang-p-tan_binary64_885` `hang-m0-tan_binary64_884` `hang-p0-tan_binary64_883` `hang-0m-tan_binary64_882` `hang-0p-tan_binary64_881` `tan-+PI/2_binary64_880` `tan-+PI_binary64_879` `tan-PI_binary64_878` `tan-PI/3_binary64_877` `tan-PI/4_binary64_876` `tan-PI/6_binary64_875` `cos-+PI/2_binary64_874` `cos-+PI_binary64_873` `cos-PI_binary64_872` `cos-PI/2_binary64_871` `cos-PI/3_binary64_870` `cos-PI/4_binary64_869` `cos-PI/6_binary64_868` `sin-+PI/2_binary64_867` `sin-+PI_binary64_866` `sin-PI_binary64_865` `sin-PI/2_binary64_864` `sin-PI/3_binary64_863` `sin-PI/4_binary64_862` `sin-PI/6_binary64_861` `sub-1-sin_binary64_860` `sub-1-cos_binary64_859` `-1-add-sin_binary64_858` `-1-add-cos_binary64_857` `1-sub-sin_binary64_856` `1-sub-cos_binary64_855` `cos-sin-sum_binary64_854` `log-E_binary64_850` `log-pow_binary64_849` `log-rec_binary64_848` `log-div_binary64_847` `log-prod_binary64_846` `pow-base-0_binary64_844` `unpow1/3_binary64_827` `unpow2_binary64_825` `unpow1/2_binary64_824` `pow-plus_binary64_823` `exp-to-pow_binary64_822` `pow-base-1_binary64_820` `unpow0_binary64_819` `unpow1_binary64_818` `unpow-1_binary64_817` `exp-lft-cube_binary64_816` `exp-lft-sqr_binary64_815` `exp-cbrt_binary64_814` `exp-sqrt_binary64_813` `exp-prod_binary64_812` `div-exp_binary64_811` `rec-exp_binary64_810` `prod-exp_binary64_809` `exp-diff_binary64_808` `exp-neg_binary64_807` `exp-sum_binary64_806` `e-exp-1_binary64_805` `1-exp_binary64_804` `exp-1-e_binary64_803` `exp-0_binary64_802` `rem-log-exp_binary64_801` `rem-exp-log_binary64_800` `cube-mult_binary64_790` `cube-prod_binary64_788` `cube-neg_binary64_787` `rem-3cbrt-rft_binary64_786` `rem-3cbrt-lft_binary64_785` `rem-cbrt-cube_binary64_784` `rem-cube-cbrt_binary64_783` `sqr-abs_binary64_775` `sqr-neg_binary64_774` `rem-sqrt-square_binary64_773` `rem-square-sqrt_binary64_772` `div-sub_binary64_765` `mul-1-neg_binary64_752` `/-rgt-identity_binary64_751` `-rgt-identity_binary64_750` `-lft-identity_binary64_749` `remove-double-neg_binary64_748` `--rgt-identity_binary64_746` `+-lft-identity_binary64_744` `div0_binary64_741` `*-inverses_binary64_740` `+-inverses_binary64_739` `lft-mult-inverse_binary64_738` `rgt-mult-inverse_binary64_737` `remove-double-div_binary64_736` `pow-sqr_binary64_733` `difference-of-sqr--1_binary64_731` `difference-of-sqr-1_binary64_730` `cancel-sign-sub_binary64_725` `distribute-frac-neg_binary64_723` `distribute-neg-out_binary64_722` `distribute-lft-neg-in_binary64_717` `distribute-rgt1-in_binary64_716` `distribute-lft1-in_binary64_715` `distribute-rgt-out--_binary64_714` `distribute-lft-out--_binary64_712` `count-2_binary64_708` `associate--r-_binary64_699` `associate--l-_binary64_698` `associate--l+_binary64_697` `associate--r+_binary64_696`

Counts

1 → 5

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	22	78
1	63	78
2	290	78
3	3039	69
4	3623	69

prune20.0ms (0.1%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	1	4	5
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	2	4	6

Error

53.3b

Counts

6 → 4

Compiler

Compiled 450 to 158 computations (64.9% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

12.7b	(.f64 (/.f64 c0 (.f64 w h)) (*.f64 (/.f64 d D) (/.f64 d D)))
12.7b	(.f64 (/.f64 c0 (.f64 w h)) (*.f64 (/.f64 d D) (/.f64 d D)))
13.0b	(sqrt.f64 (-.f64 (.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 (/.f64 d D) (/.f64 d D))) (.f64 (/.f64 c0 (.f64 w h)) (.f64 (/.f64 d D) (/.f64 d D)))) (.f64 M M)))
30.5b	(+.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 (/.f64 d D) (/.f64 d D))) (sqrt.f64 (-.f64 (.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 (/.f64 d D) (/.f64 d D))) (.f64 (/.f64 c0 (.f64 w h)) (.f64 (/.f64 d D) (/.f64 d D)))) (*.f64 M M))))

rewrite475.0ms (2.9%)

Algorithm

1×	rewrite-expression-head

Error

50.8b

Rules

142×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
64×	`prod-exp_binary64_809` `cbrt-unprod_binary64_793`
44×	`div-exp_binary64_811` `cbrt-undiv_binary64_794`
20×	`frac-times_binary64_770` `associate-*r/_binary64_702`
16×	`sqrt-div_binary64_777`
15×	`pow1_binary64_821`
14×	`frac-add_binary64_768` `associate-l_binary64_701`
12×	`add-sqr-sqrt_binary64_782` `associate-*l/_binary64_703`
9×	`add-cube-cbrt_binary64_795` `*-un-lft-identity_binary64_760`
8×	`flip3--_binary64_764` `flip--_binary64_735`
6×	`add-log-exp_binary64_799` `pow-prod-down_binary64_831` `times-frac_binary64_766`
4×	`sqrt-prod_binary64_776`
2×	`unswap-sqr_binary64_728` `div-inv_binary64_757` `associate-r_binary64_700` `*-commutative_binary64_691`
1×	`sum-log_binary64_851` `flip3-+_binary64_763` `flip-+_binary64_734` `+-commutative_binary64_690` `pow1/2_binary64_840` `sqrt-pow1_binary64_778` `difference-of-squares_binary64_729` `rem-sqrt-square_binary64_773`

Counts

4 → 153

Calls

4 calls:

62.0ms	(+.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 (/.f64 d D) (/.f64 d D))) (sqrt.f64 (-.f64 (.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 (/.f64 d D) (/.f64 d D))) (.f64 (/.f64 c0 (.f64 w h)) (.f64 (/.f64 d D) (/.f64 d D)))) (*.f64 M M))))
52.0ms	(sqrt.f64 (-.f64 (.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 (/.f64 d D) (/.f64 d D))) (.f64 (/.f64 c0 (.f64 w h)) (.f64 (/.f64 d D) (/.f64 d D)))) (.f64 M M)))
15.0ms	(.f64 (/.f64 c0 (.f64 w h)) (*.f64 (/.f64 d D) (/.f64 d D)))
15.0ms	(.f64 (/.f64 c0 (.f64 w h)) (*.f64 (/.f64 d D) (/.f64 d D)))

Compiler

Compiled 12350 to 1472 computations (88.1% saved)

series2.0s (12.4%)

Error

30.0b

Counts

4 → 74

Calls

4 calls:

592.0ms	(+.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 (/.f64 d D) (/.f64 d D))) (sqrt.f64 (-.f64 (.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 (/.f64 d D) (/.f64 d D))) (.f64 (/.f64 c0 (.f64 w h)) (.f64 (/.f64 d D) (/.f64 d D)))) (*.f64 M M))))
483.0ms	(.f64 (/.f64 c0 (.f64 w h)) (*.f64 (/.f64 d D) (/.f64 d D)))
474.0ms	(.f64 (/.f64 c0 (.f64 w h)) (*.f64 (/.f64 d D) (/.f64 d D)))
385.0ms	(sqrt.f64 (-.f64 (.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 (/.f64 d D) (/.f64 d D))) (.f64 (/.f64 c0 (.f64 w h)) (.f64 (/.f64 d D) (/.f64 d D)))) (.f64 M M)))

Compiler

Compiled 8437 to 4986 computations (40.9% saved)

simplify5.2s (32.1%)

Algorithm

1×	egg-herbie

Rules

358×	`associate-/l/_binary64_707`
320×	`associate-l_binary64_701`
283×	`associate-r_binary64_700`
177×	`associate-*l/_binary64_703`
175×	`*-commutative_binary64_691`
165×	`cancel-sign-sub-inv_binary64_726`
160×	`times-frac_binary64_766`
144×	`associate-*r/_binary64_702`
143×	`unswap-sqr_binary64_728`
123×	`swap-sqr_binary64_727`
114×	`associate-/r*_binary64_704`
107×	`distribute-rgt-neg-in_binary64_718`
99×	`distribute-rgt-in_binary64_710`
98×	`distribute-lft-neg-in_binary64_717`
97×	`associate-/l*_binary64_705`
84×	`distribute-lft-in_binary64_709`
79×	`cube-div_binary64_789`
76×	`cube-prod_binary64_788`
66×	`sub-neg_binary64_753`
64×	`distribute-neg-frac_binary64_724`
61×	`sqr-pow_binary64_732`
54×	`distribute-rgt-out_binary64_713`
49×	`log-div_binary64_847`
42×	`log-prod_binary64_846`
40×	`+-commutative_binary64_690`
38×	`exp-prod_binary64_812`
37×	`neg-sub0_binary64_755` `distribute-lft-out_binary64_711`
34×	`neg-mul-1_binary64_756`
29×	`distribute-neg-in_binary64_721`
28×	`pow-sqr_binary64_733`
26×	`distribute-rgt-out--_binary64_714`
20×	`associate-+l-_binary64_695`
17×	`pow-plus_binary64_823`
16×	`unpow3_binary64_826`
15×	`difference-of-squares_binary64_729`
13×	`cube-mult_binary64_790`
12×	`distribute-lft-neg-out_binary64_719` `associate-+r+_binary64_692`
11×	`cube-unmult_binary64_797` `distribute-lft-out--_binary64_712` `associate-+r-_binary64_694`
9×	`associate-+l+_binary64_693`
7×	`mul-1-neg_binary64_752`
5×	`distribute-frac-neg_binary64_723` `distribute-rgt-neg-out_binary64_720` `associate-/r/_binary64_706` `associate--r+_binary64_696`
4×	`unsub-neg_binary64_754` `associate--r-_binary64_699`
3×	`unpow2_binary64_825` `unpow1_binary64_818` `*-lft-identity_binary64_749` `count-2_binary64_708` `associate--l+_binary64_697`
2×	`rem-sqrt-square_binary64_773` `cancel-sign-sub_binary64_725`
1×	`prod-exp_binary64_809` `1-exp_binary64_804` `rem-square-sqrt_binary64_772` `-rgt-identity_binary64_750` `remove-double-neg_binary64_748` `+-rgt-identity_binary64_745` `-inverses_binary64_740` `+-inverses_binary64_739` `distribute-neg-out_binary64_722` `associate--l-_binary64_698`
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_1023` `erf-erfc_binary64_1022` `erf-odd_binary64_1021` `if-if-and-not_binary64_1020` `if-if-and_binary64_1019` `if-if-or-not_binary64_1018` `if-if-or_binary64_1017` `if-not_binary64_1016` `if-same_binary64_1015` `if-false_binary64_1014` `if-true_binary64_1013` `not-gte_binary64_1012` `not-lte_binary64_1011` `not-gt_binary64_1010` `not-lt_binary64_1009` `gte-same_binary64_1008` `lte-same_binary64_1007` `gt-same_binary64_1006` `lt-same_binary64_1005` `sinh---cosh_binary64_952` `sinh-+-cosh_binary64_951` `sinh-cosh_binary64_950` `tanh-def-c_binary64_949` `tanh-def-b_binary64_948` `tanh-def-a_binary64_947` `cosh-def_binary64_946` `sinh-def_binary64_945` `tan-neg_binary64_892` `cos-neg_binary64_891` `sin-neg_binary64_890` `tan-0_binary64_889` `cos-0_binary64_888` `sin-0_binary64_887` `hang-m-tan_binary64_886` `hang-p-tan_binary64_885` `hang-m0-tan_binary64_884` `hang-p0-tan_binary64_883` `hang-0m-tan_binary64_882` `hang-0p-tan_binary64_881` `tan-+PI/2_binary64_880` `tan-+PI_binary64_879` `tan-PI_binary64_878` `tan-PI/3_binary64_877` `tan-PI/4_binary64_876` `tan-PI/6_binary64_875` `cos-+PI/2_binary64_874` `cos-+PI_binary64_873` `cos-PI_binary64_872` `cos-PI/2_binary64_871` `cos-PI/3_binary64_870` `cos-PI/4_binary64_869` `cos-PI/6_binary64_868` `sin-+PI/2_binary64_867` `sin-+PI_binary64_866` `sin-PI_binary64_865` `sin-PI/2_binary64_864` `sin-PI/3_binary64_863` `sin-PI/4_binary64_862` `sin-PI/6_binary64_861` `sub-1-sin_binary64_860` `sub-1-cos_binary64_859` `-1-add-sin_binary64_858` `-1-add-cos_binary64_857` `1-sub-sin_binary64_856` `1-sub-cos_binary64_855` `cos-sin-sum_binary64_854` `log-E_binary64_850` `log-pow_binary64_849` `log-rec_binary64_848` `pow-base-0_binary64_844` `unpow1/3_binary64_827` `unpow1/2_binary64_824` `exp-to-pow_binary64_822` `pow-base-1_binary64_820` `unpow0_binary64_819` `unpow-1_binary64_817` `exp-lft-cube_binary64_816` `exp-lft-sqr_binary64_815` `exp-cbrt_binary64_814` `exp-sqrt_binary64_813` `div-exp_binary64_811` `rec-exp_binary64_810` `exp-diff_binary64_808` `exp-neg_binary64_807` `exp-sum_binary64_806` `e-exp-1_binary64_805` `exp-1-e_binary64_803` `exp-0_binary64_802` `rem-log-exp_binary64_801` `rem-exp-log_binary64_800` `cube-neg_binary64_787` `rem-3cbrt-rft_binary64_786` `rem-3cbrt-lft_binary64_785` `rem-cbrt-cube_binary64_784` `rem-cube-cbrt_binary64_783` `sqr-abs_binary64_775` `sqr-neg_binary64_774` `div-sub_binary64_765` `/-rgt-identity_binary64_751` `sub0-neg_binary64_747` `--rgt-identity_binary64_746` `+-lft-identity_binary64_744` `mul0-rgt_binary64_743` `mul0-lft_binary64_742` `div0_binary64_741` `lft-mult-inverse_binary64_738` `rgt-mult-inverse_binary64_737` `remove-double-div_binary64_736` `difference-of-sqr--1_binary64_731` `difference-of-sqr-1_binary64_730` `distribute-rgt1-in_binary64_716` `distribute-lft1-in_binary64_715`

Counts

227 → 801

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	242	8927
1	626	7669
2	2468	7405

prune2.1s (13%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	790	11	801
Fresh	2	1	3
Picked	1	0	1
Done	0	0	0
Total	793	12	805

Error

23.7b

Counts

805 → 12

Compiler

Compiled 67821 to 13038 computations (80.8% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

5.9b	(.f64 (.f64 1/2 w) (.f64 h (.f64 (.f64 M M) (.f64 D D))))
12.7b	(.f64 (/.f64 (/.f64 c0 2) w) (/.f64 (/.f64 (.f64 (.f64 1/2 w) (.f64 h (.f64 (.f64 M M) (.f64 D D)))) c0) (.f64 d d)))
12.8b	(.f64 (.f64 M M) (*.f64 D D))
17.4b	(/.f64 (/.f64 (.f64 (.f64 1/2 w) (.f64 h (.f64 (.f64 M M) (.f64 D D)))) c0) (*.f64 d d))

rewrite913.0ms (5.6%)

Algorithm

1×	rewrite-expression-head

Error

17.8b

Rules

985×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
547×	`prod-exp_binary64_809` `cbrt-unprod_binary64_793`
303×	`div-exp_binary64_811` `cbrt-undiv_binary64_794`
98×	`times-frac_binary64_766`
90×	`pow1_binary64_821`
64×	`add-sqr-sqrt_binary64_782`
59×	`pow-prod-down_binary64_831`
46×	`add-cube-cbrt_binary64_795` `*-un-lft-identity_binary64_760`
45×	`associate-l_binary64_701`
13×	`associate-r_binary64_700`
9×	`div-inv_binary64_757`
7×	`associate-/l*_binary64_705` `unswap-sqr_binary64_728`
4×	`add-log-exp_binary64_799` `pow-prod-up_binary64_830` `pow-plus_binary64_823`
3×	`*-commutative_binary64_691`
2×	`pow2_binary64_841` `pow-sqr_binary64_733`
1×	`frac-2neg_binary64_771` `clear-num_binary64_759` `associate-/l/_binary64_707` `associate-/r_binary64_704` `frac-times_binary64_770` `associate-l/_binary64_703` `associate-*r/_binary64_702`

Counts

4 → 403

Calls

4 calls:

48.0ms	(.f64 (/.f64 (/.f64 c0 2) w) (/.f64 (/.f64 (.f64 (.f64 1/2 w) (.f64 h (.f64 (.f64 M M) (.f64 D D)))) c0) (.f64 d d)))
23.0ms	(/.f64 (/.f64 (.f64 (.f64 1/2 w) (.f64 h (.f64 (.f64 M M) (.f64 D D)))) c0) (*.f64 d d))
17.0ms	(.f64 (.f64 1/2 w) (.f64 h (.f64 (.f64 M M) (.f64 D D))))
9.0ms	(.f64 (.f64 M M) (*.f64 D D))

Compiler

Compiled 18748 to 6151 computations (67.2% saved)

series1.7s (10.3%)

Error

19.8b

Counts

4 → 54

Calls

4 calls:

725.0ms	(/.f64 (/.f64 (.f64 (.f64 1/2 w) (.f64 h (.f64 (.f64 M M) (.f64 D D)))) c0) (*.f64 d d))
537.0ms	(.f64 (/.f64 (/.f64 c0 2) w) (/.f64 (/.f64 (.f64 (.f64 1/2 w) (.f64 h (.f64 (.f64 M M) (.f64 D D)))) c0) (.f64 d d)))
293.0ms	(.f64 (.f64 1/2 w) (.f64 h (.f64 (.f64 M M) (.f64 D D))))
77.0ms	(.f64 (.f64 M M) (*.f64 D D))

Compiler

Compiled 3510 to 3013 computations (14.2% saved)

simplify1.6s (9.8%)

Algorithm

1×	egg-herbie

Rules

696×	`associate-*r/_binary64_702`
667×	`associate-*l/_binary64_703`
599×	`times-frac_binary64_766`
516×	`associate-/r*_binary64_704`
455×	`associate-/l*_binary64_705`
188×	`*-commutative_binary64_691`
182×	`associate-/l/_binary64_707`
87×	`associate-l_binary64_701`
58×	`associate-+l-_binary64_695`
54×	`sub-neg_binary64_753` `associate-r_binary64_700`
46×	`associate-/r/_binary64_706`
38×	`unswap-sqr_binary64_728`
33×	`associate-+r-_binary64_694`
25×	`swap-sqr_binary64_727`
24×	`log-prod_binary64_846`
20×	`exp-prod_binary64_812` `cube-unmult_binary64_797`
16×	`associate-+r+_binary64_692` `+-commutative_binary64_690`
14×	`associate--l-_binary64_698`
13×	`log-div_binary64_847`
12×	`sqr-pow_binary64_732` `associate--l+_binary64_697` `associate--r+_binary64_696`
8×	`neg-mul-1_binary64_756` `neg-sub0_binary64_755` `distribute-rgt-neg-in_binary64_718` `distribute-lft-neg-in_binary64_717` `associate-+l+_binary64_693`
6×	`pow-sqr_binary64_733`
3×	`unpow2_binary64_825` `pow-plus_binary64_823` `*-rgt-identity_binary64_750` `cancel-sign-sub-inv_binary64_726` `count-2_binary64_708`
2×	`/-rgt-identity_binary64_751` `distribute-neg-frac_binary64_724` `distribute-lft-out_binary64_711`
1×	`1-exp_binary64_804` `rem-sqrt-square_binary64_773` `-lft-identity_binary64_749` `-inverses_binary64_740` `distribute-neg-in_binary64_721`
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_1023` `erf-erfc_binary64_1022` `erf-odd_binary64_1021` `if-if-and-not_binary64_1020` `if-if-and_binary64_1019` `if-if-or-not_binary64_1018` `if-if-or_binary64_1017` `if-not_binary64_1016` `if-same_binary64_1015` `if-false_binary64_1014` `if-true_binary64_1013` `not-gte_binary64_1012` `not-lte_binary64_1011` `not-gt_binary64_1010` `not-lt_binary64_1009` `gte-same_binary64_1008` `lte-same_binary64_1007` `gt-same_binary64_1006` `lt-same_binary64_1005` `sinh---cosh_binary64_952` `sinh-+-cosh_binary64_951` `sinh-cosh_binary64_950` `tanh-def-c_binary64_949` `tanh-def-b_binary64_948` `tanh-def-a_binary64_947` `cosh-def_binary64_946` `sinh-def_binary64_945` `tan-neg_binary64_892` `cos-neg_binary64_891` `sin-neg_binary64_890` `tan-0_binary64_889` `cos-0_binary64_888` `sin-0_binary64_887` `hang-m-tan_binary64_886` `hang-p-tan_binary64_885` `hang-m0-tan_binary64_884` `hang-p0-tan_binary64_883` `hang-0m-tan_binary64_882` `hang-0p-tan_binary64_881` `tan-+PI/2_binary64_880` `tan-+PI_binary64_879` `tan-PI_binary64_878` `tan-PI/3_binary64_877` `tan-PI/4_binary64_876` `tan-PI/6_binary64_875` `cos-+PI/2_binary64_874` `cos-+PI_binary64_873` `cos-PI_binary64_872` `cos-PI/2_binary64_871` `cos-PI/3_binary64_870` `cos-PI/4_binary64_869` `cos-PI/6_binary64_868` `sin-+PI/2_binary64_867` `sin-+PI_binary64_866` `sin-PI_binary64_865` `sin-PI/2_binary64_864` `sin-PI/3_binary64_863` `sin-PI/4_binary64_862` `sin-PI/6_binary64_861` `sub-1-sin_binary64_860` `sub-1-cos_binary64_859` `-1-add-sin_binary64_858` `-1-add-cos_binary64_857` `1-sub-sin_binary64_856` `1-sub-cos_binary64_855` `cos-sin-sum_binary64_854` `log-E_binary64_850` `log-pow_binary64_849` `log-rec_binary64_848` `pow-base-0_binary64_844` `unpow1/3_binary64_827` `unpow3_binary64_826` `unpow1/2_binary64_824` `exp-to-pow_binary64_822` `pow-base-1_binary64_820` `unpow0_binary64_819` `unpow1_binary64_818` `unpow-1_binary64_817` `exp-lft-cube_binary64_816` `exp-lft-sqr_binary64_815` `exp-cbrt_binary64_814` `exp-sqrt_binary64_813` `div-exp_binary64_811` `rec-exp_binary64_810` `prod-exp_binary64_809` `exp-diff_binary64_808` `exp-neg_binary64_807` `exp-sum_binary64_806` `e-exp-1_binary64_805` `exp-1-e_binary64_803` `exp-0_binary64_802` `rem-log-exp_binary64_801` `rem-exp-log_binary64_800` `cube-mult_binary64_790` `cube-div_binary64_789` `cube-prod_binary64_788` `cube-neg_binary64_787` `rem-3cbrt-rft_binary64_786` `rem-3cbrt-lft_binary64_785` `rem-cbrt-cube_binary64_784` `rem-cube-cbrt_binary64_783` `sqr-abs_binary64_775` `sqr-neg_binary64_774` `rem-square-sqrt_binary64_772` `div-sub_binary64_765` `unsub-neg_binary64_754` `mul-1-neg_binary64_752` `remove-double-neg_binary64_748` `sub0-neg_binary64_747` `--rgt-identity_binary64_746` `+-rgt-identity_binary64_745` `+-lft-identity_binary64_744` `mul0-rgt_binary64_743` `mul0-lft_binary64_742` `div0_binary64_741` `+-inverses_binary64_739` `lft-mult-inverse_binary64_738` `rgt-mult-inverse_binary64_737` `remove-double-div_binary64_736` `difference-of-sqr--1_binary64_731` `difference-of-sqr-1_binary64_730` `difference-of-squares_binary64_729` `cancel-sign-sub_binary64_725` `distribute-frac-neg_binary64_723` `distribute-neg-out_binary64_722` `distribute-rgt-neg-out_binary64_720` `distribute-lft-neg-out_binary64_719` `distribute-rgt1-in_binary64_716` `distribute-lft1-in_binary64_715` `distribute-rgt-out--_binary64_714` `distribute-rgt-out_binary64_713` `distribute-lft-out--_binary64_712` `distribute-rgt-in_binary64_710` `distribute-lft-in_binary64_709` `associate--r-_binary64_699`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	574	23679
1	1155	16606

Details

analyze1.9s (11.4%)

sample171.0ms (1.1%)

simplify154.0ms (0.9%)

prune20.0ms (0.1%)

localize21.0ms (0.1%)

rewrite475.0ms (2.9%)

series2.0s (12.4%)

simplify5.2s (32.1%)

prune2.1s (13%)

localize19.0ms (0.1%)

rewrite913.0ms (5.6%)

series1.7s (10.3%)

simplify1.6s (9.8%)

end0.0ms (0%)

Profiling