rewrite7.1s (2.3%)

Algorithm

145×	rewrite-expression-head

Rules

2013×	times-frac_binary64
1731×	add-sqr-sqrt_binary64
1643×	*-un-lft-identity_binary64
1210×	add-exp-log_binary64_3867
1183×	times-frac_binary64_3153
1151×	times-frac_binary64_425
1084×	add-cube-cbrt_binary64
952×	sqrt-prod_binary64
912×	associate-*l/_binary64_1044
832×	add-sqr-sqrt_binary64_441
808×	*-un-lft-identity_binary64_760
799×	*-un-lft-identity_binary64_419
731×	times-frac_binary64_766
692×	pow-exp_binary64_3897
691×	flip3--_binary64_1105 flip--_binary64_1076
688×	prod-exp_binary64_3878
616×	add-sqr-sqrt_binary64_782
593×	div-exp_binary64_3880
574×	add-cube-cbrt_binary64_454
560×	*-un-lft-identity_binary64_3147 add-sqr-sqrt_binary64_3169 add-cube-cbrt_binary64_3182
540×	*-un-lft-identity_binary64_1783
476×	sqrt-div_binary64_1118
456×	frac-times_binary64_1111
448×	frac-add_binary64_1109
428×	times-frac_binary64_1789
399×	add-sqr-sqrt_binary64_1805
397×	add-cube-cbrt_binary64_795
369×	cbrt-prod_binary64_3178
357×	*-un-lft-identity_binary64_78
350×	difference-of-squares_binary64
344×	pow-to-exp_binary64_3898
342×	associate-*l*_binary64
337×	add-exp-log_binary64_1821
319×	add-exp-log_binary64_116
313×	add-cbrt-cube_binary64_114
308×	add-sqr-sqrt_binary64_100
306×	add-cube-cbrt_binary64_1818
303×	add-sqr-sqrt_binary64_1464
294×	sqrt-prod_binary64_435
286×	*-un-lft-identity_binary64_1442 *-un-lft-identity_binary64_2124
279×	*-un-lft-identity_binary64_1101 add-sqr-sqrt_binary64_2146
273×	add-cbrt-cube_binary64_1819
271×	times-frac_binary64_84
264×	*-un-lft-identity_binary64_2806
233×	add-exp-log_binary64
228×	associate-*r/_binary64_1043 add-cbrt-cube_binary64
227×	add-cube-cbrt_binary64_113
204×	add-sqr-sqrt_binary64_1123
202×	add-sqr-sqrt_binary64_2828
201×	add-sqr-sqrt_binary64_2487
197×	associate-*r*_binary64
196×	*-un-lft-identity_binary64_2465
179×	*-un-lft-identity_binary64_3829 times-frac_binary64_1448
174×	*-un-lft-identity_binary64_3488 add-cube-cbrt_binary64_1477
173×	unpow-prod-down_binary64
170×	log-prod_binary64_846
167×	add-sqr-sqrt_binary64_3851
166×	pow1_binary64_1162
165×	associate-/r*_binary64
155×	add-exp-log_binary64_2503
153×	add-exp-log_binary64_1480
152×	add-cube-cbrt_binary64_1136
151×	add-cube-cbrt_binary64_2159
148×	add-exp-log_binary64_2162
146×	add-cbrt-cube_binary64_1478 times-frac_binary64_2812
142×	difference-of-squares_binary64_729
141×	add-cbrt-cube_binary64_2501
139×	log-div_binary64_1188
132×	pow1_binary64_1503
130×	times-frac_binary64_2471 add-cbrt-cube_binary64_2160
124×	pow1_binary64_139
119×	pow1_binary64
116×	1-exp_binary64_3873 rec-exp_binary64_3879
114×	distribute-lft-out_binary64_711 times-frac_binary64_3494 cbrt-prod_binary64
112×	add-exp-log_binary64_457
111×	add-exp-log_binary64_1139
109×	add-log-exp_binary64_117
108×	cube-prod_binary64
107×	add-exp-log_binary64_798
106×	prod-exp_binary64_1832
105×	times-frac_binary64_2130
101×	distribute-lft-out_binary64 add-cbrt-cube_binary64_1137
100×	frac-times_binary64_2816
99×	difference-of-squares_binary64_388
96×	add-sqr-sqrt_binary64_3510 add-cube-cbrt_binary64_3523 associate-/r*_binary64_363 pow1_binary64_2185 add-cube-cbrt_binary64_2841 add-cube-cbrt_binary64_2500
95×	distribute-lft-out--_binary64
93×	cbrt-unprod_binary64_111 prod-exp_binary64_127 div-exp_binary64_1834
92×	cbrt-unprod_binary64_1816
91×	flip3--_binary64_2810 distribute-lft-out_binary64_1734 flip--_binary64_2781 add-cbrt-cube_binary64_455
90×	add-log-exp_binary64_2163
89×	associate-*r*_binary64_1723 pow1_binary64_1844
87×	sqrt-prod_binary64_776
84×	associate-/l*_binary64
82×	add-log-exp_binary64_1140 log-prod_binary64_3915
81×	times-frac_binary64_3835 associate-/r*_binary64_704
80×	div-exp_binary64_129 associate-/r*_binary64_1727 add-log-exp_binary64_458
78×	associate-/l*_binary64_23
77×	add-log-exp_binary64
76×	cbrt-undiv_binary64_1817 difference-of-squares_binary64_2093 cbrt-undiv_binary64_112
71×	add-exp-log_binary64_3185 frac-sub_binary64_2815
70×	cbrt-prod_binary64_3519 cbrt-prod_binary64_791
69×	add-cube-cbrt_binary64_3864 distribute-lft-out--_binary64_1053
68×	pow-sub_binary64_1177 difference-of-squares_binary64_1411
67×	flip-+_binary64_2780 flip3-+_binary64_2809 exp-diff_binary64_1149
66×	associate-/r*_binary64_3091 associate-/l/_binary64_2753 sqrt-div_binary64_777
65×	add-exp-log_binary64_2844 add-cbrt-cube_binary64_796
64×	distribute-lft-out_binary64_370
63×	cbrt-prod_binary64_1814 div-inv_binary64
62×	cancel-sign-sub-inv_binary64_3795 unswap-sqr_binary64
61×	add-log-exp_binary64_1481
60×	cbrt-undiv_binary64 associate-*l*_binary64_1383 log-pow_binary64 cbrt-div_binary64_792 div-exp_binary64
59×	distribute-lft-out--_binary64_712 add-cbrt-cube_binary64_2842 pow1_binary64_480 pow1_binary64_821 add-log-exp_binary64_1822
57×	add-log-exp_binary64_2504 unpow-prod-down_binary64_1180 sqr-pow_binary64
55×	log-prod_binary64_2210 flip3--_binary64 unpow2_binary64 exp-prod_binary64 flip--_binary64
54×	log-pow_binary64_1190
53×	cbrt-unprod_binary64_1475 sqrt-prod_binary64_2140 cancel-sign-sub-inv_binary64_385 associate-/r*_binary64_22 prod-exp_binary64_1491
52×	associate-/l*_binary64_1728 distribute-lft-out_binary64_29 associate-*l*_binary64_1724 difference-of-squares_binary64_3798
51×	cancel-sign-sub-inv_binary64_2772 cancel-sign-sub-inv_binary64_1408 associate-/l*_binary64_364
50×	div-inv_binary64_3144 times-frac_binary64_1107 associate-*r/_binary64_2748 prod-exp_binary64_2514
49×	associate-/l*_binary64_705
48×	log-prod_binary64_1187 pow-prod-down_binary64_1513 associate--l+_binary64_3766
47×	difference-of-squares_binary64_2775
46×	associate-*r*_binary64_2746 cbrt-unprod_binary64_2498 frac-times_binary64
44×	distribute-lft-out--_binary64_371 associate-*r*_binary64_18
43×	add-log-exp_binary64_799 div-exp_binary64_3198 cbrt-prod_binary64_1473 pow1_binary64_3890
42×	prod-exp_binary64 div-inv_binary64_1780 sqrt-prod_binary64_1117 cbrt-unprod_binary64 difference-of-squares_binary64_47 unpow-prod-down_binary64_1521
41×	distribute-lft-out_binary64_3439
40×	associate-/r/_binary64 div-exp_binary64_2516 associate-*r*_binary64_700 flip--_binary64_735 flip3--_binary64_764
39×	distribute-lft-out--_binary64_2076 pow1_binary64_2526
38×	distribute-lft-out_binary64_2757 unpow-prod-down_binary64_2544 distribute-lft-out--_binary64_1394
37×	cancel-sign-sub-inv_binary64_2090 cancel-sign-sub-inv_binary64_1067
36×	difference-of-squares_binary64_2434 associate-*r*_binary64_359 associate-+r+_binary64_3761 unpow-prod-down_binary64_3908 cbrt-undiv_binary64_2499 distribute-lft-out_binary64_1052 associate-*l/_binary64_2749 exp-prod_binary64_3540
35×	div-inv_binary64_416 div-inv_binary64_757
34×	associate-*r*_binary64_1382 cancel-sign-sub-inv_binary64 associate-/r/_binary64_706
33×	flip3-+_binary64 flip-+_binary64_52 associate-*r*_binary64_2405 flip3-+_binary64_81 flip-+_binary64
32×	flip3--_binary64_2128 add-cbrt-cube_binary64_3865 flip--_binary64_2099 associate-/l*_binary64_3092 distribute-lft-out--_binary64_2758 associate-*l/_binary64
31×	associate-/r/_binary64_24 div-exp_binary64_2175
30×	associate-/r*_binary64_3432 associate-*r/_binary64 associate-/r*_binary64_2068 pow-prod-down_binary64_149 cbrt-prod_binary64_1132 pow1_binary64_2867
29×	distribute-lft-out--_binary64_3781 associate-*l*_binary64_2747 associate-/r/_binary64_365 prod-exp_binary64_2173
28×	sqrt-div_binary64_436 associate-*l*_binary64_19 frac-times_binary64_770 associate-/r/_binary64_2752
27×	div-inv_binary64_75
26×	associate-/l/_binary64 cbrt-undiv_binary64_2158 associate-*r*_binary64_1041 div-exp_binary64_811 associate--r+_binary64_3765
25×	associate-/r*_binary64_1386 cancel-sign-sub-inv_binary64_2431 associate-/r*_binary64_2409 div-exp_binary64_470 cbrt-unprod_binary64_2157 flip--_binary64_1417 pow-prod-down_binary64_1172
24×	sqrt-prod_binary64_94 cube-prod_binary64_1129 unpow-prod-down_binary64_3567 associate-/r*_binary64_2750 flip3--_binary64_1446 add-cbrt-cube_binary64_3183 distribute-rgt-in_binary64_3779 associate--r+_binary64_1037 cube-prod_binary64_3516 sqrt-div_binary64_2141 distribute-lft-in_binary64_3778
23×	flip--_binary64_53 associate-*l*_binary64_1042 sqr-pow_binary64_50 associate-/l*_binary64_2069 add-log-exp_binary64_2845 cbrt-prod_binary64_2155 cosh-undef_binary64_954 flip3--_binary64_82 cancel-sign-sub-inv_binary64_44
22×	pow-prod-down_binary64 difference-of-squares_binary64_1752 clear-num_binary64 log-pow_binary64_2213 associate-*l*_binary64_701 cube-prod_binary64_2493 frac-2neg_binary64 distribute-lft-out_binary64_2416
21×	pow-prod-down_binary64_1854 difference-of-sqr-1_binary64_2776 distribute-lft-out--_binary64_2417 associate-*l*_binary64_360 log-div_binary64_2211
20×	frac-2neg_binary64_1794 distribute-lft-out_binary64_2075 sin-sum_binary64_1234 associate-*r*_binary64_2064 associate-*l*_binary64_2406 log-div_binary64_3916 clear-num_binary64_1782 unswap-sqr_binary64_1751 *-commutative_binary64
19×	add-log-exp_binary64_3868 sub-neg_binary64_412 flip3--_binary64_423 log-pow_binary64_3577 flip--_binary64_394 flip-+_binary64_2098 flip3-+_binary64_2127 sqrt-prod_binary64_1458 add-cbrt-cube_binary64_3524 log-pow_binary64_3918
18×	sqr-pow_binary64_2437 cube-prod_binary64_1811 unpow-prod-down_binary64_1862 pow-unpow_binary64 sqr-pow_binary64_1414 cos-mult_binary64_232 add-log-exp_binary64_3527 sin-diff_binary64_1237 frac-sub_binary64_2474
17×	unswap-sqr_binary64_728 associate-/r/_binary64_1729 flip3-+_binary64_763 flip3-+_binary64_1786 flip-+_binary64_1757 prod-exp_binary64_468 flip-+_binary64_734 cancel-sign-sub-inv_binary64_1749
16×	add-exp-log_binary64_3526 prod-exp_binary64_1150 cbrt-unprod_binary64_1134 associate-/r*_binary64_1045 frac-2neg_binary64_89 clear-num_binary64_77 distribute-lft-out--_binary64_1735 prod-exp_binary64_2855 cbrt-undiv_binary64_453 cos-sum_binary64_553 distribute-lft-out_binary64_3780 distribute-rgt-in_binary64 sub-neg_binary64_2117 associate-*r/_binary64_20 cos-sum_binary64_1917 unpow-prod-down_binary64_839 distribute-lft-in_binary64 div-sub_binary64_1106
15×	flip3-+_binary64_422 difference-of-squares_binary64_1070 prod-exp_binary64_809 pow1/3_binary64_842 div-exp_binary64_2857 flip-+_binary64_393 associate-/l*_binary64_2751 log-prod_binary64_2551 sub-neg_binary64_71 associate-/l*_binary64_2410
14×	associate-*l/_binary64_703 flip--_binary64_3804 cbrt-undiv_binary64_3181 cube-div_binary64_107 associate-/l/_binary64_707 associate-/r/_binary64_1388 diff-log_binary64_170 unswap-sqr_binary64_387 flip3-+_binary64_1104 cbrt-unprod_binary64_2839 pow1_binary64_3208 flip-+_binary64_1075 diff-log_binary64_511 flip3--_binary64_3833
13×	div-inv_binary64_3826 cbrt-undiv_binary64_794 cbrt-div_binary64_1474 div-inv_binary64_1439 sub-neg_binary64_1435 sin-cos-mult_binary64_1598 associate-/l/_binary64_25 associate-/l*_binary64_1387 cbrt-undiv_binary64_2840 pow1_binary64_3549 *-commutative_binary64_1373 associate-*l*_binary64_2065 diff-log_binary64_2216 sqr-pow_binary64_1073 distribute-lft-out--_binary64_30
12×	flip3-+_binary64_3832 pow1/2_binary64_2204 div-sub_binary64_1788 unpow-prod-down_binary64_498 diff-log_binary64_2557 flip-+_binary64_3803 sqrt-pow1_binary64_2142 associate-*l/_binary64_1385 div-exp_binary64_1493 sqrt-div_binary64_1459 associate-/l*_binary64_1046 associate-/l*_binary64_3433 sin-sum_binary64_552 associate-*r/_binary64_1725 associate-*r/_binary64_3771 rem-log-exp_binary64_801 associate--l+_binary64_2061 add-log-exp_binary64_3186 associate-/r/_binary64_3434
11×	*-commutative_binary64_9 unpow-prod-down_binary64_157 sub-neg_binary64_1094 distribute-lft-in_binary64_2755 1-exp_binary64_1827 rec-exp_binary64_1833 1-exp_binary64_3191 associate-*l*_binary64_3770 cbrt-unprod_binary64_452 rec-exp_binary64_3197 flip3-+_binary64_3491 exp-prod_binary64_1153 flip-+_binary64_3462 div-inv_binary64_2121 distribute-rgt-in_binary64_2756 cbrt-prod_binary64_2496
10×	distribute-lft-in_binary64_1050 flip--_binary64_2440 flip3--_binary64_2469 sin-mult_binary64_1597 *-commutative_binary64_1714 flip3-+_binary64_2468 diff-log_binary64_1193 distribute-lft-out_binary64_1393 rem-sqrt-square_binary64_2137 sqrt-div_binary64_95 sin-mult_binary64_233 div-exp_binary64_1152 distribute-rgt-in_binary64_1051 sqrt-pow1_binary64_1119 pow1/2_binary64_1181 associate--r-_binary64_3768 flip-+_binary64_2439
9×	cbrt-undiv_binary64_1476 sub-neg_binary64 frac-add_binary64_1791 difference-of-sqr-1_binary64_389 sub-neg_binary64_3822 frac-2neg_binary64_771 associate-/r/_binary64_2070 unswap-sqr_binary64_1069 pow-prod-up_binary64_830 clear-num_binary64_759 pow-unpow_binary64_1178 frac-times_binary64_88
8×	+-commutative_binary64_8 pow1/3_binary64_3229 div-inv_binary64_2803 difference-of-sqr-1_binary64_1753 cube-prod_binary64_788 associate-/r/_binary64_3775 acos-asin_binary64_1964 sum-log_binary64 sub-neg_binary64_2799 clear-num_binary64_2123 diff-log_binary64_1534 unswap-sqr_binary64_2433 pow1/3_binary64_1524 associate-*r/_binary64_702 cos-sum_binary64_1576 sqr-pow_binary64_732 sinh-undef_binary64_953 div-inv_binary64_2462 cbrt-prod_binary64_109 sum-log_binary64_2215 associate-*r*_binary64_3769 cbrt-unprod_binary64_3862 swap-sqr_binary64_2091 tan-quot_binary64 unswap-sqr_binary64_1410 sum-log_binary64_169 frac-2neg_binary64_2135
7×	associate-*r/_binary64_1384 clear-num_binary64_418 associate-/l/_binary64_1730 cbrt-div_binary64_110 frac-times_binary64_1452 log-div_binary64_2552 *-commutative_binary64_1032 associate-*l/_binary64_21 pow-prod-down_binary64_2195 rem-log-exp_binary64_2165 frac-2neg_binary64_430 sum-log_binary64_2556 pow-exp_binary64 sinh-def_binary64_945 sub-neg_binary64_2458 div-sub_binary64 *-commutative_binary64_350 pow-exp_binary64_1510 cbrt-unprod_binary64_793 associate-*r/_binary64_2066 rem-log-exp_binary64_1142 pow-prod-down_binary64_2536 unswap-sqr_binary64_2774 associate--r-_binary64_1040 difference-of-sqr-1_binary64_1412
6×	pow-prod-down_binary64_490 frac-times_binary64_1793 rem-cube-cbrt_binary64_101 pow-to-exp_binary64 cbrt-undiv_binary64_1135 rem-sqrt-square_binary64_1455 swap-sqr_binary64 pow-unpow_binary64_3906 cancel-sign-sub-inv_binary64_726 sqrt-prod_binary64_2481 log-prod_binary64 flip-+_binary64_1416 frac-add_binary64_86 unpow-prod-up_binary64_1179 distribute-rgt-in_binary64_28 pow-plus_binary64_823 pow-unpow_binary64_1519 acos-asin_binary64_259 cube-div_binary64_1471 frac-2neg_binary64_2476 difference-of-sqr-1_binary64 cbrt-prod_binary64_450 sqr-pow_binary64_391 cos-diff_binary64_1579 pow-pow_binary64_150 pow-exp_binary64_1169 log-pow_binary64_849 distribute-lft-in_binary64_27 associate--l-_binary64_3767 acos-asin_binary64_1282 pow-exp_binary64_146 +-commutative_binary64_2054 swap-sqr_binary64_2773 distribute-frac-neg_binary64_1746 log-div_binary64_847 unpow3_binary64_3554 associate-+r+_binary64_351 sqrt-pow1_binary64_1460 distribute-rgt-out_binary64_713 cube-div_binary64_3517 pow-unpow_binary64_155 pow1/2_binary64_1522 exp-prod_binary64_130 cube-div_binary64_1812 exp-prod_binary64_2176 exp-sum_binary64_1147 rem-sqrt-square_binary64_1114 unswap-sqr_binary64_46 clear-num_binary64_2805 cube-mult_binary64_3518 associate--l-_binary64_2062 pow-pow_binary64 sqr-pow_binary64_3460 frac-add_binary64_2473 div-inv_binary64_3485 clear-num_binary64_2464 frac-2neg_binary64_2817 pow-pow_binary64_1514 cos-diff_binary64_556 pow-pow_binary64_3901
5×	rem-cube-cbrt_binary64_1465 flip3--_binary64_1787 unpow3_binary64_2531 inv-pow_binary64_1868 clear-num_binary64_3146 *-commutative_binary64_2396 *-commutative_binary64_2737 rem-sqrt-square_binary64_91 sqrt-pow1_binary64_96 flip3-+_binary64_1445 pow-flip_binary64_1857 clear-num_binary64_1441 pow-prod-down_binary64_2877 sum-log_binary64_510 associate-/l/_binary64_366 asin-acos_binary64_1281 associate-*l/_binary64_2067 pow1/3_binary64_2206 frac-2neg_binary64_1453 cube-mult_binary64_2495 associate--r+_binary64_2060 cbrt-div_binary64_2156 distribute-rgt-in_binary64_2074 pow-to-exp_binary64_1170 frac-2neg_binary64_3158 pow-prod-down_binary64_831 pow1/2_binary64_158 flip--_binary64_1758 diff-log_binary64_2898 *-commutative_binary64_691 cbrt-div_binary64_2497 distribute-lft-in_binary64_2073 sin-mult_binary64_1256 diff-log_binary64_3921
4×	associate--r+_binary64_2401 pow-prod-down_binary64_3900 pow-to-exp_binary64_2534 cube-prod_binary64_447 cbrt-undiv_binary64_3863 sin-sum_binary64_1575 pow-to-exp_binary64_829 pow-exp_binary64_2533 +-commutative_binary64_1713 cbrt-div_binary64_451 frac-2neg_binary64_3499 diff-log_binary64 pow-prod-up_binary64_1171 distribute-rgt-in_binary64_1392 pow-exp_binary64_828 frac-add_binary64 associate-/l/_binary64_2412 *-commutative_binary64_2055 clear-num_binary64_1100 frac-2neg_binary64_1112 cos-diff_binary64_1920 sum-log_binary64_1192 associate-+r-_binary64_1717 frac-sub_binary64_428 associate-*l/_binary64_1726 div-inv_binary64_1098 associate-+l+_binary64 pow-sqr_binary64_1074 clear-num_binary64_3487 distribute-lft-in_binary64_1391 sum-log_binary64_1874 cube-div_binary64_1130 frac-add_binary64_3837 cos-sum_binary64_212 rec-exp_binary64_810 cosh-undef_binary64_613 associate--l+_binary64_2743 cbrt-div_binary64_3520 log-pow_binary64_167 frac-times_binary64_2134 div-sub_binary64_83 div-exp_binary64_3539 cbrt-undiv_binary64_3522 1-exp_binary64_804 exp-sum_binary64_2170 associate-*r/_binary64_2407
3×	1-exp_binary64_463 sum-log_binary64_851 sqrt-undiv_binary64 log-prod_binary64_164 distribute-rgt-in_binary64_369 unswap-sqr_binary64_2092 div-sub_binary64_765 sin-diff_binary64_555 distribute-rgt-neg-in_binary64_3787 cbrt-div_binary64_1815 log-prod_binary64_3574 pow-unpow_binary64_1860 associate--l+_binary64_1038 unpow3_binary64_144 cube-prod_binary64_106 +-commutative_binary64_3418 rec-exp_binary64_469 pow-to-exp_binary64_488 distribute-lft-in_binary64_368 +-commutative_binary64_690 pow-flip_binary64_3221 sqrt-prod_binary64_1799 cube-mult_binary64_108 pow-unpow_binary64_3565 pow1/3_binary64_1865 sub-neg_binary64_1776 sqrt-pow1_binary64_437 pow-sqr_binary64_733 acos-neg_binary64_1966 sum-log_binary64_3579 +-commutative_binary64 1-exp_binary64_2168 pow1/2_binary64_499 distribute-lft-neg-in_binary64_3786 associate-/l/_binary64_2071 +-commutative_binary64_349 pow-exp_binary64_487 asin-acos_binary64_1963 rec-exp_binary64_2174 rem-sqrt-square_binary64_432
2×	inv-pow_binary64_1527 +-commutative_binary64_1031 pow1/3_binary64_501 distribute-rgt-in_binary64_1733 associate--l+_binary64_356 pow-to-exp_binary64_147 pow-plus_binary64_1164 diff-log_binary64_1875 pow2_binary64_841 asin-neg_binary64_1965 rec-exp_binary64_128 sqr-pow_binary64_1755 associate--r+_binary64_2742 unpow3_binary64_826 distribute-lft-in_binary64_1732 +-commutative_binary64_2395 pow-pow_binary64_1173 cube-mult_binary64_1813 rec-exp_binary64_2856 log-pow_binary64_2554 1-exp_binary64_1486 unpow3_binary64_1849 rem-log-exp_binary64 1-exp_binary64_122 difference-of-sqr-1_binary64_1071 frac-add_binary64_768 cos-mult_binary64_1596 cbrt-div_binary64_1133 associate-/r/_binary64_3093 sin-mult_binary64_574 inv-pow_binary64_845 unpow3_binary64 associate-+l+_binary64_1716 pow-flip_binary64_1516 pow-flip_binary64_834 cube-mult_binary64 sqrt-div_binary64_2482 frac-times_binary64_429 sqr-pow_binary64_3801 cube-div_binary64 exp-diff_binary64_126 cube-mult_binary64_1131 1-exp_binary64_2850 cube-mult_binary64_790 unpow3_binary64_1167 diff-log_binary64_852 pow-plus_binary64 rem-cube-cbrt_binary64 *-commutative_binary64_3760 distribute-rgt1-in_binary64_716 pow-flip_binary64_2198 cube-mult_binary64_1472 unpow3_binary64_1508 rem-log-exp_binary64_3870 associate--r-_binary64_2063 unpow2_binary64_2189 pow-sqr_binary64 un-div-inv_binary64_2804 sub-neg_binary64_753 inv-pow_binary64_3914 cube-prod_binary64_1470 pow-prod-up_binary64 sub-div_binary64_426 rem-log-exp_binary64_2506 inv-pow_binary64_3232 exp-to-pow_binary64_1163 rec-exp_binary64_1492 pow-flip_binary64_3903 pow2_binary64 associate-+l+_binary64_3762 pow-to-exp_binary64_1511
1×	associate-*l/_binary64_362 tanh-undef_binary64_955 cbrt-div_binary64_3179 rem-cbrt-cube_binary64_102 pow-to-exp_binary64_3557 unswap-sqr_binary64_3797 distribute-lft-neg-out_binary64_3788 pow-exp_binary64_3556 distribute-rgt1-in_binary64 associate-+l-_binary64 pow-pow_binary64_1855 inv-pow_binary64_163 rem-cube-cbrt_binary64_1806 pow1/2_binary64_840 unpow-prod-down_binary64_2203 pow-prod-up_binary64_2194 rem-cube-cbrt_binary64_1124 rem-cbrt-cube_binary64 pow2_binary64_1182 cube-mult_binary64_449 rem-exp-log_binary64_118 neg-mul-1_binary64_3825 log-rec_binary64_848 pow1/3_binary64 frac-sub_binary64_1451 exp-diff_binary64_2172 rem-cube-cbrt_binary64_3511 rem-3cbrt-lft_binary64_785 inv-pow_binary64_504 e-exp-1_binary64_1146 cos-diff_binary64_215 clear-num_binary64_3828 associate-/l/_binary64_3094 rem-exp-log_binary64_3528 rem-cbrt-cube_binary64_1125 tanh-def-c_binary64_949 associate--l-_binary64_2744 pow1/3_binary64_3570 exp-to-pow_binary64 sqrt-pow1_binary64_2483 distribute-rgt-out_binary64 associate-+r+_binary64 pow-prod-up_binary64_2876 associate-+r+_binary64_2056 pow-sqr_binary64_2779 rem-sqrt-square_binary64_773 exp-diff_binary64 distribute-rgt-out--_binary64_373 rem-log-exp_binary64_119 associate--r-_binary64_1722 pow-plus_binary64_2187 rem-log-exp_binary64_3529 sqr-pow_binary64_2096 rem-cbrt-cube_binary64_3512 pow1/3_binary64_2547 pow-flip_binary64_2880 swap-sqr_binary64_1068 associate-*r/_binary64_361 div-sub_binary64_2470 cbrt-div_binary64 pow-flip_binary64_493 pow3_binary64_843 rem-sqrt-square_binary64_2478 +-commutative_binary64_3759 distribute-rgt-out--_binary64_2078 pow1/3_binary64_1183 log-div_binary64_165 rem-cbrt-cube_binary64_1807 sum-log_binary64_3920 associate-/l*_binary64_3774 inv-pow_binary64_2891 associate-/r*_binary64_3773 rem-exp-log_binary64_1141 tanh-def-a_binary64_947 frac-2neg_binary64_3840 tanh-def-b_binary64_948 pow2_binary64_2887 unpow3_binary64_485 pow-sqr_binary64_2097 pow-to-exp_binary64_1852 sin-diff_binary64_1578 pow1/3_binary64_160 log-div_binary64 pow-exp_binary64_1851 pow1/2_binary64_2545 associate--l+_binary64_2402 associate-+r-_binary64_1035 div-sub_binary64_2129 sqrt-unprod_binary64_1121 pow2_binary64_2205 sqrt-pow1_binary64_778 pow-pow_binary64_3560 inv-pow_binary64_2209 pow-plus_binary64_2869 pow-flip_binary64_152 rem-cbrt-cube_binary64_1466 div-sub_binary64_424

Calls

478 calls:

176.0ms	(*.f64 (/.f64 (sqrt.f64 m) (/.f64 (sqrt.f64 v) (sqrt.f64 m))) (/.f64 (-.f64 1 m) (sqrt.f64 v)))
90.0ms	(-.f64 (/.f64 (/.f64 2 (sqrt.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))))) (sqrt.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))))) 1)
77.0ms	(+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 1 (/.f64 (+.f64 1 x) x)))
58.0ms	(/.f64 (*.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))) c_n)) (*.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) c_n)))
50.0ms	(*.f64 (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1) (-.f64 1 m))