rewrite5.7s (3.6%)

Algorithm

110×	rewrite-expression-head

Rules

3512×	times-frac_binary64_84
2747×	*-un-lft-identity_binary64_78
2508×	add-sqr-sqrt_binary64_100
2458×	times-frac_binary64_766
1924×	*-un-lft-identity_binary64_760
1428×	add-cube-cbrt_binary64_113
1417×	add-sqr-sqrt_binary64_782
1172×	add-cube-cbrt_binary64_795
965×	times-frac_binary64
856×	cancel-sign-sub-inv_binary64_726 cancel-sign-sub-inv_binary64_44
853×	add-sqr-sqrt_binary64
851×	*-un-lft-identity_binary64
841×	times-frac_binary64_1789
777×	add-sqr-sqrt_binary64_1805
721×	*-un-lft-identity_binary64_1783
709×	times-frac_binary64_2471
656×	cbrt-prod_binary64_109
584×	add-exp-log_binary64_798
564×	distribute-lft-out_binary64_29
530×	add-cube-cbrt_binary64
501×	associate-*r*_binary64_18
496×	add-sqr-sqrt_binary64_2487
487×	times-frac_binary64_3494
449×	add-cube-cbrt_binary64_1818
402×	*-un-lft-identity_binary64_2465
400×	distribute-lft-out_binary64_711
396×	difference-of-squares_binary64_47
358×	add-exp-log_binary64
323×	add-cbrt-cube_binary64
318×	add-cube-cbrt_binary64_2500
313×	add-sqr-sqrt_binary64_3510
309×	div-inv_binary64_75
297×	*-un-lft-identity_binary64_3488
295×	add-cube-cbrt_binary64_3523
285×	div-inv_binary64_757
271×	add-cbrt-cube_binary64_796
270×	associate-*r*_binary64_1723
268×	cbrt-prod_binary64
263×	*-un-lft-identity_binary64_2124
254×	associate-*r*_binary64
248×	div-exp_binary64_811
233×	sqrt-prod_binary64_3504
217×	add-exp-log_binary64_116
212×	prod-exp_binary64_809
207×	add-sqr-sqrt_binary64_2146
193×	distribute-lft-out--_binary64_30
192×	add-sqr-sqrt_binary64_441
178×	difference-of-squares_binary64_1752 *-un-lft-identity_binary64_1442
173×	difference-of-squares_binary64
172×	*-un-lft-identity_binary64_419
170×	add-sqr-sqrt_binary64_1464
169×	add-log-exp_binary64_799
164×	associate-/r/_binary64_24
163×	add-cbrt-cube_binary64_114
157×	*-un-lft-identity_binary64_2806
154×	add-log-exp_binary64_2163
149×	unpow-prod-down_binary64_1862
138×	add-cube-cbrt_binary64_2159
136×	prod-exp_binary64 times-frac_binary64_1448
134×	cbrt-unprod_binary64
128×	sqrt-prod_binary64
127×	unpow-prod-down_binary64_498
125×	add-exp-log_binary64_1821
123×	times-frac_binary64_2130
117×	add-cube-cbrt_binary64_1477
115×	add-cbrt-cube_binary64_1819
113×	pow1_binary64 difference-of-squares_binary64_729
103×	associate-/r*_binary64_704
101×	sqr-pow_binary64_1755
100×	pow1_binary64_139
98×	associate-*l*_binary64_701
97×	associate-/r*_binary64
95×	distribute-lft-out--_binary64 add-exp-log_binary64_2162
91×	cbrt-undiv_binary64_794 cbrt-undiv_binary64 div-exp_binary64
85×	difference-of-sqr-1_binary64_1753
84×	difference-of-squares_binary64_2434 pow1_binary64_1844
83×	associate-*l*_binary64
81×	frac-sub_binary64_428 sqrt-prod_binary64_2140
80×	add-log-exp_binary64_1822
79×	distribute-lft-out_binary64_2075 flip-+_binary64_52 distribute-lft-out_binary64_1734 difference-of-squares_binary64_388 sum-log_binary64_2215 1-exp_binary64_804 flip3-+_binary64_81
78×	exp-neg_binary64_466
76×	frac-times_binary64_429 pow1_binary64_821 add-cbrt-cube_binary64_2160
75×	add-log-exp_binary64
73×	add-cube-cbrt_binary64_454
72×	distribute-rgt-in_binary64_28 associate-/r*_binary64_2409 distribute-lft-in_binary64_27
71×	associate-/l*_binary64_705
70×	times-frac_binary64_425
69×	associate-/l*_binary64_23 add-log-exp_binary64_117
67×	prod-exp_binary64_127 pow1_binary64_2185
65×	associate-*l*_binary64_1724
64×	cbrt-unprod_binary64_793
63×	cbrt-unprod_binary64_111
61×	add-exp-log_binary64_3526
60×	distribute-lft-out_binary64_2757
59×	exp-diff_binary64_467 sqr-pow_binary64_391 neg-sub0_binary64_414
58×	associate-*r*_binary64_700
57×	sqrt-prod_binary64_2481
55×	associate-*r*_binary64_2064 add-log-exp_binary64_458
54×	div-exp_binary64_129 associate-/r/_binary64_706
53×	add-exp-log_binary64_1139
50×	div-inv_binary64_1780
49×	add-sqr-sqrt_binary64_2828
48×	associate-/r*_binary64_3432 flip-+_binary64_2098 flip3-+_binary64_2127 cbrt-div_binary64
47×	cbrt-prod_binary64_1814 associate-*r/_binary64 add-exp-log_binary64_2503
46×	distribute-lft-out--_binary64_712 flip3--_binary64 flip--_binary64 cancel-sign-sub-inv_binary64 cbrt-undiv_binary64_112
45×	associate-/l*_binary64 associate-*l*_binary64_2065 add-cbrt-cube_binary64_3524
44×	diff-log_binary64_852 div-inv_binary64
43×	associate-/r*_binary64_1727
42×	associate-*l*_binary64_19 cube-prod_binary64_1811 distribute-lft-out--_binary64_2417 flip--_binary64_735 flip3--_binary64_764
41×	add-cbrt-cube_binary64_1478 associate-/r*_binary64_22 cancel-sign-sub-inv_binary64_1749
40×	flip3--_binary64_423 flip-+_binary64_2780 flip--_binary64_394 cube-prod_binary64_2834 associate-/l*_binary64_3433 unpow-prod-down_binary64_2885 flip3-+_binary64_2809 pow1_binary64_2867 add-exp-log_binary64_1480
39×	add-sqr-sqrt_binary64_1123 frac-times_binary64
38×	associate-*l/_binary64_362 associate-*r/_binary64_361
37×	cancel-sign-sub-inv_binary64_1408 add-cbrt-cube_binary64_2842 add-cbrt-cube_binary64_1137 add-exp-log_binary64_2844
36×	pow-prod-down_binary64 add-exp-log_binary64_457 add-log-exp_binary64_1481 sqrt-div_binary64_3505
35×	associate-/r/_binary64 add-cbrt-cube_binary64_2501 cancel-sign-sub-inv_binary64_385 associate-/r/_binary64_3434
34×	associate-*r*_binary64_2746 flip3-+_binary64_1786 flip-+_binary64_1757 distribute-lft-out_binary64_370 associate-*r/_binary64_1725
33×	cbrt-div_binary64_110 sqrt-prod_binary64_776 distribute-lft-out--_binary64_1735 add-cube-cbrt_binary64_2841
32×	flip3-+_binary64_422 add-log-exp_binary64_2504 flip3-+_binary64_763 flip-+_binary64_734 swap-sqr_binary64_2773 flip-+_binary64_393 rec-exp_binary64_810 pow-prod-down_binary64_149
31×	associate-/l*_binary64_1387 add-cbrt-cube_binary64_455 sub-neg_binary64_753 difference-of-squares_binary64_1411
30×	associate-*r*_binary64_1041 cbrt-prod_binary64_1473
29×	cbrt-prod_binary64_450
28×	flip--_binary64_53 associate-*l*_binary64_2747 prod-exp_binary64_1150 cbrt-unprod_binary64_1816 flip3--_binary64_82 prod-exp_binary64_1832
27×	flip3-+_binary64 pow1_binary64_1162 associate-*r*_binary64_359 unswap-sqr_binary64_46 flip-+_binary64
26×	associate-*l*_binary64_1042 *-un-lft-identity_binary64_1101 associate-*r/_binary64_2748
25×	distribute-lft-out_binary64 add-cube-cbrt_binary64_1136 pow1_binary64_480 associate-/l*_binary64_1728 pow1_binary64_1503
24×	pow1_binary64_3549 sum-log_binary64_1874 associate-*r*_binary64_3428 sqrt-div_binary64_2141 pow1_binary64_2526 difference-of-sqr--1_binary64_1413 associate-*l/_binary64
23×	unswap-sqr_binary64_2092 pow-prod-down_binary64_1854 unswap-sqr_binary64 div-exp_binary64_1834
22×	sum-log_binary64_851 associate-/r*_binary64_1386 swap-sqr_binary64 div-exp_binary64_3539
21×	difference-of-sqr--1_binary64_1754 sqrt-prod_binary64_1799 distribute-rgt-in_binary64 distribute-lft-in_binary64
20×	distribute-rgt-in_binary64_1733 distribute-lft-in_binary64_1732 flip3-+_binary64_3491 prod-exp_binary64_2173 frac-times_binary64_2816 add-log-exp_binary64_2845 flip-+_binary64_3462
19×	cube-prod_binary64_447 add-log-exp_binary64_3527 div-inv_binary64_2462 un-div-inv_binary64_417
18×	log-prod_binary64_2210 associate-/l/_binary64_1389 div-exp_binary64_2516 sqrt-div_binary64_1800 associate-/r*_binary64_2068 unswap-sqr_binary64_1751 div-inv_binary64_3485 unpow-prod-down_binary64_1521
17×	cbrt-undiv_binary64_1817
16×	cbrt-unprod_binary64_1134 flip--_binary64_2440 distribute-rgt-in_binary64_710 flip3--_binary64_2469 distribute-lft-out--_binary64_371 distribute-lft-out_binary64_1393 distribute-lft-in_binary64_709 sub-neg_binary64_71
15×	*-commutative_binary64_1714 +-commutative_binary64_2054 div-exp_binary64_2175 *-commutative_binary64
14×	sub-neg_binary64 div-inv_binary64_1439 flip-+_binary64_1416 flip3-+_binary64_1445 cancel-sign-sub-inv_binary64_2431 diff-log_binary64_170 pow1/3_binary64 cbrt-unprod_binary64_2157 associate-+l+_binary64 associate-/r/_binary64_2070 cbrt-undiv_binary64_3522 associate-/l*_binary64_364
13×	associate-/l/_binary64_3435 distribute-lft-in_binary64_2755 flip3--_binary64_1446 flip--_binary64_1417 associate-*r*_binary64_2405 associate--l+_binary64_697 distribute-rgt-in_binary64_2756
12×	*-commutative_binary64_9 flip3--_binary64_3492 associate-/r/_binary64_1388 associate-/l*_binary64_2069 frac-add_binary64 flip--_binary64_3463 sum-log_binary64 frac-2neg_binary64_771 cube-div_binary64_1812 associate-*r/_binary64_2066 clear-num_binary64_759 diff-log_binary64_511 exp-prod_binary64_471
11×	add-log-exp_binary64_1140 prod-exp_binary64_2855 cbrt-unprod_binary64_2839 associate-*l*_binary64_360
10×	unswap-sqr_binary64_728 associate-/r/_binary64_1729 pow-prod-down_binary64_2195 unpow-prod-down_binary64_157 associate-/l/_binary64_707 clear-num_binary64 sqrt-div_binary64_2482 cube-prod_binary64_106 sqr-pow_binary64_1414 frac-2neg_binary64 pow-prod-down_binary64_1172 associate-*l/_binary64_2749 distribute-lft-out--_binary64_1394
9×	sub-neg_binary64_412 cbrt-undiv_binary64_2158 swap-sqr_binary64_45 unswap-sqr_binary64_387 cbrt-undiv_binary64_2499 associate-*r/_binary64_702 sqrt-div_binary64 associate-/l*_binary64_2410 frac-times_binary64_88
8×	associate-/l/_binary64 associate-*l/_binary64_703 cbrt-undiv_binary64_1476 pow1/2_binary64_2204 *-commutative_binary64_1032 diff-log_binary64_2557 sqrt-pow1_binary64_2142 frac-2neg_binary64_89 cbrt-div_binary64_1815 *-commutative_binary64_2055 clear-num_binary64_77 prod-exp_binary64_3537 div-exp_binary64_1493 associate-+r+_binary64 associate-/l/_binary64_2753 sub-neg_binary64_2458 frac-times_binary64_770 div-sub_binary64 unswap-sqr_binary64_1069 associate--r+_binary64_1378 associate-*r/_binary64_20 pow-exp_binary64_1851 pow-prod-down_binary64_831 associate-/r/_binary64_2752 frac-add_binary64_2132 sqrt-div_binary64_777
7×	frac-sub_binary64_769 unpow-prod-down_binary64 unpow2_binary64_1507 *-commutative_binary64_2737 sub-neg_binary64_1435 log-pow_binary64_2213 clear-num_binary64_1441 prod-exp_binary64_468 pow-prod-down_binary64_2877 sqrt-prod_binary64_1117 frac-2neg_binary64_1453 +-commutative_binary64_690 unpow-prod-down_binary64_1180 distribute-rgt-in_binary64_2074 pow1/3_binary64_160 div-inv_binary64_2121 unswap-sqr_binary64_2774 distribute-lft-in_binary64_2073
6×	associate-*r*_binary64_1382 cancel-sign-sub-inv_binary64_2772 frac-times_binary64_1793 +-commutative_binary64_1713 frac-2neg_binary64_3499 diff-log_binary64 sqrt-pow1_binary64_3506 associate-*l*_binary64_1383 pow1/2_binary64_3568 pow-unpow_binary64_1860 associate-*l*_binary64_2406 cube-div_binary64_448 associate-+r+_binary64_2056 clear-num_binary64_3487 associate-+r+_binary64_1715 rem-sqrt-square_binary64_2137 associate-+l+_binary64_2057 log-div_binary64_2211 associate-/l/_binary64_2071 rem-sqrt-square_binary64_3501
5×	pow1/3_binary64_501 frac-2neg_binary64_1794 flip3--_binary64_1787 associate-*l/_binary64_21 associate--l-_binary64 frac-add_binary64_1791 distribute-rgt-in_binary64_1392 unswap-sqr_binary64_3456 cube-mult_binary64_449 associate-+r+_binary64_2738 sqrt-pow1_binary64_2483 associate-/r*_binary64_363 diff-log_binary64_1534 distribute-lft-in_binary64_1391 rem-sqrt-square_binary64_2478 sum-log_binary64_2897 pow1/3_binary64_1865 clear-num_binary64_1782 associate-/r/_binary64_2411 unpow3_binary64_485 pow-to-exp_binary64_1852 pow1/2_binary64_2545 +-commutative_binary64 flip--_binary64_1758 *-commutative_binary64_691 difference-of-sqr-1_binary64_1412
4×	associate-*r/_binary64_1384 1-exp_binary64_3532 associate-*l/_binary64_3431 associate-/l/_binary64_1730 rec-exp_binary64_3538 frac-times_binary64_1452 rec-exp_binary64_128 cbrt-div_binary64_451 pow-pow_binary64_1855 pow1/2_binary64_840 cube-mult_binary64_1813 div-sub_binary64_1447 1-exp_binary64_1827 sqr-pow_binary64_50 unpow3_binary64_1849 rec-exp_binary64_1833 1-exp_binary64_122 cbrt-undiv_binary64_2840 div-sub_binary64_3493 sum-log_binary64_510 rem-exp-log_binary64_459 pow-exp_binary64_1169 cbrt-unprod_binary64_3521 rem-sqrt-square_binary64_773 clear-num_binary64_2123 frac-times_binary64_3498 frac-add_binary64_2814 div-exp_binary64_2857 rem-sqrt-square_binary64 pow-to-exp_binary64_1170 sub-neg_binary64_1776 pow-sqr_binary64 1-exp_binary64_2168 sum-cubes_binary64_2807 pow-prod-up_binary64 sqrt-pow1_binary64_778 frac-2neg_binary64_2135 pow-pow_binary64_1514 rec-exp_binary64_2174
3×	exp-prod_binary64_1494 frac-sub_binary64_1792 distribute-rgt-out--_binary64_1396 associate--l+_binary64_356 associate-*l*_binary64_3429 diff-log_binary64_1875 rem-log-exp_binary64_2165 cbrt-unprod_binary64_1475 sum-log_binary64_1533 cbrt-div_binary64_1474 pow1/2_binary64 associate-/l/_binary64_25 +-commutative_binary64_1372 pow-unpow_binary64_1519 pow-unpow_binary64_496 cbrt-unprod_binary64_452 associate-*l/_binary64_1726 pow-flip_binary64_834 cbrt-unprod_binary64_2498 rec-exp_binary64_2515 unpow3_binary64_144 pow-prod-up_binary64_2876 pow-sqr_binary64_2779 associate-*l/_binary64_2067 sqrt-pow1_binary64 pow-to-exp_binary64_488 *-commutative_binary64_350 cube-mult_binary64_108 prod-exp_binary64_1491 pow2_binary64_2887 frac-times_binary64_2134 cube-prod_binary64_1470 prod-exp_binary64_2514 sqr-pow_binary64_1073 add-log-exp_binary64_3186 1-exp_binary64_2509 pow-plus_binary64_2869 pow-exp_binary64_487 sqr-pow_binary64 +-commutative_binary64_2736
2×	distribute-lft-neg-in_binary64_376 distribute-rgt-out_binary64_1054 inv-pow_binary64_1868 sqrt-pow1_binary64_1801 inv-pow_binary64_163 rem-cube-cbrt_binary64_1806 div-inv_binary64_416 pow-flip_binary64_1857 associate-+l+_binary64_2739 associate-/l/_binary64_2412 pow-prod-down_binary64_1513 cube-div_binary64_1471 frac-2neg_binary64_2476 pow1/2_binary64_1863 associate-*l/_binary64_1385 inv-pow_binary64_845 associate-*r/_binary64_1043 associate-+l+_binary64_1716 associate-/l/_binary64_366 un-div-inv_binary64_3486 *-commutative_binary64_1373 flip3-+_binary64_1104 rem-cbrt-cube_binary64_443 associate-/r/_binary64_365 sub-neg_binary64_2799 cube-mult_binary64_1131 associate-*l/_binary64_2408 unswap-sqr_binary64_2433 associate-*r/_binary64_3430 pow-plus_binary64 pow1/3_binary64_1524 flip-+_binary64_1075 rem-cbrt-cube_binary64_1807 associate--r+_binary64_696 neg-mul-1_binary64_415 associate--l-_binary64_698 distribute-rgt1-in_binary64_1057 frac-times_binary64_2475 rem-sqrt-square_binary64_1796 neg-log_binary64_512 distribute-rgt-out--_binary64_32 distribute-rgt-neg-in_binary64_377 un-div-inv_binary64_758 pow2_binary64 clear-num_binary64_2464 pow-flip_binary64_152 unswap-sqr_binary64_1410
1×	pow-prod-down_binary64_490 clear-num_binary64_418 *-un-lft-identity_binary64_3147 rem-cbrt-cube_binary64_102 associate-+r+_binary64_692 +-commutative_binary64_1031 pow-to-exp_binary64_147 div-sub_binary64_1788 sqrt-undiv_binary64 pow-to-exp_binary64 pow-prod-up_binary64_148 sub-div_binary64_1449 add-exp-log_binary64_3185 *-commutative_binary64_2396 cancel-sign-sub-inv_binary64_3113 pow-pow_binary64_491 flip3--_binary64_2810 frac-2neg_binary64_430 distribute-rgt-out_binary64_2759 div-inv_binary64_2803 pow-sqr_binary64_51 difference-of-squares_binary64_2775 associate-/r*_binary64_2750 pow-plus_binary64_141 distribute-lft-in_binary64_1050 diff-log_binary64_3580 pow-flip_binary64_2539 frac-sub_binary64_1451 add-cbrt-cube_binary64_3183 associate--l+_binary64_1720 sum-log_binary64_1192 div-exp_binary64_470 pow-exp_binary64 add-sqr-sqrt_binary64_3169 sub-neg_binary64_3140 cancel-sign-sub-inv_binary64_3454 cbrt-undiv_binary64_453 pow2_binary64_159 +-commutative_binary64_3418 difference-of-squares_binary64_3116 pow-exp_binary64_146 flip--_binary64_3122 unpow3_binary64_1167 pow1_binary64_3208 div-sub_binary64_2470 flip--_binary64_2781 pow-exp_binary64_1510 pow-flip_binary64_2198 inv-pow_binary64_3573 pow-prod-down_binary64_3559 cube-mult_binary64_1472 unpow3_binary64_1508 un-div-inv_binary64_2122 times-frac_binary64_2812 flip3--_binary64_3151 clear-num_binary64_2805 distribute-rgt-in_binary64_1051 *-commutative_binary64_3419 rem-cube-cbrt_binary64_442 inv-pow_binary64_2550 pow-prod-down_binary64_2536 add-cube-cbrt_binary64_3182 sum-log_binary64_3579 distribute-lft-out--_binary64_2758 associate-/l*_binary64_2751 distribute-lft-out_binary64_1052 pow-flip_binary64_3562 diff-log_binary64_3239 +-commutative_binary64_349 inv-pow_binary64_2209 pow-to-exp_binary64_1511 sub-neg_binary64_3481 frac-2neg_binary64_2817 rem-cbrt-cube_binary64_1466 div-sub_binary64_424 associate-*r/_binary64_2407

Calls

306 calls:

134.0ms	(*.f64 (/.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v)) (*.f64 (cbrt.f64 (+.f64 t1 u)) (cbrt.f64 (+.f64 t1 u)))) (/.f64 (/.f64 (cbrt.f64 v) (cbrt.f64 (+.f64 t1 u))) (-.f64 -1 (/.f64 u t1))))
73.0ms	(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))
62.0ms	(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))
53.0ms	(*.f64 (*.f64 (/.f64 (*.f64 r w) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))) (+.f64 3/8 (*.f64 v -1/4))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w)))
53.0ms	(*.f64 (/.f64 (/.f64 PI.f64 2) (-.f64 (*.f64 b b) (*.f64 a a))) (-.f64 (/.f64 1 a) (/.f64 1 b)))