rewrite5.1s (3.3%)

Algorithm

108×	rewrite-expression-head

Rules

1244×	times-frac_binary64
1197×	times-frac_binary64_85
1136×	*-un-lft-identity_binary64
976×	*-un-lft-identity_binary64_79
941×	add-sqr-sqrt_binary64_101
935×	add-sqr-sqrt_binary64
808×	times-frac_binary64_429
728×	times-frac_binary64_2837
706×	times-frac_binary64_1117
691×	*-un-lft-identity_binary64_1111
608×	add-sqr-sqrt_binary64_2853
572×	add-cube-cbrt_binary64
564×	*-un-lft-identity_binary64_423
529×	add-cube-cbrt_binary64_114
493×	add-sqr-sqrt_binary64_1133
484×	add-sqr-sqrt_binary64_445
471×	*-un-lft-identity_binary64_2831
454×	sqrt-prod_binary64
425×	add-cube-cbrt_binary64_458
415×	cancel-sign-sub-inv_binary64_1077
384×	add-cube-cbrt_binary64_1146
373×	add-exp-log_binary64_461
372×	*-un-lft-identity_binary64_767
369×	add-sqr-sqrt_binary64_1477
367×	*-un-lft-identity_binary64_1799
357×	add-sqr-sqrt_binary64_1821
329×	add-cube-cbrt_binary64_2866
318×	add-exp-log_binary64
316×	cancel-sign-sub-inv_binary64_45
296×	times-frac_binary64_1805
267×	add-cbrt-cube_binary64
252×	*-un-lft-identity_binary64_2143
242×	add-sqr-sqrt_binary64_789
235×	associate-*r*_binary64_2771
217×	difference-of-squares_binary64
216×	add-cube-cbrt_binary64_1834
208×	*-un-lft-identity_binary64_1455
203×	times-frac_binary64_1461
191×	difference-of-squares_binary64_1424
184×	add-cbrt-cube_binary64_459
180×	distribute-lft-out_binary64_30
178×	add-cube-cbrt_binary64_802
174×	add-log-exp_binary64_2182
173×	add-exp-log_binary64_805
171×	associate-*r*_binary64_19
168×	difference-of-squares_binary64_2800
163×	distribute-lft-out_binary64_1062
154×	associate-*r*_binary64_707
143×	div-exp_binary64_474
142×	times-frac_binary64_773
141×	prod-exp_binary64_472
140×	difference-of-squares_binary64_48
136×	add-exp-log_binary64_117
135×	add-cbrt-cube_binary64_803
129×	add-sqr-sqrt_binary64_2165
125×	distribute-lft-out_binary64_718
122×	cbrt-prod_binary64_1830
121×	pow1_binary64_2204
120×	distribute-lft-out_binary64 pow1_binary64_828
117×	add-cube-cbrt_binary64_1490
111×	div-inv_binary64_1108 distribute-lft-out--_binary64
108×	div-inv_binary64_76
107×	add-cube-cbrt_binary64_2178 add-log-exp_binary64_1494
106×	add-exp-log_binary64_1149
104×	prod-exp_binary64
103×	add-cbrt-cube_binary64_1147
102×	associate-*r/_binary64
101×	add-cbrt-cube_binary64_115
97×	div-exp_binary64
96×	add-exp-log_binary64_1837
94×	distribute-lft-out_binary64_2094
93×	associate-/l*_binary64
92×	associate-*l*_binary64_708
91×	associate-/l*_binary64_368
90×	add-cbrt-cube_binary64_1835 cbrt-unprod_binary64
88×	flip3-+_binary64 unpow-prod-down_binary64_2910 associate-*r*_binary64 cbrt-prod_binary64 flip-+_binary64
87×	sqrt-prod_binary64_1815 unpow-prod-down_binary64_1534
85×	sqr-pow_binary64_2803 cbrt-undiv_binary64
84×	difference-of-sqr-1_binary64_2801 add-sqr-sqrt_binary64_2509
83×	add-log-exp_binary64 add-log-exp_binary64_1838 sqr-pow_binary64_1427 sum-log_binary64_2234
82×	associate-/r*_binary64
81×	frac-sub_binary64_776
78×	pow1_binary64
74×	*-un-lft-identity_binary64_2487 prod-exp_binary64_816 exp-neg_binary64_814 associate-/r/_binary64_25
73×	add-cube-cbrt_binary64_2522
72×	frac-times_binary64_777 distribute-rgt-in_binary64_1061 distribute-lft-in_binary64_1060
70×	add-log-exp_binary64_1150 cbrt-undiv_binary64_457
68×	add-exp-log_binary64_2181 distribute-lft-out--_binary64_31 add-exp-log_binary64_2869 add-cbrt-cube_binary64_2179
67×	add-cbrt-cube_binary64_2867
66×	frac-add_binary64 div-inv_binary64_420
65×	times-frac_binary64_2493
64×	flip-+_binary64_2117 flip3-+_binary64_2146 associate-*r*_binary64_1739
63×	cancel-sign-sub-inv_binary64_1421
62×	difference-of-squares_binary64_1768 distribute-lft-out_binary64_1750 add-log-exp_binary64_806
61×	associate-*l*_binary64_1740 cancel-sign-sub-inv_binary64_389
59×	associate-*l*_binary64_364
56×	associate-*l*_binary64_20 neg-sub0_binary64_762 distribute-lft-out_binary64_374 pow1_binary64_140 exp-diff_binary64_815 associate-/r*_binary64_367
55×	pow1_binary64_1172
54×	cbrt-unprod_binary64_800
51×	associate-/l*_binary64_24
50×	associate-*r/_binary64_709 pow1_binary64_1860
48×	distribute-lft-out--_binary64_1407 times-frac_binary64_2149 sqrt-prod_binary64_2159
47×	1-exp_binary64_467 flip3-+_binary64_770 div-inv_binary64 flip-+_binary64_741
46×	difference-of-squares_binary64_392
44×	sqrt-div_binary64_2160 pow1_binary64_2892
43×	difference-of-squares_binary64_1080 cbrt-unprod_binary64_456
42×	associate-*r/_binary64_2085
41×	pow-prod-down_binary64_838 prod-exp_binary64_128 add-log-exp_binary64_118
40×	pow1_binary64_484 log-pow_binary64_1544
39×	frac-times_binary64
38×	div-inv_binary64_2828 associate-/l*_binary64_1744 associate-*l/_binary64_710 sqrt-pow1_binary64_2161 associate-*l*_binary64 cbrt-prod_binary64_1142
37×	add-cbrt-cube_binary64_1491
36×	sqrt-prod_binary64_2503 add-log-exp_binary64_462 associate-/r*_binary64_1743 add-exp-log_binary64_1493
35×	exp-prod_binary64_1507
34×	flip-+_binary64_53 pow1_binary64_1516 associate-/r/_binary64_1745 add-exp-log_binary64_2525 associate-/l*_binary64_1400 associate-*r*_binary64_2083 flip3-+_binary64_82
32×	unswap-sqr_binary64_735 associate-/r/_binary64 flip3-+_binary64_1802 flip--_binary64_742 flip-+_binary64_1773 flip3--_binary64_771
31×	associate-/r*_binary64_23 div-exp_binary64_130 diff-log_binary64_1547
30×	sqrt-prod_binary64_439 associate-/r/_binary64_1057
29×	pow-prod-down_binary64_2214 associate-/l*_binary64_1056 div-inv_binary64_764
28×	distribute-lft-out--_binary64_2783 add-cbrt-cube_binary64_2523
27×	cbrt-unprod_binary64_112 add-log-exp_binary64_2526
26×	associate-*r*_binary64_363 div-exp_binary64_1162 associate-*l*_binary64_2084 unswap-sqr_binary64_47 associate-/r*_binary64_2775
25×	associate-*l*_binary64_2772 associate-*r*_binary64_1051 rec-exp_binary64_473 cbrt-undiv_binary64_1145 distribute-lft-out--_binary64_1751 sqrt-div_binary64
24×	div-exp_binary64_1850 sum-log_binary64_1890 flip--_binary64_1086 flip3--_binary64_1115
23×	flip--_binary64_1774 *-commutative_binary64_698 flip3--_binary64_1803 cbrt-undiv_binary64_1833 associate-/r*_binary64_711
22×	sqrt-prod_binary64_783 pow1_binary64_2548 associate-/r*_binary64_1055 associate-*l/_binary64
21×	prod-exp_binary64_1160 cbrt-unprod_binary64_1144 flip3-+_binary64_1114 flip-+_binary64_1085 swap-sqr_binary64_1766 unswap-sqr_binary64_1767
20×	associate-/r/_binary64_713 flip-+_binary64_2461 flip3-+_binary64_2490 flip--_binary64_54 div-inv_binary64_1796 flip3--_binary64_83
19×	cbrt-undiv_binary64_113 prod-exp_binary64_2880 associate-/r/_binary64_369 cancel-sign-sub-inv_binary64 associate-/l/_binary64_1746 cbrt-prod_binary64_798 sum-log_binary64_1546 cbrt-unprod_binary64_2864
18×	pow1/2_binary64_2223 pow-prod-down_binary64 sqrt-div_binary64_1816 distribute-rgt-in_binary64_373 distribute-lft-in_binary64_372 cube-mult_binary64_1485 log-prod_binary64_853 un-div-inv_binary64_765 associate-/r*_binary64_1399 distribute-rgt-out--_binary64_1409 add-log-exp_binary64_2870 associate-/r*_binary64_2431 cube-prod_binary64_1483
17×	flip--_binary64_1430 +-commutative_binary64_2073 sub-neg_binary64_1448 unpow3_binary64_1521 flip3--_binary64_1459 sum-log_binary64 pow-prod-down_binary64_150 distribute-lft-out--_binary64_1063
16×	associate-/r*_binary64_2087 distribute-rgt-in_binary64_29 distribute-lft-in_binary64_28 associate-*r/_binary64_2773 associate-/l*_binary64_2776 prod-exp_binary64_1848 cancel-sign-sub-inv_binary64_1765
15×	pow-prod-down_binary64_2902 associate-*r*_binary64_2427 sqrt-prod_binary64_1127
14×	distribute-lft-out--_binary64_375 associate-/r/_binary64_2089 cbrt-unprod_binary64_1832 associate-+l+_binary64 log-prod_binary64_1197 sub-neg_binary64_1104
13×	associate--l+_binary64_1392 clear-num_binary64 unpow-prod-down_binary64_1878 cube-prod_binary64_1827 associate-+r+_binary64_2075 clear-num_binary64_422 frac-2neg_binary64 frac-2neg_binary64_434
12×	distribute-rgt-in_binary64_2093 exp-prod_binary64_819 cbrt-undiv_binary64_2865 diff-log_binary64_1203 unpow-prod-down_binary64_846 div-exp_binary64_2882 sqrt-div_binary64_2504 associate-/l*_binary64_2088 frac-times_binary64_2153 cbrt-div_binary64_1831 cube-prod_binary64_795 distribute-lft-in_binary64_2092 frac-add_binary64_2151 associate-/l*_binary64_712 associate-/l*_binary64_2432 cbrt-prod_binary64_454 exp-prod_binary64_1163 sub-neg_binary64_72
11×	flip3--_binary64 pow-prod-up_binary64_2213 flip--_binary64 difference-of-sqr-1_binary64_1425 unswap-sqr_binary64 flip3-+_binary64_426 flip-+_binary64_397 distribute-lft-in_binary64_2780 unswap-sqr_binary64_2799 distribute-rgt-in_binary64_2781
10×	sqrt-prod_binary64_95 *-commutative_binary64_10 associate-/r/_binary64_2433 div-inv_binary64_1452 associate-+l+_binary64_2076 distribute-neg-in_binary64_1072 flip3--_binary64_427 exp-sum_binary64_1157 flip--_binary64_398 +-commutative_binary64 swap-sqr_binary64_2110
9×	sub-neg_binary64_416 clear-num_binary64_1798 *-commutative_binary64_2762 flip-+_binary64_1429 cube-prod_binary64_107 frac-times_binary64_89 cbrt-unprod_binary64_2176 prod-exp_binary64_2192 unpow-prod-down_binary64_1190 div-sub_binary64 swap-sqr_binary64_1078 distribute-rgt-in_binary64 flip3-+_binary64_1458 unpow-prod-down_binary64_158 cbrt-prod_binary64_2862 unpow-prod-down_binary64_502 frac-2neg_binary64_1810 distribute-lft-in_binary64
8×	flip--_binary64_2118 associate-/l/_binary64_370 sqrt-div_binary64_1128 associate-*l*_binary64_1052 cbrt-undiv_binary64_801 cube-div_binary64_1828 div-exp_binary64_818 sqrt-div_binary64_440 flip3--_binary64_2147 pow1/3_binary64_1881 associate-*r/_binary64_21 unswap-sqr_binary64_2111 associate--r+_binary64_359 diff-log_binary64_171 frac-times_binary64_1809 sqrt-div_binary64_784 *-commutative_binary64 associate-/l/_binary64_2090 *-commutative_binary64_2074
7×	associate-/l/_binary64 log-pow_binary64_856 distribute-lft-out_binary64_1406 +-commutative_binary64_1729 unpow-prod-down_binary64 frac-2neg_binary64_1122 frac-2neg_binary64_90 distribute-lft-out--_binary64_719 pow-flip_binary64_497 log-prod_binary64_1541 pow-sqr_binary64_2116 distribute-lft-in_binary64_716 div-exp_binary64_2538 clear-num_binary64_78 distribute-rgt-in_binary64_717 clear-num_binary64_1110
6×	rem-sqrt-square_binary64_2156 associate-*r*_binary64_1395 rec-exp_binary64_129 pow-to-exp_binary64_836 +-commutative_binary64_2417 log-div_binary64_854 pow1/3_binary64_849 swap-sqr_binary64_734 diff-log_binary64_859 diff-log_binary64_1891 sub-neg_binary64_1792 sqr-pow_binary64_739 rec-exp_binary64 1-exp_binary64 1-exp_binary64_123 pow1/2_binary64_1879 sum-log_binary64_2578 associate-*l/_binary64_2086 cbrt-div_binary64 sqrt-pow1_binary64_1817 flip3-+_binary64_2834 pow-exp_binary64_835 associate-/l/_binary64_2434 associate-*l*_binary64_1396 flip-+_binary64_2805 associate-*l/_binary64_1742 rem-sqrt-square_binary64_1812
5×	cbrt-undiv_binary64_2177 pow-prod-down_binary64_494 sub-neg_binary64 +-commutative_binary64_1041 associate-*r/_binary64_1741 diff-log_binary64 sqr-pow_binary64_51 diff-log_binary64_515 div-inv_binary64_2484 associate-*l/_binary64_366 associate-*l/_binary64_22 sum-log_binary64_858 frac-sub_binary64_1464 2cosh-undef_binary64_619 sum-log_binary64_1202 div-exp_binary64_2194 cbrt-undiv_binary64_2521
4×	associate-/l/_binary64_2778 div-sub_binary64_1804 associate-+r+_binary64_1731 clear-num_binary64_2142 frac-2neg_binary64_778 associate--l-_binary64 pow-prod-down_binary64_1182 frac-2neg_binary64_2498 rem-exp-log_binary64_807 associate-/l/_binary64_1402 frac-add_binary64_775 sub-neg_binary64_760 div-inv_binary64_2140 div-exp_binary64_1506 inv-pow_binary64_508 frac-add_binary64_1807 cancel-sign-sub-inv_binary64_733 distribute-lft-neg-in_binary64_1068 associate-+r+_binary64 sqrt-pow1_binary64_2505 cbrt-undiv_binary64_1489 diff-log_binary64_2235 frac-2neg_binary64_1466 clear-num_binary64_2486 pow1/2_binary64_1191 associate-*r/_binary64_365 pow1/2_binary64_847 sub-neg_binary64_2136 rem-sqrt-square_binary64_1124 frac-times_binary64_1121 pow-prod-down_binary64_1870 rem-sqrt-square_binary64 frac-times_binary64_433 cancel-sign-sub-inv_binary64_2109 prod-exp_binary64_2536 sqrt-pow1_binary64_785 clear-num_binary64_766 associate-/r/_binary64_2777 rem-sqrt-square_binary64_2500 cbrt-div_binary64_1143 pow1/2_binary64_2567 +-commutative_binary64_1385 sqrt-pow1_binary64_1129 distribute-rgt-neg-in_binary64_1069 frac-2neg_binary64_2154 div-sub_binary64_2148 clear-num_binary64_1454 exp-sum_binary64_1501
3×	cube-prod_binary64_1139 pow-exp_binary64_147 cancel-sign-sub-inv_binary64_2797 cube-mult_binary64_797 pow1/3_binary64_2913 pow1/3_binary64_1193 pow1/2_binary64 pow-unpow_binary64_2908 pow1/3_binary64 div-sub_binary64_1460 unpow3_binary64_833 associate-*r/_binary64_1053 associate-/l/_binary64_1058 pow-flip_binary64 sqrt-pow1_binary64 pow-to-exp_binary64_148 unswap-sqr_binary64_2455 pow1/2_binary64_503 rem-log-exp_binary64_808 log-pow_binary64_1200 *-commutative_binary64_1730 cube-prod_binary64_451 associate-*l*_binary64_2428 sqr-pow_binary64_1083 unswap-sqr_binary64_391 sqrt-pow1_binary64_441 frac-sub_binary64_432 sqr-pow_binary64 sqr-pow_binary64_395
2×	cube-div_binary64_1140 associate-*l/_binary64_2430 pow-sqr_binary64_1772 cbrt-unprod_binary64_2520 rem-sqrt-square_binary64_780 associate-/r/_binary64_1401 neg-mul-1_binary64_763 pow2_binary64_2224 cbrt-unprod_binary64_1488 cbrt-div_binary64_455 flip--_binary64_2806 rem-cbrt-cube_binary64_1823 rem-exp-log_binary64_1151 cube-mult_binary64_1829 log-div_binary64_1198 flip3--_binary64_2835 pow-prod-up_binary64_1869 inv-pow_binary64_164 distribute-lft-neg-in_binary64_724 frac-times_binary64_2497 associate--r+_binary64_1391 pow-prod-up_binary64_837 log-div_binary64_1542 cube-div_binary64_452 rem-sqrt-square_binary64_436 *-commutative_binary64_354 neg-log_binary64_860 *-commutative_binary64_1042 associate-*r/_binary64_1397 +-commutative_binary64_697 associate--l-_binary64_1393 cube-mult_binary64_109 associate-+r+_binary64_699 prod-exp_binary64_1504 frac-2neg_binary64_2842 associate-*l/_binary64_1054 sqr-pow_binary64_1771 distribute-rgt-neg-in_binary64_725 unpow3_binary64_1865 rec-exp_binary64_2537 pow-plus_binary64_2206 pow-sqr_binary64_740 associate-/l/_binary64_26 clear-num_binary64_2830 pow-flip_binary64_153 exp-diff_binary64_1503 unswap-sqr_binary64_1423 1-exp_binary64_2531 *-commutative_binary64_1386 difference-of-squares_binary64_736 unpow3_binary64_145 associate--l+_binary64_704 pow-prod-down_binary64_1526 difference-of-sqr--1_binary64_1426
1×	pow-exp_binary64_2899 pow-sqr_binary64_1084 pow-prod-up_binary64_1181 cube-mult_binary64_1141 pow2_binary64_848 1-exp_binary64_1843 pow-to-exp_binary64 sub-div_binary64_1462 sqrt-unprod_binary64_2163 distribute-lft-out_binary64_2782 un-div-inv_binary64_1797 unpow3_binary64_1177 distribute-rgt-out_binary64_1408 neg-sub0_binary64_1106 *-commutative_binary64_2418 rem-log-exp_binary64_1496 rec-exp_binary64_1849 pow-flip_binary64_2561 associate-+r-_binary64_701 exp-diff_binary64_1159 rem-square-sqrt_binary64_2155 unsub-neg_binary64_1105 div-sub_binary64_1116 +-commutative_binary64_353 pow-exp_binary64 distribute-rgt-out--_binary64_33 associate-+r+_binary64_1387 rem-cbrt-cube_binary64_1135 diff-log_binary64_2923 sub-neg_binary64_2824 associate-*r/_binary64_2429 un-div-inv_binary64_2485 pow-pow_binary64_2903 rem-cbrt-cube_binary64_447 1-exp_binary64_1155 pow-to-exp_binary64_2900 rec-exp_binary64_1161 pow1/3_binary64_505 pow2_binary64_1880 pow-plus_binary64_1174 neg-mul-1_binary64_1107 inv-pow_binary64 distribute-lft-in_binary64_1404 unswap-sqr_binary64_1079 distribute-rgt1-in_binary64_1411 distribute-rgt-out_binary64_2096 distribute-rgt-in_binary64_1405 pow-prod-down_binary64_2558 div-sub_binary64_2836 pow-plus_binary64_1862 exp-neg_binary64_1158 rem-log-exp_binary64_1152 pow-flip_binary64_1185 distribute-lft-neg-out_binary64_1070 unpow3_binary64_489 inv-pow_binary64_2572 un-div-inv_binary64_421 cube-mult_binary64_453 pow2_binary64_1192 pow-plus_binary64_830 inv-pow_binary64_1196 neg-log_binary64_1204 sum-log_binary64_514

Calls

296 calls:

84.0ms	(+.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1)) (cbrt.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1))) (*.f64 (cbrt.f64 (+.f64 (*.f64 x1 x1) 1)) (cbrt.f64 (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) 4)) (/.f64 (cbrt.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1)) (cbrt.f64 (+.f64 (*.f64 x1 x1) 1))))) (*.f64 (*.f64 x1 x1) -6))
80.0ms	(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))
77.0ms	(+.f64 (*.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (*.f64 x1 (*.f64 x1 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (+.f64 (+.f64 (*.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (/.f64 (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) 4)) (+.f64 (*.f64 x1 x1) 1))) (*.f64 (*.f64 x1 x1) -6)) x1)))
75.0ms	(+.f64 (*.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (*.f64 x1 (*.f64 x1 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (+.f64 (+.f64 (*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) 4))) (*.f64 (*.f64 x1 x1) -6)) x1)))
64.0ms	(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))