Date:	Monday, December 21st, 2020
Commit:	171b8bea on symmetry
Hostname:	warfa with Racket 7.9
Seed:	2020356
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:fallback` default

Details

sample1.9min (38.8%)

Algorithm

62×

intervals

Results

17.0s	34230×	body	1024	valid
15.7s	182272×	body	128	valid
5.5s	16184×	body	512	valid
5.3s	11259×	body	2048	valid
4.7s	50299×	body	128	nan
4.2s	1354×	body	4096	invalid
3.0s	6211×	body	1024	nan
2.5s	24216×	body	128	invalid
2.5s	2975×	body	4096	valid
2.2s	1188×	body	2048	invalid
1.7s	7772×	body	256	valid
1.6s	4340×	body	1024	invalid
1.1s	3230×	body	512	nan
856.0ms	1244×	body	8192	valid
691.0ms	2565×	body	512	invalid
369.0ms	1694×	body	256	nan
350.0ms	2375×	body	128	overflowed
274.0ms	1431×	body	256	invalid
166.0ms	8256×	pre	128	true
8.0ms	11×	body	8192	exit
1.0ms	1×	body	2048	nan

Compiler

Compiled 41743 to 30995 computations (25.7% saved)

series55.3s (18.5%)

Calls

451 calls:

2.5s	(sqrt.f64 (.f64 (.f64 2 n) (.f64 U (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 (cbrt.f64 (pow.f64 (.f64 n (/.f64 l Om)) 3)) (-.f64 U U))))))))
2.1s	(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)))))))
2.0s	(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))))))))
2.0s	(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))))))))
1.5s	(.f64 (.f64 (.f64 (fabs.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h)))) (.f64 (fabs.f64 (cbrt.f64 d)) (sqrt.f64 (/.f64 (cbrt.f64 d) l)))) (-.f64 1 (.f64 (.f64 1/2 (pow.f64 (/.f64 (.f64 M D) (.f64 d 2)) 2)) (/.f64 h l))))

prune41.7s (13.9%)

Compiler: Compiled 663675 to 391106 computations (41.1% saved)

analyze40.2s (13.4%)

Algorithm

31×	search
62×	egg-herbie

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)

regimes22.9s (7.6%)

Accuracy

Total 43.7b remaining (23.9%)

Threshold costs 4.7b (2.6%)

8.3b	31.9%	Toniolo and Linder, Equation (13)
6.6b	72.1%	Toniolo and Linder, Equation (7)
6.5b	30.1%	Toniolo and Linder, Equation (10+)
6.4b	0%	Henrywood and Agarwal, Equation (12)
4.7b	0%	Toniolo and Linder, Equation (10-)

Compiler

Compiled 286134 to 215395 computations (24.7% saved)

simplify12.6s (4.2%)

Algorithm

181×	egg-herbie

Compiler

Compiled 368 to 276 computations (25% saved)

rewrite6.5s (2.2%)

Algorithm

119×	rewrite-expression-head

Rules

1776×	`times-frac_binary64_425`
1707×	`add-exp-log_binary64_798`
1604×	`times-frac_binary64_84`
1424×	`add-exp-log_binary64_457`
1402×	`add-sqr-sqrt_binary64_441`
1188×	`*-un-lft-identity_binary64_78`
1149×	`add-cbrt-cube_binary64_796`
1086×	`times-frac_binary64`
1080×	`*-un-lft-identity_binary64_419`
1017×	`add-sqr-sqrt_binary64_100`
905×	`sqrt-prod_binary64_435`
886×	`add-cube-cbrt_binary64_454`
880×	`*-un-lft-identity_binary64_1783`
875×	`add-sqr-sqrt_binary64_1464`
868×	`add-cube-cbrt_binary64_113`
853×	`add-sqr-sqrt_binary64`
816×	`prod-exp_binary64_809`
781×	`add-exp-log_binary64_1480`
759×	`*-un-lft-identity_binary64`
752×	`*-un-lft-identity_binary64_1442`
736×	`times-frac_binary64_1448`
706×	`prod-exp_binary64_468`
695×	`add-cube-cbrt_binary64`
692×	`add-cbrt-cube_binary64_455`
574×	`sqrt-prod_binary64_94`
552×	`add-exp-log_binary64_1139`
543×	`div-exp_binary64_811`
542×	`add-cbrt-cube_binary64_1137` `cbrt-unprod_binary64_793`
504×	`add-sqr-sqrt_binary64_1805`
476×	`associate-*r/_binary64_1384`
440×	`add-cube-cbrt_binary64_1477`
436×	`times-frac_binary64_1789`
397×	`add-cbrt-cube_binary64_1478`
393×	`div-exp_binary64_470`
358×	`prod-exp_binary64_1491`
343×	`add-cube-cbrt_binary64_1818`
333×	`associate-r_binary64_359`
321×	`cbrt-undiv_binary64_794` `sqrt-prod_binary64_1458`
314×	`sqrt-div_binary64_1459`
306×	`add-exp-log_binary64`
301×	`add-sqr-sqrt_binary64_1123`
299×	`cbrt-unprod_binary64_452`
298×	`add-sqr-sqrt_binary64_782`
292×	`add-exp-log_binary64_116`
285×	`*-un-lft-identity_binary64_1101` `times-frac_binary64_1107`
276×	`unpow-prod-down_binary64_498`
264×	`exp-prod_binary64_1835`
255×	`prod-exp_binary64_1150`
252×	`cbrt-unprod_binary64_1134`
251×	`pow1_binary64_480`
248×	`add-cube-cbrt_binary64_1136`
244×	`*-un-lft-identity_binary64_760`
237×	`difference-of-squares_binary64_388`
228×	`cbrt-div_binary64_1474`
222×	`distribute-lft-out--_binary64_1735`
220×	`add-cbrt-cube_binary64_114`
217×	`frac-times_binary64_1452`
209×	`pow1_binary64_821`
206×	`pow1_binary64_1503`
203×	`add-cube-cbrt_binary64_795`
188×	`flip3--_binary64_1446` `flip--_binary64_1417`
187×	`sqr-pow_binary64_391`
184×	`sqrt-prod_binary64_1117`
181×	`div-exp_binary64_1493`
178×	`unpow-prod-down_binary64_157`
171×	`cbrt-unprod_binary64_1475` `add-cbrt-cube_binary64`
169×	`cbrt-undiv_binary64_453`
168×	`distribute-lft-out_binary64_1393`
165×	`add-exp-log_binary64_1821`
164×	`associate-r_binary64_1382` `pow1_binary64_1844`
163×	`add-cbrt-cube_binary64_1819`
162×	`times-frac_binary64_766`
159×	`associate-r_binary64` `associate-l_binary64_701`
158×	`add-sqr-sqrt_binary64_2146`
155×	`associate-r_binary64_18`
153×	`distribute-lft-out_binary64_29`
148×	`*-un-lft-identity_binary64_2124`
141×	`unpow-prod-down_binary64`
140×	`sqrt-div_binary64_1800`
138×	`cbrt-prod_binary64_1814`
136×	`cbrt-prod_binary64_109`
132×	`distribute-lft-out_binary64_1734`
129×	`associate-*l/_binary64_703`
128×	`pow1_binary64` `pow-exp_binary64_487`
121×	`associate-r_binary64_700`
120×	`associate-/r*_binary64` `associate-/r/_binary64_1388`
119×	`pow1_binary64_1162`
115×	`associate-*l/_binary64_1385`
113×	`div-exp_binary64_1152`
110×	`cbrt-undiv_binary64_1135`
109×	`associate-/r*_binary64_22` `pow1_binary64_2185`
105×	`associate-l_binary64_360`
104×	`pow-prod-down_binary64_490` `sqrt-prod_binary64_1799`
102×	`associate-l_binary64_1724`
101×	`cancel-sign-sub-inv_binary64_1408`
98×	`difference-of-squares_binary64_1411` `pow1_binary64_139`
97×	`add-exp-log_binary64_2162` `add-log-exp_binary64_1822`
96×	`frac-times_binary64_1793` `associate-/r*_binary64_363` `add-cube-cbrt_binary64_2159`
95×	`associate-r_binary64_1041`
94×	`pow-prod-down_binary64_831`
93×	`div-exp_binary64_129`
92×	`associate-l_binary64_19`
90×	`div-exp_binary64` `associate-/l*_binary64_364`
89×	`log-prod_binary64` `unpow-prod-down_binary64_1862` `add-cbrt-cube_binary64_2160`
88×	`associate-l_binary64`
86×	`associate-/r*_binary64_1386` `sqrt-div_binary64_1118` `cube-prod_binary64_1811`
85×	`pow-prod-down_binary64_1513` `frac-times_binary64_770`
83×	`cbrt-prod_binary64`
79×	`associate-*r/_binary64_702`
76×	`pow-to-exp_binary64_488` `pow1_binary64_2526`
75×	`div-inv_binary64_75`
73×	`associate-l_binary64_1383` `add-log-exp_binary64_1481`
72×	`add-log-exp_binary64` `add-log-exp_binary64_117`
71×	`add-log-exp_binary64_799`
70×	`cbrt-undiv_binary64_1476`
67×	`flip3--_binary64_1787` `prod-exp_binary64_127` `flip--_binary64_1758`
66×	`sqrt-div_binary64_95`
65×	`associate-/l*_binary64_23`
64×	`difference-of-squares_binary64_1752` `associate-*r/_binary64_1725` `pow-exp_binary64_1510`
63×	`add-log-exp_binary64_458` `sqr-pow_binary64`
62×	`cbrt-unprod_binary64_111` `div-inv_binary64_416` `cbrt-undiv_binary64_112`
61×	`unswap-sqr_binary64_387`
60×	`pow-prod-down_binary64_1854` `add-exp-log_binary64_2503`
59×	`prod-exp_binary64` `add-log-exp_binary64_1140` `unpow-prod-down_binary64_1521`
58×	`flip-+_binary64_52` `add-cbrt-cube_binary64_2501` `div-inv_binary64` `flip3-+_binary64_81`
57×	`cbrt-unprod_binary64_1816` `prod-exp_binary64_1832`
55×	`associate-*r/_binary64_361`
54×	`associate-/l_binary64` `associate-/l_binary64_1387` `times-frac_binary64_2130`
51×	`unpow2_binary64_484`
49×	`associate-r_binary64_2064` `associate-/l*_binary64_1046`
48×	`add-log-exp_binary64_2163` `cbrt-prod_binary64_2155` `distribute-lft-out--_binary64_1394`
47×	`pow-unpow_binary64_496` `associate-*l/_binary64_1726`
46×	`associate-*r/_binary64_1043` `unswap-sqr_binary64_46`
44×	`associate-/r/_binary64_24` `div-inv_binary64_1439` `flip3--_binary64_1105` `flip--_binary64_1076`
43×	`associate-*r/_binary64_20` `unpow-prod-down_binary64_839`
42×	`difference-of-squares_binary64_2093` `associate-*r/_binary64_2066`
40×	`pow-prod-down_binary64_2195` `associate-l_binary64_1042` `tan-quot_binary64_919` `associate-*r/_binary64_2407`
39×	`distribute-rgt-in_binary64_369` `unswap-sqr_binary64` `distribute-lft-in_binary64_368`
37×	`unswap-sqr_binary64_728` `add-sqr-sqrt_binary64_2487` `associate-r_binary64_1723`
36×	`difference-of-squares_binary64` `cbrt-undiv_binary64` `prod-exp_binary64_2173` `pow-unpow_binary64`
35×	`unswap-sqr_binary64_1410`
34×	`cbrt-unprod_binary64_2157` `pow-prod-down_binary64_2536`
33×	`*-un-lft-identity_binary64_2465` `distribute-rgt-in_binary64_1392` `pow-exp_binary64` `div-inv_binary64_1098` `distribute-lft-in_binary64_1391` `distribute-lft-out--_binary64_371`
32×	`cancel-sign-sub-inv_binary64_726` `pow-exp_binary64_828` `sqrt-pow1_binary64_437`
31×	`cbrt-prod_binary64_1132`
30×	`flip3-+_binary64_763` `flip-+_binary64_734` `cancel-sign-sub-inv_binary64_385` `frac-times_binary64_1111` `rec-exp_binary64_810` `pow-prod-down_binary64_1172` `1-exp_binary64_804`
29×	`*-commutative_binary64_691` `pow-to-exp_binary64_1511`
28×	`cbrt-unprod_binary64_2498` `cbrt-unprod_binary64` `associate-/l_binary64_1728` `prod-exp_binary64_2514` `associate-r*_binary64_2405`
27×	`add-cube-cbrt_binary64_2500`
26×	`cancel-sign-sub-inv_binary64`
25×	`pow-to-exp_binary64` `*-commutative_binary64_350` `sqr-pow_binary64_1414` `div-inv_binary64_757`
24×	`associate-/r/_binary64_1047` `*-commutative_binary64_1373` `pow-unpow_binary64_155`
23×	`associate-/l*_binary64_705` `cbrt-prod_binary64_1473`
22×	`pow-prod-down_binary64` `unpow-prod-down_binary64_2203` `associate-/r/_binary64_365`
21×	`flip3-+_binary64_1786` `flip-+_binary64_1757` `div-inv_binary64_1780`
20×	`cos-sum_binary64_894` `flip-+_binary64_2098` `flip3-+_binary64_2127` `associate-l_binary64_2065` `pow-pow_binary64` `associate-/r*_binary64_704` `frac-add_binary64_2132`
19×	`sqrt-pow1_binary64_1801` `flip-+_binary64_1416` `flip3-+_binary64_1445` `cancel-sign-sub-inv_binary64_2090` `associate-/r*_binary64_1045` `flip3-+_binary64_1104` `flip-+_binary64_1075` `sqrt-pow1_binary64_1119`
18×	`associate-*l/_binary64_362` `sqrt-div_binary64_436` `flip3-+_binary64_422` `clear-num_binary64_1441` `cbrt-prod_binary64_450` `frac-2neg_binary64_1453` `distribute-rgt-in_binary64_2074` `flip-+_binary64_393` `unswap-sqr_binary64_1751` `distribute-lft-in_binary64_2073`
17×	`distribute-rgt-in_binary64_1733` `associate-/r/_binary64` `rem-sqrt-square_binary64_1455` `distribute-lft-in_binary64_1732` `clear-num_binary64` `sum-log_binary64_1874` `frac-2neg_binary64` `associate-*l/_binary64_1044` `rem-sqrt-square_binary64_1114` `distribute-lft-out_binary64_1052`
16×	`pow-to-exp_binary64_829` `unswap-sqr_binary64_2092` `pow1/2_binary64_1863` `*-commutative_binary64`
15×	`clear-num_binary64_418` `distribute-lft-out_binary64` `rec-exp_binary64` `frac-2neg_binary64_430` `1-exp_binary64` `frac-2neg_binary64_89` `clear-num_binary64_1100` `clear-num_binary64_77` `frac-2neg_binary64_1112` `frac-times_binary64_429` `cbrt-prod_binary64_791` `unswap-sqr_binary64_1069` `sqr-pow_binary64_732` `pow1/2_binary64_1181` `frac-times_binary64_88`
14×	`sub-neg_binary64_1435` `rem-sqrt-square_binary64_91` `add-log-exp_binary64_2504` `sqrt-pow1_binary64_96` `cube-prod_binary64_788` `*-commutative_binary64_1714` `distribute-rgt-in_binary64_2415` `distribute-lft-in_binary64_2414` `frac-add_binary64_1109` `pow1/2_binary64_499` `tan-quot_binary64`
13×	`div-sub_binary64_1788` `sqrt-prod_binary64_776` `distribute-lft-out--_binary64` `associate-l_binary64_2406` `pow1/3_binary64_2206`
12×	`flip3--_binary64_2128` `distribute-lft-out_binary64_711` `cube-prod_binary64_447` `-commutative_binary64_1032` `associate-/l/_binary64_707` `associate-/l/_binary64_1389` `frac-add_binary64_86` `associate-/r_binary64_1727` `frac-2neg_binary64_771` `log-prod_binary64_1869` `flip--_binary64_2099` `associate-/r*_binary64_2068` `clear-num_binary64_759` `pow1/2_binary64_158`
11×	`flip3--_binary64_423` `rec-exp_binary64_128` `associate-l/_binary64_21` `flip--_binary64_394` `distribute-rgt-in_binary64_28` `1-exp_binary64_122` `-commutative_binary64_2055` `distribute-lft-in_binary64_27` `pow-exp_binary64_146` `pow-prod-down_binary64_149` `difference-of-sqr-1_binary64_2094` `rem-sqrt-square_binary64_432`
10×	`*-commutative_binary64_9` `sub-neg_binary64_412` `rem-exp-log_binary64_1823` `+-commutative_binary64_1713` `flip3--_binary64` `pow-pow_binary64_491` `1-exp_binary64_1486` `unpow2_binary64_143` `distribute-lft-out--_binary64_2076` `sqr-pow_binary64_50` `difference-of-squares_binary64_729` `flip--_binary64` `flip3-+_binary64_2468` `sqrt-pow1_binary64_1460` `pow1/2_binary64_1522` `sub-neg_binary64_1776` `sub-neg_binary64_753` `rec-exp_binary64_1492` `cancel-sign-sub-inv_binary64_1749` `flip-+_binary64_2439`
9×	`distribute-lft-out--_binary64_712` `cbrt-undiv_binary64_1817` `pow-to-exp_binary64_147` `-commutative_binary64_2396` `associate-/l/_binary64_25` `associate-/l_binary64_2069` `pow-unpow_binary64_1860` `distribute-rgt-in_binary64_710` `unswap-sqr_binary64_2433` `div-exp_binary64_1834` `exp-diff_binary64_1831` `pow1/3_binary64_1183` `pow-unpow_binary64_2201` `distribute-lft-in_binary64_709` `sum-log_binary64_2215` `log-prod_binary64_2551`
8×	`+-commutative_binary64_8` `associate-/l/_binary64_1730` `1-exp_binary64_463` `rem-log-exp_binary64` `pow-pow_binary64_150` `log-pow_binary64` `rec-exp_binary64_469` `sqr-pow_binary64_2096` `difference-of-squares_binary64_47` `rem-sqrt-square_binary64_1796` `frac-add_binary64_2473` `flip--_binary64_735` `sum-log_binary64_169` `flip3--_binary64_764`
7×	`unpow2_binary64_825` `sub-neg_binary64` `sqr-pow_binary64_1755` `flip--_binary64_2440` `associate-/l/_binary64_366` `flip3--_binary64_2469` `sub-neg_binary64_2117` `unpow-prod-down_binary64_1180` `cube-div_binary64_1812` `associate-*l/_binary64`
6×	`exp-sum_binary64_1829` `pow-pow_binary64_1855` `difference-of-squares_binary64_1070` `cube-mult_binary64_1813` `pow-prod-up_binary64_2194` `log-pow_binary64_1872` `cancel-sign-sub-inv_binary64_2431` `exp-sum_binary64_2511` `unpow3_binary64_1849` `sinh-def_binary64_945` `pow-unpow_binary64_837` `sub-neg_binary64_2458` `cbrt-div_binary64_792` `associate-+r+_binary64_10` `swap-sqr_binary64_2091` `sqrt-div_binary64_777`
5×	`associate-/l/_binary64` `distribute-lft-out_binary64_2075` `diff-log_binary64` `cube-mult_binary64_449` `associate-*r/_binary64` `pow-flip_binary64_1516` `pow-flip_binary64` `pow-plus_binary64_2187` `diff-log_binary64_852` `inv-pow_binary64` `cos-diff_binary64_897` `unpow3_binary64_485` `log-div_binary64`
4×	`frac-2neg_binary64_1794` `cbrt-div_binary64_451` `unpow3_binary64_826` `div-sub_binary64_1447` `cbrt-div_binary64_1815` `pow1/3_binary64` `pow-exp_binary64_2192` `pow-plus_binary64_2528` `pow-prod-up_binary64_2535` `tan-quot_binary64_578` `cube-div_binary64_448` `pow-exp_binary64_1169` `associate-+r+_binary64_2056` `diff-log_binary64_1534` `+-commutative_binary64_2054` `associate-/r/_binary64_2070` `pow1/3_binary64_842` `cube-mult_binary64_790` `cbrt-div_binary64` `pow-flip_binary64_493` `clear-num_binary64_1782` `pow-to-exp_binary64_2193` `pow-sqr_binary64_2097` `pow-exp_binary64_1851` `distribute-lft-out--_binary64_30` `difference-of-sqr-1_binary64_48` `associate-/l/_binary64_2071` `div-sub_binary64_424`
3×	`inv-pow_binary64_1527` `+-commutative_binary64_1031` `flip--_binary64_53` `inv-pow_binary64_163` `rem-cube-cbrt_binary64_1806` `pow-pow_binary64_2196` `sqrt-unprod_binary64_1803` `distribute-lft-in_binary64_1050` `sum-log_binary64_1192` `acos-asin_binary64_2305` `pow-unpow_binary64_2542` `pow1/3_binary64_1524` `rem-cbrt-cube_binary64_1807` `pow1/3_binary64_1865` `unpow-prod-down_binary64_2544` `unpow2_binary64_2189` `pow-to-exp_binary64_1852` `distribute-rgt-in_binary64_1051` `distribute-lft-out_binary64_2416` `flip3--_binary64_82` `pow2_binary64_2205` `pow-unpow_binary64_1178` `frac-times_binary64` `pow-flip_binary64_152` `asin-acos_binary64_599`
2×	`log-div_binary64_2552` `cbrt-undiv_binary64_2158` `sum-log_binary64_851` `sum-log_binary64_1533` `pow-sub_binary64_495` `pow1/2_binary64_840` `sub-neg_binary64_1094` `associate--l+_binary64_15` `cbrt-div_binary64_1133` `+-commutative_binary64_1372` `frac-sub_binary64` `associate-/l/_binary64_1048` `log-div_binary64_1870` `rem-log-exp_binary64_1824` `rem-sqrt-square_binary64_773` `clear-num_binary64_2123` `unpow3_binary64_2190` `distribute-rgt-in_binary64` `pow2_binary64_2546` `associate--r+_binary64_696` `cancel-sign-sub-inv_binary64_1067` `sinh-undef_binary64_953` `associate-/r/_binary64_706` `div-sub_binary64_2129` `div-inv_binary64_2121` `sqrt-pow1_binary64_778` `pow-sqr_binary64_2438` `div-exp_binary64_2175` `pow-pow_binary64_832` `distribute-lft-in_binary64` `frac-2neg_binary64_2135`
1×	`flip3-+_binary64` `pow1/3_binary64_501` `pow-to-exp_binary64_2534` `pow-exp_binary64_2533` `sqr-pow_binary64_2437` `exp-to-pow_binary64_2527` `pow-pow_binary64_1173` `log-pow_binary64_2554` `diff-log_binary64_170` `unpow2_binary64_1166` `inv-pow_binary64_504` `exp-prod_binary64_2517` `exp-to-pow_binary64_1845` `associate-+l+_binary64_1716` `rem-cbrt-cube_binary64_443` `div-sub_binary64` `diff-log_binary64_2216` `associate-+r+_binary64_1715` `distribute-rgt-out_binary64_2077` `pow-pow_binary64_2537` `sqrt-undiv_binary64_440` `pow-to-exp_binary64_1170` `sqrt-pow2_binary64_1802` `unpow2_binary64_1848` `sub-div_binary64` `associate-+l+_binary64_2057` `unpow2_binary64_2530` `sqr-pow_binary64_1073` `rem-exp-log_binary64_2505` `cancel-sign-sub-inv_binary64_44` `un-div-inv_binary64` `un-div-inv_binary64_758` `rem-log-exp_binary64_2506` `sub-neg_binary64_71` `distribute-lft1-in_binary64_2079` `flip-+_binary64`

Calls

451 calls:

101.0ms	(.f64 (/.f64 1 (sqrt.f64 (.f64 2 PI.f64))) (/.f64 (sqrt.f64 k) (/.f64 (sqrt.f64 n) (pow.f64 (.f64 (.f64 2 PI.f64) n) (/.f64 k 2)))))
62.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)))))
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))))
47.0ms	(+.f64 (.f64 (/.f64 c0 (.f64 w h)) (/.f64 (.f64 d d) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (.f64 (/.f64 c0 (.f64 w h)) (/.f64 (.f64 d d) (.f64 D D)))) (*.f64 M M))))
43.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 w h)) (/.f64 (.f64 d d) (.f64 D D)))) (.f64 M M))))

localize2.8s (0.9%)

bsearch1.1s (0.4%)

Compiler: Compiled 123 to 94 computations (23.6% saved)

Details

sample1.9min (38.8%)

series55.3s (18.5%)

prune41.7s (13.9%)

analyze40.2s (13.4%)

regimes22.9s (7.6%)

simplify12.6s (4.2%)

rewrite6.5s (2.2%)

localize2.8s (0.9%)

bsearch1.1s (0.4%)

end1.0ms (0%)

Profiling