rewrite18.1s (7.4%)

Algorithm

104×	rewrite-expression-head

Rules

1134×	times-frac_binary64
1031×	add-sqr-sqrt_binary64
826×	*-un-lft-identity_binary64_1101
820×	*-un-lft-identity_binary64
712×	times-frac_binary64_1107
681×	*-un-lft-identity_binary64_1442
680×	add-sqr-sqrt_binary64_1123
607×	add-sqr-sqrt_binary64_1464
583×	add-cube-cbrt_binary64
520×	times-frac_binary64_1448
510×	*-un-lft-identity_binary64_2124
482×	*-un-lft-identity_binary64_78
479×	sqrt-prod_binary64_2140
403×	add-sqr-sqrt_binary64_100
389×	add-cube-cbrt_binary64_1136
373×	*-un-lft-identity_binary64_419
339×	times-frac_binary64_84
326×	add-sqr-sqrt_binary64_441
324×	add-cube-cbrt_binary64_1477
310×	add-cube-cbrt_binary64_113
275×	add-sqr-sqrt_binary64_782
270×	times-frac_binary64_425
266×	times-frac_binary64_2130
252×	sqrt-prod_binary64_1458
228×	add-cube-cbrt_binary64_454
227×	add-sqr-sqrt_binary64_2146
221×	sqrt-prod_binary64
219×	*-un-lft-identity_binary64_760
189×	distribute-lft-out_binary64_2075
184×	difference-of-squares_binary64
173×	add-exp-log_binary64
170×	pow1_binary64_480
167×	distribute-lft-out_binary64_1393
165×	log-prod_binary64_164
158×	add-exp-log_binary64_116
153×	add-cube-cbrt_binary64_2159
149×	add-cube-cbrt_binary64_795 difference-of-squares_binary64_1070
144×	cbrt-prod_binary64_109
142×	add-exp-log_binary64_1480
141×	add-cbrt-cube_binary64_114
135×	times-frac_binary64_766
125×	add-cbrt-cube_binary64
124×	distribute-lft-out_binary64_1052
122×	add-exp-log_binary64_1139
116×	log-pow_binary64_508
114×	add-exp-log_binary64_798
109×	add-cbrt-cube_binary64_1478
106×	add-cbrt-cube_binary64_1137
105×	distribute-lft-out--_binary64
104×	distribute-lft-out--_binary64_371 add-log-exp_binary64 pow1_binary64
102×	associate-/r*_binary64_1045 add-cbrt-cube_binary64_796
100×	pow1_binary64_139 add-log-exp_binary64_1140 add-log-exp_binary64_1481
99×	difference-of-squares_binary64_1411
89×	add-exp-log_binary64_457
88×	difference-of-sqr--1_binary64_1072
87×	add-sqr-sqrt_binary64_1805
82×	pow1_binary64_1503
81×	log-prod_binary64_1187
80×	associate-/l*_binary64_1387
78×	*-un-lft-identity_binary64_1783 associate-/r*_binary64
73×	add-log-exp_binary64_117
71×	add-log-exp_binary64_799
70×	add-exp-log_binary64_1821 cancel-sign-sub-inv_binary64_1067
69×	associate-*r*_binary64_700 pow1_binary64_821
67×	distribute-lft-out_binary64_29 cbrt-prod_binary64_450 add-cbrt-cube_binary64_455
66×	sqrt-prod_binary64_1117 associate-*r*_binary64
64×	distribute-lft-out--_binary64_1053
62×	associate-*r*_binary64_1382
61×	add-cbrt-cube_binary64_1819 associate-/l*_binary64_23
60×	div-inv_binary64 associate--l+_binary64_15
59×	flip3--_binary64 associate-/l*_binary64_1046 flip--_binary64
58×	log-prod_binary64_505 unpow-prod-down_binary64_2203 sqrt-prod_binary64_94
57×	cancel-sign-sub-inv_binary64 associate-+r+_binary64_10 div-exp_binary64
56×	associate-/l*_binary64 pow1_binary64_1162
54×	associate-*l*_binary64_19 cancel-sign-sub-inv_binary64_1408 associate-/r/_binary64 flip-+_binary64_1075 flip3-+_binary64_1104 associate-*r*_binary64_18
53×	add-cube-cbrt_binary64_1818
50×	cancel-sign-sub-inv_binary64_44 sqrt-div_binary64
49×	unpow-prod-down_binary64_1521 add-log-exp_binary64_458 pow1_binary64_1844
47×	add-log-exp_binary64_1822 sqrt-pow1_binary64 cancel-sign-sub-inv_binary64_385
45×	pow1_binary64_2185 associate-/r*_binary64_363 associate-*l*_binary64_1383
44×	frac-add_binary64_1109
43×	swap-sqr_binary64_2091
42×	difference-of-squares_binary64_729 associate-+l+_binary64_11
41×	flip--_binary64_1076 difference-of-squares_binary64_388 sqrt-prod_binary64_776 flip3--_binary64_1105
40×	cancel-sign-sub-inv_binary64_726 flip3-+_binary64_1445 flip-+_binary64_1416
39×	div-inv_binary64_1098 div-exp_binary64_129
38×	associate-/r*_binary64_22 unpow-prod-down_binary64_1180
37×	associate-/r*_binary64_1386
36×	distribute-lft-out--_binary64_1394 associate-/r/_binary64_1388 unpow-prod-down_binary64_498
35×	cbrt-undiv_binary64_112 associate-/r/_binary64_1047 associate-*l*_binary64_360
34×	sqrt-pow1_binary64_2142 sqr-pow_binary64_1073 associate-*l*_binary64
33×	sqr-pow_binary64_1414
32×	associate-*r*_binary64_1041
31×	associate-*r*_binary64_359
30×	div-inv_binary64_75 difference-of-sqr-1_binary64_1071 cube-prod_binary64_1470 add-exp-log_binary64_2162
29×	difference-of-sqr-1_binary64_1412 pow1/2_binary64 flip3--_binary64_764 flip--_binary64_735 flip-+_binary64_52 div-exp_binary64_1493 flip3-+_binary64_81
28×	div-exp_binary64_1152 distribute-lft-in_binary64_27 unswap-sqr_binary64_1410 distribute-rgt-in_binary64_28 log-prod_binary64_846
27×	associate-+l+_binary64_1034 prod-exp_binary64_127 associate-/l/_binary64_1048 cbrt-undiv_binary64 prod-exp_binary64_1491 associate-*l*_binary64_2065 associate-*r*_binary64_2064
26×	prod-exp_binary64_809 associate-*l*_binary64_701
25×	cbrt-unprod_binary64_111 prod-exp_binary64 cbrt-prod_binary64_791 log-pow_binary64_167
24×	diff-log_binary64 associate-*l*_binary64_1724 unswap-sqr_binary64 distribute-lft-out--_binary64_712 associate-/r/_binary64_2070 associate-/r*_binary64_2068 unswap-sqr_binary64_46
23×	div-inv_binary64_1439 associate-/l*_binary64_705 cbrt-undiv_binary64_1135 add-sqr-sqrt_binary64_2487
22×	associate-/r/_binary64_24 unpow2_binary64_1166 cbrt-unprod_binary64_793
21×	log-div_binary64_506 cbrt-prod_binary64_1473 rem-sqrt-square_binary64 prod-exp_binary64_1832 add-cbrt-cube_binary64_2160
20×	frac-times_binary64_1111 flip--_binary64_394 sub-neg_binary64 flip3--_binary64_423 associate-*l*_binary64_1042
19×	tan-quot_binary64_1942 prod-exp_binary64_1150 pow-unpow_binary64_496 div-exp_binary64_811
18×	associate-/l*_binary64_364 swap-sqr_binary64 *-un-lft-identity_binary64_2465 cbrt-div_binary64_110 distribute-lft-out--_binary64_30 sum-log_binary64_1192 rem-sqrt-square_binary64_2137 cbrt-undiv_binary64_794 unpow-prod-down_binary64_839
17×	difference-of-squares_binary64_47 associate-/r*_binary64_704 cbrt-unprod_binary64_1475 associate-*r*_binary64_1723 cbrt-unprod_binary64 swap-sqr_binary64_45 sum-log_binary64_1533
16×	div-inv_binary64_757 cbrt-undiv_binary64_1476 times-frac_binary64_1789 unswap-sqr_binary64_2092 unswap-sqr_binary64_728 sqrt-div_binary64_777 sub-neg_binary64_1094 cbrt-unprod_binary64_1816 associate-*r/_binary64_1384 sqrt-div_binary64_1459 distribute-lft-out_binary64_370 pow-prod-down_binary64_1513 add-cube-cbrt_binary64_2500 associate--r+_binary64_14 associate-*r/_binary64_1043
15×	cbrt-unprod_binary64_1134 flip-+_binary64_393 sqrt-prod_binary64_2481 pow-flip_binary64_2198 add-log-exp_binary64_2163 pow1_binary64_2526 cancel-sign-sub-inv_binary64_1749 inv-pow_binary64_2209 flip3-+_binary64_422
14×	pow-prod-down_binary64 diff-log_binary64_1193 associate-/r/_binary64_706 associate-*l/_binary64_1044 div-inv_binary64_2121 distribute-lft-in_binary64_709 distribute-rgt-in_binary64_710
13×	diff-log_binary64_852 clear-num_binary64_1100 sqr-pow_binary64_391 clear-num_binary64_77 flip3-+_binary64_2127 frac-2neg_binary64_89 flip-+_binary64_2098 frac-2neg_binary64_1112 pow-prod-down_binary64_149
12×	*-commutative_binary64_1373 cbrt-div_binary64_451 sqrt-div_binary64_95 flip3--_binary64_1446 unswap-sqr_binary64_387 rec-exp_binary64 add-log-exp_binary64_2504 flip3-+_binary64 flip-+_binary64 cube-prod_binary64_1129 associate--l+_binary64_356 1-exp_binary64 +-commutative_binary64_1372 pow-prod-down_binary64_1854 pow1/2_binary64_2204 distribute-lft-out_binary64 div-exp_binary64_470 associate-/l*_binary64_2069 prod-exp_binary64_468 flip--_binary64_1417 sub-neg_binary64_412 sub-neg_binary64_753
11×	associate-/r/_binary64_365 sum-log_binary64_169 pow1/3_binary64_501 log-div_binary64_165 distribute-rgt-in_binary64_1051 distribute-lft-out_binary64_711 distribute-lft-in_binary64_1050 diff-log_binary64_1534 associate-/l/_binary64_25
10×	unpow-prod-down_binary64_157 clear-num_binary64 add-exp-log_binary64_2503 unswap-sqr_binary64_1069 pow1/3_binary64_160 cube-prod_binary64_106 diff-log_binary64_170 +-commutative_binary64_1031 frac-2neg_binary64 div-inv_binary64_416 add-cbrt-cube_binary64_2501
9×	unpow3_binary64_1167 pow-prod-up_binary64 associate--l+_binary64_697 sub-neg_binary64_1435 flip3--_binary64_82 *-commutative_binary64_9 pow-prod-up_binary64_2194 pow-pow_binary64_1514 flip--_binary64_53 difference-of-squares_binary64_1752 pow-unpow_binary64_1519 sub-neg_binary64_71 associate--r+_binary64_355 rem-log-exp_binary64_460
8×	clear-num_binary64_1441 associate-*r/_binary64_20 cbrt-unprod_binary64_452 associate-/l/_binary64 diff-log_binary64_511 unpow-prod-down_binary64 rem-sqrt-square_binary64_773 div-exp_binary64_2175 distribute-rgt-out--_binary64_1055 frac-2neg_binary64_1453 *-commutative_binary64_691 flip3-+_binary64_1786 *-commutative_binary64 pow-prod-down_binary64_831 sqrt-pow1_binary64_1460 pow1/2_binary64_1522 sqrt-pow1_binary64_778 cbrt-div_binary64_1474 pow-flip_binary64_1516 pow1/2_binary64_840 unswap-sqr_binary64_1751 flip-+_binary64_1757
7×	*-commutative_binary64_350 associate-*r/_binary64_361 1-exp_binary64_1486 pow-pow_binary64_491 cbrt-undiv_binary64_453 distribute-lft-out_binary64_1734 frac-times_binary64_88 pow-to-exp_binary64_1511 *-commutative_binary64_1714 rec-exp_binary64_1492 pow-exp_binary64_1510
6×	associate-/l/_binary64_1389 pow-prod-down_binary64_490 frac-times_binary64 flip3--_binary64_1787 cancel-sign-sub-inv_binary64_2090 pow1/3_binary64_842 associate--l-_binary64_357 +-commutative_binary64_8 flip--_binary64_1758 sqrt-div_binary64_1118 sqrt-div_binary64_2141 pow-exp_binary64_1851 exp-prod_binary64_1494 pow-unpow_binary64_1860 associate--r+_binary64_696
5×	sqrt-pow1_binary64_2483 +-commutative_binary64_1713 distribute-rgt1-in_binary64_34 pow1/2_binary64_2545 diff-log_binary64_1875 *-commutative_binary64_1032 pow-pow_binary64_2196 associate-/l*_binary64_1728 pow-to-exp_binary64_488 frac-2neg_binary64_771 distribute-rgt-in_binary64_1392 pow-sqr_binary64_2097 frac-sub_binary64_1792 distribute-lft-out--_binary64_1735 pow-prod-down_binary64_2195 rem-log-exp_binary64_119 difference-of-sqr--1_binary64_1413 tan-quot_binary64_237 div-exp_binary64_1834 clear-num_binary64_759 distribute-rgt-neg-in_binary64 sin-mult_binary64_233 rem-log-exp_binary64_1142 sub-neg_binary64_1776 rem-sqrt-square_binary64_2478 distribute-lft-in_binary64_1391 cbrt-undiv_binary64_1817 pow-exp_binary64_487 log-pow_binary64_1190 sqr-pow_binary64_732 associate-*r/_binary64_1725 distribute-rgt-out_binary64_31 associate-*l/_binary64_21 pow-sqr_binary64 sum-log_binary64_1874
4×	associate-*l/_binary64_703 cube-prod_binary64_447 pow1/2_binary64_158 associate-/l/_binary64_1730 associate-*r/_binary64 distribute-lft-in_binary64_1732 pow-pow_binary64_1855 sqr-pow_binary64 frac-add_binary64_1450 distribute-rgt-in_binary64_369 associate-+l+_binary64_1375 difference-of-squares_binary64_2093 rec-exp_binary64_2174 sqr-pow_binary64_50 cube-div_binary64_1471 distribute-rgt-in_binary64_1733 frac-add_binary64_1791 sqrt-pow1_binary64_96 clear-num_binary64_418 frac-2neg_binary64_430 pow1/3_binary64_1524 cbrt-undiv_binary64_2158 distribute-lft-in_binary64_368 log-div_binary64_1188 sqr-abs_binary64 associate-/r*_binary64_1727 1-exp_binary64_2168 associate-+r+_binary64_1033 distribute-rgt1-in_binary64_1057 associate-*l/_binary64 frac-2neg_binary64_2135 div-sub_binary64_83 cube-prod_binary64_788 inv-pow_binary64_1527 sum-log_binary64 unpow-prod-up_binary64_497 clear-num_binary64_2123 sqr-pow_binary64_1755 distribute-rgt-out_binary64_1054
3×	log-pow_binary64_1872 unpow2_binary64_825 1-exp_binary64_463 associate-/r/_binary64_1729 associate-/l/_binary64_707 pow-exp_binary64_828 pow-flip_binary64_1175 cube-mult_binary64_108 log-pow_binary64_849 inv-pow_binary64_1186 distribute-lft-out--_binary64_2076 pow-unpow_binary64_155 sqrt-unprod_binary64_1462 div-sub_binary64 div-sub_binary64_424 sqr-pow_binary64_2096 1-exp_binary64_1145 rec-exp_binary64_469 sqr-abs_binary64_2139 pow-flip_binary64_152 pow-prod-up_binary64_148 sin-mult_binary64_1938 pow-prod-down_binary64_1172 exp-prod_binary64_471 flip3-+_binary64_763 sqr-sin-a_binary64_226 pow-unpow_binary64_2201 unpow3_binary64_1508 sum-log_binary64_851 pow-unpow_binary64_837 pow-to-exp_binary64_1852 rec-exp_binary64_128 cos-mult_binary64_232 flip-+_binary64_734 1-exp_binary64_122 unpow3_binary64_144 cancel-sign-sub-inv_binary64_2431 associate--l-_binary64_16 log-prod_binary64_1869 associate--l+_binary64_1379 rec-exp_binary64_1151 cube-mult_binary64_1472 pow-sqr_binary64_51 unpow2_binary64_1848 frac-sub_binary64_87 unpow-prod-down_binary64_1862 pow-to-exp_binary64_829
2×	pow-to-exp_binary64_1170 frac-sub_binary64 associate-*l/_binary64_362 pow1/2_binary64_1181 associate--l+_binary64_1038 neg-sub0_binary64_1437 pow-pow_binary64_832 frac-2neg_binary64_1794 associate-+r+_binary64_1715 exp-diff_binary64_1490 rem-cube-cbrt_binary64_1465 frac-sub_binary64_1110 pow2_binary64_159 inv-pow_binary64_163 associate-/l/_binary64_366 un-div-inv_binary64 associate-+l+_binary64_1716 sin-sum_binary64_1575 cos-sum_binary64_212 frac-times_binary64_770 pow-to-exp_binary64 sqrt-pow1_binary64_1119 tan-quot_binary64_919 associate-*r/_binary64_702 associate-+l-_binary64_13 frac-times_binary64_429 pow-sub_binary64_495 associate--l+_binary64 exp-neg_binary64_1489 pow-exp_binary64_1169 clear-num_binary64_1782 tan-sum_binary64_1918 rem-cube-cbrt_binary64_1806 associate-+r-_binary64_12 exp-prod_binary64_1835 pow-exp_binary64 pow-plus_binary64_141 exp-to-pow_binary64_1845 div-inv_binary64_1780 +-commutative_binary64_690 div-sub_binary64_1447
1×	rem-sqrt-square_binary64_1114 associate--l-_binary64_1039 sub-neg_binary64_2117 pow-plus_binary64 rem-log-exp_binary64_1824 cube-mult_binary64_1813 flip--_binary64_2099 associate--r+_binary64_1037 rem-square-sqrt_binary64 1-exp_binary64_804 +-commutative_binary64_2054 prod-exp_binary64_2173 neg-sub0_binary64 distribute-lft-out--_binary64_2417 flip3--_binary64_2469 unpow3_binary64_826 sqrt-unprod_binary64_2144 diff-cos_binary64_229 pow2_binary64_2205 associate-*r/_binary64_2066 rem-cbrt-cube_binary64_1466 pow-exp_binary64_2192 frac-times_binary64_1793 sqrt-unprod_binary64 frac-sub_binary64_769 associate--l-_binary64 cube-mult_binary64_790 div-sub_binary64_1106 cbrt-unprod_binary64_2157 pow-to-exp_binary64_2193 diff-log_binary64_2557 associate--r+_binary64 associate-+l-_binary64_1377 pow-exp_binary64_146 +-commutative_binary64 difference-of-sqr-1_binary64_730 cube-prod_binary64_1811 pow2_binary64 cos-mult_binary64_1937 flip--_binary64_2440 sub-neg_binary64_2458 pow-flip_binary64_493 diff-log_binary64_2216 sqrt-pow2_binary64_2143 unpow2_binary64_1507 associate-*l/_binary64_1726 pow-to-exp_binary64_147 associate-+r+_binary64_1374 div-sub_binary64_765 rec-exp_binary64_810 associate-*l/_binary64_2067 pow-flip_binary64_834 pow-pow_binary64_150 frac-sub_binary64_1451 inv-pow_binary64 neg-log_binary64 cube-mult_binary64_1131 pow-flip_binary64 flip3--_binary64_2128 sum-log_binary64_2215 inv-pow_binary64_845 rem-exp-log_binary64_1823 rem-cube-cbrt_binary64_101 un-div-inv_binary64_417 diff-sin_binary64_1592 associate-+l-_binary64_1036 unpow3_binary64_485 sin-cos-mult_binary64_1598 pow-plus_binary64_2187 cube-mult_binary64_449 unpow3_binary64_1849 rem-cbrt-cube_binary64_102 difference-of-sqr-1_binary64_1753 frac-times_binary64_2134 inv-pow_binary64_504 *-commutative_binary64_2055 diff-atan_binary64_2622 difference-of-squares_binary64_2434 rem-square-sqrt_binary64_2136

Counts

311 → 8736

Calls

229 calls:

71.0ms	(-.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) b_2)
70.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
55.0ms	(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))
49.0ms	(sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))
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)))))

Compiler

Compiled 231186 to 130658 computations (43.5% saved)