rewrite8.4s (1.1%)

Algorithm

186×	rewrite-expression-head

Rules

1707×	add-exp-log_binary64
1204×	add-exp-log_binary64_6595
1179×	prod-exp_binary64
1082×	times-frac_binary64
946×	add-sqr-sqrt_binary64
912×	times-frac_binary64_1107
848×	times-frac_binary64_425
824×	*-un-lft-identity_binary64
783×	add-sqr-sqrt_binary64_441
749×	add-cbrt-cube_binary64
746×	sqrt-div_binary64_5892
702×	sqrt-div_binary64_2482
697×	*-un-lft-identity_binary64_419
692×	pow-exp_binary64_6625
691×	times-frac_binary64_2471
685×	prod-exp_binary64_6606
621×	add-sqr-sqrt_binary64_1123
593×	div-exp_binary64_6608
588×	flip3--_binary64_4174 flip--_binary64_4145
559×	*-un-lft-identity_binary64_1101
542×	add-cube-cbrt_binary64_1136
532×	add-cube-cbrt_binary64
528×	associate-*l/_binary64_4113
525×	times-frac_binary64_1448
506×	*-un-lft-identity_binary64_5193
501×	add-sqr-sqrt_binary64_2487
496×	*-un-lft-identity_binary64_2465
484×	times-frac_binary64_4858
478×	cbrt-unprod_binary64
474×	add-sqr-sqrt_binary64_1464
463×	add-cube-cbrt_binary64_454
456×	frac-times_binary64_4180
443×	times-frac_binary64_84 add-cube-cbrt_binary64_2500
433×	*-un-lft-identity_binary64_78
427×	*-un-lft-identity_binary64_1442
422×	add-cube-cbrt_binary64_1477
411×	add-sqr-sqrt_binary64_100
406×	*-un-lft-identity_binary64_2124
402×	sqrt-div_binary64_4187
392×	frac-add_binary64_4178
375×	*-un-lft-identity_binary64_2806
366×	pow1_binary64
345×	add-sqr-sqrt_binary64_2146
344×	pow-to-exp_binary64_6626
334×	times-frac_binary64_5199
326×	frac-times_binary64_5885
324×	cbrt-div_binary64_5907 add-sqr-sqrt_binary64_5215
314×	flip3-+_binary64_5878 flip-+_binary64_5849
301×	associate-*r/_binary64_5817
288×	times-frac_binary64_2130 add-cube-cbrt_binary64_113
286×	*-un-lft-identity_binary64_3488
284×	associate-*r/_binary64_2407
280×	add-sqr-sqrt_binary64_3510
279×	times-frac_binary64_766
272×	associate-*l/_binary64_5818
259×	add-sqr-sqrt_binary64_4874
258×	add-sqr-sqrt_binary64_782
251×	*-un-lft-identity_binary64_4852
250×	*-un-lft-identity_binary64_760
247×	add-sqr-sqrt_binary64_2828
245×	add-cube-cbrt_binary64_4887
241×	add-cube-cbrt_binary64_2159
239×	sqrt-prod_binary64_94 pow-prod-down_binary64
236×	add-sqr-sqrt_binary64_1805
234×	times-frac_binary64_2812
232×	*-un-lft-identity_binary64_5875
230×	div-exp_binary64
228×	associate-*r/_binary64_4112
223×	flip3-+_binary64_2468 flip-+_binary64_2439
215×	times-frac_binary64_3494
212×	add-exp-log_binary64_798
210×	associate-/l/_binary64_5822 distribute-neg-frac_binary64_5839
208×	frac-add_binary64_5883
206×	add-cbrt-cube_binary64_1478 *-un-lft-identity_binary64_1783 add-exp-log_binary64_1480
205×	frac-times_binary64_2475
199×	*-un-lft-identity_binary64_3147
193×	times-frac_binary64_5881
192×	associate-*l/_binary64_2408
190×	difference-of-squares_binary64 add-sqr-sqrt_binary64_3169
187×	add-cube-cbrt_binary64_2841 pow1_binary64_1503
186×	associate-*r*_binary64_359
184×	sqrt-prod_binary64_435
176×	add-cbrt-cube_binary64_2501 add-cube-cbrt_binary64_795 add-exp-log_binary64_2503
175×	add-exp-log_binary64_2162 *-un-lft-identity_binary64_6557
173×	add-exp-log_binary64_1139
172×	add-cube-cbrt_binary64_1818
168×	frac-sub_binary64_2474
165×	add-cbrt-cube_binary64_1137
163×	add-sqr-sqrt_binary64_5897
162×	add-cube-cbrt_binary64_3523
161×	add-cube-cbrt_binary64_5228
160×	*-un-lft-identity_binary64_5534
155×	difference-of-squares_binary64_388
154×	add-exp-log_binary64_1821 cbrt-prod_binary64_1814 add-sqr-sqrt_binary64_6579
150×	add-cube-cbrt_binary64_5910
147×	add-cube-cbrt_binary64_3182
145×	times-frac_binary64_3153
144×	add-cbrt-cube_binary64_1819
137×	add-sqr-sqrt_binary64_5556
136×	associate-/l/_binary64_2412
133×	associate-*r*_binary64_1041
132×	distribute-neg-frac_binary64_2429 add-cbrt-cube_binary64_2160
128×	*-un-lft-identity_binary64_3829
126×	sqrt-prod_binary64_1117
122×	associate-*l*_binary64
120×	times-frac_binary64_5540
117×	add-exp-log_binary64_457 pow1_binary64_1844
116×	rec-exp_binary64_6607 cancel-sign-sub-inv_binary64_5159 1-exp_binary64_6601
114×	add-cbrt-cube_binary64_455
111×	flip--_binary64_2440 flip3--_binary64_2469 add-cbrt-cube_binary64_796
109×	associate-/r*_binary64
108×	times-frac_binary64_1789
106×	add-sqr-sqrt_binary64_3851
104×	pow-exp_binary64 pow1_binary64_2526
103×	sqrt-prod_binary64_5891 associate-*l*_binary64_360
101×	sqrt-prod_binary64_2481 associate-/r*_binary64_1045
100×	add-exp-log_binary64_4549 add-cbrt-cube_binary64_4547
97×	add-exp-log_binary64_116
96×	cbrt-prod_binary64_2837
93×	flip--_binary64_5850 flip3--_binary64_5879
91×	add-cbrt-cube_binary64_114 associate-/l*_binary64_1387
90×	associate-*r*_binary64 add-log-exp_binary64_1822
89×	times-frac_binary64_6563
86×	distribute-lft-out--_binary64
85×	add-cbrt-cube_binary64_2842 distribute-lft-out_binary64_2757 add-cube-cbrt_binary64_5569
84×	associate-/r*_binary64_2409
82×	add-log-exp_binary64_2163
80×	distribute-lft-neg-in_binary64_5832 distribute-rgt-neg-in_binary64_5833 distribute-lft-out_binary64_5144
79×	add-exp-log_binary64_4890 cbrt-undiv_binary64 add-cbrt-cube_binary64_4888
78×	add-exp-log_binary64_2844
77×	add-log-exp_binary64_117
76×	prod-exp_binary64_809 add-log-exp_binary64_2504
74×	add-log-exp_binary64_1481 associate-/r*_binary64_363 associate-*r*_binary64_5815
73×	associate-*r*_binary64_1382 cos-mult_binary64_4324 pow1_binary64_2185
72×	difference-of-squares_binary64_5162 log-prod_binary64_3915 distribute-lft-out--_binary64_371 pow1_binary64_139
71×	pow1_binary64_480
70×	pow1_binary64_4231 pow1_binary64_1162 distribute-lft-out--_binary64_5145 pow1_binary64_821
69×	add-exp-log_binary64_3185 associate-*l*_binary64_1383 cbrt-prod_binary64_2155 add-cube-cbrt_binary64_6592
67×	associate-/l*_binary64_2410
66×	log-div_binary64_4257 cancel-sign-sub-inv_binary64_6523 exp-diff_binary64_4218
65×	cancel-sign-sub-inv_binary64_3113
64×	associate-*l*_binary64_2747
63×	add-log-exp_binary64 pow-prod-down_binary64_1513 cancel-sign-sub-inv_binary64
62×	associate-/r*_binary64_4796 distribute-lft-out_binary64_29 add-log-exp_binary64_3186
61×	unpow-prod-down_binary64_3226 cbrt-unprod_binary64_1475 prod-exp_binary64_1491
60×	log-prod_binary64_6643 div-exp_binary64_811
58×	associate-/r*_binary64_2068
57×	pow-to-exp_binary64 flip3--_binary64 pow1_binary64_5936 difference-of-squares_binary64_729 flip--_binary64 pow1_binary64_2867
55×	div-inv_binary64_1098 log-pow_binary64_849
54×	exp-prod_binary64_812 div-inv_binary64
53×	associate-*r*_binary64_2746 add-log-exp_binary64_2845
52×	associate-/l*_binary64_2069
51×	distribute-lft-out_binary64_2075 add-cbrt-cube_binary64_3183 *-un-lft-identity_binary64_6216 associate-*r*_binary64_18 div-exp_binary64_2175
50×	difference-of-squares_binary64_3457 add-exp-log_binary64_3526 add-cube-cbrt_binary64_3864 add-cbrt-cube_binary64_3524 add-log-exp_binary64_458 difference-of-squares_binary64_47 associate-*r*_binary64_1723
48×	distribute-lft-neg-in_binary64_2422 times-frac_binary64_3835 cbrt-prod_binary64_3519 div-exp_binary64_2516 distribute-lft-out_binary64_5826 cbrt-undiv_binary64_2499 distribute-rgt-neg-in_binary64_2423 div-exp_binary64_1152
47×	distribute-lft-neg-in_binary64_717 distribute-rgt-neg-in_binary64_718 add-log-exp_binary64_799 add-exp-log_binary64_5231 add-sqr-sqrt_binary64_4533 associate-*r*_binary64_2405
46×	cbrt-undiv_binary64_1135 add-log-exp_binary64_1140 associate-/r*_binary64_5137 associate-+r+_binary64_3079
45×	difference-of-squares_binary64_6526 pow1_binary64_3208 frac-times_binary64 cube-prod_binary64_3175 cbrt-div_binary64_2497
44×	sqrt-prod_binary64_2140 associate-/r/_binary64_365 associate-/l*_binary64_5820
43×	associate-*r*_binary64_700 unpow-prod-down_binary64_839
42×	unpow-prod-down_binary64_3567 log-prod_binary64_6302 cube-prod_binary64_3516 cbrt-unprod_binary64_1816 prod-exp_binary64_1832
41×	unpow-prod-down_binary64 associate-*r/_binary64
40×	add-cbrt-cube_binary64_5911 add-exp-log_binary64_5913 div-inv_binary64_2462
39×	unpow-prod-down_binary64_1180
38×	exp-prod_binary64_2858 cbrt-undiv_binary64_2158 add-sqr-sqrt_binary64_4192 log-prod_binary64_5279 add-cbrt-cube_binary64_5229
37×	prod-exp_binary64_1150 cbrt-unprod_binary64_1134
36×	add-exp-log_binary64_5572 prod-exp_binary64_2173 unpow-prod-down_binary64_6636
35×	associate-*l*_binary64_1042 div-inv_binary64_1439 cbrt-unprod_binary64_4544 *-un-lft-identity_binary64_4511 exp-sum_binary64_5239 associate-*l*_binary64_701 pow1_binary64_6618 sqrt-prod_binary64 prod-exp_binary64_4560
34×	associate-/r*_binary64_3432 flip3--_binary64_423 unpow-prod-down_binary64_157 associate-/r*_binary64_2750 flip--_binary64_394 flip-+_binary64_2098 flip3-+_binary64_2127 associate-/l*_binary64_1046
33×	pow-prod-down_binary64_1854 associate-/l*_binary64 associate-*r*_binary64_2064 cbrt-unprod_binary64_2498 associate-*r*_binary64_3428 associate-/l*_binary64_23 add-log-exp_binary64_3527 prod-exp_binary64_2514 associate-/l*_binary64_364
32×	add-exp-log_binary64_3867 *-un-lft-identity_binary64_4170 pow1_binary64_3549 distribute-rgt-in_binary64 add-cube-cbrt_binary64_4205 distribute-lft-in_binary64 associate-*l/_binary64
31×	associate-*l*_binary64_3429 add-exp-log_binary64_4208 div-inv_binary64_416 associate-/r*_binary64_3091 sqr-pow_binary64_732
30×	cbrt-prod_binary64_5565 cancel-sign-sub-inv_binary64_385 associate-*r*_binary64_4451 unswap-sqr_binary64 sqrt-div_binary64_2141 distribute-lft-out--_binary64_5486 add-cbrt-cube_binary64_4206 cbrt-prod_binary64_2496
29×	cancel-sign-sub-inv_binary64_1408 difference-of-sqr-1_binary64_5163 add-cube-cbrt_binary64_4546 sqrt-div_binary64_777 associate-*l*_binary64_1724 difference-of-squares_binary64_3798
28×	cancel-sign-sub-inv_binary64_726 distribute-lft-out--_binary64_2076 cube-prod_binary64_2834 difference-of-squares_binary64_2093 unpow-prod-down_binary64_2885 associate-*r/_binary64_702 associate-/r/_binary64_2752 associate-/r*_binary64_704 add-sqr-sqrt_binary64_6238
27×	cancel-sign-sub-inv_binary64_5500 add-cube-cbrt_binary64_6251 cbrt-undiv_binary64_4886 *-commutative_binary64_1373 sqrt-pow1_binary64_2483 associate-*r*_binary64_5133 swap-sqr_binary64_2773 cbrt-unprod_binary64_793 distribute-lft-out--_binary64_3440 div-exp_binary64_4903
26×	unpow2_binary64_825 add-cbrt-cube_binary64_6593 associate-/l*_binary64_5138 div-inv_binary64_4849 distribute-lft-out--_binary64_6509 associate--r+_binary64_6493 add-log-exp_binary64_6255 associate--l+_binary64_6494 cbrt-undiv_binary64_4545 div-exp_binary64_4562
25×	pow1_binary64_4572 unswap-sqr_binary64_387 sqrt-prod_binary64_1799 add-log-exp_binary64_5232 associate-/l*_binary64_2751 pow1_binary64_6277
24×	cbrt-undiv_binary64_794 distribute-lft-out_binary64_3439 associate-/l/_binary64_707 cbrt-unprod_binary64_2157 pow1/3_binary64_1865 associate-/r/_binary64_2411 cancel-sign-sub-inv_binary64_44 sqrt-prod_binary64_3504 cbrt-div_binary64_5566 cancel-sign-sub-inv_binary64_1749
23×	difference-of-squares_binary64_2434 difference-of-squares_binary64_5503 prod-exp_binary64_468 times-frac_binary64_4517 tan-quot_binary64_919 associate-/l*_binary64_1728 pow1_binary64_3890 sqr-pow_binary64 sqr-pow_binary64_3119 pow1_binary64_5595
22×	associate-/r/_binary64 flip3--_binary64_1787 sqrt-prod_binary64_776 associate-/r/_binary64_24 log-div_binary64_6303 sqr-pow_binary64_50 associate-*l*_binary64_3088 cbrt-unprod_binary64_452 add-cbrt-cube_binary64_5570 associate-/l*_binary64_705 unswap-sqr_binary64_1069 div-inv_binary64_2121 flip--_binary64_1758 div-inv_binary64_757
21×	cbrt-undiv_binary64_1476 cbrt-undiv_binary64_1817 associate-/r*_binary64_1386 cbrt-unprod_binary64_4885 log-prod_binary64_3233 div-exp_binary64_470 div-exp_binary64_1493 cancel-sign-sub-inv_binary64_3454 cbrt-undiv_binary64_453 add-exp-log_binary64_6254 associate-/r*_binary64_5478 div-exp_binary64_1834 log-pow_binary64_1190 prod-exp_binary64_4901 associate-*r/_binary64_20 pow1/2_binary64_2545 distribute-lft-out_binary64_2416 associate-/r/_binary64_3434
20×	pow-prod-down_binary64_5946 flip-+_binary64_2780 cancel-sign-sub-inv_binary64_2090 cosh-undef_binary64_3682 associate-/r/_binary64_5480 difference-of-sqr-1_binary64 associate-*l*_binary64_2406 prod-exp_binary64_2855 cbrt-unprod_binary64_2839 associate-/r/_binary64_5139 sqrt-div_binary64_95 flip3-+_binary64_2809 unswap-sqr_binary64_1410
19×	flip3-+_binary64_763 flip-+_binary64_734 neg-mul-1_binary64_5871 rem-sqrt-square_binary64_2478 associate-*r*_binary64_3087 log-pow_binary64_2895 distribute-lft-out_binary64_6508
18×	associate-*l/_binary64_703 distribute-lft-out--_binary64_3781 unpow2_binary64_143 pow-prod-down_binary64_4241 associate-/l*_binary64_3433 exp-prod_binary64_1153 associate-*l*_binary64_2065 associate-/r*_binary64_22 cbrt-div_binary64_2156 cbrt-prod_binary64_109 pow-prod-down_binary64_2536 add-log-exp_binary64_6596 pow1_binary64_5254 sqrt-prod_binary64_4527 *-commutative_binary64
17×	flip3-+_binary64 distribute-neg-frac_binary64_724 flip3--_binary64_2128 sub-neg_binary64 distribute-lft-out_binary64_3098 div-sub_binary64_1788 sqrt-prod_binary64_2822 div-inv_binary64_2803 add-cbrt-cube_binary64_3865 flip--_binary64_2099 log-div_binary64_3916 log-pow_binary64_6646 log-pow_binary64_5282 flip-+_binary64
16×	exp-prod_binary64_5245 log-div_binary64_6644 sqrt-pow1_binary64_5893 prod-exp_binary64_127 pow-exp_binary64_828 frac-add_binary64_768 pow1_binary64_4913 frac-times_binary64_770 distribute-lft-out_binary64_3780 add-log-exp_binary64_4209 add-log-exp_binary64_5914
15×	pow-prod-down_binary64_490 associate-/r/_binary64_1047 add-log-exp_binary64_4550 associate-*l*_binary64_3770 cbrt-undiv_binary64_2840 associate-/l*_binary64_5479 sin-diff_binary64_1919 flip-+_binary64_5508 sqrt-prod_binary64_4186 div-exp_binary64_2857
14×	unswap-sqr_binary64_728 associate-*l*_binary64_19 distribute-lft-out_binary64_711 cube-mult_binary64_3177 difference-of-squares_binary64_1752 flip3--_binary64_3492 unswap-sqr_binary64_2092 flip3--_binary64_2810 log-prod_binary64_1528 sqrt-div_binary64_1118 flip3-+_binary64_5537 add-cbrt-cube_binary64_6252 flip--_binary64_3463 unpow3_binary64_3213 div-inv_binary64_5190 associate-/l*_binary64_4797 add-log-exp_binary64_5573 flip-+_binary64_6190 sin-mult_binary64_1597 div-exp_binary64_5244 flip--_binary64_2781 pow-prod-down_binary64_1172 log-pow_binary64_1531 flip3-+_binary64_6219 unswap-sqr_binary64_1751 unswap-sqr_binary64_2774
13×	associate-*l/_binary64_362 add-log-exp_binary64_4891 flip-+_binary64_52 div-inv_binary64_1780 associate-/r*_binary64_1727 clear-num_binary64_2123 div-inv_binary64_6554 associate-/r/_binary64_2070 frac-2neg_binary64_2135 flip3-+_binary64_81 div-inv_binary64_75
12×	diff-log_binary64_1875 cbrt-unprod_binary64_111 distribute-rgt-in_binary64_369 difference-of-squares_binary64_1070 distribute-lft-out_binary64_6167 flip-+_binary64_3121 associate-/r*_binary64_5819 clear-num_binary64_1100 frac-2neg_binary64_1112 frac-2neg_binary64_2476 sub-neg_binary64_3140 flip3-+_binary64_3150 cbrt-prod_binary64_3178 flip3-+_binary64_1104 cos-sum_binary64_3281 swap-sqr_binary64_727 sqrt-div_binary64_1800 cube-prod_binary64_5221 distribute-lft-in_binary64_368 *-commutative_binary64_350 neg-mul-1_binary64_756 flip-+_binary64_1075 cbrt-prod_binary64_791 sqrt-prod_binary64_6232 cos-sum_binary64_1576 sub-neg_binary64_1776 neg-mul-1_binary64_2461 log-pow_binary64_3918 pow1/3_binary64_5616 unpow-prod-down_binary64_5272 div-inv_binary64_3485 log-pow_binary64_6305 clear-num_binary64_2464 sum-log_binary64_3238
11×	flip3--_binary64_5197 add-log-exp_binary64_3868 flip--_binary64_5168 frac-sub_binary64_5202 cancel-sign-sub-inv_binary64_2772 pow1/2_binary64_2204 associate-*l/_binary64_21 distribute-rgt-neg-out_binary64 unswap-sqr_binary64_3456 sqrt-pow1_binary64_2142 pow-prod-down_binary64_2877 sqr-pow_binary64_1414 rem-sqrt-square_binary64_2137 prod-exp_binary64_3196 unswap-sqr_binary64_46 div-sub_binary64_2129 div-exp_binary64_3539 pow-flip_binary64_5608 cbrt-undiv_binary64_3522 cbrt-prod_binary64_1473 associate-/l/_binary64_2071
10×	div-inv_binary64_5531 sub-neg_binary64_412 flip3-+_binary64_6560 associate-/r/_binary64_1729 distribute-lft-out--_binary64_3099 pow-to-exp_binary64_829 *-commutative_binary64_1032 swap-sqr_binary64 distribute-lft-out_binary64_1734 log-prod_binary64_1187 sin-cos-mult_binary64_1598 cancel-sign-sub-inv_binary64_2431 difference-of-squares_binary64_2775 flip-+_binary64_5167 cbrt-div_binary64_1815 div-exp_binary64_5585 associate-/r/_binary64_5821 associate-*r*_binary64_4792 flip3-+_binary64_3491 cbrt-undiv_binary64_5227 flip3--_binary64_6561 flip3-+_binary64_5196 difference-of-squares_binary64_3116 diff-log_binary64_2216 flip-+_binary64_6531 sqrt-div_binary64_6233 associate-/l*_binary64_4456 flip--_binary64_6532 flip-+_binary64_3462 distribute-lft-out_binary64_5485 associate-*l*_binary64_6498 associate-*r*_binary64_3769 associate-/r/_binary64_6503 swap-sqr_binary64_2091 sqrt-div_binary64
9×	distribute-lft-out--_binary64_712 sqrt-div_binary64_4528 associate-/l/_binary64 exp-prod_binary64_4222 unpow3_binary64_5259 pow1/2_binary64_5955 unswap-sqr_binary64_3115 associate--l+_binary64_6153 frac-sub_binary64_87 sub-neg_binary64_1435 clear-num_binary64 log-prod_binary64_4256 cbrt-unprod_binary64_5908 prod-exp_binary64_4219 associate-*r/_binary64_4453 cbrt-unprod_binary64_4203 pow-unpow_binary64_1519 pow1/3_binary64_2206 pow-unpow_binary64 frac-2neg_binary64 prod-exp_binary64_5924 div-exp_binary64_3198 associate-/l*_binary64_3092 associate-/r*_binary64_4455 cube-prod_binary64_1470 difference-of-squares_binary64_1411 difference-of-sqr-1_binary64_48 *-commutative_binary64_691 unpow-prod-down_binary64_1521 flip--_binary64_735 flip3--_binary64_764 log-div_binary64_3234
8×	clear-num_binary64_418 swap-sqr_binary64_3455 flip--_binary64_3804 associate--l+_binary64_356 flip--_binary64_53 diff-log_binary64_2557 associate--l-_binary64_6154 frac-2neg_binary64_430 log-pow_binary64_1872 flip3-+_binary64_1786 difference-of-sqr-1_binary64_389 associate-*l*_binary64_4452 flip-+_binary64_1757 sin-sum_binary64_3280 distribute-lft-out_binary64_370 frac-2neg_binary64_5204 clear-num_binary64_5192 sub-neg_binary64_2458 *-commutative_binary64_1714 unpow-prod-down_binary64_3908 sqrt-div_binary64_2823 sub-neg_binary64_2117 cosh-undef_binary64_613 pow-prod-down_binary64_149 rem-log-exp_binary64_3870 pow-prod-down_binary64_4582 clear-num_binary64_2805 sum-log_binary64_2215 flip3--_binary64_82 frac-sub_binary64_2133 div-inv_binary64_4508 associate-*l*_binary64_5816 frac-2neg_binary64_2817 flip3--_binary64_1105 flip--_binary64_1076 flip3--_binary64_3833
7×	unswap-sqr_binary64_3797 div-exp_binary64_129 cbrt-unprod_binary64_3180 distribute-frac-neg_binary64_723 associate-/l/_binary64_1389 associate-/r/_binary64_1388 log-pow_binary64_3577 rem-log-exp_binary64_6257 diff-log_binary64_170 unpow2_binary64 log-prod_binary64_3574 cube-prod_binary64_788 clear-num_binary64_1441 associate-*l/_binary64_1385 associate-/l/_binary64_1048 distribute-lft-out--_binary64_1735 distribute-lft-neg-out_binary64_719 cos-diff_binary64_1579 associate-/l/_binary64_366 cos-diff_binary64_3284 sub-neg_binary64_2799 frac-2neg_binary64_1453 frac-2neg_binary64_771 unswap-sqr_binary64_2433 sinh-undef_binary64_612 +-commutative_binary64_2054 log-pow_binary64_4259 associate-*r/_binary64_361 +-commutative_binary64_3077 cbrt-undiv_binary64_112 difference-of-sqr-1_binary64_5504 cancel-sign-sub-inv_binary64_1067 clear-num_binary64_759 sub-neg_binary64_753 pow-prod-down_binary64_831 1-exp_binary64_2168 sum-cubes_binary64_2807 diff-log_binary64_2898 sub-neg_binary64_3481 rec-exp_binary64_2174 tan-quot_binary64_1601
6×	exp-prod_binary64_1494 *-commutative_binary64_9 pow-exp_binary64_3215 difference-of-squares_binary64_4821 sqrt-pow1_binary64_1801 frac-2neg_binary64_3499 pow1/3_binary64_2888 swap-sqr_binary64_1750 associate-/l/_binary64_4458 pow-pow_binary64_6629 distribute-lft-out_binary64 rec-exp_binary64 rem-sqrt-square_binary64_5888 1-exp_binary64 prod-exp_binary64_3878 associate--l-_binary64_6495 pow1/2_binary64_1863 pow-to-exp_binary64_3216 frac-sub_binary64 cbrt-prod_binary64_450 prod-exp_binary64_3537 associate-*r/_binary64_1043 acos-asin_binary64_2305 frac-sub_binary64_3156 pow-unpow_binary64_837 cbrt-unprod_binary64_3521 difference-of-squares_binary64_4480 unpow-prod-down_binary64_4249 distribute-lft-in_binary64_3096 clear-num_binary64_3487 log-prod_binary64_1869 pow1/3_binary64_2547 distribute-lft-out--_binary64_2417 diff-log_binary64_6649 associate-/r*_binary64_3773 exp-prod_binary64_1835 pow1/3_binary64_160 difference-of-sqr--1_binary64_2095 sqrt-pow1_binary64_1119 associate--r-_binary64_6496 distribute-rgt-in_binary64_3097 associate-/r/_binary64_4798 rem-sqrt-square_binary64_1796 diff-log_binary64_3239 associate--r+_binary64_3765 distribute-lft-out--_binary64_30 pow-unpow_binary64_1178 unpow-prod-down_binary64_5613 sub-neg_binary64_71 pow1/2_binary64_1181 exp-prod_binary64_3540 pow-unpow_binary64_6634 cbrt-undiv_binary64_5568 exp-sum_binary64_4216 sub-neg_binary64_6550 frac-times_binary64_88
5×	associate-/l/_binary64_1730 sub-neg_binary64_5186 frac-2neg_binary64_1794 rem-cube-cbrt_binary64_1465 cbrt-undiv_binary64_5909 *-commutative_binary64_2737 unpow-prod-down_binary64_2203 diff-log_binary64_5285 cos-mult_binary64_1596 div-inv_binary64_5872 pow-prod-down_binary64_3218 frac-2neg_binary64_5545 pow-sqr_binary64_4143 sum-log_binary64_6307 clear-num_binary64_4851 clear-num_binary64_4510 flip-+_binary64_4144 pow1/2_binary64_4250 sqrt-pow1_binary64_4188 frac-times_binary64_3498 div-exp_binary64_5926 flip3-+_binary64_4173 associate-*r/_binary64_3430 pow-prod-up_binary64_4240 distribute-rgt-in_binary64_3438 flip--_binary64_3122 frac-times_binary64_2816 *-commutative_binary64_3078 distribute-lft-in_binary64_3437 diff-log_binary64_852 clear-num_binary64_5533 prod-exp_binary64_5242 pow-exp_binary64_1510 clear-num_binary64_1782 cube-mult_binary64_1472 associate-/r/_binary64_706 unpow3_binary64_1508 frac-2neg_binary64_4522 flip3--_binary64_3151 associate-*r/_binary64_2748 cbrt-unprod_binary64_6590 frac-times_binary64_2134 distribute-lft-out--_binary64_2758 difference-of-sqr-1_binary64_2094 cos-atan_binary64_1621 frac-2neg_binary64_4863 pow-pow_binary64_1514 distribute-frac-neg_binary64_5838
4×	frac-2neg_binary64_5886 sqrt-div_binary64_436 associate-*r/_binary64_1384 flip3-+_binary64_3832 cbrt-div_binary64_2838 acos-asin_binary64_1623 cancel-sign-sub-inv_binary64_3795 pow1/2_binary64_2886 distribute-rgt-out_binary64_5146 neg-sub0_binary64_5870 sin-sum_binary64_1575 cbrt-prod_binary64_6247 pow2_binary64_841 flip--_binary64_5509 diff-log_binary64_6308 pow-prod-down_binary64_2195 diff-log_binary64 *-commutative_binary64_2396 log-div_binary64_1188 associate-*l*_binary64_4111 flip-+_binary64_3803 cancel-sign-sub-inv_binary64_4477 flip3--_binary64_1446 sqrt-pow1_binary64_2824 diff-log_binary64_3580 frac-times_binary64_5203 pow-plus_binary64_823 clear-num_binary64_5874 *-commutative_binary64_4442 cube-prod_binary64_3857 cancel-sign-sub-inv_binary64_4818 associate-/r/_binary64_3775 rec-exp_binary64_5584 distribute-rgt-in_binary64_710 associate--l+_binary64_3766 div-inv_binary64_3144 cube-mult_binary64_5223 distribute-lft-out--_binary64_1053 cube-prod_binary64_106 sqr-pow_binary64_3801 pow-exp_binary64_1169 flip--_binary64_1417 associate-*l*_binary64_4793 diff-log_binary64_1534 associate-/l/_binary64_5140 rem-sqrt-square_binary64_2819 swap-sqr_binary64_4137 associate-*l*_binary64_5134 1-exp_binary64_5578 div-sub_binary64_2470 exp-sum_binary64_3534 sqrt-pow1_binary64_1460 unpow-prod-down_binary64_5954 sum-log_binary64_2897 frac-times_binary64_5544 frac-times_binary64_1111 associate-+r-_binary64_2058 rem-sqrt-square_binary64_4183 associate-/l*_binary64_3774 div-sub_binary64_5880 associate--l+_binary64_2061 cbrt-undiv_binary64_6591 distribute-lft-in_binary64_709 unpow-prod-down_binary64_2544 rem-sqrt-square_binary64_1114 pow-prod-up_binary64_830 pow-sqr_binary64_733 pow-prod-down_binary64_4923 associate-*l/_binary64_5136 pow-prod-up_binary64 diff-log_binary64_511 associate-*l/_binary64_2749 associate-*r/_binary64_3089 associate-*r*_binary64_4110 sqr-pow_binary64_5165 +-commutative_binary64_2736
3×	distribute-lft-out--_binary64_4804 associate-*l/_binary64_3431 flip--_binary64_4486 pow-unpow_binary64_4247 frac-times_binary64_1452 flip3--_binary64_4856 cbrt-undiv_binary64_3181 +-commutative_binary64_1713 cancel-sign-sub-inv_binary64_6182 clear-num_binary64_3146 pow-plus_binary64_4233 +-commutative_binary64_2395 flip3--_binary64_6220 pow1/2_binary64 div-sub_binary64_765 rem-log-exp_binary64_3188 flip3--_binary64_4515 sub-neg_binary64_1094 sum-log_binary64_2556 sqrt-prod_binary64_4868 associate-/l/_binary64_4799 flip--_binary64_6191 frac-2neg_binary64_89 rem-log-exp_binary64_1483 difference-of-sqr-1_binary64_1071 unpow2_binary64_1166 *-commutative_binary64_2055 distribute-frac-neg_binary64_2087 inv-pow_binary64_5619 clear-num_binary64_77 cube-div_binary64_1471 flip--_binary64_4827 acos-neg_binary64_2307 pow-unpow_binary64_496 pow-unpow_binary64_3224 pow1/2_binary64_6296 cbrt-unprod_binary64_5226 distribute-frac-neg_binary64_2428 prod-exp_binary64_5583 cube-prod_binary64_1811 unpow-prod-down_binary64_1862 distribute-rgt-neg-in_binary64_6515 pow-prod-up_binary64_2876 +-commutative_binary64_3418 associate-*r*_binary64_6497 associate-*l/_binary64_2067 sqrt-pow1_binary64 cos-diff_binary64_2261 distribute-lft-neg-in_binary64_6514 sqrt-pow1_binary64_6234 sum-log_binary64_1874 diff-log_binary64_1193 distribute-lft-out--_binary64_4463 pow-unpow_binary64_3565 asin-acos_binary64_1622 unswap-sqr_binary64_5843 exp-to-pow_binary64_1504 swap-sqr_binary64_1409 associate--r+_binary64_1378 pow-unpow_binary64_2201 sub-neg_binary64_6209 pow-unpow_binary64_5611 cos-atan_binary64_939 unswap-sqr_binary64_4479 log-prod_binary64_2892 associate-*r/_binary64_2066 pow-prod-down_binary64_3559 *-commutative_binary64_3419 rem-log-exp_binary64_1142 flip3--_binary64_5538 frac-2neg_binary64_3158 sum-log_binary64_3579 pow-pow_binary64 unswap-sqr_binary64_5161 log-pow_binary64_3236 distribute-lft-out_binary64_1052 sqr-pow_binary64_1073 *-commutative_binary64_5806 distribute-lft-out--_binary64_1394 sqrt-prod_binary64_3163 cbrt-prod_binary64_4201 pow-to-exp_binary64_1511 log-prod_binary64_846 sum-log_binary64_169 neg-sub0_binary64_2460 distribute-lft-neg-out_binary64
2×	associate-*l/_binary64_5477 +-commutative_binary64_8 div-inv_binary64_3826 un-div-inv_binary64_5191 div-exp_binary64_3880 +-commutative_binary64_1031 pow1/3_binary64_501 pow-to-exp_binary64_147 sum-log_binary64_851 sinh-def_binary64_604 pow-exp_binary64_3556 flip3-+_binary64_422 sqr-pow_binary64_6529 unpow3_binary64_826 associate-*r/_binary64_6499 pow-pow_binary64_491 associate-/l/_binary64_3776 pow-pow_binary64_1173 pow-prod-up_binary64_2194 distribute-rgt-in_binary64_1392 pow-pow_binary64_5606 rem-log-exp_binary64_6598 pow-to-exp_binary64_3898 pow-prod-up_binary64_5604 frac-add_binary64 rem-cube-cbrt_binary64_3511 pow-exp_binary64_3897 sum-log_binary64_1192 sub-neg_binary64_4845 log-div_binary64_1870 sin-diff_binary64_3283 pow2_binary64_4251 associate-+r-_binary64_6150 *-commutative_binary64_4783 pow-flip_binary64 sqrt-div_binary64_3164 pow-prod-down_binary64_5605 frac-times_binary64_429 rem-log-exp_binary64_1824 +-commutative_binary64_6146 associate-/l/_binary64_2753 pow-sqr_binary64_2779 associate-*r/_binary64_1725 pow-sqr_binary64_1756 associate--l-_binary64_3767 pow-sqr_binary64_5507 cosh-def_binary64_605 diff-log_binary64_4603 pow-pow_binary64_4242 1-exp_binary64_5237 distribute-lft-in_binary64_1391 sqrt-prod_binary64_1458 pow-exp_binary64_146 frac-add_binary64_3155 +-commutative_binary64_690 cube-mult_binary64_790 exp-diff_binary64_1831 unpow3_binary64_3554 inv-pow_binary64 pow1/3_binary64_1524 cube-div_binary64_3517 pow1/2_binary64_1522 sub-neg_binary64_4504 *-commutative_binary64_3760 flip-+_binary64_393 pow-flip_binary64_2198 associate-*r/_binary64_4794 rec-exp_binary64_5243 associate-*l/_binary64_1044 rem-sqrt-square_binary64 *-commutative_binary64_4101 associate-+l-_binary64_6151 associate-*r/_binary64_5476 pow-sqr_binary64_2097 inv-pow_binary64_6642 pow-to-exp_binary64_1170 associate-*l/_binary64_4454 pow-flip_binary64_6631 associate--l+_binary64_3084 frac-times_binary64_4521 cube-mult_binary64_3518 pow-sqr_binary64 diff-log_binary64_4944 cbrt-unprod_binary64_3862 associate-*r/_binary64_5135 sqr-pow_binary64_3460 sub-div_binary64_85 inv-pow_binary64_2209 atan-neg_binary64_944 pow2_binary64 pow-exp_binary64_487 exp-sum_binary64_1488 associate--r-_binary64_3768 pow-pow_binary64_832 cos-neg_binary64_891 pow-prod-up_binary64_1853
1×	pow-prod-down_binary64_5264 pow2_binary64_5615 pow-to-exp_binary64_4239 distribute-rgt-out--_binary64_2760 pow-to-exp_binary64_3557 rem-sqrt-square_binary64_6229 cbrt-undiv_binary64_3863 unswap-sqr_binary64_4820 rem-cbrt-cube_binary64_784 rem-log-exp_binary64_5234 distribute-rgt-neg-out_binary64_5835 distribute-lft-out--_binary64_5827 diff-log_binary64_5626 log-div_binary64_3575 unpow-prod-down_binary64_498 pow-prod-down_binary64_6628 pow-plus_binary64_3551 pow1/2_binary64_3227 pow1/3_binary64_3229 sqr-pow_binary64_1755 tanh-def-b_binary64_607 frac-add_binary64_5201 cbrt-div_binary64_1474 pow1/3_binary64_4252 unpow3_binary64_3895 div-sub_binary64_4857 pow-plus_binary64_5597 cube-mult_binary64_1813 sqr-cos-a_binary64_4319 cube-mult_binary64_3859 rem-log-exp_binary64_4211 pow-to-exp_binary64_5262 pow-flip_binary64_5267 pow-pow_binary64_2196 associate-*l/_binary64_3090 frac-sub_binary64_5543 exp-diff_binary64_808 distribute-lft-in_binary64_2755 unpow3_binary64_1849 pow-plus_binary64_1846 sqr-pow_binary64_4142 inv-pow_binary64_5278 unpow2_binary64_484 associate-/l/_binary64_25 associate--l+_binary64_15 pow-exp_binary64_2192 pow1/3_binary64_6298 rem-exp-log_binary64_2846 associate-/l*_binary64_6502 pow-exp_binary64_4238 clear-num_binary64_3828 sub-neg_binary64_3822 tanh-undef_binary64_614 sum-log_binary64_510 sqr-pow_binary64_391 distribute-rgt-in_binary64_5825 sum-log_binary64 sin-mult_binary64_3302 associate-+r-_binary64_3081 distribute-lft-in_binary64_5824 pow1/3_binary64_3570 neg-sub0_binary64_755 unpow3_binary64_144 sinh-def_binary64_945 *-commutative_binary64_5124 pow-to-exp_binary64_5603 associate--r+_binary64_5129 rem-log-exp_binary64_2847 unswap-sqr_binary64_6525 pow-plus_binary64_2187 exp-diff_binary64_1490 associate-+r+_binary64_6148 rem-log-exp_binary64_3529 sqr-pow_binary64_2096 rem-cbrt-cube_binary64_3512 tanh-def-a_binary64_606 pow-to-exp_binary64_488 pow2_binary64_3569 pow-prod-up_binary64_3558 rem-cbrt-cube_binary64_3171 pow1/3_binary64_842 difference-cubes_binary64_1444 rem-sqrt-square_binary64_3160 pow2_binary64_1523 associate--r+_binary64_3083 log-div_binary64_847 pow-plus_binary64 *-commutative_binary64_6488 cube-mult_binary64_108 associate--r+_binary64_2060 cbrt-div_binary64_792 distribute-lft-neg-out_binary64_6516 cbrt-unprod_binary64_5567 sqrt-pow1_binary64_3165 rem-cbrt-cube_binary64_1807 cos-sum_binary64_2258 cube-div_binary64_789 exp-diff_binary64_5241 clear-num_binary64_6556 rem-log-exp_binary64_801 distribute-rgt1-in_binary64_5149 sqr-pow_binary64_5506 pow-to-exp_binary64_2193 neg-mul-1_binary64_6553 frac-2neg_binary64_3840 sinh-undef_binary64_953 distribute-lft-in_binary64_6506 distribute-rgt-in_binary64_6507 unpow2_binary64_2189 pow2_binary64_2887 cbrt-div_binary64_3520 frac-2neg_binary64_6568 sin-diff_binary64_1578 pow-prod-up_binary64_1512 sqrt-pow1_binary64_437 sum-log_binary64_5284 sqr-abs_binary64 rem-cube-cbrt_binary64_3170 associate--l-_binary64_2062 rem-exp-log_binary64_4210 div-sub_binary64_4516 pow-exp_binary64_5602 log-div_binary64_1529 associate-/r*_binary64_6501 pow-plus_binary64_1505 sqrt-unprod_binary64_1121 pow1/2_binary64_499 pow2_binary64_2205 mul0-rgt_binary64 exp-diff_binary64_3536 frac-add_binary64_2132 pow-pow_binary64_3219 +-commutative_binary64_349 pow-sqr_binary64_3461 pow-pow_binary64_3560 unswap-sqr_binary64_4138 pow-plus_binary64_2869 pow-sqr_binary64_1415 pow2_binary64_1864 log-div_binary64_5280 sqr-cos-a_binary64_1591 pow-exp_binary64_5261 div-sub_binary64_1106 associate--l+_binary64 rem-cbrt-cube_binary64_1466 tanh-def-c_binary64_608 diff-log_binary64_3921 div-sub_binary64_424 distribute-rgt-in_binary64_2756 div-sub_binary64_2811 cosh-def_binary64_3674 rem-sqrt-square_binary64_432 sub-neg_binary64_5527

Calls

642 calls:

276.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))))
101.0ms	(*.f64 (-.f64 (/.f64 1 (/.f64 (/.f64 v m) (-.f64 1 m))) 1) (-.f64 1 m))
92.0ms	(-.f64 (/.f64 1 (/.f64 (/.f64 v m) (-.f64 1 m))) 1)
74.0ms	(-.f64 (/.f64 (/.f64 2 (sqrt.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))))) (sqrt.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))))) 1)
55.0ms	(*.f64 (sqrt.f64 m) (/.f64 (sqrt.f64 m) (/.f64 v (-.f64 1 m))))