rewrite7.0s (2.5%)

Algorithm

117×	rewrite-expression-head

Rules

2331×	add-exp-log_binary64_1480
2149×	times-frac_binary64_1107
2078×	times-frac_binary64
1725×	add-sqr-sqrt_binary64
1705×	*-un-lft-identity_binary64
1427×	times-frac_binary64_84
1317×	add-exp-log_binary64_1139
1298×	prod-exp_binary64_1491
1230×	add-cbrt-cube_binary64_1478
1155×	add-sqr-sqrt_binary64_1123
1097×	*-un-lft-identity_binary64_1101
1094×	*-un-lft-identity_binary64_78
1045×	times-frac_binary64_2130
1007×	add-cube-cbrt_binary64_1136
1000×	add-exp-log_binary64_116
971×	add-cube-cbrt_binary64
965×	add-exp-log_binary64_457
887×	add-sqr-sqrt_binary64_2146
856×	add-sqr-sqrt_binary64_100
788×	add-cube-cbrt_binary64_113
763×	add-cbrt-cube_binary64_114
734×	add-cbrt-cube_binary64_1137
730×	sqrt-prod_binary64_2140
689×	prod-exp_binary64_1150
680×	add-sqr-sqrt_binary64_441
662×	div-exp_binary64_1493
657×	sqrt-prod_binary64_1117
638×	cbrt-unprod_binary64_1475
587×	*-un-lft-identity_binary64_1442
566×	add-sqr-sqrt_binary64_1464
531×	difference-of-squares_binary64
526×	prod-exp_binary64_468
514×	times-frac_binary64_1448
512×	prod-exp_binary64_127
497×	*-un-lft-identity_binary64_419
475×	*-un-lft-identity_binary64_2124
473×	times-frac_binary64_425
467×	add-cbrt-cube_binary64_455
455×	add-cube-cbrt_binary64_2159
430×	sqrt-prod_binary64_94
392×	cbrt-unprod_binary64_111
377×	add-cube-cbrt_binary64_1477
366×	unpow-prod-down_binary64
363×	cbrt-unprod_binary64_1134
354×	add-cube-cbrt_binary64_454
332×	add-sqr-sqrt_binary64_782
327×	cbrt-undiv_binary64_1476
326×	sqr-pow_binary64
310×	distribute-lft-out_binary64
307×	times-frac_binary64_766
297×	*-un-lft-identity_binary64_760
294×	div-exp_binary64_1152
288×	add-exp-log_binary64
285×	log-prod_binary64
281×	associate-*l/_binary64_21
269×	frac-times_binary64_88
265×	add-exp-log_binary64_798
262×	add-cube-cbrt_binary64_795
250×	sqrt-prod_binary64_435
243×	div-exp_binary64_129
239×	pow1_binary64_480
238×	unpow-prod-down_binary64_498
232×	associate-*r*_binary64_2064
225×	associate-*l*_binary64_2065
219×	add-exp-log_binary64_2162
218×	cbrt-unprod_binary64_452 pow1_binary64_139
206×	associate-/r*_binary64_1045
204×	div-exp_binary64_470
202×	add-cbrt-cube_binary64_2160
198×	unpow-prod-down_binary64_157 unpow-prod-down_binary64_1180
195×	associate-*r*_binary64_1382 associate-/r*_binary64 difference-of-squares_binary64_388 pow1_binary64_1162 cbrt-prod_binary64_450
194×	add-cbrt-cube_binary64
193×	add-cbrt-cube_binary64_796
182×	associate-*r/_binary64_20
180×	cbrt-prod_binary64_791
166×	pow1_binary64_821
165×	associate-*l*_binary64
164×	associate-*r*_binary64_700
163×	sqrt-prod_binary64_1458
155×	cbrt-undiv_binary64_112
154×	sqr-pow_binary64_1073
152×	distribute-lft-out_binary64_29
146×	sqrt-prod_binary64_776
137×	cbrt-undiv_binary64_1135
126×	unpow-prod-up_binary64 pow1_binary64_1503
125×	add-exp-log_binary64_1821
123×	associate-*l*_binary64_19 associate-*l*_binary64_1383
122×	pow1_binary64_2185
119×	associate-*r*_binary64_359
118×	add-cbrt-cube_binary64_1819
116×	pow1_binary64
113×	add-sqr-sqrt_binary64_1805 pow1_binary64_1844
105×	*-un-lft-identity_binary64_1783
104×	pow-exp_binary64_1169
102×	associate-*r*_binary64_1041
101×	flip-+_binary64_52 flip3-+_binary64_81
100×	pow-prod-down_binary64_490
98×	tan-quot_binary64_237
95×	associate-/r/_binary64_24 associate-/r*_binary64_22 unpow-prod-down_binary64_1521
94×	prod-exp_binary64_809 associate-*r/_binary64_1725
92×	unswap-sqr_binary64_2092 add-cube-cbrt_binary64_1818 prod-exp_binary64_2173 pow-prod-down_binary64_149
91×	associate-*r*_binary64 associate-*l*_binary64_360
89×	sqrt-div_binary64_1118
87×	associate-*r*_binary64_18
85×	distribute-lft-out--_binary64_1394
82×	pow-prod-down_binary64_1172
81×	div-exp_binary64
80×	cbrt-unprod_binary64_2157 add-log-exp_binary64_2163 cbrt-unprod_binary64_793 pow-exp_binary64_487
77×	cancel-sign-sub-inv_binary64_1067
76×	div-inv_binary64_75
75×	1-exp_binary64_1486 rec-exp_binary64_1492
74×	add-log-exp_binary64_1140 associate-/l*_binary64 pow1_binary64_2526 div-inv_binary64
73×	add-log-exp_binary64 associate-*r/_binary64_1043 div-inv_binary64_1098
72×	cbrt-undiv_binary64_453
70×	associate-/r*_binary64_1386 add-log-exp_binary64_117
69×	associate-/l*_binary64_23 add-log-exp_binary64_458
68×	sqrt-div_binary64_95
66×	add-log-exp_binary64_799 sqrt-div_binary64_1459
62×	difference-of-squares_binary64_1070
61×	pow-to-exp_binary64_488 pow-prod-down_binary64_831
60×	frac-times_binary64_1111 pow-unpow_binary64_1178
59×	sqr-pow_binary64_391
58×	add-exp-log_binary64_2503
57×	associate-*r/_binary64_361
56×	associate-*r/_binary64_1384 frac-add_binary64_1791 add-cbrt-cube_binary64_2501
55×	add-sqr-sqrt_binary64_2828 pow-prod-down_binary64_2195 unswap-sqr_binary64_1410
54×	unpow2_binary64_484 associate-/l*_binary64_1387 associate-*l/_binary64_1726
53×	frac-times_binary64_1452 distribute-lft-out--_binary64 *-un-lft-identity_binary64_2806
51×	flip3--_binary64_1787 prod-exp_binary64 associate-/l*_binary64_1046 flip--_binary64_1758
50×	add-log-exp_binary64_1481 unswap-sqr_binary64
49×	flip3--_binary64_1446 flip--_binary64_1417
48×	frac-times_binary64_1793 flip3-+_binary64_1786 flip-+_binary64_1757 distribute-lft-out_binary64_1393
47×	add-cube-cbrt_binary64_2841
46×	cbrt-unprod_binary64_1816 prod-exp_binary64_1832
45×	cbrt-undiv_binary64
43×	pow-prod-down_binary64_1854 pow-exp_binary64_1510
42×	div-inv_binary64_757
41×	pow-prod-down_binary64_1513 div-exp_binary64_811
40×	associate-/r/_binary64 associate-*r*_binary64_1723
39×	distribute-rgt-in_binary64_369 associate-*l/_binary64_1385 distribute-lft-in_binary64_368 sqr-pow_binary64_1414
38×	cube-prod_binary64_1129 associate-/r*_binary64_704 add-log-exp_binary64_1822
37×	cbrt-prod_binary64
36×	sqrt-prod_binary64_2822 cbrt-prod_binary64_1814 cancel-sign-sub-inv_binary64 pow-unpow_binary64
35×	associate-*l/_binary64_1044
34×	associate-*l*_binary64_701 associate-/l*_binary64_364
33×	cbrt-undiv_binary64_2158 add-cbrt-cube_binary64_2842 cancel-sign-sub-inv_binary64_385 add-exp-log_binary64_2844 pow-prod-down_binary64_2536 div-exp_binary64_2175
32×	div-inv_binary64_1439 cbrt-prod_binary64_1132 associate-*l*_binary64_1724
31×	cbrt-undiv_binary64_794 add-sqr-sqrt_binary64_2487 cbrt-unprod_binary64 associate-*r/_binary64_2066 flip3--_binary64_1105 flip--_binary64_1076
30×	*-un-lft-identity_binary64_2465
29×	1-exp_binary64_122 associate-*r/_binary64_702 pow-to-exp_binary64_1170
28×	unswap-sqr_binary64_387 associate-/l*_binary64_2069 unswap-sqr_binary64_46 difference-of-squares_binary64_1411
27×	associate-*l/_binary64_362 cbrt-unprod_binary64_2498 associate-/l*_binary64_705 unpow-prod-down_binary64_1862 times-frac_binary64_2812 distribute-lft-out_binary64_1052 prod-exp_binary64_2514
26×	div-inv_binary64_416 sum-log_binary64_2215 unpow-prod-down_binary64_839
25×	*-commutative_binary64_350 sqrt-pow1_binary64_437 log-pow_binary64_167 pow1_binary64_2867 sqrt-div_binary64_777
24×	distribute-lft-out--_binary64_371 pow-unpow_binary64_155 exp-prod_binary64_130 div-inv_binary64_2121 add-cube-cbrt_binary64_2500
23×	associate-*l*_binary64_1042 flip3-+_binary64_763 flip-+_binary64_734 log-prod_binary64_1869 associate-*r*_binary64_2405
22×	pow-exp_binary64 *-commutative_binary64_1373 1-exp_binary64_1145 rec-exp_binary64_1151 pow-exp_binary64_146 add-log-exp_binary64_2845
21×	clear-num_binary64 frac-2neg_binary64
20×	unswap-sqr_binary64_728 *-commutative_binary64_9 pow-to-exp_binary64 sqrt-div_binary64_2141
19×	*-commutative_binary64
18×	pow-to-exp_binary64_147 flip3-+_binary64_422 associate-/l/_binary64_1389 clear-num_binary64_1100 frac-2neg_binary64_1112 sqrt-div_binary64_1800 sqrt-div_binary64_2823 flip-+_binary64_393
17×	*-commutative_binary64_1032 associate-/r/_binary64_1388 *-commutative_binary64_2055 clear-num_binary64_1441 distribute-lft-out--_binary64_1053 frac-2neg_binary64_1453 distribute-rgt-in_binary64_2415 distribute-lft-in_binary64_2414
16×	pow-prod-down_binary64 cancel-sign-sub-inv_binary64_726 flip-+_binary64_1416 add-log-exp_binary64_2504 flip3-+_binary64_1445 sqr-pow_binary64_50 associate-/r/_binary64_2070 *-commutative_binary64_691 associate-*r/_binary64_2407
15×	pow1/3_binary64_501 flip3--_binary64_2128 flip-+_binary64_2780 associate-/r*_binary64_2750 frac-2neg_binary64_89 distribute-rgt-in_binary64_28 clear-num_binary64_77 pow-unpow_binary64_1860 associate-/r/_binary64_365 distribute-lft-in_binary64_27 flip--_binary64_2099 cbrt-div_binary64_792 flip3-+_binary64_2809 pow-to-exp_binary64_1511
14×	associate-*l/_binary64_703 associate-/r*_binary64_363 *-commutative_binary64_1714 tan-quot_binary64
13×	sqrt-div_binary64_436 distribute-lft-out_binary64_711 rec-exp_binary64 rem-sqrt-square_binary64_91 sqrt-pow1_binary64_96 1-exp_binary64 pow1/3_binary64_842 cancel-sign-sub-inv_binary64_1749
12×	flip3-+_binary64 times-frac_binary64_1789 distribute-rgt-in_binary64_1733 flip3--_binary64_423 distribute-lft-in_binary64_1732 distribute-rgt-in_binary64_1392 frac-add_binary64_86 cancel-sign-sub-inv_binary64_2431 cos-sum_binary64_894 sub-neg_binary64_1094 unpow2_binary64_143 flip--_binary64_394 pow-unpow_binary64_496 associate-*l*_binary64_2406 pow-unpow_binary64_837 cube-prod_binary64_1811 sub-neg_binary64_2458 distribute-lft-in_binary64_1391 frac-add_binary64_1109 rem-sqrt-square_binary64_1114 unswap-sqr_binary64_1751 rem-sqrt-square_binary64_432 flip-+_binary64
11×	sub-neg_binary64_412 rec-exp_binary64_128 pow-pow_binary64_1173 flip3-+_binary64_1104 associate-/r*_binary64_2068 flip-+_binary64_1075 pow-pow_binary64 pow1/2_binary64_158 pow1/2_binary64_499
10×	associate-/r/_binary64_1729 cube-prod_binary64_447 pow-exp_binary64_828 flip-+_binary64_2098 flip3-+_binary64_2127 cube-prod_binary64_106 frac-times_binary64_429 sqrt-pow1_binary64_778
9×	distribute-lft-out_binary64_2075 associate-/l/_binary64_707 pow1/2_binary64_840 unpow-prod-down_binary64_2203 distribute-lft-in_binary64_1050 frac-2neg_binary64_771 clear-num_binary64_759 distribute-rgt-in_binary64_1051 associate-/l/_binary64_2071 associate-*l/_binary64
8×	clear-num_binary64_418 associate-/l/_binary64 pow1/2_binary64_2886 associate-/r/_binary64_1047 rem-sqrt-square_binary64_1455 sqr-pow_binary64_1755 *-commutative_binary64_2396 frac-2neg_binary64_430 sqrt-pow1_binary64_2824 pow1/3_binary64 pow-pow_binary64_150 rem-sqrt-square_binary64_773 rem-sqrt-square_binary64_2819 sqrt-pow1_binary64_1460 pow1/2_binary64_1522 associate-/r/_binary64_2752
7×	flip3--_binary64 cbrt-undiv_binary64_2840 flip--_binary64 pow-flip_binary64 unswap-sqr_binary64_2433 +-commutative_binary64_2054 inv-pow_binary64 div-exp_binary64_2857
6×	sinh-def_binary64_604 difference-of-squares_binary64_1752 cancel-sign-sub-inv_binary64_1408 swap-sqr_binary64 sub-neg_binary64_1435 swap-sqr_binary64_386 cbrt-div_binary64_1133 flip--_binary64_2440 difference-of-squares_binary64_729 associate-/l/_binary64_1048 pow-unpow_binary64_2542 flip3--_binary64_2469 associate-/l*_binary64_1728 pow-unpow_binary64_2201 unpow-prod-down_binary64_2544 pow-to-exp_binary64_1852 associate-+r+_binary64_10 pow-exp_binary64_1851 associate-/l*_binary64_2751
5×	distribute-lft-out--_binary64_712 sub-neg_binary64 pow-pow_binary64_1855 diff-log_binary64 unpow2_binary64_1507 log-pow_binary64_1872 pow-exp_binary64_2192 associate-/l/_binary64_366 rem-log-exp_binary64_1824 clear-num_binary64_2123 diff-log_binary64_2216 pow1/3_binary64_1865 pow-to-exp_binary64_2193 sub-neg_binary64_1776 frac-times_binary64_2134 sqrt-pow1_binary64_1119 sub-neg_binary64_753 log-pow_binary64_2895 pow1/2_binary64_1181 div-sub_binary64_1106 frac-2neg_binary64_2135
4×	+-commutative_binary64_8 exp-prod_binary64_2858 +-commutative_binary64_1031 cbrt-undiv_binary64_1817 unpow2_binary64_825 pow-to-exp_binary64_829 pow-sub_binary64_1177 pow-pow_binary64_491 cube-mult_binary64_1813 cancel-sign-sub-inv_binary64_2090 div-inv_binary64_2803 unpow3_binary64_1849 pow-plus_binary64_2528 sum-log_binary64_1192 pow-prod-up_binary64_2535 associate-/r*_binary64_1727 tan-quot_binary64_578 associate-+r+_binary64_2056 div-exp_binary64_1834 sqrt-prod_binary64_1799 diff-log_binary64_1193 cube-div_binary64_1812 sqr-pow_binary64_732 rec-exp_binary64_810 log-prod_binary64_2892 clear-num_binary64_2805 exp-prod_binary64_1835 unpow2_binary64_1848 1-exp_binary64_804 frac-2neg_binary64_2817 pow-pow_binary64_832 sum-log_binary64_169
3×	flip--_binary64_53 log-prod_binary64_164 exp-sum_binary64_1829 inv-pow_binary64_163 distribute-lft-out_binary64_1734 un-div-inv_binary64_1440 div-sub_binary64_1447 cube-mult_binary64_449 rem-log-exp_binary64 frac-sub_binary64 acos-asin_binary64_1964 prod-exp_binary64_2855 unpow3_binary64_144 associate-*l/_binary64_2067 cbrt-unprod_binary64_2839 sqr-pow_binary64_2096 flip3-+_binary64_2468 diff-log_binary64_852 cube-mult_binary64_108 pow1/3_binary64_1183 sum-log_binary64_2897 distribute-lft-out_binary64_2757 cos-diff_binary64_897 unpow2_binary64_2189 unpow3_binary64_485 associate-+l+_binary64_2057 distribute-lft-out_binary64_2416 flip3--_binary64_82 cube-prod_binary64 distribute-rgt-out--_binary64 un-div-inv_binary64_758 pow-flip_binary64_152 +-commutative_binary64_2736 un-div-inv_binary64_1099 flip-+_binary64_2439
2×	associate-/l/_binary64_1730 pow-to-exp_binary64_2534 frac-2neg_binary64_1794 sum-log_binary64_851 pow-exp_binary64_2533 sqr-pow_binary64_2437 diff-log_binary64_2557 rem-cube-cbrt_binary64_1806 rem-cube-cbrt_binary64_1124 pow-pow_binary64_2196 div-inv_binary64_1780 associate--l+_binary64_15 cbrt-div_binary64_1815 distribute-lft-out--_binary64_1735 sum-log_binary64_510 pow-flip_binary64_834 cube-mult_binary64_1131 sinh-undef_binary64_612 difference-of-squares_binary64_2093 unpow3_binary64_1167 associate-+r+_binary64_1715 pow-pow_binary64_2537 rem-cbrt-cube_binary64_1807 sub-neg_binary64_2117 pow2_binary64_2546 distribute-rgt-in_binary64_2074 clear-num_binary64_1782 pow-sqr_binary64 sub-div_binary64 pow-sqr_binary64_392 unpow2_binary64_2530 pow-prod-up_binary64 pow-sqr_binary64_2438 pow-prod-up_binary64_489 +-commutative_binary64_349 distribute-lft-in_binary64_2073 flip--_binary64_735 flip3--_binary64_764
1×	rem-exp-log_binary64_1823 div-sub_binary64_1788 diff-log_binary64_1875 inv-pow_binary64_1186 +-commutative_binary64_1713 sum-log_binary64_1533 exp-sum_binary64_2852 diff-log_binary64_170 distribute-lft-out--_binary64_2076 associate-/l/_binary64_25 associate-*r/_binary64 +-commutative_binary64_1372 inv-pow_binary64_845 distribute-rgt-in_binary64_710 pow2_binary64_500 unpow3_binary64 cube-mult_binary64 log-pow_binary64 rem-log-exp_binary64_2847 pow-plus_binary64_482 rem-log-exp_binary64_119 div-sub_binary64 sum-log_binary64_1874 +-commutative_binary64_690 cube-div_binary64_1130 pow-plus_binary64 rem-cube-cbrt_binary64 associate-+r-_binary64_2058 associate--r+_binary64_696 unswap-sqr_binary64_1069 associate--l+_binary64_2061 distribute-lft-in_binary64_709 pow-flip_binary64_1175 log-div_binary64 div-sub_binary64_2129 difference-of-sqr-1_binary64_2094 cancel-sign-sub-inv_binary64_44 diff-log_binary64_511 sub-neg_binary64_71 pow2_binary64 div-sub_binary64_424 asin-acos_binary64_599

Calls

443 calls:

511.0ms	(*.f64 (/.f64 (/.f64 (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)))) PI.f64) (sqrt.f64 2)) (/.f64 (/.f64 (sqrt.f64 (sqrt.f64 (-.f64 1 (*.f64 (*.f64 v v) 5)))) t) (sqrt.f64 (-.f64 1 (*.f64 (*.f64 v v) 3)))))
61.0ms	(*.f64 (/.f64 c0 (*.f64 2 w)) (+.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)))))
53.0ms	(+.f64 (*.f64 (*.f64 c0 (*.f64 d d)) (/.f64 1 (*.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 c0 (/.f64 (*.f64 w h) (/.f64 (*.f64 d d) (*.f64 D D))))) (*.f64 M M))))
48.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))))
45.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 c0 (/.f64 (*.f64 w h) (/.f64 (*.f64 d d) (*.f64 D D))))) (*.f64 M M))))