rewrite37.3s (7.8%)

Algorithm

117×	rewrite-expression-head

Rules

2532×	times-frac_binary64_1448
2179×	add-exp-log_binary64_1139
1823×	add-cbrt-cube_binary64_1137
1646×	add-exp-log_binary64_457
1241×	prod-exp_binary64_1150
1217×	add-sqr-sqrt_binary64_1464
1208×	times-frac_binary64_425
1119×	*-un-lft-identity_binary64_2806
1114×	add-cbrt-cube_binary64_455
1109×	*-un-lft-identity_binary64_1442
1053×	cbrt-unprod_binary64_1134
968×	add-cube-cbrt_binary64_1477
859×	prod-exp_binary64_468
820×	times-frac_binary64
816×	add-sqr-sqrt_binary64_441
760×	add-sqr-sqrt_binary64
744×	add-sqr-sqrt_binary64_100
736×	*-un-lft-identity_binary64_419
724×	add-cube-cbrt_binary64_454
658×	*-un-lft-identity_binary64
645×	*-un-lft-identity_binary64_78
611×	times-frac_binary64_84
595×	add-cube-cbrt_binary64
562×	sqrt-prod_binary64_94
542×	cbrt-unprod_binary64_452
472×	div-exp_binary64_1152
457×	add-exp-log_binary64_1480
443×	times-frac_binary64_2812
415×	div-exp_binary64_470
405×	add-sqr-sqrt_binary64_782
397×	add-cube-cbrt_binary64_113
388×	times-frac_binary64_766
386×	exp-prod_binary64_2858
374×	cbrt-undiv_binary64_1135
373×	*-un-lft-identity_binary64_760
371×	add-exp-log_binary64
348×	distribute-lft-out_binary64_2757
323×	add-sqr-sqrt_binary64_1123
322×	associate-*r/_binary64_20
307×	add-cube-cbrt_binary64_795
302×	frac-add_binary64_86
299×	sqrt-prod_binary64_1458
286×	pow1_binary64_480
279×	sqrt-prod_binary64_435
277×	add-cbrt-cube_binary64_1478 cbrt-undiv_binary64_453
274×	associate-*r*_binary64_359
270×	add-exp-log_binary64_798
250×	pow1_binary64_821
242×	pow1_binary64_1162
241×	add-sqr-sqrt_binary64_2828
235×	*-un-lft-identity_binary64_1101
233×	difference-of-squares_binary64_1411
225×	unpow-prod-down_binary64_157
224×	add-cube-cbrt_binary64_1136 sqrt-prod_binary64_776
223×	add-cube-cbrt_binary64_2841
220×	difference-of-squares_binary64_47
219×	add-cbrt-cube_binary64
215×	times-frac_binary64_1107
200×	add-exp-log_binary64_116 add-sqr-sqrt_binary64_1805
199×	add-cbrt-cube_binary64_796
198×	distribute-lft-out--_binary64_2758
193×	add-exp-log_binary64_1821
185×	add-cbrt-cube_binary64_1819
167×	associate-*r/_binary64_361
165×	div-exp_binary64_1493
163×	div-inv_binary64_1439
160×	pow1_binary64_1503
158×	add-sqr-sqrt_binary64_2146 *-un-lft-identity_binary64_1783
157×	associate-*r*_binary64
154×	associate-*r*_binary64_1041
152×	pow1_binary64_1844 frac-times_binary64_2134 add-cbrt-cube_binary64_114 pow1_binary64
147×	associate-*l*_binary64
142×	associate-/r*_binary64_1386
141×	frac-times_binary64_429
139×	pow-prod-down_binary64_490
138×	associate-*l*_binary64_360
136×	add-cube-cbrt_binary64_1818
129×	prod-exp_binary64_1491
127×	associate-*l/_binary64_362
124×	prod-exp_binary64
118×	associate-/r/_binary64_1388
116×	prod-exp_binary64_809
115×	pow-prod-down_binary64_831
114×	pow-prod-down_binary64_1172
111×	associate-/r*_binary64
107×	associate-*r*_binary64_1382
104×	add-exp-log_binary64_2162
102×	pow1_binary64_139 cbrt-prod_binary64_450
101×	sqrt-prod_binary64_1117
99×	flip-+_binary64_52 flip3-+_binary64_81 cbrt-unprod_binary64_793
98×	add-cbrt-cube_binary64_2160 sqrt-div_binary64_2141
93×	unpow-prod-down_binary64 *-un-lft-identity_binary64_2124
92×	associate-*l*_binary64_2065 associate-*l*_binary64_1042
91×	unpow-prod-down_binary64_1521
90×	cbrt-div_binary64_110 associate-*r/_binary64_1043
87×	add-log-exp_binary64_1481 div-exp_binary64
86×	flip3--_binary64_2128 div-inv_binary64_416 flip--_binary64_2099
85×	associate-*r*_binary64_1723
84×	add-cube-cbrt_binary64_2159
83×	associate-/l*_binary64_364
81×	associate-/r*_binary64_363
79×	cancel-sign-sub-inv_binary64_1408
78×	add-sqr-sqrt_binary64_2487
77×	associate-*r*_binary64_700 cbrt-unprod_binary64_1475
76×	associate-*l/_binary64_2067 add-log-exp_binary64_799
75×	pow1_binary64_2185 prod-exp_binary64_1832 associate-*l*_binary64_1383
74×	unpow-prod-down_binary64_839
73×	associate-*l*_binary64_1724
72×	associate-*l*_binary64_701
71×	cbrt-unprod_binary64_1816
70×	tan-quot_binary64_578 associate-*r/_binary64_2066 pow-exp_binary64_1169 cbrt-undiv_binary64_1476
69×	associate-/l*_binary64
68×	add-log-exp_binary64_458 pow-exp_binary64_487
67×	pow-prod-down_binary64_2877 sqrt-div_binary64_1118
66×	times-frac_binary64_2130 sqr-pow_binary64_50
65×	associate-/r*_binary64_22 associate-*r*_binary64_18
64×	add-log-exp_binary64_1140
63×	associate-*r*_binary64_2064 associate-*r/_binary64_1384 cbrt-prod_binary64_791
61×	pow-prod-down_binary64_1854 unpow2_binary64_143
60×	flip3--_binary64_1446 add-log-exp_binary64 flip--_binary64_1417
59×	pow-prod-up_binary64_2876 pow-to-exp_binary64_488 pow-sqr_binary64_2779
58×	frac-times_binary64_1111 unswap-sqr_binary64 sqrt-prod_binary64_2140 add-log-exp_binary64_117
57×	flip3-+_binary64_422 flip-+_binary64_393
55×	add-log-exp_binary64_1822 div-inv_binary64
54×	sqrt-div_binary64_95
52×	associate-*l*_binary64_19 *-un-lft-identity_binary64_2465
51×	sqrt-prod_binary64_1799
50×	times-frac_binary64_1789 pow-prod-down_binary64_1513
49×	prod-exp_binary64_2173 associate-/l*_binary64_23 div-exp_binary64_129 cbrt-unprod_binary64
48×	pow1_binary64_2526 unpow-prod-down_binary64_498 div-inv_binary64_1098 add-cube-cbrt_binary64_2500
46×	distribute-lft-out_binary64_29 sqr-pow_binary64_732
45×	cbrt-undiv_binary64 cbrt-unprod_binary64_2157
42×	associate-/l*_binary64_1387 unswap-sqr_binary64_387 associate-*r/_binary64_1725
41×	log-prod_binary64 unswap-sqr_binary64_1410 associate-/r/_binary64_24
40×	associate-*l/_binary64_1044 pow-unpow_binary64_837
39×	associate-/r/_binary64_365
37×	prod-exp_binary64_127
36×	associate-/l*_binary64_1046 sqrt-div_binary64_1800 sqrt-div_binary64_1459
35×	sqr-pow_binary64 log-pow_binary64
34×	*-commutative_binary64_350 unswap-sqr_binary64_1751 pow-prod-down_binary64_2195 distribute-lft-out--_binary64 unswap-sqr_binary64_1069
33×	cbrt-prod_binary64_109
31×	flip3--_binary64_1787 cbrt-undiv_binary64_112 flip--_binary64_1758
30×	unswap-sqr_binary64_2092 add-exp-log_binary64_2503 associate-/r*_binary64_1045 sqrt-pow1_binary64_96 pow-to-exp_binary64 pow-exp_binary64
29×	div-inv_binary64_75 cancel-sign-sub-inv_binary64_726 distribute-rgt-in_binary64_369 distribute-lft-in_binary64_368 associate-/l*_binary64_705
28×	add-cbrt-cube_binary64_2501 cbrt-unprod_binary64_111 sqrt-prod_binary64 flip3-+_binary64_2127 flip-+_binary64_2098 pow-prod-down_binary64
27×	rem-sqrt-square_binary64_91 cbrt-prod_binary64_1814 sqr-pow_binary64_1414
26×	associate-/l*_binary64_2751
25×	*-commutative_binary64_1032 1-exp_binary64_1486 add-cbrt-cube_binary64_2842 cbrt-prod_binary64_2496 rec-exp_binary64_1492
24×	sqrt-prod_binary64_2481 pow-unpow_binary64_155 difference-of-squares_binary64 log-prod_binary64_2892 flip3-+_binary64_1445 flip-+_binary64_1416 *-commutative_binary64
23×	pow-pow_binary64_2878 *-commutative_binary64_1714 unpow-prod-down_binary64_1862 add-exp-log_binary64_2844
22×	unswap-sqr_binary64_728 associate-*r/_binary64_702 clear-num_binary64_1100 distribute-rgt-in_binary64_1733 sqrt-pow1_binary64_437 div-exp_binary64_811 distribute-lft-out--_binary64_30 sqrt-pow1_binary64_778 frac-2neg_binary64_1112 pow1_binary64_2867 distribute-lft-in_binary64_1732 difference-of-squares_binary64_729
21×	pow-exp_binary64_828 flip--_binary64_1076 *-commutative_binary64_691 sqrt-div_binary64_777 flip3--_binary64_1105
20×	cube-prod_binary64_447 *-commutative_binary64_1373 clear-num_binary64 frac-2neg_binary64 associate-/r*_binary64_2750 cancel-sign-sub-inv_binary64_1067
19×	div-sub_binary64_2811 pow1/3_binary64_842 pow-exp_binary64_146
18×	pow1/2_binary64_158 exp-diff_binary64_2854 cancel-sign-sub-inv_binary64_385 times-frac_binary64_2471 distribute-lft-out--_binary64_712 add-log-exp_binary64_2845
17×	log-div_binary64_2211 associate-+r-_binary64_2740 cbrt-prod_binary64_1132 exp-diff_binary64_2172 clear-num_binary64_418 frac-2neg_binary64_430 associate-/r*_binary64_1727 cancel-sign-sub-inv_binary64_1749
16×	div-inv_binary64_757 sqr-pow_binary64_391 pow-exp_binary64_1510 add-log-exp_binary64_2163 pow-to-exp_binary64_1511 frac-times_binary64_1793 cancel-sign-sub-inv_binary64_2090 exp-sum_binary64_2852 add-log-exp_binary64_2504 associate-*r*_binary64_2405 sqrt-div_binary64_436 associate-*l*_binary64_2406
15×	associate-/l/_binary64_1048 flip3-+_binary64_1786 div-exp_binary64_1834 cbrt-undiv_binary64_1817 pow-to-exp_binary64_147 frac-times_binary64_1452 flip-+_binary64_1757
14×	rem-sqrt-square_binary64_1114 pow-to-exp_binary64_1170 distribute-rgt-in_binary64_2074 rec-exp_binary64 *-commutative_binary64_2055 unpow-prod-down_binary64_1180 clear-num_binary64_77 1-exp_binary64 distribute-rgt-in_binary64_1051 frac-2neg_binary64_89 distribute-lft-in_binary64_1050 distribute-lft-in_binary64_2073 swap-sqr_binary64_2432
13×	associate-/r/_binary64_1729 tan-quot_binary64 associate--l+_binary64 associate-/l*_binary64_1728
12×	clear-num_binary64_1441 pow-pow_binary64_832 swap-sqr_binary64 associate-/r/_binary64 frac-2neg_binary64_1453 cube-prod_binary64_106 div-inv_binary64_2803 distribute-lft-out_binary64 associate-/r*_binary64_704 sum-log_binary64_1533 unswap-sqr_binary64_46
11×	cancel-sign-sub-inv_binary64 pow1/3_binary64_160 pow-prod-down_binary64_2536 flip3--_binary64_764 flip--_binary64_735 sqrt-pow1_binary64_1119 distribute-lft-out_binary64_711 pow1/2_binary64_1181
10×	sqrt-pow1_binary64_2483 pow1/2_binary64_2545 frac-add_binary64_1450 cbrt-div_binary64_792 unswap-sqr_binary64_2433 rem-sqrt-square_binary64_773 flip3-+_binary64_763 flip-+_binary64_734 associate-*l/_binary64_1726 pow1/2_binary64_840
9×	associate-/l/_binary64 pow-unpow_binary64 distribute-lft-out_binary64_1393 pow-pow_binary64_150 pow1/3_binary64_2547 sub-neg_binary64_753 associate-*l/_binary64 sub-neg_binary64_1776 sqr-pow_binary64_1755 pow-to-exp_binary64_829
8×	unpow-prod-up_binary64_838 associate-*r/_binary64_2748 flip--_binary64_394 prod-exp_binary64_2514 flip3--_binary64_423 sub-neg_binary64_1094 cbrt-unprod_binary64_2498 unpow-prod-down_binary64_2203 associate-*l/_binary64_1385 unpow2_binary64_484 log-pow_binary64_1531 difference-of-squares_binary64_2775 difference-of-squares_binary64_1752 sub-neg_binary64_2117 associate-/l/_binary64_366 associate-/l/_binary64_1730 pow-prod-down_binary64_149 distribute-lft-out--_binary64_1394 difference-of-squares_binary64_2434
7×	associate-*l/_binary64_703 sqrt-pow1_binary64_1801 associate-/l/_binary64_1389 distribute-lft-out_binary64_1734 flip3-+_binary64_2809 frac-times_binary64_88 rem-log-exp_binary64 div-exp_binary64_2175 cbrt-undiv_binary64_2158 sqr-pow_binary64_1073 difference-of-squares_binary64_2093 pow-prod-up_binary64_2535 unpow2_binary64_1166 exp-prod_binary64_1494 flip-+_binary64_2780 pow1/2_binary64_499
6×	associate-/r*_binary64_2409 associate-*r/_binary64 sub-neg_binary64_1435 log-div_binary64_2893 sub-neg_binary64_412 diff-log_binary64_852 pow-flip_binary64_152 flip--_binary64 difference-of-squares_binary64_1070 pow-flip_binary64 swap-sqr_binary64_727 pow1/2_binary64_1863 flip3--_binary64 associate-/l/_binary64_2753 pow1/3_binary64_1865 pow-unpow_binary64_1519 sqrt-pow1_binary64_1460 inv-pow_binary64 pow1/2_binary64_1522 diff-log_binary64_1534 pow-unpow_binary64_1860 exp-prod_binary64_2176 div-inv_binary64_1780 unpow3_binary64_485 pow-flip_binary64_1516 cube-mult_binary64_449
5×	pow-sqr_binary64_2438 frac-2neg_binary64_2817 flip-+_binary64 rem-sqrt-square_binary64_1455 frac-2neg_binary64_1794 *-commutative_binary64_9 inv-pow_binary64_163 flip3-+_binary64 pow-sub_binary64_836 clear-num_binary64_2805 cbrt-undiv_binary64_2840 clear-num_binary64_1782 +-commutative_binary64_1372 unpow2_binary64_1848 inv-pow_binary64_1527 log-div_binary64 div-exp_binary64_2857
4×	+-commutative_binary64_1713 unpow3_binary64_144 cube-mult_binary64_108 pow-pow_binary64_1514 pow-exp_binary64_1851 flip3--_binary64_82 distribute-rgt-in_binary64_1392 sqr-pow_binary64_2096 associate-+r+_binary64_1715 difference-of-sqr-1_binary64_2435 cube-prod_binary64_1811 pow-plus_binary64_1505 sum-log_binary64_851 pow-to-exp_binary64_1852 sqrt-div_binary64 pow-prod-up_binary64_1512 sinh-def_binary64_945 rem-sqrt-square_binary64_2478 *-commutative_binary64_2396 flip--_binary64_53 distribute-rgt-in_binary64_710 distribute-lft-out_binary64_370 distribute-lft-in_binary64_709 frac-sub_binary64_2133 distribute-lft-in_binary64_1391 unpow2_binary64_825 associate-*l/_binary64_21 cbrt-undiv_binary64_794 associate-/r/_binary64_2752 sum-log_binary64_1874 cos-sum_binary64_894
3×	flip--_binary64_2781 pow1/3_binary64_1183 log-prod_binary64_1528 acos-asin_binary64_2646 associate-*r*_binary64_2746 frac-times_binary64 flip3--_binary64_2810 flip3--_binary64_2469 flip--_binary64_2440 associate-*l/_binary64_2749 sum-log_binary64_510 cube-prod_binary64_2834 associate--r+_binary64 pow-unpow_binary64_2883 associate-*l*_binary64_2747 distribute-lft-out--_binary64_1053 pow-unpow_binary64_496 rem-sqrt-square_binary64_1796 +-commutative_binary64_349 associate-+r+_binary64_1374 div-inv_binary64_2121 unpow-prod-down_binary64_2885 associate-/l*_binary64_2410 pow-pow_binary64 log-pow_binary64_2213 swap-sqr_binary64_2773 frac-sub_binary64_2815
2×	div-sub_binary64_1447 1-exp_binary64_463 distribute-lft-out--_binary64_2076 sub-neg_binary64 difference-of-squares_binary64_388 associate-/l/_binary64_707 pow-prod-up_binary64_830 inv-pow_binary64_845 associate--l+_binary64_15 frac-2neg_binary64_771 pow-pow_binary64_1855 pow1/2_binary64 rem-log-exp_binary64_2847 frac-times_binary64_2816 distribute-lft-in_binary64_27 associate--l+_binary64_2061 sinh-undef_binary64_953 rem-sqrt-square_binary64_432 sqrt-pow1_binary64 distribute-lft-out--_binary64_371 pow2_binary64_2546 diff-log_binary64 rec-exp_binary64_128 un-div-inv_binary64 pow-to-exp_binary64_2193 pow-exp_binary64_2192 associate-+l+_binary64_1716 distribute-rgt-in_binary64_28 sub-div_binary64_2813 associate-/l/_binary64_2412 pow-sqr_binary64_1415 log-pow_binary64_2895 1-exp_binary64_122 clear-num_binary64_759 sum-log_binary64_2897 distribute-lft-out--_binary64_1735 asin-acos_binary64_258 div-sub_binary64_765 pow-flip_binary64_834 sin-mult_binary64_233 +-commutative_binary64_2736 pow-plus_binary64_2528 frac-add_binary64_1109 associate-/r/_binary64_2411 rem-sqrt-square_binary64 pow2_binary64_1523 pow-sqr_binary64_733 cbrt-div_binary64_1133 +-commutative_binary64_690 associate--r+_binary64_696 associate-/l/_binary64_25
1×	*-commutative_binary64_2737 pow2_binary64_2887 cube-mult_binary64_2836 cube-mult_binary64_1813 pow-prod-up_binary64 sqrt-pow1_binary64_2142 diff-log_binary64_1875 distribute-lft-out_binary64_2075 sqrt-pow2_binary64_779 pow1/2_binary64_2204 pow-to-exp_binary64_2875 cancel-sign-sub-inv_binary64_44 exp-sum_binary64_2170 div-inv_binary64_2462 associate--l-_binary64 associate-+l+_binary64_1375 unswap-sqr_binary64_2774 div-sub_binary64_83 clear-num_binary64_2464 pow-pow_binary64_491 rem-cube-cbrt_binary64_2829 div-sub_binary64 sqrt-unprod_binary64_780 diff-log_binary64_2557 sqrt-unprod_binary64_1803 unpow3_binary64_2872 cos-diff_binary64_897 cancel-sign-sub-inv_binary64_2772 pow2_binary64 frac-times_binary64_770 sub-neg_binary64_2458 sqr-pow_binary64_2778 div-exp_binary64_2516 rem-exp-log_binary64_2164 unpow2_binary64_1507 cancel-sign-sub-inv_binary64_2431 diff-log_binary64_170 pow-exp_binary64_2874 +-commutative_binary64_1031 flip-+_binary64_1075 pow2_binary64_841 sub-neg_binary64_71 cbrt-unprod_binary64_2839 distribute-rgt-out--_binary64_2760 pow-plus_binary64_823 sub-neg_binary64_2799 distribute-lft-out_binary64_1052 rem-log-exp_binary64_1483 log-prod_binary64_2210 frac-2neg_binary64_2476 pow-plus_binary64_2869 rem-square-sqrt_binary64_2477 prod-exp_binary64_2855 sqr-abs_binary64_2480 cube-div_binary64_2835 sum-log_binary64_1192 sqrt-unprod_binary64_2485 div-sub_binary64_2470 cbrt-undiv_binary64_2499 diff-log_binary64_2898 unpow3_binary64_1849 rem-sqrt-square_binary64_2137 flip3-+_binary64_1104 pow-sqr_binary64 sqrt-pow2_binary64_1461

Counts

438 → 14118

Calls

312 calls:

239.0ms	(*.f64 (*.f64 (*.f64 -2 J) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (*.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
182.0ms	(sqrt.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 l l) x)) (+.f64 (*.f64 4 (/.f64 (*.f64 t t) x)) (+.f64 (*.f64 2 (/.f64 (*.f64 l l) (pow.f64 x 3))) (+.f64 (*.f64 2 (+.f64 (*.f64 t t) (/.f64 (*.f64 l l) (*.f64 x x)))) (*.f64 4 (+.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) (/.f64 (*.f64 t t) (*.f64 x x)))))))))
176.0ms	(cbrt.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 l l) x)) (+.f64 (*.f64 4 (/.f64 (*.f64 t t) x)) (+.f64 (*.f64 2 (+.f64 (/.f64 (*.f64 l l) (pow.f64 x 3)) (+.f64 (*.f64 t t) (/.f64 (*.f64 l l) (*.f64 x x))))) (*.f64 4 (+.f64 (/.f64 (*.f64 t t) (pow.f64 x 3)) (/.f64 (*.f64 t t) (*.f64 x x))))))))
70.0ms	(sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2)))))
66.0ms	(-.f64 (*.f64 (exp.f64 (/.f64 (+.f64 EAccept (-.f64 (+.f64 Ev Vef) mu)) KbT)) (exp.f64 (/.f64 (+.f64 EAccept (-.f64 (+.f64 Ev Vef) mu)) KbT))) (*.f64 1 (exp.f64 (/.f64 (+.f64 EAccept (-.f64 (+.f64 Ev Vef) mu)) KbT))))

Compiler

Compiled 606419 to 310060 computations (48.9% saved)