rewrite5.1s (3.1%)

Algorithm

106×	rewrite-expression-head

Rules

1288×	times-frac_binary64
1216×	*-un-lft-identity_binary64
988×	add-sqr-sqrt_binary64
897×	times-frac_binary64_2779
806×	add-sqr-sqrt_binary64_2794
741×	times-frac_binary64_420
739×	times-frac_binary64_83
732×	add-sqr-sqrt_binary64_98
645×	*-un-lft-identity_binary64_2773
611×	*-un-lft-identity_binary64_77
584×	add-cube-cbrt_binary64
515×	*-un-lft-identity_binary64_414
502×	add-cube-cbrt_binary64_2805
487×	*-un-lft-identity_binary64_751
468×	add-sqr-sqrt_binary64_435
454×	sqrt-prod_binary64
427×	add-sqr-sqrt_binary64_2120
377×	add-exp-log_binary64_449
352×	add-cube-cbrt_binary64_446
320×	add-cube-cbrt_binary64_109
317×	add-sqr-sqrt_binary64_772
306×	times-frac_binary64_2105
302×	*-un-lft-identity_binary64_2099
290×	times-frac_binary64_757
260×	add-cube-cbrt_binary64_783
249×	associate-*r*_binary64_2715
247×	add-exp-log_binary64
239×	*-un-lft-identity_binary64_1088 add-cbrt-cube_binary64
236×	difference-of-squares_binary64
227×	add-sqr-sqrt_binary64_1109
222×	add-exp-log_binary64_786
216×	*-un-lft-identity_binary64_1762
210×	add-sqr-sqrt_binary64_1783
204×	add-cbrt-cube_binary64_447
196×	difference-of-squares_binary64_2068
171×	associate-*r*_binary64_19
168×	add-cube-cbrt_binary64_2131 difference-of-squares_binary64_2742
157×	add-log-exp_binary64_1124
151×	prod-exp_binary64_460
143×	div-exp_binary64_462
142×	distribute-lft-out_binary64
141×	distribute-lft-out_binary64_704
140×	difference-of-squares_binary64_46
139×	associate-*r*_binary64_693
137×	add-exp-log_binary64_112
136×	add-cbrt-cube_binary64_784 add-exp-log_binary64_2808
129×	times-frac_binary64_1768
127×	distribute-lft-out--_binary64 add-cbrt-cube_binary64_2806
124×	add-log-exp_binary64_1798
122×	cbrt-prod_binary64_2127
113×	add-cube-cbrt_binary64_1794
108×	associate-*l*_binary64
106×	add-cbrt-cube_binary64_1795
105×	add-exp-log_binary64_1797
102×	add-cbrt-cube_binary64_110
94×	unpow-prod-down_binary64_2175
93×	associate-/l*_binary64_361
92×	frac-times_binary64_761 pow1_binary64 associate-*r*_binary64 associate-/l*_binary64
91×	prod-exp_binary64_797
90×	pow1_binary64_809
88×	unpow-prod-down_binary64_2849 cbrt-prod_binary64
85×	sqr-pow_binary64_2745
84×	difference-of-sqr-1_binary64_2743 pow1_binary64_2831
83×	sqr-pow_binary64_2071
81×	add-log-exp_binary64 frac-sub_binary64_760 prod-exp_binary64 pow1_binary64_1146
80×	associate-/r*_binary64
79×	cbrt-unprod_binary64
78×	sqrt-prod_binary64_2788
77×	flip3-+_binary64 pow1_binary64_2494 flip-+_binary64
76×	distribute-lft-out_binary64_1041 sum-log_binary64_1176 distribute-lft-out_binary64_30
75×	add-exp-log_binary64_1123 cbrt-undiv_binary64_445
74×	add-cbrt-cube_binary64_1121 exp-neg_binary64_795
70×	difference-of-squares_binary64_383 associate-*r/_binary64 add-log-exp_binary64_2809
68×	associate-*l*_binary64_694 distribute-lft-out--_binary64_31
66×	associate-/r*_binary64_2719 associate-/r/_binary64_25 difference-of-squares_binary64_1057
63×	associate-*l*_binary64_357 flip-+_binary64_725 flip3-+_binary64_754
62×	add-log-exp_binary64_787
61×	associate-/r*_binary64_697
60×	add-log-exp_binary64_2135
59×	cbrt-undiv_binary64 div-exp_binary64 add-cube-cbrt_binary64_1120
57×	sqrt-prod_binary64_2114 associate-*l*_binary64_2042 div-inv_binary64_411 pow1_binary64_135
56×	associate-*l*_binary64_20 exp-diff_binary64_796 distribute-lft-out_binary64_2052 neg-sub0_binary64_746 times-frac_binary64_1094
54×	pow1_binary64_1820 cbrt-prod_binary64_1116
53×	div-inv_binary64_2770 distribute-lft-out_binary64_367
52×	associate-*r/_binary64_695
51×	associate-/l*_binary64_24 associate-*r*_binary64_2041 cbrt-unprod_binary64_444
49×	cbrt-unprod_binary64_781 add-exp-log_binary64_2134
48×	add-sqr-sqrt_binary64_1446 associate-*l*_binary64_2716 associate-*l/_binary64_696
47×	add-cbrt-cube_binary64_2132
46×	associate-/l*_binary64_2720 flip3--_binary64_755 flip--_binary64_726 *-un-lft-identity_binary64_1425
45×	associate-/r/_binary64 add-log-exp_binary64_450 div-inv_binary64_748 div-inv_binary64
44×	1-exp_binary64_455 add-log-exp_binary64_113 frac-times_binary64
43×	pow1_binary64_472
42×	diff-log_binary64_1851 difference-of-squares_binary64_1731
41×	prod-exp_binary64_123 log-prod_binary64_2856 associate-/l*_binary64_1709
40×	log-pow_binary64_1848 sqrt-div_binary64_2789 flip3-+_binary64_2776 flip-+_binary64_2747
39×	associate-*r*_binary64_356 distribute-lft-out--_binary64_2053
37×	associate-/r/_binary64_699 pow1_binary64_1483 associate-/r*_binary64_360
36×	add-cube-cbrt_binary64_1457
35×	unpow-prod-down_binary64_1164 exp-prod_binary64_1811
34×	add-sqr-sqrt_binary64_2457 frac-add_binary64
33×	*-un-lft-identity_binary64_2436 add-exp-log_binary64_1460
32×	sqrt-pow1_binary64_2453
31×	associate-/r*_binary64_23 div-exp_binary64_125 associate-/l*_binary64_2046 associate-/l*_binary64_698 pow1_binary64_2157
30×	flip-+_binary64_51 add-cbrt-cube_binary64_1458 sqrt-prod_binary64_766 flip3-+_binary64_80 div-inv_binary64_74
29×	pow-prod-down_binary64 div-exp_binary64_2821
28×	associate-*r*_binary64_1030 pow-prod-down_binary64_2504 cube-prod_binary64_2124 distribute-lft-out--_binary64_1716 flip3-+_binary64_2102 exp-sum_binary64_2816 distribute-lft-out--_binary64_2727 associate-/r/_binary64_2721 flip-+_binary64_2073
27×	cbrt-unprod_binary64_107 associate-/r*_binary64_2045 sub-neg_binary64_1755
26×	cbrt-undiv_binary64_2804 distribute-lft-out--_binary64_368 unswap-sqr_binary64_45 pow-prod-down_binary64_1156 cbrt-unprod_binary64_1118 prod-exp_binary64_1134 div-exp_binary64_799 associate-*l/_binary64
25×	flip3--_binary64_1766 unswap-sqr_binary64_719 cbrt-undiv_binary64_1793 div-exp_binary64_1810 cube-prod_binary64_1113 flip--_binary64_1737 cbrt-prod_binary64_779 sqrt-div_binary64
24×	add-exp-log_binary64_2471 sqrt-prod_binary64_429 associate-/r/_binary64_2047 distribute-lft-out--_binary64_1042 associate-*r/_binary64_2380 add-cbrt-cube_binary64_2469 add-cube-cbrt_binary64_2468 prod-exp_binary64_2819 associate-*r*_binary64_1704
23×	sum-log_binary64_2187
22×	cbrt-unprod_binary64_2803 associate-/r/_binary64_362 associate-/l/_binary64_2722 cbrt-unprod_binary64_1792 associate-*l*_binary64_1031 prod-exp_binary64_1808
21×	flip3--_binary64_418 flip--_binary64_52 pow-prod-down_binary64_819 add-log-exp_binary64_1461 flip-+_binary64_1062 flip3--_binary64_81 flip--_binary64_389 flip3-+_binary64_1091 swap-sqr_binary64_2066
20×	cbrt-undiv_binary64_782 associate-*r*_binary64_2378 associate-*l*_binary64_2379
19×	flip3--_binary64 cbrt-undiv_binary64_108 flip3--_binary64_1092 flip--_binary64 cube-mult_binary64_2126 add-log-exp_binary64_2472 associate-/r*_binary64_1708 flip--_binary64_1063
18×	unpow-prod-down_binary64_827 unpow3_binary64_2162 cbrt-div_binary64 log-prod_binary64_1508 unswap-sqr_binary64_2067 associate-*l*_binary64_1368 associate-/l/_binary64_2048 un-div-inv_binary64_749
17×	rec-exp_binary64_461 distribute-rgt-in_binary64 pow-prod-down_binary64_145 distribute-lft-in_binary64 unswap-sqr_binary64_2741
16×	sqrt-prod_binary64_1440 sqrt-div_binary64_2452 sum-log_binary64 associate-+l+_binary64 associate-*r*_binary64_1367 distribute-lft-out_binary64_1715
15×	flip-+_binary64_2410 flip3-+_binary64_2439 distribute-rgt-out--_binary64_2055 div-inv_binary64_1759 *-commutative_binary64_684 sqrt-prod_binary64_1777
13×	difference-of-sqr-1_binary64_1732 sub-neg_binary64_70 sqrt-prod_binary64_1103 unswap-sqr_binary64 sqrt-prod_binary64_2451 pow-prod-down_binary64_2841
12×	frac-add_binary64_1096 cbrt-prod_binary64_1453 exp-prod_binary64_800 clear-num_binary64 flip-+_binary64_1736 flip3-+_binary64_1765 swap-sqr_binary64_718 cbrt-div_binary64_2128 frac-2neg_binary64_2784 frac-2neg_binary64 div-inv_binary64_2096 clear-num_binary64_2772 pow1/2_binary64_2513 cube-prod_binary64_776
11×	clear-num_binary64_413 cbrt-undiv_binary64_2130 clear-num_binary64_750 div-exp_binary64_2147 sum-log_binary64_1850 cube-mult_binary64 sum-cubes_binary64 flip--_binary64_2074 frac-2neg_binary64_762 flip3--_binary64_2103 frac-2neg_binary64_425 associate--l+_binary64_1701
10×	pow-to-exp_binary64_817 flip3--_binary64_2777 associate-/r/_binary64_1710 sqrt-prod_binary64_92 flip--_binary64_2748 pow-prod-up_binary64_2503 associate-/l/_binary64_700 *-commutative_binary64_10 sub-neg_binary64_1081 sqrt-div_binary64_2115 div-sub_binary64 sqrt-pow1_binary64_2790 pow-exp_binary64_816 sub-neg_binary64_744 associate-*r/_binary64_1369 *-commutative_binary64 rem-sqrt-square_binary64_2786 pow1/2_binary64_2850
9×	associate-/l/_binary64 distribute-lft-out--_binary64_705 swap-sqr_binary64_1055 flip3-+_binary64_1428 unpow-prod-down_binary64_153 rec-exp_binary64_798 diff-log_binary64_166 associate-/l/_binary64_363 frac-times_binary64_87 +-commutative_binary64_1020 sub-neg_binary64_407 flip-+_binary64_1399 *-commutative_binary64_2706 +-commutative_binary64 cube-prod_binary64_102
8×	sqrt-div_binary64_430 flip3-+_binary64_417 prod-exp_binary64_1471 cbrt-unprod_binary64_1455 distribute-rgt-in_binary64_1377 pow1/3_binary64_2178 associate-+l+_binary64_1023 cube-div_binary64_2125 pow-prod-down_binary64_1493 diff-log_binary64_1177 distribute-lft-in_binary64_1376 *-commutative_binary64_1021 flip-+_binary64_388 associate-*r/_binary64_21 cbrt-div_binary64_1117 associate-*r/_binary64_2717 sqrt-div_binary64_1778 sqrt-div_binary64_1441 sqrt-div_binary64_767
7×	prod-exp_binary64_2482 log-pow_binary64_1511 clear-num_binary64_1761 diff-log_binary64_503 frac-2neg_binary64_88 associate-*l/_binary64_2718 +-commutative_binary64_2705 pow1/3_binary64_830 frac-2neg_binary64_1773 associate-*l/_binary64_359 diff-log_binary64_840 sum-log_binary64_2861 clear-num_binary64_76 associate--l-_binary64_1702 cbrt-unprod_binary64_2466 associate-*l*_binary64_1705
6×	rec-exp_binary64_124 pow-prod-down_binary64_482 cube-div_binary64_1114 1-exp_binary64_118 unswap-sqr_binary64_382 pow-unpow_binary64_1162 associate-*l/_binary64_2381 frac-2neg_binary64_2110 frac-times_binary64_424 frac-times_binary64_2783 +-commutative_binary64_2031 prod-exp_binary64_2145 distribute-lft-out_binary64_2389 frac-times_binary64_2109 clear-num_binary64_2098 log-div_binary64_1509 cbrt-unprod_binary64_2129 *-commutative_binary64_1358 difference-of-squares_binary64_720 pow-sqr_binary64_2409
5×	div-sub_binary64_2778 sub-neg_binary64 sub-neg_binary64_2766 pow-prod-down_binary64_1830 associate-/l/_binary64_1711 diff-log_binary64 sub-neg_binary64_1418 sqr-pow_binary64_723 *-commutative_binary64_2369 div-inv_binary64_1085 diff-log_binary64_2862 frac-sub_binary64_1771 associate-*l/_binary64_22 unswap-sqr_binary64_2404 sum-log_binary64_839 unswap-sqr_binary64_1393 distribute-lft-out_binary64_1378 cosh-undef_binary64_942 sqr-pow_binary64_49 associate-*r/_binary64_358 pow-flip_binary64_822 div-sub_binary64_2104
4×	log-prod_binary64_1845 rem-sqrt-square_binary64_1775 exp-prod_binary64_2822 1-exp_binary64_792 pow1/3_binary64_1167 associate--l-_binary64 distribute-lft-in_binary64_702 pow1/2_binary64_1502 rem-exp-log_binary64_788 unpow-prod-down_binary64 sqr-pow_binary64_1060 sqrt-pow1_binary64_431 frac-times_binary64_2446 frac-times_binary64_1098 swap-sqr_binary64_2403 associate-*l/_binary64_2044 flip3--_binary64_1429 +-commutative_binary64_1694 pow-pow_binary64_1157 sqrt-pow1_binary64_1442 flip--_binary64_1400 sqrt-pow1_binary64_1779 rem-sqrt-square_binary64 associate-*r/_binary64_2043 pow1/2_binary64_491 frac-add_binary64_759 frac-add_binary64_2107 pow1/2_binary64_1839 rem-sqrt-square_binary64_427 associate-+r+_binary64_1022 associate-+r+_binary64_2033 distribute-rgt-in_binary64_703
3×	associate-*r/_binary64_1706 pow-to-exp_binary64_143 pow-exp_binary64_142 +-commutative_binary64_2368 log-div_binary64_2857 cube-mult_binary64_1115 div-sub_binary64_1767 pow1/2_binary64 distribute-rgt-in_binary64_2388 unswap-sqr_binary64_1056 *-commutative_binary64_347 associate--l+_binary64_690 pow1/3_binary64 pow-prod-up_binary64_818 pow-sqr_binary64_724 sum-log_binary64_2524 inv-pow_binary64_833 unpow-prod-down_binary64_1501 unpow3_binary64_1151 pow-unpow_binary64_2847 sqrt-pow1_binary64 pow-prod-down_binary64_2167 diff-log_binary64_1514 *-commutative_binary64_1695 cube-prod_binary64_1450 rem-log-exp_binary64_1463 distribute-lft-in_binary64_2387 sqrt-pow1_binary64_768 distribute-rgt-out--_binary64_1718 pow1/2_binary64_828 frac-sub_binary64_423 pow-unpow_binary64_825
2×	cube-mult_binary64_778 pow1/2_binary64_2176 sub-neg_binary64_2092 cube-mult_binary64_104 associate-*l/_binary64_1033 pow-flip_binary64_485 associate-+l+_binary64_2371 rem-cbrt-cube_binary64_2122 pow-plus_binary64_811 unswap-sqr_binary64_1730 distribute-rgt-in_binary64_29 associate--r+_binary64_1700 *-commutative_binary64_2032 pow-pow_binary64_820 rem-cbrt-cube_binary64_1111 unpow3_binary64_140 log-div_binary64_1846 rem-sqrt-square_binary64_1438 associate-+r+_binary64 diff-log_binary64_2188 pow-exp_binary64_1153 rem-log-exp_binary64_2811 rem-sqrt-square_binary64_2112 neg-log_binary64_841 neg-mul-1_binary64_747 1-exp_binary64_2814 inv-pow_binary64_159 +-commutative_binary64_683 exp-diff_binary64_1807 cube-div_binary64_1451 distribute-lft-in_binary64_28 distribute-lft-neg-in_binary64_710 pow-to-exp_binary64_1154 pow-prod-up_binary64_2166 unpow3_binary64_814 cbrt-div_binary64_1454 associate--r+_binary64_1363 pow2_binary64_829 distribute-rgt-neg-in_binary64_711 un-div-inv_binary64_412 sqrt-pow1_binary64_2116 pow-sqr_binary64_2072 associate-/l/_binary64_26 rem-sqrt-square_binary64_764 sum-log_binary64_502 +-commutative_binary64_346 log-pow_binary64_2859 associate-*r/_binary64_1032 exp-diff_binary64_2818 sqr-pow_binary64 rec-exp_binary64_2820 pow-flip_binary64_148
1×	pow-exp_binary64_2838 unpow3_binary64_1488 pow-plus_binary64_1148 unpow2_binary64_813 sum-cubes_binary64_752 pow-to-exp_binary64 pow-flip_binary64_2844 inv-pow_binary64_496 cube-mult_binary64_1452 distribute-rgt1-in_binary64_2057 distribute-rgt-in_binary64_2725 pow2_binary64_2514 exp-sum_binary64_1805 distribute-rgt-in_binary64_1040 pow2_binary64_1166 rem-cbrt-cube_binary64_1448 sqr-pow_binary64_1397 pow-exp_binary64 distribute-rgt-out--_binary64_33 pow-to-exp_binary64_2839 pow-pow_binary64_2842 pow2_binary64_2177 pow-plus_binary64_2159 distribute-rgt-in_binary64_1714 distribute-lft-in_binary64_365 distribute-rgt-out_binary64_2054 rem-cube-cbrt_binary64_1110 distribute-lft-out_binary64_2726 pow-sqr_binary64_1061 distribute-lft-in_binary64_1713 pow-prod-up_binary64_1155 distribute-rgt-in_binary64_366 pow1/3_binary64_1504 diff-log_binary64_2525 sub-div_binary64_1769 pow-plus_binary64_2496 sqrt-unprod_binary64_2455 un-div-inv_binary64_2771 rem-square-sqrt_binary64_2448 sqrt-pow1_binary64_1105 flip--_binary64_2411 associate-+r+_binary64_1696 distribute-lft-in_binary64_2724 distribute-lft-in_binary64_1039 inv-pow_binary64_2855 rem-log-exp_binary64_1800 pow1/2_binary64_1165 difference-of-squares_binary64_2405 sub-neg_binary64_2429 sqrt-pow2_binary64_1106 rem-exp-log_binary64_2810 flip3--_binary64_2440

Calls

292 calls:

82.0ms	(+.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1)) (cbrt.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1))) (*.f64 (cbrt.f64 (+.f64 (*.f64 x1 x1) 1)) (cbrt.f64 (+.f64 (*.f64 x1 x1) 1)))) (*.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 (cbrt.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1)) (cbrt.f64 (+.f64 (*.f64 x1 x1) 1))))) (*.f64 (*.f64 x1 x1) -6))
75.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)))
72.0ms	(+.f64 (*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (pow.f64 (*.f64 x1 x1) 3) (pow.f64 1 3))) (*.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 (pow.f64 x1 4) (-.f64 1 (*.f64 x1 x1))))) (*.f64 (*.f64 x1 x1) -6))
66.0ms	(*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (pow.f64 (*.f64 x1 x1) 3) (pow.f64 1 3))) (*.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 (pow.f64 x1 4) (-.f64 1 (*.f64 x1 x1)))))
65.0ms	(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))