rewrite5.0s (2.6%)

Algorithm

106×	rewrite-expression-head

Rules

2244×	times-frac_binary64_84
2063×	*-un-lft-identity_binary64_1783
1904×	times-frac_binary64_1789
1276×	times-frac_binary64
1184×	*-un-lft-identity_binary64_78
1180×	add-sqr-sqrt_binary64_1805
1164×	add-sqr-sqrt_binary64_100
1091×	add-cube-cbrt_binary64_113
1071×	*-un-lft-identity_binary64
1003×	times-frac_binary64_1107
905×	add-sqr-sqrt_binary64
844×	*-un-lft-identity_binary64_1442
813×	add-sqr-sqrt_binary64_1123
798×	*-un-lft-identity_binary64_1101
645×	add-cube-cbrt_binary64
642×	add-cube-cbrt_binary64_1818
635×	distribute-lft-out_binary64_1734
564×	sqrt-prod_binary64_1799
561×	add-sqr-sqrt_binary64_782
529×	add-cube-cbrt_binary64_1136
508×	*-un-lft-identity_binary64_760
479×	sqrt-prod_binary64_1458
474×	add-sqr-sqrt_binary64_1464
406×	*-un-lft-identity_binary64_419
351×	times-frac_binary64_1448
298×	times-frac_binary64_425
290×	add-cube-cbrt_binary64_1477
287×	times-frac_binary64_766
279×	distribute-lft-out_binary64_1393 add-sqr-sqrt_binary64_441
270×	add-cube-cbrt_binary64_795
255×	add-exp-log_binary64_798
248×	div-inv_binary64_1780
215×	add-cube-cbrt_binary64_454
203×	add-exp-log_binary64_116
197×	distribute-lft-out--_binary64_1735
192×	difference-of-squares_binary64_1752
180×	pow1_binary64_480
171×	log-pow_binary64_508
168×	add-exp-log_binary64_1821
166×	add-cbrt-cube_binary64_114
159×	add-exp-log_binary64_1480
150×	pow1_binary64_1503 add-cbrt-cube_binary64_796
149×	add-exp-log_binary64
146×	difference-of-squares_binary64
143×	associate-/l*_binary64
142×	distribute-lft-out_binary64
140×	div-inv_binary64_75
139×	cbrt-prod_binary64_1473 add-exp-log_binary64_1139
136×	cbrt-prod_binary64_791
130×	add-cbrt-cube_binary64_1478
127×	difference-of-squares_binary64_1070
126×	associate-*r*_binary64_700
123×	add-cbrt-cube_binary64_1819
121×	associate-/r*_binary64_1045
116×	add-cbrt-cube_binary64_1137
111×	difference-of-squares_binary64_729
105×	add-cbrt-cube_binary64
104×	add-log-exp_binary64 associate-/r*_binary64_22
103×	pow1_binary64_139
101×	distribute-rgt-neg-in_binary64 pow1_binary64_1844
99×	associate-*r*_binary64_1382
97×	add-log-exp_binary64_1140
96×	add-log-exp_binary64_799 log-prod_binary64_846
92×	associate-/r*_binary64_1727
91×	associate-*l*_binary64_1383
90×	add-log-exp_binary64_117
89×	swap-sqr_binary64_1409
86×	pow1_binary64 unpow-prod-down_binary64 pow1_binary64_1162 distribute-lft-out_binary64_370 add-log-exp_binary64_1481
85×	associate-/r*_binary64
83×	add-exp-log_binary64_457 pow1_binary64_821
81×	log-prod_binary64_505
80×	div-inv_binary64_1439 distribute-lft-out--_binary64_1053 unpow-prod-down_binary64_1521
78×	associate-/l*_binary64_1728
77×	prod-exp_binary64_809
76×	add-log-exp_binary64_1822
75×	associate-/l*_binary64_23
72×	add-cbrt-cube_binary64_455
71×	distribute-lft-out--_binary64 cancel-sign-sub-inv_binary64
70×	associate-*r/_binary64_1725
69×	div-exp_binary64_129
67×	associate-/r/_binary64_1729 cancel-sign-sub-inv_binary64_1067
66×	sqrt-prod_binary64_1117 cbrt-div_binary64 sqrt-prod_binary64
65×	unpow-prod-down_binary64_157 add-log-exp_binary64_458
63×	cancel-sign-sub-inv_binary64_726
60×	div-exp_binary64_811
59×	flip3-+_binary64_1786 flip-+_binary64_1757
58×	associate-/l*_binary64_364 cancel-sign-sub-inv_binary64_1749
57×	distribute-lft-out--_binary64_712 associate-*l*_binary64_1042 associate-*r/_binary64_1043 flip3--_binary64_1105 flip--_binary64_1076
56×	associate-*l*_binary64_701
55×	pow-unpow_binary64_155 sqr-pow_binary64
54×	sqrt-prod_binary64_776 div-exp_binary64 difference-of-squares_binary64_1411
53×	associate-*r*_binary64_1723
52×	cancel-sign-sub-inv_binary64_1408 prod-exp_binary64_1491
51×	flip3-+_binary64 cbrt-div_binary64_1474 cancel-sign-sub-inv_binary64_44 flip-+_binary64
50×	associate-/r/_binary64 distribute-rgt-out_binary64_372 cbrt-prod_binary64
49×	distribute-lft-out_binary64_711 associate-/l*_binary64_1046 cbrt-undiv_binary64_112
48×	flip-+_binary64_1416 flip3-+_binary64_1445 div-inv_binary64 unpow-prod-down_binary64_839
47×	div-exp_binary64_1834
46×	distribute-lft-out--_binary64_371 associate-*l*_binary64_1724
45×	div-inv_binary64_1098
44×	unswap-sqr_binary64_728 associate-/l*_binary64_705 flip3-+_binary64_1104 flip-+_binary64_1075
43×	distribute-lft-out_binary64_1052
40×	cbrt-unprod_binary64_1475
39×	flip3--_binary64 flip--_binary64 cancel-sign-sub-inv_binary64_385 distribute-lft-out--_binary64_1394 unswap-sqr_binary64_1410
38×	associate-/r/_binary64_1388
36×	pow-prod-down_binary64_1513 distribute-lft-neg-in_binary64 difference-of-squares_binary64_47
35×	frac-add_binary64_1109 div-exp_binary64_1152
34×	sqrt-pow1_binary64_1460 associate-/r*_binary64_704 cube-prod_binary64
33×	sqrt-pow1_binary64_437 pow1/2_binary64_499
32×	frac-times_binary64_1111 exp-prod_binary64_130 frac-times_binary64
31×	associate-/r*_binary64_1386 cbrt-unprod_binary64_793 tan-quot_binary64_1942
30×	associate-*r/_binary64_1384 flip3--_binary64_1446 flip--_binary64_1417 associate-*r*_binary64_1041
29×	cube-prod_binary64_106 associate-/r/_binary64_706 associate-*l*_binary64_360 distribute-lft-out_binary64_29
27×	log-prod_binary64_164
26×	frac-times_binary64_1452 prod-exp_binary64_127 sqr-pow_binary64_50 pow-flip_binary64_1857 neg-mul-1_binary64 associate-*l/_binary64_1726 flip--_binary64_735 flip3--_binary64_764
25×	cbrt-undiv_binary64_794 cbrt-undiv_binary64_1817 difference-of-squares_binary64_388 cbrt-undiv_binary64
24×	associate-/r/_binary64_24 log-div_binary64_506
23×	associate-/r/_binary64_1047 associate-/l/_binary64_1048 associate-/r*_binary64_363 log-pow_binary64_167 distribute-lft-out--_binary64_30
22×	frac-times_binary64_1793 cbrt-unprod_binary64_111 distribute-rgt-in_binary64_1392 distribute-lft-in_binary64_1391 sqr-pow_binary64_732 prod-exp_binary64_1832 diff-log_binary64_511
21×	cbrt-undiv_binary64_1135 div-inv_binary64_757
20×	associate--l+_binary64_356 diff-log_binary64 cube-prod_binary64_788
19×	prod-exp_binary64_1150 sub-neg_binary64_1094 div-inv_binary64_416 associate-*r*_binary64_359 associate-/l*_binary64_1387
18×	distribute-rgt-out_binary64_1054 rem-sqrt-square_binary64_1455 cbrt-div_binary64_1815 *-commutative_binary64_1373 associate-+l+_binary64_1034 unpow3_binary64_1167 pow1/3_binary64_1524 sqrt-prod_binary64_435
17×	sub-neg_binary64 flip3-+_binary64_422 associate-*r*_binary64 cbrt-unprod_binary64_1134 sqr-pow_binary64_1414 flip-+_binary64_393 *-commutative_binary64_691
16×	distribute-rgt-in_binary64_369 frac-2neg_binary64_89 cbrt-prod_binary64_1814 pow1/3_binary64 clear-num_binary64_77 distribute-lft-in_binary64_368 associate-*l/_binary64_1044 rec-exp_binary64_810 cbrt-unprod_binary64_1816 frac-add_binary64_1450 1-exp_binary64_804 sqrt-div_binary64 associate-*l/_binary64
15×	inv-pow_binary64_1527 flip3--_binary64_423 sub-neg_binary64_1435 flip--_binary64_394 div-exp_binary64_470 pow-flip_binary64_1516 diff-log_binary64_1193 diff-log_binary64_852 sqrt-pow1_binary64_1119
14×	frac-2neg_binary64_1794 flip3-+_binary64_763 1-exp_binary64_1827 rec-exp_binary64_1833 distribute-lft-in_binary64_1050 difference-of-sqr--1_binary64_1072 flip-+_binary64_734 cbrt-undiv_binary64_453 clear-num_binary64_1782 pow-prod-down_binary64_1172 distribute-rgt-in_binary64_1051 pow-prod-up_binary64_1512
13×	flip-+_binary64_52 pow-prod-down_binary64_1854 frac-add_binary64_1791 div-exp_binary64_1493 sub-neg_binary64_753 flip3-+_binary64_81
12×	frac-sub_binary64_1792 associate-/l/_binary64 associate-*l*_binary64_19 flip3--_binary64_1787 pow-to-exp_binary64_829 clear-num_binary64 pow-exp_binary64_828 associate-*l/_binary64_1385 pow1/2_binary64_1522 frac-2neg_binary64 pow1/3_binary64_1865 associate--r+_binary64_355 unswap-sqr_binary64_1751 flip--_binary64_1758
11×	flip--_binary64_53 prod-exp_binary64 rec-exp_binary64 diff-log_binary64_170 1-exp_binary64 difference-of-sqr-1_binary64_1071 clear-num_binary64_1100 frac-2neg_binary64_1112 cbrt-unprod_binary64_452 prod-exp_binary64_468 *-commutative_binary64_1714 unswap-sqr_binary64_1069 flip3--_binary64_82
10×	sqrt-div_binary64_436 *-commutative_binary64_1032 associate-*r/_binary64 sum-log_binary64_1192 distribute-lft1-in_binary64_374 associate-/r/_binary64_365 sqrt-div_binary64_1800 pow1/3_binary64_842 cube-mult_binary64_108 distribute-rgt1-in_binary64_375 sub-neg_binary64_71 pow-sqr_binary64_1415
9×	cbrt-undiv_binary64_1476 pow-to-exp_binary64_147 inv-pow_binary64_1868 sum-log_binary64_1533 associate-/l/_binary64_707 distribute-lft-neg-in_binary64_1058 unpow3_binary64_144 exp-prod_binary64_1153 frac-2neg_binary64_771 diff-log_binary64_1534 div-sub_binary64 log-prod_binary64_1869 pow-exp_binary64_146 distribute-rgt-neg-in_binary64_1059 cbrt-unprod_binary64 rem-log-exp_binary64_460 neg-mul-1_binary64_1097 pow-prod-down_binary64_149 clear-num_binary64_759 associate-+r+_binary64_10 exp-prod_binary64_1835 pow-prod-down_binary64_831 pow-prod-up_binary64 sum-log_binary64_169 pow-pow_binary64_1514
8×	pow-prod-down_binary64 clear-num_binary64_418 associate-/l/_binary64_1730 sub-neg_binary64_412 associate--l+_binary64_1379 sqrt-pow1_binary64_1801 pow1/2_binary64 frac-2neg_binary64_430 sqrt-div_binary64_1118 log-pow_binary64_1872 associate-/l/_binary64_25 pow1/2_binary64_1863 sinh-undef_binary64_1294 sqrt-pow1_binary64 1-exp_binary64_1145 rec-exp_binary64_1151 cbrt-div_binary64_792 rem-sqrt-square_binary64 associate-*r*_binary64_18 sqrt-div_binary64_777
7×	pow-prod-down_binary64_490 diff-log_binary64_1875 neg-sub0_binary64 sum-log_binary64 sub-neg_binary64_1776 difference-of-sqr-1_binary64_1412
6×	+-commutative_binary64_1031 distribute-rgt-in_binary64_1733 sum-log_binary64_851 distribute-lft-in_binary64_1732 frac-sub_binary64_87 unswap-sqr_binary64_387 +-commutative_binary64_1372 pow-unpow_binary64_1519 clear-num_binary64_1441 sqrt-div_binary64_1459 frac-2neg_binary64_1453 frac-sub_binary64_1110 unswap-sqr_binary64 associate-*r/_binary64_361 pow-plus_binary64 pow-exp_binary64_1510 rem-sqrt-square_binary64_1114 cbrt-prod_binary64_1132 pow1/2_binary64_1181 pow-to-exp_binary64_1511 div-sub_binary64_424
5×	+-commutative_binary64_8 inv-pow_binary64_1186 count-2_binary64_367 unpow3_binary64_826 1-exp_binary64_122 associate--l+_binary64_15 sum-log_binary64_510 frac-sub_binary64_428 pow-pow_binary64_150 log-pow_binary64_849 *-commutative_binary64_350 sum-log_binary64_1874 associate-*l*_binary64 cube-mult_binary64_790 log-div_binary64_165 pow-flip_binary64_1175
4×	exp-prod_binary64_1494 *-commutative_binary64_9 swap-sqr_binary64_1750 associate-/l/_binary64_1389 pow1/2_binary64_840 frac-add_binary64_86 1-exp_binary64_1486 cbrt-div_binary64_1133 frac-sub_binary64_1451 rem-sqrt-square_binary64_773 exp-diff_binary64_1490 pow2_binary64_1523 neg-log_binary64 rem-log-exp_binary64_801 sin-mult_binary64_233 associate-+l+_binary64_1375 neg-sub0_binary64_1437 div-sub_binary64_83 +-commutative_binary64 distribute-frac-neg_binary64 pow-plus_binary64_1505 sqrt-pow1_binary64_778 rec-exp_binary64_1492 exp-neg_binary64_1489
3×	associate-*l/_binary64_362 difference-cubes_binary64 sqr-abs_binary64_1457 +-commutative_binary64_1713 div-sub_binary64_765 swap-sqr_binary64_45 pow-unpow_binary64_1860 sqr-sin-a_binary64_226 associate-/l/_binary64_366 pow-flip_binary64_834 associate-+r+_binary64_1033 associate--l-_binary64_16 unpow-prod-down_binary64_1862 rem-log-exp_binary64_119 pow-unpow_binary64 +-commutative_binary64_690 log-div_binary64_847 associate-*r/_binary64_702 associate-*r/_binary64_20 cbrt-prod_binary64_109 unswap-sqr_binary64_46 pow-sqr_binary64 *-commutative_binary64 associate--r+_binary64_14
2×	sub-div_binary64_1108 pow-to-exp_binary64 rec-exp_binary64_128 associate-+l-_binary64 associate--l-_binary64 unpow2_binary64_143 rem-exp-log_binary64_118 associate-+l-_binary64_354 associate--r-_binary64_358 inv-pow_binary64_845 pow-exp_binary64 pow-flip_binary64 tan-sum_binary64_1918 frac-times_binary64_429 pow-sqr_binary64_1756 inv-pow_binary64 tan-quot_binary64_919 associate-+r-_binary64_353 pow1/3_binary64_1183 cos-sum_binary64_212 sin-sum_binary64_1916 pow-pow_binary64 pow2_binary64 exp-to-pow_binary64_140 pow-flip_binary64_152 pow-prod-up_binary64_1853
1×	1-exp_binary64_463 associate-*l/_binary64_703 quot-tan_binary64_1943 rem-exp-log_binary64_1823 frac-sub_binary64_769 div-sub_binary64_1788 rem-cube-cbrt_binary64_101 tan-quot_binary64_237 pow-prod-up_binary64_148 associate--r+_binary64 sqr-pow_binary64_1755 pow-pow_binary64_1855 inv-pow_binary64_163 pow3_binary64 pow-sqr_binary64_51 rem-3cbrt-lft_binary64 div-sub_binary64_1447 difference-of-sqr-1_binary64_389 rem-exp-log_binary64_1482 pow-plus_binary64_1846 sin-cos-mult_binary64_1939 pow-plus_binary64_141 neg-log_binary64_1194 associate--l+_binary64_1720 inv-pow_binary64_504 distribute-rgt-out--_binary64_1055 rem-square-sqrt_binary64_1454 neg-sub0_binary64_1096 distribute-rgt-in_binary64_710 difference-of-sqr--1_binary64_731 unpow3_binary64 sqrt-unprod_binary64_1462 cube-mult_binary64 unsub-neg_binary64_1095 rem-log-exp_binary64_1824 pow2_binary64_159 diff-atan_binary64_1940 rec-exp_binary64_469 distribute-rgt-out--_binary64_373 frac-times_binary64_770 associate-+l-_binary64_1036 associate-+r+_binary64_1715 pow-flip_binary64_493 associate-+r-_binary64_12 exp-to-pow_binary64_1504 associate--r+_binary64_696 diff-sin_binary64_1933 distribute-lft-in_binary64_709 pow-to-exp_binary64_1852 associate-+l-_binary64_1377 distribute-rgt-out_binary64_1736 distribute-lft1-in_binary64_1738 unpow2_binary64_1848 pow1/3_binary64_160 sqrt-pow2_binary64_1461 pow-exp_binary64_1851 associate-+r-_binary64_1035 associate--l-_binary64_357 pow2_binary64_1864 difference-of-sqr--1_binary64_49 div-sub_binary64_1106 diff-cos_binary64_229 associate-+r+_binary64_1374

Calls

340 calls:

80.0ms	(/.f64 (-.f64 (/.f64 1 x) (/.f64 1 (+.f64 1 x))) (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x)))))
53.0ms	(/.f64 (/.f64 1 (*.f64 x (+.f64 1 x))) (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x)))))
52.0ms	(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))
52.0ms	(/.f64 (-.f64 (pow.f64 (*.f64 (pow.f64 x 4) 81/1600) 3) (pow.f64 (pow.f64 (cbrt.f64 (+.f64 1/2 (*.f64 27/2800 (pow.f64 x 4)))) 6) 3)) (*.f64 (+.f64 (+.f64 1/2 (*.f64 (pow.f64 x 4) 27/2800)) (*.f64 (*.f64 x x) 9/40)) (+.f64 (*.f64 (pow.f64 x 8) 6561/2560000) (+.f64 (pow.f64 (+.f64 1/2 (*.f64 (pow.f64 x 4) 27/2800)) 4) (*.f64 (*.f64 (pow.f64 x 4) 81/1600) (pow.f64 (cbrt.f64 (+.f64 1/2 (*.f64 (pow.f64 x 4) 27/2800))) 6))))))
51.0ms	(/.f64 (/.f64 1 x) (*.f64 (+.f64 x 1) (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 x 1))))))