rewrite36.0s (9%)

Algorithm

105×	rewrite-expression-head

Rules

1736×	times-frac_binary64_2471
1208×	*-un-lft-identity_binary64_2465
1056×	add-sqr-sqrt_binary64_2487
988×	times-frac_binary64
876×	times-frac_binary64_425
869×	*-un-lft-identity_binary64_1101
845×	times-frac_binary64_1107
793×	*-un-lft-identity_binary64
787×	add-sqr-sqrt_binary64
749×	*-un-lft-identity_binary64_419
702×	add-sqr-sqrt_binary64_1123
676×	add-cube-cbrt_binary64_2500
657×	add-sqr-sqrt_binary64_441
587×	times-frac_binary64_84
576×	add-sqr-sqrt_binary64_100
519×	add-cube-cbrt_binary64
513×	*-un-lft-identity_binary64_78
451×	add-cube-cbrt_binary64_1136
447×	add-cube-cbrt_binary64_454
414×	add-exp-log_binary64
384×	add-cbrt-cube_binary64
383×	cancel-sign-sub-inv_binary64_1067
348×	associate-*r*_binary64
338×	cancel-sign-sub-inv_binary64_385
287×	add-cube-cbrt_binary64_113
266×	add-exp-log_binary64_457 add-sqr-sqrt_binary64_4874
235×	cbrt-prod_binary64
225×	distribute-lft-out_binary64_1052
215×	*-un-lft-identity_binary64_4511
207×	distribute-lft-out_binary64_2416
205×	add-sqr-sqrt_binary64_1464
202×	times-frac_binary64_4858
188×	*-un-lft-identity_binary64_2806
183×	add-cbrt-cube_binary64_455
182×	times-frac_binary64_1448
180×	cbrt-prod_binary64_109
178×	associate-*r*_binary64_2405
174×	difference-of-sqr--1_binary64_2436
173×	sqrt-prod_binary64_4868
172×	unpow-prod-down_binary64_2544
171×	cbrt-unprod_binary64 prod-exp_binary64
169×	add-sqr-sqrt_binary64_2828
168×	difference-of-squares_binary64_2434
166×	*-un-lft-identity_binary64_1442
165×	add-exp-log_binary64_1139
162×	frac-sub_binary64_769
157×	times-frac_binary64_3153
151×	add-cbrt-cube_binary64_1137
150×	difference-of-squares_binary64
149×	sqr-pow_binary64_2437 add-sqr-sqrt_binary64_2146
148×	frac-times_binary64_770
142×	*-un-lft-identity_binary64_4852
140×	*-un-lft-identity_binary64_2124
138×	distribute-lft-out_binary64_370
131×	div-inv_binary64_1098
130×	difference-of-squares_binary64_388 add-sqr-sqrt_binary64_3169
128×	add-cube-cbrt_binary64_3182 *-un-lft-identity_binary64_3147
126×	add-cube-cbrt_binary64_1477
124×	add-cube-cbrt_binary64_4887 pow1_binary64
121×	sqrt-prod_binary64_435
115×	exp-neg_binary64_807 neg-sub0_binary64_755
113×	prod-exp_binary64_468
111×	div-inv_binary64_416
110×	times-frac_binary64_2812
107×	unpow-prod-down_binary64_1180 add-exp-log_binary64_116 difference-of-squares_binary64_1070
105×	add-log-exp_binary64_4550
102×	cbrt-undiv_binary64 div-exp_binary64
101×	distribute-lft-out_binary64_4462
100×	cbrt-prod_binary64_2837
98×	difference-of-squares_binary64_47
97×	associate-*r*_binary64_1041
95×	associate-/r*_binary64
93×	add-cube-cbrt_binary64_2159 add-cube-cbrt_binary64_2841
88×	div-exp_binary64_470
87×	exp-diff_binary64_808
84×	difference-of-sqr-1_binary64_2435 add-log-exp_binary64_1140 associate-*r*_binary64_359
83×	times-frac_binary64_2130 add-cbrt-cube_binary64_114
82×	add-sqr-sqrt_binary64_1805
81×	distribute-lft-out--_binary64
80×	div-inv_binary64_2462
79×	add-exp-log_binary64_2162 add-log-exp_binary64_2504 associate-*l*_binary64_360 add-cbrt-cube_binary64_2160
78×	associate-*l/_binary64_703
77×	pow1_binary64_1162
74×	distribute-lft-in_binary64_1050 associate-*r/_binary64_702 distribute-rgt-in_binary64_1051
72×	add-exp-log_binary64_1480
70×	unpow-prod-down_binary64_498
67×	add-exp-log_binary64_2503 add-log-exp_binary64_2163
65×	add-exp-log_binary64_4890 add-cbrt-cube_binary64_1478
64×	cbrt-unprod_binary64_452
63×	distribute-lft-out_binary64_29
61×	cube-prod_binary64_1470 unpow-prod-down_binary64_1521 add-cbrt-cube_binary64_2501
60×	flip3-+_binary64_763 flip-+_binary64_734
59×	sum-log_binary64_4602 flip--_binary64_735 flip3--_binary64_764 associate-*r*_binary64_18 *-un-lft-identity_binary64_1783
58×	add-exp-log_binary64_3185
57×	pow1_binary64_1503 associate-*l*_binary64_4793 associate-*r*_binary64_4792
56×	associate-/r/_binary64_24
55×	pow-prod-down_binary64
54×	associate-*r/_binary64 cbrt-undiv_binary64_453 *-un-lft-identity_binary64_760
52×	cancel-sign-sub-inv_binary64_1408 add-cbrt-cube_binary64_3183
51×	associate-/l*_binary64_23 associate-*l*_binary64_19
50×	pow1_binary64_139 add-log-exp_binary64 sqr-pow_binary64_391
49×	distribute-lft-out--_binary64_30 sqrt-prod_binary64_1117
48×	pow1_binary64_2185 associate-/l*_binary64_2410 associate-*l*_binary64_1042 associate-/r/_binary64_1047
47×	div-inv_binary64 pow1_binary64_480
46×	associate-/r*_binary64_1045 add-sqr-sqrt_binary64_782
45×	add-cube-cbrt_binary64_1818 prod-exp_binary64_1150 add-cbrt-cube_binary64_4888 cube-prod_binary64_2834 unpow-prod-down_binary64_2885
44×	add-sqr-sqrt_binary64_4533
43×	cbrt-unprod_binary64_1134 unswap-sqr_binary64_4820 associate-/l*_binary64
41×	associate-*l*_binary64
40×	flip3--_binary64 flip--_binary64 flip3-+_binary64_2468 div-exp_binary64_1152 flip-+_binary64_2439 add-cube-cbrt_binary64_795 associate-/r*_binary64_3091 sqrt-prod_binary64
39×	pow1_binary64_2526 cancel-sign-sub-inv_binary64
38×	associate-/l*_binary64_364 cancel-sign-sub-inv_binary64_1749
37×	add-log-exp_binary64_458 un-div-inv_binary64_758 add-log-exp_binary64_1822 pow-neg_binary64_833 difference-of-squares_binary64_2775
36×	cbrt-prod_binary64_1473 distribute-lft-out--_binary64_1053 frac-times_binary64 prod-exp_binary64_127 distribute-lft-out--_binary64_371 cbrt-undiv_binary64_1135
35×	sum-log_binary64_2556 flip-+_binary64_1075 flip3-+_binary64_1104
34×	associate-/l*_binary64_2751
33×	associate-/r/_binary64 swap-sqr_binary64_1068
32×	associate-/l*_binary64_1046 associate-*l/_binary64 associate-*r*_binary64_2064
31×	associate-/r/_binary64_2411 difference-of-squares_binary64_1411
30×	add-log-exp_binary64_3186 add-log-exp_binary64_117 add-cube-cbrt_binary64_4546 sqrt-div_binary64_4869 sqr-pow_binary64_1073
29×	cancel-sign-sub-inv_binary64_44 flip-+_binary64_3121 flip3-+_binary64_3150 associate-/r*_binary64_2409 sqrt-prod_binary64_2140
28×	pow-sub_binary64_836 flip-+_binary64_52 times-frac_binary64_4517 distribute-lft-out--_binary64_2417 flip3-+_binary64_81
27×	div-inv_binary64_75 add-cbrt-cube_binary64_1819 add-exp-log_binary64_1821 cbrt-prod_binary64_2155 add-log-exp_binary64_799 associate-/r*_binary64_22
26×	pow1_binary64_4913 add-log-exp_binary64_2845 add-sqr-sqrt_binary64_3851
25×	add-exp-log_binary64_3867 cbrt-unprod_binary64_1475 associate-/r/_binary64_3093 pow-prod-down_binary64_1513 add-exp-log_binary64_2844 add-cbrt-cube_binary64_2842 prod-exp_binary64_1491
24×	add-log-exp_binary64_1481 cbrt-unprod_binary64_111
23×	pow1_binary64_1844 distribute-lft-out_binary64_2757 distribute-lft-out_binary64 associate-/l*_binary64_3092 associate-*r/_binary64_2407
22×	associate-/r/_binary64_365 1-exp_binary64_463 unswap-sqr_binary64_46
21×	cancel-sign-sub-inv_binary64_2090 pow1_binary64_3208 add-cbrt-cube_binary64_796 add-log-exp_binary64_4891 swap-sqr_binary64_386 difference-of-squares_binary64_2093
20×	*-un-lft-identity_binary64_3829 add-exp-log_binary64_798 associate-*l*_binary64_2065 distribute-rgt-in_binary64 pow1_binary64_821 flip3--_binary64_423 associate-/l/_binary64_3094 frac-add_binary64_2473 pow1_binary64_2867 flip--_binary64_394 distribute-lft-in_binary64
19×	associate-*r*_binary64_1382 div-exp_binary64_4903 div-exp_binary64_3198 pow1_binary64_4572 sqrt-prod_binary64_1799 associate-/r*_binary64_363
18×	sqrt-prod_binary64_3163 exp-prod_binary64_812 cbrt-div_binary64_2156 flip3-+_binary64_4514 distribute-lft-out--_binary64_4463 distribute-lft-out--_binary64_2758 associate-/r*_binary64_1386 diff-log_binary64_1193 flip3--_binary64_1787 div-exp_binary64_129 cbrt-prod_binary64_2496 flip--_binary64_1758 flip-+_binary64_4485 difference-of-sqr-1_binary64_2776
17×	prod-exp_binary64_2173 sqr-pow_binary64_1414 cbrt-unprod_binary64_2157 flip3--_binary64_2128 add-cube-cbrt_binary64_3864 add-cbrt-cube_binary64_3865 associate-*l*_binary64_1383 flip--_binary64_2099
16×	times-frac_binary64_1789 cancel-sign-sub-inv_binary64_726 unpow3_binary64_1508 cube-prod_binary64_1129 flip3-+_binary64_2127 flip-+_binary64_2098 pow-prod-down_binary64_149 cbrt-undiv_binary64_2499 prod-exp_binary64_4901 cbrt-div_binary64 add-cbrt-cube_binary64_4547 *-commutative_binary64 pow-unpow_binary64_2542 add-exp-log_binary64_4549 div-exp_binary64_2516 sqrt-div_binary64_436 associate-+r+_binary64 frac-add_binary64
15×	distribute-rgt-in_binary64_28 sqrt-prod_binary64_3845 flip3--_binary64_1105 associate-/r*_binary64_4796 flip--_binary64_1076 difference-of-squares_binary64_4480 flip-+_binary64 distribute-lft-in_binary64_27 flip3-+_binary64 cbrt-prod_binary64_3178 unswap-sqr_binary64_1069 flip3-+_binary64_4855 flip-+_binary64_4826 cbrt-undiv_binary64_3181 sum-log_binary64_1192
14×	distribute-lft-out_binary64_2075 associate-/r/_binary64_4798 div-exp_binary64_2175 cbrt-undiv_binary64_2158 associate-/l*_binary64_2069 pow1_binary64_3890 add-log-exp_binary64_3868 distribute-rgt-in_binary64_369 div-inv_binary64_3144 unswap-sqr_binary64 difference-of-squares_binary64_1752 distribute-lft-in_binary64_368
13×	sub-neg_binary64 associate-*r*_binary64_1723 div-inv_binary64_1439 associate-*r*_binary64_3769 associate-/r*_binary64_2068 associate-*l*_binary64_3770 flip3--_binary64_82 cbrt-undiv_binary64_112 flip--_binary64_53
12×	distribute-lft-out--_binary64_2076 times-frac_binary64_766 sub-neg_binary64_1776 associate-/r/_binary64_2070 cbrt-prod_binary64_791 associate-*l*_binary64_701 associate-/r/_binary64_1388 diff-log_binary64_2216 cbrt-prod_binary64_1814 unpow-prod-down_binary64_839
11×	clear-num_binary64 cbrt-prod_binary64_1132 prod-exp_binary64_3878 frac-2neg_binary64 cbrt-undiv_binary64_4886 pow-prod-down_binary64_1172 associate-/r*_binary64_2750 swap-sqr_binary64_4478
10×	sqrt-pow1_binary64_437 sqrt-prod_binary64_94 pow1/2_binary64_499 diff-log_binary64_1875 cube-mult_binary64_3859 *-commutative_binary64_1032 cube-mult_binary64_1472 associate-*r/_binary64_1043 sub-neg_binary64_412
9×	associate-+l+_binary64 associate-*r*_binary64_700 associate-/l*_binary64_1387 unpow-prod-down_binary64_157 *-commutative_binary64_9 sub-neg_binary64_1094 frac-2neg_binary64_3158 pow1/3_binary64_2206 div-exp_binary64_1493 frac-2neg_binary64_1112 associate-*r/_binary64_361 clear-num_binary64_3146 flip-+_binary64_393 associate-*l*_binary64_2406 clear-num_binary64_1100 unswap-sqr_binary64_387 frac-times_binary64_88 cube-prod_binary64_106 associate-/l*_binary64_4797 sum-log_binary64_2215 pow-unpow_binary64_1178 flip3-+_binary64_422 unpow-prod-down_binary64_1862
8×	associate--r+_binary64_1719 div-sub_binary64 cbrt-unprod_binary64_2498 sqrt-div_binary64_1800 flip-+_binary64_1416 div-inv_binary64_2121 +-commutative_binary64_4441 cbrt-unprod_binary64_4885 distribute-lft-out--_binary64_1394 diff-log_binary64_511 prod-exp_binary64_2514 pow-prod-down_binary64_490 associate-/l/_binary64 +-commutative_binary64_2395 flip3-+_binary64_1445 flip3-+_binary64_3832 flip-+_binary64_3803 sqrt-div_binary64_2141
7×	associate-/r*_binary64_4455 associate-+r+_binary64_2397 flip--_binary64_2781 cube-mult_binary64_2836 *-commutative_binary64_1373 pow1/2_binary64_4932 distribute-lft-out--_binary64_1735 rem-sqrt-square_binary64_4865 associate-*r/_binary64_20 pow-pow_binary64_1173 cancel-sign-sub-inv_binary64_2772 frac-2neg_binary64_430 sqr-pow_binary64_2778 associate-*r/_binary64_2066 distribute-lft-out_binary64_711 sqrt-pow1_binary64_4870 div-inv_binary64_4849 associate-+l+_binary64_4444 flip3--_binary64_2810 pow-prod-down_binary64_2195 frac-times_binary64_429 unpow3_binary64_2872 clear-num_binary64_418 sub-neg_binary64_2117 log-pow_binary64_2554
6×	cube-prod_binary64_2493 pow-to-exp_binary64_2534 associate-*r*_binary64_2746 associate-/l/_binary64_4799 associate--r+_binary64_1037 associate-/l/_binary64_2753 exp-prod_binary64_2517 pow-pow_binary64_2537 distribute-rgt1-in_binary64_3785 associate-*l/_binary64_362 flip3-+_binary64_2809 distribute-rgt-out_binary64_3782 clear-num_binary64_77 pow-unpow_binary64_2883 pow-exp_binary64_2533 frac-2neg_binary64_89 flip-+_binary64_2780 frac-times_binary64_1111 sqrt-div_binary64_3164 unswap-sqr_binary64_2092 distribute-lft-out_binary64_3780 associate-*l*_binary64_1724 distribute-rgt-out--_binary64_1396 distribute-lft-neg-in_binary64 +-commutative_binary64_3077 sum-log_binary64_3238 pow-unpow_binary64_837 associate-*l*_binary64_2747 distribute-rgt-neg-in_binary64 associate-/l*_binary64_1728 rem-exp-log_binary64_800 sqrt-prod_binary64_1458 cancel-sign-sub-inv_binary64_4477 cube-div_binary64_2835 frac-add_binary64_1109
5×	prod-exp_binary64_3196 sqr-pow_binary64_50 pow-prod-down_binary64_2536 pow-pow_binary64_2878 unswap-sqr_binary64_2433 associate-/l/_binary64_366 pow-prod-up_binary64_489 cbrt-unprod_binary64_3862 sub-neg_binary64_71 cube-mult_binary64_1131 sum-log_binary64 pow-exp_binary64_1510 associate-*l*_binary64_4452 flip3--_binary64_4856 pow-to-exp_binary64_1170 associate-*r*_binary64_4451 unpow3_binary64_3895 *-commutative_binary64_2055 cbrt-unprod_binary64_3180 pow-exp_binary64_1169 unpow3_binary64_1167 flip--_binary64_4827 associate-*l/_binary64_21
4×	sqrt-pow1_binary64_1801 *-commutative_binary64_350 pow1/2_binary64_2204 log-prod_binary64_2551 distribute-lft-in_binary64_1732 unswap-sqr_binary64_3797 diff-log_binary64_852 flip3--_binary64_4515 associate-/l/_binary64_1048 distribute-rgt-neg-in_binary64_718 pow-to-exp_binary64_1511 distribute-rgt-in_binary64_1733 neg-mul-1_binary64_756 pow1/2_binary64_1863 associate-/l*_binary64_4456 rem-sqrt-square_binary64_1796 diff-log_binary64_4603 associate-/l*_binary64_705 sub-neg_binary64_753 associate-*l/_binary64_2067 frac-times_binary64_4521 sqr-pow_binary64_732 rem-sqrt-square_binary64_2137 sqrt-div_binary64_3846 cbrt-undiv_binary64_1476 flip--_binary64_4486 frac-times_binary64_3157 frac-sub_binary64_1110 log-prod_binary64_1187 sqrt-pow1_binary64_2142 rem-sqrt-square_binary64_432 associate-*l/_binary64_1044 cbrt-div_binary64_2838 cbrt-div_binary64_110 associate-*r/_binary64_3771 associate--r+_binary64_2060 distribute-lft-neg-in_binary64_717 unpow-prod-down_binary64_3908 frac-add_binary64_4519 1-exp_binary64_4896 associate-*l/_binary64_3772 rec-exp_binary64_4902
3×	associate-/r*_binary64_704 div-sub_binary64_4857 flip--_binary64_3122 exp-prod_binary64_2858 clear-num_binary64_1441 clear-num_binary64_4851 +-commutative_binary64 div-inv_binary64_2803 clear-num_binary64_2464 flip3--_binary64_3151 cbrt-unprod_binary64_1816 cube-prod_binary64_1811 rec-exp_binary64_128 div-exp_binary64_1834 pow1/3_binary64_160 distribute-rgt-in_binary64_2074 frac-sub_binary64_428 clear-num_binary64_2805 associate-/l/_binary64_2412 frac-2neg_binary64_1453 associate-+r-_binary64 *-commutative_binary64_3760 sum-log_binary64_2897 sum-log_binary64_3920 cbrt-undiv_binary64_2840 distribute-lft-neg-out_binary64 pow-sqr_binary64_392 neg-log_binary64_853 cube-prod_binary64_788 cbrt-undiv_binary64_1817 frac-2neg_binary64_2476 prod-exp_binary64_1832 pow-plus_binary64_1164 associate--r+_binary64_4447 sqr-pow_binary64_1755 frac-2neg_binary64_4863 div-exp_binary64_2857 diff-log_binary64 clear-num_binary64_2123 frac-2neg_binary64_2817 +-commutative_binary64_2054 *-commutative_binary64_691 1-exp_binary64_1486 unswap-sqr_binary64_728 associate--l-_binary64 pow-exp_binary64_146 pow2_binary64_1182 prod-exp_binary64_809 1-exp_binary64_122 rec-exp_binary64_1492 cancel-sign-sub-inv_binary64_2431 pow-to-exp_binary64_147 diff-log_binary64_170 +-commutative_binary64_1031 *-commutative_binary64_2396 +-commutative_binary64_3759 pow-unpow_binary64_1519 pow-sqr_binary64_1074 pow-prod-down_binary64_831 frac-2neg_binary64_2135 sub-neg_binary64_2799 +-commutative_binary64_2736 cbrt-unprod_binary64_793 diff-log_binary64_2898 pow-prod-up_binary64_1171 distribute-lft-in_binary64_2073
2×	associate-*r/_binary64_2748 sqrt-pow1_binary64_3165 cube-div_binary64_1812 *-commutative_binary64_2737 associate-+r+_binary64_4443 associate-/l/_binary64_707 pow-exp_binary64_828 pow-flip_binary64_1175 associate-*r/_binary64_4794 unswap-sqr_binary64_1751 associate--l+_binary64_1038 sub-neg_binary64_1435 flip3--_binary64_2469 pow1/2_binary64_3227 pow-to-exp_binary64_3898 flip--_binary64_2440 flip3--_binary64_1446 frac-times_binary64_1793 diff-log_binary64_4944 cbrt-div_binary64_792 cbrt-unprod_binary64_2839 unswap-sqr_binary64_1410 associate-/l/_binary64_4458 sub-neg_binary64_4504 associate-/r/_binary64_4457 cbrt-div_binary64_1815 rem-sqrt-square_binary64_3160 sqrt-pow1_binary64_3847 log-div_binary64_1188 associate-+l+_binary64_2057 pow-exp_binary64_3897 associate-*l/_binary64_1726 pow-exp_binary64_2874 sqrt-pow2_binary64_1120 frac-times_binary64_4862 rec-exp_binary64_1151 rem-sqrt-square_binary64_3842 diff-log_binary64_1534 pow1/2_binary64_1181 distribute-lft-in_binary64_2414 div-inv_binary64_1780 distribute-lft-in_binary64_4460 rem-cube-cbrt_binary64_1465 distribute-rgt-in_binary64_2415 rem-sqrt-square_binary64 associate-/l/_binary64_25 cube-mult_binary64_108 *-commutative_binary64_4783 pow-prod-down_binary64_4923 sub-neg_binary64_4845 associate-*r/_binary64_4453 cube-div_binary64_2494 rem-cube-cbrt_binary64_2829 unswap-sqr_binary64_2774 sqr-pow_binary64_3801 1-exp_binary64_1145 cube-div_binary64_789 pow-prod-down_binary64_2877 cancel-sign-sub-inv_binary64_4818 pow-to-exp_binary64_2875 cube-div_binary64_1471 pow-prod-down_binary64_3900 associate-+l-_binary64_1036 1-exp_binary64_3191 sqrt-pow1_binary64_1119 associate-*l/_binary64_4454 +-commutative_binary64_1372 associate-/l/_binary64_1730 unpow3_binary64_144 prod-exp_binary64_2855 associate-*l/_binary64_4795 distribute-rgt-in_binary64_4461 rec-exp_binary64_3197 associate-*r/_binary64_3089 flip--_binary64_1417 associate-*l/_binary64_3090 associate-/r/_binary64_2752 sum-log_binary64_1533 pow1/2_binary64_3909 inv-pow_binary64_1186 cbrt-div_binary64_2497
1×	frac-2neg_binary64_4522 cube-mult_binary64_1813 pow-plus_binary64_482 pow2_binary64_500 unsub-neg_binary64 associate-+l+_binary64_1034 distribute-lft-in_binary64_3778 associate-+l-_binary64 frac-2neg_binary64_771 unpow3_binary64_826 pow-pow_binary64_832 pow1/3_binary64_2888 pow1/3_binary64_3229 rem-cbrt-cube_binary64_1466 diff-log_binary64_2557 sqrt-unprod_binary64_439 sqr-abs_binary64_434 pow1/3_binary64_842 pow1/3_binary64_1524 distribute-rgt-in_binary64_3779 cbrt-unprod_binary64_4544 unswap-sqr_binary64_4479 sub-neg_binary64_2458 div-sub_binary64_2470 clear-num_binary64_759 rem-log-exp_binary64_1142 +-commutative_binary64_8 exp-sum_binary64_2511 associate--r-_binary64_1040 div-exp_binary64_811 clear-num_binary64_1782 pow-pow_binary64_1514 associate-/l/_binary64_2071 associate-+l+_binary64_2398 div-exp_binary64_4562 log-pow_binary64_1190 pow-prod-up_binary64_4581 rem-log-exp_binary64_2506 pow-flip_binary64_152 div-inv_binary64_757 pow1/3_binary64_1183 div-sub_binary64_1788 pow1/3_binary64_2547 inv-pow_binary64_3232 frac-2neg_binary64_1794 div-sub_binary64_1106 pow-sqr_binary64_4484 unpow3_binary64_2531 pow1/3_binary64_1865 sqrt-div_binary64 div-sub_binary64_2811 rem-cbrt-cube_binary64_784 sqrt-pow1_binary64 distribute-rgt-out--_binary64_32 cube-mult_binary64_790 inv-pow_binary64_163 cbrt-div_binary64_3179 pow-flip_binary64_3221 cbrt-undiv_binary64_4545 *-commutative_binary64_4442 *-commutative_binary64_1714 cube-mult_binary64_2495 pow1/2_binary64 div-inv_binary64_4508 +-commutative_binary64_4782 div-sub_binary64_4516 rem-cbrt-cube_binary64_1807 sum-log_binary64_4943 associate-/r*_binary64_1727 rem-cbrt-cube_binary64_2489 pow-plus_binary64_4574 frac-sub_binary64_1451 clear-num_binary64_4510 pow-prod-down_binary64_1854 neg-mul-1_binary64 e-exp-1_binary64_805 pow-prod-down_binary64_4582 inv-pow_binary64_1527 rem-cbrt-cube_binary64_2830 prod-exp_binary64_4560 associate-*r/_binary64_1725 cbrt-div_binary64_1474 rem-square-sqrt_binary64_431 distribute-rgt-in_binary64_2756 pow-flip_binary64_1516 pow2_binary64_4592 unpow3_binary64_1849 cbrt-undiv_binary64_794 distribute-lft-in_binary64_2755 pow-to-exp_binary64_829 sum-log_binary64_169

Counts

278 → 10007

Calls

208 calls:

285.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
137.0ms	(+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (/.f64 (+.f64 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)))) -9) (+.f64 3 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))))) (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6)))
104.0ms	(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))
84.0ms	(*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))
80.0ms	(/.f64 (+.f64 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (/.f64 (pow.f64 (+.f64 (*.f64 x1 x1) 1) 2) (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)))) -9) (+.f64 3 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 x1 (*.f64 x1 3)) x1)) (+.f64 (*.f64 x1 x1) 1))))

Compiler

Compiled 431391 to 249145 computations (42.2% saved)