rewrite53.7s (4.8%)

Algorithm

196×	rewrite-expression-head

Rules

3877×	add-exp-log_binary64
2802×	prod-exp_binary64
2013×	times-frac_binary64_2471
1782×	sqrt-prod_binary64_2481
1640×	add-cbrt-cube_binary64
1314×	add-sqr-sqrt_binary64_2487
1220×	add-exp-log_binary64_6595
1181×	*-un-lft-identity_binary64_2465
1150×	cbrt-unprod_binary64
1071×	add-cube-cbrt_binary64_2500
793×	times-frac_binary64_84
703×	*-un-lft-identity_binary64_2124
693×	add-sqr-sqrt_binary64_100
692×	pow-exp_binary64_6625
691×	prod-exp_binary64_6606
627×	div-exp_binary64
593×	div-exp_binary64_6608
545×	*-un-lft-identity_binary64_78
506×	*-un-lft-identity_binary64_1101
505×	times-frac_binary64_1107
495×	add-exp-log_binary64_1821
472×	add-sqr-sqrt_binary64_1123
469×	add-sqr-sqrt_binary64_2146
464×	*-un-lft-identity_binary64
445×	add-cube-cbrt_binary64_113
444×	associate-*r*_binary64_2405
441×	times-frac_binary64_2130
432×	add-sqr-sqrt_binary64
425×	add-exp-log_binary64_2503
420×	add-sqr-sqrt_binary64_782
400×	times-frac_binary64_766
395×	*-un-lft-identity_binary64_760
363×	times-frac_binary64
344×	pow-to-exp_binary64_6626
334×	add-exp-log_binary64_2162
322×	add-sqr-sqrt_binary64_1805
321×	pow1_binary64
320×	add-exp-log_binary64_1480
319×	add-cube-cbrt_binary64_1136
308×	add-cube-cbrt_binary64_795
305×	add-sqr-sqrt_binary64_2828
294×	times-frac_binary64_5540
280×	add-cube-cbrt_binary64
277×	*-un-lft-identity_binary64_2806
268×	add-exp-log_binary64_1139
265×	add-cube-cbrt_binary64_2159
260×	add-exp-log_binary64_4549
257×	*-un-lft-identity_binary64_1783
251×	add-sqr-sqrt_binary64_441
241×	add-sqr-sqrt_binary64_1464
234×	*-un-lft-identity_binary64_5875
220×	cbrt-undiv_binary64 times-frac_binary64_2812
212×	pow-prod-down_binary64
210×	times-frac_binary64_1789
209×	*-un-lft-identity_binary64_3488
208×	add-cbrt-cube_binary64_1819
202×	add-cube-cbrt_binary64_1818
200×	prod-exp_binary64_1832
195×	add-exp-log_binary64_457
193×	add-cube-cbrt_binary64_2841
188×	add-sqr-sqrt_binary64_3510
183×	*-un-lft-identity_binary64_419
181×	add-sqr-sqrt_binary64_5556 add-cbrt-cube_binary64_2501
179×	add-cube-cbrt_binary64_5569 *-un-lft-identity_binary64_5534
173×	pow-exp_binary64
172×	pow1_binary64_1844
171×	*-un-lft-identity_binary64_1442
169×	pow1_binary64_2185
168×	cbrt-prod_binary64_5224
167×	times-frac_binary64_5881 add-cbrt-cube_binary64_1478
166×	unpow-prod-down_binary64_2544
163×	add-exp-log_binary64_2844
162×	add-sqr-sqrt_binary64_5897
158×	pow1_binary64_1503
156×	add-cube-cbrt_binary64_1477
152×	add-sqr-sqrt_binary64_5215
150×	cbrt-prod_binary64
149×	prod-exp_binary64_2514
147×	add-cbrt-cube_binary64_1137
144×	associate-*l/_binary64_4113 sqrt-prod_binary64_5550
143×	div-exp_binary64_1834 associate-/r*_binary64_2409 div-exp_binary64_2516
142×	add-exp-log_binary64_116
141×	add-cube-cbrt_binary64_454
139×	add-cbrt-cube_binary64_2160
133×	prod-exp_binary64_2173
131×	add-cbrt-cube_binary64_2842
130×	add-cbrt-cube_binary64_455
128×	add-cube-cbrt_binary64_5910
127×	pow-exp_binary64_1851 log-prod_binary64_1187
123×	pow1_binary64_139 sqrt-prod_binary64_94 add-exp-log_binary64_798
122×	add-cube-cbrt_binary64_3523 associate-/l*_binary64_2410
121×	distribute-lft-out_binary64_2075 pow1_binary64_2526 add-cbrt-cube_binary64_114
120×	*-un-lft-identity_binary64_6557 prod-exp_binary64_1491
119×	pow-to-exp_binary64_1852
116×	1-exp_binary64_6601 rec-exp_binary64_6607 unpow-prod-down_binary64_1862
115×	flip3--_binary64_4174 flip--_binary64_4145
114×	prod-exp_binary64_4560
113×	add-cbrt-cube_binary64_796
112×	times-frac_binary64_5199
110×	unpow-prod-down_binary64_2203
109×	sqrt-prod_binary64_1117
108×	add-sqr-sqrt_binary64_6579
105×	pow1_binary64_821 add-sqr-sqrt_binary64_3169
103×	div-exp_binary64_2175
102×	*-un-lft-identity_binary64_5193 add-cube-cbrt_binary64_5228
101×	pow1_binary64_480
100×	difference-of-squares_binary64_47 add-log-exp_binary64_1822
99×	times-frac_binary64_3494
98×	sqrt-prod_binary64_5891
97×	add-cbrt-cube_binary64_4547
95×	add-log-exp_binary64
93×	sqrt-prod_binary64_2140 log-prod_binary64_3574
92×	associate-*r*_binary64_2746
91×	prod-exp_binary64_1150 pow-exp_binary64_2192
88×	pow-exp_binary64_2533 pow-to-exp_binary64_2193
87×	cbrt-prod_binary64_4201 pow-to-exp_binary64
84×	pow-to-exp_binary64_2534 pow1_binary64_1162 associate-/r*_binary64_22 associate-*l*_binary64_360
82×	add-sqr-sqrt_binary64_4533
81×	add-log-exp_binary64_458 div-exp_binary64_4562 pow1_binary64_4913
80×	add-exp-log_binary64_4890 add-cbrt-cube_binary64_4888
79×	add-log-exp_binary64_1481 unpow-prod-down_binary64_1180
78×	*-un-lft-identity_binary64_3147
77×	*-un-lft-identity_binary64_3829 distribute-lft-out--_binary64_2076 pow-exp_binary64_1510 associate-*l*_binary64
75×	associate-*r*_binary64_18
74×	unpow-prod-down_binary64_1521 add-log-exp_binary64_117 prod-exp_binary64_468
73×	add-sqr-sqrt_binary64_4192 sqrt-div_binary64_2141
72×	cancel-sign-sub-inv_binary64_2090 associate-/r*_binary64_2068 associate-/l*_binary64_1728 *-un-lft-identity_binary64_6216 pow1_binary64_4572 frac-times_binary64_4180
71×	div-exp_binary64_1493
70×	sqrt-prod_binary64_3163 sqrt-div_binary64_2482 difference-of-squares_binary64_1070 cbrt-prod_binary64_5906
69×	associate-*r*_binary64_700 flip3-+_binary64_2127 flip-+_binary64_2098 associate-*r*_binary64_1382
68×	pow-to-exp_binary64_1511 *-un-lft-identity_binary64_4170 associate-*l*_binary64_2747 div-exp_binary64_1152
67×	times-frac_binary64_1448
66×	sqr-pow_binary64_2437 sqrt-div_binary64_4187
64×	frac-add_binary64_4178
63×	pow1_binary64_4231 associate-*l*_binary64_701 pow-exp_binary64_4579 difference-of-squares_binary64_2093 times-frac_binary64_425
62×	difference-of-squares_binary64 sqr-pow_binary64_1755 associate-*r*_binary64 associate-*l*_binary64_1383 associate-*r*_binary64_5133 add-cube-cbrt_binary64_6592
61×	add-log-exp_binary64_2163 associate-/r*_binary64_1727
59×	*-un-lft-identity_binary64_4511 add-log-exp_binary64_2504 pow-to-exp_binary64_4580
58×	unpow-prod-down_binary64_498 pow1_binary64_3549
57×	unswap-sqr_binary64_2433 add-cube-cbrt_binary64_3182
56×	add-exp-log_binary64_3526
55×	difference-of-squares_binary64_388 div-inv_binary64_2462 pow-prod-down_binary64_2195 associate-*r*_binary64_359 add-log-exp_binary64_2845
54×	associate-*r/_binary64_2066 associate-/l*_binary64_705 sqrt-prod_binary64_776
53×	cancel-sign-sub-inv_binary64_2772 add-cube-cbrt_binary64_4546 cancel-sign-sub-inv_binary64_726 cbrt-unprod_binary64_1816 add-log-exp_binary64_799
52×	associate-*l*_binary64_1042 associate-*r*_binary64_1041 add-sqr-sqrt_binary64_3851 add-sqr-sqrt_binary64_6238
51×	add-log-exp_binary64_1140 associate-*r*_binary64_1723 distribute-lft-out_binary64_1052
50×	times-frac_binary64_3835 distribute-lft-out--_binary64_30 add-cbrt-cube_binary64_3524 distribute-lft-out_binary64_5826 times-frac_binary64_4517
49×	times-frac_binary64_6563
48×	associate-/l*_binary64_2069 log-prod_binary64_6643 associate-/r*_binary64_1045 flip3--_binary64_2128 distribute-rgt-neg-in_binary64_1059 pow1_binary64_2867 flip--_binary64_2099
47×	add-log-exp_binary64_3527 add-log-exp_binary64_3186
46×	distribute-lft-out_binary64 cube-prod_binary64_2152 difference-of-squares_binary64_729 pow-prod-down_binary64_1854 add-sqr-sqrt_binary64_4874 associate-*r/_binary64_2407
45×	unpow-prod-down_binary64_839 div-exp_binary64_2857
44×	sqr-pow_binary64_1414 frac-times_binary64_2134 associate-*l/_binary64_2067 associate-/r*_binary64 distribute-lft-neg-in_binary64_1058 difference-of-squares_binary64_2434 associate-/l/_binary64_2071 add-cube-cbrt_binary64_6251 prod-exp_binary64_2855
43×	cbrt-unprod_binary64_1475 cbrt-undiv_binary64_2840 cancel-sign-sub-inv_binary64 associate-*r*_binary64_2064
42×	pow1_binary64_6618 associate-+r+_binary64_1033 pow-prod-down_binary64_1513 cbrt-undiv_binary64_2499 sqrt-prod_binary64_2822 sqr-pow_binary64_2096
41×	associate-/r*_binary64_4455 difference-of-squares_binary64_3457 add-cbrt-cube_binary64_6593 distribute-lft-out--_binary64_2417 unpow-prod-down_binary64_4590 cbrt-unprod_binary64_452 unswap-sqr_binary64_1751
40×	cbrt-unprod_binary64_2498 associate-*l*_binary64_2065 pow-prod-down_binary64_4923 log-pow_binary64_2213 cbrt-unprod_binary64_4885 prod-exp_binary64_4901 times-frac_binary64_6222
39×	difference-of-squares_binary64_1752 exp-prod_binary64_2176 pow1_binary64_3208 associate-*l*_binary64_1724 associate-*l*_binary64_2406
38×	add-cube-cbrt_binary64_4205 add-cube-cbrt_binary64_3864 associate-*r/_binary64_4112 cbrt-prod_binary64_2155
37×	cube-prod_binary64_1811 unswap-sqr_binary64_1410 add-exp-log_binary64_3185 add-log-exp_binary64_6596 cancel-sign-sub-inv_binary64_2431
36×	cbrt-unprod_binary64_1134 add-cube-cbrt_binary64_4887 cbrt-unprod_binary64_2839 cancel-sign-sub-inv_binary64_385 frac-sub_binary64_2133 *-un-lft-identity_binary64_4852 sqr-pow_binary64_391 unpow-prod-down_binary64_6636 unpow-prod-down_binary64_2885
35×	cube-prod_binary64_2493 associate-*l*_binary64_19 distribute-lft-out--_binary64_1053
34×	cbrt-unprod_binary64_2157 associate-/l*_binary64_1046 associate-*l/_binary64_2408 cbrt-undiv_binary64_1817 pow-prod-down_binary64_2536 cancel-sign-sub-inv_binary64_1749 add-exp-log_binary64_5231
33×	flip3-+_binary64 associate-/r*_binary64_5819 cancel-sign-sub-inv_binary64_1408 flip--_binary64_2440 flip-+_binary64 associate--l+_binary64_3425
32×	flip3--_binary64_2469 cbrt-unprod_binary64_4544 unpow-prod-down_binary64_3567 div-inv_binary64_757 sqr-pow_binary64_3460 div-inv_binary64_1098 sqrt-prod_binary64_1799 distribute-lft-out_binary64_3439
31×	sqrt-prod_binary64_3845 associate-/l*_binary64_5479 add-cbrt-cube_binary64_3183 associate-/l*_binary64 unswap-sqr_binary64_2092 cancel-sign-sub-inv_binary64_6523
30×	flip3--_binary64 unswap-sqr_binary64_2774 cbrt-prod_binary64_450 flip--_binary64 associate-*l*_binary64_4793 pow-unpow_binary64_837 add-exp-log_binary64_4208
29×	distribute-lft-neg-in_binary64_2081 swap-sqr_binary64_5842 distribute-lft-out--_binary64 sqrt-div_binary64_1118 associate-/r*_binary64_1386 associate-/l*_binary64_2751 pow1_binary64_5936 distribute-rgt-neg-in_binary64_2082
28×	cbrt-div_binary64_4202 unpow2_binary64_484 flip-+_binary64_2439 associate-*r*_binary64_3087 cbrt-prod_binary64_3519 cube-prod_binary64_3516 cbrt-undiv_binary64_1135
27×	swap-sqr_binary64 add-cbrt-cube_binary64_4206 log-pow_binary64_1190 flip3-+_binary64_2468 prod-exp_binary64_127 associate-/r/_binary64
26×	exp-prod_binary64_2858 flip--_binary64_1758 associate-*r*_binary64_4792 flip3--_binary64_1787
25×	cancel-sign-sub-inv_binary64_3454 sqr-pow_binary64_1073 frac-add_binary64_2132 frac-sub_binary64_2474
24×	log-prod_binary64_3915 cube-prod_binary64_5903 unpow-prod-down_binary64_5954 pow-prod-down_binary64_4582 associate-/l/_binary64_2412 add-log-exp_binary64_6255 add-exp-log_binary64_6254 frac-times_binary64_2475 cbrt-unprod_binary64_111 sqrt-div_binary64_2823 unswap-sqr_binary64_387 add-cbrt-cube_binary64_5911 div-inv_binary64_75 div-exp_binary64_129
23×	difference-of-squares_binary64_3116 associate-/l/_binary64_1048 div-exp_binary64_470 associate-*r/_binary64_702 cancel-sign-sub-inv_binary64_3113 add-exp-log_binary64_5913 distribute-lft-out_binary64_2757 associate-/l/_binary64_1730 associate--l+_binary64_6494
22×	clear-num_binary64_2464 add-cbrt-cube_binary64_5570 cbrt-undiv_binary64_2158 div-inv_binary64_2121 frac-2neg_binary64_2476 distribute-lft-out--_binary64_2758 div-sub_binary64_1788 associate--r+_binary64_6493 pow-prod-down_binary64_490 prod-exp_binary64_809 pow-exp_binary64_1169 add-exp-log_binary64_5572 cbrt-unprod_binary64_793
21×	div-inv_binary64 associate-*l*_binary64_5816 sqr-pow_binary64_4483 associate-*r*_binary64_5815 flip-+_binary64_1075 distribute-neg-frac_binary64_2088 flip3-+_binary64_1104
20×	distribute-neg-frac_binary64_2429 cube-prod_binary64_4539 add-log-exp_binary64_4550 unswap-sqr_binary64_5161 sin-sum_binary64_1575 pow-prod-down_binary64_4241 associate-/r/_binary64_2070 div-inv_binary64_2803 div-inv_binary64_1780 log-div_binary64_3575 flip3-+_binary64_3491 sqrt-div_binary64_3164 add-log-exp_binary64_5914 log-pow_binary64_3577 difference-of-squares_binary64_6526 flip-+_binary64_3462 add-cbrt-cube_binary64_5229
19×	unpow2_binary64_1166 associate-*r/_binary64_20 pow-prod-down_binary64_149 pow1_binary64_5254 associate-/r*_binary64_704 cbrt-undiv_binary64_4545 unswap-sqr_binary64_1069
18×	sqrt-pow1_binary64_3165 associate-*r/_binary64 associate-/l*_binary64_1387 cbrt-prod_binary64_1132 flip--_binary64_735 associate-/r/_binary64_5821 associate-/r*_binary64_5478 flip3--_binary64_764 cbrt-prod_binary64_2837 associate-*l*_binary64_5134 diff-log_binary64_1875 associate-/l*_binary64_23 exp-prod_binary64_1153 associate-/r/_binary64_1047 unswap-sqr_binary64 associate-/r*_binary64_2750 *-commutative_binary64_1373 pow-unpow_binary64_1519 pow-prod-down_binary64_831 unswap-sqr_binary64_46
17×	cube-mult_binary64_1813 sqrt-prod_binary64_3504 flip3--_binary64_3151 flip3-+_binary64_2809 distribute-lft-out--_binary64_712 distribute-neg-frac_binary64_1065 div-exp_binary64_811 flip-+_binary64_2780 sqr-pow_binary64_732 sqrt-div_binary64_777 add-log-exp_binary64_4891 associate-*l*_binary64_3429 unpow-prod-down_binary64 flip--_binary64_3122 unpow3_binary64_1849 cbrt-undiv_binary64_794 associate-*r/_binary64_1043
16×	associate-*l/_binary64_703 distribute-lft-in_binary64_6506 distribute-rgt-in_binary64_6507 associate-/l*_binary64_4456 unpow-prod-down_binary64_6295 cancel-sign-sub-inv_binary64_44 cube-prod_binary64_1129 distribute-rgt-neg-in_binary64_2423 sub-neg_binary64_1776 tan-quot_binary64_919 cube-prod_binary64_6244 associate-*r*_binary64_3428 distribute-rgt-in_binary64 pow1/2_binary64_158 flip3--_binary64_82 unpow3_binary64_2531 sqrt-pow1_binary64_2142 distribute-lft-out_binary64_3780 sqrt-pow1_binary64_96 frac-times_binary64_770 cube-mult_binary64_2495 flip--_binary64_53 distribute-lft-neg-in_binary64_2422 frac-add_binary64_1109 frac-sub_binary64_2815 distribute-lft-in_binary64 sqrt-pow1_binary64_2483 associate--l+_binary64_2743
15×	flip--_binary64_2781 *-commutative_binary64_350 add-cbrt-cube_binary64_6252 pow-pow_binary64_2878 cube-prod_binary64_1470 associate-*l/_binary64 cos-atan_binary64_1621 clear-num_binary64_1782 flip-+_binary64_5849 associate-*l*_binary64_6498 sum-log_binary64 pow-unpow_binary64_1860 pow1_binary64_3890 pow1_binary64_6277 flip3--_binary64_2810 frac-2neg_binary64_1794 pow-unpow_binary64_3565 frac-times_binary64 associate-/l*_binary64_5820 difference-of-squares_binary64_2775 unpow2_binary64_825 flip3-+_binary64_5878 distribute-rgt-in_binary64_2756 sin-diff_binary64_1919 distribute-lft-out--_binary64_3440 distribute-lft-in_binary64_2755
14×	log-prod_binary64_6302 distribute-lft-out--_binary64_4122 associate-+r+_binary64_3420 distribute-lft-out--_binary64_1735 pow-prod-up_binary64_148 flip-+_binary64_6531 associate-/l/_binary64_4458 cbrt-undiv_binary64_1476 frac-sub_binary64 distribute-lft-out_binary64_2416 cos-atan_binary64_939 associate-*l*_binary64_4452 clear-num_binary64_2123 associate-*r/_binary64_6499 flip3-+_binary64_6560 pow-to-exp_binary64_1170 distribute-lft-out_binary64_6508 associate-*r/_binary64_4453 cbrt-undiv_binary64_112 sqrt-prod_binary64 associate-*r*_binary64_6497 associate-*r*_binary64_4110 frac-2neg_binary64_2135 associate-*r/_binary64_1725
13×	associate-*r/_binary64_2748 difference-of-sqr--1_binary64_2095 add-log-exp_binary64_4209 associate-*r/_binary64_1384 difference-of-squares_binary64_1411 distribute-lft-out_binary64_6167 distribute-lft-out_binary64_1734 associate-/l*_binary64_3433 difference-of-sqr-1_binary64_2094 add-log-exp_binary64_5232 distribute-lft-out_binary64_711 associate-/r/_binary64_2411 associate-/r*_binary64_5137 associate--r+_binary64_3424 unswap-sqr_binary64_728 sqrt-div_binary64 distribute-lft-out--_binary64_371 cbrt-undiv_binary64_453 cbrt-prod_binary64_3178 pow1/3_binary64_4252 div-inv_binary64_3826 associate--r+_binary64_1378 div-sub_binary64_5539
12×	pow-unpow_binary64_1178 sub-neg_binary64 pow-unpow_binary64_2201 sub-neg_binary64_1435 pow1/2_binary64_3227 associate-*l*_binary64_6157 associate-*l/_binary64_362 cube-prod_binary64 unswap-sqr_binary64_4479 sqrt-div_binary64_1800 log-pow_binary64_2554 pow-pow_binary64_1514 difference-of-squares_binary64_4139 *-commutative_binary64_4783 pow-unpow_binary64_4588 *-commutative_binary64_691 log-prod_binary64 pow-pow_binary64_3560 associate-/r*_binary64_6160 associate-/r/_binary64_706 associate-*l*_binary64_4111 sub-neg_binary64_2799 rem-sqrt-square_binary64_3160
11×	*-commutative_binary64_1032 flip3-+_binary64_422 distribute-lft-out--_binary64_6509 swap-sqr_binary64_4137 pow1/3_binary64_5275 exp-prod_binary64_2517 unpow-prod-down_binary64_4249 add-log-exp_binary64_3868 add-exp-log_binary64_3867 associate-/l/_binary64_1389 sin-mult_binary64_1597 add-log-exp_binary64_5573 difference-of-squares_binary64_3798 flip-+_binary64_393 cos-neg_binary64_1573 neg-mul-1_binary64_1097 associate-*r*_binary64_4451 associate-*l/_binary64_1044 pow-prod-down_binary64_1172 div-inv_binary64_5531 pow1_binary64_5595 associate-*l*_binary64_3088 atan-neg_binary64_1626 cbrt-unprod_binary64_6590
10×	pow-exp_binary64_828 cbrt-prod_binary64_1473 pow-pow_binary64_832 *-commutative_binary64_9 pow1/2_binary64_2204 flip3--_binary64_1446 sub-neg_binary64_753 associate-/l*_binary64_5138 cbrt-unprod_binary64_4203 flip--_binary64_1417 flip--_binary64_6532 cube-prod_binary64_447 pow-pow_binary64_1855 distribute-rgt-in_binary64_1392 frac-times_binary64_2816 flip3--_binary64_6561 prod-exp_binary64_4219 log-div_binary64_6644 distribute-lft-in_binary64_1391 diff-log_binary64_2898 pow-to-exp_binary64_829
9×	associate-/l/_binary64_707 unpow-prod-down_binary64_157 pow-sqr_binary64_2097 flip-+_binary64_3121 sub-neg_binary64_6550 distribute-rgt-out--_binary64_714 diff-log_binary64_6649 swap-sqr_binary64_727 flip3-+_binary64_3150 unswap-sqr_binary64_5843 pow1/3_binary64 associate-*r/_binary64_361 frac-sub_binary64_87 add-cbrt-cube_binary64_3865 diff-log_binary64 acos-asin_binary64_1623 rem-sqrt-square_binary64_91 pow1/3_binary64_501 div-inv_binary64_5872 log-pow_binary64_6646 sum-log_binary64_510 pow-prod-up_binary64_2194 cancel-sign-sub-inv_binary64_4818 sum-log_binary64_3238 *-commutative_binary64_1714 diff-log_binary64_2216 *-commutative_binary64 *-commutative_binary64_2396 associate-*l/_binary64_21
8×	pow-pow_binary64_4583 frac-add_binary64_4519 rem-cube-cbrt_binary64_1465 distribute-lft-out--_binary64_1394 sqrt-div_binary64_95 distribute-rgt-neg-out_binary64 flip-+_binary64_6190 cos-sum_binary64_553 cosh-undef_binary64_613 distribute-rgt-in_binary64_710 distribute-lft-out_binary64_370 sub-neg_binary64_71 swap-sqr_binary64_2091 pow-prod-up_binary64_1853 frac-sub_binary64_6566 frac-2neg_binary64_1112 log-div_binary64 frac-times_binary64_1111 unpow-prod-down_binary64_3226 unswap-sqr_binary64_3115 acos-asin_binary64_5715 clear-num_binary64_1100 cos-sum_binary64_4986 sqrt-pow1_binary64_5893 flip3--_binary64_423 frac-times_binary64_88 sqrt-div_binary64_3505 *-commutative_binary64_2055 frac-add_binary64_1791 flip--_binary64_394 pow1/2_binary64_2545 sub-neg_binary64_2117 *-commutative_binary64_2737 diff-log_binary64_170 distribute-lft-in_binary64_709 associate-/l*_binary64_3774 pow-sqr_binary64_1756 flip3-+_binary64_6219 pow1/2_binary64_5955
7×	frac-2neg_binary64_4522 prod-exp_binary64_3196 sinh-undef_binary64_612 unpow3_binary64_2190 clear-num_binary64_1441 frac-2neg_binary64_771 difference-of-sqr-1_binary64_2435 div-inv_binary64_1439 clear-num_binary64 +-commutative_binary64 log-pow_binary64_3918 flip--_binary64_3463 clear-num_binary64_2805 unpow3_binary64_4577 unpow3_binary64_1508 frac-2neg_binary64_1453 clear-num_binary64_759 distribute-rgt-in_binary64_3097 diff-log_binary64_1534 frac-2neg_binary64 flip-+_binary64_1757 asin-acos_binary64_1622 associate-/l/_binary64 frac-2neg_binary64_2817 pow-pow_binary64_2196 flip3--_binary64_3492 log-div_binary64_6303 flip3-+_binary64_1786 cube-mult_binary64_2154 pow-prod-down_binary64_6628 cbrt-div_binary64 log-pow_binary64_1531 sqrt-undiv_binary64_2486 div-inv_binary64_4508 +-commutative_binary64_349 clear-num_binary64_4510 div-inv_binary64_6554 rem-log-exp_binary64_3529 cube-mult_binary64_1472 distribute-lft-in_binary64_3096 cube-mult_binary64_4541 div-inv_binary64_5190 sub-neg_binary64_412
6×	pow-sqr_binary64_4143 1-exp_binary64_463 associate-/r/_binary64_1729 prod-exp_binary64_5242 associate-/l*_binary64_364 distribute-lft-out--_binary64_3099 sub-neg_binary64_3481 rem-cube-cbrt_binary64_1806 sub-neg_binary64_3140 rec-exp_binary64_469 cbrt-undiv_binary64_5568 cos-diff_binary64_556 sin-cos-mult_binary64_5008 pow-unpow_binary64_2883 pow-prod-up_binary64_4240 pow-pow_binary64_1173 pow-exp_binary64_3556 distribute-rgt-out_binary64_3782 exp-prod_binary64_3199 cos-diff_binary64_4989 prod-exp_binary64_3537 sqr-pow_binary64_2778 unpow3_binary64_5941 difference-of-sqr-1_binary64 rem-log-exp_binary64_1142 pow-unpow_binary64_496 cancel-sign-sub-inv_binary64_4136 sqr-pow_binary64_5847 times-frac_binary64_3153 div-exp_binary64_5244 div-exp_binary64_5585 pow-pow_binary64_6629 cbrt-unprod_binary64_5226 log-prod_binary64_1528 frac-sub_binary64_1792 associate-+r+_binary64_351 pow-unpow_binary64_155 unpow3_binary64_3554 pow-unpow_binary64_6634 difference-of-squares_binary64_4480 sqr-pow_binary64 sum-log_binary64_6307 cube-div_binary64_5904 diff-log_binary64_3580 div-inv_binary64_3485 exp-prod_binary64_3540 pow-prod-down_binary64_2877 cube-mult_binary64_5905 div-exp_binary64_5926 swap-sqr_binary64_386 sqr-pow_binary64_6188 associate-/r/_binary64_6503 cbrt-unprod_binary64_3521 associate--r-_binary64_1381 cbrt-undiv_binary64_5227 sum-log_binary64_3579 cube-mult_binary64_3518 cbrt-prod_binary64_109 pow-exp_binary64_487 associate-*l/_binary64_4795 cube-div_binary64_2153 cube-div_binary64_3517
5×	pow-to-exp_binary64_3557 sqrt-pow1_binary64_1801 frac-2neg_binary64_5886 sqr-pow_binary64_50 associate-+l+_binary64_1034 cbrt-undiv_binary64_3522 cancel-sign-sub-inv_binary64_3795 unswap-sqr_binary64_3456 diff-log_binary64_2557 unswap-sqr_binary64_6525 sub-neg_binary64_2458 distribute-neg-in_binary64_1062 distribute-lft-out_binary64_3098 flip--_binary64_3804 div-inv_binary64_416 rem-cube-cbrt_binary64_3511 distribute-rgt-out--_binary64 cube-mult_binary64_6246 pow1/2_binary64_1863 log-div_binary64_1188 unpow3_binary64_6282 neg-mul-1_binary64_2120 rem-sqrt-square_binary64_2137 unswap-sqr_binary64_4820 flip3--_binary64_1105 associate--l-_binary64_3426 flip--_binary64_1076 rem-cube-cbrt_binary64_2147 pow-to-exp_binary64_488 div-exp_binary64_3539 pow-prod-up_binary64_5945 clear-num_binary64_5874 unswap-sqr_binary64_4138 *-commutative_binary64_6488 associate-/r/_binary64_24 cbrt-undiv_binary64_5909 flip3--_binary64_3833 log-div_binary64_3916 sum-log_binary64_6648 associate-/r*_binary64_363 frac-sub_binary64_1451 pow-plus_binary64_2187 +-commutative_binary64_3418 rem-sqrt-square_binary64_1796 frac-sub_binary64_4520 pow-prod-down_binary64_5264 associate-*l/_binary64_3090
4×	sum-log_binary64_5966 clear-num_binary64_5533 cos-sum_binary64_1576 sin-sum_binary64_552 cube-mult_binary64 frac-add_binary64_1450 diff-log_binary64_852 flip3--_binary64_4515 pow1/3_binary64_3229 cbrt-div_binary64_3520 rem-sqrt-square_binary64_5888 pow-plus_binary64_1846 neg-mul-1_binary64_2461 diff-log_binary64_3239 rec-exp_binary64_128 sin-sum_binary64_4985 difference-cubes_binary64_3490 sqrt-div_binary64_5892 rem-sqrt-square_binary64_773 flip3-+_binary64_763 cbrt-undiv_binary64_6591 associate-+r+_binary64_2738 clear-num_binary64_77 pow-sqr_binary64_1415 associate-/l/_binary64_2753 flip-+_binary64_734 associate-+r-_binary64 sum-log_binary64_2897 pow1/2_binary64_2886 frac-2neg_binary64_89 pow1/2_binary64_1181 cube-prod_binary64_3175 sin-mult_binary64_574 pow1/2_binary64_3568 frac-add_binary64_3155 pow-prod-up_binary64_4581 pow-exp_binary64_2874 pow-flip_binary64_152 cube-div_binary64_448 associate-+r-_binary64_5468 sqrt-div_binary64_3846 associate-/l/_binary64_25 flip3-+_binary64_4514 sqrt-pow1_binary64_2824 flip-+_binary64_4485 pow-sqr_binary64_2438 sqrt-pow1_binary64_3506 frac-times_binary64_3157 diff-log_binary64_511 unpow3_binary64 associate-*l/_binary64_1385 associate-*r/_binary64_4794 pow-sqr_binary64_4484 cos-diff_binary64_5671 distribute-lft-out--_binary64_3781 cube-prod_binary64_2834 associate--l+_binary64_2061 unswap-sqr_binary64_6184 rem-cube-cbrt_binary64_4534 rem-sqrt-square_binary64_2819 cbrt-div_binary64_3179 pow-exp_binary64_146 flip--_binary64_4486 associate--l+_binary64_697 pow-to-exp_binary64_2875 +-commutative_binary64_6146 sqr-pow_binary64_3119 distribute-rgt-in_binary64_4120 sqrt-pow1_binary64_1119 1-exp_binary64_122 pow-prod-up_binary64_2535 div-sub_binary64_2129 pow-prod-up_binary64_1512 rem-sqrt-square_binary64_2478 frac-2neg_binary64_5545 distribute-lft-in_binary64_4119 associate-/r/_binary64_3434 cbrt-div_binary64_5907 cancel-sign-sub-inv_binary64_4477 +-commutative_binary64_5805 associate-*l/_binary64_2749 frac-add_binary64
3×	rem-sqrt-square_binary64_1114 unpow3_binary64_1167 sqrt-prod_binary64_6232 clear-num_binary64_5192 pow-prod-down_binary64_3559 sqrt-prod_binary64_4186 prod-exp_binary64_6265 associate-*l*_binary64_5475 log-prod_binary64_2551 *-commutative_binary64_4101 log-pow_binary64_6305 associate-*r*_binary64_6156 log-prod_binary64_4938 pow-plus_binary64_4233 associate-*r*_binary64_5474 associate--l+_binary64_3766 rem-log-exp_binary64 div-exp_binary64_6267 cbrt-div_binary64_5225 pow1/3_binary64_1524 distribute-lft-in_binary64_368 swap-sqr_binary64_45 associate--l+_binary64 pow2_binary64_841 sqrt-prod_binary64_4527 associate-/r*_binary64_3773 cube-mult_binary64_1131 distribute-lft-neg-out_binary64 cbrt-div_binary64_2156 pow-unpow_binary64_4247 pow-sqr_binary64_733 log-pow_binary64 pow-plus_binary64_823 distribute-lft-out--_binary64_4463 log-pow_binary64_4941 unpow3_binary64_485 log-prod_binary64_2210 acos-neg_binary64_5717 *-commutative_binary64_3078 rem-log-exp_binary64_6598 distribute-rgt-in_binary64_369 rem-log-exp_binary64_6257 associate-/l*_binary64_6161 *-commutative_binary64_5124 distribute-frac-neg_binary64_5497 sub-neg_binary64_4845 pow-pow_binary64_491 pow-prod-up_binary64_830 sum-log_binary64_2556 associate--r+_binary64_3765 pow-prod-down_binary64_5946 pow-pow_binary64_150 unpow2_binary64_3553 cube-div_binary64_1471 *-commutative_binary64_4442 pow-unpow_binary64_2542 distribute-frac-neg_binary64_1405 distribute-lft-neg-out_binary64_1401 associate-/r*_binary64_3432 cbrt-unprod_binary64_3180 pow-to-exp_binary64_147 pow2_binary64_2205 sqrt-prod_binary64_1458 associate-*r/_binary64_3430 pow-unpow_binary64_5952 sum-log_binary64_1192 sqrt-unprod_binary64_2485 cbrt-div_binary64_1474 frac-2neg_binary64_5204 cube-mult_binary64_449 pow-sqr_binary64_5848
2×	sub-div_binary64_85 pow-prod-up_binary64 associate-/l/_binary64_3435 pow-to-exp_binary64_3216 frac-add_binary64_3837 rec-exp_binary64_2856 sub-neg_binary64_3822 *-commutative_binary64_3419 associate-*r/_binary64_5135 pow-pow_binary64_2537 pow1/3_binary64_2888 distribute-rgt-in_binary64_4802 inv-pow_binary64_6642 associate-/l/_binary64_366 frac-add_binary64_427 associate--l-_binary64_2744 pow2_binary64_1864 pow1/3_binary64_160 distribute-rgt-in_binary64_2074 distribute-rgt1-in_binary64_3785 pow-prod-up_binary64_489 pow-plus_binary64_1505 diff-log_binary64_4603 flip-+_binary64_1416 div-sub_binary64_2470 rec-exp_binary64_2515 rem-log-exp_binary64_3870 pow1/3_binary64_3570 pow-sqr_binary64_392 sub-neg_binary64_4163 div-sub_binary64_83 sqr-abs_binary64_5890 exp-prod_binary64_1494 diff-log_binary64_3921 distribute-lft-in_binary64_2073 pow-plus_binary64_2528 unpow2_binary64 pow-flip_binary64_2539 pow1/2_binary64_840 sin-mult_binary64_5007 associate-/l/_binary64_3776 un-div-inv_binary64_758 pow3_binary64_161 div-sub_binary64_1447 inv-pow_binary64_2550 1-exp_binary64_2509 sqrt-div_binary64_6233 sub-neg_binary64_4504 cbrt-div_binary64_451 flip3--_binary64_4856 swap-sqr_binary64_1750 flip3-+_binary64_3832 associate--r+_binary64_2060 1-exp_binary64_2850 inv-pow_binary64_163 flip3-+_binary64_1445 pow-exp_binary64_3215 pow2_binary64_4251 associate--l+_binary64_1720 neg-sub0_binary64_1096 frac-add_binary64_6224 div-sub_binary64_4516 distribute-lft-in_binary64_4801 difference-of-sqr-1_binary64_3458 flip-+_binary64_3803 pow-to-exp_binary64_6285 pow-plus_binary64_4574 +-commutative_binary64_1031 div-sub_binary64_765 associate-+l+_binary64_2739 pow-exp_binary64_6284 pow-pow_binary64_4242 sqr-pow_binary64_6529 sqrt-pow1_binary64_778 associate-/r/_binary64_365 associate--r-_binary64_6496 +-commutative_binary64_2736 associate--l-_binary64_6495 rem-sqrt-square_binary64_3501 sqrt-unprod_binary64_2144 flip--_binary64_4827 associate-*r/_binary64_3089 rem-cube-cbrt_binary64_2488 +-commutative_binary64_3077 pow-flip_binary64_6631 tan-quot_binary64_1601 associate-/r/_binary64_2752 pow-sqr_binary64 difference-of-sqr-1_binary64_2776 exp-to-pow_binary64_1504
1×	frac-2neg_binary64_3499 associate--r-_binary64_3427 pow2_binary64_500 pow1/3_binary64_5957 flip3-+_binary64_4173 cos-diff_binary64_1579 pow-plus_binary64_482 associate-/r*_binary64_6501 flip-+_binary64_4144 distribute-rgt-out--_binary64_1737 unpow3_binary64_3213 div-sub_binary64_424 associate-+r-_binary64_1035 associate--r+_binary64_1719 rem-log-exp_binary64_4893 associate-/l/_binary64_5481 associate--l-_binary64_1721 pow2_binary64_159 sinh-undef_binary64_3340 rem-sqrt-square_binary64_6229 flip3-+_binary64_5537 div-sub_binary64 pow1/2_binary64_3909 associate-+l+_binary64_352 flip3--_binary64_6220 pow1/2_binary64_6296 pow-to-exp_binary64_4239 clear-num_binary64_6556 exp-prod_binary64_4904 associate--r+_binary64 pow-pow_binary64_5947 rem-cube-cbrt_binary64_442 neg-sub0_binary64_2460 rem-cube-cbrt_binary64_5898 clear-num_binary64_3487 associate-+l+_binary64_2398 pow-exp_binary64_5943 sum-log_binary64_1874 cbrt-unprod_binary64_5567 sub-div_binary64_767 rem-exp-log_binary64_2846 frac-2neg_binary64_3840 pow1/3_binary64_842 frac-2neg_binary64_430 sqrt-pow1_binary64_3847 clear-num_binary64_3828 pow1/3_binary64_2206 difference-of-sqr-1_binary64_730 pow1/2_binary64_4250 *-commutative_binary64_6147 tanh-def-b_binary64_607 cbrt-div_binary64_792 flip-+_binary64_5508 sqr-abs_binary64_93 rem-square-sqrt_binary64_5887 pow-exp_binary64_4238 unpow2_binary64_1507 associate-*l/_binary64_1726 associate-*l/_binary64_5818 sqrt-unprod_binary64_5895 sum-log_binary64_3920 cbrt-prod_binary64_791 tanh-undef_binary64_614 cbrt-unprod_binary64_5908 neg-log_binary64_1194 distribute-frac-neg_binary64_1064 frac-times_binary64_3498 cancel-sign-sub-inv_binary64_6182 distribute-frac-neg_binary64_2087 rem-sqrt-square_binary64_4183 sqrt-pow2_binary64_1120 pow-plus_binary64 frac-2neg_binary64_6227 rem-sqrt-square_binary64_3842 rem-cbrt-cube_binary64_3512 pow-sqr_binary64_51 rem-cube-cbrt_binary64_1124 distribute-rgt-out--_binary64_2419 prod-exp_binary64_5583 sqr-pow_binary64_4142 un-div-inv_binary64_1440 sin-diff_binary64_555 rem-cbrt-cube_binary64_5899 distribute-rgt-out--_binary64_2078 rem-log-exp_binary64_2506 associate-+l-_binary64_2741 pow-plus_binary64_141 pow-prod-down_binary64_3218 inv-pow_binary64_5960 div-inv_binary64_6213 distribute-rgt-in_binary64_3438 associate-*l/_binary64_3431 frac-2neg_binary64_6568 sqrt-pow1_binary64_4188 cube-mult_binary64_3177 flip--_binary64_6191 associate-+r+_binary64_6148 associate-/l*_binary64_6502 tanh-def-c_binary64_608 associate--l-_binary64_2062 cbrt-undiv_binary64_3863 unpow2_binary64_2871 sub-div_binary64_1790 associate-+r-_binary64_3422 +-commutative_binary64_2054 pow2_binary64_5956 pow-to-exp_binary64_5944 1-exp_binary64_5919 pow-flip_binary64_2198 pow-plus_binary64_5938 rem-log-exp_binary64_2165 swap-sqr_binary64_1409 tanh-def-a_binary64_606 div-sub_binary64_1106 frac-sub_binary64_769 cbrt-undiv_binary64_6250 +-commutative_binary64_2395 frac-times_binary64_5885 unswap-sqr_binary64_5502 associate-+r-_binary64_2740 *-commutative_binary64_5465 rem-cbrt-cube_binary64_2148 cbrt-unprod_binary64_6249 pow2_binary64_1523 pow2_binary64_2546 div-sub_binary64_3493 div-inv_binary64_3144 inv-pow_binary64_2209 rec-exp_binary64_2174 pow2_binary64_1182 div-sub_binary64_2811 neg-sub0_binary64_2119 unpow3_binary64_2872 associate-+l-_binary64_1036 clear-num_binary64_418 pow2_binary64 cos-sum_binary64_5668 distribute-rgt-out--_binary64_3442 rem-cbrt-cube_binary64_1125 unpow2_binary64_143 pow-prod-down_binary64_5605 +-commutative_binary64_5464 frac-times_binary64_429 diff-log_binary64_6308 exp-to-pow_binary64_4914 associate-*l/_binary64_4454 associate-*r/_binary64_5817 swap-sqr_binary64_4478 sub-neg_binary64_6209 rec-exp_binary64_5925 distribute-frac-neg_binary64_2428 1-exp_binary64_2168 sqrt-pow1_binary64_6234 sum-log_binary64_2215 +-commutative_binary64_3759 *-commutative_binary64_5806 sin-diff_binary64_4988 pow1/3_binary64_1183 distribute-lft-in_binary64_3437 cube-mult_binary64_2836 rem-log-exp_binary64_1483 associate-+r+_binary64_3079 sum-log_binary64_5625 unpow2_binary64_1848 rem-cbrt-cube_binary64_443 prod-exp_binary64_5924 div-exp_binary64_3880 rem-cbrt-cube_binary64_1466 pow2_binary64_4592 associate-+r+_binary64 unpow2_binary64_4576 clear-num_binary64_6215 pow-flip_binary64_5949 swap-sqr_binary64_2432 associate-+l+_binary64_3080

Counts

672 → 18481

Calls

399 calls:

293.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))))
122.0ms	(*.f64 (sqrt.f64 2) (/.f64 (/.f64 (sqrt.f64 (*.f64 F -1/2)) (sqrt.f64 (sqrt.f64 C))) (sqrt.f64 (sqrt.f64 C))))
97.0ms	(/.f64 (-.f64 (*.f64 -3/2 (/.f64 (*.f64 a c) b)) (+.f64 (+.f64 (*.f64 9/8 (/.f64 (*.f64 (*.f64 a c) (*.f64 a c)) (pow.f64 b 3))) (*.f64 27/16 (/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5)))) (*.f64 405/128 (/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))) (*.f64 3 a))
74.0ms	(/.f64 (*.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
65.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

Compiler

Compiled 825207 to 437333 computations (47% saved)