rewrite2.8min (45%)

Algorithm

101×	rewrite-expression-head

Rules

180098×	times-frac_binary64_2812
112658×	*-un-lft-identity_binary64_2806
110407×	sqrt-prod_binary64_2822
54408×	add-sqr-sqrt_binary64_2828
54298×	add-cube-cbrt_binary64_2841
32484×	distribute-lft-out_binary64_2757
18390×	cbrt-prod_binary64_2837
6713×	associate-/r/_binary64_2752
6694×	sqrt-div_binary64_2823
3370×	div-inv_binary64_2803
3351×	flip3-+_binary64_2809 flip-+_binary64_2780
2607×	associate-/r*_binary64_2750
1257×	*-un-lft-identity_binary64_1783
1043×	sqrt-prod_binary64_1799
892×	times-frac_binary64_1789
762×	add-sqr-sqrt_binary64
746×	times-frac_binary64_1107
686×	times-frac_binary64
685×	*-un-lft-identity_binary64
631×	add-sqr-sqrt_binary64_1123
588×	add-sqr-sqrt_binary64_1805
520×	*-un-lft-identity_binary64_1101
431×	distribute-lft-out_binary64_1734
426×	add-cube-cbrt_binary64_1818
409×	*-un-lft-identity_binary64_78
408×	add-log-exp_binary64_117
388×	add-cube-cbrt_binary64
384×	add-cube-cbrt_binary64_1136
347×	add-sqr-sqrt_binary64_100
319×	times-frac_binary64_84
312×	times-frac_binary64_2471
299×	*-un-lft-identity_binary64_2465
252×	add-cube-cbrt_binary64_113
240×	add-sqr-sqrt_binary64_2487
216×	*-un-lft-identity_binary64_419
208×	sum-log_binary64_169
207×	add-cube-cbrt_binary64_2500
206×	*-un-lft-identity_binary64_760 add-sqr-sqrt_binary64_782
203×	add-sqr-sqrt_binary64_441
196×	*-un-lft-identity_binary64_1442
192×	add-exp-log_binary64_116
179×	add-sqr-sqrt_binary64_1464
168×	difference-of-squares_binary64
157×	add-cbrt-cube_binary64_114
142×	add-cube-cbrt_binary64_454
141×	add-cube-cbrt_binary64_795
136×	distribute-lft-out--_binary64
125×	add-exp-log_binary64_1480 associate-/l*_binary64_2751
124×	sqrt-prod_binary64
123×	add-exp-log_binary64_2844
121×	add-exp-log_binary64_798
119×	add-exp-log_binary64_1139
116×	add-cbrt-cube_binary64_796
113×	add-cbrt-cube_binary64_1478 add-exp-log_binary64 associate-/r*_binary64
109×	difference-of-squares_binary64_1070
100×	add-cube-cbrt_binary64_1477 cbrt-prod_binary64_791
98×	add-exp-log_binary64_1821 add-cbrt-cube_binary64_1137
93×	times-frac_binary64_425
92×	add-cbrt-cube_binary64_2842
89×	add-cbrt-cube_binary64 add-exp-log_binary64_457 times-frac_binary64_766 add-log-exp_binary64 times-frac_binary64_1448
86×	log-prod_binary64_505
85×	add-exp-log_binary64_2503
84×	unpow-prod-down_binary64_2544
83×	pow1_binary64_139 pow1_binary64_480
80×	add-log-exp_binary64_799
77×	associate-/r*_binary64_1045 flip-+_binary64_52 flip3-+_binary64_81
76×	pow1_binary64_1162
75×	add-sqr-sqrt_binary64_2146
72×	cbrt-prod_binary64 diff-log_binary64_170
71×	pow1_binary64_821 *-un-lft-identity_binary64_2124
70×	associate-/r*_binary64_2409
69×	add-log-exp_binary64_1140
67×	pow1_binary64_1844
66×	associate-*l*_binary64_19 pow1_binary64
65×	add-log-exp_binary64_1481
64×	div-exp_binary64_2857
63×	add-cbrt-cube_binary64_455 associate-*r*_binary64_1723
62×	sqrt-prod_binary64_1117
60×	add-cbrt-cube_binary64_2501
59×	cbrt-prod_binary64_2155
57×	add-log-exp_binary64_458 distribute-lft-out--_binary64_1053
56×	associate-/l*_binary64_23
55×	add-cbrt-cube_binary64_1819 cbrt-undiv_binary64_2840
54×	associate-/l*_binary64_1728 associate-/r*_binary64_1727 frac-sub_binary64_87
53×	flip--_binary64 frac-add_binary64_86 flip3--_binary64
52×	cancel-sign-sub-inv_binary64_1067
51×	associate-*l*_binary64_1724
50×	associate-/l*_binary64_2410 distribute-lft-out_binary64_29 associate-/r/_binary64_1729
49×	div-exp_binary64_129
48×	associate-/l*_binary64
47×	cancel-sign-sub-inv_binary64_44 add-cube-cbrt_binary64_2159 pow1_binary64_1503 cancel-sign-sub-inv_binary64
46×	prod-exp_binary64_127
43×	associate-*r*_binary64_700 swap-sqr_binary64_1750 associate-/r/_binary64
42×	cancel-sign-sub-inv_binary64_385
40×	cancel-sign-sub-inv_binary64_1408 log-pow_binary64_508 difference-of-squares_binary64_1752
39×	associate-*r*_binary64_1382
38×	cbrt-undiv_binary64_112 pow1_binary64_2185 associate-*r/_binary64_20 div-exp_binary64_2516
37×	prod-exp_binary64_1491 difference-of-squares_binary64_2775 associate-*r*_binary64_18 associate-*r*_binary64_359
36×	sqrt-div_binary64 associate-*r*_binary64_1041
35×	add-log-exp_binary64_1822 associate-/r*_binary64_22 cancel-sign-sub-inv_binary64_726 div-exp_binary64_1834 div-exp_binary64
34×	sqrt-pow1_binary64_1801
33×	add-log-exp_binary64_2504 cancel-sign-sub-inv_binary64_2772 sqrt-div_binary64_1800 difference-of-squares_binary64_1411
32×	add-exp-log_binary64_2162 cbrt-unprod_binary64_111
31×	cbrt-unprod_binary64_1475 distribute-lft-out_binary64_2416
30×	difference-of-squares_binary64_47 flip--_binary64_1076 log-prod_binary64_1528 div-inv_binary64_1098 flip3--_binary64_1105 add-cbrt-cube_binary64_2160
29×	div-inv_binary64_75 unpow-prod-down_binary64_498 distribute-lft-out--_binary64_30 div-inv_binary64_2462
28×	log-div_binary64_506 sqr-pow_binary64_2437 associate-*l*_binary64_701 log-prod_binary64_846
27×	div-inv_binary64 distribute-lft-out_binary64_1393 div-exp_binary64_1152 add-log-exp_binary64_2163 prod-exp_binary64_809 div-inv_binary64_1780 pow1_binary64_2867
26×	flip3-+_binary64_1786 unswap-sqr_binary64_1751 cancel-sign-sub-inv_binary64_2431 cbrt-div_binary64_2156 flip-+_binary64_1757
25×	prod-exp_binary64_1150 associate-+r-_binary64_12 cbrt-unprod_binary64_793 associate-*l*_binary64_1042
24×	pow-flip_binary64_1857 associate-/r/_binary64_24
23×	cbrt-unprod_binary64_1134 distribute-lft-out_binary64_370 div-exp_binary64_811 sqrt-prod_binary64_776 associate-*r*_binary64
22×	cbrt-undiv_binary64 div-exp_binary64_1493 difference-of-squares_binary64_729 cbrt-undiv_binary64_2499 distribute-lft-out--_binary64_2758 associate-*l*_binary64_1383
21×	distribute-lft-out--_binary64_1735 diff-log_binary64 associate-/l*_binary64_705 cbrt-undiv_binary64_1476 associate-*l*_binary64_360
20×	difference-of-squares_binary64_388 associate-*l*_binary64_2065 distribute-lft-out_binary64_711 add-log-exp_binary64_2845 cbrt-undiv_binary64_794
19×	sub-neg_binary64 associate-/l*_binary64_364 flip3--_binary64_764 associate-*r*_binary64_2064 flip--_binary64_735
18×	flip-+_binary64_393 distribute-lft-out--_binary64_2417 inv-pow_binary64_1868 pow1_binary64_2526 flip3-+_binary64_422 distribute-rgt-neg-in_binary64 cancel-sign-sub-inv_binary64_1749 pow1/3_binary64_1183 prod-exp_binary64_1832 cbrt-div_binary64
17×	associate-/r*_binary64_704 associate-/l*_binary64_1046 distribute-lft-out--_binary64_371 cbrt-undiv_binary64_1135 flip3-+_binary64_2127 flip-+_binary64_2098
16×	unpow-prod-down_binary64_157 cbrt-prod_binary64_1132 distribute-lft-in_binary64_709 pow1/2_binary64_1863 log-div_binary64_165 associate--l+_binary64_356 associate-+l+_binary64_2398 distribute-rgt-in_binary64_710 associate-*l*_binary64 associate-/r*_binary64_1386 prod-exp_binary64_468 distribute-lft-out--_binary64_1394
15×	log-prod_binary64_164 associate-/l*_binary64_1387 div-sub_binary64_83 associate-/r/_binary64_706 flip3--_binary64_423 unswap-sqr_binary64_387 sub-neg_binary64_1094 associate-/r/_binary64_1047 flip--_binary64_394 1-exp_binary64_1827 associate-/r*_binary64_363 rec-exp_binary64_1833 unpow-prod-down_binary64_1521
14×	associate-*r*_binary64_2746 swap-sqr_binary64 cbrt-undiv_binary64_1817 associate-+r+_binary64_1374 unswap-sqr_binary64_46 associate-*r/_binary64_1043 difference-of-squares_binary64_2434
13×	sqr-pow_binary64_391 pow-unpow_binary64_155 diff-log_binary64_1193 pow-prod-down_binary64_1172 unswap-sqr_binary64_1410 flip-+_binary64_734 distribute-lft-out--_binary64_712 flip3-+_binary64_763 pow1/3_binary64_2206 tan-quot_binary64_1601
12×	cube-prod_binary64_2493 associate-/r/_binary64_1388 rem-log-exp_binary64_460 sub-neg_binary64_412 diff-log_binary64_852 clear-num_binary64_2464 cancel-sign-sub-inv_binary64_2090 cbrt-prod_binary64_450 associate-*l*_binary64_2747 unswap-sqr_binary64 associate--l-_binary64_16 sqrt-div_binary64_1118 frac-2neg_binary64_2476 prod-exp_binary64_2855
11×	flip-+_binary64 frac-add_binary64_2473 flip3-+_binary64 pow1/3_binary64_842 clear-num_binary64_77 rem-sqrt-square_binary64_1796 distribute-rgt-out_binary64_2077 distribute-rgt1-in_binary64_2080 sub-neg_binary64_753 flip--_binary64_53 pow-prod-down_binary64_831 distribute-lft-out_binary64 frac-2neg_binary64_89 associate-/l/_binary64_1389 pow-prod-down_binary64_149 flip3--_binary64_82
10×	associate--l+_binary64_697 div-inv_binary64_757 div-inv_binary64_1439 clear-num_binary64 cbrt-div_binary64_792 cbrt-unprod_binary64_2839 pow1/3_binary64 sub-neg_binary64_71 div-inv_binary64_416 diff-log_binary64_1534 frac-2neg_binary64 associate-*r/_binary64_2066
9×	frac-2neg_binary64_2817 associate-/l/_binary64 *-commutative_binary64_691 sqr-pow_binary64_1414 associate--l+_binary64_15 pow1/2_binary64 pow-prod-down_binary64_1854 flip3--_binary64_1446 sqrt-pow1_binary64 flip3-+_binary64_1445 rem-sqrt-square_binary64 clear-num_binary64_2805 flip-+_binary64_1416 unswap-sqr_binary64_1069 pow-prod-down_binary64_1513 pow-prod-up_binary64_1853 distribute-lft-out_binary64_1052 flip--_binary64_1417
8×	associate-*r/_binary64_2748 diff-log_binary64_511 frac-times_binary64_1111 unswap-sqr_binary64_728 sum-log_binary64_2556 *-commutative_binary64_1373 cbrt-unprod_binary64_452 sqr-pow_binary64_50 unswap-sqr_binary64_2774 sub-neg_binary64_1435 frac-2neg_binary64_1794 frac-times_binary64_88 pow-prod-down_binary64_2195 swap-sqr_binary64_1068 clear-num_binary64_1782 log-pow_binary64_2213 swap-sqr_binary64_2091 div-exp_binary64_470
7×	pow-to-exp_binary64_2534 prod-exp_binary64_2173 *-commutative_binary64_350 *-commutative_binary64_1032 associate--r+_binary64_14 clear-num_binary64_1441 distribute-rgt-in_binary64_369 *-commutative_binary64_9 pow-flip_binary64_2880 cbrt-unprod_binary64_2157 rec-exp_binary64 cube-div_binary64_107 tan-quot_binary64_237 cube-prod_binary64_1470 frac-2neg_binary64_1453 difference-of-squares_binary64_2093 distribute-lft-in_binary64_368 rec-exp_binary64_128 1-exp_binary64_122 flip3--_binary64_1787 pow-exp_binary64_2533 +-commutative_binary64_8 1-exp_binary64 flip-+_binary64_1075 flip--_binary64_1758 exp-prod_binary64_2176 frac-sub_binary64_1451 log-prod_binary64_2210 unswap-sqr_binary64_2092 log-pow_binary64_167 sin-mult_binary64_233 prod-exp_binary64 flip3-+_binary64_1104
6×	rem-sqrt-square_binary64_1114 sqrt-pow1_binary64_2824 pow-to-exp_binary64_488 cube-prod_binary64_447 difference-of-sqr-1_binary64_1071 frac-times_binary64 flip-+_binary64_2439 associate-*r/_binary64_702 frac-add_binary64_1450 sqrt-div_binary64_777 sum-log_binary64_510 cbrt-unprod_binary64_1816 distribute-rgt-in_binary64_2074 pow-prod-down_binary64_2877 cbrt-undiv_binary64_453 sum-log_binary64_851 sqrt-pow1_binary64_1119 associate-/l/_binary64_1048 pow-unpow_binary64_496 pow1/2_binary64_2886 pow-div_binary64_1858 cbrt-prod_binary64_109 pow1/2_binary64_1181 associate--r+_binary64_355 pow-exp_binary64_487 distribute-lft-in_binary64_2073 sin-mult_binary64_1597 associate-*l/_binary64_21 associate--r+_binary64_696 flip3-+_binary64_2468 associate-/l/_binary64_25
5×	pow-sqr_binary64_1756 1-exp_binary64_2850 difference-of-sqr-1_binary64_1412 frac-2neg_binary64_771 clear-num_binary64_1100 pow-pow_binary64_491 rec-exp_binary64_2856 *-commutative_binary64_2055 cbrt-unprod_binary64 clear-num_binary64_418 frac-2neg_binary64_430 clear-num_binary64_759 associate-/l/_binary64_2753 associate-*r/_binary64_1384 rem-exp-log_binary64_1482 distribute-rgt-in_binary64_1051 distribute-rgt-out_binary64_31 distribute-lft-in_binary64_1050 distribute-rgt1-in_binary64_34 frac-2neg_binary64_1112 exp-prod_binary64_1494 difference-of-sqr-1_binary64_1753 +-commutative_binary64_690 exp-to-pow_binary64_1504
4×	distribute-lft-out--_binary64_2076 unpow-prod-down_binary64_1180 prod-exp_binary64_2514 diff-log_binary64_1875 associate-/r/_binary64_365 exp-sum_binary64_2170 div-sub_binary64_424 1-exp_binary64_1145 unpow3_binary64_2531 difference-of-sqr-1_binary64_2435 cube-prod_binary64_1129 distribute-rgt-neg-out_binary64_720 sub-neg_binary64_2117 div-sub_binary64 associate-*l/_binary64_1044 associate-+l+_binary64_352 associate-/l/_binary64_366 pow1/3_binary64_160 cbrt-unprod_binary64_2498 cube-mult_binary64_2495 associate--l-_binary64_357 sum-log_binary64_1874 associate-+l-_binary64_13 cos-mult_binary64_1596 frac-add_binary64_427 associate-*l/_binary64 sub-neg_binary64_1776 pow-sqr_binary64_1074 rec-exp_binary64_1151 frac-times_binary64_2134 sum-log_binary64_1533 associate-*r/_binary64_361 associate-/r/_binary64_2411 cube-div_binary64_448 pow-prod-up_binary64_1171
3×	pow-prod-down_binary64 associate-/l/_binary64_707 flip--_binary64_2099 associate-*r/_binary64 pow-prod-down_binary64_490 flip3--_binary64_2810 pow-exp_binary64_1510 pow-to-exp_binary64_1511 associate-+r+_binary64_10 flip--_binary64_2440 difference-of-sqr-1_binary64_2094 flip--_binary64_2781 distribute-rgt-neg-in_binary64_718 pow-flip_binary64 exp-prod_binary64_471 rem-sqrt-square_binary64_773 inv-pow_binary64_2891 flip3--_binary64_2469 sqr-sin-a_binary64_226 *-commutative_binary64_1714 swap-sqr_binary64_45 cbrt-div_binary64_110 diff-log_binary64_2216 +-commutative_binary64_349 +-commutative_binary64_2395 associate--l+_binary64_1379 distribute-lft-neg-in_binary64_717 inv-pow_binary64 flip3--_binary64_2128 sqr-abs_binary64_1798 sqrt-pow1_binary64_778 pow1/2_binary64_840
2×	associate-*l/_binary64_703 associate--r-_binary64_358 *-commutative_binary64_2737 +-commutative_binary64_1713 pow-prod-up_binary64 pow-flip_binary64_1175 log-pow_binary64_849 neg-sub0_binary64 associate-/l/_binary64_2412 tan-quot_binary64_1260 1-exp_binary64_804 distribute-frac-neg_binary64_723 pow-sqr_binary64_2097 inv-pow_binary64_2550 associate--l-_binary64 1-exp_binary64_2509 difference-of-sqr--1_binary64_731 frac-times_binary64_1793 cbrt-div_binary64_451 exp-neg_binary64_466 inv-pow_binary64_163 diff-log_binary64_2557 rem-log-exp_binary64_119 pow2_binary64_1182 pow-prod-up_binary64_2194 cos-sum_binary64_212 neg-sub0_binary64_414 sqr-pow_binary64_1073 sub-neg_binary64_2458 associate-*l/_binary64_1726 rec-exp_binary64_2515 *-commutative_binary64 sin-sum_binary64_893 +-commutative_binary64_1031 exp-diff_binary64_467 +-commutative_binary64_1372 associate-*l/_binary64_2067 neg-log_binary64 tan-sum_binary64_1577 sub-neg_binary64_2799 rem-log-exp_binary64_1483 sqrt-unprod_binary64_2826 inv-pow_binary64_1186 associate-+r+_binary64_692 pow-plus_binary64_1164 sum-log_binary64_1192 unpow3_binary64_485 associate-*r/_binary64_1725 pow-flip_binary64_2539 cube-mult_binary64_449 frac-sub_binary64_2474 diff-log_binary64_2898 pow-flip_binary64_152 pow-sqr_binary64
1×	unpow3_binary64_1167 pow-to-exp_binary64_1170 log-div_binary64_2211 pow-plus_binary64 distribute-lft-out_binary64_2075 associate-+l-_binary64_354 diff-cos_binary64_229 +-commutative_binary64_2054 +-commutative_binary64 associate--l-_binary64_1380 sin-cos-mult_binary64_916 distribute-rgt-in_binary64_1392 frac-sub_binary64_1110 pow2_binary64_2205 pow2_binary64_159 div-sub_binary64_2811 diff-atan_binary64_2281 pow-prod-up_binary64_148 frac-sub_binary64_428 pow-plus_binary64_1846 div-sub_binary64_1106 un-div-inv_binary64 pow1/3_binary64_501 pow2_binary64_1864 pow-pow_binary64_150 exp-diff_binary64_2172 associate-+l+_binary64_1716 associate-+r-_binary64_1376 associate-+l-_binary64_2400 neg-mul-1_binary64_756 unpow3_binary64_1508 pow2_binary64 associate-*l/_binary64_1385 diff-sin_binary64_910 pow-to-exp_binary64_147 div-sub_binary64_1447 rem-square-sqrt_binary64_1795 sum-log_binary64_2897 log-pow_binary64_1531 sum-log_binary64_2215 pow-exp_binary64_1169 sqrt-unprod_binary64_1803 associate-+r+_binary64_351 pow-exp_binary64_146 cube-mult_binary64_1131 distribute-lft-in_binary64_1391 cube-mult_binary64_1472 pow-sqr_binary64_51 associate-/l/_binary64_1730 rem-cbrt-cube_binary64_443 rem-cube-cbrt_binary64_442 +-commutative_binary64_2736 pow-plus_binary64_2187 sum-log_binary64 frac-add_binary64_1109 un-div-inv_binary64_1781 pow-plus_binary64_141 frac-times_binary64_1452 frac-sub_binary64_2815 rem-log-exp_binary64_2165 log-div_binary64_1529

Counts

311 → 50190

Calls

213 calls:

1.4s	(/.f64 (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (/.f64 (sqrt.f64 x) (/.f64 (/.f64 (cbrt.f64 1) (sqrt.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x 1))))) (sqrt.f64 (+.f64 x 1)))))
245.0ms	(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) b)
179.0ms	(-.f64 (+.f64 (*.f64 1/2 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 2)) (+.f64 (*.f64 1/24 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 4)) (+.f64 (*.f64 1/6 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 3)) (/.f64 (log.f64 (+.f64 x 1)) n)))) (+.f64 (/.f64 (log.f64 x) n) (+.f64 (*.f64 1/24 (pow.f64 (/.f64 (log.f64 x) n) 4)) (+.f64 (*.f64 1/2 (pow.f64 (/.f64 (log.f64 x) n) 2)) (*.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3))))))
66.0ms	(+.f64 (+.f64 (/.f64 2 (pow.f64 x 3)) (/.f64 2 (pow.f64 x 5))) (/.f64 2 (pow.f64 x 7)))
56.0ms	(-.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 (log.f64 (+.f64 1 x)) 2) (*.f64 n n))) (+.f64 (*.f64 1/24 (pow.f64 (/.f64 (log.f64 (+.f64 1 x)) n) 4)) (+.f64 (/.f64 (log.f64 (+.f64 1 x)) n) (*.f64 1/6 (pow.f64 (/.f64 (log.f64 (+.f64 1 x)) n) 3))))) (+.f64 (/.f64 (log.f64 x) n) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n))) (+.f64 (*.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3)) (*.f64 1/24 (pow.f64 (/.f64 (log.f64 x) n) 4))))))

Compiler

Compiled 295753 to 169197 computations (42.8% saved)