rewrite3.6s (1.8%)

Algorithm

104×	rewrite-expression-head

Rules

1149×	times-frac_binary64
1051×	add-sqr-sqrt_binary64
857×	*-un-lft-identity_binary64
807×	*-un-lft-identity_binary64_1442
753×	times-frac_binary64_1789
724×	*-un-lft-identity_binary64_1783
605×	*-un-lft-identity_binary64_78
593×	add-sqr-sqrt_binary64_1805
582×	add-cube-cbrt_binary64
548×	add-sqr-sqrt_binary64_100
545×	sqrt-prod_binary64_1458
544×	times-frac_binary64_84
470×	add-sqr-sqrt_binary64_1464
405×	times-frac_binary64_1448
370×	*-un-lft-identity_binary64_419
365×	add-cube-cbrt_binary64_1818
364×	add-cube-cbrt_binary64_113
357×	*-un-lft-identity_binary64_1101
347×	add-sqr-sqrt_binary64_441
340×	add-sqr-sqrt_binary64_782
326×	add-sqr-sqrt_binary64_1123
288×	add-cube-cbrt_binary64_1477
252×	sqrt-prod_binary64_1799
237×	distribute-lft-out_binary64_1393
236×	*-un-lft-identity_binary64_760
230×	add-cube-cbrt_binary64_454
224×	sqrt-prod_binary64
221×	times-frac_binary64_425
199×	log-prod_binary64_505
197×	difference-of-squares_binary64
172×	distribute-lft-out_binary64_1734
166×	pow1_binary64_139
165×	add-cube-cbrt_binary64_1136
164×	add-cube-cbrt_binary64_795
160×	add-exp-log_binary64_116
157×	add-exp-log_binary64
147×	times-frac_binary64_1107
143×	add-cbrt-cube_binary64_114
134×	add-exp-log_binary64_1480
132×	log-prod_binary64_1528 pow1_binary64_480
124×	distribute-lft-out--_binary64 add-exp-log_binary64_1139
123×	distribute-lft-out--_binary64_30
116×	cbrt-prod_binary64_450
113×	add-cbrt-cube_binary64
112×	add-cbrt-cube_binary64_1478 add-exp-log_binary64_457
110×	times-frac_binary64_766
108×	add-cbrt-cube_binary64_1137
107×	add-log-exp_binary64_1140
105×	add-log-exp_binary64
104×	add-exp-log_binary64_798
102×	log-pow_binary64_167
101×	pow1_binary64 pow1_binary64_1503
99×	add-cbrt-cube_binary64_455
98×	pow1_binary64_821
96×	add-cbrt-cube_binary64_796
94×	add-exp-log_binary64_1821
91×	sqrt-prod_binary64_435
88×	difference-of-sqr--1_binary64_1754 add-log-exp_binary64_1481 cancel-sign-sub-inv_binary64_1067
87×	associate-/r*_binary64_1727 associate-*r*_binary64_700
84×	add-log-exp_binary64_799
82×	difference-of-squares_binary64_47
81×	associate-/l*_binary64_1728
79×	associate-/r*_binary64
77×	associate-/r*_binary64_22
76×	cancel-sign-sub-inv_binary64
73×	add-cbrt-cube_binary64_1819
72×	log-pow_binary64_508
70×	associate-*l*_binary64_19
69×	difference-of-squares_binary64_1070
67×	cbrt-prod_binary64_109 *-un-lft-identity_binary64_2124
66×	difference-of-squares_binary64_729 unpow-prod-down_binary64_1521
65×	cancel-sign-sub-inv_binary64_44
64×	flip3--_binary64 flip--_binary64
63×	associate-/l*_binary64_23
62×	associate-/r/_binary64
61×	add-log-exp_binary64_458 add-log-exp_binary64_117
60×	associate--l+_binary64_356 cbrt-prod_binary64_791 div-inv_binary64
59×	pow1_binary64_1162
57×	difference-of-squares_binary64_1752 associate-*l*_binary64_1383
56×	associate-+r+_binary64_351 flip3--_binary64_1105 flip--_binary64_1076
55×	associate-*l*_binary64_701
54×	associate-*r*_binary64 frac-add_binary64_1109
53×	associate-/l*_binary64 associate-*r/_binary64_1043 div-exp_binary64
52×	associate-*r*_binary64_1382 sqrt-div_binary64
51×	difference-of-squares_binary64_1411
50×	associate-*r*_binary64_1041
49×	associate-/r/_binary64_1729 cancel-sign-sub-inv_binary64_385
48×	sqrt-pow1_binary64 distribute-lft-out_binary64_1052
46×	div-exp_binary64_129 flip3-+_binary64_1104 flip-+_binary64_1075
45×	pow1_binary64_1844 add-log-exp_binary64_1822
44×	associate-*r*_binary64_359 add-sqr-sqrt_binary64_2146
43×	swap-sqr_binary64_1409
42×	associate-+l+_binary64_352 associate-+r+_binary64_1374
41×	difference-of-squares_binary64_388 distribute-lft-out_binary64_370 distribute-lft-out--_binary64_1053 distribute-lft-out_binary64_29
40×	cbrt-undiv_binary64_112
39×	distribute-lft-out--_binary64_371 cancel-sign-sub-inv_binary64_1749
38×	associate-*r*_binary64_18
37×	cancel-sign-sub-inv_binary64_726 associate-/r/_binary64_1388
36×	distribute-rgt-in_binary64_369 times-frac_binary64_2130 distribute-lft-in_binary64_368 sqrt-pow1_binary64_1460 div-inv_binary64_75
35×	div-exp_binary64_1834
34×	associate-/r*_binary64_1386 associate-/r*_binary64_1045 associate-/r*_binary64_363 unpow-prod-down_binary64_1180
33×	log-prod_binary64_164 associate-*l*_binary64_1042 unpow-prod-down_binary64_157
32×	cube-prod_binary64_788 distribute-lft-out--_binary64_1735 frac-times_binary64_1111 unpow-prod-down_binary64_839
31×	prod-exp_binary64_1150 flip-+_binary64_1416 flip3-+_binary64_1445 flip3-+_binary64_1786 flip-+_binary64_1757 associate-/l/_binary64_1048 associate-*l*_binary64_360 add-exp-log_binary64_2162 add-cbrt-cube_binary64_2160
30×	pow1/2_binary64 div-inv_binary64_1780 distribute-lft-in_binary64_1050 associate-+l+_binary64_1034 distribute-rgt-in_binary64_1051
29×	flip3--_binary64_423 flip--_binary64_394 associate-/l*_binary64_364
28×	log-prod_binary64_1187 add-cube-cbrt_binary64_2159 distribute-lft-out--_binary64_1394 unswap-sqr_binary64_1410
27×	associate-/r/_binary64_24
26×	diff-log_binary64
25×	unswap-sqr_binary64_728 associate-/l*_binary64_1387 associate-/l*_binary64_705 log-div_binary64_506
24×	prod-exp_binary64_809 sub-neg_binary64_1094 cbrt-undiv_binary64 div-exp_binary64_1493 add-log-exp_binary64_2163 prod-exp_binary64_1491 difference-of-sqr--1_binary64_2095 associate-*r*_binary64_1723
23×	sub-neg_binary64 flip--_binary64_53 cancel-sign-sub-inv_binary64_1408 prod-exp_binary64_127 div-inv_binary64_1439 cbrt-unprod_binary64_1134 add-sqr-sqrt_binary64_2487 flip3--_binary64_82
22×	sqrt-div_binary64_436 sqr-pow_binary64_1755 div-inv_binary64_1098 unpow-prod-down_binary64_1862 sqr-pow_binary64_732 cbrt-unprod_binary64_793 rem-sqrt-square_binary64 unpow2_binary64_1848
21×	distribute-lft-out--_binary64_712 cbrt-undiv_binary64_1817 associate-/r/_binary64_1047 cbrt-unprod_binary64_111 difference-of-sqr-1_binary64_730 associate-*l*_binary64 associate-*l/_binary64_1044 associate-*l*_binary64_1724
20×	cbrt-unprod_binary64_1475 unswap-sqr_binary64 pow-prod-down_binary64_831 sqr-pow_binary64_1073
19×	rem-sqrt-square_binary64_1455 prod-exp_binary64 flip-+_binary64_52 div-exp_binary64_470 pow1/3_binary64_842 flip3-+_binary64_81
18×	*-un-lft-identity_binary64_2465 cbrt-undiv_binary64_1476 distribute-lft-out_binary64_2075 flip3-+_binary64_422 cbrt-div_binary64_451 swap-sqr_binary64 sum-log_binary64_1192 cbrt-unprod_binary64_452 prod-exp_binary64_468 cbrt-undiv_binary64_453 flip-+_binary64_393 div-exp_binary64_1152 flip--_binary64_735 flip3--_binary64_764
17×	unswap-sqr_binary64_387 associate--l+_binary64_1038 diff-log_binary64_1193 unswap-sqr_binary64_1069
16×	sub-neg_binary64_412 cbrt-undiv_binary64_1135 sqrt-prod_binary64_776 sqr-pow_binary64_50 associate-/r/_binary64_365 sqrt-div_binary64_1800 pow-unpow_binary64_155 tan-quot_binary64_1601 add-cube-cbrt_binary64_2500
15×	inv-pow_binary64_1527 sqrt-prod_binary64_2481 div-inv_binary64_416 associate-/l*_binary64_1046 pow-flip_binary64_1516 pow1_binary64_2185 pow1_binary64_2526 associate--r+_binary64_355 *-commutative_binary64_691
14×	cube-prod_binary64_1129 swap-sqr_binary64_386 frac-2neg_binary64_89 clear-num_binary64_77 pow1/2_binary64_1522
13×	cbrt-unprod_binary64 unswap-sqr_binary64_1751
12×	pow-prod-down_binary64 cbrt-div_binary64_110 sum-log_binary64_1533 add-log-exp_binary64_2504 flip3--_binary64_1446 difference-of-sqr-1_binary64_1071 associate--l+_binary64_15 sqrt-div_binary64_1459 flip--_binary64_1417 log-div_binary64_165 unswap-sqr_binary64_46 cbrt-prod_binary64_1132 sub-neg_binary64_71
11×	flip3-+_binary64 +-commutative_binary64_1031 frac-2neg_binary64_1794 distribute-lft-out_binary64 rec-exp_binary64 flip3-+_binary64_763 1-exp_binary64 associate-/l/_binary64_25 +-commutative_binary64_1372 flip-+_binary64_734 associate-*r/_binary64_361 diff-log_binary64_852 associate-*r/_binary64_702 clear-num_binary64_1782 rem-log-exp_binary64_460 pow1/3_binary64_160 flip-+_binary64
10×	pow-prod-down_binary64_1854 add-cbrt-cube_binary64_2501 diff-log_binary64_170 pow-prod-down_binary64_1513 associate-*r/_binary64_1725 swap-sqr_binary64_727 diff-log_binary64_1534 unpow3_binary64_1167 sub-neg_binary64_753 diff-log_binary64_511 add-exp-log_binary64_2503 div-inv_binary64_757
9×	pow-prod-down_binary64_490 pow1/3_binary64_501 *-commutative_binary64_1032 clear-num_binary64 pow-flip_binary64_1857 associate-/l*_binary64_2069 clear-num_binary64_1441 cbrt-unprod_binary64_2157 prod-exp_binary64_2173 frac-2neg_binary64_1453 associate-+l+_binary64_1375 frac-2neg_binary64 pow-prod-up_binary64_1512 sqrt-pow1_binary64_437 log-pow_binary64_1531 pow1/2_binary64_499 cbrt-prod_binary64_1473 prod-exp_binary64_1832 pow-prod-up_binary64 associate--r+_binary64_14
8×	associate-/l/_binary64 sum-log_binary64_851 sqrt-pow1_binary64_1801 unpow-prod-down_binary64 associate-/l/_binary64_1389 sub-neg_binary64_1435 1-exp_binary64_1827 rec-exp_binary64_1833 distribute-rgt-out--_binary64_1055 pow1/2_binary64_1863 *-commutative_binary64_1373 *-commutative_binary64_350 associate-/r*_binary64_2068 associate-*r/_binary64_20 difference-of-sqr--1_binary64_1413
7×	clear-num_binary64_418 flip3--_binary64_1787 frac-2neg_binary64_430 flip-+_binary64_2098 clear-num_binary64_1100 frac-2neg_binary64_1112 flip3-+_binary64_2127 unpow3_binary64_144 cube-prod_binary64_106 sum-log_binary64_1874 sqr-pow_binary64_1414 cbrt-unprod_binary64_1816 log-div_binary64_1529 associate-/r*_binary64_704 div-exp_binary64_811 flip--_binary64_1758 distribute-rgt-out--_binary64_32 frac-times_binary64_88
6×	associate-/l/_binary64_1730 cbrt-undiv_binary64_794 associate-*l/_binary64_21 cbrt-div_binary64_1474 unpow-prod-down_binary64_2203 distribute-rgt-in_binary64_710 pow-unpow_binary64_837 associate--l-_binary64_16 associate--r+_binary64_1037 sqr-pow_binary64_2096 distribute-lft-in_binary64_709 associate-*r/_binary64_2066 unpow2_binary64_2189 sqrt-div_binary64_777 *-commutative_binary64
5×	*-commutative_binary64_9 cbrt-undiv_binary64_2158 tan-quot_binary64_237 +-commutative_binary64_1713 inv-pow_binary64_1868 unpow3_binary64_826 difference-of-sqr-1_binary64_1753 rem-log-exp_binary64_1483 sum-log_binary64_510 sqrt-pow1_binary64_2483 sin-mult_binary64_1597 pow-exp_binary64_1169 distribute-rgt-neg-in_binary64 +-commutative_binary64_690 cube-mult_binary64_790 rem-sqrt-square_binary64_2478 pow-prod-down_binary64_149 pow-prod-down_binary64_1172 pow-to-exp_binary64_1170 pow-sqr_binary64 pow1/2_binary64_2545 div-sub_binary64_83 div-exp_binary64_2175 pow-sqr_binary64_1415 pow-pow_binary64_832 pow-pow_binary64_1514 rem-sqrt-square_binary64_432
4×	rem-exp-log_binary64_2164 associate-*l/_binary64_703 distribute-lft-out_binary64_711 associate--l+_binary64_1379 diff-log_binary64_1875 rec-exp_binary64_128 associate-/l/_binary64_707 1-exp_binary64_1486 distribute-rgt-in_binary64_28 1-exp_binary64_122 frac-sub_binary64_1451 exp-sum_binary64_465 associate-+r+_binary64_1033 frac-times_binary64_429 distribute-lft-in_binary64_27 frac-times_binary64_770 *-commutative_binary64_1714 associate-/r/_binary64_2070 cube-div_binary64_1130 exp-prod_binary64_2176 associate-/r/_binary64_706 pow-prod-up_binary64_830 sub-neg_binary64_1776 sqr-abs_binary64 pow-sqr_binary64_733 cube-prod_binary64_1470 associate-/l/_binary64_2071 frac-times_binary64 rec-exp_binary64_1492 sqr-pow_binary64 associate--l+_binary64 div-sub_binary64_424 exp-to-pow_binary64_2186
3×	sqr-abs_binary64_1457 frac-sub_binary64_769 pow-to-exp_binary64_829 pow-prod-down_binary64_2195 exp-prod_binary64_812 pow1/2_binary64_840 cancel-sign-sub-inv_binary64_2431 cancel-sign-sub-inv_binary64_2090 sin-mult_binary64_915 swap-sqr_binary64_45 sqrt-unprod_binary64_1803 pow-exp_binary64_828 cos-mult_binary64_1596 associate-*r/_binary64 pow-unpow_binary64_1519 associate-*r*_binary64_2064 cos-mult_binary64_914 sqr-sin-a_binary64_226 associate-/l/_binary64_366 pow-pow_binary64_150 rem-sqrt-square_binary64_773 rem-log-exp_binary64_119 frac-2neg_binary64_771 div-sub_binary64 pow1/3_binary64_1524 log-pow_binary64_1190 pow-exp_binary64_1510 clear-num_binary64_759 frac-add_binary64_1450 sqrt-pow1_binary64_778 distribute-rgt-out--_binary64 pow-unpow_binary64_1178 +-commutative_binary64_349 pow-to-exp_binary64_1511
2×	associate-*l/_binary64_362 associate-*r/_binary64_1384 frac-times_binary64_1452 pow-to-exp_binary64_147 sin-sum_binary64_1575 inv-pow_binary64_1186 pow2_binary64_841 pow-to-exp_binary64 associate--l-_binary64 inv-pow_binary64_163 div-sub_binary64_765 cos-sum_binary64_894 associate-+l-_binary64_354 cbrt-div_binary64_1133 pow-plus_binary64_823 rem-cube-cbrt_binary64_783 associate-*l/_binary64_1385 neg-sub0_binary64_1096 pow-exp_binary64 sum-log_binary64 clear-num_binary64_2123 cube-mult_binary64_1131 frac-sub_binary64_1110 1-exp_binary64_1145 rec-exp_binary64_1151 pow-exp_binary64_146 +-commutative_binary64_2054 associate-+l-_binary64_1036 difference-of-squares_binary64_2093 tan-quot_binary64_919 associate-+r-_binary64_353 sin-mult_binary64_233 sum-log_binary64_2215 associate-+l-_binary64_1377 pow-flip_binary64_1175 exp-neg_binary64_1148 exp-diff_binary64_1149 pow-sqr_binary64_392 div-inv_binary64_2121 associate--l-_binary64_357 pow-prod-up_binary64_489 pow-flip_binary64_152 tan-sum_binary64_1577 frac-2neg_binary64_2135 associate-*l/_binary64
1×	+-commutative_binary64_8 diff-atan_binary64_2622 sqrt-unprod_binary64 frac-sub_binary64_1792 associate-+r+_binary64_692 flip3--_binary64_2128 associate-+r-_binary64_1376 difference-of-squares_binary64_2434 rem-cbrt-cube_binary64_784 div-sub_binary64_1788 pow-prod-up_binary64_148 associate--r+_binary64 diff-log_binary64_2557 frac-sub_binary64_87 pow-pow_binary64_1173 sin-cos-mult_binary64_1598 rem-cube-cbrt_binary64_1124 pow-sqr_binary64_51 div-sub_binary64_1447 neg-sub0_binary64 distribute-lft-out--_binary64_2076 exp-to-pow_binary64_481 un-div-inv_binary64_76 pow-plus_binary64_141 *-commutative_binary64_2055 rem-square-sqrt_binary64_1454 flip--_binary64_2440 diff-sin_binary64_1592 frac-sub_binary64 inv-pow_binary64_845 pow2_binary64_500 rem-cbrt-cube_binary64_1125 sqrt-unprod_binary64_1462 associate-+l+_binary64_1716 pow-flip_binary64_834 pow-flip_binary64 flip3--_binary64_2469 pow2_binary64_159 associate-*l*_binary64_2065 pow-plus_binary64_482 sub-neg_binary64_2458 diff-cos_binary64_911 associate--l-_binary64_1380 flip--_binary64_2099 diff-log_binary64_2216 pow2_binary64_1523 distribute-lft-out--_binary64_2417 pow-plus_binary64 inv-pow_binary64 pow1/3_binary64_1183 neg-log_binary64 sub-neg_binary64_2117 associate--r+_binary64_696 distribute-rgt-in_binary64_2074 rec-exp_binary64_810 cube-mult_binary64_1472 unpow3_binary64_1508 associate--l-_binary64_698 sqrt-pow2_binary64_1461 rem-square-sqrt_binary64 +-commutative_binary64 sub-div_binary64 pow-plus_binary64_1505 difference-of-sqr-1_binary64_2094 un-div-inv_binary64 1-exp_binary64_804 pow2_binary64 distribute-lft-in_binary64_2073 sum-log_binary64_169 exp-prod_binary64_471

Calls

642 calls:

75.0ms	(/.f64 (*.f64 (+.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (+.f64 (*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 x 1)) 1)) (*.f64 (-.f64 x 1) (+.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x))))
47.0ms	(*.f64 (sqrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (sqrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))
41.0ms	(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))
39.0ms	(-.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 x 1))))
35.0ms	(-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))