rewrite4.6s (3.1%)

Algorithm

108×	rewrite-expression-head

Rules

2793×	times-frac_binary64_84
2131×	add-exp-log_binary64
1980×	add-sqr-sqrt_binary64_100
1931×	*-un-lft-identity_binary64_78
1230×	add-cbrt-cube_binary64
1178×	prod-exp_binary64
1176×	cbrt-unprod_binary64
1073×	add-cube-cbrt_binary64_113
828×	times-frac_binary64
754×	*-un-lft-identity_binary64
740×	times-frac_binary64_1789
722×	add-sqr-sqrt_binary64
673×	add-sqr-sqrt_binary64_1805
654×	*-un-lft-identity_binary64_1783
626×	cbrt-undiv_binary64 div-exp_binary64
558×	times-frac_binary64_766
557×	*-un-lft-identity_binary64_760
513×	add-sqr-sqrt_binary64_782
435×	add-cube-cbrt_binary64
384×	add-cube-cbrt_binary64_1818
344×	add-cube-cbrt_binary64_795
342×	difference-of-squares_binary64_47
278×	distribute-lft-out_binary64_29
266×	*-un-lft-identity_binary64_1101
257×	associate-*r*_binary64_1723
252×	times-frac_binary64_1107
244×	add-exp-log_binary64_798
228×	cbrt-prod_binary64
221×	add-cbrt-cube_binary64_796
220×	add-sqr-sqrt_binary64_1123
207×	add-cube-cbrt_binary64_1136
204×	add-sqr-sqrt_binary64_3510
192×	associate-/r*_binary64_22
185×	add-sqr-sqrt_binary64_441
181×	add-sqr-sqrt_binary64_2487
178×	add-log-exp_binary64_1822
176×	add-exp-log_binary64_116
171×	distribute-lft-out--_binary64_30
170×	difference-of-squares_binary64
168×	difference-of-squares_binary64_1752
151×	*-un-lft-identity_binary64_2465
148×	times-frac_binary64_3494
145×	*-un-lft-identity_binary64_419
143×	sqrt-prod_binary64_3504
134×	add-exp-log_binary64_1821
133×	add-cbrt-cube_binary64_1819
129×	add-cube-cbrt_binary64_454
125×	add-cbrt-cube_binary64_114
122×	times-frac_binary64_2471
121×	*-un-lft-identity_binary64_1442
118×	pow1_binary64
117×	add-cube-cbrt_binary64_2500
115×	associate-*l*_binary64_701
114×	associate-/r/_binary64_24
113×	associate-*r*_binary64 pow1_binary64_1844
110×	*-un-lft-identity_binary64_3488
107×	add-sqr-sqrt_binary64_1464
105×	associate-/l*_binary64_23
104×	cbrt-prod_binary64_1132 div-inv_binary64_75
101×	associate-*r/_binary64
99×	associate-*r*_binary64_18
96×	add-cube-cbrt_binary64_3523
90×	exp-prod_binary64
88×	difference-of-squares_binary64_729 unpow-prod-down_binary64_1862
87×	add-log-exp_binary64_799
86×	distribute-lft-out_binary64_1734 *-un-lft-identity_binary64_2806
85×	sqr-pow_binary64_1755
84×	difference-of-sqr-1_binary64_1753 frac-times_binary64_429
83×	add-log-exp_binary64 frac-sub_binary64_428 sum-log_binary64_1874
82×	distribute-lft-out--_binary64
80×	add-cube-cbrt_binary64_1477
78×	div-exp_binary64_811
77×	associate-*l*_binary64
75×	add-exp-log_binary64_1139
74×	associate-/r*_binary64 exp-neg_binary64_466
72×	times-frac_binary64_425 add-exp-log_binary64_457
70×	times-frac_binary64_1448 pow1_binary64_821
68×	associate-/l*_binary64_705 add-cbrt-cube_binary64_1137
65×	cbrt-undiv_binary64_794 associate-*r*_binary64_700 sqrt-prod_binary64
63×	prod-exp_binary64_809
62×	flip3-+_binary64 log-pow_binary64 add-cbrt-cube_binary64_455 flip-+_binary64
60×	div-exp_binary64_129 pow1_binary64_480 associate-*l*_binary64_360
58×	cancel-sign-sub-inv_binary64_726 pow1_binary64_139
57×	associate-*r*_binary64_3428 unpow-prod-down_binary64_1180
56×	exp-diff_binary64_467 neg-sub0_binary64_414 add-exp-log_binary64_2503
55×	associate-*l*_binary64_19 add-log-exp_binary64_458 *-un-lft-identity_binary64_2124
54×	associate-*r/_binary64_361 cbrt-unprod_binary64_793 div-inv_binary64_757
53×	distribute-lft-out_binary64_711
52×	associate-/r*_binary64_704 unpow-prod-down_binary64_1521
51×	cube-prod_binary64_1129 add-sqr-sqrt_binary64_2146
50×	distribute-lft-out--_binary64_712 flip3-+_binary64_422 flip-+_binary64_393 frac-times_binary64
49×	unpow-prod-down_binary64_498 add-exp-log_binary64_3526 distribute-lft-out_binary64_2757 sqrt-prod_binary64_435
47×	cancel-sign-sub-inv_binary64_1408 flip-+_binary64_52 add-cbrt-cube_binary64_2501 associate-/l*_binary64 flip3-+_binary64_81
46×	pow-prod-down_binary64 add-log-exp_binary64_1140 cancel-sign-sub-inv_binary64 div-inv_binary64
45×	associate-*r*_binary64_2405
44×	associate-*l/_binary64_362 frac-add_binary64
43×	flip3--_binary64_423 associate-*l*_binary64_1042 flip--_binary64_394 associate-*r*_binary64_359
42×	pow1_binary64_1162 associate-/r*_binary64_1045
40×	cancel-sign-sub-inv_binary64_385
39×	distribute-lft-out_binary64 div-inv_binary64_1780 cbrt-unprod_binary64_1816 prod-exp_binary64_1832
38×	prod-exp_binary64_127 add-log-exp_binary64_2845 cbrt-prod_binary64_2837
37×	add-log-exp_binary64_2504 flip3-+_binary64_1786 flip-+_binary64_1757 associate-*l*_binary64_1724
36×	associate-*l*_binary64_3429 pow1_binary64_2185 pow1_binary64_2526 associate-/r/_binary64_706 flip--_binary64_735 flip3--_binary64_764
35×	associate-*l/_binary64_703 pow-prod-down_binary64_1854 sqrt-prod_binary64_2481 add-cube-cbrt_binary64_2159 add-cbrt-cube_binary64_3524 distribute-lft-out_binary64_1052
34×	cbrt-undiv_binary64_112 add-log-exp_binary64_117
33×	associate-/r/_binary64_1047 difference-of-squares_binary64_1070 unswap-sqr_binary64_3456 flip3-+_binary64_1104 flip-+_binary64_1075 cube-prod_binary64_1470
32×	cube-prod_binary64_447 cbrt-prod_binary64_2155
31×	add-exp-log_binary64_1480
29×	associate-/r*_binary64_1727
28×	distribute-lft-out--_binary64_1735 frac-times_binary64_770 associate-*l/_binary64
27×	cbrt-prod_binary64_791
26×	cbrt-unprod_binary64_111 sqrt-div_binary64_3505 add-exp-log_binary64_2162
25×	associate-/r/_binary64 flip3--_binary64 flip3-+_binary64_763 pow1_binary64_3549 flip-+_binary64_734 add-log-exp_binary64_1481 flip--_binary64 unswap-sqr_binary64_46
24×	associate-*l*_binary64_2065 associate-*r/_binary64_2066 pow1_binary64_1503
23×	add-log-exp_binary64_2163
22×	associate-*r*_binary64_2064 cancel-sign-sub-inv_binary64_1067 add-cbrt-cube_binary64_2160
21×	sqrt-prod_binary64_776 cbrt-prod_binary64_450 sqr-pow_binary64_391 associate-/l*_binary64_1046 sqrt-prod_binary64_1799 sum-log_binary64_2897
20×	add-cbrt-cube_binary64_1478 distribute-rgt-in_binary64_369 cancel-sign-sub-inv_binary64_2431 distribute-lft-in_binary64_368 distribute-rgt-in_binary64 associate-/l*_binary64_1728 add-log-exp_binary64_3527 distribute-lft-in_binary64
19×	prod-exp_binary64_468 flip3-+_binary64_3491 flip-+_binary64_3462 associate-/l*_binary64_2410
18×	unswap-sqr_binary64_387 associate-/r*_binary64_2409 pow1/3_binary64_2206 cbrt-div_binary64_2156 cbrt-div_binary64_792 un-div-inv_binary64_417
17×	div-inv_binary64_1098 cube-mult_binary64_1131 pow-prod-down_binary64_149 div-exp_binary64_1152
16×	difference-of-squares_binary64_2434 +-commutative_binary64_1713 associate-/l/_binary64_1048 associate-*r/_binary64_1725 distribute-lft-out_binary64_1393 associate-*r/_binary64_702
15×	frac-sub_binary64_769 associate-/l/_binary64_707 cbrt-unprod_binary64_452 frac-2neg_binary64_771 *-commutative_binary64_1714 cbrt-div_binary64 clear-num_binary64_759
14×	sub-neg_binary64_412 sub-neg_binary64 difference-of-squares_binary64_388 flip-+_binary64_2098 flip3-+_binary64_2127 distribute-rgt-in_binary64_710 sum-log_binary64 associate-+l+_binary64 associate-*r*_binary64_1041 diff-log_binary64_852 distribute-lft-in_binary64_709 unswap-sqr_binary64_1751 flip3--_binary64_1105 flip--_binary64_1076
13×	pow-prod-down_binary64_490 cbrt-undiv_binary64_1817 cbrt-undiv_binary64_1135 cube-prod_binary64_2834 cbrt-div_binary64_1133 flip--_binary64_2440 flip3--_binary64_2469 unswap-sqr_binary64 *-commutative_binary64_350 div-exp_binary64_1834 unpow-prod-down_binary64_2885 div-inv_binary64_2462
12×	add-sqr-sqrt_binary64_2828 distribute-lft-out_binary64_2075 frac-add_binary64_1791 clear-num_binary64 log-prod_binary64_1528 frac-2neg_binary64_89 clear-num_binary64_77 prod-exp_binary64_3537 associate-*l*_binary64_2406 sqrt-div_binary64_2482 add-cube-cbrt_binary64_2841 frac-2neg_binary64 div-exp_binary64_3539 difference-of-squares_binary64_1411 sqrt-div_binary64_777 associate-/l*_binary64_364 exp-prod_binary64_471
11×	flip3--_binary64_1787 div-sub_binary64 flip3-+_binary64_2468 unpow3_binary64_1167 sub-neg_binary64_753 flip--_binary64_1758 flip-+_binary64_2439
10×	sqrt-prod_binary64_94 *-commutative_binary64_9 associate--l+_binary64_356 associate-/r*_binary64_1386 flip--_binary64_53 rec-exp_binary64_128 div-inv_binary64_1439 flip-+_binary64_1416 flip3-+_binary64_1445 flip-+_binary64_2780 div-exp_binary64_2516 cube-mult_binary64_449 1-exp_binary64_122 cbrt-div_binary64_1815 associate-+r+_binary64 unswap-sqr_binary64_2433 sqrt-div_binary64_1800 sqr-pow_binary64_1414 distribute-lft-out--_binary64_2417 flip3-+_binary64_2809 associate-/r/_binary64_2411 unpow3_binary64_485 flip3--_binary64_82 prod-exp_binary64_2514 swap-sqr_binary64_2091 associate-/r/_binary64_3434 *-commutative_binary64
9×	sum-log_binary64_851 associate-/r*_binary64_3432 pow-prod-down_binary64_2195 unpow-prod-down_binary64_157 prod-exp_binary64_1150 cbrt-unprod_binary64_1134 cbrt-prod_binary64_1814 div-exp_binary64_1493 cube-prod_binary64_106 pow1/3_binary64_842 pow-prod-down_binary64_831 cbrt-prod_binary64_2496
8×	cbrt-div_binary64_2838 associate-/l/_binary64 cbrt-div_binary64_451 unswap-sqr_binary64_2092 associate-*r/_binary64_1043 associate--r+_binary64_1037 sqrt-prod_binary64_1458 cube-div_binary64_1130 frac-times_binary64_1111 pow-exp_binary64_1510 diff-log_binary64_511 exp-sum_binary64_1488 cube-div_binary64_2835
7×	unswap-sqr_binary64_728 distribute-rgt-out_binary64_1054 unpow-prod-down_binary64 sqrt-pow1_binary64_3506 distribute-lft-in_binary64_1050 clear-num_binary64_1100 pow1/2_binary64_3568 frac-2neg_binary64_1112 cbrt-unprod_binary64_2157 sqrt-prod_binary64_2140 associate-+l+_binary64_1716 prod-exp_binary64_2173 cbrt-undiv_binary64_2499 distribute-rgt-in_binary64_1051 distribute-rgt1-in_binary64_1057 +-commutative_binary64 cbrt-undiv_binary64_3522 sqr-pow_binary64_1073 distribute-lft-out--_binary64_1394 1-exp_binary64_804 rem-sqrt-square_binary64_3501
6×	sqrt-div_binary64_436 associate-/l/_binary64_1730 diff-log_binary64_2557 diff-log_binary64 add-cbrt-cube_binary64_2842 pow1/2_binary64_840 sub-neg_binary64_1094 associate-/l/_binary64_25 associate-/l/_binary64_2412 pow-unpow_binary64_1519 associate-/l*_binary64_1387 associate-/l*_binary64_3433 cbrt-unprod_binary64_2498 associate-/r*_binary64_363 cbrt-unprod_binary64_3521 rem-sqrt-square_binary64_773 associate-*l/_binary64_2067 sub-neg_binary64_2458 pow1/3_binary64_1183 unswap-sqr_binary64_1069 swap-sqr_binary64_1409 associate-*l/_binary64_1044 pow-prod-down_binary64_1172 add-exp-log_binary64_2844 sum-log_binary64_2215 sqrt-pow1_binary64_778 cancel-sign-sub-inv_binary64_44 pow-unpow_binary64_1178 pow1_binary64_2867 sub-neg_binary64_71 sqrt-div_binary64 pow-pow_binary64_1514
5×	+-commutative_binary64_1031 sqrt-pow1_binary64_1801 associate--l-_binary64 difference-of-sqr-1_binary64_2435 distribute-rgt-in_binary64_1392 sqr-pow_binary64_50 *-commutative_binary64_2055 frac-2neg_binary64_2476 sum-log_binary64_1192 pow1/2_binary64_1863 diff-log_binary64_1534 distribute-lft-in_binary64_1391 associate-+r+_binary64_1715 pow1/3_binary64_1865 associate-*r/_binary64_20 rem-sqrt-square_binary64_1796 div-inv_binary64_3485 clear-num_binary64_2464 *-commutative_binary64_691 pow-to-exp_binary64_1511 cancel-sign-sub-inv_binary64_1749
4×	associate-*r*_binary64_1382 frac-times_binary64_1452 pow1/3_binary64_501 associate-/r/_binary64_1729 distribute-rgt-in_binary64_1733 *-commutative_binary64_1032 associate-/l/_binary64_3435 *-commutative_binary64_2396 distribute-lft-in_binary64_1732 pow-prod-up_binary64_2194 diff-log_binary64_170 1-exp_binary64_1486 pow1/3_binary64 associate-+r+_binary64_2738 associate-*l*_binary64_1383 cube-div_binary64_1471 distribute-lft-out_binary64_370 sqrt-pow1_binary64_2483 rem-exp-log_binary64_459 associate-*l/_binary64_2408 sqrt-pow1_binary64 distribute-lft-out--_binary64_371 diff-log_binary64_1193 rem-sqrt-square_binary64_2478 frac-add_binary64_2814 associate--r+_binary64_696 pow-sqr_binary64_2097 frac-times_binary64_2134 pow-prod-down_binary64_2536 pow1/2_binary64_2545 log-prod_binary64_505 frac-times_binary64_2475 rec-exp_binary64_1492 +-commutative_binary64_2736 associate-*r/_binary64_2407
3×	1-exp_binary64_3532 associate-*l/_binary64_3431 rec-exp_binary64_3538 cbrt-undiv_binary64_1476 frac-2neg_binary64_1794 pow-to-exp_binary64_147 diff-log_binary64_1875 inv-pow_binary64_163 sub-neg_binary64_1435 log-prod_binary64 pow1/2_binary64 rem-cube-cbrt_binary64_1124 flip3--_binary64_1446 frac-sub_binary64_1451 pow-unpow_binary64_1860 div-exp_binary64_470 sum-log_binary64_510 rem-cbrt-cube_binary64_1125 rec-exp_binary64_2515 pow-exp_binary64_1169 flip--_binary64_1417 +-commutative_binary64_3418 frac-times_binary64_3498 pow-to-exp_binary64_488 pow-exp_binary64_146 pow1/3_binary64_2547 +-commutative_binary64_690 div-sub_binary64_2470 clear-num_binary64_1782 rem-sqrt-square_binary64 cube-mult_binary64_1472 unpow3_binary64_1508 sub-neg_binary64_1776 sqrt-pow1_binary64_437 sum-log_binary64_3579 pow1/2_binary64_499 add-log-exp_binary64_3186 1-exp_binary64_2509 pow-exp_binary64_487 sqr-pow_binary64 pow-flip_binary64_152 distribute-rgt-out--_binary64_2419 rem-sqrt-square_binary64_432
2×	associate-*r/_binary64_1384 distribute-lft-neg-in_binary64_376 un-div-inv_binary64_2463 inv-pow_binary64_1527 associate--l+_binary64_1379 rem-cube-cbrt_binary64_1465 frac-2neg_binary64_3499 pow1/3_binary64_2888 sum-log_binary64_1533 associate-/r/_binary64_1388 pow-pow_binary64_1173 distribute-rgt-in_binary64_28 unpow3_binary64_2872 clear-num_binary64_1441 associate-*l/_binary64_1385 sqrt-div_binary64_1459 pow-flip_binary64_1516 cube-div_binary64_448 rem-cbrt-cube_binary64_2830 unpow3_binary64_144 log-div_binary64_506 distribute-lft-in_binary64_27 exp-diff_binary64 frac-2neg_binary64_1453 pow-plus_binary64_2187 1-exp_binary64_1145 clear-num_binary64_3487 rec-exp_binary64_1151 associate-*r/_binary64_3430 +-commutative_binary64_2054 cube-mult_binary64_108 sqrt-pow1_binary64_1460 pow1/2_binary64_1522 sqr-pow_binary64_2778 cube-mult_binary64_2836 neg-mul-1_binary64_415 pow-prod-down_binary64_3559 pow-to-exp_binary64_1170 *-commutative_binary64_3419 associate-+l+_binary64_2057 log-div_binary64_1529 pow2_binary64_2205 neg-log_binary64_512 distribute-rgt-neg-in_binary64_377
1×	exp-prod_binary64_1494 clear-num_binary64_418 log-pow_binary64_508 *-un-lft-identity_binary64_3147 div-sub_binary64_1788 inv-pow_binary64_1186 pow-to-exp_binary64 associate-*l/_binary64_21 rem-sqrt-square_binary64_1455 cbrt-unprod_binary64_1475 pow-pow_binary64_1855 add-exp-log_binary64_3185 cancel-sign-sub-inv_binary64_3113 +-commutative_binary64_2395 frac-2neg_binary64_430 div-sub_binary64_765 sum-log_binary64_2556 div-inv_binary64_416 rem-exp-log_binary64_1482 rem-log-exp_binary64_1483 rem-log-exp_binary64 pow-flip_binary64_2539 pow-prod-down_binary64_1513 add-cbrt-cube_binary64_3183 inv-pow_binary64_845 pow-exp_binary64 add-sqr-sqrt_binary64_3169 sub-neg_binary64_3140 cbrt-undiv_binary64_453 pow-flip_binary64_834 un-div-inv_binary64_3486 *-commutative_binary64_1373 rem-cbrt-cube_binary64_443 rem-exp-log_binary64 difference-of-squares_binary64_3116 distribute-rgt-in_binary64_2415 flip--_binary64_3122 pow1_binary64_3208 pow2_binary64_1523 distribute-lft-in_binary64_2414 exp-to-pow_binary64_1504 prod-exp_binary64_1491 distribute-rgt-in_binary64_2074 rem-log-exp_binary64_460 rec-exp_binary64_810 pow-to-exp_binary64_1852 flip3--_binary64_3151 pow-prod-up_binary64_1512 pow-flip_binary64_1175 frac-add_binary64_1450 inv-pow_binary64_2550 sqrt-pow2_binary64_1461 log-div_binary64 log-pow_binary64_1531 pow-exp_binary64_1851 sub-div_binary64_2472 div-sub_binary64_83 add-cube-cbrt_binary64_3182 distribute-lft-out_binary64_2416 pow-plus_binary64_1505 diff-log_binary64_3239 distribute-rgt-out--_binary64_32 +-commutative_binary64_349 pow-sqr_binary64_1415 distribute-lft-in_binary64_2073 unswap-sqr_binary64_1410 frac-sub_binary64_2474 div-sub_binary64_1106 frac-times_binary64_88

Calls

294 calls:

109.0ms	(*.f64 (+.f64 3/8 (*.f64 v -1/4)) (*.f64 (/.f64 (*.f64 (cbrt.f64 r) (cbrt.f64 r)) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))) (*.f64 r w))) (*.f64 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 r)) (cbrt.f64 (cbrt.f64 r))) (*.f64 (cbrt.f64 w) (cbrt.f64 w))) (/.f64 (cbrt.f64 (cbrt.f64 r)) (/.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 w))))))
103.0ms	(+.f64 (*.f64 (*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (cbrt.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))) (cbrt.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))))) (cbrt.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) -6))
69.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)))
58.0ms	(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))
51.0ms	(*.f64 (/.f64 (/.f64 PI.f64 2) (-.f64 (*.f64 b b) (*.f64 a a))) (-.f64 (/.f64 1 a) (/.f64 1 b)))