rewrite5.8s (2.2%)

Algorithm

143×	rewrite-expression-head

Rules

1212×	add-exp-log_binary64_3819
967×	times-frac_binary64_420
850×	times-frac_binary64_2105
815×	*-un-lft-identity_binary64_414
786×	associate-*l/_binary64_696
761×	add-sqr-sqrt_binary64
745×	add-sqr-sqrt_binary64_435
704×	add-sqr-sqrt_binary64_2120
692×	pow-exp_binary64_3849
688×	prod-exp_binary64_3830
673×	*-un-lft-identity_binary64
670×	times-frac_binary64
604×	add-exp-log_binary64_2134
593×	div-exp_binary64_3832
585×	flip3--_binary64_755 flip--_binary64_726
576×	*-un-lft-identity_binary64_2099
524×	add-cube-cbrt_binary64_446
512×	add-cube-cbrt_binary64_2131
455×	add-cube-cbrt_binary64
412×	sqrt-prod_binary64_429
398×	frac-times_binary64_761
397×	frac-add_binary64_759
396×	sqrt-div_binary64_767
380×	times-frac_binary64_1768
365×	*-un-lft-identity_binary64_1762
350×	cbrt-prod_binary64_2127
344×	pow-to-exp_binary64_3850
337×	add-sqr-sqrt_binary64_1783
323×	add-cbrt-cube_binary64_2132
321×	add-cbrt-cube_binary64_110 add-exp-log_binary64_112
320×	*-un-lft-identity_binary64_751
318×	add-sqr-sqrt_binary64_1446
307×	*-un-lft-identity_binary64_1425
301×	add-cube-cbrt_binary64_1794
254×	*-un-lft-identity_binary64_77
242×	add-cbrt-cube_binary64_1795
240×	add-exp-log_binary64_1797
235×	times-frac_binary64_1431
228×	div-exp_binary64_2147
218×	add-cube-cbrt_binary64_1457 add-exp-log_binary64
214×	add-sqr-sqrt_binary64_98 add-exp-log_binary64_449
210×	add-cbrt-cube_binary64
207×	prod-exp_binary64_2145
205×	add-sqr-sqrt_binary64_772
201×	associate-*r*_binary64_2041
200×	add-sqr-sqrt_binary64_1109
199×	*-un-lft-identity_binary64_1088 associate-*r/_binary64_695
192×	add-sqr-sqrt_binary64_2457
187×	associate-*r*_binary64
180×	*-un-lft-identity_binary64_2436
177×	add-cbrt-cube_binary64_447
173×	*-un-lft-identity_binary64_3110
170×	*-un-lft-identity_binary64_2773
162×	add-cube-cbrt_binary64_109
156×	cbrt-prod_binary64_442
152×	times-frac_binary64_757
150×	cbrt-prod_binary64_779
147×	sqrt-prod_binary64_1777
146×	cbrt-prod_binary64_1453
144×	cbrt-undiv_binary64_2130 add-exp-log_binary64_2471 pow1_binary64_1820 add-cbrt-cube_binary64_2469 pow1_binary64_135
142×	times-frac_binary64_83
141×	add-exp-log_binary64_1123
138×	sqrt-div_binary64_1104
137×	cbrt-unprod_binary64_2129
135×	sqrt-prod_binary64
133×	distribute-lft-out_binary64_367
130×	associate-*l*_binary64_2042
129×	add-cube-cbrt_binary64_783
128×	associate-/r*_binary64
127×	difference-of-squares_binary64
125×	pow1_binary64
122×	*-un-lft-identity_binary64_3784
120×	add-cbrt-cube_binary64_1121
119×	associate-*l*_binary64 pow1_binary64_2157
118×	associate-/l*_binary64_361
116×	rec-exp_binary64_3831 1-exp_binary64_3825
109×	add-log-exp_binary64_113
107×	add-cube-cbrt_binary64_1120
106×	cbrt-unprod_binary64_107 prod-exp_binary64_123
103×	add-exp-log_binary64_1460
100×	pow1_binary64_809 times-frac_binary64_2442
99×	sqrt-prod_binary64_1103
98×	pow1_binary64_472
97×	add-sqr-sqrt_binary64_2794
96×	times-frac_binary64_2779
93×	add-sqr-sqrt_binary64_3805
91×	distribute-lft-out_binary64_704 cbrt-unprod_binary64_1792 prod-exp_binary64_1808
90×	add-cube-cbrt_binary64_2468
87×	difference-of-sqr--1_binary64_385
85×	add-cbrt-cube_binary64_1458
84×	unpow-prod-down_binary64_490
82×	times-frac_binary64_3116 add-log-exp_binary64_450
79×	pow1_binary64_1146 times-frac_binary64_1094
78×	add-log-exp_binary64 add-log-exp_binary64_2135
72×	add-exp-log_binary64_786
71×	cbrt-undiv_binary64_108 div-exp_binary64_125
70×	pow1_binary64_1483
69×	log-div_binary64_835 cube-prod_binary64_439
67×	associate-/l*_binary64_24
66×	add-log-exp_binary64_1798 div-inv_binary64_748 exp-diff_binary64_796
65×	add-log-exp_binary64_1124
63×	unpow-prod-down_binary64_1501 add-cube-cbrt_binary64_2805
62×	log-prod_binary64_3867
61×	add-cbrt-cube_binary64_784
60×	prod-exp_binary64_460
58×	distribute-lft-out--_binary64
57×	log-prod_binary64_2182
56×	pow-prod-down_binary64_1830 difference-of-squares_binary64_2405
54×	associate-/l*_binary64_2046 unpow-prod-down_binary64_2175 add-sqr-sqrt_binary64_3131
53×	associate-/r*_binary64_360
52×	associate-/r/_binary64_362 difference-of-squares_binary64_1394 add-log-exp_binary64_1461 div-exp_binary64_462
51×	associate-*r*_binary64_1367
50×	add-log-exp_binary64_787
49×	associate-*l*_binary64_1368
48×	cbrt-undiv_binary64 associate-/l*_binary64 div-exp_binary64 add-cube-cbrt_binary64_3816 associate-*r*_binary64_1704
47×	div-inv_binary64
46×	prod-exp_binary64_2482 unswap-sqr_binary64_2067 associate-/l*_binary64_1709 pow-prod-down_binary64_145 cbrt-unprod_binary64_2466
45×	cbrt-prod_binary64_1790 associate-/r*_binary64_2045 pow1_binary64_2494 sqrt-prod_binary64_766
44×	distribute-lft-out_binary64_3063 flip3-+_binary64_417 add-sqr-sqrt_binary64_3468 associate-*r*_binary64_693 flip-+_binary64_388 pow1_binary64_3842
43×	associate-*l*_binary64_1031
42×	flip3--_binary64 prod-exp_binary64 flip--_binary64 cbrt-unprod_binary64 associate-*r/_binary64_2717 cbrt-unprod_binary64_444
41×	sqrt-div_binary64_430 add-log-exp_binary64_2472 cbrt-undiv_binary64_445
40×	sqrt-prod_binary64_2114 cbrt-div_binary64_780 div-inv_binary64_2096 associate-*l*_binary64_1705
38×	cbrt-undiv_binary64_2467 associate-/r*_binary64_23 add-cube-cbrt_binary64_3142 frac-times_binary64_1098 cube-prod_binary64_2124 div-exp_binary64_2484
37×	times-frac_binary64_3790 flip-+_binary64_1062 flip3-+_binary64_1091 distribute-lft-out_binary64_30
36×	cbrt-undiv_binary64_1793 unpow-prod-down_binary64_1838 div-exp_binary64_1810 cube-prod_binary64_1787 unswap-sqr_binary64 unpow-prod-down_binary64_3860
35×	flip3-+_binary64_2776 flip-+_binary64_2747
34×	associate-*r*_binary64_1030 sqrt-prod_binary64_3462 prod-exp_binary64_1134
33×	swap-sqr_binary64_718 associate-*r*_binary64_2378 frac-sub_binary64_2782
32×	*-un-lft-identity_binary64_3447 add-cbrt-cube_binary64_3817 associate-/r*_binary64_1708 difference-of-squares_binary64_1057
31×	associate-*l*_binary64_694 distribute-rgt-out_binary64_706 div-inv_binary64_411
30×	div-exp_binary64_1136 distribute-lft-out--_binary64_2390 sqrt-prod_binary64_1440 distribute-lft-out--_binary64_1379 log-prod_binary64_1171 associate-/r*_binary64_2382 distribute-lft-out_binary64_2726 associate-/r/_binary64_25
29×	associate-*l*_binary64_20 associate-*r/_binary64
28×	flip-+_binary64_51 difference-of-squares_binary64_383 flip3--_binary64_1092 add-cube-cbrt_binary64_3479 flip3-+_binary64_80 flip--_binary64_1063
27×	sqrt-prod_binary64_92 associate-*l*_binary64_357 unpow-prod-down_binary64 associate--l+_binary64_3723
26×	pow-prod-down_binary64 flip--_binary64_52 cbrt-unprod_binary64_1118 associate-*r*_binary64_19 associate-/r*_binary64_1371 flip3--_binary64_81
25×	associate-/r/_binary64 log-pow_binary64_2185 distribute-lft-out_binary64_1041 distribute-lft-out_binary64_1715 cbrt-div_binary64_1454
24×	log-div_binary64_3868 flip3--_binary64_2777 flip--_binary64_2748 associate-/l/_binary64_2722 pow1_binary64_3505 flip-+_binary64_725 pow-unpow_binary64 cbrt-undiv_binary64_1119 flip3-+_binary64_754 associate-/l*_binary64_1035 log-prod_binary64_834 *-commutative_binary64 sqr-pow_binary64_386
23×	cbrt-prod_binary64_3475 distribute-lft-out--_binary64_3738 log-pow_binary64_1511 associate-/r*_binary64_2719 difference-of-squares_binary64_3753 associate-*l/_binary64
22×	associate-/l/_binary64 add-log-exp_binary64_3483 div-inv_binary64_1759 add-exp-log_binary64_2808 add-cbrt-cube_binary64_2806
21×	associate-/l*_binary64_2383 sqr-pow_binary64_1397 pow-prod-down_binary64_819 exp-prod_binary64_1474 div-inv_binary64_74
20×	sqr-pow_binary64_2071 distribute-lft-out_binary64 associate-/l*_binary64_1372 frac-times_binary64_2783 distribute-lft-out_binary64_2052 div-inv_binary64_1422 log-pow_binary64_3870 sqrt-pow1_binary64_1105
19×	associate--r+_binary64_3722 pow-prod-down_binary64_2167 associate-*r/_binary64_1032
18×	flip3-+_binary64 clear-num_binary64 add-log-exp_binary64_2809 pow1/3_binary64_830 difference-of-squares_binary64_46 *-commutative_binary64_1695 frac-2neg_binary64 cos-mult_binary64_228 associate-/r/_binary64_1373 distribute-lft-out--_binary64_2727 flip-+_binary64
17×	pow-prod-down_binary64_1156 unswap-sqr_binary64_1056 associate-*r*_binary64_356 pow1_binary64_2831 div-sub_binary64_1093 prod-exp_binary64_797 pow1/3_binary64_1504 flip--_binary64_2411 log-div_binary64_2183 frac-times_binary64 flip3--_binary64_2440
16×	difference-of-squares_binary64_2068 sub-neg_binary64 add-cbrt-cube_binary64_3480 add-exp-log_binary64_3145 associate-/l*_binary64_2720 sin-diff_binary64_1221 add-exp-log_binary64_3482 sqrt-div_binary64_3463 exp-sum_binary64_2142 div-exp_binary64_1473 distribute-lft-out_binary64_3737 pow1/2_binary64_1165 add-log-exp_binary64_3146
15×	unswap-sqr_binary64_719 pow-unpow_binary64_1499 prod-exp_binary64_1471 cbrt-unprod_binary64_1455 flip-+_binary64_1736 flip3-+_binary64_1765 frac-2neg_binary64_88 sub-neg_binary64_70 distribute-lft-out--_binary64_1042 difference-of-squares_binary64_3416 associate-/r/_binary64_1036 clear-num_binary64_76 unpow2_binary64_476 add-log-exp_binary64_3820
14×	flip3--_binary64_418 distribute-lft-out--_binary64_3064 associate-*l/_binary64_1033 div-sub_binary64_1767 diff-log_binary64_166 rec-exp_binary64_2146 associate-*l*_binary64_2379 flip--_binary64_389 add-cbrt-cube_binary64_3143 1-exp_binary64_2140 associate-/r*_binary64_3056 difference-of-squares_binary64_2742
13×	clear-num_binary64_413 pow-prod-down_binary64_482 associate-*r*_binary64_3726 associate-/r*_binary64_1034 sub-neg_binary64_407 flip3-+_binary64_2102 cbrt-unprod_binary64_781 frac-2neg_binary64_425 flip-+_binary64_2073 distribute-lft-out--_binary64_2053 cbrt-undiv_binary64_1456
12×	flip-+_binary64_3758 associate-/r/_binary64_1710 cbrt-prod_binary64_105 *-commutative_binary64_10 sqrt-div_binary64_93 sqrt-pow1_binary64_431 times-frac_binary64_3453 flip-+_binary64_1399 flip3-+_binary64_3787 pow1/2_binary64_491 cosh-def_binary64_597 associate-*r/_binary64_358
11×	log-prod_binary64_1845 pow1/2_binary64_2176 flip3-+_binary64_1428 sin-cos-mult_binary64_1915 flip3--_binary64_3451 associate-*l*_binary64_3727 unpow2_binary64 *-commutative_binary64_2032 unpow3_binary64_2162 pow-prod-down_binary64_1493 flip--_binary64_1400 cosh-undef_binary64_942 sub-neg_binary64_1755 cube-mult_binary64_2126 sqrt-pow1_binary64_2116 associate-/l/_binary64_26 flip--_binary64_3422 sqr-pow_binary64 swap-sqr_binary64_2066
10×	div-inv_binary64_2433 clear-num_binary64_1761 associate-/r*_binary64_697 sinh-def_binary64_933 cos-diff_binary64_1896 associate-*l/_binary64_2718 frac-2neg_binary64_2110 associate--r-_binary64_3725 flip3--_binary64_1429 frac-2neg_binary64_1773 unswap-sqr_binary64_1393 distribute-lft-out_binary64_1378 clear-num_binary64_2098 associate-*r/_binary64_2043 cube-prod_binary64_1450 associate-/r/_binary64_2721 associate-*l/_binary64_1707 cube-div_binary64_440
9×	difference-of-squares_binary64_1731 rem-sqrt-square_binary64_1101 exp-prod_binary64_800 distribute-rgt1-in_binary64_709 pow-flip_binary64_485 pow1_binary64_3168 cube-mult_binary64_441 unswap-sqr_binary64_1730 distribute-lft-out--_binary64_31 pow-prod-down_binary64_2504 sum-log_binary64_2187 associate-/l/_binary64_363 frac-times_binary64_424 unpow3_binary64_477 sin-mult_binary64_229 difference-of-sqr-1_binary64_384 associate-/l*_binary64_3057 sum-log_binary64_502 +-commutative_binary64_346 sub-neg_binary64_2429 cbrt-prod_binary64_3138
8×	associate-*r/_binary64_1706 +-commutative_binary64_9 unpow-prod-down_binary64_1164 distribute-lft-out--_binary64_705 associate-+r+_binary64_348 pow-to-exp_binary64 pow1/2_binary64_3524 distribute-rgt-in_binary64_2051 swap-sqr_binary64_2403 flip-+_binary64_3084 associate-/r/_binary64_2384 pow-prod-up_binary64_818 pow-sqr_binary64_724 sum-log_binary64_165 difference-of-sqr-1_binary64 unpow-prod-down_binary64_827 flip3--_binary64_3788 pow-exp_binary64 div-inv_binary64_1085 distribute-lft-out--_binary64_1716 sqrt-pow1_binary64_3464 sum-log_binary64 acos-asin_binary64_1940 pow-exp_binary64_1490 frac-times_binary64_87 associate-*r/_binary64_2380 flip3-+_binary64_3113 diff-log_binary64_2188 associate-*l/_binary64_22 clear-num_binary64_2435 associate-*l/_binary64_359 log-pow_binary64_837 frac-times_binary64_2109 distribute-lft-in_binary64_3735 distribute-rgt-in_binary64_3736 frac-2neg_binary64_2447 associate-*r/_binary64_21 rem-log-exp_binary64_2137 difference-of-squares_binary64_3079 rem-sqrt-square_binary64_3460 flip--_binary64_3759 pow-pow_binary64 difference-of-sqr--1_binary64_2744 sinh-undef_binary64_941 cbrt-unprod_binary64_3814 difference-of-squares_binary64_720 tan-quot_binary64 sub-neg_binary64_3777 distribute-lft-in_binary64_2050 div-inv_binary64_3107
7×	flip3--_binary64_1766 distribute-lft-out--_binary64_368 log-pow_binary64_2522 sub-neg_binary64_1418 frac-2neg_binary64_1436 rec-exp_binary64_461 exp-prod_binary64_1811 flip--_binary64_1737 1-exp_binary64_455 distribute-rgt-in_binary64 distribute-lft-in_binary64_365 log-prod_binary64_1508 distribute-rgt-in_binary64_366 associate-/l*_binary64_698 clear-num_binary64_1424 distribute-lft-in_binary64 rem-sqrt-square_binary64_427
6×	pow-pow_binary64_1494 associate--l-_binary64_3724 sub-neg_binary64_2766 log-pow_binary64_1848 sqrt-pow1_binary64_94 swap-sqr_binary64 cbrt-div_binary64_443 unpow-prod-down_binary64_153 pow-pow_binary64_3853 exp-prod_binary64_126 rem-sqrt-square_binary64_90 associate-/r/_binary64_3058 frac-sub_binary64_2108 diff-log_binary64_503 *-commutative_binary64_347 pow-div_binary64_486 pow-exp_binary64_2164 pow-unpow_binary64_488 associate-*l/_binary64_2044 pow-to-exp_binary64_2165 exp-prod_binary64_2485 log-div_binary64_1846 div-inv_binary64_3781 sin-mult_binary64_1914 flip--_binary64_2074 flip3--_binary64_2103 swap-sqr_binary64_2740 cos-diff_binary64_548 *-commutative_binary64_1021 pow-unpow_binary64_3858 swap-sqr_binary64_381 diff-log_binary64_2525 acos-asin_binary64_255 exp-sum_binary64_794 sqrt-pow1_binary64_768 distribute-rgt-out--_binary64 pow1/2_binary64_828 associate-*r/_binary64_1369 pow1/2_binary64_154 frac-times_binary64_1435 cube-prod_binary64_102
5×	frac-2neg_binary64_1099 sub-neg_binary64_2092 cbrt-undiv_binary64_2804 clear-num_binary64_1087 unswap-sqr_binary64_45 pow-to-exp_binary64_1491 diff-log_binary64 asin-acos_binary64_1602 div-exp_binary64_2821 *-commutative_binary64_2369 difference-of-sqr-1_binary64_2743 sub-neg_binary64_1081 pow1/3_binary64_2178 pow1/3_binary64_3526 associate-/l/_binary64_1037 sum-log_binary64_1850 cbrt-div_binary64_3476 *-commutative_binary64_684 +-commutative_binary64_1694 +-commutative_binary64_1020 div-inv_binary64_2770 frac-add_binary64_3118 diff-log_binary64_1177 cube-div_binary64_1451 frac-2neg_binary64_2784 pow-prod-up_binary64_2166 cosh-undef_binary64_605 clear-num_binary64_2772 rem-sqrt-square_binary64_764 associate-/l/_binary64_2048 sum-log_binary64_1176 *-commutative_binary64_1358
4×	unpow3_binary64_1488 +-commutative_binary64_3042 diff-log_binary64_1851 flip-+_binary64_2410 flip3-+_binary64_2439 frac-add_binary64_85 associate-/l/_binary64_1711 cube-mult_binary64_1452 sqr-pow_binary64_1060 cube-div_binary64_103 difference-of-sqr-1_binary64_3080 sqr-pow_binary64_723 div-exp_binary64_3158 pow-plus_binary64_811 frac-times_binary64_2446 unswap-sqr_binary64_382 frac-add_binary64 associate--r+_binary64_1700 associate-/r/_binary64_3732 associate-/r/_binary64_699 diff-log_binary64_2862 sum-log_binary64_3198 rem-log-exp_binary64_3822 associate--r-_binary64_1703 associate-*r/_binary64_3728 pow-prod-down_binary64_3852 cube-prod_binary64_1113 sum-log_binary64_839 +-commutative_binary64_2031 distribute-rgt-in_binary64_1714 +-commutative_binary64_683 associate-*l*_binary64_2716 frac-times_binary64_1772 rem-cube-cbrt_binary64_1447 cos-mult_binary64_1913 diff-log_binary64_1514 distribute-lft-out_binary64_2389 associate-+r-_binary64_1698 sqrt-unprod_binary64_1107 diff-log_binary64_3873 distribute-lft-in_binary64_1713 associate-*r*_binary64_2715 associate-/l/_binary64_2385 log-pow_binary64_163 div-sub_binary64_82 log-prod_binary64_2519 cbrt-undiv_binary64_3815 cube-prod_binary64_776
3×	cbrt-undiv_binary64_782 log-prod_binary64_160 div-sub_binary64_2778 distribute-lft-neg-in_binary64_3743 cbrt-undiv_binary64_3141 1-exp_binary64_1129 inv-pow_binary64_496 associate-/l/_binary64_700 +-commutative_binary64_2368 pow1/2_binary64_1502 clear-num_binary64_3109 distribute-rgt-in_binary64_2725 unpow2_binary64_1487 exp-sum_binary64_1805 pow-unpow_binary64_151 difference-of-sqr-1_binary64_1058 distribute-rgt-neg-in_binary64_3744 diff-log_binary64_3536 sub-neg_binary64_3440 pow-unpow_binary64_1836 cbrt-div_binary64_3139 acos-neg_binary64_1942 sum-log_binary64_2524 rem-sqrt-square_binary64_1438 associate-*l/_binary64_3392 pow-unpow_binary64_2173 unswap-sqr_binary64_2404 distribute-frac-neg_binary64_1727 rem-sqrt-square_binary64_2112 div-sub_binary64 sqrt-pow1_binary64_1442 pow2_binary64_829 sqrt-prod_binary64_2451 cbrt-div_binary64_1791 pow-sqr_binary64_2072 +-commutative_binary64 distribute-lft-in_binary64_2724 frac-2neg_binary64_3121 sin-mult_binary64_1577 rec-exp_binary64_1135 div-exp_binary64_799 cos-sum_binary64_1893 associate-*l/_binary64_1370
2×	pow-to-exp_binary64_817 rem-log-exp_binary64_789 cube-mult_binary64_104 cbrt-div_binary64_106 distribute-lft-out--_binary64_3401 associate--l+_binary64_2038 distribute-rgt-neg-out_binary64 cube-div_binary64_1788 distribute-rgt-in_binary64_2388 rem-exp-log_binary64_1799 unpow3_binary64_1825 associate--r+_binary64_2711 distribute-rgt-in_binary64_29 associate-*l/_binary64_2381 clear-num_binary64_750 div-inv_binary64_3444 pow-exp_binary64_1827 sqr-pow_binary64_3756 unpow3_binary64_140 rem-cbrt-cube_binary64_437 exp-diff_binary64_122 pow-exp_binary64_1153 inv-pow_binary64_3866 sqrt-div_binary64_2115 pow-to-exp_binary64_480 cube-mult_binary64_1789 frac-2neg_binary64_762 rem-cube-cbrt_binary64_1784 diff-log_binary64_840 distribute-lft-in_binary64_28 pow-plus_binary64 pow-to-exp_binary64_1154 pow1/3_binary64_1841 sqr-pow_binary64_1734 pow-exp_binary64_816 associate-/l/_binary64_3059 sub-neg_binary64_744 pow-sqr_binary64 pow-flip_binary64_1159 rem-log-exp_binary64_1463 sqr-pow_binary64_49 pow1/3_binary64_493 distribute-lft-in_binary64_2387 associate-+r+_binary64_1696 associate--l+_binary64_2712 rem-log-exp_binary64_1126 pow-prod-up_binary64 pow-flip_binary64_3855 rem-cube-cbrt_binary64_436 frac-add_binary64_2107 pow-pow_binary64_483 unsub-neg_binary64 pow2_binary64 rem-log-exp_binary64_1800 pow-exp_binary64_479 cos-sum_binary64_545 *-commutative_binary64_3717 associate-+r+_binary64_2033
1×	cbrt-unprod_binary64_2803 cube-mult_binary64_778 pow-flip_binary64_1496 unswap-sqr_binary64_3752 pow-sqr_binary64_2746 exp-diff_binary64_1470 neg-mul-1_binary64_3780 rem-log-exp_binary64_115 pow-to-exp_binary64_143 pow-exp_binary64_142 rem-cube-cbrt_binary64_99 pow-plus_binary64_474 associate-+l-_binary64 rem-square-sqrt_binary64_2111 pow-prod-up_binary64_2503 cos-sum_binary64_208 rem-exp-log_binary64_788 exp-sum_binary64_1468 tanh-def-b_binary64_936 cube-mult_binary64_1115 pow2_binary64_2514 sin-diff_binary64_547 difference-of-sqr--1_binary64 distribute-rgt-in_binary64_1377 div-sub_binary64_756 rem-cbrt-cube_binary64_2122 sin-sum_binary64_1892 1-exp_binary64_3151 exp-to-pow_binary64_1821 associate-/r*_binary64_3730 tanh-def-a_binary64_935 exp-to-pow_binary64_2158 div-sub_binary64_419 frac-sub_binary64 rem-cbrt-cube_binary64_1448 flip--_binary64_3085 rem-cube-cbrt_binary64_2121 pow-prod-up_binary64_481 pow-pow_binary64_146 pow-plus_binary64_2833 rec-exp_binary64_3157 associate-+l+_binary64 pow-pow_binary64_2168 associate-+r+_binary64 distribute-lft-neg-out_binary64_3745 pow2_binary64_2177 associate--r+_binary64_2037 pow1/3_binary64_3189 pow-plus_binary64_2159 inv-pow_binary64_1170 exp-diff_binary64_2481 inv-pow_binary64_1507 unpow3_binary64_1151 rem-exp-log_binary64_2136 associate-/l*_binary64_3731 clear-num_binary64_3783 exp-diff_binary64_1807 log-div_binary64_2520 distribute-lft-in_binary64_1376 sqrt-unprod_binary64_2118 rem-cbrt-cube_binary64_100 pow-sqr_binary64_387 pow-flip_binary64_3181 div-sub_binary64_2441 exp-prod_binary64_2148 pow-pow_binary64_1831 frac-2neg_binary64_3795 rem-cbrt-cube_binary64_1785 unpow3_binary64_814 *-commutative_binary64_2706 pow-to-exp_binary64_1828 log-div_binary64_161 associate-+r-_binary64_2035 log-div_binary64_1172 log-pow_binary64_1174 sin-sum_binary64_544 pow-plus_binary64_2496 log-div_binary64_1509 pow2_binary64_2851 pow1/3_binary64_156 prod-exp_binary64_2819 rem-exp-log_binary64_114 frac-sub_binary64_1434 cos-diff_binary64_211 sub-div_binary64 rem-log-exp_binary64_2474 exp-sum_binary64_2479 1-exp_binary64_1466 flip3--_binary64_3114 sin-diff_binary64_1895 tanh-def-c_binary64_937 pow2_binary64_492 sin-mult_binary64_566 rec-exp_binary64_1472 pow-sqr_binary64_2409 inv-pow_binary64_3192 div-sub_binary64_2104 pow-prod-up_binary64_2840 tanh-undef_binary64_943 pow-prod-down_binary64_2841 unswap-sqr_binary64_2741

Calls

464 calls:

84.0ms	(-.f64 (/.f64 (/.f64 2 (sqrt.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))))) (sqrt.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))))) 1)
76.0ms	(*.f64 (/.f64 a2 (cbrt.f64 b2)) (/.f64 (/.f64 a1 (cbrt.f64 b1)) (cbrt.f64 b2)))
61.0ms	(*.f64 (cbrt.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x))) (cbrt.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x))))
52.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)))
48.0ms	(-.f64 (/.f64 1 (+.f64 (pow.f64 (tan.f64 x) 2) 1)) (/.f64 (pow.f64 (tan.f64 x) 2) (+.f64 (pow.f64 (tan.f64 x) 2) 1)))