rewrite5.3s (2.1%)

Algorithm

109×	rewrite-expression-head

Rules

1981×	times-frac_binary64_77
1639×	*-un-lft-identity_binary64_71
1503×	add-sqr-sqrt_binary64_93
1190×	times-frac_binary64
1021×	*-un-lft-identity_binary64
940×	add-sqr-sqrt_binary64
912×	add-cube-cbrt_binary64_106
653×	times-frac_binary64_2408
584×	add-cube-cbrt_binary64
559×	add-sqr-sqrt_binary64_2424
509×	*-un-lft-identity_binary64_737
436×	add-sqr-sqrt_binary64_759
429×	times-frac_binary64_743
428×	*-un-lft-identity_binary64_2402
410×	*-un-lft-identity_binary64_404
354×	add-exp-log_binary64
342×	add-cbrt-cube_binary64 cbrt-div_binary64
323×	*-un-lft-identity_binary64_1070
317×	times-frac_binary64_4406
306×	associate-*r/_binary64
300×	times-frac_binary64_410
294×	add-sqr-sqrt_binary64_426
286×	difference-of-squares_binary64_40 add-cube-cbrt_binary64_2437
281×	associate-*r*_binary64
279×	times-frac_binary64_1076
263×	add-sqr-sqrt_binary64_1092
253×	add-cube-cbrt_binary64_772
252×	associate-*r/_binary64_2344
232×	add-sqr-sqrt_binary64_4422
224×	distribute-lft-out_binary64_22
223×	associate-*r*_binary64_2342
218×	frac-times_binary64
214×	add-exp-log_binary64_109
206×	add-exp-log_binary64_1108
205×	associate-*r*_binary64_11
200×	add-cbrt-cube_binary64_1106
198×	add-cube-cbrt_binary64_439
193×	difference-of-squares_binary64
192×	add-cube-cbrt_binary64_1105
189×	*-un-lft-identity_binary64_4400
184×	add-cube-cbrt_binary64_4435
183×	flip3--_binary64 flip--_binary64
176×	add-cbrt-cube_binary64_107
168×	difference-of-squares_binary64_2371
165×	associate-*r*_binary64_4340
160×	frac-add_binary64_2410
159×	add-log-exp_binary64_776 sqrt-prod_binary64_4416
156×	pow1_binary64_132
154×	associate-*l*_binary64_12
151×	add-sqr-sqrt_binary64_3423
150×	associate-*l*_binary64_678
146×	add-exp-log_binary64_775 cbrt-prod_binary64
145×	add-cbrt-cube_binary64_773
138×	flip3-+_binary64_2405 flip-+_binary64_2376
128×	pow1_binary64
127×	associate-/r*_binary64_15
126×	prod-exp_binary64
124×	cbrt-unprod_binary64
123×	*-un-lft-identity_binary64_3401
118×	frac-add_binary64
114×	distribute-lft-out--_binary64
113×	frac-sub_binary64_413
111×	associate-/r/_binary64_17
108×	associate-/r/_binary64
104×	distribute-lft-out--_binary64_23 associate-/l*_binary64_16 *-un-lft-identity_binary64_1403
100×	add-sqr-sqrt_binary64_1758 frac-times_binary64_414
98×	cbrt-div_binary64_2434
96×	distribute-lft-out_binary64_688
92×	flip3-+_binary64 associate-*l/_binary64_347 flip-+_binary64
90×	distribute-lft-out_binary64_355
89×	associate-*l/_binary64
88×	cbrt-undiv_binary64 add-log-exp_binary64_1109 div-exp_binary64 unpow-prod-down_binary64_2481
87×	associate-/r*_binary64 difference-of-squares_binary64_706 flip3-+_binary64_407 flip-+_binary64_378
86×	*-un-lft-identity_binary64_4067
85×	sqr-pow_binary64_2374
84×	difference-of-sqr-1_binary64_2372
82×	add-exp-log_binary64_442
81×	add-log-exp_binary64
80×	add-log-exp_binary64_110 exp-neg_binary64_451 cancel-sign-sub-inv_binary64_703
79×	add-cbrt-cube_binary64_440
78×	*-un-lft-identity_binary64_1736
77×	div-inv_binary64_68 sum-log_binary64_828
76×	associate-/l*_binary64 div-inv_binary64
75×	add-cube-cbrt_binary64_1771
74×	add-cube-cbrt_binary64_3436
70×	add-sqr-sqrt_binary64_1425
69×	pow1_binary64_1131
68×	add-exp-log_binary64_1774
67×	sqrt-prod_binary64_87 cancel-sign-sub-inv_binary64 pow1_binary64_798
66×	flip-+_binary64_45 flip3-+_binary64_74
65×	associate-*r*_binary64_677 times-frac_binary64_3407
63×	exp-prod_binary64_3453
62×	div-exp_binary64_1121
61×	associate-*l*_binary64_345 div-exp_binary64_122
60×	times-frac_binary64_1742 neg-sub0_binary64_399 exp-diff_binary64_452
59×	pow1_binary64_465 cancel-sign-sub-inv_binary64_37 swap-sqr_binary64_38
58×	cbrt-undiv_binary64_1104 associate-*r/_binary64_346
57×	distribute-lft-out_binary64 cbrt-unprod_binary64_1103 prod-exp_binary64_1119
56×	log-pow_binary64_3490
55×	associate-*l*_binary64
54×	add-exp-log_binary64_1441 flip3--_binary64_408 add-cbrt-cube_binary64_1439 flip--_binary64_379
53×	associate-/r/_binary64_1016 add-exp-log_binary64_2440 sqrt-prod_binary64
52×	add-cbrt-cube_binary64_2438
51×	associate-/r*_binary64_1014
49×	distribute-lft-out_binary64_4018 pow1_binary64_1464 div-inv_binary64_734
48×	associate-/r*_binary64_348 associate-*r*_binary64_1343
47×	pow-prod-down_binary64 add-cbrt-cube_binary64_2771 distribute-lft-out--_binary64_689 pow1_binary64_2796 add-exp-log_binary64_2773
46×	add-cube-cbrt_binary64_1438
45×	add-exp-log_binary64_4438
44×	distribute-lft-out_binary64_1021
43×	prod-exp_binary64_120
42×	prod-exp_binary64_786 cbrt-unprod_binary64_770 add-exp-log_binary64_3772 cbrt-undiv_binary64_105 add-cbrt-cube_binary64_3770
41×	add-log-exp_binary64_443 pow-prod-down_binary64_142
40×	associate-*l*_binary64_1344
39×	cbrt-prod_binary64_1767
38×	cbrt-prod_binary64_4098 add-log-exp_binary64_4106
37×	add-cbrt-cube_binary64_1772
36×	cancel-sign-sub-inv_binary64_1036 swap-sqr_binary64_1037 sqrt-pow1_binary64_89
35×	flip3-+_binary64_1406 cbrt-unprod_binary64_104 flip-+_binary64_1377
34×	pow1_binary64_2463 associate-*r/_binary64_679
33×	add-cbrt-cube_binary64_4436 div-inv_binary64_2399 associate-*r*_binary64_1010 add-exp-log_binary64_3439
32×	flip-+_binary64_1044 flip3-+_binary64_1073 difference-of-squares_binary64_3370
31×	difference-of-squares_binary64_373 distribute-lft-out_binary64_1354 associate-*l*_binary64_1011 associate-/l*_binary64_349 add-log-exp_binary64_1775
30×	associate-/l/_binary64_351 add-log-exp_binary64_2441 cbrt-undiv_binary64_771 difference-of-squares_binary64_1039 sqrt-prod_binary64_1086 div-exp_binary64_788
29×	add-cbrt-cube_binary64_3437 unswap-sqr_binary64_39 associate-/l*_binary64_1015 div-inv_binary64_1067 pow1_binary64_3462
28×	sqrt-prod_binary64_1419 flip3-+_binary64_740 associate-*r/_binary64_1345 add-log-exp_binary64_3440 flip-+_binary64_711 distribute-lft-out--_binary64_2354
27×	associate-/r/_binary64_350
26×	sqrt-div_binary64_88 associate-/l*_binary64_682 associate-*r*_binary64_344 cbrt-div_binary64_1768 frac-times_binary64_747
25×	flip--_binary64_46 flip3--_binary64_75 pow1_binary64_1797 pow-prod-down_binary64_2806 prod-exp_binary64_2784 cbrt-unprod_binary64_2768
24×	sqrt-div_binary64_4417 associate-*r*_binary64_1676 associate-*r/_binary64_13 sqrt-prod_binary64_1752 frac-times_binary64_1413
23×	flip-+_binary64_1710 flip3--_binary64_741 flip--_binary64_712 flip3-+_binary64_1739
22×	associate-*r*_binary64_3341 flip3--_binary64_1074 associate-/r*_binary64_681 associate-/r/_binary64_4346 flip--_binary64_1045 distribute-rgt-in_binary64 add-log-exp_binary64_1442 distribute-lft-in_binary64 pow1_binary64_4461
21×	distribute-lft-in_binary64_686 add-log-exp_binary64_4439 associate-*r*_binary64_2675 cbrt-prod_binary64_2433 cancel-sign-sub-inv_binary64_3367 sum-log_binary64_4158 distribute-rgt-in_binary64_687 cbrt-prod_binary64_1101 cancel-sign-sub-inv_binary64_1702
20×	un-div-inv_binary64_402 associate-*l*_binary64_3342 add-sqr-sqrt_binary64_2757 prod-exp_binary64_1785
19×	add-sqr-sqrt_binary64_2091 div-exp_binary64_455 *-un-lft-identity_binary64_2069 distribute-lft-out--_binary64_1022
18×	prod-exp_binary64_1452 add-sqr-sqrt_binary64_3756 associate-/r/_binary64_683 associate-/l*_binary64_3346 cbrt-unprod_binary64_1436 sqrt-div_binary64_1420 diff-log_binary64_1162 associate-*l/_binary64_680
17×	*-un-lft-identity_binary64_2735 pow-prod-down_binary64_808 distribute-lft-out--_binary64_356 add-cube-cbrt_binary64_2770 div-exp_binary64_1787 pow1/2_binary64_151 div-inv_binary64_401
16×	sub-neg_binary64 distribute-lft-in_binary64_1352 associate-+r+_binary64 unswap-sqr_binary64 distribute-lft-out--_binary64_3353 difference-of-sqr-1_binary64_3371 distribute-rgt-in_binary64_1353 exp-sum_binary64_3447 associate-*l/_binary64_1346
15×	cbrt-unprod_binary64_3767 flip3-+_binary64_4403 associate-*l*_binary64_2343 *-un-lft-identity_binary64_3734 add-cube-cbrt_binary64_2104 clear-num_binary64_70 prod-exp_binary64_3783 frac-sub_binary64_746 associate-*l*_binary64_1677 associate-*l*_binary64_2676 flip-+_binary64_4374 unswap-sqr_binary64_4368 frac-2neg_binary64_82 *-commutative_binary64
14×	cancel-sign-sub-inv_binary64_1369 cbrt-undiv_binary64_438 log-prod_binary64_3487 associate-/r/_binary64_1682 cbrt-div_binary64_1102 pow-prod-down_binary64_1474
13×	unpow-prod-down_binary64_4146 associate-/l*_binary64_2347 clear-num_binary64 associate-/r*_binary64_2346 cbrt-unprod_binary64_2435 diff-log_binary64_163 cbrt-unprod_binary64_437 sum-log_binary64 cube-prod_binary64_432 prod-exp_binary64_2451 frac-2neg_binary64 unpow-prod-down_binary64_483 associate-/l/_binary64_18 cube-prod_binary64_4095 sub-neg_binary64_64 prod-exp_binary64_453 sub-neg_binary64_1063
12×	cbrt-prod_binary64_768 add-cube-cbrt_binary64_4102 pow-prod-up_binary64_141 distribute-rgt-neg-in_binary64_29 associate-+l+_binary64 *-commutative_binary64_2 unswap-sqr_binary64_705 div-inv_binary64_4397 flip--_binary64_1378 div-exp_binary64_4451 add-sqr-sqrt_binary64_4089 distribute-rgt-out--_binary64 associate-/r*_binary64_4344 distribute-lft-neg-in_binary64_28 flip3--_binary64_1407
11×	cancel-sign-sub-inv_binary64_370 *-commutative_binary64_668 sum-log_binary64_1161 add-cube-cbrt_binary64_3769
10×	associate-/l/_binary64 pow-prod-down_binary64_475 flip-+_binary64_4041 unswap-sqr_binary64_1371 +-commutative_binary64_667 div-exp_binary64_3785 flip3-+_binary64_4070 flip3--_binary64_4404 sqrt-div_binary64_1753 cbrt-undiv_binary64_3768 frac-times_binary64_81 unswap-sqr_binary64_372 div-sub_binary64 flip--_binary64_4375 associate-+r+_binary64_1335 *-commutative_binary64_1334
9×	frac-2neg_binary64_1081 pow1_binary64_3795 cbrt-undiv_binary64_1770 swap-sqr_binary64 unpow-prod-down_binary64_1815 pow1/3_binary64 div-exp_binary64_2453 clear-num_binary64_1069 associate-/l*_binary64_4345 associate-/r*_binary64_1680 rec-exp_binary64_121 cbrt-undiv_binary64_2436 pow-prod-down_binary64_2473 associate-*r*_binary64_3674 unswap-sqr_binary64_1704 1-exp_binary64_115 unpow-prod-down_binary64_816 times-frac_binary64_2075 prod-exp_binary64_4449
8×	pow-sqr_binary64_44 unswap-sqr_binary64_2370 flip-+_binary64_3708 cube-div_binary64_4096 cbrt-div_binary64_4099 distribute-rgt-in_binary64_354 associate-/l/_binary64_1350 associate-/r/_binary64_1349 *-commutative_binary64_335 frac-add_binary64_745 flip3-+_binary64_3737 associate--r+_binary64_1672 sub-neg_binary64_730 associate-/l/_binary64_3681 distribute-lft-in_binary64_353 associate-*l*_binary64_3675 associate-+l+_binary64_337 cbrt-unprod_binary64_1769 clear-num_binary64_403 sqrt-div_binary64_1087 unpow-prod-down_binary64_150 associate-/l/_binary64_684 log-prod_binary64_490 frac-2neg_binary64_415 frac-times_binary64_3744
7×	prod-exp_binary64_3450 sub-neg_binary64_3394 cancel-sign-sub-inv_binary64_2035 unpow-prod-down_binary64 add-exp-log_binary64_2107 add-cbrt-cube_binary64_2105 cbrt-undiv_binary64_4434 *-commutative_binary64_2666 associate-*l/_binary64_14 add-log-exp_binary64_3773 pow1/3_binary64_2484 add-log-exp_binary64_2774 pow1/3_binary64_1152
6×	add-exp-log_binary64_4105 distribute-rgt-in_binary64_2352 associate-/l*_binary64_1681 times-frac_binary64_3740 diff-log_binary64 pow1/3_binary64_1818 pow-prod-down_binary64_1141 sqrt-prod_binary64_2751 distribute-lft-in_binary64_2351 swap-sqr_binary64_1370 associate-*l*_binary64_4341 rem-sqrt-square_binary64_84 associate-/r*_binary64_3345 sub-neg_binary64_1396 sum-log_binary64_2493 diff-log_binary64_829 associate--l+_binary64_341 frac-2neg_binary64_748 associate-+r+_binary64_669 associate-+l+_binary64_670 add-cbrt-cube_binary64_4103 flip--_binary64_3709 cancel-sign-sub-inv_binary64_2368 +-commutative_binary64 clear-num_binary64_736 associate--r+_binary64_1006 pow1_binary64_4128 unswap-sqr_binary64_3369 flip3--_binary64_3738
5×	add-log-exp_binary64_2108 associate-*r*_binary64_2009 sub-neg_binary64_1729 cbrt-unprod_binary64_3434 frac-times_binary64_1746 associate-*r/_binary64_3343 associate-*r/_binary64_1012 pow1_binary64_2130 sum-log_binary64_495 +-commutative_binary64_334 associate-/l/_binary64_1017 cbrt-unprod_binary64_4433 diff-log_binary64_3493 sub-neg_binary64_397 *-commutative_binary64_2333 exp-diff_binary64_3449 pow-prod-up_binary64_474 sqrt-div_binary64 associate-*r/_binary64_3676
4×	log-div_binary64_491 associate-*l/_binary64_4343 flip--_binary64_2044 1-exp_binary64_1780 associate-/l/_binary64_1683 cancel-sign-sub-inv_binary64_4366 frac-times_binary64_2079 associate--l-_binary64 *-commutative_binary64_1001 pow1/2_binary64_1150 inv-pow_binary64_156 flip3--_binary64_3405 associate-/r*_binary64_3678 distribute-rgt-in_binary64_1686 flip--_binary64_3376 sqrt-pow1_binary64_1754 flip-+_binary64_2043 flip--_binary64_1711 distribute-rgt-in_binary64_2019 associate-+r+_binary64_3999 rem-exp-log_binary64_3441 flip3-+_binary64_2072 associate-*l/_binary64_3677 distribute-lft-in_binary64_1685 +-commutative_binary64_3997 sub-neg_binary64_4393 log-prod_binary64_823 flip3--_binary64_2073 flip3--_binary64_1740 div-exp_binary64_3452 frac-times_binary64_4410 associate-*l*_binary64_2010 unswap-sqr_binary64_1038 rem-sqrt-square_binary64_1749 cube-prod_binary64_99 frac-add_binary64_412 unpow-prod-down_binary64_1482 frac-add_binary64_4075 rem-sqrt-square_binary64_1083 neg-mul-1_binary64_67 associate-/l/_binary64_4347 div-inv_binary64_1733 sqrt-pow1_binary64_4418 rem-sqrt-square_binary64_4413 *-commutative_binary64_3332 sqrt-pow1_binary64_1088 div-exp_binary64_1454 cube-prod_binary64_1431 rec-exp_binary64_1786 pow-prod-down_binary64_3472 sqr-pow_binary64_43 cbrt-undiv_binary64_1437 diff-log_binary64_4492 pow-flip_binary64_145 distribute-lft-in_binary64_2018 pow1/2_binary64_4480 pow1/2_binary64_1816 pow-exp_binary64_472
3×	unswap-sqr_binary64_3702 pow2_binary64_152 cube-prod_binary64_1764 pow-plus_binary64_1133 rec-exp_binary64_454 cbrt-undiv_binary64_3435 associate-*l/_binary64_1013 pow2_binary64_1151 flip--_binary64_2377 associate-*l/_binary64_1679 +-commutative_binary64_1333 pow-unpow_binary64_2479 associate-/l*_binary64_2014 frac-times_binary64_1080 pow-plus_binary64_134 flip-+_binary64_3375 +-commutative_binary64_1000 pow-pow_binary64_476 div-inv_binary64_3731 cube-prod_binary64_765 diff-log_binary64_496 diff-log_binary64_1828 pow-prod-up_binary64_1140 associate-/r*_binary64_2013 1-exp_binary64_448 associate-*r/_binary64_1678 pow-sqr_binary64_1043 rem-sqrt-square_binary64 sub-neg_binary64_2062 div-inv_binary64_3398 frac-2neg_binary64_4411 pow-unpow_binary64_481 clear-num_binary64_4399 sum-log_binary64_1494 log-div_binary64_3488 sqr-pow_binary64_1708 rec-exp_binary64_4450 sqr-pow_binary64_709 flip3-+_binary64_3404 associate-/r/_binary64_2348 +-commutative_binary64_1666 sqr-pow_binary64 flip3--_binary64_2406 sum-log_binary64_1827 1-exp_binary64_4444
2×	1-exp_binary64_1114 log-div_binary64_824 associate-*l/_binary64_2012 *-commutative_binary64_4331 difference-of-squares_binary64_2038 clear-num_binary64_3400 clear-num_binary64_3733 rem-cbrt-cube_binary64_4091 pow-prod-down_binary64_3805 pow-flip_binary64_478 distribute-rgt-in_binary64_3351 sub-neg_binary64_2395 associate-/l/_binary64_2349 cube-div_binary64_766 pow1/2_binary64 cbrt-prod_binary64_102 cbrt-div_binary64_769 sqrt-pow1_binary64_1421 *-commutative_binary64_3665 associate-*r/_binary64_4342 log-pow_binary64_493 div-sub_binary64_76 distribute-rgt-in_binary64_21 frac-sub_binary64 rec-exp_binary64_1120 associate-/r/_binary64_3680 rem-sqrt-square_binary64_1416 associate-+l+_binary64_1336 pow-to-exp_binary64_140 pow-prod-down_binary64_4471 +-commutative_binary64_1 associate-+r+_binary64_2334 unswap-sqr_binary64_2703 sqrt-pow1_binary64 pow1/3_binary64_4149 div-sub_binary64_3406 frac-2neg_binary64_1747 pow-exp_binary64_139 distribute-lft-in_binary64_20 associate-/l*_binary64_3679 difference-of-squares_binary64_1372 pow1/2_binary64_1483 associate-*r/_binary64_2011 inv-pow_binary64_489 diff-log_binary64_2494 cube-div_binary64_1765 clear-num_binary64_1735 associate--l-_binary64_342 frac-2neg_binary64_3745 frac-2neg_binary64_3412 div-sub_binary64_409 pow-sqr_binary64 distribute-lft-in_binary64_3350 div-sub_binary64_4405 cube-mult_binary64_4097 sub-div_binary64 distribute-rgt-in_binary64_1020 pow-prod-up_binary64 unpow3_binary64_4133 sqr-pow_binary64_4039 rem-cube-cbrt_binary64_427 associate-/r/_binary64_2015 distribute-lft-in_binary64_1019 rem-log-exp_binary64_3442 sum-log_binary64_162 associate-/l/_binary64_3348
1×	inv-pow_binary64_1155 times-frac_binary64_1409 cube-mult_binary64_1766 pow1/3_binary64_819 +-commutative_binary64_3331 distribute-frac-neg_binary64_34 pow-to-exp_binary64_2471 associate-/r*_binary64_1347 cube-mult_binary64_767 un-div-inv_binary64_3399 prod-exp_binary64_2118 frac-2neg_binary64_1414 cube-mult_binary64_101 pow-to-exp_binary64_473 pow-sqr_binary64_377 rem-cbrt-cube_binary64_761 pow-to-exp_binary64 neg-sub0_binary64_66 div-inv_binary64_2066 distribute-lft-in_binary64_3683 pow-sqr_binary64_1376 rem-log-exp_binary64_445 pow1/3_binary64_153 rec-exp_binary64_3451 1-exp_binary64_3445 clear-num_binary64_2068 pow-pow_binary64_2474 rem-3cbrt-rft_binary64_430 *-commutative_binary64_1667 associate-+l+_binary64_2335 associate-/l*_binary64_1348 cbrt-unprod_binary64_2102 distribute-rgt1-in_binary64_360 sqrt-unprod_binary64_91 unpow3_binary64_137 pow-prod-down_binary64_2140 pow-exp_binary64 clear-num_binary64_1402 distribute-lft-out_binary64_2020 diff-log_binary64_2161 distribute-lft-out_binary64_3685 *-commutative_binary64_2000 distribute-lft-out_binary64_2353 pow2_binary64_485 pow-plus_binary64_467 frac-2neg_binary64_2080 rem-log-exp_binary64_778 clear-num_binary64_2401 rem-square-sqrt_binary64_83 un-div-inv_binary64_4398 distribute-rgt-in_binary64_3684 log-pow_binary64_826 cbrt-undiv_binary64_2103 sum-log_binary64_3825 +-commutative_binary64_2332 pow-plus_binary64 distribute-lft1-in_binary64_359 div-sub_binary64_2407 rem-cbrt-cube_binary64_1760 distribute-lft-out--_binary64_3686 pow-plus_binary64_1466 unswap-sqr_binary64_2037 sum-log_binary64_3492 unpow3_binary64_803 div-inv_binary64_1400 unpow3_binary64_470 un-div-inv_binary64_69 distribute-lft-out--_binary64_2021 pow-exp_binary64_2470 pow2_binary64_1484 cube-mult_binary64_434 pow-flip_binary64_1144 inv-pow_binary64_4485 unpow3_binary64_1802 frac-2neg_binary64_2413 pow-prod-up_binary64_1473 distribute-rgt-out_binary64_357 sum-cubes_binary64_1404 pow2_binary64 pow-prod-down_binary64_1807 cube-div_binary64_433 distribute-lft-out--_binary64_1355 sqr-pow_binary64_376 +-commutative_binary64_3664 pow-flip_binary64_4474 div-exp_binary64_2120 cube-unmult_binary64_441 difference-of-squares_binary64_3703

Calls

592 calls:

103.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 (cbrt.f64 (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (cbrt.f64 (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3))) (cbrt.f64 (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)))) (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6)))
79.0ms	(+.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (cbrt.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) 4)) (cbrt.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))))) (*.f64 (*.f64 x1 x1) -6))
65.0ms	(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))
53.0ms	(*.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (/.f64 (/.f64 1 (sqrt.f64 (+.f64 (*.f64 c c) (*.f64 d d)))) (sqrt.f64 (+.f64 (*.f64 c c) (*.f64 d d)))))
51.0ms	(/.f64 1 (/.f64 (+.f64 (/.f64 (+.f64 -8 (/.f64 4 (+.f64 1 t))) (+.f64 1 t)) 6) (+.f64 (/.f64 (+.f64 -8 (/.f64 4 (+.f64 1 t))) (+.f64 1 t)) 5)))