rewrite21.7s (5%)

Algorithm

116×	rewrite-expression-head

Rules

41844×	associate-*r/_binary64_2407
28076×	frac-times_binary64_2475
25719×	flip3-+_binary64_2468 flip-+_binary64_2439
20404×	frac-add_binary64_2473
8304×	associate-*l/_binary64_2408
5202×	associate-/l/_binary64_2412
5022×	times-frac_binary64_1107
3941×	times-frac_binary64_1448
3751×	flip--_binary64_2440 flip3--_binary64_2469
2456×	add-sqr-sqrt_binary64_1123
2324×	*-un-lft-identity_binary64_1101
2308×	add-cube-cbrt_binary64_1136
2025×	*-un-lft-identity_binary64_1442
1967×	add-sqr-sqrt_binary64_1464
1671×	cbrt-prod_binary64_1132
1531×	add-cube-cbrt_binary64_1477
1382×	add-exp-log_binary64_457
1241×	sqrt-prod_binary64_1117
1055×	add-exp-log_binary64_1139
933×	add-cbrt-cube_binary64_455
892×	sqrt-prod_binary64_1458
735×	add-sqr-sqrt_binary64_100
726×	prod-exp_binary64_468
715×	associate-*r*_binary64_1041
679×	add-sqr-sqrt_binary64
646×	add-cbrt-cube_binary64_1137
621×	*-un-lft-identity_binary64_78
563×	times-frac_binary64_84
554×	times-frac_binary64
539×	*-un-lft-identity_binary64
538×	times-frac_binary64_425
526×	add-sqr-sqrt_binary64_441
513×	prod-exp_binary64_1150
492×	add-cube-cbrt_binary64
468×	difference-of-squares_binary64_1411
463×	cbrt-unprod_binary64_452
424×	add-exp-log_binary64_1480
415×	*-un-lft-identity_binary64_419
403×	add-cube-cbrt_binary64_454
391×	add-cube-cbrt_binary64_113
389×	add-sqr-sqrt_binary64_782
369×	*-un-lft-identity_binary64_760
347×	sqrt-prod_binary64_94
327×	add-cbrt-cube_binary64_1478
324×	add-sqr-sqrt_binary64_1805 add-exp-log_binary64_798
321×	cbrt-prod_binary64_109
320×	pow1_binary64_480
317×	div-exp_binary64_470
297×	cbrt-unprod_binary64_1134
267×	add-cube-cbrt_binary64_795
259×	associate-*r*_binary64_359
251×	div-exp_binary64_1152
247×	div-inv_binary64_1439
242×	add-exp-log_binary64
240×	times-frac_binary64_766
231×	associate-/r/_binary64_1388
229×	associate-/r*_binary64_1386
221×	associate-*l*_binary64_360
220×	difference-of-squares_binary64_47
218×	pow1_binary64_1844
206×	cbrt-undiv_binary64_453
200×	unpow-prod-down_binary64_157
199×	sqrt-prod_binary64_1799
197×	associate-/r*_binary64_1045
191×	div-inv_binary64_1098 pow1_binary64_821
178×	*-un-lft-identity_binary64_1783
177×	add-exp-log_binary64_116
176×	add-cbrt-cube_binary64_796
169×	associate-*r*_binary64_1382
164×	pow-prod-down_binary64_490
158×	add-exp-log_binary64_1821 add-cbrt-cube_binary64
157×	pow1_binary64_1503
155×	add-cube-cbrt_binary64_1818 pow1_binary64_1162
154×	*-un-lft-identity_binary64_2124
153×	associate-*l/_binary64_362
148×	unpow-prod-down_binary64
146×	cbrt-prod_binary64_450
144×	div-exp_binary64_1493 cbrt-prod_binary64
143×	flip3--_binary64_1446 flip--_binary64_1417
140×	cbrt-undiv_binary64_1135 associate-*r*_binary64 prod-exp_binary64_809 add-cbrt-cube_binary64_1819
133×	sqrt-prod_binary64_776
132×	distribute-lft-out_binary64_1393
130×	add-cbrt-cube_binary64_114 associate-*r/_binary64_361
127×	frac-times_binary64_429
120×	pow1_binary64
118×	prod-exp_binary64_1491
116×	associate-*r/_binary64_1384
114×	pow-unpow_binary64_837 associate-*l*_binary64
113×	add-sqr-sqrt_binary64_2146
110×	sqrt-prod_binary64_435
106×	add-exp-log_binary64_2162
102×	associate-*l*_binary64_19
100×	associate-*r*_binary64_1723
99×	associate-/l*_binary64_1387 unpow-prod-down_binary64_839
98×	pow1_binary64_139
96×	cbrt-unprod_binary64_1475
94×	cbrt-prod_binary64_1814
92×	unpow-prod-down_binary64_1521
89×	associate-*l*_binary64_1724 add-exp-log_binary64_2503
87×	cube-prod_binary64_1470
86×	cbrt-undiv_binary64_1476
78×	add-log-exp_binary64_1481
77×	unpow-prod-down_binary64_1862
76×	sqrt-div_binary64_1459
75×	sqrt-div_binary64_1118 add-log-exp_binary64_799 pow-exp_binary64_1169 add-cbrt-cube_binary64_2160 add-log-exp_binary64_1822
74×	associate-/r*_binary64 associate-*r*_binary64_700
73×	add-cube-cbrt_binary64_2159
72×	associate-*r/_binary64_1043 pow1_binary64_2526 add-log-exp_binary64_117
71×	flip3-+_binary64_422 flip-+_binary64_393
70×	add-sqr-sqrt_binary64_2487 unswap-sqr_binary64_1751
69×	associate-*l*_binary64_1383 pow1_binary64_2185
68×	associate-*l*_binary64_701 add-log-exp_binary64_458 pow-prod-down_binary64_831
67×	add-log-exp_binary64 cancel-sign-sub-inv_binary64_1408 add-cbrt-cube_binary64_2501 times-frac_binary64_2130
66×	pow-prod-down_binary64_1854 sqrt-div_binary64_95
65×	pow-exp_binary64_487
64×	pow-exp_binary64_828 associate-/l*_binary64
63×	cbrt-unprod_binary64_793 prod-exp_binary64_1832
61×	unswap-sqr_binary64
60×	associate-*r/_binary64_1725
59×	div-exp_binary64
58×	cbrt-div_binary64_451 associate-*l*_binary64_1042 add-log-exp_binary64_1140 pow-prod-down_binary64_1513 sqr-pow_binary64
57×	pow-prod-down_binary64_1172
56×	div-inv_binary64_416 sqr-pow_binary64_50 pow-to-exp_binary64_488
55×	sqrt-pow1_binary64_1801 unswap-sqr_binary64_387
54×	unpow-prod-down_binary64_498 unpow2_binary64_143 sqrt-div_binary64_1800
52×	cbrt-unprod_binary64_1816
51×	pow-unpow_binary64
49×	associate-/l*_binary64_364
48×	cbrt-prod_binary64_791
47×	flip-+_binary64_52 associate-*r*_binary64_18 flip3-+_binary64_81
46×	associate-/r*_binary64_363
45×	*-un-lft-identity_binary64_2465
44×	prod-exp_binary64 tan-quot_binary64_578 associate-/r*_binary64_22 sqr-pow_binary64_732 prod-exp_binary64_2514
43×	frac-times_binary64_1452 div-inv_binary64
42×	prod-exp_binary64_127
41×	add-cube-cbrt_binary64_2500
39×	difference-of-squares_binary64_729 prod-exp_binary64_2173
38×	frac-times_binary64_1111 distribute-lft-out_binary64_29
37×	flip3-+_binary64_1786 flip-+_binary64_1757 pow1/2_binary64_1863
36×	sqrt-div_binary64_436 distribute-lft-out--_binary64_2076 unpow-prod-down_binary64_2544
35×	pow-exp_binary64 *-commutative_binary64_350
34×	associate-/r/_binary64_1047
33×	associate-*r*_binary64_2064 div-exp_binary64_811
32×	associate-/r/_binary64_24 sqr-pow_binary64_1414 associate-*r/_binary64_20 associate-*r*_binary64_2405
31×	pow-to-exp_binary64 div-exp_binary64_129 cancel-sign-sub-inv_binary64_726 associate-*l*_binary64_2065 rem-sqrt-square_binary64_1114 pow-prod-down_binary64_2536
29×	distribute-rgt-in_binary64_369 add-log-exp_binary64_2504 cbrt-undiv_binary64 distribute-lft-in_binary64_368 add-log-exp_binary64_2163 unswap-sqr_binary64_1069
28×	cbrt-unprod_binary64_2498 associate-/l*_binary64_23 sqrt-pow1_binary64_437
27×	flip-+_binary64_1416 flip3-+_binary64_1445 associate-*l/_binary64_1044 pow-to-exp_binary64_1170
26×	sqrt-pow1_binary64_96 associate-/l*_binary64_1046 cbrt-unprod_binary64 associate-/r/_binary64_2411
25×	pow-to-exp_binary64_829
24×	unswap-sqr_binary64_728 flip3--_binary64_1787 swap-sqr_binary64 difference-of-squares_binary64 rem-sqrt-square_binary64_91 cube-prod_binary64_106 unswap-sqr_binary64_2433 flip--_binary64_1758 flip3--_binary64_1105 flip--_binary64_1076
23×	pow-prod-down_binary64_2195 swap-sqr_binary64_1750 associate-*l/_binary64_1385 cbrt-unprod_binary64_2157 distribute-lft-out--_binary64_1394 unswap-sqr_binary64_1410 pow-prod-up_binary64_1853 div-inv_binary64_75
22×	distribute-lft-out--_binary64_712 times-frac_binary64_1789 distribute-lft-out_binary64_711 frac-times_binary64_1793 cbrt-unprod_binary64_111 associate-/l*_binary64_705 cancel-sign-sub-inv_binary64 associate-/r*_binary64_704 distribute-lft-out--_binary64_30 sqrt-div_binary64_777
21×	cbrt-undiv_binary64_112 pow-unpow_binary64_155 rem-sqrt-square_binary64_1796
20×	cube-prod_binary64_447 sqr-pow_binary64_2437 frac-add_binary64_1791 cos-sum_binary64_894 associate-/l*_binary64_2069 associate-*l*_binary64_2406 *-commutative_binary64_1373 associate-/r*_binary64_2068 associate-*r/_binary64_702 pow1/2_binary64_158
19×	*-commutative_binary64_1032 *-commutative_binary64_1714 div-exp_binary64_2175
18×	pow-prod-down_binary64 flip3-+_binary64_763 flip-+_binary64_734 sqr-pow_binary64_391 cancel-sign-sub-inv_binary64_385 distribute-rgt-in_binary64_2415 distribute-lft-in_binary64_2414 associate-*r/_binary64_2066 *-commutative_binary64_691 *-commutative_binary64
17×	clear-num_binary64 clear-num_binary64_1100 frac-2neg_binary64_1112 frac-2neg_binary64 pow-pow_binary64_832
16×	cbrt-div_binary64_110 distribute-rgt-in_binary64_1733 distribute-lft-in_binary64_1732 1-exp_binary64_1486 pow1/3_binary64 clear-num_binary64_1441 frac-2neg_binary64_1453 unswap-sqr_binary64_46 rec-exp_binary64_1492
15×	pow-to-exp_binary64_2534 distribute-lft-out_binary64_2075 pow-exp_binary64_2533 sqr-pow_binary64_1755 flip-+_binary64_2098 flip3-+_binary64_2127 pow-pow_binary64 tan-quot_binary64
14×	pow-exp_binary64_146 pow1/3_binary64_842 difference-of-squares_binary64_2093 pow1/3_binary64_160 cancel-sign-sub-inv_binary64_1749
13×	clear-num_binary64_418 associate-/l/_binary64_1389 frac-2neg_binary64_430 unpow-prod-down_binary64_1180
12×	associate-/r/_binary64 unswap-sqr_binary64_2092 unpow-prod-down_binary64_2203 frac-add_binary64_86 cbrt-div_binary64_1815 pow-unpow_binary64_1519 associate-/l/_binary64_366 pow-sqr_binary64_1756 sum-log_binary64_1874 div-inv_binary64_757 cbrt-prod_binary64_2496
11×	cbrt-undiv_binary64_2158 pow-plus_binary64_1846 associate-*l/_binary64_1726
10×	cbrt-undiv_binary64_794 sum-log_binary64_1533 unpow2_binary64_484 associate-/r/_binary64_2070 sqrt-pow1_binary64_1119 sub-neg_binary64_753 sqrt-pow1_binary64_778 pow1/2_binary64_1181 pow-pow_binary64_1514
9×	pow-to-exp_binary64_147 unpow-prod-up_binary64_838 pow1/2_binary64_840 div-sub_binary64_765 distribute-lft-out--_binary64 frac-2neg_binary64_89 clear-num_binary64_77 pow-unpow_binary64_1860 pow-unpow_binary64_496 pow-unpow_binary64_2542 rem-sqrt-square_binary64_773 pow1/3_binary64_1183 pow-sub_binary64_836
8×	associate-*l/_binary64_703 *-commutative_binary64_2396 difference-of-squares_binary64_1070 distribute-lft-out_binary64 sub-neg_binary64_1435 distribute-lft-out_binary64_1734 distribute-rgt-in_binary64_1392 sub-neg_binary64_1094 sum-log_binary64_2556 distribute-lft-in_binary64_1050 *-commutative_binary64_2055 pow-pow_binary64_150 distribute-lft-in_binary64_1391 cbrt-div_binary64_792 associate-+r+_binary64_2397 pow1/3_binary64_1865 cancel-sign-sub-inv_binary64_1067 distribute-rgt-in_binary64_1051 exp-prod_binary64_1835
7×	associate-/l/_binary64 log-pow_binary64_1872 pow-exp_binary64_2192 cbrt-div_binary64 distribute-rgt-in_binary64_2074 pow-to-exp_binary64_2193 pow-to-exp_binary64_1852 pow-exp_binary64_1851 div-inv_binary64_2121 distribute-lft-in_binary64_2073 associate-*l/_binary64
6×	*-commutative_binary64_9 sub-neg_binary64_412 flip3--_binary64_2128 difference-of-squares_binary64_1752 +-commutative_binary64_1713 rec-exp_binary64 cancel-sign-sub-inv_binary64_2431 div-sub_binary64_1447 cube-mult_binary64_449 1-exp_binary64 distribute-rgt-in_binary64_28 +-commutative_binary64_1372 cube-div_binary64_1471 sinh-def_binary64_945 distribute-lft-in_binary64_27 sub-neg_binary64_2458 clear-num_binary64_2123 swap-sqr_binary64_727 sqr-pow_binary64_2096 flip--_binary64_2099 cube-prod_binary64_2493 rec-exp_binary64_810 pow-prod-down_binary64_149 unpow3_binary64_485 sum-log_binary64_2215 sub-neg_binary64_1776 associate-+r+_binary64_10 frac-add_binary64_1450 frac-times_binary64_2134 pow1/2_binary64_499 associate-/l/_binary64_2071 1-exp_binary64_804 pow2_binary64_1864 frac-2neg_binary64_2135
5×	+-commutative_binary64_8 flip3--_binary64 pow-pow_binary64_1855 unpow2_binary64_1166 associate-+l+_binary64_2398 distribute-rgt-in_binary64_710 distribute-lft-out_binary64_370 flip--_binary64 frac-2neg_binary64_771 log-prod_binary64_1869 distribute-lft-in_binary64_709 cos-diff_binary64_897 cube-mult_binary64_1472 unpow3_binary64_1508 clear-num_binary64_759 sqr-abs_binary64_1798 sqr-pow_binary64_1073 flip--_binary64_735 sum-log_binary64_169 flip3--_binary64_764
4×	unpow2_binary64_825 sum-log_binary64_851 flip3--_binary64_423 flip--_binary64_53 associate-/l/_binary64_707 pow-prod-up_binary64_2194 flip--_binary64_394 associate-*r/_binary64 pow-plus_binary64_2528 pow-prod-up_binary64_2535 distribute-lft-out--_binary64_1053 pow-flip_binary64 cube-prod_binary64_1811 rem-log-exp_binary64_1824 diff-log_binary64_1534 +-commutative_binary64_2054 associate-+r+_binary64_1715 diff-log_binary64_852 sqrt-pow1_binary64_1460 inv-pow_binary64 pow-exp_binary64_1510 pow1/2_binary64_1522 pow-sqr_binary64_2097 cube-div_binary64_2494 pow-sqr_binary64 flip3--_binary64_82 pow-prod-up_binary64 pow-to-exp_binary64_1511
3×	sub-neg_binary64 rem-cube-cbrt_binary64_1465 rec-exp_binary64_128 diff-log_binary64 times-frac_binary64_2471 pow-pow_binary64_491 +-commutative_binary64_2395 div-exp_binary64_2516 1-exp_binary64_122 cbrt-div_binary64_1133 sum-log_binary64_510 acos-asin_binary64_1964 pow-flip_binary64_1516 pow-flip_binary64_834 associate-*l/_binary64_2067 +-commutative_binary64_690 cbrt-undiv_binary64_2499 pow-pow_binary64_2537 sqrt-pow2_binary64_1461 cube-prod_binary64 asin-acos_binary64_258 +-commutative_binary64_349 associate-/l*_binary64_2410
2×	inv-pow_binary64_1527 pow1/3_binary64_501 cbrt-undiv_binary64_1817 rem-exp-log_binary64_1823 associate-*l/_binary64_21 unpow3_binary64_2531 exp-sum_binary64_1829 cancel-sign-sub-inv_binary64_2090 rem-square-sqrt_binary64_1795 sqrt-unprod_binary64_1803 associate-/l/_binary64_25 associate--l+_binary64_15 frac-sub_binary64 e-exp-1_binary64_1828 distribute-lft-out--_binary64_1735 associate-/r/_binary64_365 pow-plus_binary64_2187 frac-sub_binary64_1110 cube-mult_binary64_2495 div-exp_binary64_1834 pow-plus_binary64 sub-neg_binary64_2117 pow2_binary64_2546 frac-add_binary64_1109 sinh-undef_binary64_953 pow-prod-up_binary64_830 pow-sqr_binary64_733 div-sub_binary64_2129 distribute-lft-out_binary64_2416 unpow2_binary64_2530 pow-sqr_binary64_2438 pow2_binary64 cbrt-div_binary64_2497 associate-+r+_binary64_1374
1×	mul0-rgt_binary64_1084 flip3-+_binary64 rem-cbrt-cube_binary64_102 +-commutative_binary64_1031 rem-cube-cbrt_binary64_2488 pow2_binary64_841 rem-sqrt-square_binary64_1455 cube-div_binary64_107 unpow2_binary64_1507 cube-mult_binary64_1813 difference-of-squares_binary64_388 diff-log_binary64_170 unpow3_binary64_1849 div-inv_binary64_1780 pow-plus_binary64_823 log-pow_binary64_2213 associate-/r*_binary64_2409 frac-2neg_binary64_2476 sum-log_binary64_1192 inv-pow_binary64_845 unpow3_binary64 associate-+l+_binary64_1716 cube-mult_binary64 unpow3_binary64_144 flip3-+_binary64_1104 frac-add_binary64_427 frac-times_binary64_770 1-exp_binary64_1145 rec-exp_binary64_1151 div-sub_binary64 pow1/3_binary64_2547 distribute-lft-out--_binary64_371 cube-mult_binary64_108 rem-cube-cbrt_binary64 flip-+_binary64_1075 associate--r+_binary64_696 div-inv_binary64_2462 unpow2_binary64_1848 div-sub_binary64_83 sub-div_binary64 associate-+l+_binary64_2057 distribute-lft-out_binary64_1052 pow2_binary64_2205 cancel-sign-sub-inv_binary64_44 rem-cbrt-cube_binary64_2489 swap-sqr_binary64_2091 frac-times_binary64 distribute-rgt-out_binary64_372 sub-neg_binary64_71 clear-num_binary64_2464 flip-+_binary64 frac-times_binary64_88

Calls

438 calls:

792.0ms	(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (pow.f64 (*.f64 b a) 6) 8) (pow.f64 (+.f64 (pow.f64 b 4) (pow.f64 a 4)) 3)) (*.f64 (+.f64 1 (-.f64 (*.f64 a a) a)) (+.f64 1 (*.f64 a 3)))) (*.f64 (+.f64 (*.f64 (*.f64 (pow.f64 b 4) (pow.f64 a 4)) 4) (*.f64 (+.f64 (pow.f64 b 4) (pow.f64 a 4)) (+.f64 (+.f64 (pow.f64 b 4) (pow.f64 a 4)) (*.f64 (*.f64 (*.f64 b a) (*.f64 b a)) -2)))) (*.f64 4 (+.f64 (*.f64 a (*.f64 (+.f64 a (pow.f64 a 4)) (+.f64 1 (*.f64 a 3)))) (*.f64 (-.f64 1 (*.f64 a (*.f64 a 9))) (*.f64 (*.f64 b b) (+.f64 1 (-.f64 (*.f64 a a) a)))))))) (*.f64 (+.f64 (*.f64 (*.f64 (pow.f64 b 4) (pow.f64 a 4)) 4) (*.f64 (+.f64 (pow.f64 b 4) (pow.f64 a 4)) (+.f64 (+.f64 (pow.f64 b 4) (pow.f64 a 4)) (*.f64 (*.f64 (*.f64 b a) (*.f64 b a)) -2)))) (*.f64 (+.f64 1 (-.f64 (*.f64 a a) a)) (+.f64 1 (*.f64 a 3)))))
280.0ms	(*.f64 (*.f64 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V))) c0) (*.f64 (sqrt.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 l) (cbrt.f64 l))))) (sqrt.f64 (/.f64 (cbrt.f64 (cbrt.f64 A)) (/.f64 (cbrt.f64 V) (/.f64 (cbrt.f64 1) (cbrt.f64 l)))))))
197.0ms	(+.f64 (*.f64 (+.f64 (*.f64 (pow.f64 (*.f64 b a) 6) 8) (pow.f64 (+.f64 (pow.f64 b 4) (pow.f64 a 4)) 3)) (*.f64 (+.f64 1 (-.f64 (*.f64 a a) a)) (+.f64 1 (*.f64 a 3)))) (*.f64 (+.f64 (*.f64 (*.f64 (pow.f64 b 4) (pow.f64 a 4)) 4) (*.f64 (+.f64 (pow.f64 b 4) (pow.f64 a 4)) (+.f64 (+.f64 (pow.f64 b 4) (pow.f64 a 4)) (*.f64 (*.f64 (*.f64 b a) (*.f64 b a)) -2)))) (*.f64 4 (+.f64 (*.f64 a (*.f64 (+.f64 a (pow.f64 a 4)) (+.f64 1 (*.f64 a 3)))) (*.f64 (-.f64 1 (*.f64 a (*.f64 a 9))) (*.f64 (*.f64 b b) (+.f64 1 (-.f64 (*.f64 a a) a))))))))
128.0ms	(*.f64 (*.f64 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V))) c0) (sqrt.f64 (/.f64 (cbrt.f64 A) (/.f64 (cbrt.f64 V) (/.f64 1 l)))))
76.0ms	(*.f64 (+.f64 1 (sqrt.f64 (pow.f64 (sqrt.f64 (+.f64 1/2 (/.f64 1/2 (hypot.f64 1 x)))) 3))) (/.f64 (-.f64 1 (sqrt.f64 (pow.f64 (sqrt.f64 (+.f64 1/2 (/.f64 1/2 (hypot.f64 1 x)))) 3))) (+.f64 (/.f64 1/2 (hypot.f64 1 x)) (+.f64 (sqrt.f64 (+.f64 1/2 (/.f64 1/2 (hypot.f64 1 x)))) 3/2))))