Date:	Monday, December 21st, 2020
Commit:	9e1986a8 on master
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.8min (38%)

Algorithm

62×

intervals

Results

16.0s	34230×	body	1024	valid
14.6s	182272×	body	128	valid
5.1s	16184×	body	512	valid
5.0s	11259×	body	2048	valid
4.4s	50299×	body	128	nan
4.1s	1354×	body	4096	invalid
2.7s	6211×	body	1024	nan
2.4s	24216×	body	128	invalid
2.3s	2975×	body	4096	valid
2.1s	1188×	body	2048	invalid
1.6s	7772×	body	256	valid
1.5s	4340×	body	1024	invalid
989.0ms	3230×	body	512	nan
796.0ms	1244×	body	8192	valid
656.0ms	2565×	body	512	invalid
336.0ms	1694×	body	256	nan
324.0ms	2375×	body	128	overflowed
252.0ms	1431×	body	256	invalid
152.0ms	8256×	pre	128	true
12.0ms	11×	body	8192	exit
1.0ms	1×	body	2048	nan

Compiler

Compiled 41167 to 30585 computations (25.7% saved)

series55.3s (19.7%)

Calls

451 calls:

2.6s	(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.1s	(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))))))))
2.1s	(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))))))))
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))))

prune39.8s (14.2%)

Compiler: Compiled 662634 to 390752 computations (41% saved)

analyze31.9s (11.3%)

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)

regimes21.6s (7.7%)

Accuracy

Total 49.5b remaining (25.7%)

Threshold costs 4.7b (2.5%)

8.3b	31.9%	Toniolo and Linder, Equation (13)
7.0b	53.7%	Henrywood and Agarwal, Equation (3)
6.6b	71.9%	Toniolo and Linder, Equation (7)
6.5b	30.1%	Toniolo and Linder, Equation (10+)
6.4b	0%	Henrywood and Agarwal, Equation (12)

Compiler

Compiled 281376 to 211981 computations (24.7% saved)

simplify15.4s (5.5%)

Algorithm

181×	egg-herbie

rewrite6.7s (2.4%)

Algorithm

119×	rewrite-expression-head

Rules

1564×	`times-frac_binary64_1107`
1472×	`times-frac_binary64_84`
1203×	`add-exp-log_binary64_1480`
1115×	`*-un-lft-identity_binary64_78`
1114×	`add-exp-log_binary64_457`
1086×	`times-frac_binary64`
1067×	`add-sqr-sqrt_binary64_1123`
929×	`add-exp-log_binary64_1139`
866×	`add-sqr-sqrt_binary64_100`
853×	`add-sqr-sqrt_binary64`
840×	`*-un-lft-identity_binary64_1101`
811×	`add-cube-cbrt_binary64_1136`
787×	`add-cube-cbrt_binary64_113`
780×	`*-un-lft-identity_binary64_2465`
766×	`add-sqr-sqrt_binary64_441`
759×	`*-un-lft-identity_binary64`
741×	`sqrt-prod_binary64_1117`
734×	`add-exp-log_binary64_116`
701×	`add-cbrt-cube_binary64_1478`
695×	`add-cube-cbrt_binary64`
668×	`add-sqr-sqrt_binary64_1464`
628×	`add-cbrt-cube_binary64_455`
624×	`add-cbrt-cube_binary64_114`
611×	`*-un-lft-identity_binary64_1442`
599×	`add-exp-log_binary64_798`
579×	`prod-exp_binary64_468`
565×	`add-cbrt-cube_binary64_796`
562×	`*-un-lft-identity_binary64_419`
534×	`times-frac_binary64_425`
524×	`prod-exp_binary64_1491`
483×	`times-frac_binary64_1448`
440×	`div-exp_binary64_1493`
416×	`associate-*r/_binary64_2066`
401×	`prod-exp_binary64_1150`
396×	`sqrt-prod_binary64_94`
394×	`add-sqr-sqrt_binary64_782`
378×	`times-frac_binary64_2471` `add-sqr-sqrt_binary64_2487` `associate-r_binary64_1041`
362×	`add-cube-cbrt_binary64_454`
342×	`add-cbrt-cube_binary64_1137`
339×	`sqrt-prod_binary64_435`
331×	`prod-exp_binary64_127`
306×	`add-exp-log_binary64`
303×	`*-un-lft-identity_binary64_760`
294×	`cbrt-unprod_binary64_111`
291×	`add-cube-cbrt_binary64_1477`
286×	`cbrt-unprod_binary64_1475`
282×	`prod-exp_binary64_809`
278×	`cbrt-unprod_binary64_452`
277×	`times-frac_binary64_766`
276×	`div-exp_binary64_470`
275×	`cbrt-unprod_binary64_793`
267×	`div-exp_binary64_1152`
265×	`add-cube-cbrt_binary64_795`
260×	`exp-prod_binary64_2517`
252×	`add-cube-cbrt_binary64_2500`
250×	`sqrt-prod_binary64_776`
246×	`sqrt-div_binary64_2141`
237×	`difference-of-squares_binary64_388`
235×	`add-exp-log_binary64_2162`
230×	`cbrt-undiv_binary64_1476`
228×	`sqrt-prod_binary64_1458` `cbrt-div_binary64_2156`
222×	`distribute-lft-out--_binary64_2417`
216×	`add-sqr-sqrt_binary64_1805`
204×	`add-exp-log_binary64_1821`
202×	`pow1_binary64_480`
201×	`add-cbrt-cube_binary64_1819`
196×	`pow1_binary64_1162`
188×	`unpow-prod-down_binary64_157`
186×	`pow1_binary64_139`
183×	`div-exp_binary64_129`
181×	`associate-l_binary64_19` `add-cbrt-cube_binary64_2160`
180×	`pow1_binary64_1844`
178×	`*-un-lft-identity_binary64_1783`
176×	`frac-times_binary64_2134`
172×	`distribute-lft-out_binary64_1393`
171×	`unpow-prod-down_binary64_498` `add-cbrt-cube_binary64`
170×	`unpow-prod-down_binary64_1180`
168×	`associate-r_binary64_700`
164×	`flip3--_binary64_2128` `flip--_binary64_2099`
159×	`associate-r_binary64`
157×	`distribute-lft-out_binary64_29`
156×	`sqrt-div_binary64_1800`
155×	`add-cube-cbrt_binary64_1818`
152×	`sqr-pow_binary64_1073`
150×	`cbrt-undiv_binary64_453` `add-sqr-sqrt_binary64_2146`
143×	`cbrt-prod_binary64_791`
141×	`unpow-prod-down_binary64` `pow1_binary64_821`
136×	`cbrt-undiv_binary64_112`
132×	`associate-*r/_binary64_1725`
131×	`pow1_binary64_1503` `*-un-lft-identity_binary64_2124`
129×	`distribute-lft-out_binary64_2416`
128×	`pow1_binary64`
125×	`associate-*l/_binary64_21`
124×	`cbrt-prod_binary64_2496`
121×	`pow-exp_binary64_1169`
120×	`associate-/r*_binary64` `frac-times_binary64_1793`
117×	`div-exp_binary64_811`
116×	`cbrt-unprod_binary64_1134`
114×	`cbrt-undiv_binary64_794`
113×	`associate-r_binary64_359` `associate-l_binary64_1724`
110×	`pow1_binary64_2185`
107×	`flip3--_binary64_1787` `flip--_binary64_1758`
104×	`times-frac_binary64_1789` `prod-exp_binary64_2173`
102×	`add-log-exp_binary64_1481`
100×	`associate-/r/_binary64_2070`
98×	`associate-/r*_binary64_1045` `difference-of-squares_binary64_1411`
96×	`add-cube-cbrt_binary64_2159` `frac-times_binary64_88`
93×	`pow1_binary64_2526`
91×	`associate-*r/_binary64_20`
90×	`cbrt-unprod_binary64_2157` `div-exp_binary64`
89×	`log-prod_binary64`
88×	`associate-l/_binary64_2067` `associate-l_binary64` `associate-r*_binary64_1723`
87×	`associate-l_binary64_360` `add-exp-log_binary64_2503`
85×	`add-cbrt-cube_binary64_2501`
84×	`associate-l_binary64_1042` `cbrt-unprod_binary64_1816` `prod-exp_binary64_1832`
83×	`associate-/r*_binary64_22` `cbrt-prod_binary64`
81×	`cancel-sign-sub-inv_binary64_1408` `unpow-prod-down_binary64_2544`
80×	`pow-prod-down_binary64_1854`
78×	`pow-prod-down_binary64_490` `sqrt-prod_binary64_1799` `cube-prod_binary64_2493`
77×	`associate-r_binary64_18`
76×	`div-inv_binary64_75`
74×	`sqrt-div_binary64_1118` `times-frac_binary64_2130`
73×	`pow-prod-down_binary64_1172`
72×	`add-log-exp_binary64` `flip-+_binary64_52` `add-log-exp_binary64_458` `flip3-+_binary64_81`
71×	`unswap-sqr_binary64_1069` `pow-prod-down_binary64_149`
70×	`pow-exp_binary64_487`
69×	`associate-/r*_binary64_1386` `add-log-exp_binary64_799`
68×	`add-log-exp_binary64_117`
67×	`cbrt-undiv_binary64_1135`
66×	`associate-*r/_binary64_1043`
65×	`div-inv_binary64_1098` `associate-/l*_binary64_364`
63×	`associate-/l*_binary64_23` `sqr-pow_binary64`
61×	`associate-r_binary64_1382`
60×	`add-log-exp_binary64_1140` `sqr-pow_binary64_391` `associate-l_binary64_701` `sqrt-div_binary64_95`
59×	`prod-exp_binary64` `associate-*l/_binary64_1726`
58×	`difference-of-squares_binary64_2434` `pow-to-exp_binary64_488` `div-inv_binary64`
56×	`associate-*r/_binary64_361`
54×	`associate-/l*_binary64`
53×	`unpow2_binary64_484` `associate-/l*_binary64_1046` `cancel-sign-sub-inv_binary64_385`
52×	`sqrt-div_binary64_777`
50×	`add-log-exp_binary64_1822`
48×	`distribute-lft-out--_binary64_1394`
47×	`pow-prod-down_binary64_2195`
46×	`associate-/r/_binary64_24` `pow-to-exp_binary64_1170`
43×	`unswap-sqr_binary64_728` `associate-l_binary64_1383` `pow-prod-down_binary64_831`
41×	`frac-times_binary64_1111`
40×	`tan-quot_binary64_237` `distribute-rgt-in_binary64_369` `associate-r_binary64_2064` `distribute-lft-in_binary64_368` `associate-/r_binary64_704` `associate-r/_binary64_2407`
39×	`add-log-exp_binary64_2504` `unswap-sqr_binary64`
38×	`div-exp_binary64_2175`
37×	`add-log-exp_binary64_2163`
36×	`difference-of-squares_binary64` `cbrt-undiv_binary64` `associate-l_binary64_2065` `pow-unpow_binary64` `difference-of-squares_binary64_2093` `distribute-lft-out--_binary64_371`
35×	`pow-unpow_binary64_1178`
34×	`distribute-rgt-in_binary64_1733` `distribute-lft-in_binary64_1732` `pow-prod-down_binary64_1513` `pow-prod-down_binary64_2536` `cbrt-prod_binary64_1132`
33×	`div-inv_binary64_416` `pow-exp_binary64` `cbrt-prod_binary64_450`
32×	`1-exp_binary64_1486` `sqrt-div_binary64_1459` `rec-exp_binary64_1492`
31×	`flip3-+_binary64_763` `flip-+_binary64_734`
30×	`flip-+_binary64_1416` `flip3-+_binary64_1445` `cbrt-prod_binary64_2155` `associate-*l/_binary64_1044` `cancel-sign-sub-inv_binary64_1749`
29×	`cbrt-undiv_binary64_2158` `unswap-sqr_binary64_387` `associate-/l*_binary64_2069`
28×	`div-inv_binary64_1439` `cbrt-unprod_binary64_2498` `cbrt-unprod_binary64` `prod-exp_binary64_2514` `associate-r_binary64_2405` `associate-/l*_binary64_2410`
27×	`associate-/l_binary64_705` `associate-/r_binary64_363` `unswap-sqr_binary64_1751`
26×	`cancel-sign-sub-inv_binary64` `associate-*r/_binary64_702`
25×	`pow-to-exp_binary64` `sqrt-pow1_binary64_437`
24×	`associate-/r/_binary64_1729` `associate-/l_binary64_1387` `-commutative_binary64_1714` `pow-unpow_binary64_155` `unswap-sqr_binary64_46` `unpow-prod-down_binary64_1521` `unswap-sqr_binary64_1410`
23×	`associate-*r/_binary64_1384`
22×	`pow-prod-down_binary64` `flip3-+_binary64_422` `-commutative_binary64_1032` `cbrt-prod_binary64_1814` `associate-/l_binary64_1728` `pow-exp_binary64_1510` `flip-+_binary64_393`
21×	`div-inv_binary64_757`
20×	`frac-add_binary64_1791` `distribute-rgt-in_binary64_1392` `cos-sum_binary64_553` `distribute-lft-in_binary64_1391` `*-commutative_binary64_350` `cancel-sign-sub-inv_binary64_1067` `pow-pow_binary64`
19×	`*-commutative_binary64_9` `sum-log_binary64_1533` `associate-/r/_binary64_365` `pow-exp_binary64_146` `sqrt-pow1_binary64_1460` `sqrt-pow1_binary64_1119` `sqrt-pow1_binary64_778`
18×	`sqrt-div_binary64_436` `associate-l/_binary64_703` `difference-of-squares_binary64_1752` `flip3-+_binary64_1786` `flip-+_binary64_1757` `pow-unpow_binary64_496` `unpow-prod-down_binary64_1862` `associate-/r_binary64_2068` `div-inv_binary64_2462` `sub-neg_binary64_1776`
17×	`associate-l/_binary64_362` `sub-neg_binary64_412` `cbrt-undiv_binary64_1817` `distribute-lft-out_binary64_711` `pow-to-exp_binary64_147` `associate-/r/_binary64` `clear-num_binary64` `clear-num_binary64_1100` `frac-2neg_binary64_1112` `div-exp_binary64_1834` `frac-2neg_binary64` `-commutative_binary64_691`
16×	`flip3--_binary64_1446` `distribute-lft-in_binary64_1050` `flip--_binary64_1417` `pow1/2_binary64_1522` `distribute-rgt-in_binary64_1051` `*-commutative_binary64` `flip3--_binary64_1105` `flip--_binary64_1076`
15×	`distribute-lft-out_binary64` `pow1/2_binary64_840` `rec-exp_binary64` `1-exp_binary64` `rem-sqrt-square_binary64_773` `1-exp_binary64_1145` `rec-exp_binary64_1151` `rem-sqrt-square_binary64_1114` `unpow-prod-down_binary64_839`
14×	`associate-/r/_binary64_1047` `sqr-pow_binary64_50` `distribute-rgt-in_binary64_28` `frac-add_binary64_768` `frac-times_binary64_429` `distribute-lft-in_binary64_27` `frac-2neg_binary64_771` `distribute-rgt-in_binary64_2415` `distribute-lft-in_binary64_2414` `clear-num_binary64_759` `cbrt-prod_binary64_1473` `pow1/2_binary64_1181` `tan-quot_binary64`
13×	`flip3--_binary64_423` `rem-sqrt-square_binary64_1455` `unswap-sqr_binary64_2092` `associate-/r/_binary64_1388` `distribute-lft-out--_binary64` `flip--_binary64_394` `frac-2neg_binary64_89` `-commutative_binary64_2055` `clear-num_binary64_77` `associate-l*_binary64_2406` `div-sub_binary64_2470`
12×	`cube-prod_binary64_447` `rem-sqrt-square_binary64_91` `frac-add_binary64_86` `sqrt-pow1_binary64_96` `log-prod_binary64_1528` `+-commutative_binary64_1372` `associate-/r*_binary64_2409` `clear-num_binary64_1441` `frac-2neg_binary64_1453`
11×	`rec-exp_binary64_128` `associate-/l/_binary64_1389` `1-exp_binary64_122` `flip--_binary64_2440` `*-commutative_binary64_1373` `flip3--_binary64_2469` `pow1/2_binary64_499` `difference-of-sqr-1_binary64_2094` `rem-sqrt-square_binary64_432`
10×	`clear-num_binary64_418` `flip3--_binary64` `cbrt-div_binary64_451` `unpow-prod-down_binary64_2203` `frac-2neg_binary64_430` `unpow2_binary64_143` `flip--_binary64` `cube-prod_binary64_106` `flip3-+_binary64_1104` `pow1/3_binary64_2206` `flip3-+_binary64_2468` `flip-+_binary64_1075` `pow1/2_binary64_158` `rem-exp-log_binary64_2505` `associate-/l/_binary64_2071` `flip--_binary64_735` `flip3--_binary64_764` `flip-+_binary64_2439`
9×	`*-commutative_binary64_2396` `cancel-sign-sub-inv_binary64_726` `div-inv_binary64_1780` `pow-unpow_binary64_1860` `unswap-sqr_binary64_2433` `log-prod_binary64_2551` `exp-diff_binary64_2513`
8×	`difference-of-squares_binary64_1070` `associate-/l/_binary64_707` `sub-neg_binary64_1094` `rem-log-exp_binary64` `associate-/l/_binary64_2412` `distribute-lft-out_binary64_370` `pow-pow_binary64_150` `log-pow_binary64` `clear-num_binary64_2123` `frac-times_binary64_770` `sqr-pow_binary64_1414` `difference-of-squares_binary64_47` `cube-prod_binary64_1470` `div-inv_binary64_2121` `frac-add_binary64_2473` `frac-2neg_binary64_2135`
7×	`sub-neg_binary64` `distribute-lft-out--_binary64_2076` `sum-log_binary64_1874` `associate-*l/_binary64`
6×	`frac-times_binary64_1452` `sum-log_binary64_851` `sqrt-pow1_binary64_1801` `sqr-pow_binary64_1755` `unpow2_binary64_1507` `pow-pow_binary64_491` `sub-neg_binary64_1435` `pow-pow_binary64_1173` `cancel-sign-sub-inv_binary64_2431` `exp-sum_binary64_2511` `pow-exp_binary64_828` `associate-/l/_binary64_25` `pow-unpow_binary64_1519` `pow1/2_binary64_1863` `associate-/r*_binary64_1727` `distribute-rgt-in_binary64_710` `associate-/l/_binary64_366` `pow-unpow_binary64_2542` `sinh-def_binary64_945` `sub-neg_binary64_2458` `+-commutative_binary64_690` `pow1/3_binary64_1183` `distribute-lft-in_binary64_709` `associate-+r+_binary64_10` `log-pow_binary64_1531` `swap-sqr_binary64_2091` `exp-sum_binary64_1488` `pow-to-exp_binary64_1511`
5×	`exp-prod_binary64_1494` `+-commutative_binary64_8` `associate-/l/_binary64` `pow1/3_binary64_501` `sqr-pow_binary64_2437` `diff-log_binary64` `div-exp_binary64_2516` `cube-mult_binary64_449` `associate-*r/_binary64` `pow-flip_binary64` `cbrt-undiv_binary64_2499` `inv-pow_binary64` `sqr-pow_binary64_732` `unpow3_binary64_485` `pow-flip_binary64_1175` `log-div_binary64` `div-sub_binary64_2129` `sum-log_binary64_169` `pow-pow_binary64_1514` `cos-diff_binary64_556`
4×	`frac-2neg_binary64_1794` `unpow3_binary64_2531` `distribute-lft-out_binary64_1734` `pow-plus_binary64_1846` `pow1/3_binary64` `pow-exp_binary64_2192` `cube-prod_binary64_788` `cube-div_binary64_1471` `frac-2neg_binary64_2476` `pow-plus_binary64_2528` `associate-*l/_binary64_1385` `pow-prod-up_binary64_2535` `tan-quot_binary64_578` `cube-div_binary64_448` `distribute-lft-out--_binary64_1053` `diff-log_binary64_1534` `cube-mult_binary64_2495` `sqr-pow_binary64_2096` `associate-+r+_binary64_1715` `cbrt-div_binary64` `clear-num_binary64_1782` `pow-to-exp_binary64_2193` `distribute-lft-out--_binary64_30` `diff-log_binary64_511` `difference-of-sqr-1_binary64_48` `clear-num_binary64_2464` `pow-prod-up_binary64_1853`
3×	`flip--_binary64_53` `pow-to-exp_binary64_829` `pow-exp_binary64_2533` `pow-pow_binary64_1855` `inv-pow_binary64_163` `cbrt-div_binary64_1133` `associate-/l/_binary64_1048` `distribute-lft-out--_binary64_1735` `sqrt-prod_binary64_2140` `acos-asin_binary64_2305` `unpow3_binary64_144` `pow-unpow_binary64_837` `cube-mult_binary64_108` `pow1/3_binary64_1865` `pow-flip_binary64_2198` `pow-to-exp_binary64_1852` `cube-div_binary64_2494` `unpow2_binary64_1848` `pow-exp_binary64_1851` `sub-neg_binary64_753` `1-exp_binary64_2168` `flip3--_binary64_82` `rem-sqrt-square_binary64_1796` `frac-times_binary64` `pow-flip_binary64_152` `rec-exp_binary64_2174` `asin-acos_binary64_599`
2×	`distribute-lft-out--_binary64_712` `log-div_binary64_2552` `pow-to-exp_binary64_2534` `rem-cube-cbrt_binary64_2488` `inv-pow_binary64_1186` `+-commutative_binary64_1713` `pow-sub_binary64_1177` `cbrt-div_binary64_1474` `pow-prod-up_binary64_2194` `sqrt-unprod_binary64_1803` `rem-log-exp_binary64_1483` `associate--l+_binary64_15` `flip-+_binary64_2098` `flip3-+_binary64_2127` `frac-sub_binary64` `difference-of-squares_binary64_729` `sum-log_binary64_510` `pow-sqr_binary64_1756` `pow1/3_binary64_2547` `+-commutative_binary64_2054` `unpow3_binary64_2190` `distribute-rgt-in_binary64` `cbrt-div_binary64_792` `pow-pow_binary64_2537` `pow2_binary64_2546` `sinh-undef_binary64_953` `cube-mult_binary64_1472` `unpow3_binary64_1508` `pow-sqr_binary64_2097` `sum-log_binary64_2215` `associate--r+_binary64_355` `log-div_binary64_1529` `distribute-lft-out_binary64_1052` `rem-cbrt-cube_binary64_2489` `pow-sqr_binary64_2438` `pow2_binary64_1864` `cbrt-div_binary64_2497` `distribute-lft-in_binary64` `div-sub_binary64_1106` `div-sub_binary64_424`
1×	`flip3-+_binary64` `associate-/l/_binary64_1730` `inv-pow_binary64_1527` `unpow2_binary64_825` `distribute-lft-out_binary64_2075` `rem-cube-cbrt_binary64_1465` `unpow3_binary64_826` `exp-to-pow_binary64_2527` `cancel-sign-sub-inv_binary64_2090` `un-div-inv_binary64_1440` `div-sub_binary64_1447` `log-pow_binary64_2554` `diff-log_binary64_170` `rem-exp-log_binary64_1482` `sqrt-unprod_binary64_1462` `associate-+l+_binary64_1716` `pow-flip_binary64_1516` `rem-cbrt-cube_binary64_443` `pow-plus_binary64_2187` `div-sub_binary64` `pow1/3_binary64_842` `cube-mult_binary64_790` `diff-log_binary64_2216` `diff-log_binary64_852` `distribute-rgt-out_binary64_2077` `pow1/3_binary64_1524` `exp-to-pow_binary64_1504` `sub-neg_binary64_2117` `sqrt-undiv_binary64_440` `associate-+l+_binary64_1375` `sqrt-pow2_binary64_1461` `sub-div_binary64` `unpow2_binary64_2530` `pow2_binary64_2205` `cancel-sign-sub-inv_binary64_44` `un-div-inv_binary64` `inv-pow_binary64_2209` `rem-log-exp_binary64_2506` `sub-neg_binary64_71` `distribute-lft1-in_binary64_2079` `pow-pow_binary64_832` `rem-cbrt-cube_binary64_1466` `associate-+r+_binary64_1374` `flip-+_binary64`

Calls

451 calls:

159.0ms	(pow.f64 (sin.f64 ky) 2)
102.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)))))
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)))))
48.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))))
47.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.5s (0.9%)

bsearch1.1s (0.4%)

Compiler: Compiled 126 to 99 computations (21.4% saved)

Details

sample1.8min (38%)

series55.3s (19.7%)

prune39.8s (14.2%)

analyze31.9s (11.3%)

regimes21.6s (7.7%)

simplify15.4s (5.5%)

rewrite6.7s (2.4%)

localize2.5s (0.9%)

bsearch1.1s (0.4%)

end1.0ms (0%)

Profiling