Date:	Sunday, October 18th, 2020
Commit:	07f66b98 on simplicity-retired
Hostname:	warfa with Racket 7.8
Seed:	2020292
Parameters:	256 points for 4 iterations
Flags:	`setup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback` default

Details

series2.0min (34.9%)

Calls

459 calls:

4.7s	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 (.f64 (cbrt.f64 n) (cbrt.f64 n)) (.f64 (.f64 (/.f64 l Om) (-.f64 U U)) (cbrt.f64 n))))))))
3.6s	(sqrt.f64 (.f64 (.f64 (.f64 (.f64 2 n) U) (.f64 (cbrt.f64 (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 n (.f64 (/.f64 l Om) (-.f64 U U))))))) (cbrt.f64 (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 n (.f64 (/.f64 l Om) (-.f64 U* U))))))))) (cbrt.f64 (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 n (.f64 (/.f64 l Om) (-.f64 U* U)))))))))
3.6s	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 n (.f64 (/.f64 l Om) (-.f64 U U))))))))
3.6s	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 n (.f64 (/.f64 l Om) (-.f64 U U))))))))
3.6s	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 n (.f64 (/.f64 l Om) (-.f64 U U))))))))

sample1.9min (33.6%)

Algorithm

62×

intervals

Results

18.7s	34064×	body	1024	valid
15.7s	182519×	body	128	valid
6.4s	11107×	body	2048	valid
5.5s	16243×	body	512	valid
4.8s	1249×	body	4096	invalid
4.7s	50482×	body	128	nan
2.9s	24394×	body	128	invalid
2.8s	6145×	body	1024	nan
2.8s	2974×	body	4096	valid
2.3s	1199×	body	2048	invalid
1.7s	7835×	body	256	valid
1.7s	4476×	body	1024	invalid
1.0s	3130×	body	512	nan
771.0ms	1194×	body	8192	valid
699.0ms	2628×	body	512	invalid
347.0ms	1612×	body	256	nan
344.0ms	2453×	body	128	overflowed
243.0ms	1344×	body	256	invalid
162.0ms	8256×	pre	128	true
11.0ms	16×	body	8192	exit
1.0ms	1×	body	2048	nan

Compiler

Compiled 38244 to 28013 computations (26.8% saved)

analyze33.7s (10%)

Algorithm

31×

Search

True	Other	False	Iter
0%	98.2%	1.8%	0
3.2%	95%	1.8%	1
5.6%	91%	3.4%	2
8%	84.5%	7.4%	3
9.8%	80.7%	9.5%	4
13.5%	76.9%	9.7%	5
16%	72.8%	11.2%	6
18.1%	68.2%	13.7%	7
21.2%	62.6%	16.2%	8
24.7%	57%	18.2%	9
26.4%	53.6%	20%	10
28.9%	49.8%	21.3%	11
30.2%	47.2%	22.5%	12
31.9%	42.5%	25.7%	13
32.9%	40.8%	26.3%	14

Compiler

Compiled 743 to 602 computations (19% saved)

prune25.8s (7.6%)

Compiler: Compiled 518509 to 279337 computations (46.1% saved)

regimes20.9s (6.2%)

Compiler: Compiled 272499 to 202166 computations (25.8% saved)

simplify16.3s (4.8%)

Algorithm

183×	egg-herbie

rewrite6.5s (1.9%)

Algorithm

121×	rewrite-expression-head

Rules

1356×	`add-exp-log_binary64_449`
910×	`add-cbrt-cube_binary64_447`
831×	`*-un-lft-identity_binary64_1425`
778×	`add-sqr-sqrt_binary64_98`
776×	`times-frac_binary64`
719×	`prod-exp_binary64_460`
709×	`add-sqr-sqrt_binary64`
661×	`add-exp-log_binary64_786`
637×	`add-sqr-sqrt_binary64_1446`
615×	`*-un-lft-identity_binary64_77`
597×	`times-frac_binary64_420`
580×	`*-un-lft-identity_binary64`
568×	`add-cube-cbrt_binary64`
563×	`times-frac_binary64_83`
562×	`sqrt-prod_binary64_92`
554×	`times-frac_binary64_1431`
515×	`add-exp-log_binary64_1460`
510×	`add-sqr-sqrt_binary64_435`
448×	`cbrt-unprod_binary64_444`
445×	`add-cbrt-cube_binary64_784` `*-un-lft-identity_binary64_414`
433×	`add-cube-cbrt_binary64_446`
420×	`add-cube-cbrt_binary64_1457`
403×	`add-sqr-sqrt_binary64_1783`
386×	`add-cube-cbrt_binary64_109`
371×	`times-frac_binary64_1768` `*-un-lft-identity_binary64_1762`
319×	`pow1_binary64_472` `add-exp-log_binary64_1123`
312×	`add-sqr-sqrt_binary64_1109`
311×	`div-exp_binary64_462`
306×	`add-cube-cbrt_binary64_1794`
291×	`add-sqr-sqrt_binary64_772`
287×	`add-cbrt-cube_binary64_1121` `prod-exp_binary64_797`
283×	`add-exp-log_binary64`
281×	`add-cbrt-cube_binary64_1458`
262×	`times-frac_binary64_1094`
261×	`*-un-lft-identity_binary64_1088`
256×	`sqrt-prod_binary64_1440` `add-exp-log_binary64_1797`
252×	`*-un-lft-identity_binary64_751`
236×	`add-cube-cbrt_binary64_1120`
233×	`prod-exp_binary64_1471`
230×	`difference-of-squares_binary64_46`
223×	`add-sqr-sqrt_binary64_2120`
222×	`add-cbrt-cube_binary64_1795`
209×	`add-cube-cbrt_binary64_783`
202×	`cbrt-undiv_binary64_445`
195×	`pow1_binary64_1146`
188×	`add-cbrt-cube_binary64`
186×	`unpow-prod-down_binary64_153`
182×	`pow1_binary64_1483`
181×	`associate-l_binary64_357` `cbrt-unprod_binary64_781`
176×	`associate-*l/_binary64_359`
174×	`associate-r_binary64_356`
172×	`add-exp-log_binary64_2134`
170×	`pow1_binary64_809` `pow1_binary64_1820`
167×	`div-exp_binary64_799`
166×	`pow-prod-down_binary64_482`
165×	`add-sqr-sqrt_binary64_2457` `sqrt-prod_binary64_429` `sqrt-prod_binary64_1103`
162×	`*-un-lft-identity_binary64_2436`
160×	`times-frac_binary64_757`
152×	`times-frac_binary64_2105`
150×	`sqrt-prod_binary64_2451`
148×	`sqrt-prod_binary64_1777` `add-exp-log_binary64_112`
146×	`add-cube-cbrt_binary64_2468`
145×	`*-un-lft-identity_binary64_2099`
144×	`add-exp-log_binary64_2471`
142×	`associate-r_binary64`
141×	`associate-l_binary64`
140×	`prod-exp_binary64_1134`
139×	`add-cube-cbrt_binary64_2131`
138×	`frac-times_binary64_424`
132×	`cbrt-unprod_binary64_1118` `associate-*r/_binary64_358`
130×	`associate-r_binary64_1030` `distribute-lft-out--_binary64_1379`
126×	`times-frac_binary64_2442`
123×	`associate-l_binary64_1368`
122×	`pow1_binary64`
117×	`associate-r_binary64_1367`
116×	`add-cbrt-cube_binary64_110`
114×	`sqrt-div_binary64_1441`
113×	`add-cbrt-cube_binary64_2132` `distribute-lft-out_binary64_1378` `sqrt-prod_binary64_766`
107×	`cbrt-undiv_binary64_782`
105×	`cbrt-unprod_binary64_1455`
103×	`pow1_binary64_2494`
100×	`associate-/r_binary64` `sqrt-prod_binary64_2114` `div-exp_binary64_1473` `associate-r/_binary64_1369`
99×	`associate-r_binary64_19`
98×	`add-cbrt-cube_binary64_2469`
97×	`frac-times_binary64_1435`
96×	`pow1_binary64_135`
94×	`prod-exp_binary64_1808`
88×	`cbrt-prod_binary64_1790`
87×	`associate-/r*_binary64_360`
84×	`cbrt-prod_binary64_2464`
82×	`pow-prod-down_binary64_1156` `add-log-exp_binary64_1461` `pow1_binary64_2157`
81×	`add-log-exp_binary64_787` `associate-r_binary64_693`
80×	`flip3--_binary64_1429` `cbrt-unprod_binary64_1792` `flip--_binary64_1400`
79×	`exp-prod_binary64_1474`
78×	`flip3-+_binary64_417` `flip-+_binary64_388`
76×	`difference-of-squares_binary64_1731`
73×	`add-log-exp_binary64`
72×	`associate-l_binary64_20` `add-log-exp_binary64_113` `div-exp_binary64`
70×	`unpow-prod-down_binary64` `cbrt-prod_binary64_779`
69×	`difference-of-squares_binary64_1394` `associate-l_binary64_1705`
67×	`add-log-exp_binary64_450` `pow-prod-down_binary64_1493`
66×	`sqrt-div_binary64_1104` `unpow-prod-down_binary64_2175`
64×	`prod-exp_binary64` `pow-exp_binary64_816` `pow-exp_binary64_479`
63×	`associate-r/_binary64_1706` `prod-exp_binary64_2145` `associate-r*_binary64_2041`
62×	`prod-exp_binary64_2482`
61×	`associate-l_binary64_1031`
60×	`cbrt-div_binary64_443`
59×	`pow-prod-down_binary64_1830` `pow-prod-down_binary64_819` `add-log-exp_binary64_1798`
58×	`cbrt-prod_binary64_105` `sqrt-div_binary64_93` `tan-quot_binary64_570` `sqr-pow_binary64_49` `unpow2_binary64_139`
57×	`unpow-prod-down_binary64_1838`
56×	`unswap-sqr_binary64`
55×	`pow-to-exp_binary64_480` `associate-/l*_binary64_1709` `cbrt-prod_binary64_1116`
54×	`associate-/l_binary64` `unpow-prod-down_binary64_490` `associate-/l_binary64_361`
53×	`associate-/l*_binary64_1372`
51×	`add-log-exp_binary64_2135` `associate-/r*_binary64_1371` `div-inv_binary64`
50×	`add-log-exp_binary64_1124` `associate-*r/_binary64_2380` `add-log-exp_binary64_2472`
49×	`associate-r_binary64_1704` `associate-*l/_binary64_1370`
48×	`associate-/r/_binary64_1710` `cube-prod_binary64_1787` `div-inv_binary64_411`
45×	`associate-l_binary64_694` `associate-/l_binary64_24` `div-exp_binary64_1810` `associate-/r_binary64_1708`
44×	`sqrt-div_binary64_430`
43×	`flip-+_binary64_51` `pow-exp_binary64_1490` `flip3-+_binary64_80`
42×	`div-exp_binary64_1136` `unpow-prod-down_binary64_2512` `flip-+_binary64_1736` `flip3-+_binary64_1765`
41×	`cbrt-unprod_binary64_2129` `pow-unpow_binary64_825`
40×	`associate-l_binary64_2042` `associate-l_binary64_2379`
39×	`associate-/r*_binary64_23` `flip-+_binary64_2410` `flip3-+_binary64_2439` `div-inv_binary64_1422` `cbrt-undiv_binary64_1456`
36×	`cbrt-undiv_binary64` `unswap-sqr_binary64_382` `unpow-prod-down_binary64_827` `log-prod_binary64_1508` `cbrt-undiv_binary64_1119` `cbrt-unprod_binary64` `cbrt-unprod_binary64_2466`
35×	`log-pow_binary64_1848` `pow-prod-down_binary64_2504`
34×	`div-exp_binary64_2147` `cbrt-undiv_binary64_1793` `distribute-lft-out_binary64_30`
33×	`cube-prod_binary64_2461`
32×	`flip3--_binary64_1766` `sqrt-div_binary64_2452` `flip--_binary64_1737` `associate-*r/_binary64_21` `sqrt-div_binary64_1778` `sqr-pow_binary64`
31×	`difference-of-sqr-1_binary64_1732` `sub-neg_binary64_1418` `*-commutative_binary64_347`
30×	`associate-/r_binary64_697` `associate-r*_binary64_2378`
29×	`unswap-sqr_binary64_45` `unswap-sqr_binary64_1393` `flip-+_binary64_1062` `flip3-+_binary64_1091` `swap-sqr_binary64_1392`
28×	`pow-unpow_binary64` `unswap-sqr_binary64_2067` `associate-/l*_binary64_698`
27×	`unswap-sqr_binary64_1056`
26×	`sqr-pow_binary64_2071` `log-prod_binary64` `sqrt-pow1_binary64_431` `pow-prod-down_binary64_2167` `associate-*r/_binary64_1032`
25×	`exp-prod_binary64_1811` `prod-exp_binary64_123`
24×	`pow-to-exp_binary64` `pow-unpow_binary64_151` `pow-exp_binary64` `div-inv_binary64_1085` `associate-/r/_binary64_25` `*-commutative_binary64`
23×	`cbrt-prod_binary64_1453` `div-exp_binary64_125` `rem-sqrt-square_binary64_90` `frac-times_binary64_1098` `distribute-lft-out--_binary64_31` `cbrt-div_binary64_1791` `div-inv_binary64_74`
22×	`pow-prod-down_binary64` `unswap-sqr_binary64_1730` `difference-of-squares_binary64_720`
21×	`div-inv_binary64_1759` `*-commutative_binary64_1021` `associate-/r/_binary64_1373`
20×	`pow-to-exp_binary64_817` `unswap-sqr_binary64_719` `associate-*l/_binary64_1033` `cube-prod_binary64_439` `frac-add_binary64_2444` `div-inv_binary64_748` `div-exp_binary64_2484` `cube-div_binary64_1451` `frac-add_binary64_1770` `flip3-+_binary64_2102` `flip-+_binary64_2073`
19×	`sqrt-pow1_binary64_94` `-commutative_binary64_684` `associate-/l/_binary64_363` `associate-/l_binary64_1035` `*-commutative_binary64_1358`
18×	`unpow-prod-down_binary64_1164` `exp-sum_binary64_1468` `sqr-pow_binary64_723` `associate-/r/_binary64_2047` `associate-/r_binary64_2045` `pow1/3_binary64_830` `-commutative_binary64_1695` `sqrt-pow1_binary64_1105` `pow1/2_binary64_154` `cbrt-prod_binary64` `associate-*r/_binary64_695` `sqr-pow_binary64_386`
17×	`distribute-lft-out--_binary64_705` `cbrt-div_binary64_106` `associate-/l/_binary64_1711` `cbrt-undiv_binary64_108` `clear-num_binary64` `frac-2neg_binary64` `cbrt-div_binary64_1454`
16×	`cbrt-undiv_binary64_2130` `pow-exp_binary64_142` `pow1/3_binary64_1167` `flip3--_binary64_1092` `sqrt-div_binary64_2115` `associate-/r/_binary64_1036` `cbrt-prod_binary64_2127` `flip--_binary64_1063`
15×	`cbrt-unprod_binary64_107` `distribute-rgt-in_binary64_1377` `distribute-lft-in_binary64_1376` `associate-/r*_binary64_2382` `cbrt-div_binary64_780`
14×	`clear-num_binary64_413` `rem-sqrt-square_binary64_1101` `flip3--_binary64_755` `distribute-lft-out--_binary64_1716` `flip--_binary64_726` `frac-2neg_binary64_1436` `frac-2neg_binary64_425` `clear-num_binary64_1424`
13×	`flip3-+_binary64_1428` `pow1/2_binary64_1502` `pow-exp_binary64_2164` `pow-to-exp_binary64_2165` `sqrt-pow1_binary64_1442` `frac-times_binary64_1772` `distribute-lft-in_binary64_365` `flip-+_binary64_1399` `pow1/3_binary64_1841` `distribute-rgt-in_binary64_366`
12×	`frac-add_binary64_85` `distribute-lft-out_binary64_1041` `pow-unpow_binary64_2173` `pow1/2_binary64_1165`
11×	`associate-/r/_binary64` `div-sub_binary64_1767` `clear-num_binary64_750` `sum-log_binary64_2524` `sum-log_binary64_2187` `distribute-rgt-in_binary64_1714` `frac-2neg_binary64_762` `associate-/l*_binary64_2046` `distribute-lft-in_binary64_1713` `cbrt-div_binary64_2465` `tan-quot_binary64`
10×	`associate-/r/_binary64_362` `pow-to-exp_binary64_143` `rec-exp_binary64` `clear-num_binary64_1761` `1-exp_binary64` `associate-/l/_binary64_1374` `associate-/r/_binary64_2384` `rem-sqrt-square_binary64_1438` `frac-2neg_binary64_1773` `sub-neg_binary64_1755` `unpow2_binary64_476` `pow1/3_binary64_156`
9×	`pow-to-exp_binary64_1491` `difference-of-squares_binary64` `rec-exp_binary64_2483` `1-exp_binary64_2477` `pow-unpow_binary64_488` `frac-2neg_binary64_88` `pow-unpow_binary64_1836` `associate-/l/_binary64_1037` `pow-exp_binary64_1153` `diff-log_binary64_1514` `div-inv_binary64_2096` `clear-num_binary64_76` `cbrt-prod_binary64_442`
8×	`flip3--_binary64_418` `distribute-rgt-in_binary64_2388` `-commutative_binary64_2369` `pow-pow_binary64_820` `pow-pow_binary64_146` `sub-neg_binary64_407` `flip--_binary64_389` `distribute-lft-in_binary64_2387` `associate-l/_binary64`
7×	`cbrt-undiv_binary64_2467` `unpow2_binary64_813` `pow1/3_binary64_2515` `swap-sqr_binary64` `-commutative_binary64_10` `rem-sqrt-square_binary64_2449` `associate-/r_binary64_1034` `-commutative_binary64_2032` `sum-log_binary64_1850` `log-pow_binary64` `unswap-sqr_binary64_2404` `pow1/2_binary64_491` `pow1/2_binary64_2513` `div-sub_binary64_1430` `sqrt-pow1_binary64_2453` `associate-l/_binary64_1707`
6×	`log-prod_binary64_1845` `frac-add_binary64_1096` `rem-sqrt-square_binary64_1775` `pow1/2_binary64_2176` `swap-sqr_binary64_1055` `+-commutative_binary64_2368` `associate-/l_binary64_2383` `cube-mult_binary64_441` `distribute-rgt-in_binary64_29` `pow-unpow_binary64_1162` `pow-prod-up_binary64_1829` `sinh-def_binary64_933` `pow-unpow_binary64_2510` `pow-flip_binary64` `swap-sqr_binary64_718` `rem-sqrt-square_binary64_2112` `sum-log_binary64_839` `+-commutative_binary64_2031` `distribute-lft-in_binary64_28` `inv-pow_binary64` `unpow3_binary64_477` `swap-sqr_binary64_1729` `cbrt-div_binary64_1117` `sub-neg_binary64_744` `sqrt-pow1_binary64_2116` `pow-pow_binary64` `associate-l/_binary64_696` `flip--_binary64_2411` `associate-+r+_binary64_11` `sqrt-div_binary64_767` `flip3--_binary64_2440`
5×	`frac-2neg_binary64_1099` `flip--_binary64_52` `+-commutative_binary64_9` `clear-num_binary64_1087` `flip3--_binary64` `div-inv_binary64_2433` `associate-*r/_binary64` `sum-log_binary64_165` `flip-+_binary64_725` `pow-prod-up_binary64_1492` `frac-2neg_binary64_2110` `flip--_binary64` `+-commutative_binary64_683` `distribute-lft-out_binary64_2389` `clear-num_binary64_2098` `flip3-+_binary64_754` `pow-prod-down_binary64_145` `pow-plus_binary64_1822` `flip3--_binary64_81` `1-exp_binary64_1803` `rec-exp_binary64_1809` `sqrt-pow1_binary64_768`
4×	`pow-sqr_binary64_1735` `associate-/l/_binary64` `sub-neg_binary64` `exp-diff_binary64_1470` `associate-+r+_binary64_2370` `pow-prod-up_binary64_2503` `associate-/l/_binary64_700` `diff-log_binary64` `sqr-pow_binary64_1060` `distribute-lft-out--_binary64` `rem-log-exp_binary64` `pow1/3_binary64_2178` `frac-sub_binary64` `pow-exp_binary64_1827` `frac-sub_binary64_1097` `acos-asin_binary64_1940` `pow-pow_binary64_2168` `diff-log_binary64_840` `pow-pow_binary64_1831` `sqr-pow_binary64_1734` `distribute-lft-out_binary64_367` `pow-plus_binary64_2496` `rem-exp-log_binary64_1462` `associate-/l/_binary64_26` `associate-+r+_binary64_1696` `difference-of-squares_binary64_2405` `sub-neg_binary64_2429`
3×	`distribute-lft-out_binary64_704` `pow-unpow_binary64_1499` `sqrt-undiv_binary64_97` `pow-flip_binary64_1833` `sqr-pow_binary64_1397` `distribute-lft-out_binary64_2052` `rem-cube-cbrt_binary64_1447` `sqrt-pow1_binary64_1779` `pow-pow_binary64_2505` `sqr-pow_binary64_2408` `pow-to-exp_binary64_1154` `pow-to-exp_binary64_1828` `associate-*r/_binary64_2043` `unpow2_binary64_2161` `pow-sqr_binary64_1398` `pow1/3_binary64_493` `asin-acos_binary64_254` `pow1/2_binary64_828` `sum-log_binary64_502` `+-commutative_binary64_346` `pow2_binary64_1840` `pow-pow_binary64_483` `pow1/2_binary64_1839`
2×	`pow-pow_binary64_1494` `pow-to-exp_binary64_2502` `distribute-lft-out--_binary64_2390` `unpow3_binary64_1488` `flip3-+_binary64` `distribute-lft-out--_binary64_368` `cube-mult_binary64_1452` `log-pow_binary64_1511` `cube-div_binary64_1788` `pow2_binary64_2514` `difference-of-squares_binary64_383` `div-sub_binary64_756` `distribute-rgt-in_binary64_1040` `distribute-rgt-in_binary64_2051` `pow1/3_binary64` `unpow3_binary64_1825` `frac-times_binary64_2446` `pow-prod-up_binary64_818` `pow-sqr_binary64_724` `associate--l+_binary64_16` `unpow-prod-down_binary64_1501` `sum-log_binary64` `sqrt-undiv_binary64_771` `+-commutative_binary64_1694` `pow-pow_binary64_1157` `un-div-inv_binary64_2434` `cube-mult_binary64_1789` `clear-num_binary64_2435` `pow-exp_binary64_2501` `rem-cube-cbrt_binary64_1784` `pow-sqr_binary64_1061` `distribute-lft-out_binary64_1715` `frac-2neg_binary64_2447` `pow-prod-up_binary64_1155` `unpow2_binary64_1150` `sum-log_binary64_1513` `pow1/3_binary64_1504` `cube-prod_binary64_1450` `log-div_binary64_1509` `log-div_binary64` `+-commutative_binary64_1357` `rem-log-exp_binary64_1463` `+-commutative_binary64` `1-exp_binary64_1466` `rem-sqrt-square_binary64_764` `sinh-undef_binary64_941` `un-div-inv_binary64` `distribute-lft-in_binary64_1039` `difference-of-squares_binary64_1057` `rem-log-exp_binary64_1800` `rec-exp_binary64_1472` `pow-sqr_binary64_2409` `rem-sqrt-square_binary64_427` `distribute-lft-in_binary64_2050` `associate-+r+_binary64_2033` `pow-sub_binary64_824` `flip-+_binary64`
1×	`pow-flip_binary64_1496` `frac-times_binary64_761` `pow-plus_binary64_1148` `pow-plus_binary64_1485` `sqrt-undiv_binary64_434` `cos-sum_binary64_882` `distribute-lft-in_binary64_702` `associate-+l+_binary64_2371` `rem-cbrt-cube_binary64_2459` `unpow2_binary64_1824` `pow-plus_binary64_811` `rem-square-sqrt_binary64_1437` `diff-log_binary64_166` `associate-+l+_binary64_2034` `pow2_binary64_1166` `exp-to-pow_binary64_1821` `associate-l/_binary64_2381` `associate-l/_binary64_2044` `sub-neg_binary64_70` `sqrt-unprod_binary64_1444` `log-div_binary64_1846` `pow2_binary64_1503` `cube-mult_binary64_2463` `associate-*l/_binary64_22` `+-commutative_binary64_1020` `inv-pow_binary64_1507` `exp-diff_binary64_1807` `div-sub_binary64` `cos-diff_binary64_885` `frac-times_binary64_2109` `rem-cbrt-cube_binary64_1785` `associate--r+_binary64_689` `pow2_binary64_829` `inv-pow_binary64_1844` `unpow3_binary64_2499` `sqrt-unprod_binary64_96` `div-sub_binary64_82` `pow-sqr_binary64` `sub-div_binary64` `cube-div_binary64_2462` `pow-prod-up_binary64` `unpow2_binary64_2498` `sum-log_binary64_1176` `pow2_binary64` `associate-+l+_binary64_1697` `distribute-rgt-in_binary64_703`

Calls

459 calls:

70.0ms	(/.f64 (.f64 c0 (.f64 M M)) (.f64 (-.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)))) (*.f64 w 2)))
65.0ms	(/.f64 (.f64 c0 (.f64 M M)) (.f64 (-.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 (cbrt.f64 (.f64 (.f64 w h) (.f64 D D))) (cbrt.f64 (.f64 (.f64 w h) (.f64 D D)))) (cbrt.f64 (.f64 (.f64 w h) (.f64 D D)))))) (.f64 M M)))) (*.f64 w 2)))
60.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)))))
54.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))))
50.0ms	(*.f64 (sqrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)) 1))) (sqrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)) 1))))

localize2.3s (0.7%)

bsearch1.1s (0.3%)

Compiler: Compiled 154 to 126 computations (18.2% saved)

Details

series2.0min (34.9%)

sample1.9min (33.6%)

analyze33.7s (10%)

prune25.8s (7.6%)

regimes20.9s (6.2%)

simplify16.3s (4.8%)

rewrite6.5s (1.9%)

localize2.3s (0.7%)

bsearch1.1s (0.3%)

end1.0ms (0%)

Profiling