rewrite11.7s (2%)

Algorithm

141×	rewrite-expression-head

Rules

2075×	add-exp-log_binary64_2808
1140×	div-exp_binary64_2821
1086×	pow-exp_binary64_2838
1010×	prod-exp_binary64_2819
981×	times-frac_binary64_2779
820×	add-sqr-sqrt_binary64_435
793×	associate-*l/_binary64_1707
790×	add-sqr-sqrt_binary64
765×	*-un-lft-identity_binary64
714×	times-frac_binary64
637×	*-un-lft-identity_binary64_2773
625×	flip3--_binary64_1766 flip--_binary64_1737
617×	add-sqr-sqrt_binary64_2794
606×	pow-to-exp_binary64_2839
536×	unpow-prod-down_binary64_490
517×	times-frac_binary64_420
515×	*-un-lft-identity_binary64_414
490×	*-un-lft-identity_binary64_1762
478×	cube-prod_binary64_439
460×	add-cube-cbrt_binary64
438×	*-un-lft-identity_binary64_1425
430×	sqrt-div_binary64_1778
413×	add-sqr-sqrt_binary64_2120
412×	frac-add_binary64_1770
409×	frac-times_binary64_1772
398×	times-frac_binary64_2105
397×	add-cube-cbrt_binary64_2805
372×	unpow-prod-down_binary64_2849
371×	times-frac_binary64_83
355×	add-sqr-sqrt_binary64_1446 *-un-lft-identity_binary64_77
345×	add-sqr-sqrt_binary64_98 *-un-lft-identity_binary64_2436
339×	*-un-lft-identity_binary64_2099 *-un-lft-identity_binary64_751
334×	difference-of-squares_binary64_383
318×	add-cube-cbrt_binary64_2131
316×	add-sqr-sqrt_binary64_2457
306×	add-exp-log_binary64_112
303×	add-exp-log_binary64_2134
292×	add-cbrt-cube_binary64_110 times-frac_binary64_1431
282×	add-sqr-sqrt_binary64_772
265×	add-cube-cbrt_binary64_109
245×	add-exp-log_binary64
231×	add-cbrt-cube_binary64_2132
225×	*-un-lft-identity_binary64_1088
216×	add-cbrt-cube_binary64
214×	add-cube-cbrt_binary64_1457 add-cube-cbrt_binary64_446
207×	associate-*r/_binary64_1706
206×	associate-/l*_binary64_361
201×	add-sqr-sqrt_binary64_1783
197×	difference-of-squares_binary64
195×	add-cube-cbrt_binary64_2468
188×	add-sqr-sqrt_binary64_1109
183×	times-frac_binary64_1768
172×	cbrt-prod_binary64_2127
168×	add-cube-cbrt_binary64_783
164×	times-frac_binary64_757
163×	add-exp-log_binary64_1460
161×	add-cube-cbrt_binary64_1120
160×	1-exp_binary64_2814 rec-exp_binary64_2820
159×	pow1_binary64_135
150×	times-frac_binary64_1094
144×	add-cbrt-cube_binary64_1458
143×	associate-/r*_binary64
140×	add-exp-log_binary64_1797
139×	associate-/l*_binary64_2720
136×	add-cbrt-cube_binary64_1795
132×	add-exp-log_binary64_1123
131×	cbrt-prod_binary64_1790
130×	pow1_binary64_1820
129×	pow1_binary64 sqr-pow_binary64_386
127×	add-exp-log_binary64_449 pow1_binary64_2494
126×	add-cube-cbrt_binary64_1794
125×	times-frac_binary64_2442
123×	add-cbrt-cube_binary64_1121
118×	associate-*r*_binary64 associate-*r*_binary64_2041
117×	add-cbrt-cube_binary64_2806
115×	difference-of-squares_binary64_2742
112×	distribute-lft-out_binary64_1715
111×	add-log-exp_binary64_113
109×	associate-*l*_binary64
108×	add-exp-log_binary64_2471 log-prod_binary64_834
101×	add-cbrt-cube_binary64_2469
100×	prod-exp_binary64_2145
99×	add-log-exp_binary64_450 cbrt-prod_binary64_779
98×	div-exp_binary64_125
94×	unpow-prod-down_binary64_1164
93×	sqrt-prod_binary64_92
89×	add-cbrt-cube_binary64_447
86×	cbrt-undiv_binary64_108
84×	add-log-exp_binary64 cbrt-prod_binary64_1116
82×	pow1_binary64_472 associate-/l*_binary64_24
80×	div-exp_binary64_2147
79×	add-log-exp_binary64_2472
78×	pow1_binary64_809
76×	cbrt-unprod_binary64_2129 pow1_binary64_2157
75×	add-exp-log_binary64_786
72×	pow1_binary64_1483
71×	prod-exp_binary64_123
70×	add-log-exp_binary64_1798
69×	add-log-exp_binary64_2135 cbrt-unprod_binary64_107
66×	cbrt-undiv_binary64_2130 log-div_binary64_1846 associate-/r*_binary64_2045 exp-diff_binary64_1807 associate-*l*_binary64_2042
64×	distribute-lft-out--_binary64 pow1_binary64_1146
63×	add-log-exp_binary64_1124 associate-/r*_binary64_2719
62×	associate-/r*_binary64_1371
61×	add-log-exp_binary64_1461 cbrt-prod_binary64_2464
60×	distribute-lft-out_binary64_367
58×	sqrt-prod_binary64_1777 div-exp_binary64
57×	distribute-lft-out--_binary64_1379 associate-*r*_binary64_2378
56×	distribute-lft-out_binary64_704 associate-/r/_binary64_362
55×	flip3--_binary64 difference-of-squares_binary64_1394 associate-/l*_binary64 add-cbrt-cube_binary64_784 log-pow_binary64 flip--_binary64 div-inv_binary64_2770
54×	add-log-exp_binary64_787 exp-prod_binary64 difference-of-squares_binary64_2405
53×	associate-/r/_binary64
52×	prod-exp_binary64
51×	sqr-pow_binary64_2745 cube-prod_binary64_1113 cbrt-div_binary64_2465 difference-of-squares_binary64_720
50×	associate-*l*_binary64_2379
49×	cbrt-undiv_binary64 distribute-lft-out_binary64_1378
48×	log-prod_binary64_2519
47×	flip3-+_binary64_417 flip-+_binary64_388
46×	associate-/r*_binary64_23 associate-/l*_binary64_1372 associate-*r/_binary64 sqrt-prod_binary64_2114
45×	div-inv_binary64_74
44×	associate-*r*_binary64_1367 cbrt-unprod_binary64 associate-/r/_binary64_25
43×	flip-+_binary64_2410 flip3-+_binary64_2439 distribute-lft-out--_binary64_1716 distribute-lft-out_binary64_2726 div-inv_binary64 div-exp_binary64_1473
41×	log-pow_binary64_2522 associate-*r*_binary64_1704
40×	associate-*l*_binary64_694 distribute-lft-out_binary64 pow1_binary64_2831
39×	unpow-prod-down_binary64 distribute-lft-out--_binary64_2727
38×	sqrt-pow1_binary64_94 unswap-sqr_binary64_2067 sqrt-prod_binary64_766 swap-sqr_binary64_1729 difference-of-sqr-1_binary64_384
37×	associate-/l*_binary64_2046 cbrt-div_binary64_1791 cbrt-undiv_binary64_1456
36×	cbrt-undiv_binary64_2804 sqrt-div_binary64_93 distribute-lft-out_binary64_30
35×	associate-*r*_binary64_356 cbrt-unprod_binary64_1792 distribute-lft-out_binary64_2389 associate-/r*_binary64_2382 associate-*r*_binary64_693 associate-*l*_binary64_1368 prod-exp_binary64_1808
34×	difference-of-squares_binary64_1731 pow-prod-down_binary64_145
33×	prod-exp_binary64_1471
32×	flip--_binary64_52 flip3--_binary64_81
31×	distribute-lft-out--_binary64_368 cbrt-unprod_binary64_1455 flip-+_binary64_1399
30×	div-exp_binary64_1136 cbrt-prod_binary64_1453 flip3-+_binary64_1428 sqrt-prod_binary64_1103 pow1/3_binary64_830
29×	distribute-lft-out_binary64_1041 swap-sqr_binary64_2403 associate-/r/_binary64_1373
28×	sqrt-prod_binary64_1440 associate-*l*_binary64_20 log-prod_binary64_2182 associate-*r*_binary64_19 cbrt-undiv_binary64_1119 associate-*r*_binary64_2715
27×	cbrt-unprod_binary64_2803 distribute-lft-out--_binary64_2390 pow-prod-down_binary64
26×	add-log-exp_binary64_2809 div-exp_binary64_1810
25×	pow-prod-down_binary64_1830 unpow2_binary64 cbrt-undiv_binary64_1793 prod-exp_binary64_1134 associate-/l*_binary64_1035 sqr-pow_binary64 associate-*l*_binary64_1705
24×	flip-+_binary64_51 exp-prod_binary64_2485 cbrt-div_binary64_1454 div-inv_binary64_1422 flip3-+_binary64_80
23×	distribute-lft-out--_binary64_705 cbrt-unprod_binary64_1118 pow-prod-down_binary64_2504 prod-exp_binary64_460 unswap-sqr_binary64 div-inv_binary64_2096 *-commutative_binary64
22×	associate-*l*_binary64_357 associate-/l*_binary64_2383 div-inv_binary64_1759 pow1/2_binary64_154
21×	prod-exp_binary64_2482 flip-+_binary64_1736 flip3-+_binary64_1765 associate-/r*_binary64_1034 pow-unpow_binary64 associate-*r/_binary64_21 cbrt-unprod_binary64_2466 pow-exp_binary64_479
20×	cosh-undef_binary64_1279 sub-neg_binary64 frac-times_binary64_2446 associate-/r/_binary64_1036 unpow-prod-down_binary64_2175 div-exp_binary64_462
19×	flip3--_binary64_418 unswap-sqr_binary64_719 clear-num_binary64 flip--_binary64_1400 frac-2neg_binary64 log-pow_binary64_1174 flip--_binary64_389
18×	flip3-+_binary64 associate-/l/_binary64 pow1/3_binary64_2515 exp-prod_binary64_1137 unpow-prod-down_binary64_1501 flip3--_binary64_1429 unswap-sqr_binary64_2404 difference-of-squares_binary64_46 div-inv_binary64_411 flip--_binary64_2411 associate-/l*_binary64_698 cbrt-prod_binary64_442 flip3--_binary64_2440 flip-+_binary64
17×	difference-of-sqr-1_binary64_1395 sqrt-prod_binary64_429 div-inv_binary64_748 log-div_binary64_2520 associate-/l*_binary64_1709 associate-/r*_binary64_1708 associate-/r/_binary64_2721
16×	log-pow_binary64_2185 associate-/r/_binary64_2384 frac-2neg_binary64_88 div-inv_binary64_1085 sub-neg_binary64_70 frac-times_binary64_424 swap-sqr_binary64_718 sqrt-pow1_binary64_1779 clear-num_binary64_76 swap-sqr_binary64_44 sqrt-div_binary64_1441 frac-times_binary64 associate-*l/_binary64 pow1/2_binary64_1839
15×	*-commutative_binary64_2369 diff-log_binary64_166 frac-2neg_binary64_1436 pow-unpow_binary64_2847 cbrt-div_binary64_780 clear-num_binary64_1424
14×	rem-sqrt-square_binary64_1775 sin-mult_binary64_2588 associate-/r*_binary64_697 associate-*r/_binary64_2380 div-sub_binary64_1093 sub-neg_binary64_407 log-pow_binary64_837 associate-*r/_binary64_1369 cbrt-unprod_binary64_444
13×	pow-prod-up_binary64_144 unswap-sqr_binary64_45 sin-diff_binary64_1221 frac-add_binary64_2444 flip3--_binary64_755 pow-pow_binary64_2842 flip--_binary64_726 cos-mult_binary64_2587 flip-+_binary64_1062 pow1/3_binary64_1841 flip3-+_binary64_1091 sub-neg_binary64_2429
12×	cbrt-prod_binary64_105 cube-mult_binary64_441 pow-unpow_binary64_488 *-commutative_binary64_2032 cube-prod_binary64_2124 frac-2neg_binary64_2110 pow-prod-down_binary64_1493 sqrt-div_binary64_1104 prod-exp_binary64_797 clear-num_binary64_2098 cos-mult_binary64_228 sqrt-prod_binary64_2451 pow1/3_binary64_1504 cube-prod_binary64_1450 frac-times_binary64_1435
11×	pow-flip_binary64_1496 distribute-rgt-in_binary64_2388 diff-log_binary64_503 flip3--_binary64_1092 unswap-sqr_binary64_382 difference-of-sqr-1_binary64 pow-prod-down_binary64_2167 associate-*r/_binary64_2043 distribute-lft-in_binary64_2387 sum-log_binary64_502 flip--_binary64_1063
10×	sqrt-div_binary64_430 log-div_binary64_835 pow-prod-down_binary64_482 sqr-pow_binary64_2071 sub-neg_binary64_1418 sqr-pow_binary64_1060 sin-mult_binary64_903 associate-*l/_binary64_2381 sqrt-div_binary64_2452 sum-log_binary64 pow-to-exp_binary64_480 unswap-sqr_binary64_1393 associate-*l*_binary64_2716 distribute-rgt-out--_binary64_370 frac-sub_binary64_1434 associate-/l/_binary64_26 +-commutative_binary64_346
9×	unpow3_binary64_1488 rem-sqrt-square_binary64_1101 exp-prod_binary64_126 pow-unpow_binary64_151 pow-unpow_binary64_1162 pow-unpow_binary64_1836 distribute-lft-out--_binary64_31 pow-prod-down_binary64_819 flip-+_binary64_725 associate--r+_binary64_2037 distribute-rgt-in_binary64 pow-sqr_binary64_50 unpow3_binary64_477 sub-neg_binary64_1755 flip3-+_binary64_754 diff-log_binary64_2525 sqrt-pow1_binary64_1105 pow1/2_binary64_1165 distribute-lft-in_binary64 div-sub_binary64_2104
8×	associate-*r*_binary64_1030 difference-of-squares_binary64_2068 +-commutative_binary64_9 diff-log_binary64_1851 associate-+r+_binary64_348 *-commutative_binary64_10 unpow-prod-down_binary64_153 div-inv_binary64_2433 *-commutative_binary64_347 unswap-sqr_binary64_1730 pow1/3_binary64_2178 sum-log_binary64_165 unpow-prod-down_binary64_827 rec-exp_binary64_2146 sum-log_binary64_2524 *-commutative_binary64_684 associate-/r/_binary64_699 frac-times_binary64_87 diff-log_binary64_2188 associate-*l/_binary64_359 cosh-undef_binary64_942 frac-2neg_binary64_2784 cbrt-unprod_binary64_781 log-pow_binary64_163 clear-num_binary64_2772 1-exp_binary64_2140 associate-*r/_binary64_358 tan-quot_binary64 cube-prod_binary64_102
7×	cbrt-undiv_binary64_2467 pow-sqr_binary64_1735 frac-2neg_binary64_1099 rem-log-exp_binary64_789 clear-num_binary64_1087 pow-to-exp_binary64 associate-/l/_binary64_1374 pow-prod-up_binary64_1829 pow-exp_binary64 div-exp_binary64_2484 pow-exp_binary64_1153 clear-num_binary64_2435 exp-prod_binary64_1811 diff-log_binary64_1514 log-prod_binary64_1508 sin-cos-mult_binary64_2589 difference-of-sqr--1_binary64_1396 frac-2neg_binary64_2447 sqrt-pow1_binary64_2116 associate-*r/_binary64_2717 pow-pow_binary64 rem-log-exp_binary64_2474 sinh-undef_binary64_941 distribute-lft-out--_binary64_2053 sqrt-prod_binary64
6×	log-prod_binary64_1845 log-pow_binary64_1848 pow-prod-up_binary64_2503 swap-sqr_binary64 associate-/l/_binary64_700 +-commutative_binary64_2368 cube-div_binary64_103 exp-sum_binary64_1805 rem-sqrt-square_binary64_90 clear-num_binary64_1761 cos-diff_binary64_2570 pow-prod-up_binary64_818 pow-sqr_binary64_724 sum-log_binary64_2187 exp-prod_binary64_463 frac-2neg_binary64_1773 sum-log_binary64_839 flip--_binary64_2074 flip3-+_binary64_2776 flip3--_binary64_2103 cos-diff_binary64_548 associate-*l*_binary64_1031 associate--l-_binary64_2376 *-commutative_binary64_1695 distribute-rgt-out_binary64_706 acos-asin_binary64_255 associate--l+_binary64_2375 sqrt-div_binary64_767 associate-/l/_binary64_2048 difference-of-squares_binary64_1057 *-commutative_binary64_1358 pow-sqr_binary64_2409 flip-+_binary64_2747 associate-/r*_binary64_360 associate-*l/_binary64_1370 pow-prod-down_binary64_2841
5×	sub-neg_binary64_2092 sub-neg_binary64_2766 pow-exp_binary64_142 associate-/r/_binary64_1710 rem-cube-cbrt_binary64_99 cbrt-div_binary64_443 diff-log_binary64 cube-mult_binary64_1115 rec-exp_binary64 1-exp_binary64 sqrt-pow1_binary64_431 associate-+l+_binary64_686 pow-exp_binary64_2164 sqr-pow_binary64_1397 pow-to-exp_binary64_2165 pow-pow_binary64_146 associate-/l/_binary64_363 associate-*l/_binary64_22 unpow3_binary64_1151 diff-log_binary64_1177 acos-asin_binary64_2277 +-commutative_binary64_683 flip3-+_binary64_2102 pow1/2_binary64_491 flip-+_binary64_2073 +-commutative_binary64 cbrt-undiv_binary64_445 div-exp_binary64_799 rem-sqrt-square_binary64_427
4×	difference-of-sqr-1_binary64_1732 flip3--_binary64_2777 cube-mult_binary64_104 pow-flip_binary64_2844 pow1/3_binary64_1167 flip--_binary64_2748 cube-mult_binary64_1452 pow1/2_binary64_1502 sqr-pow_binary64_723 pow2_binary64_2514 unswap-sqr_binary64_1056 1-exp_binary64_118 sub-neg_binary64_1081 frac-add_binary64 log-prod_binary64_497 rem-cbrt-cube_binary64_1111 unpow3_binary64_140 log-pow_binary64_500 sqrt-pow1_binary64_1442 distribute-rgt-out_binary64_1380 distribute-lft-in_binary64_365 pow-to-exp_binary64_1154 sinh-def_binary64_596 *-commutative_binary64_2706 associate-+r-_binary64_2035 distribute-rgt-in_binary64_366 distribute-rgt-neg-in_binary64_711 sum-log_binary64_1513 rem-log-exp_binary64_2137 sin-mult_binary64_229 sub-neg_binary64_744 pow-plus_binary64_1822 pow-plus_binary64_2496 log-div_binary64_1509 sqr-pow_binary64_49 1-exp_binary64_1466 pow-pow_binary64_483 sum-log_binary64_1176 inv-pow_binary64_2855 rec-exp_binary64_1472 cube-prod_binary64_776 cube-div_binary64_440 unswap-sqr_binary64_2741
3×	clear-num_binary64_413 cbrt-undiv_binary64_782 log-prod_binary64_160 pow1/2_binary64_2176 pow-unpow_binary64_1499 pow-to-exp_binary64_143 associate-/l/_binary64_1711 exp-prod_binary64_800 distribute-frac-neg_binary64_2064 pow-prod-down_binary64_1156 associate--l+_binary64_2038 log-prod_binary64_1171 log-prod_binary64 distribute-rgt-in_binary64_1377 associate-+l+_binary64_2371 pow-plus_binary64_811 pow-plus_binary64_137 clear-num_binary64_750 exp-to-pow_binary64_2158 associate-/l/_binary64_1037 sum-log_binary64_1850 associate-*l/_binary64_2044 unpow-prod-down_binary64_1838 diff-log_binary64_2862 unpow3_binary64_2162 distribute-lft-out--_binary64_1042 pow-pow_binary64_1157 +-commutative_binary64_1020 +-commutative_binary64_2031 inv-pow_binary64_1507 div-sub_binary64 frac-2neg_binary64_762 pow-flip_binary64_2170 distribute-lft-in_binary64_1376 diff-log_binary64_840 exp-prod_binary64_2148 pow-pow_binary64_1831 frac-times_binary64_2109 associate-+r+_binary64_685 pow2_binary64_829 unpow2_binary64_1150 cube-mult_binary64_2126 frac-2neg_binary64_425 div-sub_binary64_82 acos-neg_binary64_2279 cos-diff_binary64_211 +-commutative_binary64_1357 pow1/3_binary64_493 difference-cubes_binary64_416 distribute-neg-in_binary64_714 pow1/2_binary64_2513 pow2_binary64_1840 sqrt-pow1_binary64_2453
2×	pow-pow_binary64_1494 pow2_binary64_155 pow-to-exp_binary64_817 cos-sum_binary64_2567 associate-+r+_binary64_2370 associate--l+_binary64_1364 cbrt-div_binary64_106 frac-add_binary64_85 associate-+l-_binary64_2373 pow-to-exp_binary64_1491 distribute-rgt1-in_binary64_709 log-pow_binary64_1511 distribute-rgt-in_binary64_2725 cube-div_binary64_1114 inv-pow_binary64_2181 associate-+r-_binary64_2372 distribute-rgt-in_binary64_29 asin-acos_binary64_928 div-sub_binary64_419 rem-exp-log_binary64_451 pow-prod-up_binary64_1492 associate-*l/_binary64_2718 pow-exp_binary64_1490 +-commutative_binary64_1694 rem-sqrt-square_binary64_1438 exp-diff_binary64_122 cos-diff_binary64_2233 sqrt-div_binary64_2115 distribute-lft-out_binary64_2052 *-commutative_binary64_1021 distribute-lft-in_binary64_28 pow-plus_binary64 rem-cube-cbrt_binary64_1110 associate-+l-_binary64_688 pow-sqr_binary64_1398 pow-exp_binary64_816 associate-/l/_binary64_2385 frac-add_binary64_1433 exp-sum_binary64_457 pow-sqr_binary64 rem-log-exp_binary64_1463 frac-add_binary64_759 sqrt-pow1_binary64_768 log-div_binary64_2183 rem-sqrt-square_binary64_764 distribute-lft-in_binary64_2724 pow-prod-up_binary64 pow1/2_binary64_828 sin-mult_binary64_566 pow2_binary64 cos-sum_binary64_545
1×	cube-mult_binary64_778 rem-square-sqrt_binary64_89 frac-times_binary64_761 sinh-undef_binary64_604 rem-log-exp_binary64_115 associate-+l-_binary64 pow-plus_binary64_1485 cos-sum_binary64_208 distribute-rgt1-in_binary64_1383 sin-diff_binary64_2569 sin-diff_binary64_547 difference-of-sqr--1_binary64 div-sub_binary64_1767 rem-sqrt-square_binary64_2449 div-sub_binary64_756 associate-/l/_binary64_2722 un-div-inv_binary64_2097 rem-exp-log_binary64_1799 cos-sum_binary64_2230 rem-log-exp_binary64 exp-to-pow_binary64_1821 pow-flip_binary64_1833 pow-exp_binary64_1827 associate-+r-_binary64_687 associate--l+_binary64_1027 associate-/r/_binary64_2047 sqrt-unprod_binary64_1444 exp-diff_binary64_796 pow-flip_binary64 pow2_binary64_1503 associate-+l+_binary64 sub-div_binary64_421 associate-+r+_binary64 rem-cbrt-cube_binary64_437 rem-sqrt-square_binary64_2112 neg-log_binary64_841 exp-diff_binary64_2481 exp-diff_binary64 distribute-rgt-in_binary64_1714 cbrt-div_binary64_2128 rem-cbrt-cube_binary64_100 inv-pow_binary64 div-sub_binary64_2441 unpow3_binary64_814 distribute-lft-in_binary64_1713 associate--r+_binary64_1363 pow-to-exp_binary64_1828 log-div_binary64_161 sqr-pow_binary64_1734 inv-pow_binary64_1844 rem-log-exp_binary64_452 sin-sum_binary64_544 cbrt-div_binary64_1117 sqrt-unprod_binary64_96 associate--l+_binary64_1701 1-exp_binary64_1803 sin-sum_binary64_2566 rec-exp_binary64_1809 pow1/3_binary64_156 log-div_binary64 exp-sum_binary64_794 unsub-neg_binary64_745 rem-exp-log_binary64_114 associate-*l/_binary64_696 exp-sum_binary64_2479 rem-log-exp_binary64_1126 distribute-rgt-out--_binary64 div-sub_binary64_1430 un-div-inv_binary64 neg-sub0_binary64_746 rem-cube-cbrt_binary64_436 associate-*r/_binary64_695 frac-sub_binary64_423 tanh-undef_binary64_943

Calls

466 calls:

295.0ms	(-.f64 (/.f64 (pow.f64 (pow.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 3) 3) (*.f64 (+.f64 (pow.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 6) (+.f64 1 (pow.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 3))) (+.f64 1 (/.f64 (+.f64 2 (/.f64 4 (+.f64 1 (exp.f64 (*.f64 -2 x))))) (+.f64 1 (exp.f64 (*.f64 -2 x))))))) (/.f64 1 (*.f64 (+.f64 (pow.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 6) (+.f64 1 (pow.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 3))) (+.f64 1 (/.f64 (+.f64 2 (/.f64 4 (+.f64 1 (exp.f64 (*.f64 -2 x))))) (+.f64 1 (exp.f64 (*.f64 -2 x))))))))
287.0ms	(/.f64 (-.f64 (pow.f64 (pow.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 3) 3) (pow.f64 1 3)) (*.f64 (+.f64 (pow.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 6) (+.f64 1 (pow.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 3))) (+.f64 1 (/.f64 (+.f64 2 (/.f64 4 (+.f64 1 (exp.f64 (*.f64 -2 x))))) (+.f64 1 (exp.f64 (*.f64 -2 x)))))))
172.0ms	(/.f64 (pow.f64 (pow.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 3) 3) (*.f64 (+.f64 (pow.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 6) (+.f64 1 (pow.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 3))) (+.f64 1 (/.f64 (+.f64 2 (/.f64 4 (+.f64 1 (exp.f64 (*.f64 -2 x))))) (+.f64 1 (exp.f64 (*.f64 -2 x)))))))
151.0ms	(-.f64 (pow.f64 (pow.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 3) 3) (pow.f64 1 3))
141.0ms	(*.f64 (cbrt.f64 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 1 x)))) (cbrt.f64 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 1 x)))))