Date:	Saturday, February 13th, 2021
Commit:	c86199b5 on mpmf-cost-baseline2
Hostname:	warfa with Racket 7.9
Seed:	2021044
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

series2.2min (29%)

Calls

445 calls:

3.4s	(/.f64 (-.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 4) (.f64 (+.f64 (.f64 (.f64 b b) (-.f64 1 (.f64 3 a))) (.f64 (.f64 a a) (+.f64 1 a))) (.f64 (+.f64 (.f64 (.f64 b b) (-.f64 1 (.f64 3 a))) (.f64 (.f64 a a) (+.f64 1 a))) 16))) (-.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 2) (.f64 4 (+.f64 (.f64 (.f64 b b) (-.f64 1 (.f64 3 a))) (.f64 (.f64 a a) (+.f64 1 a))))))
2.6s	(log.f64 (exp.f64 (/.f64 1/2 (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))))
2.2s	(.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 (.f64 (/.f64 n (.f64 (cbrt.f64 Om) (cbrt.f64 Om))) (/.f64 l (cbrt.f64 Om))) (-.f64 U* U))))))
2.1s	(/.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (.f64 l l) (.f64 2 (.f64 t t)))) (.f64 l l))))
2.1s	(.f64 (.f64 2 n) (.f64 U (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 (/.f64 l Om) (.f64 n (-.f64 U U))))))))

Compiler

Compiled 298921 to 246813 computations (17.4% saved)

sample2.0min (25.5%)

Algorithm

62×

intervals

Results

15.8s	33658×	body	1024	valid
14.7s	182836×	body	128	valid
5.0s	16283×	body	512	valid
5.0s	11300×	body	2048	valid
4.3s	50391×	body	128	nan
4.0s	1233×	body	4096	invalid
2.7s	6222×	body	1024	nan
2.4s	24362×	body	128	invalid
2.4s	1230×	body	2048	invalid
2.3s	3004×	body	4096	valid
1.6s	4646×	body	1024	invalid
1.6s	7688×	body	256	valid
981.0ms	3231×	body	512	nan
758.0ms	1167×	body	8192	valid
693.0ms	2675×	body	512	invalid
334.0ms	2401×	body	128	overflowed
323.0ms	1641×	body	256	nan
283.0ms	1482×	body	256	invalid
156.0ms	8256×	pre	128	true
8.0ms	11×	body	8192	exit
1.0ms	2×	body	2048	nan

Compiler

Compiled 50821 to 38194 computations (24.8% saved)

regimes1.4min (17.6%)

Accuracy

Total 89.2b remaining (50.3%)

Threshold costs 3.9b (2.2%)

17.4b	3.9%	Maksimov and Kolovsky, Equation (3)
15.4b	26%	Toniolo and Linder, Equation (13)
11.7b	-13.6%	Given's Rotation SVD example
8.7b	67.7%	Toniolo and Linder, Equation (7)
7.3b	20.2%	Henrywood and Agarwal, Equation (13)

Compiler

Compiled 613103 to 521487 computations (14.9% saved)

prune43.8s (9.5%)

Compiler: Compiled 721407 to 398685 computations (44.7% saved)

analyze32.1s (7%)

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)

bsearch25.0s (5.4%)

Compiler: Compiled 11958 to 8464 computations (29.2% saved)

simplify18.0s (3.9%)

Algorithm

210×	egg-herbie

rewrite7.2s (1.6%)

Algorithm

117×	rewrite-expression-head

Rules

9215×	`times-frac_binary64_766`
3830×	`add-sqr-sqrt_binary64_782`
3725×	`*-un-lft-identity_binary64_760`
3692×	`add-cube-cbrt_binary64_795`
1831×	`add-exp-log_binary64_457`
1746×	`sqrt-prod_binary64_776`
1497×	`add-exp-log_binary64_1139`
1447×	`add-cbrt-cube_binary64_1137`
1232×	`times-frac_binary64`
1140×	`add-cbrt-cube_binary64_455`
1011×	`prod-exp_binary64_468`
932×	`add-sqr-sqrt_binary64`
904×	`prod-exp_binary64_1150`
901×	`cbrt-unprod_binary64_1134`
827×	`*-un-lft-identity_binary64`
820×	`add-exp-log_binary64_798`
781×	`times-frac_binary64_1448`
777×	`add-cube-cbrt_binary64`
755×	`*-un-lft-identity_binary64_1442`
645×	`add-sqr-sqrt_binary64_100`
636×	`unpow-prod-down_binary64_839`
627×	`add-sqr-sqrt_binary64_1464`
594×	`add-sqr-sqrt_binary64_441`
589×	`cbrt-unprod_binary64_452`
577×	`add-sqr-sqrt_binary64_1123`
575×	`times-frac_binary64_425`
553×	`*-un-lft-identity_binary64_78`
503×	`times-frac_binary64_1107`
492×	`add-cube-cbrt_binary64_1477`
482×	`sqrt-prod_binary64_94`
476×	`*-un-lft-identity_binary64_1101`
466×	`sqr-pow_binary64_732`
456×	`*-un-lft-identity_binary64_419`
447×	`div-exp_binary64_470` `add-exp-log_binary64_1480`
440×	`add-cube-cbrt_binary64_454`
439×	`times-frac_binary64_84`
407×	`div-exp_binary64_811`
399×	`add-cube-cbrt_binary64_1136`
379×	`add-exp-log_binary64`
373×	`add-cube-cbrt_binary64_113`
344×	`associate-/r*_binary64_704`
329×	`add-cbrt-cube_binary64_796`
293×	`times-frac_binary64_1789`
282×	`pow1_binary64_480`
281×	`associate-*l/_binary64_362`
268×	`div-exp_binary64_1152`
265×	`div-inv_binary64_757`
262×	`cbrt-undiv_binary64_1135`
261×	`cbrt-undiv_binary64_453`
259×	`add-cbrt-cube_binary64`
258×	`add-sqr-sqrt_binary64_1805`
254×	`associate-r_binary64_359`
251×	`add-exp-log_binary64_1821`
250×	`frac-times_binary64_429`
249×	`associate-l_binary64`
248×	`pow1_binary64_1162`
245×	`sqrt-prod_binary64_1458`
235×	`add-cbrt-cube_binary64_1478`
226×	`*-un-lft-identity_binary64_1783`
221×	`add-exp-log_binary64_116`
219×	`add-cube-cbrt_binary64_1818`
210×	`prod-exp_binary64_1491`
209×	`add-sqr-sqrt_binary64_2146`
207×	`sqrt-prod_binary64_435`
201×	`associate-l_binary64_701`
199×	`add-cbrt-cube_binary64_1819`
196×	`prod-exp_binary64_809`
184×	`add-cbrt-cube_binary64_114`
178×	`unpow-prod-down_binary64_157`
172×	`associate-l_binary64_360`
165×	`associate-*r/_binary64_361` `pow1_binary64_821`
163×	`pow1_binary64_1503`
151×	`unpow-prod-down_binary64_1180`
150×	`exp-prod_binary64_1494`
149×	`sqrt-prod_binary64_1117`
146×	`pow1_binary64`
143×	`add-sqr-sqrt_binary64_3169`
140×	`pow-prod-down_binary64_490` `difference-of-squares_binary64_47`
139×	`pow1_binary64_139`
132×	`*-un-lft-identity_binary64_2124`
131×	`cube-prod_binary64_1129`
126×	`associate-r_binary64_700`
125×	`associate-r_binary64_1041` `pow-prod-down_binary64_1172`
122×	`cancel-sign-sub-inv_binary64_1067` `div-exp_binary64`
121×	`associate-/r*_binary64`
120×	`associate-r_binary64_1382`
118×	`pow1_binary64_2185`
116×	`associate-r_binary64`
114×	`distribute-lft-out--_binary64_1394`
110×	`sqrt-div_binary64_95`
109×	`*-un-lft-identity_binary64_3147`
107×	`sqrt-div_binary64_1459`
106×	`times-frac_binary64_3153`
102×	`add-cube-cbrt_binary64_2159`
101×	`cbrt-prod_binary64_450` `add-exp-log_binary64_2162`
99×	`sqrt-prod_binary64_2140`
98×	`div-inv_binary64`
96×	`cbrt-unprod_binary64_793`
94×	`cbrt-unprod_binary64_1475` `add-cbrt-cube_binary64_2160`
93×	`associate-*r/_binary64_1384` `prod-exp_binary64_1832`
92×	`tan-quot_binary64_578` `pow1_binary64_1844`
90×	`pow-exp_binary64_828` `add-cube-cbrt_binary64_3182`
89×	`div-exp_binary64_1493`
85×	`associate-l_binary64_19` `pow-exp_binary64_487`
83×	`cbrt-undiv_binary64_794`
81×	`prod-exp_binary64` `associate-/l*_binary64` `pow1_binary64_2867`
77×	`associate-l_binary64_1383`
76×	`associate-r_binary64_1723`
75×	`frac-times_binary64_1452` `associate-/l*_binary64_705` `add-log-exp_binary64_117`
74×	`add-log-exp_binary64_1140` `unpow-prod-down_binary64_1862`
73×	`cbrt-unprod_binary64_1816`
71×	`add-log-exp_binary64`
70×	`add-log-exp_binary64_799`
69×	`associate-l_binary64_2065` `associate-/l*_binary64_364`
67×	`sqrt-pow1_binary64_96` `pow-to-exp_binary64_488` `add-exp-log_binary64_2844`
66×	`cancel-sign-sub-inv_binary64_3113`
65×	`add-cbrt-cube_binary64_2842`
64×	`associate-r_binary64_2064`
63×	`flip3-+_binary64_422` `unswap-sqr_binary64_387` `flip-+_binary64_393`
62×	`flip3--_binary64_1446` `cbrt-undiv_binary64` `pow-prod-down_binary64_1513` `flip--_binary64_1417` `associate-/l*_binary64_23` `sqrt-prod_binary64_3163`
61×	`flip-+_binary64_52` `times-frac_binary64_2130` `div-exp_binary64_1834` `flip3-+_binary64_81`
60×	`associate-/r*_binary64_363`
59×	`associate-/r/_binary64_365` `sqrt-prod_binary64`
58×	`add-log-exp_binary64_458`
57×	`associate-/r*_binary64_1386` `rec-exp_binary64_810` `1-exp_binary64_804`
56×	`difference-of-squares_binary64_1070`
55×	`cbrt-prod_binary64_1132`
54×	`prod-exp_binary64_127` `associate-/r*_binary64_22`
53×	`cbrt-unprod_binary64` `pow1_binary64_2526` `pow-prod-down_binary64_831` `add-exp-log_binary64_2503`
52×	`distribute-rgt-in_binary64_369` `add-cbrt-cube_binary64_2501` `associate-*l/_binary64_1385` `distribute-lft-in_binary64_368`
51×	`associate-l_binary64_1042` `unswap-sqr_binary64`
50×	`associate-r/_binary64_20` `associate-r/_binary64_2066` `associate-l_binary64_1724`
48×	`add-log-exp_binary64_1481` `cbrt-prod_binary64_109`
47×	`unpow-prod-down_binary64_498` `sqr-pow_binary64_50` `div-inv_binary64_1098`
46×	`div-exp_binary64_129` `unpow2_binary64_143` `distribute-lft-out_binary64_1393`
45×	`add-sqr-sqrt_binary64_2828` `div-inv_binary64_1439` `associate-/r_binary64_1727` `associate-/l_binary64_1046`
44×	`cbrt-unprod_binary64_111`
43×	`unswap-sqr_binary64_2092`
42×	`pow-prod-down_binary64_2195` `-un-lft-identity_binary64_2806` `associate-r/_binary64_2748` `pow1/2_binary64_158`
41×	`unswap-sqr_binary64_728` `prod-exp_binary64_2173`
40×	`associate-/r*_binary64_1045` `div-inv_binary64_416` `add-log-exp_binary64_2163` `associate-/r/_binary64_706` `distribute-lft-out_binary64_29`
39×	`cbrt-undiv_binary64_1817` `pow-exp_binary64_1510`
38×	`add-cube-cbrt_binary64_2841`
37×	`add-exp-log_binary64_3185` `cbrt-unprod_binary64_2157`
36×	`pow-prod-down_binary64_1854` `cancel-sign-sub-inv_binary64_385` `cbrt-undiv_binary64_112`
35×	`pow-prod-down_binary64_2877` `-commutative_binary64_350` `associate-/l_binary64_1728`
34×	`pow-unpow_binary64_837`
33×	`rem-sqrt-square_binary64_91` `add-cbrt-cube_binary64_3183` `associate-r_binary64_18`
32×	`associate-/r/_binary64` `pow-to-exp_binary64_829` `unpow-prod-down_binary64_2203`
31×	`associate-/r/_binary64_1729` `add-log-exp_binary64_2504` `distribute-lft-out_binary64_1052`
30×	`pow-prod-down_binary64` `cbrt-undiv_binary64_1476` `associate-*r/_binary64_1725` `pow1_binary64_3208`
29×	`unpow-prod-down_binary64` `prod-exp_binary64_2855` `cbrt-unprod_binary64_2839` `add-log-exp_binary64_2845` `swap-sqr_binary64_1409` `add-log-exp_binary64_1822`
28×	`exp-sum_binary64_3193` `log-prod_binary64_3233` `difference-of-squares_binary64_1411` `tan-quot_binary64`
27×	`associate-/r/_binary64_24` `associate-/r/_binary64_1388` `flip-+_binary64_2098` `flip3-+_binary64_2127` `cbrt-unprod_binary64_2498` `pow-prod-down_binary64_2536` `prod-exp_binary64_2514`
26×	`sqr-pow_binary64_1755` `sqrt-div_binary64_1118` `add-log-exp_binary64_3186` `*-commutative_binary64` `pow-pow_binary64_1514` `frac-times_binary64_88`
25×	`cancel-sign-sub-inv_binary64_726` `clear-num_binary64` `cancel-sign-sub-inv_binary64` `frac-2neg_binary64` `log-pow_binary64_167`
24×	`associate-r_binary64_2746` `rec-exp_binary64` `1-exp_binary64` `exp-prod_binary64_130` `associate-r_binary64_3087` `frac-add_binary64_2132` `div-inv_binary64_75`
23×	`unswap-sqr_binary64_46` `*-commutative_binary64_691` `unswap-sqr_binary64_1410`
22×	`*-un-lft-identity_binary64_2465` `rem-sqrt-square_binary64_1455` `frac-add_binary64_86` `sqrt-div_binary64_3164` `add-sqr-sqrt_binary64_2487` `cube-prod_binary64_2152` `cbrt-prod_binary64_1473`
21×	`associate-/l_binary64_1387` `associate-l/_binary64_1726` `pow-unpow_binary64_155` `difference-of-sqr--1_binary64_2095` `unswap-sqr_binary64_1751` `sqr-pow_binary64_1073`
20×	`flip3--_binary64_1787` `div-inv_binary64_1780` `frac-add_binary64_2814` `flip--_binary64_1758`
19×	`swap-sqr_binary64_45` `*-commutative_binary64_1373` `unswap-sqr_binary64_1069` `sqrt-pow1_binary64_437`
18×	`1-exp_binary64_463` `flip-+_binary64_2780` `difference-of-squares_binary64_729` `associate-r/_binary64_1043` `difference-of-squares_binary64_3116` `sqrt-pow1_binary64_1460` `associate-r/_binary64_702` `pow1/2_binary64_1522` `flip3-+_binary64_2809` `add-cube-cbrt_binary64_2500`
17×	`*-commutative_binary64_1032` `pow-exp_binary64_146` `distribute-rgt-in_binary64_2074` `distribute-lft-in_binary64_2073`
16×	`cube-prod_binary64_447` `difference-of-squares_binary64` `flip-+_binary64_3121` `log-pow_binary64` `flip3-+_binary64_3150` `*-commutative_binary64_1714`
15×	`clear-num_binary64_418` `frac-2neg_binary64_430` `sqr-pow_binary64_391`
14×	`sqrt-div_binary64_436` `associate-*l/_binary64_21` `distribute-lft-in_binary64_2755` `associate-/r/_binary64_3093` `clear-num_binary64_1100` `frac-2neg_binary64_1112` `frac-2neg_binary64_771` `sqr-pow_binary64_2096` `pow-prod-down_binary64_149` `clear-num_binary64_759` `distribute-lft-out--_binary64_30` `distribute-rgt-in_binary64_2756`
13×	`frac-2neg_binary64_89` `-commutative_binary64_2055` `clear-num_binary64_77` `flip3-+_binary64_1104` `associate-/r_binary64_2068` `flip-+_binary64_1075` `sqr-pow_binary64` `flip--_binary64_735` `flip3--_binary64_764`
12×	`sub-neg_binary64_412` `pow1/2_binary64_2204` `pow-to-exp_binary64` `flip3--_binary64_2810` `cancel-sign-sub-inv_binary64_2090` `distribute-lft-out--_binary64` `sqrt-pow1_binary64_2142` `associate-/r*_binary64_3091` `pow-exp_binary64` `pow-unpow_binary64` `sqrt-div_binary64_1800` `difference-of-squares_binary64_2093` `flip--_binary64_2781` `pow1/3_binary64_1183` `pow-unpow_binary64_1178` `sqrt-div_binary64_777`
11×	`associate-/l/_binary64_1730` `pow-to-exp_binary64_147` `cancel-sign-sub-inv_binary64_2772` `sum-log_binary64_2556` `distribute-lft-out--_binary64_1053` `pow-exp_binary64_1169` `sub-neg_binary64_2799` `sqrt-pow1_binary64_778`
10×	`distribute-lft-out--_binary64_712` `associate-l/_binary64_703` `unpow2_binary64_825` `distribute-lft-out_binary64_2075` `flip3--_binary64_423` `cancel-sign-sub-inv_binary64_1408` `sub-neg_binary64_1435` `pow-prod-up_binary64_2194` `distribute-rgt-in_binary64_1392` `flip--_binary64_394` `cube-mult_binary64_1131` `distribute-lft-in_binary64_1391` `unpow3_binary64_1167` `associate-r_binary64_2405` `associate-l/_binary64`
9×	`flip3--_binary64_2128` `frac-2neg_binary64_1794` `pow-prod-up_binary64_148` `flip3-+_binary64_1786` `flip-+_binary64_1757` `unpow2_binary64_484` `associate-l_binary64_2406` `associate-/l/_binary64_366` `pow-flip_binary64_834` `flip--_binary64_2099` `sqrt-pow1_binary64_3165` `unpow-prod-down_binary64_2885` `clear-num_binary64_1782` `rem-sqrt-square_binary64_1114` `times-frac_binary64_2812` `cbrt-prod_binary64_2837` `sqrt-pow1_binary64_1119` `pow-to-exp_binary64_1511`
8×	`exp-sum_binary64_806` `associate-l_binary64_2747` `*-commutative_binary64_2737` `cos-sum_binary64_894` `div-sub_binary64_1447` `distribute-rgt-in_binary64_28` `cube-prod_binary64_788` `pow-pow_binary64_150` `distribute-lft-in_binary64_27` `sum-log_binary64_2215` `sub-neg_binary64_753` `swap-sqr_binary64_2091` `unswap-sqr_binary64_2774`
7×	`*-commutative_binary64_9` `cbrt-div_binary64_110` `pow1/2_binary64_3227` `distribute-lft-out_binary64` `pow1/2_binary64_840` `flip-+_binary64_1416` `flip3-+_binary64_1445` `flip3-+_binary64_763` `clear-num_binary64_1441` `flip-+_binary64_734` `cosh-undef_binary64` `div-inv_binary64_3144` `pow-flip_binary64` `frac-2neg_binary64_1453` `exp-diff_binary64_1490` `sqrt-prod_binary64_1799` `inv-pow_binary64` `sum-log_binary64_2897` `sinh-undef_binary64` `div-exp_binary64_3198` `pow1/3_binary64_160` `pow1/2_binary64_1181` `pow-pow_binary64_832`
6×	`exp-prod_binary64_3199` `cbrt-undiv_binary64_3181` `div-sub_binary64_1788` `log-prod_binary64` `cbrt-prod_binary64_1814` `cbrt-div_binary64_1133` `associate-/l_binary64_2069` `pow-unpow_binary64_496` `distribute-lft-out_binary64_370` `associate-+r+_binary64_2056` `pow-unpow_binary64_2883` `associate-/r/_binary64_2070` `rem-sqrt-square_binary64_2137` `prod-exp_binary64_3196` `associate-l/_binary64_1044` `pow-to-exp_binary64_1852` `pow-exp_binary64_1851` `cube-prod_binary64_1470` `pow1/2_binary64_499` `unpow-prod-down_binary64_1521` `log-prod_binary64_846` `flip3--_binary64_1105` `flip--_binary64_1076`
5×	`associate-/l/_binary64` `distribute-lft-out_binary64_711` `frac-times_binary64_1793` `flip--_binary64_53` `flip3--_binary64` `unswap-sqr_binary64_3115` `-commutative_binary64_2396` `pow-sqr_binary64_51` `cube-mult_binary64_449` `rem-exp-log_binary64_1482` `associate-r/_binary64` `distribute-rgt-in_binary64_710` `flip--_binary64` `pow-plus_binary64_2187` `flip3-+_binary64_2468` `frac-times_binary64_1111` `distribute-lft-in_binary64_709` `unpow3_binary64_485` `pow-sqr_binary64_2097` `pow-to-exp_binary64_1170` `associate-/l_binary64_3092` `pow-prod-up_binary64_1512` `flip3--_binary64_82` `associate-r/_binary64_3089` `sqrt-div_binary64` `sum-log_binary64_169` `flip-+_binary64_2439`
4×	`cbrt-div_binary64_2838` `sqr-abs_binary64_93` `sub-neg_binary64` `diff-log_binary64` `associate-/l/_binary64_707` `exp-prod_binary64_812` `cbrt-unprod_binary64_3180` `+-commutative_binary64_2395` `pow-pow_binary64_1173` `rem-cube-cbrt_binary64_1124` `sub-neg_binary64_1094` `1-exp_binary64_1827` `rec-exp_binary64_1833` `associate-/l/_binary64_25` `associate-+r+_binary64_2738` `acos-asin_binary64_2305` `pow-prod-up_binary64_2876` `rem-sqrt-square_binary64_773` `exp-diff_binary64_3195` `unswap-sqr_binary64_2433` `pow-div_binary64_835` `rem-sqrt-square_binary64_3160` `diff-log_binary64_1193` `log-div_binary64_847` `sub-neg_binary64_2117` `pow-pow_binary64` `difference-of-sqr-1_binary64_2094` `associate-/l/_binary64_2071` `pow-plus_binary64_2869` `log-div_binary64_3234`
3×	`+-commutative_binary64_8` `+-commutative_binary64_1031` `cbrt-undiv_binary64_2158` `distribute-rgt-in_binary64_1733` `sum-log_binary64_851` `distribute-lft-out--_binary64_3099` `log-prod_binary64_164` `pow1/3_binary64_2888` `clear-num_binary64_3146` `distribute-lft-in_binary64_1732` `distribute-lft-out_binary64_1734` `cancel-sign-sub-inv_binary64_2431` `exp-diff_binary64_808` `associate-/r_binary64_2750` `associate-l_binary64_3088` `pow-exp_binary64_2192` `pow-unpow_binary64_1519` `pow-prod-down_binary64_3218` `sum-log_binary64_1192` `pow-pow_binary64_2878` `frac-sub_binary64` `inv-pow_binary64_845` `associate-/l/_binary64_1048` `sub-neg_binary64_3140` `pow-unpow_binary64_2542` `+-commutative_binary64_690` `+-commutative_binary64_2054` `flip--_binary64_3122` `distribute-rgt-in_binary64` `diff-log_binary64_852` `pow-unpow_binary64_2201` `pow-to-exp_binary64_2193` `unpow-prod-down_binary64_2544` `flip3--_binary64_3151` `frac-2neg_binary64_3158` `associate-+l+_binary64_2057` `associate-/l_binary64_2751` `log-pow_binary64_3236` `div-inv_binary64_2121` `pow2_binary64_2205` `diff-log_binary64_3239` `distribute-rgt-out--_binary64` `div-exp_binary64_2175` `pow-sqr_binary64_1415` `distribute-lft-in_binary64`
2×	`flip3-+_binary64` `pow-exp_binary64_2874` `sqr-abs_binary64_1457` `associate-/r/_binary64_1047` `sqrt-pow1_binary64_1801` `unpow3_binary64_826` `associate-/l/_binary64_1389` `pow-pow_binary64_491` `difference-of-squares_binary64_388` `div-sub_binary64_765` `distribute-lft-out--_binary64_2076` `associate--l+_binary64_15` `cube-div_binary64_1471` `cube-mult_binary64_2154` `pow1/2_binary64_1863` `associate-/l/_binary64_2753` `log-pow_binary64_849` `pow-sqr_binary64_2779` `clear-num_binary64_2123` `pow-to-exp_binary64_2875` `div-sub_binary64` `distribute-rgt-in_binary64_2415` `sqr-pow_binary64_1414` `cube-div_binary64_1130` `cube-mult_binary64_790` `unpow3_binary64_2190` `distribute-lft-out--_binary64_371` `+-commutative_binary64_3077` `distribute-lft-in_binary64_2414` `sqr-pow_binary64_2778` `distribute-lft-out_binary64_2757` `pow1/3_binary64_1865` `cos-diff_binary64_897` `frac-add_binary64_1109` `sinh-undef_binary64_953` `cube-mult_binary64_1472` `unpow3_binary64_1508` `pow2_binary64_2887` `log-div_binary64` `frac-times_binary64_2134` `associate--l+_binary64_2402` `div-sub_binary64_2129` `associate-/r/_binary64_2752` `sub-div_binary64` `distribute-lft-out_binary64_2416` `rem-sqrt-square_binary64_1796` `asin-acos_binary64_258` `frac-times_binary64` `pow-flip_binary64_152` `+-commutative_binary64_2736` `pow-sub_binary64_836` `frac-2neg_binary64_2135` `sum-log_binary64_3238` `rem-sqrt-square_binary64_432` `flip-+_binary64` `associate-*r/_binary64_2407`
1×	`sqrt-unprod_binary64_2144` `pow-to-exp_binary64_2534` `rem-square-sqrt_binary64_90` `distribute-lft-out_binary64_3098` `rem-cube-cbrt_binary64_1465` `pow-exp_binary64_2533` `rem-exp-log_binary64_3187` `sqr-pow_binary64_2437` `diff-log_binary64_2557` `inv-pow_binary64_163` `cbrt-div_binary64_1474` `div-inv_binary64_2803` `pow-pow_binary64_2196` `diff-log_binary64_170` `pow-plus_binary64_141` `unpow2_binary64_1166` `associate-+l+_binary64_2398` `rem-exp-log_binary64_800` `1-exp_binary64_3191` `associate-+l+_binary64_2739` `rem-square-sqrt_binary64_1454` `flip--_binary64_2440` `cbrt-undiv_binary64_2840` `rec-exp_binary64_3197` `sqrt-unprod_binary64_1462` `flip3--_binary64_2469` `pow2_binary64_159` `associate-l/_binary64_2067` `sub-neg_binary64_2458` `rem-log-exp_binary64_119` `frac-times_binary64_770` `-commutative_binary64_3078` `pow2_binary64_1523` `sqrt-undiv_binary64_99` `pow1/3_binary64_1524` `pow-pow_binary64_2537` `div-exp_binary64_2857` `rem-log-exp_binary64_801` `associate-+r+_binary64_2397` `rem-square-sqrt_binary64_2136` `unpow2_binary64_2871` `unpow2_binary64_2189` `clear-num_binary64_2805` `associate-+r+_binary64_10` `sqr-abs_binary64_2139` `div-sub_binary64_83` `sqrt-unprod_binary64_98` `un-div-inv_binary64_3145` `pow-plus_binary64_1505` `unpow2_binary64_2530` `cancel-sign-sub-inv_binary64_44` `sub-neg_binary64_71` `diff-log_binary64_2898` `frac-2neg_binary64_2817` `div-sub_binary64_1106` `rem-cbrt-cube_binary64_1466` `div-sub_binary64_2811`

Calls

890 calls:

220.0ms	(/.f64 (-.f64 1/8 (pow.f64 (/.f64 1/2 (hypot.f64 1 x)) 3)) (+.f64 1/4 (/.f64 (+.f64 1/4 (/.f64 1/4 (hypot.f64 1 x))) (hypot.f64 1 x))))
73.0ms	(/.f64 (/.f64 1 (sqrt.f64 k)) (/.f64 1 (/.f64 (sqrt.f64 (.f64 (.f64 2 PI.f64) n)) (pow.f64 (.f64 (.f64 2 PI.f64) n) (/.f64 k 2)))))
67.0ms	(*.f64 (pow.f64 (/.f64 M (/.f64 2 (/.f64 D d))) 2) (/.f64 h l))
52.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))))
49.0ms	(sqrt.f64 (*.f64 (/.f64 4 Om) (+.f64 (/.f64 (pow.f64 (sin.f64 ky) 2) Om) (/.f64 (pow.f64 (sin.f64 kx) 2) Om))))

Details

series2.2min (29%)

sample2.0min (25.5%)

regimes1.4min (17.6%)

prune43.8s (9.5%)

analyze32.1s (7%)

bsearch25.0s (5.4%)

simplify18.0s (3.9%)

rewrite7.2s (1.6%)

localize2.0s (0.4%)

end2.0ms (0%)

Profiling