rewrite51.8s (4.9%)

Algorithm

191×	rewrite-expression-head

Rules

1422×	add-exp-log_binary64
1239×	add-exp-log_binary64_3185
1017×	prod-exp_binary64
915×	times-frac_binary64_84
843×	add-sqr-sqrt_binary64_100
808×	times-frac_binary64_2471
706×	*-un-lft-identity_binary64_2465
693×	pow-exp_binary64_3215
688×	prod-exp_binary64_3196
675×	*-un-lft-identity_binary64_1783
653×	add-sqr-sqrt_binary64_2487
639×	add-cbrt-cube_binary64
604×	add-exp-log_binary64_1821
602×	*-un-lft-identity_binary64_78
595×	div-exp_binary64_3198
557×	add-sqr-sqrt_binary64_1805
525×	add-exp-log_binary64_116
514×	add-cube-cbrt_binary64_113
497×	times-frac_binary64_1789
491×	add-cbrt-cube_binary64_114
480×	add-cube-cbrt_binary64_2500
446×	add-sqr-sqrt_binary64_782
435×	add-sqr-sqrt_binary64_2146 times-frac_binary64_1107
433×	add-exp-log_binary64_2162
422×	*-un-lft-identity_binary64_760 *-un-lft-identity_binary64_1101
420×	cbrt-unprod_binary64
402×	add-sqr-sqrt_binary64_1123 associate-*l/_binary64_1385
390×	*-un-lft-identity_binary64_2124
376×	*-un-lft-identity_binary64_2806
365×	add-cube-cbrt_binary64_1818
354×	add-exp-log_binary64_2503
345×	times-frac_binary64_766 add-exp-log_binary64_1139 pow-to-exp_binary64_3216
337×	add-sqr-sqrt_binary64_2828
335×	add-exp-log_binary64_4890
330×	pow1_binary64
306×	times-frac_binary64_3835
300×	times-frac_binary64_2812
298×	flip--_binary64_1417 flip3--_binary64_1446 add-cube-cbrt_binary64_1136
294×	*-un-lft-identity_binary64
282×	times-frac_binary64_2130 add-cube-cbrt_binary64_2159
277×	add-sqr-sqrt_binary64
261×	*-un-lft-identity_binary64_3147
260×	times-frac_binary64_5881
256×	prod-exp_binary64_127
249×	add-cbrt-cube_binary64_1819
248×	cbrt-unprod_binary64_111
246×	prod-exp_binary64_1832
243×	add-cube-cbrt_binary64_795 add-cube-cbrt_binary64_2841
228×	add-sqr-sqrt_binary64_3169
227×	add-cbrt-cube_binary64_1137 add-exp-log_binary64_4549
213×	pow1_binary64_1844
212×	pow-prod-down_binary64
211×	add-sqr-sqrt_binary64_441
201×	pow1_binary64_139 unpow-prod-down_binary64_1862
200×	frac-times_binary64_1452
198×	sqrt-div_binary64_1459
196×	add-cube-cbrt_binary64
194×	frac-add_binary64_1450 add-sqr-sqrt_binary64_3851
191×	*-un-lft-identity_binary64_3829 add-cube-cbrt_binary64_3864
188×	sqrt-prod_binary64_2822
186×	div-exp_binary64_1834
184×	sqrt-prod_binary64_94
182×	sqrt-prod_binary64_2481
178×	prod-exp_binary64_2173
171×	*-un-lft-identity_binary64_419
165×	pow-exp_binary64_1851 div-exp_binary64
163×	prod-exp_binary64_4901
161×	add-sqr-sqrt_binary64_5556
159×	times-frac_binary64
155×	add-cbrt-cube_binary64_2160
154×	pow-to-exp_binary64_1852
153×	pow1_binary64_2526
150×	pow1_binary64_1503
149×	add-cbrt-cube_binary64_2501 add-sqr-sqrt_binary64_1464
145×	associate-*r*_binary64_18
142×	times-frac_binary64_5540
139×	sqrt-prod_binary64_5550
136×	div-exp_binary64_2175 add-exp-log_binary64_5913 cbrt-prod_binary64_2155
133×	add-sqr-sqrt_binary64_5897
128×	add-cube-cbrt_binary64_5910 *-un-lft-identity_binary64_5875
124×	*-un-lft-identity_binary64_1442
123×	prod-exp_binary64_1150 prod-exp_binary64_2514 add-cube-cbrt_binary64_454
121×	pow1_binary64_1162 *-un-lft-identity_binary64_5534 div-exp_binary64_2516
120×	add-cube-cbrt_binary64_1477
118×	pow1_binary64_2185 log-prod_binary64_3233
117×	rec-exp_binary64_3197 1-exp_binary64_3191 add-exp-log_binary64_1480 add-sqr-sqrt_binary64_4874
116×	distribute-lft-out_binary64_1734 add-sqr-sqrt_binary64_4533
114×	times-frac_binary64_4176 add-cube-cbrt_binary64_5569 add-cbrt-cube_binary64_1478
113×	cancel-sign-sub-inv_binary64_1749
111×	sqrt-prod_binary64_1117 add-cube-cbrt_binary64_3182
108×	associate-*l*_binary64_19 difference-of-squares_binary64_729 pow-exp_binary64_2192
107×	pow-to-exp_binary64_2193
105×	associate-*r/_binary64_1384 add-cbrt-cube_binary64_4888
102×	add-log-exp_binary64
101×	prod-exp_binary64_4560
99×	associate-*r*_binary64_2064
98×	div-exp_binary64_4903 associate-*r*_binary64_1723
97×	unpow-prod-down_binary64_2544 times-frac_binary64_3153
96×	add-exp-log_binary64_798 add-exp-log_binary64_457 associate-*r*_binary64_700
95×	add-sqr-sqrt_binary64_4192 div-exp_binary64_129
94×	unpow-prod-down_binary64_2203 pow-exp_binary64_2533 add-cbrt-cube_binary64_455
92×	associate-/r*_binary64_2409 add-cbrt-cube_binary64_5911
89×	associate-/r*_binary64_1727 pow1_binary64_480
88×	difference-of-squares_binary64_47 pow-to-exp_binary64_2534
87×	associate-/l*_binary64_2410 associate-/r*_binary64_22 add-cbrt-cube_binary64_796 add-log-exp_binary64_1822
86×	associate-*r*_binary64
85×	pow1_binary64_2867
83×	associate-*l*_binary64_1724
82×	add-cube-cbrt_binary64_4205 *-un-lft-identity_binary64_4170
81×	sqr-pow_binary64_1755 difference-of-squares_binary64_2434 pow1_binary64_821 log-prod_binary64_1187
80×	associate-/r*_binary64_2068 pow-exp_binary64_4920 cbrt-undiv_binary64_112 unpow-prod-down_binary64_4590 div-exp_binary64_1152
79×	pow-to-exp_binary64_4921 times-frac_binary64_4517
78×	pow1_binary64_3208 *-un-lft-identity_binary64_4511 associate-*r*_binary64_1041
77×	sqrt-div_binary64_2823 cbrt-prod_binary64_1814
76×	add-log-exp_binary64_117
75×	add-log-exp_binary64_2504
74×	add-log-exp_binary64_458 associate-/r*_binary64_1045 associate-/l*_binary64_1728 add-sqr-sqrt_binary64_5215 cbrt-unprod_binary64_1816 add-cbrt-cube_binary64_4547
73×	add-log-exp_binary64_1481 pow-exp_binary64 pow-exp_binary64_4579
72×	associate-*r*_binary64_2746 add-cube-cbrt_binary64_4546 pow1_binary64_4572
71×	*-un-lft-identity_binary64_4852
70×	associate-*l*_binary64_2065 add-exp-log_binary64_2844
69×	add-exp-log_binary64_5231 add-cbrt-cube_binary64_5229
68×	unpow-prod-down_binary64_4931 pow-prod-down_binary64_1854 sqrt-div_binary64_5551
67×	div-exp_binary64_4562
66×	cbrt-unprod_binary64_1134 pow-to-exp_binary64_4580 cancel-sign-sub-inv_binary64_3113
65×	add-cube-cbrt_binary64_4887 add-log-exp_binary64_2163
64×	cancel-sign-sub-inv_binary64_2431 pow1_binary64_4913
63×	add-cbrt-cube_binary64_2842 *-un-lft-identity_binary64_5193
62×	associate-*l*_binary64_1042 associate-*l*_binary64
60×	associate-*l*_binary64_701 difference-of-squares_binary64_3116
59×	distribute-lft-out--_binary64_2417 sqrt-prod_binary64
58×	times-frac_binary64_4858 add-log-exp_binary64_1140 cbrt-undiv_binary64 distribute-lft-out_binary64_2757 associate-/l*_binary64_3774
57×	pow-prod-down_binary64_149
56×	div-exp_binary64_5926
55×	difference-of-squares_binary64_1752 difference-of-squares_binary64_388 log-pow_binary64_1872 times-frac_binary64_425
54×	unswap-sqr_binary64_2092 associate-*l*_binary64_2747 unswap-sqr_binary64_46
52×	associate-*l*_binary64_5475 exp-prod_binary64_1835 unswap-sqr_binary64_1751 add-sqr-sqrt_binary64_3510
51×	add-log-exp_binary64_799
50×	add-log-exp_binary64_3186 flip3-+_binary64_2809 distribute-lft-out_binary64_2416 flip-+_binary64_2780 log-prod_binary64 add-cbrt-cube_binary64_3183 add-log-exp_binary64_2845
49×	sqr-pow_binary64_2437
48×	add-exp-log_binary64_3867 add-cbrt-cube_binary64_3865 associate-*r*_binary64_1382
47×	unpow-prod-down_binary64_3226 cancel-sign-sub-inv_binary64 associate-/l*_binary64_2069 associate-*l*_binary64_360
46×	associate-*r/_binary64_2748 associate-/r*_binary64_704 cancel-sign-sub-inv_binary64_2090 associate-/r*_binary64_4796
45×	distribute-rgt-neg-in_binary64_1059 cbrt-prod_binary64_1473 associate-*r*_binary64_5474 add-cube-cbrt_binary64_5228 distribute-lft-neg-in_binary64_1058 associate-*r/_binary64_5476
44×	cancel-sign-sub-inv_binary64_385 distribute-lft-out--_binary64_30 sqr-pow_binary64_4483 associate-*l*_binary64_1383
43×	associate-/r*_binary64_5819 pow1_binary64_5595
42×	*-un-lft-identity_binary64_3488 flip-+_binary64 sqrt-prod_binary64_2140 flip3-+_binary64 associate-*r*_binary64_4792 cbrt-undiv_binary64_1135
41×	sqrt-div_binary64_1118 associate--r+_binary64_3083
40×	cbrt-unprod_binary64_2157 div-inv_binary64_2462 log-pow_binary64_3236 sqr-pow_binary64_2096 difference-of-squares_binary64_1070 add-cbrt-cube_binary64_5570 add-exp-log_binary64_5572 log-pow_binary64_2554
39×	exp-prod_binary64_2517 unpow-prod-down_binary64_498 pow-prod-down_binary64_1513 cbrt-unprod_binary64_4885
38×	log-div_binary64_3234 cbrt-undiv_binary64_1817 pow-prod-down_binary64_2536
37×	cube-prod_binary64_1811 associate-/l*_binary64_1046 distribute-lft-out--_binary64_712 pow-to-exp_binary64 prod-exp_binary64_5924 add-exp-log_binary64_4208
36×	associate-*l/_binary64_5477 unpow-prod-down_binary64_157 distribute-lft-out--_binary64_3099
35×	distribute-lft-out_binary64 div-inv_binary64_1098 pow-prod-down_binary64_1172 associate-*l/_binary64_2749
34×	associate-/r/_binary64_1729 sqr-pow_binary64_4824 cbrt-undiv_binary64_5909 associate-/r*_binary64_2750
33×	cube-prod_binary64_4880 times-frac_binary64_5199 pow-prod-down_binary64_2195 associate-*r*_binary64_359
32×	unpow-prod-down_binary64_1180 associate-/r/_binary64_2411 associate-/l*_binary64_705 distribute-lft-out_binary64_1052 unswap-sqr_binary64_4820 associate-/l/_binary64_1048 div-inv_binary64_75
31×	cbrt-prod_binary64_450 add-cbrt-cube_binary64_4206 associate--l+_binary64_3084
30×	distribute-lft-out--_binary64_1735 cbrt-undiv_binary64_2158 add-log-exp_binary64_5232 associate-*r*_binary64_4451 prod-exp_binary64_1491
29×	cbrt-unprod_binary64_1475 distribute-lft-neg-in_binary64_2763 frac-add_binary64 cbrt-unprod_binary64_2498 distribute-lft-out_binary64_3098 div-inv_binary64_1780 distribute-rgt-neg-in_binary64_2764 swap-sqr_binary64_2773
28×	unswap-sqr_binary64_2774 distribute-lft-out--_binary64_2076 cube-prod_binary64_2152 cbrt-undiv_binary64_2499 associate-/l*_binary64_2751 associate-*l*_binary64_4793 div-inv_binary64_5872 difference-of-squares_binary64_2093 sqrt-prod_binary64_776
27×	pow1_binary64_5254 sqr-pow_binary64_391 unpow2_binary64_484
26×	difference-of-sqr-1_binary64_2435 flip-+_binary64_3121 flip--_binary64_735 flip3-+_binary64_3150 flip3--_binary64_764 div-inv_binary64_2121 swap-sqr_binary64_1750 sqrt-div_binary64 associate-*r*_binary64_5815 associate-*r*_binary64_4110 associate-*r/_binary64_1043
25×	times-frac_binary64_3494 flip3-+_binary64_5537 unswap-sqr_binary64_4479 frac-times_binary64_2816 flip-+_binary64_5508 distribute-lft-out_binary64_711 frac-sub_binary64 distribute-lft-out_binary64_2075 pow-prod-down_binary64_4582 unswap-sqr_binary64_1069 unpow-prod-down_binary64
24×	flip--_binary64_2440 cbrt-unprod_binary64_4544 frac-times_binary64_5544 sqrt-pow1_binary64_2824 associate-/l*_binary64 frac-sub_binary64_5543 frac-add_binary64_2814
23×	flip3--_binary64_2469 pow-prod-up_binary64_148 cbrt-unprod_binary64_5908 associate-/r*_binary64 associate-/r*_binary64_4455
22×	cube-prod_binary64_2493 flip--_binary64_5509 associate-*r/_binary64_20 associate-/l/_binary64_2753 associate-*l*_binary64_4452 flip-+_binary64_2439 cancel-sign-sub-inv_binary64_726 sqr-pow_binary64_1073 unswap-sqr_binary64 div-inv_binary64_3826 flip3--_binary64_5538
21×	prod-exp_binary64_5242 flip3--_binary64_3151 pow1/3_binary64_2206 pow-prod-down_binary64_4923 flip-+_binary64_1757 flip3-+_binary64_2468 cbrt-unprod_binary64_5226 distribute-neg-frac_binary64_2770 flip3-+_binary64_1786 div-inv_binary64_757 flip--_binary64_3122
20×	cbrt-div_binary64_2497 distribute-lft-neg-in_binary64_2081 cube-prod_binary64_4539 associate-/l/_binary64_5481 cube-prod_binary64 add-log-exp_binary64_4550 distribute-neg-frac_binary64_5498 distribute-rgt-neg-in_binary64_2082 add-log-exp_binary64_4891 pow-prod-down_binary64_2877 distribute-lft-out--_binary64_1053 *-commutative_binary64_1714 flip-+_binary64_1075 sqrt-div_binary64_2141 flip3-+_binary64_1104 associate-/l*_binary64_5479
19×	cancel-sign-sub-inv_binary64_44 associate-/l*_binary64_4456 *-commutative_binary64_9 add-cube-cbrt_binary64_3523 flip--_binary64_2781 div-inv_binary64_2803 sum-log_binary64 pow1_binary64_3890 prod-exp_binary64_468 flip3--_binary64_2810 *-commutative_binary64_1032 associate-/r/_binary64_706 cbrt-unprod_binary64_452 associate-/r*_binary64_4114
18×	cancel-sign-sub-inv_binary64_1408 sqrt-div_binary64_2482 unswap-sqr_binary64_5502 div-sub_binary64_2470 pow1/2_binary64_2886 pow-unpow_binary64_1860 log-div_binary64 cbrt-undiv_binary64_4886 associate-/l*_binary64_23 cbrt-div_binary64_3179 prod-exp_binary64_809 pow-prod-down_binary64_5605 pow-exp_binary64_1169 associate-/l/_binary64_1730
17×	cube-mult_binary64_1813 clear-num_binary64_2464 unpow-prod-down_binary64_1521 flip3--_binary64 difference-of-squares_binary64_3457 distribute-lft-out--_binary64 clear-num_binary64_1782 distribute-neg-frac_binary64_1065 flip--_binary64 frac-2neg_binary64_2476 log-pow_binary64_2213 pow1_binary64_4231 sqrt-prod_binary64_5209 pow-prod-down_binary64_490 flip3--_binary64_82 associate-*l*_binary64_2406 frac-2neg_binary64_1794 flip--_binary64_53 unpow3_binary64_1849 associate-/r/_binary64_2752
16×	*-commutative_binary64_1373 unpow2_binary64_1166 distribute-lft-neg-in_binary64_5491 difference-of-squares_binary64 cos-sum_binary64_2599 tan-quot_binary64_919 associate-*l/_binary64 exp-prod_binary64_2176 flip3--_binary64_2128 log-pow_binary64 frac-2neg_binary64_1112 div-exp_binary64_5244 sin-mult_binary64_1597 pow1_binary64_5936 add-log-exp_binary64_3868 cbrt-undiv_binary64_3863 unswap-sqr_binary64_728 clear-num_binary64_1100 flip3--_binary64_1787 cbrt-undiv_binary64_5227 distribute-rgt-neg-in_binary64_5492 flip--_binary64_2099 div-exp_binary64_3880 frac-add_binary64_1109 cbrt-unprod_binary64_793 flip--_binary64_1758
15×	associate-*l/_binary64_703 associate-/r*_binary64_5478 cube-prod_binary64_1470 div-exp_binary64_811 clear-num_binary64_2123 div-inv_binary64_3144 pow-unpow_binary64_837 frac-2neg_binary64_2135 unpow-prod-down_binary64_839
14×	associate-*r/_binary64 distribute-rgt-in_binary64_2074 associate-/r*_binary64_3773 distribute-lft-in_binary64_2073 div-sub_binary64_1447 sin-diff_binary64_1578 pow1/2_binary64_158 sqrt-pow1_binary64_96 associate-/r/_binary64_1047 associate-*r*_binary64_5133 associate-*l*_binary64_3088 associate-*r/_binary64_1725 cbrt-undiv_binary64_794
13×	unswap-sqr_binary64_2433 sub-neg_binary64_3140 sqr-pow_binary64_50 associate-*l*_binary64_5134 sub-neg_binary64_1776 div-inv_binary64 flip-+_binary64_2098 div-exp_binary64_2857 flip3-+_binary64_2127 unpow3_binary64_2531 distribute-lft-out--_binary64_371 cube-mult_binary64_2495 difference-of-sqr--1_binary64_1754
12×	sub-neg_binary64 distribute-lft-in_binary64_3096 unpow3_binary64_4577 unswap-sqr_binary64_1410 cos-sum_binary64_553 associate--l+_binary64 swap-sqr_binary64_727 cancel-sign-sub-inv_binary64_2772 sub-neg_binary64_753 associate--l+_binary64_2061 frac-sub_binary64_2133 pow-unpow_binary64_4588 log-pow_binary64_4941 exp-prod_binary64_1494 distribute-rgt-in_binary64 pow-to-exp_binary64_1170 pow-pow_binary64_1855 neg-mul-1_binary64_1097 div-exp_binary64_4221 unswap-sqr_binary64_387 log-prod_binary64_2892 cancel-sign-sub-inv_binary64_5159 distribute-rgt-in_binary64_3097 log-pow_binary64_1531 associate-*r*_binary64_2405 cbrt-prod_binary64_3178 cos-mult_binary64_1596 unpow-prod-down_binary64_2885 prod-exp_binary64_2855 cube-mult_binary64_4541 distribute-lft-in_binary64
11×	acos-asin_binary64_2646 flip--_binary64_5168 associate-*r*_binary64_3087 add-log-exp_binary64_4209 sqrt-pow1_binary64_5552 sub-neg_binary64_412 diff-log_binary64_3239 add-log-exp_binary64_3527 exp-prod_binary64_4904 cbrt-unprod_binary64_5567 cosh-undef_binary64_613 distribute-frac-neg_binary64_1064 distribute-lft-out_binary64_370 prod-exp_binary64_5583 associate-*r/_binary64_702 add-log-exp_binary64_5573 diff-log_binary64 diff-log_binary64_1875 *-commutative_binary64_691 pow1/3_binary64_501 *-commutative_binary64_2055 associate-/l*_binary64_4797 associate-*l/_binary64_21 pow-prod-down_binary64_831 flip3--_binary64_5197
10×	sqrt-div_binary64_95 difference-of-sqr--1_binary64_2436 associate-/l*_binary64_5138 associate-/r/_binary64_3093 associate-/l*_binary64_4115 sub-neg_binary64_2458 associate-*r/_binary64_2066 difference-of-squares_binary64_5162 distribute-frac-neg_binary64_2087 associate--l-_binary64_3085 pow-plus_binary64_141 distribute-rgt-neg-out_binary64 associate-*r/_binary64_4453 associate-*l/_binary64_1044 frac-times_binary64_88 distribute-lft-neg-out_binary64_1060 cbrt-undiv_binary64_4545 frac-times_binary64_770 associate-*l/_binary64_3090 *-commutative_binary64 associate-/l*_binary64_5820 *-commutative_binary64_350 associate-/l/_binary64_707 associate-/r*_binary64_363 associate-+l+_binary64
9×	flip--_binary64_394 sqrt-prod_binary64_4186 pow1/2_binary64_2545 pow1/3_binary64_3229 diff-log_binary64_2557 associate-/l/_binary64_4458 cbrt-undiv_binary64_2840 sub-neg_binary64_71 associate-/r/_binary64_4116 pow-prod-up_binary64_1853 frac-sub_binary64_87 div-inv_binary64_4167 cube-mult_binary64_4882 pow-unpow_binary64_3224 pow-unpow_binary64_155 associate-*r/_binary64_361 tan-quot_binary64_1260 frac-times_binary64 flip3--_binary64_423 rem-log-exp_binary64_3188 rem-sqrt-square_binary64_2819 pow-unpow_binary64_2542 pow-unpow_binary64_1519 diff-log_binary64_170 rem-sqrt-square_binary64_2478 sqrt-prod_binary64_1799 unpow3_binary64_4918 sqrt-prod_binary64_1458 pow-sqr_binary64_1756 sub-neg_binary64_2117 sqrt-pow1_binary64_2483 difference-of-sqr-1_binary64_1753
8×	associate-*r/_binary64_2407 sin-sum_binary64_552 cbrt-undiv_binary64_4204 unpow3_binary64_2190 associate-/r*_binary64_5137 diff-log_binary64_852 cos-sum_binary64_1917 sqrt-prod_binary64_3163 associate-*l/_binary64_362 cbrt-unprod_binary64_2839 rem-sqrt-square_binary64_91 difference-of-sqr-1_binary64_730 sqrt-div_binary64_5210 frac-times_binary64_1111 frac-times_binary64_2475 sqrt-div_binary64_3164 pow-sqr_binary64_2438 1-exp_binary64_5919 log-div_binary64_2893 cube-mult_binary64_2154 cube-prod_binary64_2834 add-log-exp_binary64_5914 pow-exp_binary64_146 pow-pow_binary64_4583 pow-prod-up_binary64_2535 rec-exp_binary64_5925 associate-+r+_binary64_3079 flip3-+_binary64_422 flip-+_binary64_393 associate-*r/_binary64_3089
7×	cos-diff_binary64_556 sinh-undef_binary64_612 frac-2neg_binary64_771 sub-neg_binary64_1435 flip3-+_binary64_763 exp-sum_binary64_2852 clear-num_binary64_77 +-commutative_binary64 flip-+_binary64_734 clear-num_binary64_759 swap-sqr_binary64_2091 associate-/l*_binary64_364 frac-2neg_binary64_89 add-cbrt-cube_binary64_3524 div-inv_binary64_4849 add-exp-log_binary64_3526 flip3--_binary64_4174 flip--_binary64_4145 *-commutative_binary64_2737 associate-+r+_binary64_1374 pow-pow_binary64_3219 cbrt-unprod_binary64_3180 distribute-lft-out--_binary64_3440 sqr-pow_binary64_1414
6×	clear-num_binary64_4851 associate-/r/_binary64_5821 frac-2neg_binary64_5886 exp-prod_binary64_2858 associate-/l/_binary64_2412 sqrt-prod_binary64_3504 pow-sqr_binary64_2097 pow-pow_binary64_2537 pow1_binary64_3549 diff-log_binary64_5285 cbrt-undiv_binary64_5568 pow2_binary64_159 sum-log_binary64_510 sub-neg_binary64_5186 cbrt-prod_binary64_1132 rem-log-exp_binary64 associate-+r-_binary64_2399 clear-num_binary64_2805 frac-times_binary64_2134 frac-2neg_binary64_3840 pow1/3_binary64_1524 swap-sqr_binary64_45 flip-+_binary64_1416 sum-log_binary64_2897 log-prod_binary64_1869 cbrt-div_binary64_2156 pow-sqr_binary64_51 clear-num_binary64_3828 frac-2neg_binary64 tan-quot_binary64_3988 flip3--_binary64_1105 div-exp_binary64_5585 difference-of-squares_binary64_4821 frac-2neg_binary64_4863 acos-asin_binary64_1623 div-sub_binary64_1788 log-prod_binary64_1528 frac-sub_binary64_1792 flip--_binary64_1076 associate-/r/_binary64_3775 frac-2neg_binary64_2817 *-commutative_binary64_4783 difference-of-squares_binary64_4480 pow-prod-up_binary64_2194 sqr-pow_binary64 distribute-rgt-in_binary64_1392 clear-num_binary64_5874 cancel-sign-sub-inv_binary64_3454 flip3-+_binary64_1445 clear-num_binary64 swap-sqr_binary64_386 cos-diff_binary64_1920 diff-log_binary64_2216 associate-*l*_binary64_4111 +-commutative_binary64_349 pow-to-exp_binary64_147 difference-of-squares_binary64_2775 rem-cube-cbrt_binary64_1806 distribute-lft-in_binary64_1391 log-pow_binary64_2895 +-commutative_binary64_2736 associate-/r*_binary64_3432 associate--r-_binary64_3086 distribute-lft-out--_binary64_2758
5×	pow1/2_binary64_5614 frac-2neg_binary64_4522 pow-exp_binary64_828 pow-pow_binary64_832 neg-mul-1_binary64_2802 distribute-lft-out--_binary64_5145 pow-plus_binary64_1846 unpow3_binary64_1508 pow-prod-up_binary64_2876 pow1/3_binary64_1865 rem-log-exp_binary64_1142 cbrt-unprod_binary64_4203 div-exp_binary64_470 log-pow_binary64_1190 pow-prod-down_binary64_3218 sqr-pow_binary64_732 associate-/r*_binary64_3091 cos-diff_binary64_2602 sqrt-unprod_binary64_5554 *-commutative_binary64_5465 pow-pow_binary64_150 div-inv_binary64_5531 cbrt-undiv_binary64_453 *-commutative_binary64_4442 sum-log_binary64_3238 div-inv_binary64_4508 clear-num_binary64_4510 prod-exp_binary64_4219 cbrt-undiv_binary64_3181 associate-/r/_binary64_24 sqrt-undiv_binary64_5555 cube-mult_binary64_1472 atan-neg_binary64_2308 pow1/3_binary64_3911 frac-sub_binary64_4520 div-inv_binary64_5190 cbrt-prod_binary64_3860 pow-to-exp_binary64_829
4×	associate-+r+_binary64_2397 frac-add_binary64_4519 pow2_binary64_841 associate--r-_binary64_2745 cos-sum_binary64_1576 flip3--_binary64_4515 pow-prod-down_binary64_5946 unpow-prod-down_binary64_5613 rem-cube-cbrt_binary64_2488 difference-of-sqr-1_binary64_2094 flip--_binary64_3463 associate-*l*_binary64_5816 cancel-sign-sub-inv_binary64_4818 distribute-lft-in_binary64_368 associate-*l/_binary64_2408 sqr-pow_binary64_2778 cube-prod_binary64_1129 associate-/r/_binary64_2070 pow-sqr_binary64_1415 cube-mult_binary64 pow-pow_binary64_1514 distribute-rgt-in_binary64_710 div-inv_binary64_416 pow-plus_binary64_823 pow-sqr_binary64_733 diff-log_binary64_1534 pow1/2_binary64_1181 distribute-lft-out_binary64_5144 log-div_binary64_1188 pow-plus_binary64_2528 frac-add_binary64_3155 pow-prod-up_binary64_4581 sin-cos-mult_binary64_1939 rem-sqrt-square_binary64_2137 associate-/l/_binary64_3776 pow-exp_binary64_1510 diff-log_binary64_511 neg-mul-1_binary64_2120 flip--_binary64_4486 neg-mul-1_binary64_5530 associate-+r+_binary64_351 frac-times_binary64_3157 associate--r+_binary64_2742 associate-/l/_binary64_2071 unpow3_binary64 unswap-sqr_binary64_4138 associate-/r/_binary64_5139 pow-sqr_binary64_4484 sqrt-pow1_binary64_2142 flip3--_binary64_3492 pow-prod-up_binary64_830 associate-/l/_binary64_4117 rem-cube-cbrt_binary64_4534 pow-sqr_binary64_4825 log-pow_binary64_508 sqrt-div_binary64_777 distribute-rgt-in_binary64_369 associate--l+_binary64_697 cbrt-prod_binary64_2496 frac-add_binary64_1791 log-prod_binary64_505 sqrt-pow1_binary64_1119 sin-sum_binary64_1916 pow-prod-up_binary64_1512 *-commutative_binary64_2396 associate-/l*_binary64_3092 distribute-lft-in_binary64_709 pow-prod-up_binary64_4922 sqrt-pow1_binary64_5211 pow1/3_binary64_2547 sub-neg_binary64_2799 pow1/2_binary64_2204 associate-/r/_binary64_365 cancel-sign-sub-inv_binary64_4477 rem-sqrt-square_binary64_5206 diff-log_binary64_2898 pow-prod-down_binary64_5264 pow1/2_binary64_5273 associate-*r/_binary64_5817
3×	associate-*r*_binary64_3769 rem-sqrt-square_binary64_1114 clear-num_binary64_5192 rem-sqrt-square_binary64_4183 clear-num_binary64_5533 associate-/r/_binary64_3434 cos-diff_binary64_1579 log-prod_binary64_2551 pow-to-exp_binary64_1511 distribute-lft-in_binary64_1732 pow-unpow_binary64_2201 cos-atan_binary64_4008 rem-sqrt-square_binary64_1455 log-prod_binary64_4938 sum-log_binary64_1874 sqrt-prod_binary64_3845 associate-/l*_binary64_3433 associate-/l/_binary64_366 rec-exp_binary64_128 pow2_binary64_1864 associate--r+_binary64 exp-prod_binary64_471 sqrt-unprod_binary64_2826 prod-exp_binary64_3878 cos-neg_binary64_1232 cbrt-unprod_binary64_3862 *-commutative_binary64_3078 associate-*l/_binary64_1726 distribute-lft-neg-out_binary64 distribute-frac-neg_binary64_2428 difference-of-squares_binary64_4139 flip-+_binary64_5167 distribute-rgt-in_binary64_1733 pow1/2_binary64_1522 distribute-lft-out--_binary64_4463 sqrt-prod_binary64_4527 flip3--_binary64_4856 distribute-lft-out--_binary64_4804 pow1/2_binary64_4250 acos-neg_binary64_2648 sqrt-pow1_binary64_4188 frac-2neg_binary64_4181 associate-/l/_binary64 log-prod_binary64_2210 sqrt-prod_binary64_4868 associate-*l*_binary64_3770 +-commutative_binary64_2054 inv-pow_binary64_3232 associate--r+_binary64_1719 unswap-sqr_binary64_3115 atan-neg_binary64_1285 cos-atan_binary64_1280 sum-log_binary64_2556 sin-mult_binary64_1938 pow-sqr_binary64_2779 distribute-lft-neg-in_binary64 pow-flip_binary64_3221 distribute-rgt-out_binary64_713 sqr-pow_binary64_3119 distribute-lft-out_binary64_5485 1-exp_binary64_122 distribute-rgt-neg-in_binary64 sum-log_binary64_2215 frac-2neg_binary64_5545 div-sub_binary64_765 pow-unpow_binary64_4929 sqrt-pow1_binary64_1460 unpow2_binary64_825 frac-sub_binary64_1451 pow-unpow_binary64_1178 clear-num_binary64_4169 rem-cbrt-cube_binary64_1466 pow-plus_binary64_2187 frac-2neg_binary64_5204 associate-+l-_binary64 flip--_binary64_4827 +-commutative_binary64_3077 flip3-+_binary64_5196 associate-/l/_binary64_5822 associate-+l+_binary64_3080
2×	unswap-sqr_binary64_5161 sub-div_binary64_85 pow1/3_binary64_1183 sqrt-pow1_binary64_3165 sub-neg_binary64_3481 sum-log_binary64_1533 associate-/l/_binary64_4799 div-sub_binary64_4175 associate-+l-_binary64_3082 1-exp_binary64_4214 pow-sqr_binary64_3120 rec-exp_binary64_2856 associate--l+_binary64_1720 associate-/r/_binary64_5480 pow1/2_binary64_3227 pow1/2_binary64 sub-neg_binary64_4504 inv-pow_binary64_2550 pow2_binary64_2546 sqrt-pow1_binary64 *-commutative_binary64_5124 sum-cubes_binary64 pow-plus_binary64_4915 diff-log_binary64_4944 unpow2_binary64 pow-prod-up_binary64_489 pow-plus_binary64_1505 associate-/l/_binary64_5140 frac-2neg_binary64_430 frac-2neg_binary64_3158 rec-exp_binary64_4220 unswap-sqr_binary64_5843 difference-of-sqr-1_binary64 sqrt-div_binary64_1800 diff-log_binary64_4603 pow-prod-down_binary64_4241 sqr-abs_binary64_93 unpow2_binary64_1507 rec-exp_binary64_2515 rem-log-exp_binary64_2847 rem-exp-log_binary64_2846 pow-sqr_binary64_392 associate--r-_binary64 flip3-+_binary64_4514 pow2_binary64_2205 associate-+r-_binary64_3081 sin-diff_binary64_555 pow-flip_binary64_2539 pow-pow_binary64_4924 rem-cube-cbrt_binary64_4875 associate-*r/_binary64_4112 sqrt-div_binary64_3846 associate-/l/_binary64_25 pow3_binary64_161 associate--r-_binary64_2404 1-exp_binary64_2509 flip-+_binary64_4485 un-div-inv_binary64_5873 rem-cube-cbrt_binary64_2147 clear-num_binary64_3146 pow-pow_binary64_2196 pow-prod-up_binary64_3217 sub-neg_binary64_4845 exp-diff_binary64_1490 rem-cube-cbrt_binary64_1465 pow-exp_binary64_2874 associate--l-_binary64 distribute-rgt-out--_binary64_714 diff-log_binary64_3580 div-inv_binary64_3485 distribute-rgt-neg-out_binary64_2084 sqrt-div_binary64_3505 rec-exp_binary64_2174 pow-to-exp_binary64_2875 sub-div_binary64_1449 associate-/r/_binary64 clear-num_binary64_418 cube-mult_binary64_2836 unpow2_binary64_143 div-sub_binary64_4516 associate-*r/_binary64_3771 div-sub_binary64_2129 1-exp_binary64_2168 pow-plus_binary64_4574 +-commutative_binary64_2395 unpow3_binary64_2872 *-commutative_binary64_5806 distribute-neg-frac_binary64_2088 1-exp_binary64_2850 rem-log-exp_binary64_1483 sqr-abs_binary64_2821 difference-of-sqr-1_binary64_2776 *-commutative_binary64_4101 difference-of-squares_binary64_1411 swap-sqr_binary64_2432
1×	frac-2neg_binary64_3499 exp-sum_binary64_465 sqrt-pow1_binary64_1801 exp-diff_binary64_2854 pow-plus_binary64_3210 distribute-rgt1-in_binary64_716 associate-*l/_binary64_5136 pow-plus_binary64_482 div-sub_binary64_4857 pow2_binary64_4933 unsub-neg_binary64 diff-log_binary64_4262 *-commutative_binary64_3760 div-sub_binary64_424 mul0-rgt_binary64 rem-log-exp_binary64_1824 cbrt-undiv_binary64_3522 frac-times_binary64_1793 distribute-lft-out_binary64_1393 pow2_binary64_2887 pow-pow_binary64_1173 frac-times_binary64_5203 unpow2_binary64_1848 distribute-rgt-neg-out_binary64_1061 rem-sqrt-square_binary64_773 clear-num_binary64_3487 associate-+l+_binary64_1716 rem-square-sqrt_binary64_2818 rem-exp-log_binary64_1482 pow-flip_binary64_4244 cbrt-div_binary64_1815 sqrt-pow1_binary64_3847 rem-sqrt-square_binary64_1796 tanh-def-b_binary64_607 sinh-undef_binary64_3340 sum-log_binary64_851 cube-mult_binary64_1131 associate--l+_binary64_1379 cancel-sign-sub-inv_binary64_4136 sum-log_binary64_5284 sub-neg_binary64_4163 div-sub_binary64_83 rem-sqrt-square_binary64_3842 tanh-undef_binary64_614 pow-plus_binary64_2869 pow1/2_binary64_1863 distribute-lft-out--_binary64_1394 sin-mult_binary64_574 pow1/2_binary64_3568 +-commutative_binary64_5123 distribute-frac-neg_binary64_2769 un-div-inv_binary64_758 rem-log-exp_binary64_2506 pow2_binary64_1523 inv-pow_binary64_5960 pow-flip_binary64_152 neg-sub0_binary64_2801 +-commutative_binary64_690 flip3-+_binary64_3491 log-div_binary64_1529 rem-sqrt-square_binary64_5547 asin-acos_binary64_1622 +-commutative_binary64_1713 frac-add_binary64_768 tanh-def-c_binary64_608 associate--l-_binary64_2062 pow2_binary64_500 sqrt-pow1_binary64_3506 associate-+r-_binary64_1376 neg-sub0_binary64_5529 rem-log-exp_binary64_4893 rem-log-exp_binary64_2165 swap-sqr_binary64_1409 distribute-lft-out--_binary64_5486 distribute-frac-neg_binary64_5497 pow-flip_binary64_2198 tanh-def-a_binary64_606 div-exp_binary64_3539 difference-of-sqr-1_binary64_3458 1-exp_binary64_804 pow1/2_binary64_840 div-sub_binary64_2811 flip3-+_binary64_3832 inv-pow_binary64_163 neg-sub0_binary64_2119 div-sub_binary64_1106 inv-pow_binary64_2209 sinh-def_binary64_604 pow2_binary64_1182 inv-pow_binary64_2891 pow-flip_binary64_2880 sqr-cos-a_binary64_1591 pow-prod-down_binary64_3900 neg-sub0_binary64_1096 distribute-rgt-out--_binary64_3442 swap-sqr_binary64_4478 pow2_binary64_3228 flip-+_binary64_3803 +-commutative_binary64_1031 sum-log_binary64_3579 +-commutative_binary64_1372 distribute-lft-out_binary64_3439 rec-exp_binary64_810 frac-add_binary64_2132 neg-mul-1_binary64 unpow3_binary64_1167 sqrt-pow1_binary64_778 sum-log_binary64_1192 associate-*r/_binary64_5135 +-commutative_binary64_3418 rem-sqrt-square_binary64_3501 div-sub_binary64_5198 sin-diff_binary64_1919 frac-sub_binary64_2474 pow2_binary64_4592 associate--l-_binary64_1721 flip-+_binary64_3462 div-sub_binary64_5539 unpow2_binary64_4576 rem-log-exp_binary64_460 pow-flip_binary64_5949 inv-pow_binary64_4255 pow1/2_binary64_3909 swap-sqr_binary64_4819 unswap-sqr_binary64_3797 associate-*l/_binary64_2067

Counts

638 → 17408

Calls

384 calls:

307.0ms	(*.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1)))))))
278.0ms	(-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) PI.f64)) (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) PI.f64)) (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))))) (*.f64 x-scale y-scale)) 2))))
87.0ms	(/.f64 (*.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
72.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
68.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))

Compiler

Compiled 773595 to 410899 computations (46.9% saved)