rewrite9.3s (1.1%)

Algorithm

196×	rewrite-expression-head

Rules

1677×	add-exp-log_binary64
1354×	*-un-lft-identity_binary64_2806
1250×	add-exp-log_binary64_3867
1167×	prod-exp_binary64
948×	times-frac_binary64_3494
939×	add-sqr-sqrt_binary64_2828
799×	times-frac_binary64_2812
775×	times-frac_binary64_84
751×	add-cbrt-cube_binary64
739×	times-frac_binary64_1448
727×	*-un-lft-identity_binary64_2124
716×	*-un-lft-identity_binary64_1442
704×	*-un-lft-identity_binary64_760
693×	add-sqr-sqrt_binary64_782
692×	pow-exp_binary64_3897 *-un-lft-identity_binary64_3488
689×	prod-exp_binary64_3878
659×	add-sqr-sqrt_binary64_3510
646×	add-sqr-sqrt_binary64_1464
644×	times-frac_binary64_766
620×	add-cube-cbrt_binary64_3523
599×	div-exp_binary64_3880
538×	*-un-lft-identity_binary64_78
512×	*-un-lft-identity_binary64
494×	times-frac_binary64
484×	add-sqr-sqrt_binary64_100
483×	add-sqr-sqrt_binary64
478×	cbrt-unprod_binary64 sqrt-div_binary64_3505
458×	add-cube-cbrt_binary64_795
452×	associate-*r/_binary64_3430
448×	times-frac_binary64_2130
432×	*-un-lft-identity_binary64_3829
428×	add-cube-cbrt_binary64_1477
410×	add-cube-cbrt_binary64_113
378×	add-sqr-sqrt_binary64_3851
377×	add-sqr-sqrt_binary64_2146
373×	associate-*l/_binary64_3431
370×	pow1_binary64
367×	add-cube-cbrt_binary64_2841
358×	*-un-lft-identity_binary64_3147
344×	pow-to-exp_binary64_3898
339×	unpow-prod-down_binary64_2885
336×	times-frac_binary64_1107
334×	cube-prod_binary64_2834
328×	add-sqr-sqrt_binary64_3169
317×	*-un-lft-identity_binary64_2465
315×	add-exp-log_binary64_1821
309×	add-sqr-sqrt_binary64_441
305×	add-exp-log_binary64_116
293×	*-un-lft-identity_binary64_419
291×	add-cube-cbrt_binary64
288×	add-cube-cbrt_binary64_2159
281×	add-cube-cbrt_binary64_3182
280×	cancel-sign-sub-inv_binary64_2772
278×	sqrt-prod_binary64_776
274×	add-sqr-sqrt_binary64_2487
271×	times-frac_binary64_3153
270×	add-cbrt-cube_binary64_1819
261×	add-cbrt-cube_binary64_114
259×	log-prod_binary64_1528 sqrt-prod_binary64_3504
253×	distribute-lft-out--_binary64_2758
251×	add-sqr-sqrt_binary64_1805
250×	difference-of-squares_binary64_2775
238×	add-exp-log_binary64_457
237×	add-sqr-sqrt_binary64_1123
232×	pow-prod-down_binary64 add-cbrt-cube_binary64_455
229×	frac-times_binary64_3498
219×	div-exp_binary64
213×	*-un-lft-identity_binary64_1783
211×	*-un-lft-identity_binary64_1101
208×	add-exp-log_binary64_1139
207×	add-cube-cbrt_binary64_454
204×	add-exp-log_binary64_2162
201×	add-cube-cbrt_binary64_1136 pow1_binary64_1844
196×	add-exp-log_binary64_798
192×	flip3--_binary64_3492 flip--_binary64_3463
190×	add-exp-log_binary64_3526 add-cbrt-cube_binary64_2160
189×	times-frac_binary64_425 frac-times_binary64
187×	cbrt-prod_binary64_2837
186×	distribute-lft-out_binary64_2757
185×	times-frac_binary64_3835 add-cube-cbrt_binary64_1818
182×	times-frac_binary64_1789 add-cube-cbrt_binary64_3864
180×	distribute-lft-out_binary64_2075
179×	add-exp-log_binary64_2503
177×	associate-*r*_binary64_700
174×	add-exp-log_binary64_1480
172×	flip3--_binary64 flip--_binary64
170×	cbrt-div_binary64 add-cube-cbrt_binary64_2500
168×	cbrt-prod_binary64_3178
167×	*-un-lft-identity_binary64_4170
166×	add-cbrt-cube_binary64_2501 add-cbrt-cube_binary64_796
164×	times-frac_binary64_2471 add-cbrt-cube_binary64_3524
162×	add-exp-log_binary64_2844
159×	add-cbrt-cube_binary64_2842
157×	add-cbrt-cube_binary64_1478
155×	associate-*l/_binary64_1726
154×	add-sqr-sqrt_binary64_4192
152×	sqrt-prod_binary64_3163
150×	pow1_binary64_3549
145×	times-frac_binary64_4176 associate-*r*_binary64_3087
142×	prod-exp_binary64_1832
138×	associate-/l/_binary64_3435
136×	distribute-neg-frac_binary64_3452
130×	difference-of-squares_binary64_1411
125×	flip3-+_binary64_3491 flip-+_binary64_3462
124×	flip3--_binary64_1787 flip--_binary64_1758 pow1_binary64_139
121×	sqrt-prod_binary64_1458
119×	cbrt-unprod_binary64_1816
116×	1-exp_binary64_3873 rec-exp_binary64_3879
115×	pow1_binary64_3208 add-cube-cbrt_binary64_4205
114×	sqrt-div_binary64_3164 associate-/r*_binary64_22 pow1_binary64_821
113×	log-prod_binary64_3915 pow1_binary64_2867
108×	cbrt-prod_binary64_2155 pow1_binary64_2526 pow1_binary64_1503
107×	distribute-lft-out--_binary64
106×	pow1_binary64_480
105×	add-cbrt-cube_binary64_1137 difference-of-squares_binary64_3798
104×	associate-*l*_binary64_701 pow1_binary64_2185
103×	div-exp_binary64_129
96×	associate-/r/_binary64_24 associate-*r*_binary64_18
95×	pow-exp_binary64
94×	sqrt-div_binary64_1800 add-log-exp_binary64_458
92×	pow1_binary64_3890
91×	cancel-sign-sub-inv_binary64_3795 associate-/r*_binary64_3432
90×	distribute-rgt-neg-in_binary64_3105 distribute-lft-neg-in_binary64_3104
89×	difference-of-squares_binary64 associate-/l*_binary64_3433 associate-*l*_binary64_360
88×	add-log-exp_binary64_117 log-prod_binary64_2551
86×	add-log-exp_binary64_2845
84×	cbrt-undiv_binary64
83×	associate-*r*_binary64_2064
82×	associate-*r*_binary64
81×	add-exp-log_binary64_3185 prod-exp_binary64_1150
80×	distribute-lft-out_binary64_711 associate-*l/_binary64
79×	distribute-lft-out_binary64_1393
78×	frac-times_binary64_1793 associate-*r/_binary64 add-log-exp_binary64_1822
77×	associate-/r*_binary64_1386 add-log-exp_binary64_799
75×	add-cbrt-cube_binary64_3183 cbrt-undiv_binary64_112
74×	associate-*l*_binary64
72×	associate-/l*_binary64_705
71×	add-log-exp_binary64 pow-prod-down_binary64_1854 add-cbrt-cube_binary64_3865 difference-of-squares_binary64_729 add-log-exp_binary64_2163
70×	add-log-exp_binary64_2504
69×	add-log-exp_binary64_3186 swap-sqr_binary64_2091
68×	distribute-rgt-neg-in_binary64_3446 distribute-lft-neg-in_binary64_3445
67×	distribute-lft-out--_binary64_3781 prod-exp_binary64_127 associate-*r*_binary64_359 associate-*l*_binary64_2065
64×	sqrt-div_binary64_436 frac-add_binary64_3496 frac-add_binary64_1791
63×	difference-of-sqr-1_binary64_2776 associate-*r/_binary64_1725 associate-+l+_binary64_1375 associate-/r*_binary64_704 associate-*r/_binary64_3089
62×	add-log-exp_binary64_3868 div-inv_binary64_75
61×	cbrt-unprod_binary64_111
59×	prod-exp_binary64_468 add-log-exp_binary64_1481 div-exp_binary64_1152
58×	cbrt-unprod_binary64_452 add-log-exp_binary64_3527 distribute-lft-out_binary64_29
57×	associate-*l*_binary64_2747 exp-prod_binary64_2176
56×	div-exp_binary64_470 cbrt-undiv_binary64_453 associate-*r*_binary64_1723
55×	associate-*l/_binary64_3090 unpow-prod-down_binary64_4249 div-exp_binary64_2175 sqrt-prod_binary64
54×	associate-*l*_binary64_1042 cancel-sign-sub-inv_binary64
53×	log-prod_binary64_3574 associate-/l*_binary64_23
52×	associate--l+_binary64_3766 associate-*r*_binary64_1041 associate-*r*_binary64_3428
51×	flip3--_binary64_423 prod-exp_binary64_809 cancel-sign-sub-inv_binary64_2431 flip--_binary64_394 prod-exp_binary64_3537 pow-prod-down_binary64_3559
50×	prod-exp_binary64_1491
49×	distribute-lft-out--_binary64_2417 prod-exp_binary64_2514
48×	cbrt-undiv_binary64_2158 pow-to-exp_binary64 log-pow_binary64_2554
47×	flip-+_binary64_52 sqrt-prod_binary64_1117 cbrt-unprod_binary64_2498 sqrt-prod_binary64_1799 flip3-+_binary64_81
46×	unswap-sqr_binary64_728 cbrt-unprod_binary64_1475 flip-+_binary64_3121 flip3-+_binary64_3150 cancel-sign-sub-inv_binary64_4136 div-inv_binary64_2121 associate-+r+_binary64_1374
45×	distribute-lft-out_binary64_3098 cbrt-unprod_binary64_2157 cancel-sign-sub-inv_binary64_3454 prod-exp_binary64_2173 div-exp_binary64_1834 associate-/r*_binary64_2068 associate-/l*_binary64_364
44×	associate-*r*_binary64_1382 pow1_binary64_1162 distribute-lft-neg-in_binary64_1058 distribute-lft-out_binary64_3780 distribute-rgt-neg-in_binary64_1059 div-inv_binary64
43×	add-exp-log_binary64_4208 cbrt-prod_binary64
42×	difference-of-squares_binary64_2434 associate-*l*_binary64_1383 associate-+r+_binary64_4102 sqr-pow_binary64_2778 log-pow_binary64_3918 div-inv_binary64_3485
41×	flip--_binary64_3122 flip3--_binary64_3151
40×	prod-exp_binary64_2855 cbrt-unprod_binary64_3521 cbrt-unprod_binary64_2839 add-log-exp_binary64_4209 distribute-lft-out--_binary64_1394
39×	cbrt-div_binary64_2838 cube-prod_binary64_4198 associate-/l*_binary64_1728 div-exp_binary64_3539
38×	associate-/r*_binary64 div-exp_binary64_2516 associate-/r*_binary64_363 associate-/l*_binary64_3092 associate-/r/_binary64_2752 distribute-lft-out_binary64_2416
37×	sqrt-prod_binary64_94 associate-/r*_binary64_1045 associate-/r/_binary64_706
36×	associate-*l*_binary64_19 frac-sub_binary64_3497 unpow-prod-down_binary64_3908 associate-*r*_binary64_2405
35×	sqrt-prod_binary64_2822 associate-/r*_binary64_2750 associate-*r/_binary64_361 cbrt-undiv_binary64_2499 cbrt-div_binary64_2156 log-div_binary64_3916 cbrt-unprod_binary64_793 sqrt-prod_binary64_435
34×	associate-*r*_binary64_2746 sqrt-prod_binary64_2481 difference-of-squares_binary64_388 log-pow_binary64_2213 cbrt-prod_binary64_450 frac-times_binary64_3157 associate-/r*_binary64_3773 cbrt-undiv_binary64_3522 associate--r+_binary64_3765
33×	cbrt-undiv_binary64_1817 div-inv_binary64_1439 distribute-lft-out_binary64_370
32×	unpow-prod-down_binary64_498 flip3--_binary64_2810 log-prod_binary64 div-exp_binary64_1493 flip--_binary64_2781
31×	flip-+_binary64_2780 flip3-+_binary64_2809 associate-/r*_binary64_4114 log-pow_binary64_1531 div-exp_binary64_811
30×	cbrt-unprod_binary64_1134 unpow-prod-down_binary64_839
29×	cbrt-undiv_binary64_1476 flip--_binary64_3804 unpow-prod-down_binary64 sqrt-div_binary64_1118 associate-/l*_binary64_2069 pow-prod-down_binary64_1513 associate-*l*_binary64_1724 flip3--_binary64_3833
28×	flip3-+_binary64 cbrt-undiv_binary64_794 associate-*l*_binary64_3429 add-log-exp_binary64_1140 div-inv_binary64_2803 sqrt-pow1_binary64_3506 associate-/l*_binary64_1046 cancel-sign-sub-inv_binary64_385 frac-add_binary64_3155 unpow-prod-down_binary64_1180 div-inv_binary64_757 flip-+_binary64
27×	div-inv_binary64_2462
26×	distribute-lft-out--_binary64_712 distribute-lft-out_binary64_3439 distribute-neg-frac_binary64_3111 distribute-rgt-in_binary64_3779 associate-/l/_binary64_3094 sqrt-pow1_binary64_3165 distribute-lft-in_binary64_3778 associate-/l*_binary64_2410
25×	associate-*l/_binary64_703 flip3-+_binary64_763 associate-*l*_binary64_3770 associate-/l*_binary64 flip-+_binary64_734 distribute-rgt-in_binary64_3438 distribute-lft-in_binary64_3437 flip--_binary64_735 add-cbrt-cube_binary64_4206 flip3--_binary64_764
24×	flip3-+_binary64_3832 log-div_binary64_3575 pow1/3_binary64_3229 cancel-sign-sub-inv_binary64_726 flip-+_binary64_3803 sqrt-div_binary64_1459 div-inv_binary64_1098 distribute-rgt-in_binary64 associate-*r*_binary64_3769 cbrt-div_binary64_2497 unpow-prod-down_binary64_1521 distribute-lft-in_binary64
23×	cbrt-div_binary64_3179 difference-of-squares_binary64_1752 cbrt-undiv_binary64_1135 div-inv_binary64_416 associate-*l*_binary64_3088 cbrt-undiv_binary64_2840 pow-prod-down_binary64_2877 div-exp_binary64_2857 *-commutative_binary64_691
22×	unswap-sqr_binary64_2092 flip-+_binary64_2098 pow-prod-down_binary64_3218 flip3-+_binary64_2127 associate-/l*_binary64_1387 associate-*l*_binary64_2406 log-pow_binary64 sqrt-div_binary64_2823 pow-prod-down_binary64_149 associate-/l*_binary64_2751 sqrt-div_binary64_777 cancel-sign-sub-inv_binary64_1749 flip-+_binary64_2439
21×	exp-prod_binary64_1494 associate-/l/_binary64_707 log-pow_binary64_3577 log-prod_binary64_4256 sqr-pow_binary64_4142 associate-/r/_binary64_2070 flip3-+_binary64_2468 cbrt-prod_binary64_2496
20×	associate-/r/_binary64_1388 unswap-sqr_binary64_387 associate-/r*_binary64_2409 associate-/r/_binary64_3775 associate-/r/_binary64_365 sqr-pow_binary64_1414 tan-quot_binary64_919 unswap-sqr_binary64_46 cube-prod_binary64_1470 cube-prod_binary64 sqr-pow_binary64_1073 sqrt-div_binary64
19×	div-inv_binary64_3826 pow1_binary64_4231 cancel-sign-sub-inv_binary64_2090 exp-prod_binary64_2517 associate-/l/_binary64_1048 sub-neg_binary64_3822 difference-of-squares_binary64_2093 associate-*r/_binary64_702 unswap-sqr_binary64_1069 associate-/l*_binary64_3774 pow-prod-down_binary64_831
18×	associate-/l/_binary64 cube-prod_binary64_447 flip3-+_binary64_1104 flip-+_binary64_1075 cbrt-div_binary64_3520
17×	pow1/2_binary64_3227 exp-sum_binary64_2511 flip3--_binary64_1446 div-sub_binary64_3493 associate-*r/_binary64_1043 flip--_binary64_1417 distribute-neg-frac_binary64_1065 distribute-lft-out_binary64_4121
16×	log-div_binary64_2552 unpow-prod-down_binary64_3567 cancel-sign-sub-inv_binary64_1408 neg-mul-1_binary64_3484 unpow2_binary64_1166 frac-sub_binary64_428 pow-exp_binary64_1169 associate-/r/_binary64_2411 frac-add_binary64_1109 associate--r-_binary64_3768
15×	associate-*l/_binary64_362 pow-prod-down_binary64_490 div-sub_binary64_3152 sub-neg_binary64_412 flip--_binary64_53 unswap-sqr_binary64_3115 pow1/3_binary64_2888 associate-*l*_binary64_4111 distribute-lft-out_binary64 flip--_binary64_2440 associate-/l/_binary64_2753 frac-2neg_binary64_771 cos-atan_binary64_1962 clear-num_binary64_759 associate-*r/_binary64_2748 flip3--_binary64_82 unswap-sqr_binary64_1410
14×	sub-neg_binary64 log-prod_binary64_2210 flip3-+_binary64_422 pow-prod-up_binary64_148 div-inv_binary64_1780 neg-mul-1_binary64_3143 frac-sub_binary64 distribute-lft-out--_binary64_1735 sin-mult_binary64_2961 flip3--_binary64_2469 frac-times_binary64_770 unswap-sqr_binary64 flip-+_binary64_393 sqr-pow_binary64_732 pow-prod-down_binary64_2536 cancel-sign-sub-inv_binary64_44 associate-*l/_binary64_2749 associate-/r/_binary64_3434 *-commutative_binary64
13×	unpow-prod-down_binary64_3226 pow-prod-down_binary64_2195 sqrt-pow1_binary64_1801 frac-2neg_binary64_89 clear-num_binary64_77 sin-diff_binary64_3283 difference-of-squares_binary64_3116 *-commutative_binary64_1714 pow1/3_binary64_2547 frac-times_binary64_2816 rem-sqrt-square_binary64_3160 frac-add_binary64_2814 cos-mult_binary64_2960 distribute-lft-out--_binary64_3440 associate--l+_binary64_3425 log-div_binary64_1529 diff-log_binary64_511 frac-add_binary64_2132
12×	associate--r+_binary64_2401 *-commutative_binary64_9 flip3--_binary64_2128 frac-2neg_binary64_3499 flip-+_binary64_1416 sqrt-pow1_binary64_96 flip3-+_binary64_1445 cbrt-prod_binary64_3519 sin-sum_binary64_2598 exp-prod_binary64_3881 cube-mult_binary64_4200 cube-prod_binary64_788 sqrt-prod_binary64_2140 frac-times_binary64_429 sub-neg_binary64_2799 swap-sqr_binary64_727 clear-num_binary64_3487 unpow3_binary64_4236 flip--_binary64_2099 cos-sum_binary64_2258 difference-of-squares_binary64_47 frac-sub_binary64_2815 log-div_binary64 frac-times_binary64_2134 pow1/2_binary64_158 diff-log_binary64_3921
11×	difference-of-squares_binary64_3457 clear-num_binary64_418 *-commutative_binary64_1032 unpow-prod-down_binary64_157 distribute-rgt-neg-out_binary64 *-commutative_binary64_2737 frac-2neg_binary64_430 pow1/3_binary64 pow1/2_binary64_3568 sqr-pow_binary64_391 difference-of-sqr-1_binary64_730 *-commutative_binary64_1373 exp-sum_binary64_3875 clear-num_binary64_2123 *-commutative_binary64_350 neg-mul-1_binary64_1097 associate-*l/_binary64_1044 unswap-sqr_binary64_2774 diff-log_binary64_2898 frac-2neg_binary64_2135
10×	cbrt-undiv_binary64_3863 associate-/r/_binary64_1047 diff-log_binary64_170 rem-log-exp_binary64_1483 unpow2_binary64_484 associate-/r*_binary64_3091 pow-flip_binary64_2539 *-commutative_binary64_2055 distribute-rgt-in_binary64_710 distribute-lft-out--_binary64_4122 sub-neg_binary64_2458 pow1/3_binary64_2206 distribute-lft-out--_binary64_371 difference-of-squares_binary64_4139 associate-*r/_binary64_3771 distribute-lft-in_binary64_709 pow-prod-down_binary64_1172 pow-to-exp_binary64_1170 sub-neg_binary64_1776 pow-exp_binary64_1851 sub-neg_binary64_753 sub-neg_binary64_71 associate-*r*_binary64_4110 sqr-pow_binary64 exp-sum_binary64_1488
9×	frac-sub_binary64_1792 pow1/2_binary64_2886 distribute-lft-out--_binary64_2076 sqrt-pow1_binary64_2824 log-div_binary64_4257 pow1/2_binary64_1863 associate-/r*_binary64_1727 associate-/l*_binary64_4115 div-inv_binary64_3144 distribute-lft-neg-out_binary64_2765 pow1/3_binary64_3570 flip-+_binary64_4144 associate-+r+_binary64_3420 pow-unpow_binary64_2883 flip3-+_binary64_4173 rem-sqrt-square_binary64_2819 sum-log_binary64_4261 associate-*r/_binary64_2066 clear-num_binary64_2805 cbrt-unprod_binary64_3862 distribute-neg-in_binary64_1403 cube-prod_binary64_3175 div-exp_binary64_4221 sub-neg_binary64_3481 frac-2neg_binary64_2817 associate-*r/_binary64_2407
8×	pow1/3_binary64_501 diff-log_binary64_1875 pow-to-exp_binary64_829 rec-exp_binary64_128 sin-sum_binary64_2257 diff-log_binary64_2557 *-commutative_binary64_2396 clear-num_binary64 pow-exp_binary64_828 1-exp_binary64_122 associate-/r/_binary64_3093 frac-2neg_binary64_2476 swap-sqr_binary64_3796 associate--l-_binary64_3767 rem-log-exp_binary64_3529 diff-log_binary64_852 frac-times_binary64_1111 frac-2neg_binary64 cosh-undef_binary64_954 distribute-frac-neg_binary64_2769 sum-log_binary64_2215 sqrt-pow1_binary64_437 *-commutative_binary64_3419 cos-sum_binary64_2940 pow1/2_binary64_499 unswap-sqr_binary64_1751 clear-num_binary64_2464 cube-div_binary64_2835 acos-asin_binary64_3669 pow-prod-up_binary64_1853
7×	cbrt-unprod_binary64_3180 associate-/l/_binary64_1389 difference-of-sqr-1_binary64_2435 unpow2_binary64 cos-mult_binary64_1596 clear-num_binary64_1441 clear-num_binary64_3828 associate-*l/_binary64_2067 frac-2neg_binary64_1453 unswap-sqr_binary64_2433 cos-diff_binary64_2261 +-commutative_binary64_2054 prod-exp_binary64_3196 sub-neg_binary64_2117 frac-2neg_binary64_3840 sinh-undef_binary64_953 distribute-frac-neg_binary64_3451 rem-sqrt-square_binary64_1796 associate-+l+_binary64_3421 rem-log-exp_binary64_2506 unswap-sqr_binary64_4138 sin-cos-mult_binary64_2962 rem-sqrt-square_binary64_432
6×	cos-diff_binary64_2943 associate-*r/_binary64_1384 frac-times_binary64_1452 sum-log_binary64_1533 pow-unpow_binary64_3906 sub-neg_binary64_1435 rem-sqrt-square_binary64_91 swap-sqr_binary64_386 unswap-sqr_binary64_3456 frac-sub_binary64_4179 prod-exp_binary64_4219 swap-sqr_binary64_3114 pow-plus_binary64_1846 rem-log-exp_binary64 associate-/l/_binary64_25 associate-/l/_binary64_2412 diff-log_binary64_4262 clear-num_binary64_1100 frac-2neg_binary64_1112 pow-unpow_binary64_496 distribute-rgt-out_binary64_2418 associate-/l/_binary64_366 pow-unpow_binary64_837 associate-+r+_binary64_2056 tan-quot_binary64_2965 pow-sqr_binary64_1756 distribute-rgt-in_binary64_2415 swap-sqr_binary64_2773 sqrt-div_binary64_95 distribute-lft-in_binary64_2414 pow-unpow_binary64_155 rem-log-exp_binary64_3870 distribute-lft-out--_binary64_30 associate-/l/_binary64_2071 pow-pow_binary64_3901
5×	+-commutative_binary64_8 pow-prod-down_binary64_3900 pow-to-exp_binary64_4239 pow-exp_binary64_2874 acos-asin_binary64_1623 frac-2neg_binary64_1794 unswap-sqr_binary64_3797 sum-log_binary64_851 cbrt-undiv_binary64_3181 diff-log_binary64 cancel-sign-sub-inv_binary64_3113 pow-pow_binary64_491 pow-prod-up_binary64_2194 sum-log_binary64_2556 sqr-pow_binary64_50 unpow3_binary64_2872 associate-+l+_binary64_2398 +-commutative_binary64_1372 associate-*l/_binary64_1385 pow-exp_binary64_4238 sub-neg_binary64_3140 *-commutative_binary64_3078 sqrt-pow1_binary64_1460 +-commutative_binary64_3759 pow1/2_binary64_1522 sum-log_binary64_3920 *-commutative_binary64_3760 clear-num_binary64_1782 associate-*r/_binary64_20 cube-mult_binary64_2836 div-exp_binary64_3198 pow-sqr_binary64_2097 pow-to-exp_binary64_1852 associate-+r-_binary64_3422 asin-acos_binary64_2645 associate--l+_binary64_2402 sum-log_binary64_3579 1-exp_binary64_2168 diff-log_binary64_3239 exp-diff_binary64_2513 sum-log_binary64_169 rem-sqrt-square_binary64_3501 rec-exp_binary64_2174
4×	associate-/l/_binary64_1730 cube-prod_binary64_1129 sin-mult_binary64_2620 distribute-rgt-in_binary64_1733 pow2_binary64_841 cos-diff_binary64_3625 swap-sqr_binary64 distribute-lft-in_binary64_1732 distribute-frac-neg_binary64_3110 +-commutative_binary64_2395 div-sub_binary64_765 flip3-+_binary64_1786 flip-+_binary64_1757 pow-plus_binary64_823 sin-sum_binary64_2939 frac-times_binary64_3839 rem-cube-cbrt_binary64_2829 div-inv_binary64_4167 +-commutative_binary64_3418 diff-log_binary64_1534 +-commutative_binary64_4100 pow-plus_binary64_2187 exp-diff_binary64_1490 cosh-undef_binary64_1295 asin-acos_binary64_1622 sum-log_binary64_2897 cos-sum_binary64_1576 pow-flip_binary64_2198 distribute-rgt-neg-in_binary64_2423 associate--l+_binary64_2743 pow-prod-up_binary64_830 pow-sqr_binary64_733 distribute-rgt-neg-in_binary64_1400 frac-times_binary64_2475 distribute-lft-out_binary64_1052 difference-of-sqr-1_binary64_2094 pow2_binary64_2205 neg-sub0_binary64_3483 sub-div_binary64_426 pow-pow_binary64_3560 inv-pow_binary64_2209
3×	1-exp_binary64_3532 rem-exp-log_binary64_2164 rec-exp_binary64_3538 distribute-lft-neg-in_binary64_2763 associate-+r-_binary64_1376 pow-to-exp_binary64_147 cube-mult_binary64_3177 pow1/2_binary64_2204 rem-log-exp_binary64_2165 distribute-rgt-in_binary64_369 clear-num_binary64_3146 sqr-pow_binary64_1755 flip3--_binary64_4174 unpow3_binary64_826 exp-to-pow_binary64_2527 sum-cubes_binary64_420 rem-log-exp_binary64_4211 difference-cubes_binary64_2808 swap-sqr_binary64_45 cos-atan_binary64_2985 distribute-rgt-neg-in_binary64_3787 distribute-lft-in_binary64_2755 rem-exp-log_binary64_1482 sqrt-pow1_binary64_2142 diff-log_binary64_3580 clear-num_binary64_4169 pow-unpow_binary64_1860 frac-2neg_binary64_4181 unpow3_binary64_3213 pow-pow_binary64_2878 unpow3_binary64 cos-diff_binary64_1579 sum-log_binary64 cube-mult_binary64 rec-exp_binary64_2515 associate--r-_binary64_1381 acos-neg_binary64_3671 cube-prod_binary64_106 unpow-prod-down_binary64_1862 pow-to-exp_binary64_2875 pow-unpow_binary64 cube-prod_binary64_3516 distribute-lft-in_binary64_368 pow-exp_binary64_146 +-commutative_binary64_690 rem-cbrt-cube_binary64_3171 log-pow_binary64_4259 sqrt-prod_binary64_4186 cube-mult_binary64_790 rem-sqrt-square_binary64_2137 pow-unpow_binary64_3565 cbrt-undiv_binary64_4204 associate-+r+_binary64_2397 distribute-rgt-in_binary64_2074 cancel-sign-sub-inv_binary64_1067 rec-exp_binary64_810 atan-neg_binary64_2990 unpow2_binary64_1848 frac-2neg_binary64_3158 flip--_binary64_4145 associate-+l+_binary64_2057 distribute-lft-neg-in_binary64_3786 1-exp_binary64_2509 pow-unpow_binary64_1178 sub-neg_binary64_4163 1-exp_binary64_804 distribute-neg-in_binary64_2426 pow2_binary64_1864 pow-exp_binary64_487 exp-sum_binary64_2170 exp-prod_binary64_3540 cos-neg_binary64_2937 distribute-rgt-neg-in_binary64_2764 distribute-lft-in_binary64_2073 +-commutative_binary64_2736 sqr-pow_binary64_3119 distribute-rgt-in_binary64_2756 difference-of-sqr-1_binary64_1412 distribute-lft-neg-out_binary64
2×	associate-+l-_binary64_3423 associate-+l-_binary64_2400 associate-/r/_binary64_1729 unpow2_binary64_825 +-commutative_binary64_1713 associate--l-_binary64_3426 rem-sqrt-square_binary64_1455 pow-pow_binary64_1855 inv-pow_binary64_163 distribute-rgt-neg-out_binary64_3107 cosh-def_binary64_946 pow1/2_binary64 rem-cbrt-cube_binary64 sqrt-div_binary64_4187 cbrt-prod_binary64_1814 associate-+l+_binary64_693 cbrt-div_binary64_1815 cbrt-unprod_binary64_4203 frac-add_binary64 sub-div_binary64_1790 difference-of-sqr-1_binary64 pow-prod-up_binary64_2535 sum-log_binary64_510 pow-sqr_binary64_3120 associate-*l/_binary64_3772 pow-pow_binary64_150 distribute-rgt1-in_binary64_2421 cube-div_binary64_448 sqrt-div_binary64_2482 sinh-def_binary64_945 sin-mult_binary64_1597 sqr-pow_binary64_3801 cube-div_binary64 pow-prod-up_binary64_2876 neg-sub0_binary64_3142 pow-sqr_binary64_2779 rem-exp-log_binary64_3869 sin-diff_binary64_2260 associate-*l/_binary64_2408 sqrt-pow1_binary64 pow-to-exp_binary64_488 div-sub_binary64 sum-log_binary64_1874 pow-prod-up_binary64_3558 associate--r-_binary64_3427 associate--l+_binary64_4107 sqrt-div_binary64_2141 diff-log_binary64_2216 pow-exp_binary64_1510 pow-prod-up_binary64_3217 pow1/3_binary64_1865 pow3_binary64_161 tan-quot_binary64_1942 *-commutative_binary64_4101 associate-+l-_binary64_1377 pow-sqr_binary64 associate--l-_binary64_2403 inv-pow_binary64_2550 div-sub_binary64_83 div-sub_binary64_2129 unpow2_binary64_3553 inv-pow_binary64_3914 +-commutative_binary64 pow-sqr_binary64_392 pow-prod-up_binary64 associate--l+_binary64_697 sqr-pow_binary64_3460 pow-sqr_binary64_2438 frac-add_binary64_2473 pow-prod-up_binary64_489 frac-add_binary64_4178 +-commutative_binary64_349 pow-sqr_binary64_3461 un-div-inv_binary64_758 pow-flip_binary64_3903 pow-flip_binary64_152 pow-to-exp_binary64_1511 pow-pow_binary64_832 exp-diff_binary64_3877 div-sub_binary64_424
1×	sin-diff_binary64_2942 tanh-undef_binary64_955 associate-+r-_binary64_4104 sqr-abs_binary64_93 pow-to-exp_binary64_3557 +-commutative_binary64_1031 distribute-lft-out--_binary64_3099 div-sub_binary64_1788 rem-cube-cbrt_binary64_101 associate-/r/_binary64 neg-log_binary64_2558 distribute-lft-neg-out_binary64_3788 neg-mul-1_binary64_2802 pow-exp_binary64_3556 pow-plus_binary64_3551 sin-mult_binary64_2279 associate--r+_binary64_4106 swap-sqr_binary64_1750 difference-of-squares_binary64_1070 associate--r+_binary64_2742 pow1/2_binary64_840 pow-prod-up_binary64_3899 distribute-lft-out_binary64_1734 pow-pow_binary64_1173 distribute-rgt-in_binary64_1392 pow-sqr_binary64_51 div-sub_binary64_1447 sub-neg_binary64_1094 cube-mult_binary64_449 neg-mul-1_binary64_3825 associate-+r-_binary64_2399 pow-plus_binary64_141 rem-cube-cbrt_binary64_3511 pow-plus_binary64_2528 sum-log_binary64_1192 neg-sub0_binary64_1096 inv-pow_binary64_845 pow2_binary64_500 distribute-frac-neg_binary64_1064 sqrt-unprod_binary64_1462 tanh-def-c_binary64_949 neg-log_binary64_1535 pow-flip_binary64_834 distribute-lft-out--_binary64_1053 sum-cubes_binary64 associate--l-_binary64_2744 distribute-rgt-neg-out_binary64_1743 unpow3_binary64_144 sinh-undef_binary64_1294 sinh-def_binary64_1286 pow1/2_binary64_4250 pow2_binary64_159 rem-sqrt-square_binary64_773 pow-plus_binary64_482 distribute-rgt-out--_binary64_373 cube-mult_binary64_1131 sqrt-pow1_binary64_4188 pow-plus_binary64_3210 distribute-lft-in_binary64_1391 pow2_binary64_3569 unpow3_binary64_1167 div-sub_binary64_2470 diff-log_binary64_1193 unpow3_binary64_3554 pow-plus_binary64 cube-mult_binary64_108 unsub-neg_binary64_2459 pow2_binary64_3228 rem-cube-cbrt_binary64 pow2_binary64_2546 rem-sqrt-square_binary64_4183 unpow2_binary64_2871 tanh-def-a_binary64_947 cube-mult_binary64_1472 unpow3_binary64_1508 tanh-def-b_binary64_948 pow-sqr_binary64_3802 unsub-neg_binary64_1777 un-div-inv_binary64_1781 pow2_binary64_2887 unpow3_binary64_485 distribute-rgt-out--_binary64_3442 neg-sub0_binary64_1437 cube-mult_binary64_3518 rem-cube-cbrt_binary64_442 pow-plus_binary64_3892 pow-pow_binary64 pow2_binary64_3910 cos-sum_binary64_3622 sqrt-pow1_binary64_778 rem-exp-log_binary64_2505 mul0-rgt_binary64 sqrt-pow2_binary64_438 pow2_binary64 pow-plus_binary64_2869 frac-sub_binary64_2474 div-sub_binary64_1106 associate--l+_binary64 neg-sub0_binary64_2460 flip3--_binary64_1105 flip--_binary64_1076 div-sub_binary64_2811

Calls

668 calls:

355.0ms	(/.f64 (-.f64 (-.f64 (/.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) (/.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)) (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 (*.f64 (*.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) (cbrt.f64 (sin.f64 (*.f64 (/.f64 angle 180) PI.f64)))) (cbrt.f64 (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale) 2)))) (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale))
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))))
141.0ms	(-.f64 (pow.f64 (/.f64 x (+.f64 x 1)) 3) (pow.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) 3))
140.0ms	(-.f64 (pow.f64 (/.f64 x (+.f64 x 1)) 3) (pow.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) 3))
140.0ms	(-.f64 (pow.f64 (/.f64 x (+.f64 x 1)) 3) (pow.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) 3))