rewrite27.9s (8%)

Algorithm

100×	rewrite-expression-head

Rules

1889×	times-frac_binary64_84
1440×	add-sqr-sqrt_binary64_100
1302×	*-un-lft-identity_binary64_78
1209×	times-frac_binary64_766
1042×	times-frac_binary64
989×	*-un-lft-identity_binary64_760
898×	add-sqr-sqrt_binary64
892×	*-un-lft-identity_binary64
815×	add-sqr-sqrt_binary64_782
780×	times-frac_binary64_2130
723×	add-cube-cbrt_binary64_113
589×	add-cube-cbrt_binary64_795
587×	times-frac_binary64_3494
583×	add-sqr-sqrt_binary64_2146
575×	add-exp-log_binary64
548×	add-sqr-sqrt_binary64_3510
546×	*-un-lft-identity_binary64_3488
544×	add-cube-cbrt_binary64
502×	times-frac_binary64_1448
481×	*-un-lft-identity_binary64_2124
448×	*-un-lft-identity_binary64_1442
435×	cbrt-prod_binary64
421×	add-cbrt-cube_binary64
369×	add-cube-cbrt_binary64_2159
358×	cancel-sign-sub-inv_binary64_726
301×	cancel-sign-sub-inv_binary64_1408
298×	add-sqr-sqrt_binary64_1464
280×	difference-of-squares_binary64_47
267×	add-cube-cbrt_binary64_3523
252×	add-cube-cbrt_binary64_1477
245×	*-un-lft-identity_binary64_419
233×	add-exp-log_binary64_798
225×	cbrt-unprod_binary64 prod-exp_binary64
194×	associate-*r*_binary64_3428
192×	cbrt-undiv_binary64 div-exp_binary64
183×	difference-of-squares_binary64
176×	*-un-lft-identity_binary64_2465 associate-*r*_binary64
173×	add-cbrt-cube_binary64_796
168×	difference-of-squares_binary64_3457 times-frac_binary64_425
165×	associate-/r*_binary64_22 distribute-lft-out_binary64_711
162×	add-log-exp_binary64_3527
157×	add-sqr-sqrt_binary64_441
153×	div-inv_binary64_757
149×	distribute-lft-out_binary64_29
142×	add-sqr-sqrt_binary64_2828
140×	distribute-lft-out--_binary64_30
133×	*-un-lft-identity_binary64_2806
130×	add-cube-cbrt_binary64_454
128×	add-exp-log_binary64_116 sqrt-prod_binary64
127×	add-sqr-sqrt_binary64_3851
126×	times-frac_binary64_3835
123×	associate-*l*_binary64_701 *-un-lft-identity_binary64_3829 add-cube-cbrt_binary64_3864
120×	cbrt-prod_binary64_2496 distribute-lft-out_binary64_1393
119×	*-un-lft-identity_binary64_1783
117×	times-frac_binary64_2812
109×	difference-of-squares_binary64_729
108×	associate-/r/_binary64_24
106×	*-un-lft-identity_binary64_3147 associate-*r*_binary64_700
105×	cbrt-prod_binary64_3860
103×	add-exp-log_binary64_2162
102×	difference-of-squares_binary64_2093 add-cbrt-cube_binary64_114
101×	associate-/r*_binary64
98×	associate-*r*_binary64_359
97×	distribute-lft-out--_binary64
94×	pow1_binary64_3208
93×	add-sqr-sqrt_binary64_1805 add-cube-cbrt_binary64_2841
91×	pow1_binary64_1844
90×	distribute-lft-in_binary64_709 distribute-rgt-in_binary64_710 pow1_binary64
88×	add-log-exp_binary64_1822 add-sqr-sqrt_binary64_3169 sum-log_binary64_3579 distribute-lft-out_binary64_3439 unpow-prod-down_binary64_3567 associate-*l*_binary64
87×	sqrt-prod_binary64_2140
86×	add-exp-log_binary64_1821 add-cbrt-cube_binary64_2160
85×	sqr-pow_binary64_3460 associate-/r*_binary64_2068
84×	difference-of-sqr-1_binary64_3458
81×	add-cbrt-cube_binary64_1819 frac-sub_binary64_428
80×	div-inv_binary64_1439 frac-times_binary64_429
78×	add-exp-log_binary64_3526 prod-exp_binary64_809
77×	distribute-lft-out_binary64_370 add-cbrt-cube_binary64_3524
76×	add-cube-cbrt_binary64_1818 pow1_binary64_139 exp-neg_binary64_466
75×	add-sqr-sqrt_binary64_1123 distribute-lft-out_binary64_2416
74×	add-sqr-sqrt_binary64_2487 times-frac_binary64_1107
73×	div-exp_binary64_811
70×	associate-*r/_binary64 add-cube-cbrt_binary64_3182 pow1_binary64_3549
69×	*-un-lft-identity_binary64_1101
68×	add-cube-cbrt_binary64_1136
67×	add-exp-log_binary64_457
66×	sqrt-prod_binary64_2822 associate-/l*_binary64_705
65×	add-log-exp_binary64 exp-diff_binary64_467
64×	associate-/l*_binary64_23 flip-+_binary64_3462 flip3-+_binary64_3491
63×	flip-+_binary64 flip3-+_binary64 distribute-lft-out--_binary64_712
62×	add-cbrt-cube_binary64_455
61×	div-inv_binary64_75
59×	add-log-exp_binary64_2504 pow1_binary64_480
58×	neg-sub0_binary64_414
55×	cancel-sign-sub-inv_binary64_44
54×	associate-*l/_binary64_362 sqrt-prod_binary64_3845
53×	add-log-exp_binary64_2163 cbrt-undiv_binary64_794
52×	associate-*r/_binary64_3430
51×	distribute-lft-out--_binary64_2076 pow1_binary64_821
49×	frac-times_binary64
48×	frac-add_binary64_3496 add-exp-log_binary64_3185 add-cube-cbrt_binary64_2500 cbrt-unprod_binary64_793
46×	associate-/l*_binary64 add-cbrt-cube_binary64_3183
45×	cube-prod_binary64_2493 associate-*r/_binary64_361 div-inv_binary64 pow1_binary64_2185 unpow-prod-down_binary64_2544
44×	flip3-+_binary64_422 flip-+_binary64_393 add-log-exp_binary64_799
43×	add-cbrt-cube_binary64_2842 add-exp-log_binary64_2844
42×	flip-+_binary64_52 flip3-+_binary64_81
40×	associate-*l*_binary64_2747
39×	add-log-exp_binary64_458 associate-/r*_binary64_3773 add-log-exp_binary64_117
38×	sqrt-prod_binary64_3504 div-exp_binary64_129
37×	flip3-+_binary64_3150 flip-+_binary64_3121
36×	flip--_binary64_394 associate-/r*_binary64_704 cbrt-prod_binary64_1132 div-exp_binary64_2175 cbrt-prod_binary64_1814 associate-*l*_binary64_19 times-frac_binary64_3153 associate-/r/_binary64_706 flip3--_binary64_423 associate-*l*_binary64_1383
35×	distribute-lft-out_binary64
34×	cbrt-div_binary64 sqrt-pow1_binary64_3165
33×	cancel-sign-sub-inv_binary64_1749
32×	associate-*r/_binary64_3089 cancel-sign-sub-inv_binary64_385 add-log-exp_binary64_3186 frac-add_binary64
31×	associate-*r*_binary64_2746 cancel-sign-sub-inv_binary64_2090 log-prod_binary64_1869 pow1_binary64_2867
30×	cube-prod_binary64_3857 unpow-prod-down_binary64_1180 div-inv_binary64_3485 cube-prod_binary64_1129 unpow-prod-down_binary64_3908
29×	prod-exp_binary64_127 cbrt-unprod_binary64_1816 associate-/r/_binary64 associate-/l*_binary64_2069 associate-*l/_binary64 associate-+r+_binary64_351 pow-prod-down_binary64_1854 prod-exp_binary64_1832
28×	sum-log_binary64_2556 distribute-lft-out--_binary64_3440
27×	flip--_binary64_2099 flip--_binary64_735 add-log-exp_binary64_2845 unswap-sqr_binary64 flip3--_binary64_2128 associate-*l*_binary64_3429 flip3--_binary64_764 prod-exp_binary64_468 pow-prod-down_binary64_3218
26×	add-exp-log_binary64_3867 associate-*r*_binary64_3087 add-exp-log_binary64_1139 add-cbrt-cube_binary64_1478 add-log-exp_binary64_1481 div-inv_binary64_2121 add-exp-log_binary64_1480
25×	associate-*r*_binary64_1723 add-cbrt-cube_binary64_3865
24×	cbrt-undiv_binary64_112 sqrt-prod_binary64_3163 cbrt-undiv_binary64_2158 frac-times_binary64_770 associate-*r*_binary64_18
23×	cbrt-unprod_binary64_111 pow-prod-down_binary64
22×	cube-prod_binary64_447 diff-log_binary64_1875 sqrt-div_binary64_3164 pow-prod-down_binary64_490 unpow-prod-down_binary64_498 add-cbrt-cube_binary64_2501 add-exp-log_binary64_2503 div-inv_binary64_416
21×	flip3--_binary64 associate--l+_binary64_1720 times-frac_binary64_2471 associate-*l*_binary64_1724 flip--_binary64 prod-exp_binary64_3537 cbrt-unprod_binary64_3521 cbrt-unprod_binary64_452 associate-*l*_binary64_360
20×	flip3-+_binary64_2809 add-cbrt-cube_binary64_1137 associate-*l*_binary64_3088 sqrt-div_binary64_2141 pow1_binary64_2526 pow-prod-down_binary64_149 flip-+_binary64_2780
19×	associate-*r/_binary64_702 log-pow_binary64_2895
18×	associate-/l*_binary64_364 cancel-sign-sub-inv_binary64 exp-prod_binary64_2858 sqrt-div_binary64_2823 cbrt-div_binary64_3179 pow-prod-down_binary64_3559 add-log-exp_binary64_3868 associate-/l*_binary64_3774 un-div-inv_binary64_417 pow1_binary64_3890
17×	flip3--_binary64_82 flip--_binary64_53
16×	prod-exp_binary64_2173 swap-sqr_binary64_3455 associate-/r/_binary64_1388 associate-/r*_binary64_3432 pow1_binary64_1503 flip3-+_binary64_763 associate-/r/_binary64_1047 associate-/r*_binary64_3091 flip-+_binary64_734 associate-/r/_binary64_2070 distribute-lft-out_binary64_3098 +-commutative_binary64_3418
15×	associate-*r*_binary64_1041 flip3-+_binary64_1786 distribute-rgt-in_binary64_369 distribute-lft-in_binary64_368 difference-of-squares_binary64_2775 distribute-lft-out_binary64_2757 associate-/r*_binary64_363 flip-+_binary64_1757
14×	associate-*l/_binary64_703 cbrt-unprod_binary64_2157 associate-/r/_binary64_3775 log-div_binary64_1870 sum-log_binary64_1874 associate-/l*_binary64_3433 distribute-lft-out_binary64_1734 associate-/r/_binary64_3093 sub-neg_binary64_753 frac-add_binary64_427 pow1/2_binary64_3227 sqrt-div_binary64_3846
13×	unswap-sqr_binary64_387 div-exp_binary64_470
12×	frac-times_binary64_3157 unpow-prod-down_binary64_1862 flip-+_binary64_3803 cbrt-prod_binary64_1473 flip3--_binary64_1787 flip--_binary64_1758 flip3-+_binary64_3832 cube-prod_binary64_1811 flip3-+_binary64_1445 sqrt-div_binary64_3505 associate-/l/_binary64_2753 associate-/r*_binary64_2750 flip-+_binary64_1416 distribute-rgt-in_binary64_3097 *-commutative_binary64 cbrt-prod_binary64_791 distribute-lft-in_binary64_3096 difference-of-squares_binary64_1411 associate-/l/_binary64_3776 associate-/r/_binary64_2752
11×	log-pow_binary64_1872 pow1/3_binary64 flip-+_binary64_2439 pow-prod-up_binary64_3217 associate-+r+_binary64_3420 swap-sqr_binary64 unswap-sqr_binary64_3456 diff-log_binary64_2216 sub-neg_binary64_1776 sub-neg_binary64_2117 flip3-+_binary64_2468
10×	pow1/2_binary64_2204 sqrt-pow1_binary64_2142 frac-2neg_binary64_771 distribute-lft-out--_binary64_1735 frac-sub_binary64_769 unswap-sqr_binary64_2774 1-exp_binary64_804 pow1_binary64_1162 swap-sqr_binary64_3114 cbrt-div_binary64_1815 clear-num_binary64_759 associate-/l*_binary64_3092 rec-exp_binary64_810 pow-prod-down_binary64_831 clear-num_binary64 associate-+l+_binary64_3421 frac-2neg_binary64 rem-sqrt-square_binary64_2137 difference-of-squares_binary64_2434
9×	associate-*l*_binary64_2406 sqrt-div_binary64 div-sub_binary64 associate-/r*_binary64_1045 div-exp_binary64_3539 pow1/3_binary64_160 exp-prod_binary64_471 associate-/l*_binary64_1046 associate-*r*_binary64_2405 *-commutative_binary64_1714 cbrt-prod_binary64_3178 swap-sqr_binary64_727 clear-num_binary64_77 frac-2neg_binary64_89 unpow-prod-down_binary64_1521 associate-/l*_binary64_2751 cbrt-undiv_binary64_3522 unswap-sqr_binary64_46 unpow-prod-down_binary64_839
8×	unswap-sqr_binary64_728 associate-/l/_binary64 cbrt-div_binary64_2497 prod-exp_binary64_3196 cbrt-unprod_binary64_2839 sqrt-pow1_binary64_3506 associate-/r/_binary64_365 sqr-pow_binary64_391 *-commutative_binary64_3419 diff-log_binary64_852 flip--_binary64_1417 associate-*r*_binary64_1382 cube-div_binary64_2494 cbrt-unprod_binary64_3180 pow-prod-up_binary64_148 associate-/l/_binary64_3094 cube-div_binary64_1812 pow1/2_binary64_3568 flip3--_binary64_1446 flip3--_binary64_3833 flip--_binary64_3804 flip-+_binary64_1075 div-inv_binary64_1098 cbrt-undiv_binary64_2840 prod-exp_binary64_2855 associate-/r*_binary64_1386 flip3-+_binary64_1104 div-exp_binary64_2857 associate--r+_binary64_696
7×	sum-log_binary64_510 cbrt-undiv_binary64_453 div-exp_binary64_1152 pow-sqr_binary64_3120 associate--r+_binary64_1719 sub-neg_binary64_1435 div-inv_binary64_3826 diff-log_binary64_170 sub-neg_binary64_71 *-commutative_binary64_350 cbrt-prod_binary64_109 diff-log_binary64_1534 associate-/l*_binary64_2410 unpow3_binary64_485 pow-plus_binary64_141 cube-mult_binary64_449
6×	distribute-rgt-in_binary64 sqrt-pow1_binary64_2824 flip--_binary64_2781 associate-+l+_binary64 sub-neg_binary64 associate-/l/_binary64_707 clear-num_binary64_2123 div-exp_binary64_3198 cbrt-undiv_binary64_3863 add-log-exp_binary64_1140 unswap-sqr_binary64_3115 *-commutative_binary64_9 div-inv_binary64_2803 associate--l-_binary64 diff-log_binary64 rec-exp_binary64_128 rem-sqrt-square_binary64_2819 cbrt-undiv_binary64_3181 sub-neg_binary64_412 *-commutative_binary64_3078 associate-/l*_binary64_1387 frac-2neg_binary64_3840 *-commutative_binary64_691 flip3--_binary64_2810 1-exp_binary64_122 associate--l+_binary64_3084 associate-*l/_binary64_3090 pow1/2_binary64_2886 difference-of-squares_binary64_1752 sqrt-prod_binary64_1799 +-commutative_binary64_2395 frac-2neg_binary64_2135 clear-num_binary64_3828 div-exp_binary64_3880 pow-unpow_binary64_1860 div-sub_binary64_3834 distribute-lft-in_binary64 distribute-lft-out--_binary64_2758
5×	sqr-pow_binary64_2437 distribute-lft-out_binary64_2075 unpow3_binary64_3895 cube-mult_binary64_3859 unpow3_binary64_2531 frac-times_binary64_2816 rem-log-exp_binary64_1824 difference-of-sqr-1_binary64_2435 sqr-pow_binary64_3801 associate-/l/_binary64_2071 cbrt-div_binary64_3861 diff-log_binary64_511 associate-*l/_binary64_2749 cube-mult_binary64_2495 +-commutative_binary64 pow1/3_binary64_1865 1-exp_binary64_2168 distribute-lft-in_binary64_3437 sum-log_binary64 cbrt-undiv_binary64_1135 pow-prod-up_binary64_3558 distribute-lft-out--_binary64_2417 distribute-rgt-in_binary64_3438 associate-/l/_binary64_25
4×	associate-+r+_binary64_2397 frac-times_binary64_3498 difference-of-squares_binary64_3116 distribute-lft-out--_binary64_1394 +-commutative_binary64_1713 cube-mult_binary64_1813 cbrt-undiv_binary64_1476 cbrt-unprod_binary64_1475 clear-num_binary64_3146 distribute-lft-out--_binary64_3099 unpow-prod-down_binary64_157 rem-exp-log_binary64_459 associate-*r/_binary64_2407 pow-plus_binary64_482 flip3--_binary64_3151 associate-+l+_binary64_352 pow-prod-up_binary64_489 div-inv_binary64_3144 unpow3_binary64_1849 pow-prod-down_binary64_2877 unswap-sqr_binary64_1410 prod-exp_binary64_1150 rem-sqrt-square_binary64 frac-2neg_binary64_3158 sqrt-pow1_binary64_3847 associate--l-_binary64_1721 prod-exp_binary64_1491 swap-sqr_binary64_45 associate-*r/_binary64_1384 cube-prod_binary64_106 div-exp_binary64_1493 cube-div_binary64_3858 rem-sqrt-square_binary64_3842 pow-sqr_binary64_51 sum-log_binary64_3238 flip--_binary64_3122 associate-*r/_binary64_1725 frac-times_binary64_1452 sqr-pow_binary64_1755 unswap-sqr_binary64_1751 +-commutative_binary64_3077 pow1/2_binary64_3909
3×	cancel-sign-sub-inv_binary64_3113 associate-*r/_binary64_2748 pow1/3_binary64_2547 associate-/r*_binary64_2409 frac-2neg_binary64_2817 prod-exp_binary64_2514 pow-to-exp_binary64_488 associate-*l*_binary64_1042 clear-num_binary64_1100 pow-unpow_binary64_3565 pow1/3_binary64_3229 pow2_binary64_159 distribute-lft-out--_binary64_371 cancel-sign-sub-inv_binary64_3454 distribute-lft-in_binary64_1732 unswap-sqr_binary64_2433 sqrt-pow1_binary64 pow-prod-down_binary64_2195 rec-exp_binary64_2174 cbrt-unprod_binary64_2498 log-prod_binary64_2892 associate-+l+_binary64_1716 distribute-rgt-in_binary64_1733 cube-prod_binary64_1470 clear-num_binary64_418 frac-2neg_binary64_430 clear-num_binary64_2805 unswap-sqr_binary64_1069 cancel-sign-sub-inv_binary64_2431 sum-log_binary64_2897 sqr-pow_binary64_1414 associate-*l*_binary64_2065 *-commutative_binary64_2396 cube-prod_binary64_788 pow-exp_binary64_487 rem-cbrt-cube_binary64_2489 sub-neg_binary64_3140 frac-2neg_binary64_1112 +-commutative_binary64_2736 sqr-pow_binary64_732 pow-prod-down_binary64_2536 pow-sqr_binary64_3461 pow-unpow_binary64_1178 pow1/2_binary64 associate-*r/_binary64_2066 associate-*l/_binary64_3431
2×	unpow3_binary64_1167 frac-2neg_binary64_3499 distribute-lft-in_binary64_1391 exp-sum_binary64_465 pow2_binary64_3228 difference-of-squares_binary64_388 pow-prod-up_binary64 pow-plus_binary64_3210 associate-/r/_binary64_3434 pow2_binary64_500 pow-pow_binary64_1855 rem-cube-cbrt_binary64_1806 flip-+_binary64_2098 sqr-pow_binary64_50 pow1/3_binary64_3911 clear-num_binary64_1441 sub-neg_binary64_3822 rem-cbrt-cube_binary64_1807 flip3--_binary64_2469 flip--_binary64_2440 flip3--_binary64_3492 flip--_binary64_3463 cancel-sign-sub-inv_binary64_3795 div-sub_binary64_2811 inv-pow_binary64_163 associate-/l/_binary64_3435 1-exp_binary64_1145 cube-div_binary64_789 cbrt-div_binary64_792 clear-num_binary64_3487 distribute-rgt-in_binary64_2415 cube-div_binary64_1471 associate-*l/_binary64_21 distribute-rgt-in_binary64_1392 cancel-sign-sub-inv_binary64_2772 cbrt-unprod_binary64_1134 associate-+r-_binary64 sqr-pow_binary64_1073 associate-*l/_binary64_1385 rem-sqrt-square_binary64_3160 pow-to-exp_binary64_1852 cube-div_binary64_1130 pow-exp_binary64_1851 associate--r-_binary64_1722 *-commutative_binary64_2737 cube-mult_binary64_2836 +-commutative_binary64_349 frac-2neg_binary64_1453 pow-exp_binary64_1169 cube-mult_binary64_1131 pow-prod-down_binary64_1513 pow-flip_binary64_834 pow-sqr_binary64_392 rec-exp_binary64_1151 sub-neg_binary64_2799 inv-pow_binary64_845 flip3-+_binary64_2127 *-commutative_binary64_1373 rem-cube-cbrt_binary64_1124 associate-/l/_binary64_2412 distribute-lft-in_binary64_2414 diff-log_binary64_3921 cbrt-div_binary64_1474 rem-sqrt-square_binary64_3501 associate-+r+_binary64 diff-log_binary64_2898 pow-flip_binary64_152 pow-sqr_binary64 associate-+l+_binary64_3080
1×	pow-to-exp_binary64_3557 pow-to-exp_binary64_1170 pow1/3_binary64_1183 sqrt-undiv_binary64 unpow3_binary64_144 exp-diff_binary64_2854 pow-flip_binary64_1175 sub-neg_binary64_3481 associate-+l-_binary64_354 cube-mult_binary64_108 pow-prod-up_binary64_830 inv-pow_binary64_1186 *-commutative_binary64_1032 rem-3cbrt-lft_binary64_103 un-div-inv_binary64_1099 log-div_binary64_2893 pow-flip_binary64_2198 unpow3_binary64_826 distribute-lft-neg-in_binary64_376 rem-log-exp_binary64_2847 distribute-rgt-neg-in_binary64_377 div-sub_binary64_3493 distribute-rgt-out_binary64_2759 sqr-abs_binary64_3503 distribute-rgt-out--_binary64_1737 distribute-rgt1-in_binary64_2762 clear-num_binary64_2464 pow-exp_binary64_3556 rem-cbrt-cube_binary64_1466 div-inv_binary64_2462 pow-pow_binary64_3560 cube-mult_binary64_790 diff-log_binary64_2557 sqrt-unprod_binary64_3167 diff-log_binary64_3580 rem-square-sqrt_binary64_3500 pow-pow_binary64_1173 sqrt-unprod_binary64_3508 neg-log_binary64_512 inv-pow_binary64_2209 pow-prod-down_binary64_1172 pow-exp_binary64_146 *-commutative_binary64_2055 rem-square-sqrt_binary64_3159 unpow3_binary64_2872 unpow3_binary64_1508 sum-log_binary64_851 pow1/3_binary64_842 pow2_binary64 pow1/3_binary64_1524 diff-log_binary64_3239 rem-cbrt-cube_binary64_1125 sub-neg_binary64_2458 div-sub_binary64_2470 pow3_binary64 div-sub_binary64_2129 pow-to-exp_binary64_147 associate-*r*_binary64_2064 pow2_binary64_841 rem-cbrt-cube_binary64_784 div-exp_binary64_2516 pow-plus_binary64_823 pow2_binary64_3569 pow-plus_binary64 div-sub_binary64_83 frac-2neg_binary64_2476 cube-mult_binary64_1472 sum-log_binary64_2215 associate-+l+_binary64_2398 +-commutative_binary64_2054 rem-cbrt-cube_binary64_3853 cbrt-undiv_binary64_2499 neg-mul-1_binary64_415 pow-sqr_binary64_733 associate-*r/_binary64_1043 cbrt-div_binary64_1133 +-commutative_binary64_690 pow-plus_binary64_3551 pow3_binary64_161

Counts

284 → 10186

Calls

223 calls:

190.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
86.0ms	(*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (+.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)))
73.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 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (+.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))) (*.f64 x1 (*.f64 x1 -6))) x1)))
67.0ms	(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))
66.0ms	(-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)

Compiler

Compiled 415100 to 230354 computations (44.5% saved)