rewrite5.7s (3.4%)

Algorithm

110×	rewrite-expression-head

Rules

3152×	times-frac_binary64_773
2166×	*-un-lft-identity_binary64_767
1540×	times-frac_binary64_85
1516×	add-sqr-sqrt_binary64_789
1394×	add-cube-cbrt_binary64_802
1375×	*-un-lft-identity_binary64_79
1233×	add-sqr-sqrt_binary64_101
895×	times-frac_binary64_2149
774×	add-cube-cbrt_binary64_114
728×	times-frac_binary64_3525
617×	add-sqr-sqrt_binary64_3541
572×	*-un-lft-identity_binary64_2143
564×	add-sqr-sqrt_binary64_2165
559×	times-frac_binary64
522×	add-sqr-sqrt_binary64
505×	*-un-lft-identity_binary64
487×	times-frac_binary64_3181
485×	cancel-sign-sub-inv_binary64_45
474×	*-un-lft-identity_binary64_3519
447×	add-exp-log_binary64_805
395×	add-exp-log_binary64
394×	distribute-lft-out_binary64_718
376×	add-cube-cbrt_binary64_2178
370×	add-cbrt-cube_binary64
364×	*-un-lft-identity_binary64_1111
342×	associate-*r/_binary64
337×	cancel-sign-sub-inv_binary64_733
332×	add-cube-cbrt_binary64_3554
318×	add-cube-cbrt_binary64
313×	add-sqr-sqrt_binary64_3197
312×	add-sqr-sqrt_binary64_2509
297×	*-un-lft-identity_binary64_3175
295×	add-cube-cbrt_binary64_3210
293×	add-sqr-sqrt_binary64_445
289×	times-frac_binary64_1117
284×	cbrt-div_binary64
277×	distribute-lft-out_binary64_30
255×	add-sqr-sqrt_binary64_1133
242×	associate-*r*_binary64_3459
234×	associate-/l*_binary64_712 add-cube-cbrt_binary64_1146
233×	sqrt-prod_binary64_3191
232×	add-cbrt-cube_binary64_803
227×	div-exp_binary64_818
217×	frac-times_binary64
216×	flip3--_binary64 flip--_binary64
212×	*-un-lft-identity_binary64_423
199×	times-frac_binary64_429
197×	div-inv_binary64_764
180×	associate-*r*_binary64
177×	div-inv_binary64_76
176×	*-un-lft-identity_binary64_1799
172×	prod-exp_binary64
170×	cbrt-unprod_binary64
169×	add-exp-log_binary64_117 difference-of-squares_binary64_2456
168×	difference-of-squares_binary64_3488
167×	associate-/r*_binary64_711
160×	pow1_binary64
151×	difference-of-squares_binary64_48
142×	frac-add_binary64
141×	add-cube-cbrt_binary64_458
138×	times-frac_binary64_2493
136×	add-exp-log_binary64_2181
135×	add-log-exp_binary64_1838
134×	add-cbrt-cube_binary64_115
126×	*-un-lft-identity_binary64_2487
124×	add-cbrt-cube_binary64_2179
121×	add-exp-log_binary64_461
120×	pow1_binary64_828
116×	associate-*l/_binary64
108×	add-log-exp_binary64_806
106×	difference-of-squares_binary64
105×	prod-exp_binary64_816
102×	add-exp-log_binary64_1149
96×	add-cbrt-cube_binary64_1147 associate-/r*_binary64_2087
95×	add-cbrt-cube_binary64_459
92×	distribute-lft-out--_binary64_2095 difference-of-squares_binary64_2112
90×	pow1_binary64_1860
89×	add-cube-cbrt_binary64_2522 associate-/l*_binary64_24
88×	unpow-prod-down_binary64_3598
87×	cbrt-undiv_binary64_801 pow1_binary64_140 unpow-prod-down_binary64_2566 *-un-lft-identity_binary64_2831
86×	cbrt-undiv_binary64 associate-*r*_binary64_19 div-exp_binary64
85×	associate-*l*_binary64_20 distribute-lft-out_binary64_1062 add-exp-log_binary64_1837 sqr-pow_binary64_3491
84×	difference-of-sqr-1_binary64_3489
83×	sqr-pow_binary64_2459
82×	add-cbrt-cube_binary64_1835
81×	frac-sub_binary64_432
80×	exp-neg_binary64_470 frac-times_binary64_433
78×	cbrt-prod_binary64
77×	add-sqr-sqrt_binary64_1821 associate-*l*_binary64_708 distribute-rgt-in_binary64_29 distribute-lft-in_binary64_28
75×	distribute-lft-out_binary64_1750
74×	pow-prod-down_binary64 sum-log_binary64_1890 add-log-exp_binary64_118
72×	associate-/r*_binary64_23 unpow-prod-down_binary64_158
70×	add-log-exp_binary64 distribute-lft-out--_binary64_31 associate-/r/_binary64_25 associate-/r*_binary64_1055
67×	sqrt-prod_binary64_2159
66×	associate-*r*_binary64_1051
63×	add-log-exp_binary64_462
62×	add-exp-log_binary64_3557 difference-of-squares_binary64_736
61×	associate-*l*_binary64_364 neg-sub0_binary64_418 add-exp-log_binary64_3213 cancel-sign-sub-inv_binary64 add-cbrt-cube_binary64_3555 difference-of-squares_binary64_392
60×	associate-/r*_binary64 exp-diff_binary64_471
59×	distribute-lft-out--_binary64
58×	add-log-exp_binary64_1150
54×	add-cube-cbrt_binary64_1834
53×	cube-prod_binary64_107
52×	*-un-lft-identity_binary64_1455
51×	flip3--_binary64_427 flip--_binary64_398
50×	1-exp_binary64_811 div-exp_binary64_2194
49×	distribute-rgt-neg-in_binary64_2101 distribute-lft-out_binary64_2782 associate-*l*_binary64 pow1_binary64_2548
48×	associate-/r*_binary64_3119
47×	pow1_binary64_1172
46×	sqrt-prod_binary64_2503 pow1_binary64_484
45×	associate-*r*_binary64_707 add-cbrt-cube_binary64_3211 cbrt-prod_binary64_110 associate-/r/_binary64_1057
44×	pow-prod-down_binary64_838 flip3-+_binary64_770 flip-+_binary64_741
43×	flip3-+_binary64_1114 flip-+_binary64_1085
42×	cbrt-unprod_binary64_800 associate-/r/_binary64_713 associate-*l/_binary64_366
41×	cbrt-undiv_binary64_2177 add-log-exp_binary64_2870
40×	sqrt-prod_binary64_95 sqrt-prod_binary64_439 associate-*r/_binary64_365 associate-/l*_binary64_3120 pow1_binary64_3580
38×	div-inv_binary64_3516 div-exp_binary64_130 add-exp-log_binary64_2525 add-cbrt-cube_binary64_2523 cbrt-prod_binary64_2862
37×	associate-/r/_binary64_2089 div-inv_binary64_1108 cbrt-unprod_binary64_2176 prod-exp_binary64_2192 prod-exp_binary64_128 associate-*r*_binary64_1739
36×	add-log-exp_binary64_2182 flip--_binary64_54 add-log-exp_binary64_2526 flip3--_binary64_83 sqrt-div_binary64_3192 sqrt-prod_binary64_1127 exp-prod_binary64_1163 associate-/r*_binary64_367
35×	flip-+_binary64_53 div-inv_binary64 associate-/r/_binary64_3121 flip3-+_binary64_82
34×	associate-/l*_binary64_1056 cube-mult_binary64_2517
33×	cbrt-unprod_binary64_1832 associate-/l*_binary64 associate-*l*_binary64_1740 pow-prod-down_binary64_1870 prod-exp_binary64_1848
32×	add-sqr-sqrt_binary64_1477 prod-exp_binary64_472
31×	distribute-lft-out--_binary64_375 distribute-lft-out--_binary64_2439
30×	add-cube-cbrt_binary64_1490 flip3-+_binary64_426 flip-+_binary64_397 sqrt-prod_binary64
29×	sqrt-prod_binary64_783
28×	distribute-lft-out--_binary64_3471 div-exp_binary64_1162 unswap-sqr_binary64_47
27×	div-exp_binary64_474 cbrt-prod_binary64_798 associate-*r*_binary64_2083
26×	associate-/r*_binary64_3463 pow1_binary64_2204 log-prod_binary64_1885 cbrt-undiv_binary64_113 unpow3_binary64_2553 associate-/l*_binary64_368
25×	flip--_binary64_2118 associate-*r/_binary64_709 cbrt-unprod_binary64_112 associate-*l*_binary64_3460 flip3--_binary64_2147 distribute-rgt-in_binary64 distribute-lft-in_binary64
24×	rec-exp_binary64_817 div-inv_binary64_2140 cbrt-undiv_binary64_1145 cancel-sign-sub-inv_binary64_1421 associate-*l*_binary64_2428 pow1_binary64_3236 associate-*r*_binary64_2427 associate-*r*_binary64_3115
23×	flip3-+_binary64 flip3-+_binary64_1802 flip-+_binary64_1773 distribute-lft-out--_binary64_719 associate-/l*_binary64_2088 flip-+_binary64 cbrt-undiv_binary64_457
22×	sqr-pow_binary64_51 cancel-sign-sub-inv_binary64_2453 div-exp_binary64_3226
21×	difference-of-sqr--1_binary64_50 pow1/2_binary64_847 sum-log_binary64_2922 sqrt-pow1_binary64_785
20×	add-log-exp_binary64_3558 unpow-prod-down_binary64_1534 flip3-+_binary64_3178 associate-/l/_binary64_1058 flip-+_binary64_3149 cancel-sign-sub-inv_binary64_2109 un-div-inv_binary64_421 cbrt-unprod_binary64_456 associate-/l*_binary64_2432 cancel-sign-sub-inv_binary64_389
19×	sub-neg_binary64 associate-/r/_binary64 pow1_binary64_1516 sum-log_binary64_858 log-pow_binary64_1200 add-log-exp_binary64_3214 add-log-exp_binary64_1494
18×	div-inv_binary64_3172 flip-+_binary64_2461 associate-+l+_binary64 flip3-+_binary64_2490 cube-prod_binary64_2515 associate-*r*_binary64_363 cbrt-div_binary64_799 sqrt-div_binary64_784
17×	associate-/l/_binary64_714 pow-prod-down_binary64_150 distribute-lft-in_binary64_716 distribute-rgt-in_binary64_717
16×	associate-/l*_binary64_3464 sqrt-div_binary64_2504 *-commutative_binary64
15×	cbrt-prod_binary64_2518 cbrt-unprod_binary64_3552 diff-log_binary64_859 diff-log_binary64_515 distribute-rgt-out--_binary64_2441 unswap-sqr_binary64_391 unpow-prod-down_binary64_502 prod-exp_binary64_3568
14×	cancel-sign-sub-inv_binary64_1077 distribute-lft-out_binary64 frac-2neg_binary64_1122 flip--_binary64_742 frac-2neg_binary64_90 unswap-sqr_binary64 unswap-sqr_binary64_3487 cbrt-undiv_binary64_3209 clear-num_binary64_78 flip3--_binary64_771 clear-num_binary64_1110
13×	add-cube-cbrt_binary64_2866 unswap-sqr_binary64_735 unpow-prod-down_binary64_2910 frac-2neg_binary64_778 cube-prod_binary64_2859 add-sqr-sqrt_binary64_2853 *-commutative_binary64_1730 div-inv_binary64_420 associate-/l/_binary64_3122 swap-sqr_binary64_2454 clear-num_binary64_766 add-exp-log_binary64_1493 sub-neg_binary64_72
12×	flip--_binary64_3150 cube-div_binary64_108 sqrt-div_binary64_1128 flip3--_binary64_3179 div-exp_binary64_3570 sub-neg_binary64_760 cbrt-undiv_binary64_3553 cbrt-prod_binary64_1486 cbrt-div_binary64_111 cube-prod_binary64_451 associate-/r*_binary64_2431 cbrt-prod_binary64_1142
11×	pow-exp_binary64_147 sub-neg_binary64_416 prod-exp_binary64_1160 pow-prod-down_binary64_3590 add-cbrt-cube_binary64_1491 associate-*l*_binary64_1052 cbrt-unprod_binary64_1144 difference-of-squares_binary64_1080 sum-log_binary64 frac-times_binary64_89
10×	log-prod_binary64_3605 associate-*r/_binary64_1741 distribute-lft-out_binary64_1406 *-commutative_binary64_10 +-commutative_binary64_1729 cbrt-div_binary64_2519 associate-*r/_binary64_3461 sqrt-pow1_binary64_2505 flip3-+_binary64_2834 pow1/2_binary64_2567 flip-+_binary64_2805 distribute-lft-out_binary64_2438 diff-log_binary64_171 log-div_binary64_1886 distribute-rgt-out_binary64_2440
9×	difference-of-squares_binary64_1768 pow1/3_binary64_849 +-commutative_binary64_1041 clear-num_binary64 swap-sqr_binary64_46 associate-/r/_binary64_369 unpow-prod-down_binary64_1190 +-commutative_binary64_697 unswap-sqr_binary64_2455 distribute-lft-in_binary64_1404 frac-2neg_binary64 distribute-rgt-in_binary64_1405 associate-*r/_binary64_21 *-commutative_binary64_3450 sum-log_binary64_1202 flip--_binary64_1086 flip3--_binary64_1115
8×	sqrt-div_binary64_2160 rec-exp_binary64_129 prod-exp_binary64_3224 flip3-+_binary64_3522 rem-log-exp_binary64_464 associate--r+_binary64_1391 1-exp_binary64_123 pow-prod-up_binary64_837 cube-div_binary64_2860 distribute-rgt1-in_binary64_2443 frac-add_binary64_1807 cbrt-div_binary64_2863 associate-+r+_binary64 flip-+_binary64_3493 sqrt-div_binary64_440 diff-log_binary64_2235 pow-to-exp_binary64_148 div-sub_binary64 log-prod_binary64_1541 log-pow_binary64_1888 sqrt-div_binary64_96 pow-prod-down_binary64_2558 exp-sum_binary64_1501
7×	frac-times_binary64_777 pow1_binary64_2892 exp-sum_binary64_3565 distribute-lft-in_binary64_1748 diff-log_binary64 unpow-prod-down_binary64 add-cbrt-cube_binary64_2867 pow-exp_binary64_491 sqrt-unprod_binary64_787 distribute-rgt-in_binary64_1749 add-exp-log_binary64_2869 unswap-sqr_binary64_1767 sqr-pow_binary64_395
6×	rem-sqrt-square_binary64_3188 flip--_binary64_2462 associate-+r+_binary64_1731 cbrt-unprod_binary64_2520 pow-to-exp_binary64_492 sqrt-prod_binary64_1815 pow-unpow_binary64_156 associate--l-_binary64 sub-neg_binary64_1448 swap-sqr_binary64_1422 flip-+_binary64_1429 *-commutative_binary64_2418 frac-2neg_binary64_3186 associate--r+_binary64_1735 *-commutative_binary64_698 flip3--_binary64_2491 log-div_binary64_3606 *-commutative_binary64_354 associate-*l/_binary64_22 distribute-lft-out_binary64_2094 cube-mult_binary64_109 unswap-sqr_binary64_1079 flip3-+_binary64_1458 clear-num_binary64_3174 frac-times_binary64_1121 sqrt-pow1_binary64_3193 pow1/2_binary64_3255 prod-exp_binary64_2536 pow-sqr_binary64_740 pow-unpow_binary64_1532 pow-flip_binary64_153 distribute-lft-out--_binary64_1751 associate-+l+_binary64_1732 unpow3_binary64_145
5×	flip--_binary64_1430 clear-num_binary64_2142 flip--_binary64_1774 difference-of-sqr-1_binary64_2457 associate-*l/_binary64_710 flip3--_binary64_1459 neg-sub0_binary64_2138 associate-*r/_binary64_1053 pow-prod-up_binary64_2557 sum-log_binary64_170 sqr-pow_binary64_1427 pow1/3_binary64_2569 clear-num_binary64_422 flip3--_binary64_1803 sub-neg_binary64_2136 unswap-sqr_binary64_3143 frac-2neg_binary64_434 associate--l+_binary64_1736 associate-/l/_binary64_26 frac-2neg_binary64_2154
4×	rem-sqrt-square_binary64_2156 frac-add_binary64_2839 associate-*r*_binary64_1395 pow1/2_binary64_2223 +-commutative_binary64_2417 +-commutative_binary64_9 associate-/l/_binary64 div-sub_binary64_3180 associate-/l/_binary64_3466 inv-pow_binary64_164 frac-times_binary64_3185 exp-diff_binary64_3567 frac-times_binary64_2497 exp-prod_binary64_3571 log-prod_binary64_509 sqrt-pow1_binary64_2161 1-exp_binary64_3219 pow-pow_binary64_1527 rem-sqrt-square_binary64_436 pow-pow_binary64_151 associate-*r/_binary64_2429 log-pow_binary64_512 distribute-lft-in_binary64_3468 associate--r+_binary64_703 associate-/r/_binary64_3465 sum-log_binary64_2578 sqrt-prod_binary64_1471 pow1/2_binary64_1191 pow-plus_binary64 associate-*l/_binary64_1054 pow1/2_binary64_503 pow-unpow_binary64_500 rem-sqrt-square_binary64_1124 associate-*l/_binary64_3118 distribute-rgt-in_binary64_3469 diff-log_binary64_1547 associate-+l+_binary64_700 associate-/l/_binary64_2434 pow1/3_binary64_161 neg-log_binary64_2236 +-commutative_binary64 cbrt-unprod_binary64_3208 rem-sqrt-square_binary64_2500 associate-*l*_binary64_1396 sqrt-pow1_binary64_1129 sqrt-pow1_binary64_441 pow-prod-up_binary64 rec-exp_binary64_3225 associate-+r+_binary64_2763 exp-prod_binary64_475 +-commutative_binary64_2761 associate-/l/_binary64_2090 cancel-sign-sub-inv_binary64_1765 frac-times_binary64_1465
3×	cube-prod_binary64_1139 pow-prod-down_binary64_2214 pow-prod-down_binary64_494 sub-neg_binary64_2480 associate-/l/_binary64_370 frac-sub_binary64_776 associate--l+_binary64_360 pow-prod-down_binary64_1182 frac-sub_binary64_88 pow-unpow_binary64_3596 associate--l-_binary64_2081 div-sub_binary64_1116 pow-sqr_binary64_2460 *-commutative_binary64_1042 rem-cube-cbrt_binary64_102 diff-log_binary64_2579 sqrt-pow1_binary64_97 associate-*l*_binary64_3116 log-prod_binary64_1197 difference-of-sqr-1_binary64_393 1-exp_binary64_2187 sqr-pow_binary64_1083 unpow3_binary64_489 pow1/2_binary64_159 cube-mult_binary64_453 cube-prod_binary64_1483 rec-exp_binary64_2193 sum-log_binary64_514 sqr-pow_binary64 distribute-rgt-neg-in_binary64_381 cancel-sign-sub-inv_binary64_3485 rem-log-exp_binary64_1840
2×	1-exp_binary64_467 cube-div_binary64_1140 associate-*l/_binary64_2430 log-pow_binary64_3608 pow-to-exp_binary64_1524 div-sub_binary64_2492 distribute-rgt-in_binary64_2437 pow1/3_binary64_2913 sqr-pow_binary64_2803 associate-/r/_binary64_2433 frac-add_binary64_87 associate-*r/_binary64_2085 distribute-lft-in_binary64_2436 associate-+l-_binary64_2078 frac-2neg_binary64_2498 exp-diff_binary64_1159 unpow3_binary64_2897 diff-log_binary64_1203 distribute-lft-out_binary64_374 associate--l-_binary64_1737 flip--_binary64_3494 frac-2neg_binary64_3530 pow-flip_binary64_841 div-inv_binary64_2484 associate-*r/_binary64_1397 1-exp_binary64_1155 rec-exp_binary64_1161 clear-num_binary64_2486 rec-exp_binary64_473 associate-*r/_binary64_3117 associate--r-_binary64_1738 rem-sqrt-square_binary64_92 cube-mult_binary64_2861 pow-exp_binary64_1523 cbrt-div_binary64_1487 rem-sqrt-square_binary64 div-exp_binary64_2538 pow-sqr_binary64 flip-+_binary64_2117 cbrt-div_binary64_1143 flip3-+_binary64_2146 flip3--_binary64_3523 cube-div_binary64_1484 associate-+r+_binary64_2419 pow-plus_binary64_830 pow2_binary64 un-div-inv_binary64_3173 associate-+r+_binary64_3451 clear-num_binary64_3518 cbrt-undiv_binary64_2521 inv-pow_binary64_852 sum-log_binary64_2234 associate-*l/_binary64_1398 rem-cbrt-cube_binary64_2855 sub-neg_binary64_1104
1×	+-commutative_binary64_2073 rem-log-exp_binary64_3560 cube-mult_binary64_1141 pow2_binary64_1536 swap-sqr_binary64_734 rem-sqrt-square_binary64_780 cancel-sign-sub-inv_binary64_2797 pow-exp_binary64_3587 sqrt-pow1_binary64_1473 pow2_binary64_848 pow-to-exp_binary64 diff-log_binary64_1891 sub-neg_binary64_1792 diff-log_binary64_3267 exp-prod_binary64_1507 *-commutative_binary64_3106 cbrt-unprod_binary64_1488 flip--_binary64_2806 pow1/2_binary64_1535 pow-prod-down_binary64_3246 pow1/3_binary64_1193 rem-exp-log_binary64_1151 unpow3_binary64_1177 unpow2_binary64_1520 log-div_binary64_1198 flip3--_binary64_2835 pow-pow_binary64_495 pow1/2_binary64 cube-mult_binary64_1485 unpow3_binary64_1521 un-div-inv_binary64_77 inv-pow_binary64_3260 pow1/3_binary64 pow-plus_binary64_2550 exp-sum_binary64_469 associate--l+_binary64_16 inv-pow_binary64_508 pow-plus_binary64_1518 rem-square-sqrt_binary64_2499 inv-pow_binary64_2228 pow-exp_binary64 sub-neg_binary64_3168 div-sub_binary64_428 rem-exp-log_binary64_463 sum-log_binary64_3266 rem-cbrt-cube_binary64_1135 sub-neg_binary64_3512 diff-log_binary64_2923 sub-neg_binary64_2824 neg-log_binary64_516 pow2_binary64_2568 pow2_binary64_160 +-commutative_binary64_3449 sqr-abs_binary64_2502 pow-flip_binary64_2217 sqrt-pow1_binary64 pow-to-exp_binary64_3588 pow-prod-up_binary64_149 prod-exp_binary64_1504 unpow-prod-up_binary64_501 associate-*l*_binary64_2084 e-exp-1_binary64_468 pow-flip_binary64_497 pow-sqr_binary64_52 rem-exp-log_binary64_1495 +-commutative_binary64_3105 exp-to-pow_binary64_1517 diff-log_binary64_3611 pow1/3_binary64_1537 rem-log-exp_binary64_1152 pow-flip_binary64_1185 distribute-lft-out_binary64_3470 pow-prod-up_binary64_1525 sqrt-pow2_binary64_1474 associate--l-_binary64_361 rem-square-sqrt_binary64_779 pow-plus_binary64_142 pow-flip_binary64_3249 distribute-lft-out--_binary64_1063 div-sub_binary64_3524 rem-exp-log_binary64_3559 unswap-sqr_binary64_1423 inv-pow_binary64_1196 pow-sqr_binary64_1428 rem-cbrt-cube_binary64_1479 cancel-sign-sub-inv_binary64_3141 *-commutative_binary64_1386 sqrt-div_binary64 sqrt-unprod_binary64_2507 difference-of-squares_binary64_2800 div-sub_binary64_2148 difference-of-sqr-1_binary64_49 pow-prod-down_binary64_1526 sum-log_binary64_3610 *-commutative_binary64_2074 pow-pow_binary64_3591

Calls

308 calls:

82.0ms	(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (cbrt.f64 (pow.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) 3)))
82.0ms	(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))
65.0ms	(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))
60.0ms	(+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 (*.f64 x1 x1) (*.f64 (cbrt.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6)) (cbrt.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6)))) (cbrt.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6))))
51.0ms	(-.f64 (+.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 5))) (pow.f64 (/.f64 1 x) 3))