rewrite12.3s (1.1%)

Algorithm

189×	rewrite-expression-head

Rules

3235×	times-frac_binary64_84
2427×	*-un-lft-identity_binary64_78
2238×	add-sqr-sqrt_binary64_100
1719×	add-exp-log_binary64
1415×	add-cube-cbrt_binary64_113
1234×	add-exp-log_binary64_3867
1186×	prod-exp_binary64
941×	associate-*l/_binary64_362
843×	*-un-lft-identity_binary64_760
793×	add-cbrt-cube_binary64
791×	flip3--_binary64_423 flip--_binary64_394
754×	times-frac_binary64_2812
737×	times-frac_binary64_766
713×	add-sqr-sqrt_binary64_782
707×	difference-of-squares_binary64_47
692×	pow-exp_binary64_3897
687×	prod-exp_binary64_3878
606×	add-exp-log_binary64_457 frac-times_binary64_429
597×	*-un-lft-identity_binary64_1101
593×	div-exp_binary64_3880
576×	sqrt-div_binary64_2141
540×	add-sqr-sqrt_binary64_1123
536×	*-un-lft-identity_binary64_2806 frac-add_binary64_427
529×	add-sqr-sqrt_binary64
515×	add-sqr-sqrt_binary64_2828
507×	*-un-lft-identity_binary64_1783
497×	add-cube-cbrt_binary64_795
495×	cbrt-unprod_binary64
468×	add-cbrt-cube_binary64_455
461×	add-cube-cbrt_binary64_2841
454×	add-exp-log_binary64_798
431×	pow1_binary64
412×	add-cbrt-cube_binary64_796
403×	add-sqr-sqrt_binary64_1805
385×	times-frac_binary64_1789
383×	*-un-lft-identity_binary64
376×	add-cube-cbrt_binary64_1136
361×	times-frac_binary64_1107
360×	add-exp-log_binary64_116
351×	add-sqr-sqrt_binary64_441
344×	pow-to-exp_binary64_3898
341×	*-un-lft-identity_binary64_1442
335×	cbrt-div_binary64_451
313×	pow1_binary64_480
310×	*-un-lft-identity_binary64_419
308×	associate-*r/_binary64_361
302×	add-exp-log_binary64_1139
301×	times-frac_binary64_425
299×	add-cbrt-cube_binary64_1137
290×	add-cbrt-cube_binary64_114 add-cube-cbrt_binary64_1818
287×	add-cube-cbrt_binary64
282×	add-sqr-sqrt_binary64_1464
274×	add-cube-cbrt_binary64_454
270×	prod-exp_binary64_468
256×	pow-prod-down_binary64
242×	associate-*r/_binary64_2066
241×	sqrt-div_binary64_436
230×	*-un-lft-identity_binary64_3829
228×	sqrt-div_binary64_1118
223×	times-frac_binary64_1448
222×	associate-/r*_binary64_22
217×	distribute-lft-out_binary64_29 add-exp-log_binary64_1480
216×	unpow-prod-down_binary64_157
214×	add-cbrt-cube_binary64_1478
208×	associate-*l/_binary64_2067
207×	add-cube-cbrt_binary64_1477
206×	div-exp_binary64
202×	cbrt-unprod_binary64_452 times-frac_binary64
200×	frac-times_binary64_2134
194×	flip-+_binary64_2098 flip3-+_binary64_2127
191×	add-sqr-sqrt_binary64_3851
180×	sqr-pow_binary64_50
177×	pow1_binary64_1162
171×	unpow2_binary64_143
169×	associate-*r*_binary64
165×	pow1_binary64_139
162×	associate-/r/_binary64_24
160×	add-sqr-sqrt_binary64_2146
156×	frac-sub_binary64_2133
147×	sqrt-prod_binary64_1117 cbrt-prod_binary64_3178 *-un-lft-identity_binary64_2124
142×	associate-*l*_binary64_19 add-log-exp_binary64_1140 pow1_binary64_821
136×	add-log-exp_binary64_799 associate-*r/_binary64_1043 sqrt-prod_binary64
133×	div-exp_binary64_811
129×	associate-*r*_binary64_1041
127×	div-inv_binary64_75
126×	associate-*l*_binary64
125×	add-cube-cbrt_binary64_2159
122×	prod-exp_binary64_809 log-prod_binary64_3915
121×	associate-*r*_binary64_700
119×	associate-/l*_binary64_705
118×	add-sqr-sqrt_binary64_3510 cancel-sign-sub-inv_binary64_726
117×	pow-prod-down_binary64_490
116×	cbrt-undiv_binary64_794 1-exp_binary64_3873 add-sqr-sqrt_binary64_3169 rec-exp_binary64_3879 associate-/l*_binary64_2751 distribute-neg-frac_binary64_2088
114×	div-exp_binary64_470 distribute-lft-out--_binary64_30
111×	flip3-+_binary64_1104 flip-+_binary64_1075
110×	cbrt-unprod_binary64_793
108×	add-exp-log_binary64_1821 difference-of-squares_binary64 cbrt-prod_binary64
105×	distribute-lft-out_binary64_711
104×	add-log-exp_binary64_117
103×	add-log-exp_binary64
102×	difference-of-squares_binary64_729
101×	div-exp_binary64_129 add-log-exp_binary64_458 associate-*r*_binary64_18
100×	flip3--_binary64_2128 add-cube-cbrt_binary64_3864 flip--_binary64_2099 associate-*l*_binary64_360 associate-/r*_binary64_704
98×	associate-*l/_binary64_1044
97×	cancel-sign-sub-inv_binary64_1749
96×	pow-exp_binary64
95×	times-frac_binary64_2130
94×	*-un-lft-identity_binary64_3147 unpow-prod-down_binary64_1862 add-cube-cbrt_binary64_3182
93×	associate-/l*_binary64_1046
91×	associate-*r*_binary64_359
90×	exp-prod_binary64_130
88×	cbrt-prod_binary64_2837 *-un-lft-identity_binary64_3488
86×	distribute-lft-out_binary64_1734
85×	add-cube-cbrt_binary64_3523
84×	associate-*r*_binary64_1382
82×	add-exp-log_binary64_3526 unpow-prod-down_binary64 associate-/l*_binary64_23 add-exp-log_binary64_2844
81×	flip3--_binary64_1105 flip--_binary64_1076
80×	distribute-lft-neg-in_binary64_1058 distribute-rgt-neg-in_binary64_1059 associate-/l/_binary64_2071
79×	add-exp-log_binary64_2162
78×	add-cbrt-cube_binary64_2842 cancel-sign-sub-inv_binary64_1067 add-log-exp_binary64_1822
77×	times-frac_binary64_3835 cube-prod_binary64_1811 cos-mult_binary64_573 add-sqr-sqrt_binary64_2487
76×	cbrt-prod_binary64_1814 pow1_binary64_2185
75×	associate-/l/_binary64_1048
74×	cancel-sign-sub-inv_binary64
73×	*-un-lft-identity_binary64_2465 add-cbrt-cube_binary64_1819 prod-exp_binary64_1491 pow1_binary64_3890 log-prod_binary64_846
72×	exp-prod_binary64_1494
71×	difference-of-squares_binary64_1070 prod-exp_binary64_1150 cbrt-unprod_binary64_1134 cbrt-undiv_binary64
70×	associate-/r*_binary64_1045
69×	prod-exp_binary64_127 times-frac_binary64_3494 cbrt-undiv_binary64_112 add-cbrt-cube_binary64_2160
68×	frac-times_binary64_1111
67×	log-prod_binary64_164 cbrt-unprod_binary64_1475 associate-+r+_binary64_1715
66×	cbrt-undiv_binary64_1135 exp-diff_binary64_467 cbrt-undiv_binary64_453 add-log-exp_binary64_1481 log-div_binary64_506 div-exp_binary64_1152 distribute-neg-frac_binary64_1065
65×	times-frac_binary64_3153
64×	frac-add_binary64_1109 log-pow_binary64_167 div-inv_binary64_757 add-cube-cbrt_binary64_2500
63×	log-prod_binary64_1869 distribute-lft-out_binary64_1052 pow1_binary64_1844
62×	pow1_binary64_1503
60×	exp-sum_binary64_806 cbrt-unprod_binary64_111
59×	flip3-+_binary64_763 flip-+_binary64_734
58×	unpow-prod-down_binary64_839
57×	distribute-lft-out_binary64_1393
56×	cancel-sign-sub-inv_binary64_3795 cbrt-undiv_binary64_1476 div-exp_binary64_1493
54×	div-inv_binary64_2803 sqr-pow_binary64
53×	flip-+_binary64_52 flip3-+_binary64_81
52×	log-pow_binary64_1531 flip--_binary64_735 flip3--_binary64_764
51×	associate-/r*_binary64_1727 sqrt-prod_binary64_2140 associate-*r/_binary64_702
50×	add-cbrt-cube_binary64_3524
49×	flip--_binary64_53 pow-to-exp_binary64 sqrt-prod_binary64_435 flip3--_binary64_82
48×	add-log-exp_binary64_3868 add-cbrt-cube_binary64_3865
47×	associate-/r*_binary64_1386 flip3--_binary64 flip--_binary64 unswap-sqr_binary64 sqrt-prod_binary64_1799
46×	distribute-lft-out--_binary64_1053 add-log-exp_binary64_2163 difference-of-squares_binary64_3798
44×	distribute-lft-neg-in_binary64_376 distribute-rgt-neg-in_binary64_377
43×	distribute-lft-out--_binary64_712 unpow2_binary64 associate-*r*_binary64_2064 associate-/r/_binary64_706 frac-times_binary64
42×	associate-/l*_binary64_364
41×	sqrt-prod_binary64_776 associate-/l/_binary64_707 associate-/r*_binary64_2750 cbrt-prod_binary64_450 pow1_binary64_3549
40×	distribute-rgt-in_binary64_710 log-div_binary64_3916 distribute-lft-in_binary64_709 associate-*l/_binary64
39×	times-frac_binary64_2471 distribute-lft-neg-in_binary64_2081 distribute-rgt-neg-in_binary64_2082 pow-unpow_binary64_155
38×	sqrt-prod_binary64_94 add-exp-log_binary64_3185 associate-/l*_binary64_1728 unswap-sqr_binary64_46 associate-*r*_binary64_3087
37×	difference-of-squares_binary64_1752 associate-*l*_binary64_1042 associate-*r/_binary64 add-log-exp_binary64_3527 pow-prod-down_binary64_1172
36×	frac-sub_binary64_769 div-inv_binary64_1780 unpow-prod-down_binary64_3908 pow1_binary64_3208
35×	associate--l+_binary64_3766 log-pow_binary64_3918
34×	distribute-lft-out--_binary64_1735 associate-*l*_binary64_2065 sqrt-prod_binary64_1458 cancel-sign-sub-inv_binary64_44
33×	associate-/l*_binary64_1387
32×	distribute-lft-out--_binary64 pow1_binary64_2867 sqrt-prod_binary64_3504
31×	add-log-exp_binary64_2504 *-commutative_binary64_350 associate-*l*_binary64_701 unpow-prod-down_binary64_1521 add-exp-log_binary64_2503
30×	distribute-lft-out--_binary64_3781 unpow-prod-down_binary64_498 add-log-exp_binary64_2845 div-exp_binary64_2857 associate-/r/_binary64_2752 distribute-lft-out--_binary64_2758 associate--r+_binary64_3765
29×	unswap-sqr_binary64_387 distribute-lft-out_binary64_3780 pow1_binary64_2526 pow-prod-down_binary64_149
28×	associate-/r/_binary64_1047 add-cbrt-cube_binary64_2501 cbrt-prod_binary64_3519 associate-/l*_binary64_2069 add-cbrt-cube_binary64_3183 cbrt-undiv_binary64_2840 div-inv_binary64_1098 frac-2neg_binary64_771 associate-*r*_binary64_3428 clear-num_binary64_759 pow-exp_binary64_487
27×	cancel-sign-sub-inv_binary64_2772 flip3-+_binary64_422 flip3-+_binary64_1786 div-inv_binary64_416 flip-+_binary64_1757 flip-+_binary64_393 add-log-exp_binary64_3186
26×	associate-/r*_binary64_363 pow-prod-down_binary64_831
25×	*-commutative_binary64_9 sub-neg_binary64_1094 sqrt-pow1_binary64_1119
24×	flip3-+_binary64_3832 flip-+_binary64_3803 *-commutative_binary64
23×	difference-of-squares_binary64_2775 associate-*l*_binary64_1383 div-exp_binary64_1834 sub-neg_binary64_753 cube-prod_binary64_1470 associate-*r*_binary64_1723
22×	pow-prod-down_binary64_2195 sqr-pow_binary64_1755 clear-num_binary64_1100 frac-2neg_binary64_1112 prod-exp_binary64_3537
21×	associate-/r*_binary64 frac-times_binary64_770 div-inv_binary64
20×	associate-/r/_binary64_1388 sqrt-pow1_binary64_2142 frac-2neg_binary64_89 associate-/l/_binary64_25 pow1/3_binary64 clear-num_binary64_77 associate-/l*_binary64 sqr-pow_binary64_391 associate-/l/_binary64_366 pow-exp_binary64_146 distribute-rgt-in_binary64 diff-log_binary64_852 cbrt-div_binary64_3520 cos-sum_binary64_1235 distribute-lft-in_binary64 associate-*l*_binary64_1724
19×	associate-/r/_binary64_1729 associate-*l/_binary64_21 swap-sqr_binary64 unpow-prod-down_binary64_2203 cancel-sign-sub-inv_binary64_385 cube-prod_binary64_106 unpow-prod-down_binary64_1180 neg-mul-1_binary64_1097
18×	flip3-+_binary64 flip3--_binary64_3492 div-inv_binary64_1439 flip--_binary64_3463 cube-prod_binary64_2493 diff-log_binary64_1193 associate-/r*_binary64_2068 unpow-prod-down_binary64_2544 div-exp_binary64_3539 difference-of-squares_binary64_1411 flip-+_binary64
17×	pow-to-exp_binary64_147 pow1/3_binary64_3229 prod-exp_binary64_2173 distribute-neg-frac_binary64_383
16×	flip--_binary64_3804 cancel-sign-sub-inv_binary64_1408 difference-of-sqr--1_binary64_1754 unpow2_binary64_484 cbrt-div_binary64_1133 associate-*l*_binary64_3770 log-div_binary64_1870 pow-pow_binary64_150 sqr-pow_binary64_732 associate-*r/_binary64_20 sqrt-div_binary64_3505 log-prod_binary64_505 pow1/2_binary64_1181 unswap-sqr_binary64_1410 flip3--_binary64_3833
15×	log-pow_binary64_1872 cancel-sign-sub-inv_binary64_2431 distribute-lft-out_binary64_370 sum-log_binary64_1874 prod-exp_binary64_1832
14×	sin-cos-mult_binary64_575 cube-prod_binary64_447 sub-neg_binary64 unpow3_binary64_826 flip-+_binary64_1416 flip3-+_binary64_1445 sin-mult_binary64_574 sqrt-div_binary64_777
13×	div-sub_binary64_3152 cbrt-undiv_binary64_1817 associate-*l*_binary64_3429 diff-log_binary64_1875 *-commutative_binary64_1032 unswap-sqr_binary64_2092 cube-mult_binary64_1813 log-prod_binary64_1528 unpow3_binary64_1849 associate-*l*_binary64_3088 sin-diff_binary64_3283 pow-to-exp_binary64_488
12×	associate--r+_binary64_2401 difference-of-squares_binary64_3457 div-inv_binary64_3826 associate-/r*_binary64_3432 pow-prod-down_binary64_1513 cube-prod_binary64_788 associate-/r*_binary64_2409 clear-num_binary64_1441 associate-+l+_binary64_1716 associate--l+_binary64_1038 cos-sum_binary64_553 frac-2neg_binary64_1453 distribute-neg-in_binary64_1744 frac-sub_binary64_1110 cbrt-prod_binary64_2155 unswap-sqr_binary64_1069 rem-sqrt-square_binary64_1114 clear-num_binary64_2805 div-exp_binary64_2175 sub-neg_binary64_71 frac-2neg_binary64_2817 cbrt-prod_binary64_2496
11×	associate-*l/_binary64_703 cbrt-undiv_binary64_2158 pow1/2_binary64_2204 flip3--_binary64_1787 rec-exp_binary64_128 distribute-rgt-neg-out_binary64 unswap-sqr_binary64_3456 1-exp_binary64_122 cbrt-unprod_binary64_2157 cosh-undef_binary64_1636 associate-/r/_binary64_365 neg-mul-1_binary64_415 flip--_binary64_1758 *-commutative_binary64_691
10×	cbrt-div_binary64_2838 associate-/l/_binary64 +-commutative_binary64_1031 frac-2neg_binary64_1794 unswap-sqr_binary64_3115 pow1/3_binary64_2888 pow-pow_binary64_491 pow1/2_binary64_840 neg-mul-1_binary64_2120 flip-+_binary64_2780 sin-sum_binary64_2598 exp-sum_binary64_465 sum-log_binary64_1192 sub-neg_binary64_3822 difference-of-sqr-1_binary64_730 cube-div_binary64_448 cbrt-unprod_binary64_3521 rem-sqrt-square_binary64_773 associate--l-_binary64_3767 distribute-lft-out_binary64_2757 clear-num_binary64_1782 rem-log-exp_binary64_3870 distribute-rgt-out_binary64_1736 cbrt-undiv_binary64_3522 unswap-sqr_binary64_1751 log-prod_binary64_2551 sqrt-pow1_binary64_778 pow-prod-up_binary64_489 sqrt-div_binary64
9×	associate-*r/_binary64_1384 unswap-sqr_binary64_728 sub-neg_binary64_412 distribute-lft-out_binary64_2075 unpow-prod-down_binary64_3226 diff-log_binary64_170 pow-prod-down_binary64_3218 pow-unpow_binary64_496 div-sub_binary64_3493 frac-sub_binary64_428 associate-*l*_binary64_2406 associate-/l*_binary64_3433 cos-diff_binary64_1238 *-commutative_binary64_1373 sub-neg_binary64_2458 diff-log_binary64_1534 frac-times_binary64_3498 associate-*r/_binary64_3430 flip3-+_binary64_2809 sum-log_binary64_2215 associate-*r*_binary64_3769 pow-prod-up_binary64 associate-*r*_binary64_2405 pow-unpow_binary64_1178 cube-prod_binary64_3175 diff-log_binary64_3921
8×	clear-num_binary64_418 sum-log_binary64_851 distribute-lft-neg-out_binary64_2083 tan-quot_binary64_237 distribute-lft-out_binary64 sin-sum_binary64_1234 sub-neg_binary64_1435 pow1/2_binary64 frac-2neg_binary64_430 log-pow_binary64_2554 flip3--_binary64_1446 sqrt-pow1_binary64_3506 distribute-lft-in_binary64_1050 distribute-frac-neg_binary64_2087 pow1/2_binary64_3568 flip--_binary64_2440 sqrt-prod_binary64_3845 associate-/r/_binary64_3775 flip3--_binary64_2469 rem-log-exp_binary64_1824 associate-/l/_binary64_2753 tan-quot_binary64_2965 flip--_binary64_1417 pow-plus_binary64_482 sqrt-pow1_binary64 sqrt-div_binary64_1800 swap-sqr_binary64_1068 rem-sqrt-square_binary64_2137 distribute-rgt-out_binary64_713 rem-sqrt-square_binary64 distribute-rgt-in_binary64_1051 pow-exp_binary64_1851 pow-sqr_binary64_392 associate--l+_binary64_697 associate--r-_binary64_3768 rem-sqrt-square_binary64_3501
7×	pow1/3_binary64_501 +-commutative_binary64_1713 diff-log_binary64 log-prod_binary64_1187 clear-num_binary64 div-sub_binary64_765 swap-sqr_binary64_386 difference-of-sqr-1_binary64_2776 cosh-undef_binary64_1977 sinh-undef_binary64_1976 +-commutative_binary64_690 sqr-pow_binary64_1414 cbrt-div_binary64 log-pow_binary64_1190 cube-prod_binary64_2152 frac-2neg_binary64 cbrt-unprod_binary64_3862 div-inv_binary64_2121 acos-asin_binary64_2646 cos-diff_binary64_556
6×	log-pow_binary64_508 frac-sub_binary64_1792 distribute-rgt-in_binary64_1733 unpow3_binary64_2531 sqr-pow_binary64_2437 sum-log_binary64_1533 pow-unpow_binary64_3906 associate-/l/_binary64_1389 distribute-lft-in_binary64_1732 sqrt-prod_binary64_2481 difference-of-squares_binary64_388 swap-sqr_binary64_45 distribute-rgt-in_binary64_28 *-commutative_binary64_2055 exp-prod_binary64_2517 frac-sub_binary64 div-inv_binary64_3144 unpow3_binary64_144 pow-unpow_binary64_837 exp-prod_binary64_1153 distribute-lft-in_binary64_27 clear-num_binary64_2123 swap-sqr_binary64_727 cube-mult_binary64_2495 distribute-rgt-in_binary64_2415 associate-/r/_binary64_2070 cube-mult_binary64_108 distribute-lft-in_binary64_2414 associate-*r/_binary64_3771 sum-log_binary64_3920 rec-exp_binary64_810 associate-/l*_binary64_3092 sub-neg_binary64_1776 rem-cube-cbrt_binary64_442 cbrt-prod_binary64_1132 difference-of-sqr-1_binary64_48 distribute-lft-out--_binary64_1394 1-exp_binary64_804 div-sub_binary64_1106 frac-2neg_binary64_2135 exp-prod_binary64_471 pow-pow_binary64_3901 difference-of-sqr-1_binary64_1412 acos-asin_binary64_3669
5×	associate-*l/_binary64_3431 associate-/l/_binary64_1730 cbrt-div_binary64_3179 diff-log_binary64_2557 cbrt-unprod_binary64_3180 1-exp_binary64_1827 associate--r+_binary64_1719 pow-exp_binary64_828 rec-exp_binary64_1833 distribute-rgt-in_binary64_3779 pow2_binary64_500 distribute-frac-neg_binary64_1064 sqr-pow_binary64_2096 prod-exp_binary64_3196 +-commutative_binary64_3759 tan-quot_binary64_2283 distribute-lft-in_binary64_3778 cbrt-unprod_binary64_1816 pow-to-exp_binary64_1852 sqrt-pow1_binary64_437 pow-sqr_binary64 pow1/2_binary64_499 diff-log_binary64_511 div-inv_binary64_3485
4×	1-exp_binary64_3532 rec-exp_binary64_3538 cbrt-undiv_binary64_3863 difference-of-squares_binary64_2434 frac-times_binary64_1793 acos-asin_binary64_600 cos-atan_binary64_2985 cube-mult_binary64_449 exp-prod_binary64_3881 difference-of-sqr-1_binary64_1753 exp-sum_binary64_2511 associate-/r*_binary64_3091 diff-log_binary64_3580 +-commutative_binary64_1372 associate--l+_binary64_1720 neg-sub0_binary64_1096 associate-+r-_binary64_1717 cancel-sign-sub-inv_binary64_3454 associate-*l/_binary64_1726 associate-+r+_binary64_1033 pow1/3_binary64_3570 sin-sum_binary64_552 rem-log-exp_binary64_119 cube-mult_binary64_790 flip--_binary64_2781 pow-exp_binary64_1510 pow1/3_binary64_1865 exp-sum_binary64_1147 sqrt-div_binary64_3846 unpow3_binary64_485 associate-+r-_binary64_3422 cube-div_binary64_2494 frac-add_binary64_2132 sum-cubes_binary64_1443 exp-sum_binary64_1488 pow-to-exp_binary64_1511 sub-neg_binary64_3481 pow-pow_binary64_1514 rem-sqrt-square_binary64_432
3×	pow-prod-down_binary64_3900 sin-mult_binary64_2620 unswap-sqr_binary64_3797 associate--r-_binary64_2404 cube-mult_binary64_3177 pow-to-exp_binary64_829 associate-*l*_binary64_2747 inv-pow_binary64_1868 sqrt-pow1_binary64_1801 frac-2neg_binary64_3499 cos-diff_binary64_3625 pow-pow_binary64_1855 *-commutative_binary64_2396 associate-*r*_binary64_2746 frac-add_binary64_1791 flip3--_binary64_2810 pow-pow_binary64_1173 cancel-sign-sub-inv_binary64_2090 div-exp_binary64_2516 distribute-rgt-neg-in_binary64_3787 distribute-lft-out--_binary64_2076 rem-log-exp_binary64_1483 pow-flip_binary64_1857 unpow2_binary64_1166 pow-unpow_binary64_1519 pow-unpow_binary64_1860 pow1/2_binary64_1863 difference-of-sqr-1_binary64 unpow3_binary64_3213 sum-log_binary64_510 flip3-+_binary64_3491 cbrt-unprod_binary64_2498 pow-unpow_binary64_2542 cos-atan_binary64_2303 acos-neg_binary64_3671 pow-exp_binary64_1169 exp-sum_binary64_3875 unswap-sqr_binary64_2433 pow-unpow_binary64 clear-num_binary64_3487 *-commutative_binary64_1714 rem-cbrt-cube_binary64_3171 *-commutative_binary64_3078 distribute-lft-out--_binary64_371 pow-plus_binary64 flip-+_binary64_3462 associate--r+_binary64_696 *-commutative_binary64_3760 pow-prod-down_binary64_3559 pow-to-exp_binary64_1170 *-commutative_binary64_3419 pow-prod-down_binary64_2536 distribute-frac-neg_binary64_3451 prod-exp_binary64_2514 distribute-lft-neg-in_binary64_3786 sqr-pow_binary64_1073 rem-sqrt-square_binary64_1796 +-commutative_binary64_349 associate--l-_binary64_1039 pow2_binary64 associate-+l+_binary64_3762 sqr-pow_binary64_3119 sum-log_binary64_169 distribute-lft-neg-out_binary64 associate-/l*_binary64_2410 cos-diff_binary64_2602
2×	+-commutative_binary64_8 frac-times_binary64_1452 log-div_binary64_2552 pow-to-exp_binary64_2534 associate--l+_binary64_1379 atan-neg_binary64_2308 pow-exp_binary64_2533 pow-prod-up_binary64_148 distribute-rgt-in_binary64_369 inv-pow_binary64_163 sin-cos-mult_binary64_1257 rem-cube-cbrt_binary64_1806 pow-prod-down_binary64_1854 frac-sub_binary64_87 pow-sqr_binary64_51 rec-exp_binary64_2856 pow-plus_binary64_141 frac-add_binary64_768 pow-exp_binary64_2192 frac-add_binary64 sinh-def_binary64_1968 cube-mult_binary64_2154 associate-*l/_binary64_1385 distribute-rgt1-in_binary64_1739 sum-log_binary64 sqrt-div_binary64_2482 associate-+r+_binary64_3761 cos-neg_binary64_2255 rem-cbrt-cube_binary64_443 sqr-pow_binary64_3801 pow2_binary64_159 associate-*r/_binary64_1725 distribute-lft-in_binary64_368 1-exp_binary64_2850 pow-flip_binary64_2880 +-commutative_binary64_2054 unpow3_binary64_2190 pow1/2_binary64_3909 pow1/3_binary64_1183 rem-log-exp_binary64_801 distribute-rgt1-in_binary64_716 inv-pow_binary64_2891 cube-div_binary64_1812 rem-log-exp_binary64_460 pow-to-exp_binary64_2193 cube-mult_binary64_1472 unpow3_binary64_1508 un-div-inv_binary64_1781 asin-acos_binary64_2645 div-sub_binary64_83 div-sub_binary64_2129 sqrt-pow1_binary64_3847 inv-pow_binary64_3914 distribute-lft-out_binary64_2416 sin-diff_binary64_1237 neg-sub0_binary64_2119 sub-div_binary64_426 un-div-inv_binary64_758 rem-log-exp_binary64_2506 associate-*r/_binary64_3089 pow-flip_binary64_3903 cbrt-div_binary64_2497 pow-flip_binary64_152 exp-diff_binary64_2513 pow-pow_binary64_832 exp-diff_binary64_3877 div-sub_binary64_424 frac-times_binary64_88
1×	sqrt-unprod_binary64 distribute-rgt-out--_binary64_1396 rem-cube-cbrt_binary64_2488 unpow2_binary64_825 exp-to-pow_binary64_822 cbrt-undiv_binary64_3181 rem-cube-cbrt_binary64_1465 div-sub_binary64_1788 rem-cube-cbrt_binary64_101 pow-plus_binary64_1164 distribute-lft-neg-out_binary64_3788 sinh-undef_binary64_2317 pow2_binary64_841 tanh-def-b_binary64_1971 clear-num_binary64_3146 log-div_binary64_1188 exp-prod_binary64_812 tanh-def-c_binary64_1972 pow-prod-up_binary64_1171 *-commutative_binary64_2737 cosh-def_binary64_1969 difference-of-sqr-1_binary64_2435 +-commutative_binary64_2395 neg-sub0_binary64_1778 sin-diff_binary64_555 div-sub_binary64_1447 pow2_binary64_1182 sum-log_binary64_2556 rem-exp-log_binary64_118 exp-to-pow_binary64_481 rem-exp-log_binary64_1482 neg-mul-1_binary64_3825 rem-cbrt-cube_binary64_2148 cbrt-div_binary64_1815 rem-exp-log_binary64_800 pow-plus_binary64_823 sqr-abs_binary64_434 tanh-def-a_binary64_1970 frac-2neg_binary64_2476 distribute-rgt-neg-out_binary64_1061 pow-prod-down_binary64_2877 clear-num_binary64_3828 inv-pow_binary64_845 associate-+l-_binary64_1718 prod-exp_binary64_2855 pow-flip_binary64_834 neg-sub0_binary64_414 rem-cbrt-cube_binary64_2830 sqrt-pow1_binary64_2483 rem-exp-log_binary64_459 log-pow_binary64_849 associate-+r+_binary64_2056 +-commutative_binary64_3418 rem-exp-log_binary64_3869 pow1/3_binary64_2206 sub-neg_binary64_2799 pow-sqr_binary64_1074 associate--r-_binary64_1722 exp-diff_binary64_1490 cbrt-unprod_binary64_2839 div-sub_binary64 pow1/3_binary64_2547 frac-times_binary64_2816 flip3-+_binary64_2468 difference-of-squares_binary64_2093 cbrt-undiv_binary64_2499 diff-log_binary64_2216 log-div_binary64_847 distribute-lft-out--_binary64_2417 cbrt-div_binary64_2156 neg-log_binary64_1876 rem-sqrt-square_binary64_2478 cos-acos_binary64_2631 pow-pow_binary64_2537 tanh-undef_binary64_1978 log-div_binary64_165 rem-cbrt-cube_binary64_1807 sub-neg_binary64_2117 associate-/l*_binary64_3774 pow3_binary64_2889 associate-/r*_binary64_3773 div-exp_binary64_3198 frac-2neg_binary64_3840 div-inv_binary64_2462 un-div-inv_binary64_2122 frac-sub_binary64_2815 pow-prod-up_binary64_830 associate-*r/_binary64_2748 pow-prod-up_binary64_1512 distribute-lft1-in_binary64_1738 sqr-abs_binary64 pow-sqr_binary64_733 rem-log-exp_binary64_1142 pow1/2_binary64_2545 exp-diff_binary64_1149 frac-2neg_binary64_3158 sum-log_binary64_3579 pow-pow_binary64 +-commutative_binary64 associate-+l+_binary64_2057 1-exp_binary64_2168 sqr-cos-a_binary64_568 cos-sum_binary64_3622 log-div_binary64_1529 sinh-def_binary64_2309 mul0-rgt_binary64 rem-cbrt-cube_binary64_2489 cube-div_binary64_2153 associate-*l/_binary64_2749 frac-add_binary64_2473 unswap-sqr_binary64_2774 sqrt-pow2_binary64_438 diff-log_binary64_2898 clear-num_binary64_2464 distribute-frac-neg_binary64_382 sin-mult_binary64_1256 associate--l+_binary64 rec-exp_binary64_2174 flip-+_binary64_2439 associate--r+_binary64_14

Calls

654 calls:

456.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))))
100.0ms	(+.f64 (neg.f64 (*.f64 2 (log.f64 (cbrt.f64 x)))) (log.f64 (+.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) (cbrt.f64 x)) (/.f64 1 (cbrt.f64 x)))))
89.0ms	(/.f64 (sqrt.f64 (*.f64 (*.f64 (/.f64 8 (pow.f64 (*.f64 x-scale y-scale) 2)) (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (*.f64 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a))) (*.f64 2 (/.f64 (*.f64 a a) (*.f64 y-scale y-scale)))))) (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a))))
75.0ms	(*.f64 (/.f64 (sqrt.f64 (*.f64 (*.f64 (/.f64 8 (pow.f64 (*.f64 x-scale y-scale) 2)) (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (*.f64 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a))) (*.f64 2 (/.f64 (*.f64 a a) (*.f64 y-scale y-scale)))))) (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2))
70.0ms	(/.f64 (/.f64 1 (+.f64 1 (pow.f64 (tan.f64 x) 2))) (/.f64 1 (-.f64 1 (pow.f64 (tan.f64 x) 2))))