rewrite41.7s (7.8%)

Algorithm

117×	rewrite-expression-head

Rules

2015×	add-exp-log_binary64_1139
1751×	add-cbrt-cube_binary64_1137
1529×	add-exp-log_binary64_457
1394×	times-frac_binary64_84
1304×	add-sqr-sqrt_binary64_100
1252×	*-un-lft-identity_binary64_78
1234×	sqrt-prod_binary64_94
1151×	prod-exp_binary64_1150
1015×	cbrt-unprod_binary64_1134
967×	add-cbrt-cube_binary64_455
849×	prod-exp_binary64_468
811×	times-frac_binary64_1107
797×	add-cube-cbrt_binary64_113
768×	add-sqr-sqrt_binary64
755×	*-un-lft-identity_binary64_1442
739×	times-frac_binary64
668×	add-sqr-sqrt_binary64_1464
655×	*-un-lft-identity_binary64
628×	times-frac_binary64_766
609×	add-sqr-sqrt_binary64_1123
551×	times-frac_binary64_1448
537×	add-cube-cbrt_binary64
515×	*-un-lft-identity_binary64_1101
513×	add-cube-cbrt_binary64_1136
510×	cbrt-prod_binary64_109
505×	cbrt-unprod_binary64_452
499×	times-frac_binary64_425
485×	add-sqr-sqrt_binary64_441
470×	add-sqr-sqrt_binary64_782
454×	*-un-lft-identity_binary64_760
425×	div-exp_binary64_1152
424×	*-un-lft-identity_binary64_419 add-cube-cbrt_binary64_1477
414×	add-cube-cbrt_binary64_454 unpow-prod-down_binary64_157
403×	add-cube-cbrt_binary64_795
352×	cbrt-undiv_binary64_1135
341×	add-exp-log_binary64_798
337×	div-exp_binary64_470
320×	difference-of-squares_binary64_47
300×	pow1_binary64_480
280×	add-exp-log_binary64
279×	sqrt-prod_binary64_776
272×	associate-*r*_binary64_359
271×	pow1_binary64_821
256×	add-exp-log_binary64_116
236×	add-cbrt-cube_binary64_796
228×	times-frac_binary64_2471
215×	pow1_binary64_1162
213×	add-sqr-sqrt_binary64_2487
212×	add-cbrt-cube_binary64
209×	associate-*r*_binary64_1041
197×	associate-*r/_binary64_361
195×	associate-*l/_binary64_362
193×	sqrt-prod_binary64_1117 *-un-lft-identity_binary64_2465
190×	cbrt-undiv_binary64_453
183×	add-cube-cbrt_binary64_2500
182×	sqrt-prod_binary64_435 frac-times_binary64_429
174×	add-exp-log_binary64_1480 add-cbrt-cube_binary64_114
166×	sqrt-prod_binary64_1458
165×	pow1_binary64
162×	add-cbrt-cube_binary64_1478
158×	add-cbrt-cube_binary64_1819 add-exp-log_binary64_1821
155×	prod-exp_binary64_809
153×	pow-prod-down_binary64_490 unpow-prod-down_binary64_1521
151×	pow1_binary64_1503
150×	cancel-sign-sub-inv_binary64_1408 exp-prod_binary64_1494
143×	associate-*r*_binary64_18
140×	add-sqr-sqrt_binary64_1805
137×	cube-prod_binary64_1470
136×	times-frac_binary64_1789
135×	pow-prod-down_binary64_831
130×	add-sqr-sqrt_binary64_2146
129×	cbrt-unprod_binary64_793
124×	add-exp-log_binary64_2503
121×	pow1_binary64_2185 associate-*l*_binary64
118×	distribute-lft-out--_binary64_1394
117×	cube-prod_binary64_106
114×	distribute-lft-out_binary64_29
113×	associate-/r*_binary64_22
112×	*-un-lft-identity_binary64_1783
111×	add-cube-cbrt_binary64_1818 associate-/r*_binary64
105×	associate-*r*_binary64 times-frac_binary64_2812
103×	unpow-prod-down_binary64_839
99×	associate-*r*_binary64_700 pow1_binary64_139
98×	add-cbrt-cube_binary64_2501
97×	add-sqr-sqrt_binary64_2828
96×	associate-*l*_binary64_360
95×	*-un-lft-identity_binary64_2806
93×	pow-prod-down_binary64_1172
90×	add-exp-log_binary64_2162
88×	add-cbrt-cube_binary64_2160
86×	tan-quot_binary64_578 pow-exp_binary64_487
85×	add-cube-cbrt_binary64_2841
84×	difference-of-squares_binary64_1411
83×	pow1_binary64_2526
80×	unpow-prod-down_binary64_2544 *-un-lft-identity_binary64_2124
79×	sqr-pow_binary64_50 distribute-lft-out_binary64_1393
78×	associate-/r*_binary64_1045 cbrt-prod_binary64_450
77×	cancel-sign-sub-inv_binary64
76×	associate-/l*_binary64 add-cube-cbrt_binary64_2159 div-exp_binary64 unpow2_binary64_143
75×	add-log-exp_binary64_117 log-pow_binary64_167
73×	sqrt-div_binary64_1118 sqr-pow_binary64_732
72×	associate-*r*_binary64_1382 associate-*r/_binary64_1725 exp-prod_binary64_130
71×	div-inv_binary64_1098 add-log-exp_binary64_1481 associate-*l*_binary64_1383
70×	add-log-exp_binary64 add-log-exp_binary64_799
69×	associate-*r/_binary64_1043
68×	pow-to-exp_binary64_488 associate-*r*_binary64_2405 pow1_binary64_1844
67×	associate-*l*_binary64_19 associate-*l*_binary64_1042
66×	distribute-lft-out--_binary64
65×	prod-exp_binary64_127 div-inv_binary64 sqrt-div_binary64_95
64×	add-log-exp_binary64_1140
63×	associate-/r*_binary64_363
62×	flip-+_binary64_393 flip3-+_binary64_422
61×	cbrt-unprod_binary64_1816 prod-exp_binary64_1832
60×	associate-*l*_binary64_701 div-exp_binary64_129
59×	sqrt-prod_binary64_2140
58×	associate-/l*_binary64_364 add-log-exp_binary64_458
57×	associate-/l*_binary64_705
56×	associate-/l*_binary64_23 flip-+_binary64_52 flip3-+_binary64_81
55×	associate-*r/_binary64_1384 log-pow_binary64 prod-exp_binary64
54×	difference-of-squares_binary64 prod-exp_binary64_1491
52×	cbrt-unprod_binary64_1475
51×	associate-/r/_binary64_365
50×	pow-prod-down_binary64_1513 unpow-prod-down_binary64_498
48×	associate-/l*_binary64_1728 cbrt-prod_binary64_2155 cbrt-undiv_binary64 add-cbrt-cube_binary64_2842 sqrt-div_binary64_1800 pow-exp_binary64_1169 associate-/r*_binary64_1386 add-exp-log_binary64_2844
47×	pow-prod-down_binary64_2195 associate-*l*_binary64_1724 associate-/r/_binary64_24
46×	div-inv_binary64_75
45×	flip3--_binary64_1787 flip--_binary64_1758 sqrt-prod_binary64_1799
44×	unswap-sqr_binary64
42×	frac-times_binary64_1111 add-log-exp_binary64_2163
41×	associate-/l*_binary64_1387
40×	prod-exp_binary64_2514
39×	prod-exp_binary64_2173 flip3--_binary64_1446 associate-*r*_binary64_2064 cbrt-unprod_binary64 cbrt-unprod_binary64_2157 flip--_binary64_1417
38×	associate-/r*_binary64_2409 sqrt-prod_binary64_2822 cbrt-undiv_binary64_112 add-log-exp_binary64_2504 sqrt-div_binary64_1459
37×	associate-/l*_binary64_1046 pow-unpow_binary64_837 cbrt-div_binary64_110
36×	distribute-rgt-in_binary64_369 cbrt-prod_binary64_1132 distribute-lft-in_binary64_368 sqrt-prod_binary64 div-exp_binary64_811
34×	distribute-lft-in_binary64_1732 cbrt-unprod_binary64_2498 distribute-rgt-in_binary64_1733 div-inv_binary64_416
33×	unswap-sqr_binary64_387 div-exp_binary64_1834 *-commutative_binary64_350 cbrt-undiv_binary64_1817
32×	sqr-pow_binary64_1414 associate-*r/_binary64_20 unswap-sqr_binary64_1069 associate-*l*_binary64_2065 associate-/r/_binary64_1729 pow1_binary64_2867 distribute-lft-out--_binary64_30
31×	pow-prod-down_binary64_2536 unpow-prod-down_binary64 associate-*r*_binary64_1723
30×	div-inv_binary64_1439 frac-times_binary64_1793 associate-*l/_binary64_1044 cancel-sign-sub-inv_binary64_1749
29×	log-prod_binary64 swap-sqr_binary64_1409 cbrt-unprod_binary64_111 cbrt-prod_binary64_791 pow-pow_binary64_1514
28×	sqr-pow_binary64_2437 pow-prod-down_binary64_1854
27×	rem-sqrt-square_binary64_91 distribute-lft-neg-in_binary64 unswap-sqr_binary64_1410 distribute-rgt-neg-in_binary64 associate-*l*_binary64_2406 unswap-sqr_binary64_46
26×	associate-*r*_binary64_2746
25×	pow-exp_binary64_828 unswap-sqr_binary64_2092 cancel-sign-sub-inv_binary64_726 unpow-prod-down_binary64_2203 *-commutative_binary64_691 clear-num_binary64 frac-2neg_binary64
24×	associate-/r/_binary64_1388 add-log-exp_binary64_2845 *-commutative_binary64_1032
22×	associate-/r*_binary64_2750 cube-prod_binary64_2152
21×	flip--_binary64_1076 clear-num_binary64_1100 frac-2neg_binary64_1112 frac-times_binary64_1452 flip3--_binary64_1105
20×	div-inv_binary64_757 associate-/r/_binary64 flip3-+_binary64_1445 unpow3_binary64_1508 flip-+_binary64_1416 sqrt-pow1_binary64_437 *-commutative_binary64 div-exp_binary64_2516 cube-mult_binary64_1472
19×	associate-*r/_binary64_2407 pow-prod-down_binary64 add-log-exp_binary64_1822 pow-exp_binary64_146 associate-/r*_binary64_704 associate-*l/_binary64_1385
18×	rem-sqrt-square_binary64_1114 times-frac_binary64_2130 pow-unpow_binary64_155 cancel-sign-sub-inv_binary64_385 frac-add_binary64_86 div-exp_binary64_1493 difference-of-squares_binary64_729
17×	*-commutative_binary64_1373 associate-*r/_binary64_702 sqr-pow_binary64 unswap-sqr_binary64_2433 clear-num_binary64_77 frac-2neg_binary64_89
16×	cube-prod_binary64_447 sqr-pow_binary64_391 pow1/2_binary64_158 distribute-rgt-in_binary64_2415 flip3-+_binary64_763 sqrt-pow1_binary64_96 clear-num_binary64_418 frac-2neg_binary64_430 flip-+_binary64_734 distribute-lft-in_binary64_2414
15×	sqrt-div_binary64_2823 distribute-rgt-in_binary64_1392 tan-quot_binary64 associate-*l/_binary64_1726 distribute-lft-in_binary64_1391
14×	associate-/l*_binary64_2410 flip-+_binary64_2439 sqrt-div_binary64_777 distribute-lft-out_binary64_711 pow-to-exp_binary64_147 cbrt-undiv_binary64_2840 sqrt-div_binary64_436 div-exp_binary64_2857 flip3-+_binary64_2468
13×	unswap-sqr_binary64_728 associate--r+_binary64 rec-exp_binary64 sqrt-pow1_binary64_1460 1-exp_binary64 *-commutative_binary64_2396 pow1/2_binary64_1522 cbrt-undiv_binary64_1476 unswap-sqr_binary64_1751
12×	pow1/2_binary64_2204 sqrt-pow1_binary64_2142 div-inv_binary64_2803 cbrt-prod_binary64_1473 sqrt-pow1_binary64_1119 associate-/r*_binary64_1727 pow-unpow_binary64_1519 unpow-prod-down_binary64_1862 pow-to-exp_binary64_829
11×	*-commutative_binary64_1714 flip3-+_binary64_2809 rem-sqrt-square_binary64_1455 pow1/2_binary64_1181 sqrt-pow1_binary64_778 div-inv_binary64_1780 flip-+_binary64_2780
10×	pow-to-exp_binary64_1170 pow1/3_binary64_160 clear-num_binary64_1441 frac-2neg_binary64_1453 unpow2_binary64_484 distribute-lft-out--_binary64_712 associate-/l/_binary64_1730 associate-/l*_binary64_2751 *-commutative_binary64_2055
9×	sqrt-pow1_binary64_2824 log-prod_binary64_164 pow-exp_binary64_1510 pow-unpow_binary64 associate-/l/_binary64_366 neg-mul-1_binary64 div-sub_binary64_1447 pow-flip_binary64 pow-prod-up_binary64_2194 pow-to-exp_binary64 sub-neg_binary64_2458 cancel-sign-sub-inv_binary64_2431 pow-unpow_binary64_496 sum-log_binary64_2215 inv-pow_binary64 pow-exp_binary64 div-inv_binary64_2462 associate-*l/_binary64_21 cbrt-undiv_binary64_794
8×	associate-*l/_binary64_703 div-sub_binary64_1788 exp-sum_binary64_806 pow-to-exp_binary64_2534 distribute-lft-out_binary64 sub-neg_binary64_1435 pow-pow_binary64_832 sub-neg_binary64_1094 flip3--_binary64 frac-times_binary64_88 flip--_binary64 sub-neg_binary64_753 associate-*l/_binary64 pow-exp_binary64_2533 distribute-rgt-in_binary64_1051 swap-sqr_binary64_2091 cube-prod_binary64_788 distribute-lft-in_binary64_1050 difference-of-squares_binary64_2093 cbrt-undiv_binary64_2499 cancel-sign-sub-inv_binary64_1067 cos-sum_binary64_894
7×	unpow-prod-down_binary64_1180 associate-/l/_binary64 flip3--_binary64_764 exp-diff_binary64_1490 pow-to-exp_binary64_1511 flip--_binary64_735 pow1/3_binary64_842 cbrt-unprod_binary64_2839 *-commutative_binary64_9 prod-exp_binary64_2855 associate-/r/_binary64_2411
6×	flip3-+_binary64_2127 sqrt-prod_binary64_2481 sub-neg_binary64 sub-neg_binary64_412 sqr-pow_binary64_2096 frac-2neg_binary64_1794 cbrt-div_binary64_792 flip3--_binary64_423 cbrt-prod_binary64_2496 pow-unpow_binary64_2201 pow-unpow_binary64_2542 log-prod_binary64_846 pow-pow_binary64_150 sub-neg_binary64_1776 flip--_binary64_394 pow1/2_binary64_2886 clear-num_binary64_1782 diff-log_binary64 distribute-lft-out_binary64_2416 associate-/r*_binary64_2068 flip-+_binary64_2098 pow1/2_binary64_840 associate-/r/_binary64_2752 pow1/2_binary64_499 associate-/l/_binary64_25
5×	unpow2_binary64_825 flip3--_binary64_2469 pow-sqr_binary64_2097 flip--_binary64_2440 associate-*r/_binary64_2748 rec-exp_binary64_128 pow1/3_binary64_1183 pow-prod-down_binary64_2877 rem-sqrt-square_binary64_773 associate-/r/_binary64_1047 cube-div_binary64_107 1-exp_binary64_122 pow-prod-up_binary64_1512 distribute-lft-in_binary64_709 distribute-lft-out_binary64_2757 rem-exp-log_binary64_1482 log-pow_binary64_2895 pow-prod-down_binary64_149 unpow3_binary64_485 pow-plus_binary64_2187 distribute-rgt-in_binary64_710 cube-mult_binary64_449 rem-sqrt-square_binary64_2137 sum-log_binary64_169
4×	associate-+r+_binary64_2397 frac-sub_binary64 sum-log_binary64_2556 flip--_binary64_53 associate-/l/_binary64_1389 frac-2neg_binary64_2817 +-commutative_binary64_2054 pow-pow_binary64_2196 exp-prod_binary64_2858 flip3--_binary64_82 frac-2neg_binary64_771 frac-add_binary64_1450 clear-num_binary64_2464 difference-of-sqr-1_binary64_2094 exp-prod_binary64_812 sqrt-div_binary64_2482 log-prod_binary64_2892 clear-num_binary64_2805 clear-num_binary64_759 associate-*r/_binary64_2066 sum-log_binary64_2897 flip-+_binary64 associate-+r+_binary64_1374 +-commutative_binary64_1372 distribute-lft-out_binary64_370 rem-sqrt-square_binary64_2819 flip3-+_binary64 frac-2neg_binary64_2476 diff-log_binary64_1534 log-div_binary64_847 sum-log_binary64_1533 +-commutative_binary64_2736 sqr-pow_binary64_1755
3×	flip--_binary64_2099 pow2_binary64_2205 associate-*r/_binary64 unpow3_binary64_2190 unpow2_binary64_1166 associate--l+_binary64_2402 unswap-sqr_binary64_2774 diff-log_binary64_852 rem-cube-cbrt_binary64_1465 pow-pow_binary64_491 associate-/l/_binary64_1048 cancel-sign-sub-inv_binary64_2090 sqrt-pow1_binary64 acos-asin_binary64_2305 rem-log-exp_binary64_119 distribute-rgt-in_binary64_2074 cube-mult_binary64_2154 cube-div_binary64_1471 sum-log_binary64_851 rem-sqrt-square_binary64 sqr-pow_binary64_1073 pow-sqr_binary64_1415 associate-*l*_binary64_2747 sqrt-div_binary64 associate--l+_binary64 +-commutative_binary64_8 +-commutative_binary64_2395 associate-/l/_binary64_707 flip3--_binary64_2128 distribute-rgt-out--_binary64 pow-pow_binary64 associate-/l*_binary64_2069 exp-diff_binary64_808 log-div_binary64 +-commutative_binary64_690 distribute-lft-in_binary64_2073
2×	sqrt-pow1_binary64_2483 sqrt-pow1_binary64_1801 unpow3_binary64_144 pow1/3_binary64_2547 cube-mult_binary64_108 pow-flip_binary64_152 log-pow_binary64_849 unpow2_binary64_2530 cos-diff_binary64_897 pow1/2_binary64_2545 associate-/l/_binary64_2071 pow1/2_binary64_1863 associate--l+_binary64_15 unpow3_binary64_826 pow-pow_binary64_2537 frac-times_binary64 associate-+l+_binary64_1375 pow-exp_binary64_2192 distribute-lft-in_binary64_27 associate--l+_binary64_2061 sinh-undef_binary64_953 div-sub_binary64 rem-sqrt-square_binary64_432 diff-log_binary64_2557 cube-mult_binary64_790 inv-pow_binary64_163 pow-to-exp_binary64_2193 sqr-abs_binary64_1457 rem-log-exp_binary64 distribute-rgt-in_binary64_28 pow-sub_binary64_836 cube-mult_binary64_2495 rem-sqrt-square_binary64_1796 associate-/r/_binary64_2070 rem-sqrt-square_binary64_2478 difference-of-squares_binary64_1752 div-sub_binary64_765 associate-/l/_binary64_2412 sub-div_binary64 frac-add_binary64_1109 rem-cbrt-cube_binary64_102
1×	clear-num_binary64_2123 div-sub_binary64_2129 difference-of-squares_binary64_388 distribute-lft-out--_binary64_371 sqrt-unprod_binary64_1462 cancel-sign-sub-inv_binary64_44 associate-+r+_binary64_10 pow1/2_binary64 sqrt-unprod_binary64_2144 unpow3_binary64_2531 rem-cbrt-cube_binary64_1466 distribute-rgt1-in_binary64_2421 pow2_binary64_159 sqr-abs_binary64_2139 rem-cbrt-cube_binary64_2148 rem-square-sqrt_binary64_2136 exp-sum_binary64_2852 rem-square-sqrt_binary64_1454 div-exp_binary64_2175 pow-plus_binary64_1505 rem-log-exp_binary64_801 pow1/3_binary64_1524 cbrt-undiv_binary64_2158 un-div-inv_binary64_76 unpow2_binary64_2189 pow1/3_binary64_2206 distribute-rgt-out_binary64_2418 sub-neg_binary64_2117 associate-+l+_binary64_2057 diff-log_binary64_2216 *-commutative_binary64_2737 sqrt-pow2_binary64_2143 asin-acos_binary64_258 unpow2_binary64_1507 diff-log_binary64_170 +-commutative_binary64_1031 div-inv_binary64_2121 flip-+_binary64_1075 rem-log-exp_binary64_2847 sub-neg_binary64_71 rem-cube-cbrt_binary64_2147 associate--r-_binary64 rem-exp-log_binary64_800 frac-2neg_binary64_2135 distribute-lft-out_binary64_1052 div-sub_binary64_83 sum-log_binary64_1192 cbrt-div_binary64_1474 pow2_binary64_1523 flip3-+_binary64_1104

Counts

439 → 13974

Calls

329 calls:

77.0ms	(sqrt.f64 (/.f64 (sqrt.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2))) (cbrt.f64 (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2))))))
71.0ms	(*.f64 (*.f64 1/2 (pow.f64 (/.f64 M (/.f64 d (/.f64 D 2))) 2)) (/.f64 h l))
65.0ms	(+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))
63.0ms	(pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)
59.0ms	(*.f64 (sqrt.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 Ec (+.f64 EDonor Vef))) KbT))))) (sqrt.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 Ec (+.f64 EDonor Vef))) KbT))))))

Compiler

Compiled 541348 to 292616 computations (45.9% saved)