rewrite14.6s (1.3%)

Algorithm

182×	rewrite-expression-head

Rules

18012×	frac-times_binary64_1111
15526×	flip3--_binary64_1105 flip--_binary64_1076
12962×	cbrt-div_binary64_1133
9632×	associate-*l/_binary64_1044
9508×	associate-*r/_binary64_1043
6512×	frac-add_binary64_1109
4610×	sqrt-div_binary64_1118
1786×	times-frac_binary64_2812
1703×	*-un-lft-identity_binary64_2806
1685×	times-frac_binary64_2471
1568×	add-exp-log_binary64
1424×	*-un-lft-identity_binary64_2465
1326×	add-sqr-sqrt_binary64_2828
1104×	prod-exp_binary64
906×	sqrt-prod_binary64_2822
903×	add-sqr-sqrt_binary64_2487
850×	add-cube-cbrt_binary64_2500
741×	add-cube-cbrt_binary64_2841
729×	add-exp-log_binary64_2162
695×	add-cbrt-cube_binary64
661×	sqrt-prod_binary64_2481
641×	add-exp-log_binary64_116
560×	add-sqr-sqrt_binary64_441
550×	add-exp-log_binary64_1821
547×	times-frac_binary64
544×	add-sqr-sqrt_binary64
502×	*-un-lft-identity_binary64
458×	*-un-lft-identity_binary64_419
453×	cbrt-unprod_binary64
452×	times-frac_binary64_425 times-frac_binary64_1448
440×	cancel-sign-sub-inv_binary64_2772
400×	distribute-lft-neg-in_binary64_2422 distribute-rgt-neg-in_binary64_2423
387×	*-un-lft-identity_binary64_3488
369×	add-sqr-sqrt_binary64_1464
365×	pow1_binary64
364×	*-un-lft-identity_binary64_4852
353×	add-sqr-sqrt_binary64_100
347×	times-frac_binary64_766
342×	*-un-lft-identity_binary64_1442
335×	add-cube-cbrt_binary64_1477
329×	prod-exp_binary64_2173 distribute-lft-out_binary64_2416
328×	*-un-lft-identity_binary64_760
324×	times-frac_binary64_4858
320×	add-cube-cbrt_binary64_454
318×	add-cube-cbrt_binary64
315×	add-sqr-sqrt_binary64_2146
313×	associate-*r/_binary64_3089
294×	times-frac_binary64_6222
293×	add-sqr-sqrt_binary64_3510 associate-/r*_binary64_2409
289×	prod-exp_binary64_127
283×	add-cbrt-cube_binary64_114
272×	add-sqr-sqrt_binary64_782
270×	difference-of-squares_binary64_2775 distribute-lft-out_binary64_2757
266×	add-sqr-sqrt_binary64_4874
262×	add-exp-log_binary64_6936
250×	sqrt-div_binary64_2482
249×	add-sqr-sqrt_binary64_3169
246×	*-un-lft-identity_binary64_5193
244×	times-frac_binary64_3494
243×	*-un-lft-identity_binary64_4511 *-un-lft-identity_binary64_78
238×	add-cbrt-cube_binary64_2160
235×	prod-exp_binary64_1832
233×	pow-prod-down_binary64
231×	*-un-lft-identity_binary64_3147 add-cube-cbrt_binary64_113
229×	div-exp_binary64_2175
228×	add-sqr-sqrt_binary64_1805
225×	associate-*l/_binary64_3090
224×	pow1_binary64_139
219×	add-sqr-sqrt_binary64_1123
216×	*-un-lft-identity_binary64_2124
208×	times-frac_binary64_3153
205×	div-exp_binary64
204×	add-cube-cbrt_binary64_2159
200×	log-prod_binary64_3574 sqrt-div_binary64_3164
196×	add-cube-cbrt_binary64_795 times-frac_binary64_2130
190×	add-sqr-sqrt_binary64_5215
189×	times-frac_binary64_84
187×	add-sqr-sqrt_binary64_6238
185×	add-exp-log_binary64_798 pow-exp_binary64_2192
184×	*-un-lft-identity_binary64_1101 add-cube-cbrt_binary64_3182
183×	add-cube-cbrt_binary64_6251 *-un-lft-identity_binary64_6216
180×	pow-to-exp_binary64_2193
178×	div-exp_binary64_1834
170×	unpow-prod-down_binary64_2203 add-cbrt-cube_binary64_1819 pow-exp_binary64_1851
169×	add-cube-cbrt_binary64_3523
164×	add-exp-log_binary64_457 times-frac_binary64_5199
163×	div-exp_binary64_129
160×	add-cube-cbrt_binary64_1136
159×	pow-to-exp_binary64_1852
155×	*-un-lft-identity_binary64_1783
153×	unpow-prod-down_binary64_157 add-cube-cbrt_binary64_4887
151×	add-sqr-sqrt_binary64_3851
149×	add-cbrt-cube_binary64_455
148×	times-frac_binary64_3835
146×	distribute-lft-out--_binary64_2758 associate-*r*_binary64_18
144×	flip--_binary64_3122 sqrt-prod_binary64_6232 flip3--_binary64_3151
143×	add-cube-cbrt_binary64_1818 pow-exp_binary64_146
138×	prod-exp_binary64_6947
136×	flip3-+_binary64_2468 flip-+_binary64_2439
135×	pow-to-exp_binary64_147
134×	*-un-lft-identity_binary64_6557
131×	add-cube-cbrt_binary64_5228
130×	unpow-prod-down_binary64_1862
129×	times-frac_binary64_4517 sqrt-prod_binary64_3504
128×	cbrt-prod_binary64_5565
127×	*-un-lft-identity_binary64_3829
126×	pow1_binary64_2185 sqrt-prod_binary64
124×	sqrt-prod_binary64_3163
122×	difference-of-sqr-1_binary64_2776
121×	associate-*l*_binary64_360
115×	times-frac_binary64_1789 times-frac_binary64_1107
112×	add-cbrt-cube_binary64_6934
111×	associate-/r*_binary64_2068
110×	distribute-neg-frac_binary64_2429
108×	add-cbrt-cube_binary64_1478 add-exp-log_binary64_1480
107×	add-sqr-sqrt_binary64_5556 add-cube-cbrt_binary64_3864 associate-/r/_binary64_2411 add-exp-log_binary64_1139
105×	associate-/r*_binary64_2750 frac-times_binary64_3157
104×	add-sqr-sqrt_binary64_4533
103×	cbrt-unprod_binary64_111 add-cbrt-cube_binary64_1137
102×	add-cbrt-cube_binary64_2501 difference-of-squares_binary64_388 add-exp-log_binary64_2503
101×	associate-*l*_binary64
99×	pow1_binary64_480
96×	frac-add_binary64_2473
94×	distribute-lft-out--_binary64 associate-*r*_binary64_2064
89×	add-cbrt-cube_binary64_796
86×	associate-*r*_binary64 pow-exp_binary64
85×	*-un-lft-identity_binary64_5534 add-cube-cbrt_binary64_5569
83×	flip-+_binary64_3121 pow1_binary64_1162 sqr-pow_binary64_50 flip3-+_binary64_3150 associate-*l*_binary64_2065 add-exp-log_binary64_2844
82×	sqr-pow_binary64_2096 add-sqr-sqrt_binary64_6579 pow1_binary64_1503 pow1_binary64_1844
81×	pow-prod-down_binary64_149 add-cube-cbrt_binary64_4546
80×	cbrt-unprod_binary64_2157
78×	associate-/l*_binary64_1387 pow1_binary64_2526
77×	difference-of-squares_binary64 times-frac_binary64_5540 associate-/r*_binary64_363
76×	add-log-exp_binary64_458
74×	associate-*l*_binary64_19 cbrt-undiv_binary64 associate-/r*_binary64_22 add-cube-cbrt_binary64_6592
72×	sqr-pow_binary64_1755 sqrt-prod_binary64_1117 frac-sub_binary64_3156 add-log-exp_binary64_117
71×	associate-/r*_binary64_1727
70×	cbrt-prod_binary64_6588
69×	difference-of-squares_binary64_4821
68×	difference-of-squares_binary64_3457 div-exp_binary64_6949 pow1_binary64_3208 pow1_binary64_2867
67×	associate-*r*_binary64_359 unswap-sqr_binary64_46
66×	add-log-exp_binary64 prod-exp_binary64_809
65×	distribute-lft-out_binary64_4462 add-cbrt-cube_binary64_3183 associate-*r/_binary64_2407
64×	add-exp-log_binary64_3185 add-log-exp_binary64_2504 frac-add_binary64_3155
63×	cube-prod_binary64_2152 times-frac_binary64_6563
62×	unswap-sqr_binary64_2092
61×	distribute-lft-out--_binary64_5145 pow1_binary64_821
60×	cbrt-div_binary64_2838 add-cbrt-cube_binary64_2842
59×	sqrt-prod_binary64_776
58×	distribute-lft-out_binary64_3439 add-exp-log_binary64_3526 associate-*l/_binary64_2408 add-log-exp_binary64_1822
57×	add-log-exp_binary64_1481
56×	add-sqr-sqrt_binary64_6920 associate-*r*_binary64_1041 add-log-exp_binary64_2163
55×	associate-*l*_binary64_1042 cancel-sign-sub-inv_binary64 div-exp_binary64_811
54×	distribute-lft-out--_binary64_4804 associate-/l*_binary64_2410
52×	neg-mul-1_binary64_2461 associate-*l*_binary64_1724
49×	log-prod_binary64_846
48×	cbrt-unprod_binary64_6931 associate-+r+_binary64_3420
47×	cancel-sign-sub-inv_binary64_385 div-inv_binary64
46×	distribute-lft-out--_binary64_371 associate-/l*_binary64_3092 unswap-sqr_binary64_1751
45×	pow-to-exp_binary64 add-exp-log_binary64_3867 difference-of-squares_binary64_729 distribute-lft-out_binary64_4803 associate-*r*_binary64_700 associate-/r/_binary64_2752
44×	exp-prod_binary64_5245 distribute-lft-out_binary64_711 distribute-lft-neg-in_binary64_717 add-log-exp_binary64_1140 distribute-rgt-neg-in_binary64_718 add-sqr-sqrt_binary64_5897
43×	add-log-exp_binary64_799 flip--_binary64_2440 flip3--_binary64_2469 times-frac_binary64_6904
42×	associate-/r*_binary64 cancel-sign-sub-inv_binary64_3113 cube-prod_binary64_106 cbrt-unprod_binary64_1816 associate-/l*_binary64_2751
41×	sqrt-prod_binary64_5891 add-log-exp_binary64_2845
40×	distribute-rgt-neg-in_binary64_3105 cbrt-undiv_binary64_2158 distribute-lft-neg-in_binary64_3104 associate-/l/_binary64_3094 add-exp-log_binary64_5231 associate-*r/_binary64_1725 add-cbrt-cube_binary64_5229 log-pow_binary64_167 div-inv_binary64_757
39×	pow-prod-down_binary64_2195 add-exp-log_binary64_4549 flip3--_binary64_2810 add-cbrt-cube_binary64_3865 flip--_binary64_2781 exp-prod_binary64_130
38×	distribute-neg-frac_binary64_3111 cbrt-prod_binary64_2837
37×	associate-*l*_binary64_1383 pow1_binary64_3549 associate-*r*_binary64_3087
36×	associate-*r*_binary64_1382 flip3--_binary64_423 associate-/l*_binary64_5138 flip--_binary64_394 associate-/l/_binary64_2412 *-un-lft-identity_binary64_6898 sqrt-pow1_binary64 frac-times_binary64_2475
35×	flip3--_binary64 associate-/l*_binary64_4797 flip--_binary64 cbrt-prod_binary64_791 associate-*r*_binary64_1723
34×	sqrt-div_binary64_2823 cbrt-undiv_binary64_112 distribute-lft-out--_binary64_3440
33×	pow1_binary64_6959 associate-*r/_binary64 frac-sub_binary64 div-exp_binary64_470 associate-/r/_binary64_365 add-cbrt-cube_binary64_3524 associate-/l*_binary64_1728 sqrt-div_binary64_777
32×	associate-/l*_binary64_705 cube-prod_binary64_1811 *-un-lft-identity_binary64_5875
31×	cbrt-undiv_binary64_1817 unpow-prod-down_binary64 associate-/r*_binary64_1045 associate-/l*_binary64_2069 associate-/l*_binary64_6161
30×	add-cube-cbrt_binary64_5910 1-exp_binary64_6942 div-inv_binary64_1439 associate-/r/_binary64_3093 associate-/l*_binary64 prod-exp_binary64_468 cancel-sign-sub-inv_binary64_4818 rec-exp_binary64_6948 add-cube-cbrt_binary64_6933 associate-/r/_binary64_4798
29×	add-cbrt-cube_binary64_4547 associate-/r*_binary64_4796 add-log-exp_binary64_3527
28×	div-inv_binary64_2803 associate-*r*_binary64_6838 unswap-sqr_binary64 frac-times_binary64_2816 associate-/r*_binary64_3773 div-inv_binary64_2462 sqrt-div_binary64
27×	add-exp-log_binary64_4890 associate-/r*_binary64_3432 associate-*l*_binary64_3429 flip-+_binary64_2780 div-inv_binary64_416 associate-/r*_binary64_3091 cbrt-unprod_binary64_452 associate-/l*_binary64_23 flip3-+_binary64_2809 unpow-prod-down_binary64_6636
26×	pow1_binary64_5936 add-cbrt-cube_binary64_6252 cbrt-undiv_binary64_453 add-exp-log_binary64_6254 cbrt-undiv_binary64_6932 distribute-lft-in_binary64_3096 associate-*r*_binary64_5133 associate-*r*_binary64_3769 associate-/r*_binary64_4455 sqrt-prod_binary64_435 distribute-rgt-in_binary64_3097 pow1_binary64_6618 add-log-exp_binary64_6596 associate-/l*_binary64_364
25×	div-exp_binary64_2516 pow-prod-down_binary64_3218 cube-mult_binary64_2154 unpow3_binary64_2190 cbrt-undiv_binary64_2499 cbrt-prod_binary64_2155
24×	difference-of-squares_binary64_5162 unpow-prod-down_binary64_3567 associate-/l/_binary64_707 cube-prod_binary64_6585 associate-*l*_binary64_3088 log-pow_binary64_2213 pow-unpow_binary64_1860 associate-/r*_binary64_5137 sqrt-prod_binary64_5550 distribute-rgt-in_binary64 unpow-prod-down_binary64_2885 cbrt-prod_binary64_4542 distribute-lft-in_binary64 distribute-lft-out_binary64_6508
23×	flip3-+_binary64 *-commutative_binary64_9 associate-/l/_binary64_1730 associate-/r*_binary64_704 add-log-exp_binary64_3186 log-pow_binary64_5282 flip-+_binary64 add-cbrt-cube_binary64_4888
22×	associate-+r+_binary64_692 associate-*r*_binary64_5474 div-exp_binary64_2857 exp-prod_binary64_2176 unpow-prod-down_binary64_2544 cbrt-prod_binary64_109 unpow-prod-down_binary64_839
21×	pow1/3_binary64_2888 cancel-sign-sub-inv_binary64_726 associate-*r*_binary64_2746 prod-exp_binary64_1150 cbrt-unprod_binary64_1134 log-prod_binary64_1187 flip3-+_binary64_763 flip-+_binary64_734 associate-*r/_binary64_702 cbrt-unprod_binary64_793 add-log-exp_binary64_4209 associate-/r*_binary64_6501 pow1_binary64_3890 pow1_binary64_5595
20×	add-sqr-sqrt_binary64_4192 pow1/2_binary64 *-un-lft-identity_binary64_4170 unswap-sqr_binary64_387 sqrt-div_binary64_5892 cos-sum_binary64_553 add-exp-log_binary64_6595 cube-prod_binary64_3516 cbrt-prod_binary64_5906 add-log-exp_binary64_5232 pow1_binary64_5254
19×	add-log-exp_binary64_3868 frac-sub_binary64_1792 cbrt-undiv_binary64_794 frac-add_binary64_768 frac-add_binary64 *-commutative_binary64_2055 associate-*l*_binary64_701 associate-*l/_binary64
18×	associate-*l/_binary64_362 sqrt-prod_binary64_94 pow-prod-down_binary64_490 cbrt-div_binary64_3179 associate-*l/_binary64_703 associate-/r*_binary64_6160 cbrt-undiv_binary64_1476 associate-/r*_binary64_1386 add-cbrt-cube_binary64_6593 swap-sqr_binary64 cube-prod_binary64_4539 div-inv_binary64_4849 cbrt-prod_binary64_450 div-exp_binary64_1493 unpow-prod-down_binary64_4590 flip3-+_binary64_1104 add-exp-log_binary64_5572 cube-prod_binary64_2493 associate-/l*_binary64_4456 flip-+_binary64_1075 add-log-exp_binary64_5914 cbrt-prod_binary64_1473 associate-*r*_binary64_2405 associate-*l*_binary64_6839 difference-of-squares_binary64_3798
17×	distribute-neg-frac_binary64_724 pow1_binary64_4572 sub-neg_binary64_412 cancel-sign-sub-inv_binary64_2090 associate-*r/_binary64_361 unswap-sqr_binary64_1069 pow-prod-down_binary64_2536 add-cube-cbrt_binary64_4205 pow1/3_binary64_5616 div-inv_binary64_2121 *-commutative_binary64
16×	pow1_binary64_4231 pow-pow_binary64_1855 add-cbrt-cube_binary64_5911 cbrt-unprod_binary64_3180 pow-prod-down_binary64_1854 add-exp-log_binary64_4208 add-exp-log_binary64_5913 sqrt-pow1_binary64_2483 cancel-sign-sub-inv_binary64_6523 log-prod_binary64_6643 prod-exp_binary64_3196 associate-/l*_binary64_3774 sqr-pow_binary64_732 pow-prod-down_binary64_1172 sqrt-div_binary64_3505 pow-prod-down_binary64_6969 add-cbrt-cube_binary64_4206 div-inv_binary64_75
15×	add-log-exp_binary64_4891 sin-diff_binary64_4306 sub-neg_binary64 distribute-lft-out_binary64_3098 div-sub_binary64_4175 log-div_binary64_3575 cancel-sign-sub-inv_binary64_1408 cbrt-undiv_binary64_1135 cbrt-unprod_binary64_1475 log-pow_binary64_3577 cancel-sign-sub-inv_binary64_2431 add-log-exp_binary64_4550 associate-*l*_binary64_4452 pow-prod-down_binary64_1513 difference-of-squares_binary64_5844 *-commutative_binary64_350 sqrt-pow1_binary64_3165 tan-quot_binary64_919 pow-unpow_binary64_155 prod-exp_binary64_1491 associate-*r/_binary64_20 div-exp_binary64_1152 pow1_binary64_6277
14×	associate-/r/_binary64_4457 div-exp_binary64_3880 flip3-+_binary64_6560 unpow2_binary64_825 pow-prod-up_binary64_148 difference-of-squares_binary64_1070 flip-+_binary64_4485 flip3-+_binary64_4514 pow-exp_binary64_828 associate-/r/_binary64_3775 add-cbrt-cube_binary64_5570 unpow3_binary64_144 associate-+r+_binary64_3079 difference-of-sqr--1_binary64_2436 clear-num_binary64_2123 flip-+_binary64_6531 cube-mult_binary64_108 associate-*l/_binary64_2749 frac-times_binary64 sqr-pow_binary64 frac-2neg_binary64_2135
13×	distribute-lft-out--_binary64_712 frac-2neg_binary64_1794 associate-*l*_binary64_2747 flip-+_binary64_4826 div-sub_binary64_6221 pow-plus_binary64_141 div-inv_binary64_1780 frac-2neg_binary64_2476 cbrt-undiv_binary64_2840 flip3-+_binary64_3491 associate-/l*_binary64_1046 flip--_binary64_5850 frac-times_binary64_770 associate-*r*_binary64_3428 flip-+_binary64_3462 clear-num_binary64_1782 flip3--_binary64_5879 add-log-exp_binary64_6255 clear-num_binary64_2464
12×	div-inv_binary64_3826 log-div_binary64_6644 difference-of-squares_binary64_2434 difference-of-squares_binary64_1752 associate-/r/_binary64 flip--_binary64_53 *-commutative_binary64_1032 unpow-prod-down_binary64_3226 associate-*l*_binary64_5475 frac-add_binary64_1791 cube-prod_binary64_2834 associate-+l+_binary64_693 div-inv_binary64_5190 add-log-exp_binary64_5573 div-inv_binary64_1098 flip3-+_binary64_4855 *-commutative_binary64_1373 pow-prod-up_binary64_2876 difference-of-squares_binary64_3116 associate-/l/_binary64_5140 difference-of-squares_binary64_2093 difference-of-squares_binary64_47 associate-*r/_binary64_2748 sqrt-pow1_binary64_1119 flip3--_binary64_82 cube-prod_binary64 pow-prod-up_binary64 div-inv_binary64_4508 pow1/2_binary64_1181 associate-/r/_binary64_3434
11×	associate-/l/_binary64 flip--_binary64_3804 cbrt-undiv_binary64_3181 distribute-lft-out--_binary64_3099 associate-*l/_binary64_21 distribute-rgt-in_binary64_369 cube-mult_binary64_1813 log-prod_binary64_1528 unswap-sqr_binary64_3456 frac-2neg_binary64_89 unpow3_binary64_1849 clear-num_binary64_77 associate-/l*_binary64_3433 cbrt-unprod_binary64_2498 sqrt-prod_binary64_5209 div-inv_binary64_6213 distribute-lft-in_binary64_368 neg-mul-1_binary64_756 log-prod_binary64_2892 div-exp_binary64_3198 rem-sqrt-square_binary64 log-pow_binary64_1531 prod-exp_binary64_2514 cos-atan_binary64_1621 div-exp_binary64_4562 unswap-sqr_binary64_1410 flip3--_binary64_3833
10×	cbrt-undiv_binary64_3863 pow1/2_binary64_5955 sqrt-pow1_binary64_5893 difference-of-sqr-1_binary64_389 rem-sqrt-square_binary64_5888 unswap-sqr_binary64_5502 pow1_binary64_4913 pow-prod-down_binary64_2877 cbrt-undiv_binary64_5227 pow-pow_binary64_150 sqrt-div_binary64_5210 div-exp_binary64_5244 rem-log-exp_binary64_3529 distribute-rgt-out_binary64_713 log-pow_binary64_6646 clear-num_binary64_2805 pow1/2_binary64_2545 sqr-pow_binary64_3460 frac-2neg_binary64_2817 unswap-sqr_binary64_6866 div-exp_binary64_4903
9×	clear-num_binary64_418 associate-/r/_binary64_1047 flip3--_binary64_1787 pow1/2_binary64_3227 unswap-sqr_binary64_3115 distribute-rgt-neg-out_binary64 frac-2neg_binary64_430 distribute-lft-in_binary64_2755 associate-/l/_binary64_25 sqrt-prod_binary64_3845 prod-exp_binary64_3537 sqrt-prod_binary64_2140 prod-exp_binary64_2855 div-inv_binary64_3144 sin-mult_binary64_1597 cancel-sign-sub-inv_binary64_5159 associate-/l/_binary64_2753 pow1/3_binary64_2206 swap-sqr_binary64_727 cancel-sign-sub-inv_binary64_1067 flip--_binary64_1758 pow-unpow_binary64_6634 flip--_binary64_735 flip3--_binary64_764 cos-diff_binary64_556 distribute-rgt-in_binary64_2756 cancel-sign-sub-inv_binary64_1749
8×	flip3--_binary64_5197 sqrt-div_binary64_436 flip--_binary64_5168 frac-sub_binary64_5202 rem-cube-cbrt_binary64_101 pow-to-exp_binary64_829 flip3--_binary64_3492 frac-add_binary64_4519 diff-log_binary64 rem-cube-cbrt_binary64_1806 log-div_binary64_1188 pow-sqr_binary64_51 neg-mul-1_binary64_3143 associate-+r+_binary64_2738 cbrt-undiv_binary64_4886 flip--_binary64_3463 frac-2neg_binary64_5204 clear-num_binary64_5192 associate-+r+_binary64_1033 sin-sum_binary64_552 difference-of-squares_binary64_4480 sub-neg_binary64_2799 associate-*r/_binary64_6840 distribute-lft-out--_binary64_6509 asin-acos_binary64_1622 cos-sum_binary64_2258 log-pow_binary64_1190 sqr-pow_binary64_2778 rem-sqrt-square_binary64_1114 pow1/3_binary64_160 div-exp_binary64_3539 associate--r-_binary64_6496 associate--r+_binary64_6493 cancel-sign-sub-inv_binary64_44 distribute-lft-out_binary64_5144 unswap-sqr_binary64_2774 pow-plus_binary64_2869 acos-asin_binary64_6397
7×	unswap-sqr_binary64_728 cosh-undef_binary64_3000 cancel-sign-sub-inv_binary64_3795 flip3--_binary64_2128 distribute-lft-out--_binary64_3781 diff-log_binary64_2557 clear-num_binary64_3146 cbrt-div_binary64_5907 sqr-pow_binary64_6529 distribute-lft-out_binary64 add-log-exp_binary64_6937 sinh-undef_binary64_2999 clear-num_binary64_1100 div-inv_binary64_6895 frac-2neg_binary64_1112 associate-*l/_binary64_1726 exp-sum_binary64_6603 pow2_binary64_159 sub-neg_binary64_2458 cbrt-unprod_binary64_2839 *-commutative_binary64_1714 pow-flip_binary64_2880 flip--_binary64_2099 rem-sqrt-square_binary64_3160 rem-sqrt-square_binary64_2478 sub-neg_binary64_2117 associate-/r/_binary64_706 difference-of-sqr-1_binary64_4822 associate-/l*_binary64_6843 frac-2neg_binary64_3158 unpow-prod-up_binary64_6635 associate-+l+_binary64_3421 cbrt-undiv_binary64_4545 div-inv_binary64_3485
6×	div-inv_binary64_5531 sin-cos-mult_binary64_2280 associate-*r*_binary64_6156 frac-times_binary64_1793 log-prod_binary64_2210 cbrt-undiv_binary64_6250 associate-/l/_binary64_1389 associate-/r/_binary64_1388 div-exp_binary64_6267 sub-neg_binary64_1435 pow-prod-up_binary64_2194 clear-num_binary64 flip3-+_binary64_1786 swap-sqr_binary64_45 distribute-lft-out--_binary64_2076 flip-+_binary64_5167 flip-+_binary64_1757 associate-*l*_binary64_6157 difference-of-sqr-1_binary64_1071 unpow3_binary64_6623 swap-sqr_binary64_5501 times-frac_binary64_5881 associate-*l*_binary64_3770 clear-num_binary64_1441 flip--_binary64_4827 associate-/l*_binary64_6502 distribute-lft-out--_binary64_1735 distribute-rgt-in_binary64_710 sub-neg_binary64_3140 cube-div_binary64_6586 sum-log_binary64 clear-num_binary64_4851 clear-num_binary64_4510 pow-unpow_binary64_837 associate-/l*_binary64_5479 flip3-+_binary64_5196 pow-sqr_binary64_2779 frac-2neg_binary64_1453 pow-unpow_binary64 cos-diff_binary64_2261 swap-sqr_binary64_2773 sqrt-prod_binary64_1799 associate-*l*_binary64_5134 distribute-lft-out--_binary64_4463 log-div_binary64_847 distribute-lft-out--_binary64_2417 unpow3_binary64_3554 associate-+r+_binary64_351 cube-mult_binary64_6587 frac-2neg_binary64 pow-unpow_binary64_2201 exp-prod_binary64_6609 distribute-lft-in_binary64_709 frac-2neg_binary64_4522 cube-mult_binary64_3518 cube-div_binary64_4540 pow-sqr_binary64 pow-prod-down_binary64_831 distribute-lft-out--_binary64_30 diff-log_binary64_511 swap-sqr_binary64_2091 frac-2neg_binary64_4863 *-commutative_binary64_691 tan-quot_binary64_1601 div-sub_binary64_5198 cbrt-prod_binary64_2496
5×	exp-prod_binary64_1494 flip3--_binary64_4856 diff-log_binary64_1875 +-commutative_binary64_2395 rec-exp_binary64 rec-exp_binary64_2856 1-exp_binary64 sum-log_binary64_2556 flip3--_binary64_1446 unpow2_binary64 sqrt-pow1_binary64_3506 prod-exp_binary64_3878 pow1/2_binary64_3568 clear-num_binary64_3828 flip--_binary64_1417 +-commutative_binary64_3418 frac-2neg_binary64_771 pow-plus_binary64_2187 1-exp_binary64_2850 div-sub_binary64_2470 diff-log_binary64_852 pow1/3_binary64_1524 frac-2neg_binary64_3840 clear-num_binary64_759 sub-neg_binary64_1776 sqr-abs_binary64 cbrt-prod_binary64_1132 sub-neg_binary64_753 cbrt-unprod_binary64_3862 sum-log_binary64_3579 difference-of-squares_binary64_1411 distribute-lft-out_binary64_1052 pow1/3_binary64_5957 cbrt-div_binary64_5566
4×	pow-exp_binary64_2874 pow-to-exp_binary64_3557 unswap-sqr_binary64_3797 div-sub_binary64_1788 pow-exp_binary64_3556 clear-num_binary64_6215 unpow-prod-down_binary64_498 sin-sum_binary64_2257 associate-/l/_binary64_3435 *-commutative_binary64_2737 cosh-undef_binary64_3341 associate-/l/_binary64_3776 log-div_binary64_2893 frac-add_binary64_86 pow-pow_binary64_2196 distribute-lft-neg-out_binary64_1060 diff-log_binary64_170 associate-*r/_binary64_4453 associate--l+_binary64_5130 unpow3_binary64_2872 unpow2_binary64_484 distribute-lft-in_binary64_1050 difference-of-sqr-1_binary64 associate-*l/_binary64_1385 difference-of-squares_binary64_6526 associate-/l/_binary64_1048 sum-log_binary64_6648 cbrt-unprod_binary64_5226 sqr-pow_binary64_391 associate-*l*_binary64_2406 unpow3_binary64 rem-cube-cbrt_binary64_2147 associate-/l/_binary64_366 associate-+r-_binary64_6150 cube-mult_binary64 distribute-lft-out--_binary64_1053 pow-prod-down_binary64_5605 associate-*r*_binary64_4451 *-commutative_binary64_6829 frac-2neg_binary64_6227 pow-flip_binary64_6972 diff-log_binary64_1534 pow-to-exp_binary64_2875 1-exp_binary64_4555 pow1/3_binary64_842 diff-log_binary64_2216 prod-exp_binary64_5242 sqrt-div_binary64_95 difference-of-sqr-1_binary64_4481 associate-+r+_binary64_4784 cos-sum_binary64_1576 cube-mult_binary64_2836 associate-*r/_binary64_2066 +-commutative_binary64_6487 cos-diff_binary64_6353 associate--l+_binary64_2743 pow2_binary64_2887 pow-sqr_binary64_2097 distribute-rgt-in_binary64_1051 associate--l+_binary64_3084 frac-times_binary64_4521 sqrt-pow1_binary64_437 rec-exp_binary64_4561 rem-log-exp_binary64_1142 associate-/r/_binary64_6503 unswap-sqr_binary64_5161 cbrt-div_binary64_6589 pow1/2_binary64_499 associate-/l/_binary64_2071 distribute-lft-out--_binary64_1394 sub-neg_binary64_71 diff-log_binary64_2898 cbrt-div_binary64_2497 rem-sqrt-square_binary64_432 prod-exp_binary64_4560 sub-neg_binary64_6550
3×	un-div-inv_binary64_6896 div-sub_binary64_3152 inv-pow_binary64_4596 acos-asin_binary64_1623 1-exp_binary64_463 cbrt-div_binary64_4543 pow1/3_binary64_501 pow2_binary64_841 flip3-+_binary64_422 log-prod_binary64_164 pow-exp_binary64_6625 rem-sqrt-square_binary64_3842 sin-mult_binary64_2279 frac-2neg_binary64_3499 div-sub_binary64_765 diff-log_binary64_5285 acos-neg_binary64_6399 sub-neg_binary64_1094 inv-pow_binary64_6983 associate-/l/_binary64_4799 pow-plus_binary64_823 associate-+l+_binary64_2739 pow-unpow_binary64_1519 pow-unpow_binary64_496 sub-neg_binary64_3822 sum-log_binary64_510 distribute-frac-neg_binary64_1064 distribute-lft-neg-in_binary64_1058 pow-unpow_binary64_2542 associate-+r-_binary64_694 cbrt-prod_binary64_3178 cbrt-unprod_binary64_3521 rec-exp_binary64_469 distribute-frac-neg_binary64_6179 associate-*l/_binary64_2067 clear-num_binary64_6897 clear-num_binary64_3487 associate-/r*_binary64_5478 log-prod_binary64_5279 *-commutative_binary64_3078 distribute-rgt-neg-in_binary64_1059 pow1/2_binary64_3909 diff-log_binary64_6649 cancel-sign-sub-inv_binary64_4136 sum-log_binary64_2897 frac-2neg_binary64_6909 pow-flip_binary64_4585 distribute-rgt-in_binary64_2074 flip-+_binary64_393 distribute-rgt1-in_binary64_716 associate--r+_binary64_1378 unswap-sqr_binary64_4479 tan-quot_binary64_1260 associate-/r*_binary64_6842 pow-unpow_binary64_4588 pow-prod-up_binary64_830 *-commutative_binary64_3419 pow-sqr_binary64_733 frac-times_binary64_2134 sqrt-pow1_binary64_3847 cbrt-undiv_binary64_3522 pow2_binary64_2205 +-commutative_binary64_349 distribute-lft-in_binary64_2073 +-commutative_binary64_2736 associate--l+_binary64 rem-sqrt-square_binary64_3501 diff-log_binary64_3921
2×	pow-prod-down_binary64_5264 associate-+l-_binary64_3423 sin-cos-mult_binary64_575 pow-prod-down_binary64_3900 sum-log_binary64_4602 sub-neg_binary64_5186 distribute-rgt-in_binary64_4461 rem-cube-cbrt_binary64_2488 frac-add_binary64_3496 sum-log_binary64_851 cos-mult_binary64_2278 pow-flip_binary64_4926 rem-cube-cbrt_binary64_1465 pow-exp_binary64_2533 rem-log-exp_binary64_2165 pow-pow_binary64_6629 *-commutative_binary64_2396 cbrt-div_binary64_1474 flip-+_binary64_52 pow-pow_binary64_491 difference-of-sqr-1_binary64_2435 distribute-frac-neg_binary64_3110 unpow3_binary64_4577 rem-sqrt-square_binary64_91 sqrt-pow1_binary64_96 1-exp_binary64_4896 sin-diff_binary64_555 +-commutative_binary64_4441 rem-log-exp_binary64_6598 inv-pow_binary64_4937 1-exp_binary64_3873 rem-log-exp_binary64_1483 div-exp_binary64_6608 flip-+_binary64_2098 pow-prod-up_binary64_5604 diff-log_binary64_4262 cube-div_binary64_1471 flip3-+_binary64_2127 sub-div_binary64_1790 *-commutative_binary64_5465 frac-times_binary64_6908 sub-neg_binary64_4845 associate-*l/_binary64_5818 prod-exp_binary64_6265 cbrt-unprod_binary64_4544 pow-prod-down_binary64_6287 flip3--_binary64_6561 associate--l-_binary64_2744 prod-exp_binary64_5583 *-commutative_binary64_5124 frac-times_binary64_429 associate-+l+_binary64_4444 neg-sub0_binary64_3142 pow-sqr_binary64_5507 unswap-sqr_binary64_2433 div-inv_binary64_6554 rec-exp_binary64_3879 pow1/3_binary64_2547 +-commutative_binary64_690 sqr-pow_binary64_1414 sqrt-div_binary64_2141 difference-of-squares_binary64_4139 pow-plus_binary64 pow-to-exp_binary64_6626 cbrt-unprod_binary64_5567 associate-+r-_binary64_4786 rec-exp_binary64_4902 exp-to-pow_binary64_1504 flip--_binary64_6532 cosh-def_binary64_3333 associate-*r/_binary64_3771 exp-diff_binary64_5241 pow-exp_binary64_1510 clear-num_binary64_6556 *-commutative_binary64_3760 cbrt-undiv_binary64_6591 cube-mult_binary64_4541 inv-pow_binary64_2891 distribute-lft-in_binary64_4460 cube-mult_binary64_1472 unpow3_binary64_1508 associate-*l/_binary64_6841 frac-sub_binary64_2815 sqr-pow_binary64_4483 frac-2neg_binary64_6568 associate-*l/_binary64_4454 cbrt-unprod_binary64_6249 unpow2_binary64_1848 unswap-sqr_binary64_6184 diff-log_binary64_4944 div-sub_binary64_83 div-sub_binary64_2129 pow-pow_binary64 cube-prod_binary64_1470 pow1/2_binary64_158 associate-*r/_binary64_5135 frac-add_binary64_2132 pow2_binary64 div-sub_binary64_3834 pow-exp_binary64_487 exp-sum_binary64_1488 unpow-prod-down_binary64_1521 sum-log_binary64_4943 pow-pow_binary64_832 pow-pow_binary64_1514 flip3-+_binary64_81 *-commutative_binary64_6147 div-sub_binary64_2811 distribute-lft-neg-out_binary64 rem-exp-log_binary64_6597
1×	associate-*r/_binary64_1384 sqrt-unprod_binary64 pow2_binary64_5615 +-commutative_binary64_4782 flip--_binary64_4486 distribute-rgt-out--_binary64_3783 cosh-def_binary64_2992 +-commutative_binary64_1031 pow-to-exp_binary64_2534 pow1/2_binary64_2204 rem-cbrt-cube_binary64_6581 frac-sub_binary64_4861 tanh-undef_binary64_3001 rem-log-exp_binary64_5234 distribute-lft-out--_binary64_5827 unpow3_binary64_2531 sqr-pow_binary64_2437 associate--r+_binary64 pow1/3_binary64_4593 associate--r+_binary64_4106 pow1/3_binary64_3229 rem-3cbrt-lft_binary64_2831 flip3--_binary64_4174 distribute-frac-neg_binary64_723 pow1/2_binary64_840 div-sub_binary64_4857 pow-plus_binary64_5597 e-exp-1_binary64_6602 un-div-inv_binary64_1440 rem-cbrt-cube_binary64_4535 pow1/3_binary64_6639 flip3--_binary64_4515 pow-exp_binary64_4579 rem-cube-cbrt_binary64_4534 sqrt-pow1_binary64_2142 sin-mult_binary64_574 div-exp_binary64_5585 div-inv_binary64_5872 inv-pow_binary64_504 sum-log_binary64_1192 *-commutative_binary64_4442 frac-2neg_binary64_5545 sinh-def_binary64_2991 flip-+_binary64_6190 sum-log_binary64_6307 tanh-def-b_binary64_2994 distribute-frac-neg_binary64_2428 cos-diff_binary64_1579 sqrt-pow1_binary64_5211 pow1/2_binary64_5273 neg-sub0_binary64_755 associate--r-_binary64_1381 pow-flip_binary64 sinh-def_binary64_945 cancel-sign-sub-inv_binary64_5841 pow-pow_binary64_4583 +-commutative_binary64_6146 log-pow_binary64_849 rem-log-exp_binary64_2847 distribute-lft-out--_binary64_4122 rem-sqrt-square_binary64_773 cos-sum_binary64_6350 sin-diff_binary64_2260 rem-log-exp_binary64_119 associate--l-_binary64_5131 associate-+r-_binary64_5127 associate-/l/_binary64_6163 exp-diff_binary64_1490 cos-atan_binary64_1280 cube-mult_binary64_2495 pow-to-exp_binary64_488 div-sub_binary64 rem-sqrt-square_binary64_5206 distribute-rgt-in_binary64_2415 tanh-def-a_binary64_2993 diff-log_binary64_1193 +-commutative_binary64_3077 rem-sqrt-square_binary64_2137 clear-num_binary64_5533 pow-flip_binary64_493 inv-pow_binary64 atan-neg_binary64_1285 distribute-lft-in_binary64_2414 pow1/3_binary64_1183 pow-pow_binary64_2537 frac-add_binary64_2814 rem-log-exp_binary64_801 sum-log_binary64_4261 pow3_binary64_2889 neg-mul-1_binary64_1097 sinh-undef_binary64_953 rem-cube-cbrt_binary64_6580 pow-prod-down_binary64_4582 associate-*r/_binary64_5476 associate-+r-_binary64_3422 cube-div_binary64_2494 sub-neg_binary64_5868 tanh-def-c_binary64_2995 rem-square-sqrt_binary64 flip--_binary64_4145 inv-pow_binary64_3914 flip3-+_binary64_6219 log-div_binary64_1529 sqrt-unprod_binary64_1121 sqrt-pow1_binary64_778 diff-log_binary64_5967 exp-diff_binary64_6605 un-div-inv_binary64 log-pow_binary64_2895 sub-neg_binary64_4163 rem-exp-log_binary64_5233 pow-flip_binary64_3903 log-div_binary64_5280 pow-to-exp_binary64_4580 pow-to-exp_binary64_1511 pow-sub_binary64_6633 cbrt-undiv_binary64_5568 rem-cbrt-cube_binary64_1466 neg-sub0_binary64_2460 sum-log_binary64_3238 div-sub_binary64_424 cos-neg_binary64_1232

Calls

613 calls:

372.0ms	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (sqrt.f64 (+.f64 x 1)) (/.f64 (-.f64 x 1) (sqrt.f64 (+.f64 x 1)))))
370.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 (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 1/180 (/.f64 PI.f64 angle)))) (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))
366.0ms	(*.f64 R (sqrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (*.f64 (*.f64 (cbrt.f64 (-.f64 lambda1 lambda2)) (cbrt.f64 (-.f64 lambda1 lambda2))) (*.f64 (-.f64 (cos.f64 (*.f64 1/2 phi1)) (*.f64 1/2 (*.f64 (sin.f64 (*.f64 1/2 phi1)) phi2))) (cbrt.f64 (-.f64 lambda1 lambda2))))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2)))))
312.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))))
217.0ms	(sqrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (*.f64 (*.f64 (cbrt.f64 (-.f64 lambda1 lambda2)) (cbrt.f64 (-.f64 lambda1 lambda2))) (*.f64 (-.f64 (cos.f64 (*.f64 1/2 phi1)) (*.f64 1/2 (*.f64 (sin.f64 (*.f64 1/2 phi1)) phi2))) (cbrt.f64 (-.f64 lambda1 lambda2))))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))