rewrite11.9s (4.2%)

Algorithm

102×	rewrite-expression-head

Rules

14547×	frac-times_binary64
13509×	associate-*r/_binary64
10835×	flip3-+_binary64 flip-+_binary64
7872×	frac-add_binary64
4970×	associate-/l/_binary64
4830×	associate-*l/_binary64
2892×	flip3--_binary64 flip--_binary64
2420×	times-frac_binary64_425
1611×	times-frac_binary64
1563×	*-un-lft-identity_binary64_419
1399×	times-frac_binary64_84
1356×	*-un-lft-identity_binary64
1349×	add-sqr-sqrt_binary64
1091×	add-sqr-sqrt_binary64_441
1044×	add-sqr-sqrt_binary64_100
1016×	add-cube-cbrt_binary64_454
978×	*-un-lft-identity_binary64_78
778×	times-frac_binary64_2471
734×	add-cube-cbrt_binary64
719×	add-exp-log_binary64
683×	add-sqr-sqrt_binary64_2487
676×	sqrt-prod_binary64
603×	times-frac_binary64_1107
582×	add-cube-cbrt_binary64_113
548×	*-un-lft-identity_binary64_1101
545×	*-un-lft-identity_binary64_2465
488×	add-cbrt-cube_binary64
433×	cbrt-prod_binary64
388×	add-sqr-sqrt_binary64_1123
373×	add-cube-cbrt_binary64_2500
365×	associate-*r*_binary64
343×	add-sqr-sqrt_binary64_3169
310×	add-cube-cbrt_binary64_1136
287×	associate-/l*_binary64_364
284×	cancel-sign-sub-inv_binary64_1067
283×	distribute-lft-out_binary64_370
268×	div-exp_binary64
265×	prod-exp_binary64
259×	times-frac_binary64_1448
256×	times-frac_binary64_3153
254×	cbrt-undiv_binary64
251×	cbrt-unprod_binary64
250×	add-sqr-sqrt_binary64_2828
249×	associate-*r*_binary64_2405
239×	times-frac_binary64_2812
237×	*-un-lft-identity_binary64_1442 *-un-lft-identity_binary64_2806
233×	add-exp-log_binary64_457
230×	add-sqr-sqrt_binary64_1464
229×	difference-of-squares_binary64
193×	times-frac_binary64_4176
185×	add-sqr-sqrt_binary64_4192
178×	*-un-lft-identity_binary64_3147 difference-of-squares_binary64_2434
175×	difference-of-squares_binary64_3116
172×	difference-of-squares_binary64_47
169×	add-cube-cbrt_binary64_1477
163×	*-un-lft-identity_binary64_3488
156×	add-cbrt-cube_binary64_455
149×	swap-sqr_binary64
143×	add-exp-log_binary64_116 distribute-lft-out_binary64_1052
141×	*-un-lft-identity_binary64_4170
139×	add-cube-cbrt_binary64_2841
138×	distribute-lft-out--_binary64
135×	add-cube-cbrt_binary64_4205
132×	add-log-exp_binary64_3527
129×	add-exp-log_binary64_2503
128×	add-cbrt-cube_binary64_2501
127×	div-inv_binary64_416
122×	div-exp_binary64_470 associate-*l*_binary64
120×	add-cube-cbrt_binary64_3182
111×	distribute-lft-out_binary64_29
101×	*-un-lft-identity_binary64_1783
100×	add-cbrt-cube_binary64_114
99×	div-inv_binary64_1098
97×	pow1_binary64 associate-/r*_binary64_363
94×	distribute-lft-out_binary64
91×	add-sqr-sqrt_binary64_3851 add-exp-log_binary64_1480
90×	frac-sub_binary64_769
89×	add-sqr-sqrt_binary64_782
88×	pow1_binary64_3549 associate-/l*_binary64_23 unpow-prod-down_binary64_2544
87×	times-frac_binary64_3835
86×	add-cube-cbrt_binary64_3864 *-un-lft-identity_binary64_3829 add-log-exp_binary64_2163 distribute-lft-out--_binary64_30
85×	sqr-pow_binary64_2437
84×	associate-/r*_binary64 distribute-lft-out_binary64_3439 difference-of-sqr-1_binary64_2435
81×	distribute-lft-in_binary64_1050 distribute-rgt-in_binary64_1051
80×	exp-neg_binary64_807 *-un-lft-identity_binary64_760 frac-times_binary64_770
78×	unpow-prod-down_binary64_3226
77×	sum-log_binary64_3579
76×	add-cbrt-cube_binary64_1478 sqr-pow_binary64_3119
73×	associate-*r*_binary64_359
71×	cbrt-undiv_binary64_453
70×	associate-*l*_binary64_360
65×	sqrt-prod_binary64_4186
64×	associate-*l*_binary64_1042
63×	add-log-exp_binary64
62×	exp-diff_binary64_808
60×	sqrt-prod_binary64_3845 neg-sub0_binary64_755
58×	associate-/l*_binary64 pow1_binary64_2526 div-inv_binary64 pow1_binary64_139
57×	add-sqr-sqrt_binary64_3510 sqrt-prod_binary64_3163
56×	add-exp-log_binary64_4208
55×	add-cube-cbrt_binary64_795
54×	add-exp-log_binary64_1139
53×	add-cbrt-cube_binary64_1137 *-un-lft-identity_binary64_2124
52×	unswap-sqr_binary64 div-inv_binary64_75
51×	add-sqr-sqrt_binary64_2146 associate-*r*_binary64_18 add-log-exp_binary64_1822
50×	add-log-exp_binary64_2504 difference-of-squares_binary64_2775 cbrt-prod_binary64_1814 add-exp-log_binary64_2162
49×	associate-/r*_binary64_1386 distribute-lft-out_binary64_1734 associate-*l*_binary64_701
48×	associate-*l/_binary64_703 pow1_binary64_1162
47×	add-cbrt-cube_binary64_2160
46×	cancel-sign-sub-inv_binary64_1408 difference-of-squares_binary64_388 associate-/r*_binary64_22
45×	pow1_binary64_2185 div-inv_binary64_2462
44×	associate-/r/_binary64_24
43×	cancel-sign-sub-inv_binary64_44
41×	div-exp_binary64_129 add-cube-cbrt_binary64_3523 unpow-prod-down_binary64_1521 flip--_binary64_735 flip3--_binary64_764
40×	associate-/r*_binary64_2750 prod-exp_binary64_468 cancel-sign-sub-inv_binary64_385 associate-*r/_binary64_702 add-log-exp_binary64_117 add-cbrt-cube_binary64_4206
38×	distribute-lft-out--_binary64_3099 add-exp-log_binary64_798
37×	add-log-exp_binary64_1481
36×	prod-exp_binary64_127 associate-*l*_binary64_3088 associate-/r*_binary64_2409 associate-/l*_binary64_2410
35×	associate-/r/_binary64 add-exp-log_binary64_3185 add-log-exp_binary64_799 add-cbrt-cube_binary64_3183 div-exp_binary64_1493 add-exp-log_binary64_2844
34×	cbrt-prod_binary64_450 associate-/r/_binary64_365 associate-*r*_binary64_1041
33×	associate-*l*_binary64_19 div-exp_binary64_2516 flip3-+_binary64_763 flip-+_binary64_734 flip3-+_binary64_3491 pow1_binary64_480 add-cube-cbrt_binary64_2159 cbrt-undiv_binary64_2499 distribute-lft-out--_binary64_2417 flip-+_binary64_3462 associate-/r*_binary64_4114 add-cbrt-cube_binary64_796
32×	sqrt-pow1_binary64_3506
30×	add-exp-log_binary64_3526 cbrt-unprod_binary64_2498 associate-*r*_binary64_3087 prod-exp_binary64_2514
29×	add-cbrt-cube_binary64_2842 cube-prod_binary64_1470 pow1_binary64_821
28×	cbrt-unprod_binary64_111 associate-/r*_binary64_3091 associate-/l*_binary64_1387 associate-*l*_binary64_2406 sqrt-prod_binary64_1458 add-cbrt-cube_binary64_3524 difference-of-squares_binary64_1411
27×	pow-prod-down_binary64 add-sqr-sqrt_binary64_1805 add-cube-cbrt_binary64_1818 add-log-exp_binary64_1140 pow-prod-down_binary64_3559 distribute-lft-out--_binary64_2758 pow1_binary64_1503
25×	cbrt-undiv_binary64_1476 cbrt-prod_binary64_3519 cbrt-unprod_binary64_452 diff-log_binary64_2216 add-log-exp_binary64_4209 pow1_binary64_2867
24×	associate-*l*_binary64_4111 div-inv_binary64_1439 associate-*r/_binary64_3430 associate-*r*_binary64_3428 cbrt-undiv_binary64_112 associate-*r*_binary64_4110 cancel-sign-sub-inv_binary64_1749
23×	associate-/r/_binary64_1388 flip-+_binary64_4144 flip3-+_binary64_4173 add-log-exp_binary64_458 associate-/l*_binary64_3092
22×	pow1_binary64_4231 difference-of-sqr-1_binary64_2776 unpow-prod-down_binary64_1862 distribute-lft-out_binary64_1393 add-log-exp_binary64_3186
21×	distribute-rgt-neg-in_binary64_3787 associate-*r*_binary64_2064 flip3-+_binary64_1104 associate-/r/_binary64_4116 associate-*r*_binary64_700 sum-log_binary64_1874 flip-+_binary64_1075 distribute-lft-neg-in_binary64_3786
20×	flip--_binary64_53 cbrt-prod_binary64_109 flip3--_binary64_82 un-div-inv_binary64_758
19×	add-log-exp_binary64_3868 cancel-sign-sub-inv_binary64_2772 associate-*l*_binary64_3429 add-exp-log_binary64_3867 cancel-sign-sub-inv_binary64_2090 add-cbrt-cube_binary64_3865 prod-exp_binary64_2173 pow-prod-down_binary64_149 div-exp_binary64_4221
18×	cbrt-div_binary64_110 cube-mult_binary64_3177 difference-of-squares_binary64_1070 cancel-sign-sub-inv_binary64_726 add-log-exp_binary64_2845 cube-prod_binary64_3175 pow1_binary64_3890
17×	sqrt-prod_binary64_2481 unpow3_binary64_3213 cbrt-unprod_binary64_2157 sum-log_binary64_2215 unpow-prod-down_binary64_839 associate-*r/_binary64_2407
16×	pow-prod-down_binary64_2195 sqrt-div_binary64_4187 associate-*r/_binary64_1043 cube-prod_binary64_1811 pow1_binary64_3208 associate-/l*_binary64_3774 sqrt-div_binary64_3505 associate-/l*_binary64_2751 sqrt-div_binary64
15×	distribute-rgt-neg-in_binary64_3105 1-exp_binary64_463 distribute-lft-neg-in_binary64_3104 flip3--_binary64_1446 associate-/l*_binary64_4115 times-frac_binary64_766 flip--_binary64_1417 flip3-+_binary64_2468 associate-/r*_binary64_3773 unswap-sqr_binary64_46 distribute-lft-out--_binary64_1394 unswap-sqr_binary64_4138 distribute-rgt-out--_binary64_3101 flip-+_binary64_2439
14×	associate-/r/_binary64_1047 distribute-rgt-in_binary64_369 prod-exp_binary64_1150 cbrt-unprod_binary64_1134 clear-num_binary64 div-inv_binary64_2803 flip--_binary64_2440 associate-/l/_binary64_3094 flip3--_binary64_2469 associate-*l*_binary64_2065 unswap-sqr_binary64_2433 distribute-lft-in_binary64_368 distribute-lft-out--_binary64_371 frac-2neg_binary64 sqrt-div_binary64_3846
13×	unswap-sqr_binary64_728 cancel-sign-sub-inv_binary64_3113 flip-+_binary64_3121 associate-/l*_binary64_1046 flip3-+_binary64_3150 associate--l+_binary64_2061
12×	distribute-lft-out_binary64_711 frac-add_binary64_3496 flip3-+_binary64_422 cancel-sign-sub-inv_binary64_2431 associate-/r/_binary64_3093 pow1/2_binary64_3568 cancel-sign-sub-inv_binary64 pow-prod-up_binary64_3558 cbrt-prod_binary64_791 flip-+_binary64_393 associate-/r/_binary64_2411 pow-prod-down_binary64_1172 *-commutative_binary64
11×	cbrt-unprod_binary64_1475 add-exp-log_binary64_1821 flip-+_binary64_52 prod-exp_binary64_809 unswap-sqr_binary64_387 cube-prod_binary64_788 div-inv_binary64_4167 add-cbrt-cube_binary64_1819 cbrt-undiv_binary64_4204 prod-exp_binary64_1491 unswap-sqr_binary64_1069 pow-prod-down_binary64_2536 associate-/r/_binary64_2752 distribute-lft-out_binary64_2416 flip3-+_binary64_81 pow1_binary64_1844
10×	clear-num_binary64_418 swap-sqr_binary64_3455 associate-*l*_binary64_2747 *-commutative_binary64_1032 associate-*r*_binary64_2746 frac-2neg_binary64_430 flip3-+_binary64_1786 flip-+_binary64_1757 cbrt-div_binary64_1815 sqrt-div_binary64_3164 +-commutative_binary64_3418 div-exp_binary64_2857 sub-neg_binary64_2117 cube-div_binary64_1812
9×	pow1/3_binary64_501 cbrt-undiv_binary64_3181 unswap-sqr_binary64_3115 *-commutative_binary64_2396 flip3--_binary64_2810 flip-+_binary64_1416 flip3-+_binary64_1445 pow1/3_binary64_3570 rec-exp_binary64_469 swap-sqr_binary64_1068 flip--_binary64_3122 flip--_binary64_2781 div-exp_binary64_3198 flip3--_binary64_3151 cbrt-prod_binary64_1132 associate-+l+_binary64_3421
8×	flip3-+_binary64_3832 flip3--_binary64_2128 unpow-prod-down_binary64_157 flip-+_binary64_3803 rec-exp_binary64 unswap-sqr_binary64_3456 prod-exp_binary64_4219 1-exp_binary64 associate--r+_binary64_1719 frac-2neg_binary64_89 flip-+_binary64_2098 clear-num_binary64_77 clear-num_binary64_1441 flip3-+_binary64_2127 difference-of-squares_binary64_729 sqrt-div_binary64_1459 associate-/l/_binary64_366 distribute-lft-out--_binary64_1053 sqrt-div_binary64_2482 frac-2neg_binary64_1453 flip--_binary64_2099 diff-log_binary64_852 unpow-prod-down_binary64_2885 frac-times_binary64_1111 distribute-lft-out_binary64_2757 cbrt-prod_binary64_2837 associate-/l/_binary64_4117 pow-sqr_binary64_3461 log-prod_binary64_846 flip3--_binary64_1105 flip--_binary64_1076
7×	*-commutative_binary64_9 flip--_binary64_3804 distribute-lft-out_binary64_3098 rec-exp_binary64_128 flip-+_binary64_2780 diff-log_binary64_170 neg-mul-1_binary64_3825 1-exp_binary64_122 associate-/l/_binary64_2412 sum-log_binary64 div-sub_binary64 sqr-pow_binary64_1414 pow-exp_binary64_1510 flip3-+_binary64_2809 sqr-pow_binary64_732 cbrt-unprod_binary64_793 +-commutative_binary64 sub-neg_binary64_71 *-commutative_binary64_691 flip3--_binary64_3833
6×	flip3--_binary64_423 cbrt-div_binary64_451 diff-log_binary64_2557 swap-sqr_binary64_386 cbrt-prod_binary64_3860 1-exp_binary64_1486 distribute-lft-out--_binary64_2076 flip--_binary64_394 cbrt-div_binary64_1133 *-commutative_binary64_2055 frac-2neg_binary64_2476 cbrt-undiv_binary64_2840 associate-/r/_binary64_3775 div-inv_binary64_3144 sub-neg_binary64_2458 diff-log_binary64_1534 swap-sqr_binary64_2773 sub-neg_binary64_1776 sub-neg_binary64_753 rec-exp_binary64_1492 clear-num_binary64_2464 cbrt-div_binary64_2497 sqrt-prod_binary64_3504 div-inv_binary64_757
5×	pow-prod-down_binary64_490 distribute-lft-out_binary64_2075 sqrt-undiv_binary64 flip3--_binary64_1787 cbrt-undiv_binary64_1135 rem-sqrt-square_binary64_3842 sqr-pow_binary64_1755 unswap-sqr_binary64_2092 cbrt-unprod_binary64_3180 sub-neg_binary64_1435 associate-/r*_binary64_1045 neg-mul-1_binary64_3143 clear-num_binary64_4169 frac-2neg_binary64_4181 prod-exp_binary64_3537 associate-/l*_binary64_705 cbrt-unprod_binary64_3521 associate-+r+_binary64_3420 +-commutative_binary64_4100 associate-*r/_binary64_361 pow1/2_binary64_3909 frac-times_binary64_3157 prod-exp_binary64_3196 sum-log_binary64_4261 div-exp_binary64_1152 *-commutative_binary64_3419 sqrt-pow1_binary64_3847 pow-prod-down_binary64_831 flip--_binary64_1758 frac-times_binary64_88
4×	sub-neg_binary64_412 distribute-rgt-in_binary64_1733 sub-neg_binary64 exp-sum_binary64_806 diff-log_binary64_1875 +-commutative_binary64_1713 associate--l-_binary64 rem-sqrt-square_binary64_1455 clear-num_binary64_3146 diff-log_binary64 1-exp_binary64_4214 exp-prod_binary64_812 associate-/l/_binary64_1389 distribute-lft-in_binary64_1732 frac-add_binary64_1791 associate-/l/_binary64_3776 unpow-prod-down_binary64_2203 log-prod_binary64_1187 sub-neg_binary64_1094 sqr-pow_binary64_50 associate-/l/_binary64_25 cbrt-unprod_binary64_4203 cube-div_binary64_1471 rec-exp_binary64_4220 pow-flip_binary64 sqrt-pow1_binary64_2483 associate-+l+_binary64 cube-prod_binary64_106 pow1/2_binary64_4250 sqrt-pow1_binary64_4188 frac-times_binary64_3498 *-commutative_binary64_350 +-commutative_binary64_2054 distribute-rgt-in_binary64_2415 distribute-rgt-in_binary64_3438 frac-times_binary64_2816 distribute-lft-in_binary64_3437 difference-of-squares_binary64_2093 associate-+r+_binary64_1715 distribute-rgt-in_binary64 log-div_binary64_847 sqrt-pow1_binary64_1460 rem-sqrt-square_binary64_2478 distribute-lft-in_binary64_2414 pow1/2_binary64_1522 rem-sqrt-square_binary64_4183 associate-*l/_binary64_1044 cbrt-div_binary64_3861 clear-num_binary64_2805 associate-*r/_binary64_2748 pow1/3_binary64_160 pow1/2_binary64_2545 frac-2neg_binary64_3158 frac-sub_binary64_2133 pow-to-exp_binary64_1511 frac-2neg_binary64_2817 distribute-lft-in_binary64
3×	div-sub_binary64_3152 div-inv_binary64_3826 distribute-rgt-out--_binary64_2760 cancel-sign-sub-inv_binary64_3795 div-exp_binary64_3880 inv-pow_binary64_1527 cbrt-undiv_binary64_3863 associate-*l/_binary64_21 sum-log_binary64_1533 *-commutative_binary64_2737 unpow3_binary64_826 +-commutative_binary64_2395 cube-mult_binary64_1813 associate-*l/_binary64_3090 sum-log_binary64_2556 unpow3_binary64_1849 frac-sub_binary64_1451 pow-unpow_binary64_1519 pow-prod-down_binary64_2877 clear-num_binary64_3828 sub-neg_binary64_3822 frac-sub_binary64_428 sqrt-prod_binary64_2140 prod-exp_binary64_2855 pow-flip_binary64_1516 pow-unpow_binary64_2542 frac-times_binary64_429 sub-neg_binary64_2799 pow-unpow_binary64_2883 cbrt-unprod_binary64_2839 pow1/3_binary64_2547 cube-mult_binary64_790 +-commutative_binary64_3077 pow1/3_binary64_1183 rem-cbrt-cube_binary64_1807 pow1/3_binary64_1865 associate-*r/_binary64_20 frac-2neg_binary64_3840 associate-/r*_binary64_704 associate-*r/_binary64_3089 unswap-sqr_binary64_2774 diff-log_binary64_2898 div-sub_binary64_3834 pow-pow_binary64_1514 sum-log_binary64_3238 diff-log_binary64_3921 cbrt-prod_binary64_2496
2×	associate-*l/_binary64_362 distribute-lft-out--_binary64_712 associate-*l/_binary64_3431 +-commutative_binary64_1031 pow-to-exp_binary64_147 sum-log_binary64_851 rem-cube-cbrt_binary64_1465 pow-to-exp_binary64_829 pow-plus_binary64_3551 pow1/2_binary64_3227 inv-pow_binary64_163 distribute-neg-frac_binary64_3111 log-div_binary64_1188 associate-/l/_binary64_707 pow1/2_binary64 rec-exp_binary64_2856 distribute-lft-in_binary64_2755 pow-exp_binary64_828 +-commutative_binary64_1372 sum-log_binary64_1192 sub-neg_binary64_3140 associate-+r+_binary64 associate-/l/_binary64_2753 log-pow_binary64_849 associate-*l/_binary64_2408 sqrt-pow1_binary64 sqr-pow_binary64_2096 pow-exp_binary64_146 1-exp_binary64_2850 pow1/3_binary64_3911 pow2_binary64_3569 rem-sqrt-square_binary64_3160 div-sub_binary64_2470 diff-log_binary64_1193 associate--r+_binary64_2060 cbrt-div_binary64_792 inv-pow_binary64 sqrt-pow1_binary64_3165 cube-div_binary64_789 sqr-pow_binary64_2778 rem-sqrt-square_binary64 cube-mult_binary64_1472 unpow3_binary64_1508 associate--l-_binary64_2062 difference-of-sqr--1_binary64_2095 pow-sqr_binary64_392 frac-times_binary64_2475 diff-log_binary64_3239 associate--l+_binary64_697 diff-log_binary64_511 associate-*l/_binary64_2749 pow-prod-up_binary64_489 distribute-rgt-out--_binary64_32 pow-flip_binary64_152 distribute-rgt-in_binary64_2756
1×	associate-*r/_binary64_1384 sqrt-unprod_binary64 distribute-rgt1-in_binary64_3103 pow-exp_binary64_2874 cbrt-undiv_binary64_794 frac-times_binary64_4180 pow-to-exp_binary64_2534 associate--l+_binary64_1379 rem-cbrt-cube_binary64_784 pow-plus_binary64_1164 pow-exp_binary64_2533 pow1/3_binary64_2888 neg-sub0_binary64_3824 rem-square-sqrt_binary64_3500 pow-prod-up_binary64_1171 pow2_binary64_1182 pow-exp_binary64_2192 rem-exp-log_binary64_800 clear-num_binary64_1100 inv-pow_binary64_504 pow-prod-down_binary64_4241 frac-2neg_binary64_1112 pow-prod-down_binary64_3218 pow-pow_binary64_2878 associate-/l/_binary64_1048 pow2_binary64_500 distribute-frac-neg_binary64_3792 unpow3_binary64_144 associate-*l/_binary64_4113 pow-prod-up_binary64_2876 pow-sqr_binary64_2779 pow-plus_binary64_482 pow1/3_binary64_2206 frac-2neg_binary64_771 pow-sqr_binary64_1074 pow-to-exp_binary64_2875 pow-flip_binary64_2880 pow1/3_binary64_842 *-commutative_binary64_3078 pow-plus_binary64 cube-mult_binary64_108 pow-flip_binary64_493 pow-pow_binary64_2537 log-pow_binary64_1190 cbrt-prod_binary64_2155 rem-log-exp_binary64_801 inv-pow_binary64_2891 pow-to-exp_binary64_2193 *-commutative_binary64_4101 frac-sub_binary64_2815 associate-*r/_binary64_4112 pow2_binary64_2887 clear-num_binary64_759 frac-add_binary64_1450 pow-sqr_binary64 rem-log-exp_binary64_1142 pow-flip_binary64_4244 rem-square-sqrt_binary64 distribute-rgt-out_binary64_3100 pow-prod-up_binary64 div-exp_binary64_811 un-div-inv_binary64 inv-pow_binary64_4255 pow2_binary64 pow-plus_binary64_2869 sub-div_binary64_2813 sqrt-unprod_binary64_3508 difference-of-squares_binary64_3798 div-sub_binary64_2811

Calls

276 calls:

549.0ms	(/.f64 (+.f64 (*.f64 (*.f64 (+.f64 (*.f64 x1 x1) 1) (+.f64 (-.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (*.f64 x1 (*.f64 x1 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1))))) (*.f64 3 (+.f64 (*.f64 x1 x1) -1))) (*.f64 (*.f64 (+.f64 (*.f64 x1 x1) 1) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (+.f64 x1 (+.f64 (*.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (/.f64 (*.f64 x1 (+.f64 (*.f64 2 (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 x1 4))) (+.f64 (*.f64 x1 x1) 1))) (*.f64 (*.f64 x1 x1) -6))) (+.f64 (pow.f64 x1 4) -1)))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (+.f64 (pow.f64 x1 4) -1)))
96.0ms	(*.f64 (/.f64 (sqrt.f64 (-.f64 1 x)) (sqrt.f64 (+.f64 1 x))) (/.f64 (sqrt.f64 (-.f64 1 x)) (sqrt.f64 (+.f64 1 x))))
88.0ms	(*.f64 (/.f64 (*.f64 (cbrt.f64 r) (cbrt.f64 r)) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))) (*.f64 r w))) (/.f64 (cbrt.f64 r) (/.f64 (cbrt.f64 (-.f64 1 v)) w)))
67.0ms	(+.f64 (*.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (*.f64 x1 (*.f64 x1 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (+.f64 (+.f64 (*.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (/.f64 (*.f64 x1 (+.f64 (*.f64 (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3) 2) (*.f64 x1 4))) (+.f64 (*.f64 x1 x1) 1))) (*.f64 (*.f64 x1 x1) -6)) x1)))
65.0ms	(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))