rewrite14.7s (1.4%)

Algorithm

187×	rewrite-expression-head

Rules

30202×	associate-*l/_binary64_4454
20564×	frac-times_binary64_4521
16262×	flip--_binary64_4486 flip3--_binary64_4515
15576×	cbrt-div_binary64_4543
6060×	associate-*r/_binary64_4453
5958×	sqrt-div_binary64_4528
5952×	frac-add_binary64_4519
1786×	times-frac_binary64_2812
1568×	add-exp-log_binary64
1347×	*-un-lft-identity_binary64_2806
1262×	add-exp-log_binary64_3867
1225×	times-frac_binary64_1448
1108×	prod-exp_binary64
1064×	add-sqr-sqrt_binary64_2828
1040×	times-frac_binary64_766
910×	*-un-lft-identity_binary64_760
885×	times-frac_binary64_1789
878×	add-cube-cbrt_binary64_2841
874×	*-un-lft-identity_binary64_1783
844×	add-sqr-sqrt_binary64_1464
807×	pow1_binary64
799×	*-un-lft-identity_binary64_1442
797×	times-frac_binary64_2130
754×	add-sqr-sqrt_binary64_1805
717×	add-sqr-sqrt_binary64_782
700×	pow-exp_binary64_3897
698×	prod-exp_binary64_3878
685×	add-cbrt-cube_binary64
659×	add-cube-cbrt_binary64_1477
642×	*-un-lft-identity_binary64_2124
619×	pow-prod-down_binary64
599×	div-exp_binary64_3880
585×	times-frac_binary64_3153
550×	*-un-lft-identity_binary64_3147
541×	sqrt-prod_binary64_2822 add-sqr-sqrt_binary64_2146
529×	times-frac_binary64_3494
521×	add-cube-cbrt_binary64_795
512×	add-cube-cbrt_binary64_1818
481×	add-sqr-sqrt_binary64
476×	add-sqr-sqrt_binary64_3169
464×	times-frac_binary64_2471
450×	add-sqr-sqrt_binary64_2487
449×	add-cube-cbrt_binary64_2159 cbrt-unprod_binary64
440×	*-un-lft-identity_binary64_2465
434×	times-frac_binary64_1107
426×	*-un-lft-identity_binary64
418×	associate-*r/_binary64_2407
398×	*-un-lft-identity_binary64_3488
391×	*-un-lft-identity_binary64_4170
381×	add-sqr-sqrt_binary64_3510
377×	add-sqr-sqrt_binary64_1123
371×	add-cube-cbrt_binary64_2500
366×	add-cube-cbrt_binary64_3182
355×	add-sqr-sqrt_binary64_3851
352×	pow-to-exp_binary64_3898
351×	times-frac_binary64
336×	*-un-lft-identity_binary64_3829
332×	add-exp-log_binary64_116 add-exp-log_binary64_2162
326×	add-cube-cbrt_binary64_3523
325×	add-exp-log_binary64_1480
319×	*-un-lft-identity_binary64_1101
313×	add-cube-cbrt_binary64_1136
308×	add-sqr-sqrt_binary64_4192
304×	distribute-lft-neg-in_binary64_2763 distribute-rgt-neg-in_binary64_2764
295×	add-cbrt-cube_binary64_1478
293×	associate-*l/_binary64_2408
287×	add-cbrt-cube_binary64_114
279×	add-cbrt-cube_binary64_2160
274×	add-cube-cbrt_binary64
270×	add-sqr-sqrt_binary64_441
267×	associate-/r*_binary64_2750
244×	add-exp-log_binary64_2503
239×	sqrt-prod_binary64_3163
237×	add-cbrt-cube_binary64_1137 add-exp-log_binary64_1139
232×	add-sqr-sqrt_binary64_100
231×	add-exp-log_binary64_798
229×	distribute-lft-out_binary64_2757
228×	times-frac_binary64_4176 add-exp-log_binary64_1821
223×	*-un-lft-identity_binary64_419
217×	log-prod_binary64_4256
216×	sqrt-div_binary64_2823
213×	add-cbrt-cube_binary64_1819
210×	add-cbrt-cube_binary64_2501
193×	div-exp_binary64
182×	flip--_binary64_2440 flip3--_binary64_2469
181×	add-sqr-sqrt_binary64_4533
180×	times-frac_binary64_425
178×	sqrt-div_binary64_2482
174×	*-un-lft-identity_binary64_4511
171×	add-cube-cbrt_binary64_454 associate-*r*_binary64
170×	*-un-lft-identity_binary64_78
166×	add-cube-cbrt_binary64_113 pow1_binary64_139
165×	sqrt-prod_binary64_1799
162×	times-frac_binary64_3835
158×	add-cube-cbrt_binary64_3864
149×	add-exp-log_binary64_2844
147×	prod-exp_binary64_127
141×	distribute-lft-out_binary64_711
139×	associate-/r*_binary64_2068
137×	associate-*r*_binary64_1382 add-cbrt-cube_binary64_2842
135×	add-cbrt-cube_binary64_796
134×	cbrt-prod_binary64_791
132×	pow1_binary64_2526
128×	associate-*r*_binary64_1041
125×	add-exp-log_binary64_3526
124×	cbrt-unprod_binary64_111 sqrt-prod_binary64_1117 pow1_binary64_1844
123×	difference-of-squares_binary64_1752 cancel-sign-sub-inv_binary64_1749
120×	cbrt-prod_binary64_2496
119×	add-exp-log_binary64_3185 add-cube-cbrt_binary64_4205
118×	associate-/l*_binary64_1728 div-exp_binary64_2175
116×	1-exp_binary64_3873 rec-exp_binary64_3879
115×	log-prod_binary64_3915
114×	associate-/r*_binary64_1386 unpow-prod-down_binary64_3908 frac-add_binary64_2473 sqrt-prod_binary64_3504
113×	frac-times_binary64_2475
110×	add-exp-log_binary64_457
109×	div-inv_binary64_757
108×	times-frac_binary64_84 pow1_binary64_1503
105×	associate-*r*_binary64_2405
104×	div-exp_binary64_1493
103×	pow1_binary64_3549 add-cbrt-cube_binary64_3524
102×	difference-of-squares_binary64_4139
100×	associate-/l*_binary64_705
98×	add-log-exp_binary64_2163
97×	pow1_binary64_3890
96×	associate-*l*_binary64_360 pow1_binary64_2867
95×	pow1_binary64_2185
94×	sqrt-prod_binary64_2481 pow-exp_binary64 associate-/r*_binary64_1727 difference-of-squares_binary64_729 associate-/r/_binary64_2070 add-log-exp_binary64_1822
93×	flip-+_binary64_2780 flip3-+_binary64_2809
92×	difference-of-squares_binary64_2775 add-cbrt-cube_binary64_455 associate-*r*_binary64_18
90×	difference-of-squares_binary64 add-cube-cbrt_binary64_4546 difference-of-squares_binary64_3798
88×	cbrt-undiv_binary64_1476
87×	cbrt-undiv_binary64_2158
86×	associate-/r*_binary64_704 pow1_binary64_821
84×	associate-+r+_binary64_4102
82×	distribute-lft-out_binary64_1734 associate-/l*_binary64_1387 prod-exp_binary64_1491
81×	distribute-lft-out_binary64_3098 add-cbrt-cube_binary64_3183
80×	distribute-neg-frac_binary64_2770 cbrt-prod_binary64_2155
79×	pow1_binary64_4572
78×	div-inv_binary64_1439
77×	add-log-exp_binary64_2504 add-log-exp_binary64_1481 times-frac_binary64_4517
76×	associate-/l*_binary64_2410
75×	pow1_binary64_1162 associate-*l*_binary64_1383 distribute-lft-out--_binary64_1735 associate-/r/_binary64_2752 distribute-lft-out_binary64_4121
74×	cbrt-unprod_binary64_1475 associate-/r/_binary64_1388 distribute-neg-frac_binary64_2429 add-log-exp_binary64_117 div-exp_binary64_811
73×	cancel-sign-sub-inv_binary64_3795
70×	distribute-lft-out_binary64_2075 sqrt-pow1_binary64
69×	associate-*r*_binary64_2746 flip-+_binary64_2098 flip3-+_binary64_2127 div-exp_binary64_1834
68×	associate-/r*_binary64_3432 prod-exp_binary64_809 div-exp_binary64_2516 sqrt-pow1_binary64_3506 prod-exp_binary64_2173 add-log-exp_binary64_2845 div-inv_binary64_2121
67×	associate-*l*_binary64
66×	associate-*l*_binary64_19 pow1_binary64_480 sqrt-prod_binary64_4186 associate-/l*_binary64_2751
65×	cbrt-undiv_binary64_1135 prod-exp_binary64_1150 cbrt-unprod_binary64_1134 cbrt-undiv_binary64 div-exp_binary64_1152
64×	frac-add_binary64_2814
63×	cbrt-undiv_binary64_1817 add-cbrt-cube_binary64_3865 add-log-exp_binary64_3186
62×	add-log-exp_binary64_3868 associate-/r*_binary64_1045 cbrt-unprod_binary64_2157
60×	associate-/l*_binary64_2069 sqrt-div_binary64_3505
59×	associate-/r/_binary64_1729 prod-exp_binary64_2514 associate-*l*_binary64_1724
58×	cancel-sign-sub-inv_binary64_2431 cube-prod_binary64_3857 flip3-+_binary64_2468 flip-+_binary64_2439
57×	add-log-exp_binary64 associate-*l*_binary64_2406 difference-of-squares_binary64_1411
56×	distribute-lft-out--_binary64_3781 log-prod_binary64_3574 associate-*r*_binary64_2064 cbrt-prod_binary64_3178 associate-*l/_binary64_2749
55×	associate-*r/_binary64_2748
54×	div-inv_binary64_1780 pow-prod-down_binary64_149
53×	cbrt-unprod_binary64_2498 cbrt-undiv_binary64_2499
52×	pow-to-exp_binary64 pow1_binary64_3208 add-log-exp_binary64_458
51×	sqrt-prod_binary64_776 distribute-lft-out--_binary64_4122 associate-/l*_binary64_3092
50×	add-exp-log_binary64_4549 flip3--_binary64_2810 difference-of-squares_binary64_4480 flip--_binary64_2781 add-cbrt-cube_binary64_4547 cbrt-prod_binary64 associate-*r*_binary64_1723
49×	add-log-exp_binary64_1140 distribute-lft-out--_binary64 div-exp_binary64_2857
48×	add-log-exp_binary64_799 log-pow_binary64_3918
47×	associate-*l*_binary64_1042 div-exp_binary64_129 associate-*r*_binary64_3087
46×	distribute-lft-neg-in_binary64_2422 distribute-rgt-neg-in_binary64_2423
44×	distribute-lft-neg-in_binary64_717 distribute-rgt-neg-in_binary64_718 associate-*l*_binary64_3770
43×	associate-*r*_binary64_359
42×	exp-prod_binary64_3199 associate-/l/_binary64_2412 div-inv_binary64_2462 distribute-lft-out--_binary64_2758 prod-exp_binary64_1832
41×	associate-/r*_binary64_3091 sqrt-prod_binary64_2140 distribute-lft-out--_binary64_1394
40×	neg-mul-1_binary64_2802 add-log-exp_binary64_4550 cbrt-undiv_binary64_2840 add-log-exp_binary64_3527 cbrt-unprod_binary64_1816
39×	associate-/r*_binary64 flip3--_binary64 log-pow_binary64_3577 flip--_binary64
38×	cbrt-undiv_binary64_794 unpow-prod-down_binary64 div-inv_binary64_2803 add-exp-log_binary64_4208 swap-sqr_binary64_727 unswap-sqr_binary64
37×	associate-/r*_binary64_2409 associate-/l/_binary64_2753 cbrt-prod_binary64_109
36×	difference-of-squares_binary64_388 cancel-sign-sub-inv_binary64_2090 pow1/2_binary64_3568 associate-*l*_binary64_2065 associate-*r*_binary64_700 pow-prod-down_binary64_2536 frac-sub_binary64_2474
35×	cbrt-undiv_binary64_112 cbrt-div_binary64_792
34×	unpow-prod-down_binary64_3226 div-inv_binary64_1098 associate-*l*_binary64_701 cbrt-div_binary64_2156 associate-/r/_binary64_2411
33×	distribute-lft-out--_binary64_712 associate-/l/_binary64_707 prod-exp_binary64_3537 cancel-sign-sub-inv_binary64
32×	associate-/l*_binary64_1046 cbrt-unprod_binary64_3521 sqrt-prod_binary64_435
31×	unpow-prod-down_binary64_2203 flip-+_binary64_1757 sqr-pow_binary64_3801 sqrt-prod_binary64_1458 sqrt-div_binary64_777
30×	flip3-+_binary64_763 flip3-+_binary64_1786 associate-/r/_binary64_3093 flip-+_binary64_734 frac-times_binary64_2816 sqrt-div_binary64_2141 cancel-sign-sub-inv_binary64_44 flip--_binary64_1758 cube-prod_binary64_3175
29×	associate-*r/_binary64_1384 distribute-lft-out_binary64_3439 flip3--_binary64_1787 cbrt-prod_binary64_3519 sqrt-pow1_binary64_2824 difference-of-squares_binary64_2093 prod-exp_binary64_3196 div-inv_binary64_3485
28×	flip-+_binary64_1416 flip3-+_binary64_1445 frac-add_binary64_768 distribute-rgt-in_binary64_2415 distribute-rgt-out_binary64_713 distribute-lft-in_binary64_2414 associate-+r+_binary64_2397
27×	pow1_binary64_4231 flip-+_binary64_3121 difference-of-sqr-1_binary64_1753 associate--l+_binary64_3766 flip3-+_binary64_3150 associate-*r*_binary64_3428 distribute-lft-out--_binary64_4463 div-exp_binary64_3198 associate-*r*_binary64_3769 div-exp_binary64_3539 cbrt-undiv_binary64_3522 distribute-lft-out_binary64_2416 associate--r+_binary64_3765
26×	flip3-+_binary64_3491 associate-/r*_binary64_363 unpow-prod-down_binary64_1862 sqrt-div_binary64_1800 distribute-lft-out_binary64_1393 flip-+_binary64_3462 log-pow_binary64_3236 unswap-sqr_binary64_1410 sqrt-prod_binary64
25×	pow-prod-down_binary64_1854 div-inv_binary64_3144 associate-/l*_binary64_3433 unswap-sqr_binary64_2433 log-div_binary64_3916 associate-*r/_binary64_702 associate-/r/_binary64_706
24×	distribute-lft-neg-in_binary64_1399 flip3--_binary64_2128 log-div_binary64_3575 flip3--_binary64_1446 associate-*r/_binary64 div-exp_binary64_470 flip--_binary64_1417 distribute-lft-out_binary64_3780 flip--_binary64_2099 associate-/r*_binary64_4455 distribute-rgt-neg-in_binary64_1400 associate-/l*_binary64_364
23×	tan-quot_binary64_919 cbrt-unprod_binary64_793
22×	distribute-lft-out--_binary64_2076 cbrt-prod_binary64_1814 associate-/l*_binary64 cancel-sign-sub-inv_binary64_385 associate-*r/_binary64_20 unswap-sqr_binary64_46
21×	associate-*l/_binary64_703 swap-sqr_binary64 cancel-sign-sub-inv_binary64_4477 clear-num_binary64_2123 frac-times_binary64_770 pow1/3_binary64_2547 associate-*r/_binary64_2066 frac-2neg_binary64_2135 add-cbrt-cube_binary64_4206
20×	pow1/2_binary64_2886 frac-2neg_binary64_1794 flip3--_binary64_423 cancel-sign-sub-inv_binary64_1408 flip--_binary64_394 pow-prod-down_binary64_1513 prod-exp_binary64_468 sqrt-div_binary64_3164 difference-of-squares_binary64_3116 sin-mult_binary64_1938 log-prod_binary64_1869 cos-sum_binary64_212 unswap-sqr_binary64_1069 clear-num_binary64_1782 associate-/r*_binary64_3773 sqr-pow_binary64 associate-*l/_binary64
19×	cbrt-undiv_binary64_3181 associate-*l*_binary64_3088 prod-exp_binary64_2855 cbrt-unprod_binary64_2839 pow-prod-down_binary64_4582
18×	sqrt-div_binary64_436 *-commutative_binary64_9 frac-sub_binary64_1792 distribute-lft-neg-in_binary64_376 swap-sqr_binary64_3455 associate-/r/_binary64 unswap-sqr_binary64_3115 sqr-pow_binary64_1755 pow-prod-up_binary64_3558 associate-*r/_binary64_361 cbrt-div_binary64 add-log-exp_binary64_4209 div-inv_binary64 distribute-rgt-neg-in_binary64_377 frac-times_binary64
17×	associate-*l/_binary64_362 div-inv_binary64_3826 distribute-neg-frac_binary64_724 flip--_binary64_3804 unswap-sqr_binary64_387 cbrt-unprod_binary64_452 diff-log_binary64_2216 pow-prod-down_binary64_3559 sub-neg_binary64_1776 unpow-prod-down_binary64_839 flip3--_binary64_3833
16×	associate-/l/_binary64_1730 unswap-sqr_binary64_3797 unpow-prod-down_binary64_157 pow-prod-down_binary64_2877 distribute-rgt-in_binary64 difference-of-squares_binary64_47 pow-prod-down_binary64_1172 distribute-lft-in_binary64 div-sub_binary64_1106 *-commutative_binary64
15×	flip3-+_binary64_3832 diff-log_binary64_1875 *-commutative_binary64_2396 cancel-sign-sub-inv_binary64_3113 associate-*l*_binary64_4111 flip-+_binary64_3803 clear-num_binary64_1441 cbrt-undiv_binary64_453 pow1/3_binary64_2206 frac-2neg_binary64_1453 rem-sqrt-square_binary64_2819 sqr-pow_binary64_732 associate-/r*_binary64_4114 sin-diff_binary64_1237
14×	unpow2_binary64_825 associate-*l*_binary64_3429 unswap-sqr_binary64_2092 div-inv_binary64_416 unpow3_binary64_1849 clear-num_binary64_1100 frac-2neg_binary64_1112 *-commutative_binary64_1373 sub-neg_binary64_2458 associate-/r/_binary64_4116 log-pow_binary64_4259 cbrt-prod_binary64_2837 associate-+l+_binary64_3421
13×	pow-prod-down_binary64_490 pow-prod-down_binary64_2195 unpow-prod-down_binary64_498 associate-/l/_binary64_1389 pow-exp_binary64_828 frac-2neg_binary64_771 sub-neg_binary64_2117 swap-sqr_binary64_1409 cos-atan_binary64_939 clear-num_binary64_759 unswap-sqr_binary64_1751 sqrt-div_binary64 diff-log_binary64_3921
12×	cube-prod_binary64_447 cancel-sign-sub-inv_binary64_2772 *-commutative_binary64_1032 associate-*l/_binary64_21 pow-unpow_binary64_3906 cbrt-unprod_binary64_3180 unpow2_binary64_143 sqr-pow_binary64_50 log-prod_binary64_3233 distribute-rgt-in_binary64_3779 sqrt-pow1_binary64_2483 cube-prod_binary64_1811 distribute-rgt-out--_binary64_373 associate-+r+_binary64_3420 associate-/l*_binary64_4456 associate--l+_binary64_2061 distribute-lft-in_binary64_3778 unpow-prod-down_binary64_2544 sin-sum_binary64_1916 associate--l+_binary64_3425 cbrt-prod_binary64_1132 frac-sub_binary64_2133
11×	frac-2neg_binary64_2476 log-pow_binary64_4600 associate-/l/_binary64_1048 sub-neg_binary64_3822 associate-*r*_binary64_4451 associate-/r/_binary64_365 neg-mul-1_binary64_756 pow1/3_binary64_842 clear-num_binary64_2805 1-exp_binary64_2168 clear-num_binary64_2464 frac-2neg_binary64_2817 flip--_binary64_735 flip3--_binary64_764 rec-exp_binary64_2174 div-inv_binary64_75
10×	exp-prod_binary64_1494 div-sub_binary64_3152 sub-neg_binary64_1435 unswap-sqr_binary64_3456 difference-of-sqr-1_binary64_389 associate-*l*_binary64_4452 log-prod_binary64_4597 cbrt-unprod_binary64_4544 associate-*l/_binary64_1726 associate-*r/_binary64_1725 *-commutative_binary64_350 pow-exp_binary64_146 cos-mult_binary64_1937 frac-times_binary64_2134 cbrt-unprod_binary64_3862 pow-prod-down_binary64_831 pow-sqr_binary64_3461 associate-*r*_binary64_4110 prod-exp_binary64_4560
9×	sqrt-prod_binary64_94 unswap-sqr_binary64_728 sub-neg_binary64 frac-times_binary64_1793 clear-num_binary64_3146 exp-prod_binary64_4563 unpow3_binary64_3895 difference-of-sqr-1_binary64_3117 frac-sub_binary64_87 cube-mult_binary64_3859 pow1/3_binary64 swap-sqr_binary64_4478 cos-diff_binary64_215 log-div_binary64_4257 associate-*r/_binary64_1043 pow-unpow_binary64 pow-unpow_binary64_2201 neg-mul-1_binary64_2461 pow1/2_binary64_2545 frac-2neg_binary64_3158 cbrt-prod_binary64_1473 associate-/l/_binary64_2071 swap-sqr_binary64_2091 sqrt-prod_binary64_4527 sub-neg_binary64_71 associate-/r/_binary64_3434 rem-sqrt-square_binary64_3501
8×	associate-/r/_binary64_4457 associate-/l/_binary64 distribute-rgt-in_binary64_1733 sin-cos-mult_binary64_2621 difference-of-squares_binary64_2434 unpow-prod-down_binary64_3567 flip3-+_binary64_422 distribute-rgt-in_binary64_369 rem-sqrt-square_binary64_1455 distribute-rgt-neg-out_binary64 distribute-lft-in_binary64_1732 log-pow_binary64_1872 rem-log-exp_binary64_4211 *-commutative_binary64_2055 associate-/r/_binary64_3775 associate-/l*_binary64_4115 sqrt-div_binary64_1459 unpow-prod-down_binary64_4249 sub-neg_binary64_2799 diff-log_binary64_1534 frac-times_binary64_3498 cube-prod_binary64_3516 *-commutative_binary64_1714 distribute-lft-in_binary64_368 cos-sum_binary64_2599 neg-mul-1_binary64_1438 distribute-lft-out--_binary64_371 distribute-lft-out--_binary64_2417 sqrt-pow1_binary64_1460 rem-sqrt-square_binary64_2478 pow1/2_binary64_1522 flip-+_binary64_393 pow1/3_binary64_1865 distribute-rgt1-in_binary64_716 sin-sum_binary64_211 distribute-rgt-out_binary64_1736 diff-log_binary64_2898 sum-log_binary64_3238 log-div_binary64_3234 pow-pow_binary64_3901 frac-times_binary64_88
7×	difference-of-squares_binary64_3457 sub-neg_binary64_412 associate-/r/_binary64_1047 pow-to-exp_binary64_829 associate-*l*_binary64_2747 frac-2neg_binary64_3499 swap-sqr_binary64_1750 flip-+_binary64_4485 exp-sum_binary64_3193 flip3--_binary64_4174 flip3-+_binary64_4514 clear-num_binary64 cosh-undef_binary64_3682 associate--r+_binary64_1719 flip-+_binary64_4144 div-inv_binary64_4167 rem-log-exp_binary64_3529 flip3-+_binary64_4173 clear-num_binary64_3487 associate-/l*_binary64_23 +-commutative_binary64_3077 sub-neg_binary64_4504 frac-2neg_binary64 associate-/l*_binary64_3774 distribute-lft-out--_binary64_3440 acos-asin_binary64_3328 flip--_binary64_4145 1-exp_binary64_2509 unswap-sqr_binary64_4138 *-commutative_binary64_691 cbrt-div_binary64_2497 sinh-undef_binary64_3681
6×	cbrt-undiv_binary64_3863 distribute-lft-out--_binary64_3099 difference-of-squares_binary64_1070 prod-exp_binary64_4219 1-exp_binary64_1486 pow-exp_binary64_2192 swap-sqr_binary64_2432 swap-sqr_binary64_3796 frac-sub_binary64 cbrt-prod_binary64_450 cancel-sign-sub-inv_binary64_3454 frac-sub_binary64_3838 associate-*l/_binary64_2067 pow-sqr_binary64_1756 associate--l-_binary64_3767 associate-*r/_binary64_3430 distribute-rgt-neg-in_binary64_4128 cube-prod_binary64_2152 sum-log_binary64_3920 *-commutative_binary64_3760 neg-mul-1_binary64_415 pow-prod-up_binary64_830 exp-prod_binary64_1835 pow-sqr_binary64_733 log-pow_binary64_1531 sum-log_binary64_3579 difference-of-sqr-1_binary64_2094 pow-prod-up_binary64 diff-log_binary64_3239 frac-add_binary64_2132 rec-exp_binary64_1492 associate--r-_binary64_3768 sqr-pow_binary64_3119 pow-prod-up_binary64_1853 cos-diff_binary64_2602
5×	clear-num_binary64_418 flip3-+_binary64 pow-prod-up_binary64_4581 cbrt-div_binary64_2838 distribute-rgt-in_binary64_4461 pow-to-exp_binary64_147 pow2_binary64_841 pow-prod-up_binary64_148 pow1/3_binary64_2888 diff-log_binary64_2557 frac-2neg_binary64_430 log-prod_binary64_1528 associate-+l+_binary64_4103 pow-plus_binary64_141 pow-plus_binary64_823 associate-*l/_binary64_1385 sub-neg_binary64_3140 sqr-pow_binary64_391 distribute-lft-out_binary64_370 distribute-neg-in_binary64_4131 sqr-pow_binary64_2096 *-commutative_binary64_3078 sum-log_binary64_4261 distribute-lft-in_binary64_4460 rem-log-exp_binary64_3870 sum-log_binary64_2215 sqrt-pow1_binary64_437 pow1/2_binary64_499 associate-*r/_binary64_3089 div-exp_binary64_4221 asin-acos_binary64_1963 pow-sqr_binary64_4484 div-sub_binary64_2811 flip-+_binary64
4×	associate-+l-_binary64_3423 associate-*l/_binary64_3431 exp-prod_binary64_4222 pow1/3_binary64_501 pow-exp_binary64_3215 pow1/2_binary64_2204 sqrt-pow1_binary64_1801 distribute-lft-out_binary64_4462 distribute-lft-out_binary64 +-commutative_binary64_2395 rec-exp_binary64 cube-mult_binary64_1813 pow1/2_binary64 div-sub_binary64_765 rem-log-exp_binary64_3188 div-sub_binary64_1447 pow-pow_binary64_2196 exp-sum_binary64_4557 distribute-lft-neg-out_binary64_1060 sin-sum_binary64_2598 cube-mult_binary64_449 1-exp_binary64 sum-log_binary64_2556 1-exp_binary64_1827 unpow2_binary64 sqrt-pow1_binary64_2142 sqr-pow_binary64_4142 rec-exp_binary64_1833 diff-log_binary64_3580 1-exp_binary64_3191 pow-prod-down_binary64_3218 sub-div_binary64_1790 pow1/2_binary64_1863 rec-exp_binary64_3197 sum-log_binary64_510 associate-/l/_binary64_366 associate-+r-_binary64_3081 cube-prod_binary64_4198 clear-num_binary64_4510 sin-mult_binary64_1597 frac-times_binary64_429 flip3-+_binary64_1104 +-commutative_binary64_3418 diff-log_binary64_4603 sum-log_binary64_1874 +-commutative_binary64_2054 flip--_binary64_3122 associate--r+_binary64_3083 rem-sqrt-square_binary64_2137 unpow-prod-down_binary64_2885 flip-+_binary64_1075 sqr-abs_binary64_3503 cos-sum_binary64_1576 pow-flip_binary64_2198 cancel-sign-sub-inv_binary64_1067 pow-to-exp_binary64_2193 frac-2neg_binary64_4522 unpow3_binary64_485 flip3--_binary64_3151 associate-+r+_binary64_10 pow-sqr_binary64 pow1/3_binary64_160 rem-sqrt-square_binary64_1796 associate--r-_binary64_3086 associate-/l/_binary64_4117 cube-div_binary64_2153 diff-log_binary64_511 div-inv_binary64_4508 inv-pow_binary64_2209 cbrt-undiv_binary64_4545 exp-sum_binary64_1488 sub-neg_binary64_3481 div-exp_binary64_4562 exp-sum_binary64_4216
3×	+-commutative_binary64_8 sum-log_binary64_4602 cube-prod_binary64_1129 acos-asin_binary64_1623 1-exp_binary64_463 frac-times_binary64_1452 sin-mult_binary64_2620 cube-mult_binary64_3177 flip--_binary64_53 flip3--_binary64_3492 rem-exp-log_binary64_3187 +-commutative_binary64_1713 inv-pow_binary64_1868 cbrt-div_binary64_451 pow1/3_binary64_4593 pow-plus_binary64_4574 associate-/l/_binary64_3435 flip-+_binary64_52 distribute-frac-neg_binary64_3110 pow-sqr_binary64_51 rec-exp_binary64_2856 swap-sqr_binary64_45 acos-neg_binary64_3330 distribute-rgt-neg-in_binary64_3787 +-commutative_binary64_4441 pow-plus_binary64_1846 pow-flip_binary64_1857 flip--_binary64_3463 pow-unpow_binary64_496 sqrt-prod_binary64_3845 *-commutative_binary64_4442 pow-unpow_binary64_3224 pow-to-exp_binary64_3216 unpow3_binary64_3213 clear-num_binary64_3828 distribute-frac-neg_binary64_1064 distribute-lft-neg-in_binary64_1058 cos-diff_binary64_3284 distribute-lft-out--_binary64_1053 pow1/3_binary64_3570 rec-exp_binary64_2515 pow-unpow_binary64_837 pow2_binary64_159 rec-exp_binary64_469 +-commutative_binary64_4100 1-exp_binary64_2850 distribute-rgt-neg-in_binary64_1059 div-sub_binary64_2470 pow-unpow_binary64_3565 pow1/3_binary64_1524 +-commutative_binary64_3759 pow-unpow_binary64_155 unpow-prod-down_binary64_1180 frac-2neg_binary64_3840 tan-quot_binary64_1260 distribute-frac-neg_binary64_2769 *-commutative_binary64_3419 associate--l-_binary64_2062 pow1/2_binary64_4591 pow-pow_binary64 flip3--_binary64_82 distribute-lft-neg-in_binary64_3786 rem-sqrt-square_binary64_4524 +-commutative_binary64_349 unswap-sqr_binary64_2774 pow2_binary64 pow-exp_binary64_487 cbrt-prod_binary64_4542 sum-log_binary64_169 flip3-+_binary64_81 flip3--_binary64_1105 sqrt-pow1_binary64_4529 flip--_binary64_1076 distribute-lft-neg-out_binary64 rem-sqrt-square_binary64_432
2×	rem-log-exp_binary64_4552 neg-log_binary64_4263 pow-prod-down_binary64_3900 pow-to-exp_binary64_4239 cos-mult_binary64_2619 cbrt-div_binary64_110 un-div-inv_binary64_2463 associate-+r-_binary64_4104 sum-log_binary64_851 div-sub_binary64_1788 pow-plus_binary64_3551 associate--l-_binary64_3426 exp-sum_binary64_1829 sum-log_binary64_1533 diff-log_binary64 *-commutative_binary64_2737 pow-pow_binary64_491 frac-add_binary64_1791 pow-prod-up_binary64_2194 sub-neg_binary64_1094 diff-log_binary64_170 rem-exp-log_binary64_1482 frac-2neg_binary64_89 distribute-rgt-in_binary64_28 clear-num_binary64_4169 +-commutative_binary64_1372 pow-flip_binary64_2539 cbrt-unprod_binary64_4203 frac-add_binary64 clear-num_binary64_77 sin-diff_binary64_214 cube-mult_binary64_2154 frac-2neg_binary64_4181 pow-exp_binary64_4238 distribute-rgt1-in_binary64_1739 pow-prod-up_binary64_2535 frac-sub_binary64_428 log-div_binary64_1870 associate-+l-_binary64_4105 distribute-frac-neg_binary64_2428 pow-pow_binary64_150 cube-div_binary64_3176 associate-+r+_binary64_3761 rem-log-exp_binary64_1824 distribute-lft-in_binary64_27 associate-/r*_binary64_22 exp-diff_binary64_1490 pow-to-exp_binary64_488 +-commutative_binary64_690 pow2_binary64_3569 unpow3_binary64_2190 diff-log_binary64_1193 frac-add_binary64_3837 exp-diff_binary64_1831 unpow3_binary64_3554 pow-plus_binary64 asin-acos_binary64_1622 cbrt-undiv_binary64_4204 sum-log_binary64_2897 associate-*r/_binary64_3771 sin-mult_binary64_233 distribute-rgt-in_binary64_2074 sinh-def_binary64_3673 unswap-sqr_binary64_4479 rem-sqrt-square_binary64 *-commutative_binary64_4101 neg-sub0_binary64_2801 sqrt-div_binary64_3846 un-div-inv_binary64_1781 pow-sqr_binary64_2097 associate-+r-_binary64_3422 cube-mult_binary64_3518 rem-cube-cbrt_binary64_3170 associate--l+_binary64_2402 div-sub_binary64_2129 inv-pow_binary64_3914 associate-+l+_binary64_2057 pow2_binary64_4592 distribute-lft-out--_binary64_30 sqr-pow_binary64_3460 pow-sqr_binary64_2438 sub-div_binary64_85 neg-sub0_binary64_4165 pow-flip_binary64_3903 pow2_binary64_1864 distribute-lft-in_binary64_2073 +-commutative_binary64_2736 rem-cube-cbrt_binary64_3852 neg-sub0_binary64_2460 sin-cos-mult_binary64_234
1×	cbrt-div_binary64_3179 sqr-abs_binary64_93 pow-to-exp_binary64_3557 inv-pow_binary64_1527 sinh-def_binary64_4014 sqr-cos-a_binary64_1932 rem-cbrt-cube_binary64_784 distribute-lft-neg-out_binary64_2424 distribute-lft-neg-out_binary64_3788 pow-exp_binary64_3556 rem-sqrt-square_binary64_3842 associate-+r-_binary64_3763 pow1/3_binary64_3229 rem-square-sqrt_binary64_3500 distribute-frac-neg_binary64_723 cancel-sign-sub-inv_binary64_726 unpow3_binary64_826 pow1/2_binary64_840 pow-prod-up_binary64_3899 un-div-inv_binary64_1440 associate-*l/_binary64_3090 cube-mult_binary64_4200 neg-mul-1_binary64_3825 rem-log-exp_binary64_1483 rem-cbrt-cube_binary64_2148 unpow2_binary64_484 rem-cube-cbrt_binary64_3511 associate--l+_binary64_1720 inv-pow_binary64_504 cube-prod_binary64_788 pow-plus_binary64_2528 log-div_binary64_4598 difference-of-sqr-1_binary64 div-sub_binary64_3493 tanh-def-a_binary64_3675 associate-/l/_binary64_3094 tanh-def-c_binary64_3677 rem-cbrt-cube_binary64_1125 rem-cube-cbrt_binary64_2147 cos-diff_binary64_1579 sum-log_binary64 pow-flip_binary64_1516 neg-sub0_binary64_755 associate--r-_binary64_1381 pow-flip_binary64 tanh-def-b_binary64_3676 cos-sum_binary64_3281 rem-sqrt-square_binary64_773 cube-mult_binary64_1131 exp-diff_binary64_3195 distribute-lft-in_binary64_3096 distribute-rgt-neg-out_binary64_2766 pow-plus_binary64_2187 cos-atan_binary64_1280 rem-cbrt-cube_binary64_3512 div-sub_binary64 unpow3_binary64_4236 pow-flip_binary64_2880 sin-diff_binary64_2601 rem-cbrt-cube_binary64_3171 cube-mult_binary64_790 unpow3_binary64_1167 pow1/2_binary64_3909 sinh-undef_binary64_4022 pow2_binary64_1523 diff-log_binary64_852 associate--r+_binary64_2060 frac-times_binary64_3157 pow-flip_binary64_493 inv-pow_binary64 atan-neg_binary64_1285 pow1/3_binary64_1183 cube-div_binary64_789 pow2_binary64_2546 tanh-undef_binary64_3683 inv-pow_binary64_2891 neg-mul-1_binary64_1097 unpow1/3_binary64_2191 pow-sqr_binary64_3802 sqrt-unprod_binary64_439 pow-to-exp_binary64_1852 pow-prod-up_binary64_1512 associate--l+_binary64_3084 associate--r+_binary64_355 pow-plus_binary64_3892 inv-pow_binary64_2550 sqr-abs_binary64 pow-exp_binary64_1851 sqrt-pow1_binary64_3847 rem-exp-log_binary64_4210 sub-neg_binary64_753 pow2_binary64_3910 distribute-rgt-in_binary64_3097 log-div_binary64_1529 pow-plus_binary64_1505 exp-diff_binary64_4559 sqr-pow_binary64_1073 pow2_binary64_2205 sqrt-pow1_binary64_778 mul0-rgt_binary64 difference-cubes_binary64_3831 un-div-inv_binary64 pow-pow_binary64_3219 un-div-inv_binary64_758 pow-pow_binary64_3560 pow-sqr_binary64_1415 sqrt-unprod_binary64_3508 pow-pow_binary64_832 associate--l+_binary64 div-sub_binary64_424 cos-neg_binary64_1232 cosh-def_binary64_3674

Calls

655 calls:

546.0ms	(sqrt.f64 (+.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))))) (cbrt.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))))) (cbrt.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
275.0ms	(-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) PI.f64)) (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) PI.f64)) (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))))) (*.f64 x-scale y-scale)) 2))))
80.0ms	(-.f64 (/.f64 (/.f64 2 (sqrt.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))))) (sqrt.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))))) 1)
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))))
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)))