Date:	Sunday, October 18th, 2020
Commit:	9e50c850 on simplicity-rules-best
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 (36.1%)

Calls

465 calls:

3.7s	(sqrt.f64 (.f64 (.f64 2 n) (.f64 U (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 (.f64 n (/.f64 l Om)) (-.f64 U U))))))))
3.6s	(sqrt.f64 (.f64 (.f64 2 n) (.f64 U (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 (.f64 n (/.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 (.f64 n (/.f64 l Om)) (-.f64 U U)))))))
3.5s	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 (/.f64 l Om) (.f64 n (-.f64 U U))))))))
3.5s	(sqrt.f64 (.f64 (.f64 2 n) (.f64 U (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 (.f64 n (/.f64 l Om)) (-.f64 U U))))))))

sample1.6min (29.3%)

Algorithm

62×

intervals

Results

19.2s	34064×	body	1024	valid
16.4s	182519×	body	128	valid
6.5s	11107×	body	2048	valid
5.7s	16243×	body	512	valid
4.8s	1249×	body	4096	invalid
4.8s	50482×	body	128	nan
3.1s	6145×	body	1024	nan
2.8s	2974×	body	4096	valid
2.8s	24394×	body	128	invalid
2.4s	1199×	body	2048	invalid
1.8s	7835×	body	256	valid
1.7s	4476×	body	1024	invalid
1.1s	3130×	body	512	nan
786.0ms	1194×	body	8192	valid
736.0ms	2628×	body	512	invalid
380.0ms	2453×	body	128	overflowed
370.0ms	1612×	body	256	nan
273.0ms	1344×	body	256	invalid
165.0ms	8256×	pre	128	true
12.0ms	16×	body	8192	exit
1.0ms	1×	body	2048	nan

Compiler

Compiled 13103 to 9705 computations (25.9% saved)

prune44.5s (13.7%)

Compiler: Compiled 908330 to 555635 computations (38.8% saved)

analyze34.2s (10.5%)

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)

simplify17.1s (5.3%)

Algorithm

183×	egg-herbie

rewrite7.1s (2.2%)

Algorithm

121×	rewrite-expression-head

Rules

1694×	`add-exp-log_binary64_461`
1310×	`add-exp-log_binary64_1493`
1115×	`add-cbrt-cube_binary64_459`
930×	`prod-exp_binary64_472`
896×	`times-frac_binary64`
831×	`*-un-lft-identity_binary64_2487`
806×	`add-sqr-sqrt_binary64_101`
774×	`add-exp-log_binary64_805`
768×	`add-sqr-sqrt_binary64`
658×	`*-un-lft-identity_binary64`
657×	`times-frac_binary64_429` `prod-exp_binary64_1504`
644×	`*-un-lft-identity_binary64_79`
624×	`add-cube-cbrt_binary64`
592×	`add-sqr-sqrt_binary64_445`
584×	`times-frac_binary64_85`
577×	`sqrt-prod_binary64_95` `cbrt-unprod_binary64_456`
514×	`times-frac_binary64_2493`
504×	`*-un-lft-identity_binary64_1455`
491×	`add-sqr-sqrt_binary64_1477`
487×	`*-un-lft-identity_binary64_423`
471×	`add-cube-cbrt_binary64_458`
467×	`add-sqr-sqrt_binary64_1821`
455×	`times-frac_binary64_1461`
411×	`add-cube-cbrt_binary64_114`
407×	`add-cbrt-cube_binary64_1491`
398×	`div-exp_binary64_474`
396×	`add-cube-cbrt_binary64_1490`
391×	`add-cbrt-cube_binary64_803`
387×	`add-sqr-sqrt_binary64_2509`
379×	`add-sqr-sqrt_binary64_789`
352×	`div-exp_binary64_1506`
346×	`prod-exp_binary64_816`
343×	`*-un-lft-identity_binary64_1799`
340×	`times-frac_binary64_1805`
333×	`pow1_binary64_484`
326×	`add-exp-log_binary64_1837`
322×	`add-cube-cbrt_binary64_1834`
319×	`add-exp-log_binary64_1149`
312×	`add-sqr-sqrt_binary64_1133`
306×	`*-un-lft-identity_binary64_767`
303×	`add-cube-cbrt_binary64_2522`
301×	`associate-*l/_binary64_366`
291×	`sqrt-prod_binary64_1815` `add-exp-log_binary64`
287×	`add-cbrt-cube_binary64_1147`
279×	`associate-r_binary64_363`
274×	`frac-times_binary64_433`
264×	`add-cube-cbrt_binary64_802`
262×	`times-frac_binary64_1117`
261×	`*-un-lft-identity_binary64_1111`
242×	`cbrt-undiv_binary64_457`
241×	`times-frac_binary64_773`
236×	`add-cube-cbrt_binary64_1146`
230×	`difference-of-squares_binary64_48`
224×	`add-cbrt-cube_binary64_1835`
221×	`pow1_binary64_1516`
210×	`distribute-lft-out_binary64_2438`
208×	`add-sqr-sqrt_binary64_2165`
201×	`associate-*r/_binary64_365`
200×	`*-un-lft-identity_binary64_2143`
195×	`pow1_binary64_1172`
194×	`add-cbrt-cube_binary64`
191×	`unpow-prod-down_binary64_158`
190×	`associate-l_binary64_364` `div-exp_binary64_818`
188×	`associate-l_binary64`
186×	`cbrt-unprod_binary64_800` `sqrt-prod_binary64_439`
179×	`sqrt-prod_binary64_1471`
178×	`exp-prod_binary64_2539`
177×	`pow1_binary64_828`
173×	`pow1_binary64_1860`
172×	`pow-prod-down_binary64_494`
168×	`cbrt-unprod_binary64_1488`
165×	`pow-exp_binary64_1523` `sqrt-prod_binary64_1127`
164×	`add-exp-log_binary64_117`
163×	`associate-l_binary64_1740`
162×	`associate-r_binary64_707`
151×	`times-frac_binary64_2149`
150×	`cbrt-prod_binary64_454`
140×	`prod-exp_binary64_1160`
136×	`add-cube-cbrt_binary64_2178`
135×	`pow1_binary64` `cbrt-prod_binary64_798`
134×	`sqrt-prod_binary64_2503`
132×	`cbrt-unprod_binary64_1144`
131×	`add-cbrt-cube_binary64_115`
130×	`associate-r_binary64_1051`
129×	`pow1_binary64_2204` `prod-exp_binary64_1848`
120×	`distribute-lft-out--_binary64_2439` `unpow-prod-down_binary64_502` `associate-r_binary64_1739`
117×	`sqrt-prod_binary64_783`
108×	`add-exp-log_binary64_2181`
107×	`associate-r_binary64`
104×	`associate-r_binary64_19` `pow1_binary64_140`
103×	`cbrt-prod_binary64_1830`
102×	`tan-quot_binary64_582` `add-cbrt-cube_binary64_2179`
100×	`cbrt-undiv_binary64_801` `associate-/l*_binary64_1400` `add-log-exp_binary64_1494`
99×	`distribute-rgt-neg-in_binary64_2445` `pow-prod-down_binary64_1526`
98×	`sqrt-div_binary64_1816`
93×	`associate-/r*_binary64` `unpow-prod-down_binary64_1878`
89×	`associate-*r/_binary64_1741` `cancel-sign-sub-inv_binary64_1421`
83×	`add-log-exp_binary64`
82×	`pow-prod-down_binary64_1182`
81×	`cbrt-unprod_binary64_1832` `add-log-exp_binary64_806`
80×	`associate-r_binary64_1395`
79×	`associate-l_binary64_20` `cbrt-prod_binary64_2174` `pow-exp_binary64_835`
78×	`add-log-exp_binary64_1838`
77×	`prod-exp_binary64` `associate-/r*_binary64_367`
76×	`add-log-exp_binary64_118`
74×	`unpow-prod-down_binary64_1534`
73×	`flip3-+_binary64_426` `flip-+_binary64_397`
72×	`difference-of-squares_binary64_2112`
70×	`unpow-prod-down_binary64` `associate-r/_binary64_2085` `associate-r/_binary64_1397`
69×	`add-log-exp_binary64_462`
67×	`associate-l_binary64_708` `pow-exp_binary64_491`
66×	`sqrt-div_binary64_1128` `div-exp_binary64`
63×	`distribute-lft-neg-in_binary64_2444` `cbrt-undiv_binary64_1489` `div-inv_binary64_420`
62×	`pow-prod-down_binary64_838` `sqrt-div_binary64_96`
61×	`associate-l_binary64_1052` `sqrt-div_binary64_1472` `div-inv_binary64` `frac-times_binary64_1809`
60×	`div-exp_binary64_1850` `associate-/l*_binary64_368`
59×	`sqr-pow_binary64_51` `unpow2_binary64_144`
58×	`pow-to-exp_binary64_492` `associate-/l*_binary64` `cbrt-prod_binary64_110`
57×	`pow-prod-down_binary64_1870` `associate-l_binary64_1396`
55×	`cbrt-prod_binary64_1142`
54×	`add-log-exp_binary64_2182` `flip--_binary64_1774` `associate-/r/_binary64_369` `flip3--_binary64_1803`
52×	`unpow-prod-down_binary64_2222` `flip3-+_binary64_1802` `flip-+_binary64_1773` `unswap-sqr_binary64` `unswap-sqr_binary64_1767`
51×	`unswap-sqr_binary64_391` `pow-unpow_binary64_1532`
50×	`add-log-exp_binary64_1150`
48×	`associate-/l*_binary64_24` `cube-prod_binary64_2171`
47×	`pow-prod-down_binary64_2214` `flip-+_binary64_53` `associate-/l*_binary64_2432` `flip3-+_binary64_82`
46×	`log-prod_binary64` `add-exp-log_binary64_2525`
45×	`associate-/r*_binary64_23`
44×	`pow-to-exp_binary64_1524`
43×	`distribute-rgt-in_binary64_373` `distribute-lft-in_binary64_372` `cbrt-prod_binary64`
42×	`rec-exp_binary64_1505` `div-exp_binary64_1162` `1-exp_binary64_1499`
41×	`pow-unpow_binary64_844`
40×	`difference-of-squares_binary64_1424` `associate-/r*_binary64_1399` `prod-exp_binary64_2192` `frac-add_binary64_2151`
39×	`cbrt-unprod_binary64_2176` `associate-/r*_binary64_2431` `flip-+_binary64_2117` `flip3-+_binary64_2146`
38×	`cbrt-undiv_binary64` `cancel-sign-sub-inv_binary64`
37×	`unswap-sqr_binary64_735` `unpow-prod-down_binary64_846` `cbrt-unprod_binary64` `add-cbrt-cube_binary64_2523`
36×	`associate-/r/_binary64_1401` `div-inv_binary64_1452` `cbrt-undiv_binary64_1145` `pow1_binary64_2548` `log-prod_binary64_2573` `cancel-sign-sub-inv_binary64_389` `distribute-lft-out_binary64_30`
35×	`cube-prod_binary64_1827` `*-commutative_binary64_354`
34×	`associate-*r/_binary64_21`
33×	`associate-/r*_binary64_1743`
32×	`flip--_binary64_1430` `flip3--_binary64_1459` `associate-r_binary64_2083`
31×	`frac-times_binary64_1465`
30×	`distribute-lft-in_binary64_1748` `distribute-rgt-in_binary64_1749` `unswap-sqr_binary64_47` `sqr-pow_binary64`
29×	`distribute-lft-out_binary64_1406` `flip-+_binary64_1429` `distribute-lft-out--_binary64_1407` `cbrt-prod_binary64_1486` `cbrt-undiv_binary64_1833` `flip3-+_binary64_1114` `prod-exp_binary64_128` `flip3-+_binary64_1458` `flip-+_binary64_1085` `swap-sqr_binary64_2454` `associate-*l/_binary64_1398`
28×	`difference-of-sqr-1_binary64_2113` `associate-/r/_binary64_1745` `associate-*l/_binary64_1742`
27×	`pow-unpow_binary64_156` `unswap-sqr_binary64_1079` `sqr-pow_binary64_1771` `associate-/l*_binary64_712`
26×	`div-exp_binary64_130` `associate-*r/_binary64_1053` `log-pow_binary64` `associate-/r/_binary64_25` `cbrt-div_binary64_1831` `sqr-pow_binary64_395`
25×	`pow-to-exp_binary64` `pow-exp_binary64` `div-inv_binary64_76` `associate-l_binary64_2084` `associate-/r*_binary64_711` `sqrt-pow1_binary64_441`
24×	`div-inv_binary64_1108` `distribute-lft-in_binary64_1404` `rem-sqrt-square_binary64_92` `distribute-rgt-in_binary64_1405`
23×	`pow-to-exp_binary64_836` `distribute-lft-out--_binary64_31` `div-inv_binary64_2484` `frac-times_binary64_1121` `*-commutative_binary64_1386`
22×	`flip--_binary64_2118` `*-commutative_binary64_698` `flip3--_binary64_2147` `difference-of-squares_binary64_2456` `cancel-sign-sub-inv_binary64_1765` `div-inv_binary64_764`
21×	`sub-neg_binary64_1448` `associate-/r/_binary64_2433` `cube-div_binary64_1828` `-commutative_binary64_1042` `pow-unpow_binary64` `associate-l_binary64_2428` `associate-r_binary64_2427` `-commutative_binary64`
20×	`cbrt-undiv_binary64_113` `associate-r/_binary64_709` `frac-add_binary64_1807` `sqrt-div_binary64_440` `associate-l/_binary64_1054` `*-commutative_binary64_1730` `cube-prod_binary64_451` `sqrt-pow1_binary64_97` `difference-of-squares_binary64_736`
19×	`pow-prod-down_binary64` `sqr-pow_binary64_739` `cbrt-unprod_binary64_112` `associate-/l*_binary64_1056` `cancel-sign-sub-inv_binary64_733` `add-log-exp_binary64_2526` `pow1/2_binary64_159` `cbrt-div_binary64_2175`
18×	`1-exp_binary64_467` `clear-num_binary64` `associate-/r*_binary64_2087` `unpow2_binary64_488` `distribute-lft-out--_binary64` `unpow-prod-down_binary64_1190` `frac-2neg_binary64` `sqrt-pow1_binary64_1129` `exp-sum_binary64_2533`
17×	`pow-exp_binary64_147` `associate-/l*_binary64_1744` `cbrt-div_binary64_111` `div-inv_binary64_1796`
16×	`pow1/3_binary64_1193` `flip--_binary64_742` `distribute-lft-out--_binary64_719` `flip--_binary64_1086` `associate-/r/_binary64_1057` `flip3--_binary64_1115` `flip3--_binary64_771`
15×	`pow1/3_binary64_849` `associate-/r/_binary64` `distribute-lft-out--_binary64_2095` `clear-num_binary64_422` `frac-2neg_binary64_1466` `div-exp_binary64_2538` `unswap-sqr_binary64_2111` `frac-2neg_binary64_434` `tan-quot_binary64` `clear-num_binary64_1454`
14×	`associate-/r/_binary64_2089` `sub-neg_binary64_1792` `flip-+_binary64_2461` `flip3-+_binary64_2490` `pow-exp_binary64_1867` `rem-sqrt-square_binary64_1124`
13×	`associate-/l/_binary64_1402` `associate-/l*_binary64_2088` `sum-log_binary64_2234`
12×	`sub-neg_binary64_416` `distribute-rgt-in_binary64_2093` `difference-of-squares_binary64` `frac-add_binary64_87` `pow-to-exp_binary64_1868` `distribute-lft-out_binary64_1062` `sum-log_binary64_1890` `pow1/2_binary64_1191` `cbrt-div_binary64_799` `distribute-lft-in_binary64_2092` `*-commutative_binary64_2074`
11×	`pow1/2_binary64_1879` `pow-to-exp_binary64_148` `sqrt-pow1_binary64_1817` `sum-log_binary64_1546` `unswap-sqr_binary64_1423` `associate-*l/_binary64` `rem-sqrt-square_binary64_1812`
10×	`difference-of-squares_binary64_1768` `associate-/l/_binary64_370` `div-sub_binary64_2492` `frac-2neg_binary64_778` `rec-exp_binary64` `1-exp_binary64` `frac-2neg_binary64_90` `sqr-pow_binary64_1427` `sqrt-pow1_binary64_2505` `flip3--_binary64_427` `distribute-rgt-in_binary64` `pow1/3_binary64_1881` `clear-num_binary64_78` `flip--_binary64_398` `associate-/l/_binary64_2434` `clear-num_binary64_766` `pow1/3_binary64_161` `pow1/2_binary64_2567` `cube-prod_binary64_1483` `log-pow_binary64_2232` `distribute-lft-in_binary64` `sqrt-div_binary64_784` `cbrt-undiv_binary64_2521` `pow1/3_binary64_2225`
9×	`1-exp_binary64_1843` `pow-unpow_binary64_2220` `diff-log_binary64` `rec-exp_binary64_1849` `frac-sub_binary64` `associate-/l/_binary64_1058` `pow-pow_binary64_151` `pow-exp_binary64_1179` `unswap-sqr_binary64_2455` `pow-unpow_binary64_500` `diff-log_binary64_1547` `neg-mul-1_binary64_2483` `cancel-sign-sub-inv_binary64_2109` `pow-unpow_binary64_1876`
8×	`-commutative_binary64_10` `associate-l/_binary64_710` `frac-2neg_binary64_2498` `unpow2_binary64_832` `clear-num_binary64_2486` `rem-sqrt-square_binary64_2500` `pow-pow_binary64_839`
7×	`clear-num_binary64_1798` `flip3--_binary64` `swap-sqr_binary64` `+-commutative_binary64_1729` `div-inv_binary64_2140` `distribute-rgt-in_binary64_29` `pow-pow_binary64_1527` `flip--_binary64` `distribute-lft-in_binary64_28` `pow1/2_binary64_503` `sub-neg_binary64_2136` `pow-pow_binary64` `associate-/r*_binary64_1055` `frac-2neg_binary64_1810`
6×	`associate-+r+_binary64_1731` `swap-sqr_binary64_734` `sub-neg_binary64` `pow-unpow_binary64_1188` `sub-neg_binary64_760` `pow-prod-up_binary64_2213` `associate-+r+_binary64_2075` `sum-log_binary64_858` `swap-sqr_binary64_1078` `frac-add_binary64_1119` `pow-prod-down_binary64_150` `sqrt-div_binary64_2504` `sqrt-pow1_binary64_785` `unpow3_binary64_489` `cbrt-div_binary64_1143` `cube-mult_binary64_453` `cube-prod_binary64` `+-commutative_binary64_1385` `associate-+r+_binary64_11` `distribute-lft-out_binary64_1750` `neg-sub0_binary64_2482` `swap-sqr_binary64_2110` `associate-/l/_binary64_2090` `sinh-def_binary64_952`
5×	`+-commutative_binary64_9` `associate-*r/_binary64` `div-sub_binary64_1460` `frac-2neg_binary64_1122` `flip3-+_binary64_770` `pow-prod-up_binary64_2557` `sum-log_binary64_170` `pow-flip_binary64` `+-commutative_binary64_697` `flip--_binary64_54` `inv-pow_binary64` `pow-pow_binary64_1871` `pow-plus_binary64_2206` `flip3--_binary64_83` `pow-exp_binary64_2211` `flip-+_binary64_741` `clear-num_binary64_1110`
4×	`flip3-+_binary64` `cbrt-undiv_binary64_2177` `associate-/l/_binary64` `distribute-lft-out--_binary64_375` `distribute-lft-out_binary64_718` `diff-log_binary64_859` `rem-exp-log_binary64_2527` `unpow2_binary64_1520` `cos-sum_binary64_901` `pow-prod-up_binary64_1869` `exp-diff_binary64_2535` `rem-log-exp_binary64` `distribute-lft-out_binary64_374` `sum-log_binary64` `frac-sub_binary64_1120` `pow-pow_binary64_2215` `difference-of-squares_binary64_392` `pow1/2_binary64_847` `pow-sqr_binary64_2116` `distribute-lft-in_binary64_716` `cbrt-div_binary64_1487` `pow-plus_binary64_1862` `sqr-pow_binary64_1083` `associate-/l/_binary64_26` `frac-times_binary64_2153` `cube-div_binary64_1484` `sqr-pow_binary64_2115` `div-exp_binary64_2194` `distribute-rgt-in_binary64_717` `flip-+_binary64`
3×	`frac-times_binary64_777` `+-commutative_binary64_2073` `clear-num_binary64_2142` `rem-sqrt-square_binary64_780` `pow2_binary64_2224` `cube-mult_binary64_1829` `log-prod_binary64_2229` `pow-pow_binary64_495` `pow-to-exp_binary64_2212` `asin-acos_binary64_259` `rem-cube-cbrt_binary64_1822` `+-commutative_binary64_353` `pow-sqr_binary64_2460` `unsub-neg_binary64_2481` `exp-neg_binary64_2534` `distribute-lft-out_binary64_2094` `pow1/3_binary64_1537` `pow-prod-down_binary64_2558` `unpow3_binary64_1865` `pow-to-exp_binary64_1180` `log-div_binary64` `sqrt-undiv_binary64_100` `frac-2neg_binary64_2154` `sum-log_binary64_514` `acos-asin_binary64_2324` `div-sub_binary64_2148` `distribute-frac-neg_binary64_2450` `associate-+r-_binary64_2421`
2×	`unpow2_binary64_2208` `pow-sqr_binary64_1084` `2sinh-undef_binary64_962` `pow-prod-up_binary64_1181` `pow-sqr_binary64_1772` `sinh-def_binary64` `log-div_binary64_2574` `difference-of-squares_binary64_1080` `un-div-inv_binary64_1797` `unpow3_binary64_2209` `distribute-lft-out_binary64` `cube-mult_binary64_1485` `unpow3_binary64_1521` `div-sub_binary64_772` `associate--l+_binary64_16` `pow-prod-up_binary64_837` `cube-mult_binary64_2173` `distribute-rgt-in_binary64_1061` `unpow2_binary64_1176` `rem-log-exp_binary64_2528` `unpow3_binary64` `associate-+l+_binary64_2076` `rem-sqrt-square_binary64_436` `cube-div_binary64_2172` `cube-mult_binary64` `frac-times_binary64_89` `associate-l/_binary64_22` `sqr-abs_binary64_2502` `associate-l/_binary64_2086` `pow-pow_binary64_1183` `div-sub_binary64` `pow2_binary64_1880` `rem-cube-cbrt_binary64` `distribute-lft-in_binary64_1060` `rec-exp_binary64_2537` `pow-sqr_binary64_740` `sub-div_binary64` `un-div-inv_binary64` `rem-cube-cbrt_binary64_2166` `distribute-lft-out--_binary64_1751` `log-pow_binary64_2576` `1-exp_binary64_2531` `asin-acos_binary64_2323` `2cosh-undef_binary64` `sqrt-undiv_binary64_788` `pow-sub_binary64_843`
1×	`flip--_binary64_2462` `associate-l/_binary64_2430` `cbrt-unprod_binary64_2520` `+-commutative_binary64_1041` `pow2_binary64_848` `associate-+l+_binary64_1388` `associate--r+_binary64` `associate--l-_binary64` `associate--r-_binary64_2082` `cos-diff_binary64_904` `rem-cbrt-cube_binary64_1823` `associate-/l/_binary64_714` `-commutative_binary64_2418` `sqrt-unprod_binary64_99` `sqrt-undiv_binary64_444` `frac-times_binary64_2497` `pow1/3_binary64` `pow-flip_binary64_2561` `2sinh-undef_binary64` `exp-to-pow_binary64_2205` `pow-plus_binary64_2550` `rem-square-sqrt_binary64_2499` `flip3--_binary64_2491` `associate-*r/_binary64_2429` `pow2_binary64_2568` `associate--r+_binary64_703` `diff-log_binary64_2235` `rem-cube-cbrt_binary64_1478` `cbrt-div_binary64` `pow-plus_binary64_1174` `exp-prod_binary64_2195` `rem-log-exp_binary64_2184` `sum-log_binary64_1202` `prod-exp_binary64_2536` `pow-sqr_binary64` `rem-cbrt-cube_binary64_2167` `inv-pow_binary64_2572` `cancel-sign-sub-inv_binary64_45` `div-sub_binary64_84` `pow2_binary64_1192` `pow-prod-up_binary64` `distribute-rgt-out--_binary64` `diff-log_binary64_171` `unpow2_binary64_1864` `pow-plus_binary64_830` `rem-cbrt-cube_binary64_1479` `pow2_binary64` `associate-+l+_binary64_1732` `associate--l+_binary64` `sqrt-unprod_binary64_2507` `sub-neg_binary64_72`

Calls

465 calls:

68.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)))))
67.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)))
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 w h) (.f64 D D)))) (.f64 M M)))) (*.f64 w 2)))
64.0ms	(*.f64 (sqrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu) KbT)) 1))) (sqrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu) KbT)) 1))))
53.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))))

Details

series2.0min (36.1%)

sample1.6min (29.3%)

prune44.5s (13.7%)

analyze34.2s (10.5%)

simplify17.1s (5.3%)

rewrite7.1s (2.2%)

regimes6.0s (1.8%)

localize2.1s (0.7%)

bsearch1.4s (0.4%)

end1.0ms (0%)

Profiling