rewrite10.9s (1.2%)

Algorithm

191×	rewrite-expression-head

Rules

12630×	times-frac_binary64_4858
7049×	add-sqr-sqrt_binary64_4874
5932×	*-un-lft-identity_binary64_4852
4832×	add-cube-cbrt_binary64_4887
3714×	sqrt-prod_binary64_4868
2124×	frac-times_binary64_1452
2100×	associate-*r/_binary64_1384
2033×	frac-add_binary64_1450
1675×	add-exp-log_binary64
1427×	times-frac_binary64_1789
1418×	times-frac_binary64_766
1337×	times-frac_binary64_3153
1273×	add-exp-log_binary64_3185
1257×	flip-+_binary64_1416 flip3-+_binary64_1445
1235×	flip3--_binary64_1446 flip--_binary64_1417
1173×	prod-exp_binary64
1158×	*-un-lft-identity_binary64_3147 associate-*l/_binary64_1385
1139×	*-un-lft-identity_binary64_760
1098×	difference-of-squares_binary64_4821
910×	add-sqr-sqrt_binary64_782
895×	*-un-lft-identity_binary64_1783
818×	add-sqr-sqrt_binary64_3169
807×	times-frac_binary64_2130
796×	times-frac_binary64_1107
761×	add-sqr-sqrt_binary64_1805
740×	add-cbrt-cube_binary64
735×	sqrt-prod_binary64_776
717×	add-cube-cbrt_binary64_1818
701×	add-cube-cbrt_binary64_795
700×	add-cube-cbrt_binary64_3182
693×	*-un-lft-identity_binary64_1101 prod-exp_binary64_3196
692×	pow-exp_binary64_3215
642×	*-un-lft-identity_binary64_2124
641×	add-sqr-sqrt_binary64_1123
639×	add-sqr-sqrt_binary64_2146
602×	div-exp_binary64_3198
600×	times-frac_binary64_3835
549×	distribute-lft-out--_binary64_4804
534×	times-frac_binary64_5540
513×	sqrt-prod_binary64_3163
500×	add-cube-cbrt_binary64_2159
480×	cbrt-unprod_binary64
476×	add-sqr-sqrt_binary64_441
473×	times-frac_binary64_425
464×	add-cube-cbrt_binary64_1136
456×	*-un-lft-identity_binary64_419
455×	*-un-lft-identity_binary64_1442
439×	*-un-lft-identity_binary64_2465
400×	div-inv_binary64_4849
391×	times-frac_binary64_2471
388×	pow1_binary64
370×	cbrt-prod_binary64_1814
361×	add-sqr-sqrt_binary64_1464
359×	add-sqr-sqrt_binary64_2487 add-sqr-sqrt_binary64_3851
357×	add-cube-cbrt_binary64_3864 *-un-lft-identity_binary64_3829
344×	pow-to-exp_binary64_3216
336×	add-sqr-sqrt_binary64
319×	add-cube-cbrt_binary64_454
318×	add-cube-cbrt_binary64_2500
314×	sqrt-div_binary64_2482
312×	sqrt-prod_binary64_2140
294×	distribute-rgt-neg-in_binary64_3105 distribute-lft-neg-in_binary64_3104
282×	add-sqr-sqrt_binary64_5556
278×	add-sqr-sqrt_binary64_100
272×	*-un-lft-identity_binary64_5534 add-cube-cbrt_binary64_5569
255×	*-un-lft-identity_binary64
244×	pow-prod-down_binary64
238×	log-prod_binary64_1187
235×	add-exp-log_binary64_2162
230×	add-exp-log_binary64_1821 *-un-lft-identity_binary64_3488
229×	add-sqr-sqrt_binary64_3510
223×	distribute-lft-out_binary64_3098 times-frac_binary64_1448 associate-*r/_binary64_2407
218×	add-cbrt-cube_binary64_2160
214×	div-exp_binary64
212×	*-un-lft-identity_binary64_78
208×	difference-of-squares_binary64_729 add-exp-log_binary64_2503
207×	add-exp-log_binary64_798
206×	*-un-lft-identity_binary64_2806
202×	add-exp-log_binary64_1139 add-cube-cbrt_binary64_1477
201×	add-cbrt-cube_binary64_2501
198×	cbrt-div_binary64_1474 sqrt-div_binary64_3164
192×	add-sqr-sqrt_binary64_4192
185×	times-frac_binary64_3494
183×	add-sqr-sqrt_binary64_2828
181×	add-cube-cbrt_binary64
173×	add-cbrt-cube_binary64_1819
171×	times-frac_binary64_4176
170×	add-cbrt-cube_binary64_1137
168×	associate-/r*_binary64_4796
167×	associate-/r*_binary64_3091
161×	add-sqr-sqrt_binary64_5897
159×	add-cube-cbrt_binary64_3523
157×	*-un-lft-identity_binary64_5875 pow1_binary64_1503
156×	pow1_binary64_2526
154×	add-cube-cbrt_binary64_113
149×	add-exp-log_binary64_1480
148×	add-cbrt-cube_binary64_1478 add-exp-log_binary64_457
136×	distribute-lft-out_binary64_711
132×	sqrt-div_binary64_1459
130×	associate-*l/_binary64_2408 flip3-+_binary64_2468 flip-+_binary64_2439
127×	*-un-lft-identity_binary64_4170
126×	pow1_binary64_3208 add-cube-cbrt_binary64_2841 times-frac_binary64 add-cube-cbrt_binary64_4205
123×	add-exp-log_binary64_4890
121×	add-cbrt-cube_binary64_455
116×	1-exp_binary64_3191 rec-exp_binary64_3197 add-exp-log_binary64_2844
114×	associate-*r*_binary64
112×	flip-+_binary64_3121 flip3-+_binary64_3150
111×	times-frac_binary64_84 associate-/r*_binary64_1727 associate-*l*_binary64_360 frac-times_binary64_2475
110×	cbrt-div_binary64_2497
109×	add-cbrt-cube_binary64_2842
108×	associate-/l*_binary64_705 sqrt-prod_binary64
106×	associate-*l*_binary64_1383 add-exp-log_binary64_116
105×	add-cbrt-cube_binary64_796
104×	associate-/l*_binary64_2069 associate-*l*_binary64 associate-/l*_binary64_3774
103×	associate-/l/_binary64_2412
97×	pow-exp_binary64
96×	add-cbrt-cube_binary64_114 difference-of-squares_binary64_1070 associate-/r*_binary64_1045 add-exp-log_binary64_5572 distribute-neg-frac_binary64_2429 frac-sub_binary64_2474
94×	add-cbrt-cube_binary64_3183 div-exp_binary64_1834
93×	log-prod_binary64_3233
91×	pow1_binary64_2185
88×	cbrt-prod_binary64_109
86×	distribute-neg-frac_binary64_3111 cancel-sign-sub-inv_binary64_3454
85×	pow1_binary64_139
84×	add-log-exp_binary64_1481 associate-/r*_binary64_704
83×	add-log-exp_binary64_2845 add-cbrt-cube_binary64_4888
80×	sqrt-prod_binary64_4186
78×	pow1_binary64_1162 associate-/r/_binary64_3093 flip--_binary64_2440 flip3--_binary64_2469 frac-add_binary64_3155 difference-of-squares_binary64_2093
77×	sqrt-prod_binary64_2822 add-log-exp_binary64_2504 times-frac_binary64_5881
76×	add-cbrt-cube_binary64_5570 associate-/l*_binary64_2410
75×	unpow-prod-down_binary64_157 add-log-exp_binary64_117
74×	div-inv_binary64_1780 associate-/r*_binary64_363
73×	add-cube-cbrt_binary64_5910 associate-/r*_binary64_2068 associate-/l*_binary64_1728 times-frac_binary64_2812 pow1_binary64_2867
72×	cbrt-undiv_binary64 pow1_binary64_480
70×	associate-/r*_binary64_5478 add-log-exp_binary64_2163 associate-*r/_binary64_3089 add-log-exp_binary64_1822
69×	distribute-lft-out_binary64_1734
68×	add-log-exp_binary64_3186
67×	associate-*r*_binary64_18
66×	associate-/r*_binary64_2409 pow1_binary64_821
65×	unpow-prod-down_binary64_3567 div-exp_binary64_2175
64×	difference-of-squares_binary64_47 div-exp_binary64_811
63×	cancel-sign-sub-inv_binary64_3113
62×	associate-*l*_binary64_1042 prod-exp_binary64_809 distribute-lft-out_binary64_1393
61×	difference-of-squares_binary64_1411
60×	cbrt-unprod_binary64_2498 prod-exp_binary64_2173 prod-exp_binary64_2514
59×	associate-*r*_binary64_1382 cbrt-undiv_binary64_1817 pow1_binary64_1844
58×	cbrt-undiv_binary64_2158 add-exp-log_binary64_3526 add-exp-log_binary64_3867 difference-of-squares_binary64_388 add-cbrt-cube_binary64_3865 pow-prod-down_binary64_2536 distribute-lft-out--_binary64_1394 div-exp_binary64_4903
57×	add-log-exp_binary64 log-pow_binary64_849 cancel-sign-sub-inv_binary64 add-log-exp_binary64_458
56×	cbrt-unprod_binary64_2157 distribute-lft-out_binary64_1052 div-inv_binary64_757
55×	associate-*r*_binary64_359 associate-/l*_binary64_4797
54×	exp-prod_binary64_812 sqrt-div_binary64_2823 add-log-exp_binary64_3527 add-sqr-sqrt_binary64_4533
53×	associate-*r*_binary64_1041 cbrt-prod_binary64_1473
52×	difference-of-squares_binary64_3116 distribute-lft-out_binary64_2416
51×	flip3--_binary64 add-log-exp_binary64_799 flip--_binary64 associate-*r*_binary64_4110
50×	pow-to-exp_binary64 add-exp-log_binary64_4208 associate-*l/_binary64_3090 difference-of-squares_binary64_5844 add-cbrt-cube_binary64_4206
49×	associate-*l*_binary64_2065 cube-prod_binary64_3516
48×	distribute-lft-neg-in_binary64_2422 distribute-rgt-neg-in_binary64_2423 div-exp_binary64_1152 associate--l+_binary64_3084 associate-/r/_binary64_4798
47×	prod-exp_binary64_1150 sqrt-prod_binary64_2481 pow-prod-down_binary64_1513 unpow-prod-down_binary64_839
46×	cancel-sign-sub-inv_binary64_1408 add-log-exp_binary64_1140 log-div_binary64_3234
45×	frac-times_binary64
44×	distribute-lft-neg-in_binary64_717 cbrt-unprod_binary64_1475 distribute-rgt-neg-in_binary64_718 div-inv_binary64_1098 add-sqr-sqrt_binary64_5215 swap-sqr_binary64_4137 prod-exp_binary64_1491 sqrt-prod_binary64_3504
43×	distribute-lft-out--_binary64_2076 div-exp_binary64_5585 associate-/r/_binary64_2070
42×	difference-of-squares_binary64 associate-*r/_binary64 log-prod_binary64_3574 associate-+r+_binary64_3420 associate-*r*_binary64_700 log-prod_binary64_2892 div-inv_binary64_2121
41×	cbrt-undiv_binary64_1135 associate-*l*_binary64_4111 cbrt-unprod_binary64_1134 div-exp_binary64_2516 sqr-pow_binary64_50 associate-*l*_binary64_3088 pow1_binary64_3549 *-un-lft-identity_binary64_4511
40×	div-inv_binary64_3826 unpow-prod-down_binary64_3226 neg-mul-1_binary64_3143 flip--_binary64_3122 flip3--_binary64_3151
39×	flip-+_binary64_2780 cancel-sign-sub-inv_binary64_2090 flip3-+_binary64_2809 associate-/l*_binary64_364
38×	pow1_binary64_4913
37×	sqrt-div_binary64_777
36×	pow1_binary64_4231 distribute-lft-out--_binary64_1053 sqrt-pow1_binary64 add-cbrt-cube_binary64_3524 associate-*r*_binary64_2405 add-cube-cbrt_binary64_4546
35×	cbrt-unprod_binary64_1816 prod-exp_binary64_1832
34×	sqrt-prod_binary64_5209
33×	distribute-lft-out--_binary64_3099 div-exp_binary64_470 cbrt-undiv_binary64_2499 cosh-undef_binary64_954
32×	div-inv_binary64_5531 *-un-lft-identity_binary64_5193 unswap-sqr_binary64 distribute-rgt-in_binary64 associate-/r/_binary64_706 associate-*r*_binary64_3087 distribute-lft-in_binary64 associate-*l/_binary64
31×	pow1_binary64_4572 unpow2_binary64_825 associate-/r*_binary64_3432 cube-prod_binary64_106 sqr-pow_binary64_732 associate-/l*_binary64_2751 cancel-sign-sub-inv_binary64_44 cbrt-undiv_binary64_5568
30×	distribute-lft-out--_binary64_712 cancel-sign-sub-inv_binary64_2772 flip3-+_binary64_763 cbrt-undiv_binary64_4886 flip-+_binary64_734 associate-/r/_binary64_365 distribute-lft-out--_binary64_371
28×	add-cube-cbrt_binary64_5228 cbrt-undiv_binary64_794 unpow-prod-down_binary64_498 associate-/l/_binary64_707 add-exp-log_binary64_4549 unpow2_binary64_143 prod-exp_binary64_468 associate-/l/_binary64_3094 associate-*l*_binary64_2406 associate-/l*_binary64_1046 distribute-lft-in_binary64_3096 add-cbrt-cube_binary64_4547 associate-/l*_binary64_3092 add-log-exp_binary64_5914 distribute-rgt-in_binary64_3097
27×	associate-/r/_binary64_1047 distribute-lft-out--_binary64_5827 div-inv_binary64_416 div-inv_binary64_3144
26×	add-cbrt-cube_binary64_5911 associate-*r*_binary64_5474 cancel-sign-sub-inv_binary64_2431 add-exp-log_binary64_5913 sqrt-div_binary64_2141 associate--r+_binary64_3083
25×	flip3--_binary64_2810 add-log-exp_binary64_4550 cbrt-undiv_binary64_2840 distribute-lft-out_binary64_370 associate-*l*_binary64_4793 flip--_binary64_2781 div-exp_binary64_2857 sqr-pow_binary64_3460 log-prod_binary64_846
24×	add-log-exp_binary64_4891 div-exp_binary64_3880 cbrt-undiv_binary64_3863 pow1_binary64_5936 associate-/r*_binary64_5819 pow-prod-down_binary64_3218 cbrt-undiv_binary64_453 exp-diff_binary64_3195 frac-times_binary64_3157 associate-/r*_binary64_3773 add-log-exp_binary64_5232 sqrt-div_binary64_3505 log-pow_binary64_3236 pow1_binary64_5254
23×	difference-of-squares_binary64_3457 pow-prod-down_binary64_2195 flip-+_binary64_2098 associate-/l*_binary64 unpow-prod-down_binary64_1180 div-inv_binary64_2462 cosh-undef_binary64_613
22×	associate-/r*_binary64 distribute-lft-out_binary64_3439 cube-prod_binary64_447 associate-*l*_binary64_3429 prod-exp_binary64_127 log-div_binary64_2893 distribute-lft-out--_binary64 unswap-sqr_binary64_387 flip3-+_binary64_2127 associate-*r*_binary64_4792 cbrt-prod_binary64_5224 cancel-sign-sub-inv_binary64_385 distribute-lft-out_binary64_2757
21×	exp-prod_binary64_1494 pow-unpow_binary64_837 cancel-sign-sub-inv_binary64_5841 associate-/r*_binary64_22 unswap-sqr_binary64_1069 associate--l+_binary64_2743 distribute-lft-out--_binary64_2758 cbrt-prod_binary64_2496
20×	difference-of-squares_binary64_1752 distribute-lft-out_binary64_2075 flip3--_binary64_423 unpow-prod-down_binary64 pow1/2_binary64 flip--_binary64_394 frac-add_binary64_768 cbrt-unprod_binary64_452 cos-sum_binary64_3281 associate-*r*_binary64_3428 associate-*r/_binary64_702 associate-/r/_binary64_2411 add-log-exp_binary64_4209
19×	associate-/r*_binary64_1386 associate-/r*_binary64_2750 pow-exp_binary64_828 associate-/l*_binary64_1387 associate-*r*_binary64_2064 clear-num_binary64_2123 flip--_binary64_2099 difference-of-squares_binary64_4139 frac-2neg_binary64_2135 *-commutative_binary64
18×	associate-*l*_binary64_19 flip3--_binary64_2128 swap-sqr_binary64 associate-/r/_binary64_1388 difference-of-squares_binary64_2775 prod-exp_binary64_2855 prod-exp_binary64_5583 cbrt-unprod_binary64_2839 prod-exp_binary64_4901 exp-prod_binary64_1835 pow1_binary64_3890
17×	flip3-+_binary64 distribute-neg-frac_binary64_724 pow1/2_binary64_2886 log-div_binary64_3575 cbrt-unprod_binary64_111 sqrt-pow1_binary64_2824 sub-neg_binary64_3140 flip3-+_binary64_3491 sqrt-pow1_binary64_3165 flip-+_binary64_3462 cbrt-unprod_binary64_793 div-inv_binary64 distribute-lft-out_binary64_29 flip-+_binary64
16×	difference-of-squares_binary64_5162 add-log-exp_binary64_3868 frac-2neg_binary64_1794 cancel-sign-sub-inv_binary64_4477 add-exp-log_binary64_5231 sqrt-div_binary64_5210 add-cbrt-cube_binary64_5229 associate-*r/_binary64_361 clear-num_binary64_1782 frac-sub_binary64_2815 div-sub_binary64_2129 diff-log_binary64_2898
15×	associate-/r/_binary64_1729 sub-neg_binary64 div-sub_binary64_1447 1-exp_binary64_1827 rec-exp_binary64_1833 rem-sqrt-square_binary64_2819 unpow3_binary64_3554 pow-prod-down_binary64_1172 cube-mult_binary64_3518 rem-log-exp_binary64_1142 log-pow_binary64_1531 sqr-pow_binary64_1073 unswap-sqr_binary64_4138
14×	*-commutative_binary64_1032 cbrt-unprod_binary64_4885 *-commutative_binary64_2396 unpow-prod-down_binary64_2203 flip--_binary64_5850 associate-/l*_binary64_5479 sqr-pow_binary64_2096 cbrt-unprod_binary64_5567 flip3--_binary64_5879 cbrt-prod_binary64_2837
13×	associate-*l/_binary64_362 cbrt-undiv_binary64_3181 pow-to-exp_binary64_829 cbrt-unprod_binary64_3180 frac-2neg_binary64_2476 cube-prod_binary64_4539 *-commutative_binary64_1373 sqrt-pow1_binary64_2483 unpow-prod-down_binary64_4590 cube-prod_binary64_1811 unpow-prod-down_binary64_1862 pow-prod-down_binary64_149 distribute-lft-out--_binary64_3440 unswap-sqr_binary64_46 clear-num_binary64_2464 unpow-prod-down_binary64_1521 unswap-sqr_binary64_1410 pow1_binary64_5595
12×	flip3--_binary64_5197 pow-prod-down_binary64_490 flip--_binary64_5168 cube-prod_binary64_1129 associate-*l/_binary64_703 log-prod_binary64_2210 flip3--_binary64_1787 clear-num_binary64_1100 frac-2neg_binary64_1112 associate-/r/_binary64_5480 cancel-sign-sub-inv_binary64_4818 distribute-lft-out--_binary64_1735 cbrt-prod_binary64_450 sqr-pow_binary64_391 acos-asin_binary64_2305 sub-neg_binary64_2799 *-commutative_binary64_350 associate-*l*_binary64_701 sqrt-prod_binary64_1799 times-frac_binary64_5199 cbrt-undiv_binary64_4204 pow-unpow_binary64_4588 sin-diff_binary64_1578 neg-mul-1_binary64_2461 pow-prod-up_binary64 flip--_binary64_1758 log-pow_binary64_2895 div-exp_binary64_4221 sqr-pow_binary64 associate-/l*_binary64_5820 flip--_binary64_735 flip3--_binary64_764
11×	difference-of-squares_binary64_2434 associate-/r/_binary64 distribute-rgt-neg-out_binary64 distribute-rgt-in_binary64_1392 log-pow_binary64_3577 log-prod_binary64_1528 unswap-sqr_binary64_3456 flip3-+_binary64_1786 prod-exp_binary64_4219 flip-+_binary64_1757 cbrt-unprod_binary64_4203 associate--l-_binary64_2744 div-inv_binary64_4167 frac-2neg_binary64_771 distribute-lft-in_binary64_1391 neg-mul-1_binary64_756 rem-sqrt-square_binary64 clear-num_binary64_759 sqr-pow_binary64_4483 flip3--_binary64_1105 flip--_binary64_1076 cancel-sign-sub-inv_binary64_1749
10×	cbrt-div_binary64_2838 associate-/l/_binary64 sinh-def_binary64_604 flip3--_binary64_3492 log-pow_binary64_1872 flip--_binary64_3463 sqrt-prod_binary64_1117 sub-neg_binary64_2458 frac-times_binary64_770 sum-log_binary64_3579 cube-prod_binary64_1470 associate-/r/_binary64_2752 pow-prod-down_binary64_4923 associate--r-_binary64_3086 associate-/l/_binary64_2071 exp-sum_binary64_1488 associate-*r*_binary64_5815 sqrt-div_binary64 associate-*r*_binary64_1723 sum-log_binary64_3238
9×	clear-num_binary64_418 associate-/l/_binary64_1730 flip3--_binary64_4856 cbrt-undiv_binary64_1476 sin-cos-mult_binary64_2621 flip--_binary64_53 unswap-sqr_binary64_3115 log-div_binary64_1188 cancel-sign-sub-inv_binary64_726 associate-*r*_binary64_2746 div-inv_binary64_1439 frac-2neg_binary64_430 div-inv_binary64_2803 cbrt-prod_binary64_3860 associate-*l*_binary64_4452 flip--_binary64_4827 pow-unpow_binary64_496 associate-/l/_binary64_1048 div-exp_binary64_1493 associate-/l*_binary64_3433 cos-diff_binary64_3284 associate-*r*_binary64_4451 associate-/l/_binary64_2753 difference-of-squares_binary64_4480 associate-+r+_binary64_3079 *-commutative_binary64_3078 distribute-lft-out--_binary64_2417 log-pow_binary64_1190 sub-neg_binary64_2117 cbrt-prod_binary64_2155 pow1/3_binary64_1865 associate-*r/_binary64_20 div-exp_binary64_3539 flip3--_binary64_82 associate-*l*_binary64_5816 difference-of-sqr-1_binary64_1412
8×	unswap-sqr_binary64_728 *-commutative_binary64_9 sqrt-div_binary64_4869 distribute-rgt-in_binary64_369 pow1/2_binary64_3227 sum-log_binary64_1533 associate-/l/_binary64_1389 associate-/l/_binary64_3776 clear-num_binary64 1-exp_binary64_4896 frac-sub_binary64_3497 sqrt-pow1_binary64_3506 swap-sqr_binary64_5842 diff-log_binary64_3580 sin-sum_binary64_3280 pow1/2_binary64_3568 associate-/r/_binary64_5821 associate-/r/_binary64_3775 clear-num_binary64_3828 add-log-exp_binary64_5573 sqrt-pow1_binary64_5211 pow1/2_binary64_5273 tan-quot_binary64_3988 distribute-lft-in_binary64_368 sinh-undef_binary64_612 cos-sum_binary64_2599 rem-sqrt-square_binary64_5206 distribute-rgt-out_binary64_713 rec-exp_binary64_4902 tan-quot_binary64_919 frac-2neg_binary64 frac-2neg_binary64_3840 associate-*r/_binary64_5476 distribute-lft-out--_binary64_30 difference-of-sqr-1_binary64_48 pow-exp_binary64_487
7×	sub-neg_binary64_412 diff-log_binary64_1875 flip3--_binary64_4174 difference-of-sqr-1_binary64_389 diff-log_binary64_170 cube-mult_binary64_449 unpow2_binary64 cos-mult_binary64_1596 log-prod_binary64_5961 log-pow_binary64_4600 prod-exp_binary64_3537 associate-/l*_binary64_4115 unpow3_binary64_144 rem-log-exp_binary64_2847 unswap-sqr_binary64_2433 rem-log-exp_binary64_3529 pow1/3_binary64_2547 diff-log_binary64_2216 log-div_binary64_847 cube-mult_binary64_108 pow1/3_binary64_1524 sum-log_binary64_2897 cos-sum_binary64_2258 unpow3_binary64_485 clear-num_binary64_2805 sub-neg_binary64_1776 sub-neg_binary64_5868 pow1/2_binary64_2545 flip--_binary64_4145 difference-of-sqr-1_binary64_2094 log-pow_binary64_5964 frac-2neg_binary64_2817 pow-pow_binary64_832
6×	sqrt-prod_binary64_94 sin-mult_binary64_2620 unswap-sqr_binary64_4820 associate-*l/_binary64_21 diff-log_binary64_2557 clear-num_binary64_3146 cube-div_binary64_107 associate-*l*_binary64_5475 distribute-lft-out_binary64 pow-flip_binary64_1857 *-commutative_binary64_2055 pow-unpow_binary64_3224 log-prod_binary64_4597 frac-sub_binary64 frac-2neg_binary64_5545 associate-/l/_binary64_366 flip3-+_binary64_1104 pow1/2_binary64_4250 swap-sqr_binary64_727 sqrt-pow1_binary64_4188 pow-unpow_binary64 pow-to-exp_binary64_488 sqrt-prod_binary64_1458 sum-log_binary64_1874 associate-/l*_binary64_23 +-commutative_binary64_3077 clear-num_binary64_5533 flip-+_binary64_1075 pow-unpow_binary64_155 rem-sqrt-square_binary64_4183 associate-*r/_binary64_2748 pow-sqr_binary64 frac-2neg_binary64_3158 associate--l-_binary64_3085 exp-prod_binary64_5927 pow-pow_binary64_3219 sub-neg_binary64_71 associate-+r+_binary64_1374 cos-diff_binary64_2602
5×	acos-asin_binary64_1623 pow-to-exp_binary64_3557 sum-log_binary64_851 pow-exp_binary64_3556 flip3-+_binary64_422 +-commutative_binary64_1713 inv-pow_binary64_1868 div-exp_binary64_129 flip-+_binary64_52 pow-pow_binary64_491 sub-neg_binary64_1435 +-commutative_binary64_2395 unpow3_binary64_4577 pow-exp_binary64_4579 sum-log_binary64_2556 rem-cube-cbrt_binary64_4534 difference-of-sqr-1_binary64 distribute-rgt-in_binary64_5825 associate-*r/_binary64_1043 distribute-lft-in_binary64_5824 pow-pow_binary64_4583 rem-sqrt-square_binary64_773 cos-diff_binary64_2261 pow-exp_binary64_146 +-commutative_binary64_690 sqr-pow_binary64_1414 cbrt-undiv_binary64_112 rem-sqrt-square_binary64_2478 flip-+_binary64_393 cube-mult_binary64_4541 pow-prod-down_binary64_4582 sqr-abs_binary64 1-exp_binary64_2168 div-inv_binary64_3485 flip3-+_binary64_81 rec-exp_binary64_2174 div-inv_binary64_75
4×	frac-2neg_binary64_5886 cos-mult_binary64_2619 cbrt-div_binary64_110 sub-neg_binary64_5186 flip--_binary64_4486 pow-to-exp_binary64_147 pow1/2_binary64_4932 pow1/2_binary64_2204 cbrt-undiv_binary64_5909 cbrt-div_binary64_5225 unswap-sqr_binary64_2092 pow-prod-down_binary64_1854 associate-/r/_binary64_24 diff-log_binary64_5285 flip3-+_binary64_5878 flip3--_binary64_4515 sqrt-pow1_binary64_4870 distribute-lft-neg-out_binary64_1060 sin-sum_binary64_2598 difference-of-sqr-1_binary64_1753 exp-sum_binary64_2511 sqrt-pow1_binary64_2142 sqrt-div_binary64_4187 +-commutative_binary64_1372 exp-diff_binary64_2172 div-inv_binary64_5872 difference-of-sqr-1_binary64_3458 clear-num_binary64_1441 unswap-sqr_binary64_5502 clear-num_binary64_5874 sub-neg_binary64_4845 rec-exp_binary64_5584 cbrt-unprod_binary64_4544 sin-mult_binary64_4666 rem-sqrt-square_binary64_4865 clear-num_binary64_4851 *-commutative_binary64_4783 rec-exp_binary64_2515 cancel-sign-sub-inv_binary64_5159 pow-exp_binary64_1169 +-commutative_binary64_3418 exp-sum_binary64_5921 distribute-lft-out_binary64_5826 frac-2neg_binary64_1453 diff-log_binary64_4603 frac-times_binary64_3498 exp-diff_binary64_1490 div-exp_binary64_5926 sqrt-div_binary64_1800 log-prod_binary64_1869 +-commutative_binary64_2054 flip-+_binary64_5849 1-exp_binary64_5578 rem-sqrt-square_binary64_3160 div-sub_binary64_2470 rem-sqrt-square_binary64_2137 frac-times_binary64_5885 asin-acos_binary64_1622 associate-+r-_binary64_2058 associate-+l+_binary64_1375 sub-neg_binary64_4504 cos-sum_binary64_1576 pow-flip_binary64_2198 cancel-sign-sub-inv_binary64_1067 associate-*r/_binary64_2066 asin-acos_binary64_4691 cube-mult_binary64_1472 unpow3_binary64_1508 unpow-prod-down_binary64_2544 associate-*r/_binary64_5817 pow-to-exp_binary64_1170 sum-log_binary64_2215 associate-/r*_binary64_4114 pow-prod-up_binary64_1512 diff-log_binary64_4944 cbrt-prod_binary64_1132 pow1/3_binary64_5275 diff-log_binary64_3239 associate-/l/_binary64_4117 diff-log_binary64_5967 diff-log_binary64_511 1-exp_binary64_2509 frac-2neg_binary64_4863 pow-sqr_binary64_1415 pow-to-exp_binary64_4580 cos-atan_binary64_4008 sub-neg_binary64_3481 +-commutative_binary64_2736 associate-*l*_binary64_1724 rem-sqrt-square_binary64_3501 rem-cbrt-cube_binary64_1466 prod-exp_binary64_4560
3×	1-exp_binary64_463 associate-*l*_binary64_2747 frac-2neg_binary64_3499 pow1/3_binary64_2888 pow1/2_binary64_840 div-sub_binary64_4857 rec-exp_binary64 associate--r+_binary64_4447 div-sub_binary64_765 rem-log-exp_binary64_3188 1-exp_binary64 associate-/l/_binary64_4799 rem-exp-log_binary64_1482 unpow2_binary64_1166 associate-+l+_binary64_3080 diff-log_binary64_4262 associate-*l*_binary64_3770 pow-unpow_binary64_1519 distribute-frac-neg_binary64_2087 pow-prod-down_binary64_4241 pow-unpow_binary64_1860 acos-neg_binary64_2307 *-commutative_binary64_4442 sum-log_binary64_510 distribute-frac-neg_binary64_1064 sqrt-undiv_binary64_781 distribute-frac-neg_binary64_2428 cos-diff_binary64_1579 distribute-lft-neg-in_binary64_1058 pow-pow_binary64_150 associate--r-_binary64_1381 cbrt-unprod_binary64_3521 associate-*r/_binary64_1725 rec-exp_binary64_469 diff-log_binary64_1534 clear-num_binary64_3487 pow1/3_binary64_3911 distribute-rgt-neg-in_binary64_1059 distribute-lft-out--_binary64_4463 cbrt-div_binary64_2156 cancel-sign-sub-inv_binary64_4136 rem-log-exp_binary64_801 sum-log_binary64_5966 +-commutative_binary64_5805 unswap-sqr_binary64_4479 exp-prod_binary64_2176 pow-prod-down_binary64_3559 tan-quot_binary64_1260 *-commutative_binary64_4101 associate-*r/_binary64_4112 associate--l+_binary64_3425 *-commutative_binary64_3419 associate-*r*_binary64_3769 pow1/3_binary64_160 pow-prod-down_binary64_831 cbrt-undiv_binary64_3522 sqrt-pow1_binary64_778 pow-unpow_binary64_1178 sub-neg_binary64_4163 inv-pow_binary64_2209 unswap-sqr_binary64_2774 *-commutative_binary64_691 neg-sub0_binary64_2460 distribute-lft-neg-out_binary64
2×	associate-+r-_binary64_2740 div-sub_binary64_3152 associate-*l/_binary64_3431 frac-times_binary64_4180 rem-exp-log_binary64_1823 frac-add_binary64_3496 div-sub_binary64_4175 div-sub_binary64_1788 pow2_binary64_841 sqrt-pow1_binary64_1801 exp-sum_binary64_1829 rem-sqrt-square_binary64_1455 pow-plus_binary64_4233 diff-log_binary64 rem-cube-cbrt_binary64_1806 distribute-lft-neg-out_binary64_3106 exp-prod_binary64_4563 frac-add_binary64_1791 pow-prod-down_binary64_5946 rem-sqrt-square_binary64_91 sqrt-pow1_binary64_96 cbrt-unprod_binary64_5908 sub-neg_binary64_1094 frac-2neg_binary64_89 rem-log-exp_binary64_1483 unpow2_binary64_484 cbrt-div_binary64_1815 clear-num_binary64_4169 pow-flip_binary64_2539 frac-add_binary64 pow-plus_binary64_823 log-pow_binary64_2213 clear-num_binary64_77 difference-cubes_binary64_4513 pow1/2_binary64_1863 frac-2neg_binary64_4181 div-inv_binary64_5190 *-commutative_binary64_5465 associate-*l/_binary64_5818 frac-sub_binary64_428 pow-sqr_binary64_4143 sin-diff_binary64_3283 sin-mult_binary64_3302 pow2_binary64_4251 cube-div_binary64_448 associate-*l/_binary64_4113 sin-mult_binary64_1597 pow-prod-down_binary64_5605 associate-*l/_binary64_2067 pow1/3_binary64_2206 exp-to-pow_binary64_4573 *-commutative_binary64_1714 associate-*r/_binary64_3430 pow-prod-up_binary64_4240 distribute-rgt-in_binary64_2415 pow-flip_binary64_3221 distribute-lft-out--_binary64_5145 diff-log_binary64_1193 diff-log_binary64_852 pow-plus_binary64 sqrt-pow1_binary64_1460 unswap-sqr_binary64_5843 distribute-lft-in_binary64_2414 pow1/2_binary64_1522 distribute-rgt-in_binary64_2074 distribute-rgt1-in_binary64_716 prod-exp_binary64_5924 cube-div_binary64_1812 pow-prod-up_binary64_830 inv-pow_binary64_2550 pow-sqr_binary64_733 frac-times_binary64_2134 pow-exp_binary64_1851 sub-neg_binary64_753 pow-pow_binary64 log-div_binary64_1529 pow1/2_binary64_158 pow-plus_binary64_1505 associate-*l/_binary64_5136 rem-sqrt-square_binary64_1796 *-commutative_binary64_5806 log-div_binary64_2211 +-commutative_binary64_349 inv-pow_binary64_3232 difference-of-sqr--1_binary64_1413 pow2_binary64 distribute-lft-in_binary64_2073 sqr-pow_binary64_3119 sum-log_binary64_169 associate-+l-_binary64_2741 div-sub_binary64_2811
1×	+-commutative_binary64_8 rem-log-exp_binary64_4552 sqrt-unprod_binary64 rem-exp-log_binary64_2164 pow-prod-down_binary64_3900 rem-cbrt-cube_binary64_102 +-commutative_binary64_1031 pow1/3_binary64_501 unswap-sqr_binary64_3797 pow-flip_binary64_4926 rem-cube-cbrt_binary64_101 frac-times_binary64_4862 rem-log-exp_binary64_2165 cbrt-div_binary64_451 sqr-pow_binary64_1755 pow-pow_binary64_1855 tanh-def-b_binary64_607 distribute-frac-neg_binary64_723 *-commutative_binary64_2737 distribute-frac-neg_binary64_3110 pow-pow_binary64_1173 cube-mult_binary64_1813 exp-diff_binary64_808 pow-sqr_binary64_5848 unpow3_binary64_1849 inv-pow_binary64_4937 associate--l+_binary64_15 associate-+r+_binary64_2738 frac-sub_binary64_1451 prod-exp_binary64_3878 inv-pow_binary64_504 inv-pow_binary64_5619 sum-log_binary64_1192 pow-prod-down_binary64_2877 tanh-undef_binary64_614 sum-log_binary64 neg-sub0_binary64_755 pow-flip_binary64 rem-log-exp_binary64_1824 rem-cbrt-cube_binary64_443 neg-sub0_binary64_3142 pow-prod-up_binary64_5945 cube-mult_binary64_1131 cos-atan_binary64_1280 tanh-def-a_binary64_606 rem-log-exp_binary64_5916 div-sub_binary64 sin-diff_binary64_2601 pow2_binary64_5956 unpow3_binary64_1167 pow2_binary64_1523 exp-diff_binary64_5923 pow-flip_binary64_493 inv-pow_binary64 atan-neg_binary64_1285 pow1/3_binary64_1183 pow-exp_binary64_1510 swap-sqr_binary64_1409 *-commutative_binary64_3760 associate-*r/_binary64_4794 neg-mul-1_binary64_1097 pow-to-exp_binary64_1852 log-div_binary64_5962 associate-+r-_binary64_3422 rem-cube-cbrt_binary64_442 cube-div_binary64_4540 associate--r+_binary64_355 rem-square-sqrt_binary64 pow-flip_binary64_5608 cbrt-unprod_binary64_3862 unswap-sqr_binary64_1751 frac-sub_binary64_2133 pow-plus_binary64_5938 associate-/l/_binary64_5481 mul0-rgt_binary64 associate--r+_binary64_3424 associate-*l/_binary64_4795 sqrt-unprod_binary64_3508 pow-to-exp_binary64_1511 un-div-inv_binary64_4850 div-sub_binary64_1106 associate--l+_binary64 unpow1/3_binary64_1509 tanh-def-c_binary64_608 pow-pow_binary64_1514 div-sub_binary64_424 cos-neg_binary64_1232

Calls

656 calls:

286.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))))
227.0ms	(*.f64 (sin.f64 phi1) (cos.f64 phi2))
214.0ms	(+.f64 (/.f64 1 x) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) (sqrt.f64 x)) (sqrt.f64 x)))
211.0ms	(log.f64 (+.f64 (/.f64 1 x) (/.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) (sqrt.f64 x)) (sqrt.f64 x))))
106.0ms	(/.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b) (sqrt.f64 3)) (/.f64 (sqrt.f64 3) (/.f64 1 a)))