Date:	Tuesday, October 6th, 2020
Commit:	66e1bad7 on simplicity-baseline
Hostname:	warfa with Racket 7.8
Seed:	2020280
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

series1.7min (35.1%)

Calls

421 calls:

4.3s	(sqrt.f64 (.f64 (.f64 2 n) (.f64 (.f64 (cbrt.f64 (.f64 U (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 n (.f64 (/.f64 l Om) (-.f64 U U)))))))) (cbrt.f64 (.f64 U (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 n (.f64 (/.f64 l Om) (-.f64 U U))))))))) (cbrt.f64 (.f64 U (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 n (.f64 (/.f64 l Om) (-.f64 U U)))))))))))
3.9s	(sqrt.f64 (.f64 (.f64 2 n) (.f64 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 (.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.5s	(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))))))))
2.5s	(.f64 (.f64 (fabs.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h))) (sqrt.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h)))) (.f64 (.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)))))

sample1.6min (32.7%)

Algorithm

62×

intervals

Results

18.8s	34054×	body	1024	valid
16.0s	182501×	body	128	valid
6.6s	11242×	body	2048	valid
5.5s	16018×	body	512	valid
5.1s	1364×	body	4096	invalid
4.7s	50070×	body	128	nan
2.9s	6163×	body	1024	nan
2.8s	3029×	body	4096	valid
2.8s	24488×	body	128	invalid
2.4s	1193×	body	2048	invalid
1.8s	4534×	body	1024	invalid
1.8s	7864×	body	256	valid
1.1s	3375×	body	512	nan
804.0ms	1228×	body	8192	valid
728.0ms	2627×	body	512	invalid
348.0ms	2401×	body	128	overflowed
348.0ms	1622×	body	256	nan
267.0ms	1345×	body	256	invalid
155.0ms	8256×	pre	128	true
9.0ms	14×	body	8192	exit
3.0ms	4×	body	2048	nan

Compiler

Compiled 12378 to 9421 computations (23.9% saved)

analyze33.7s (11.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)

prune28.4s (9.9%)

Compiler: Compiled 544634 to 302289 computations (44.5% saved)

simplify16.5s (5.7%)

Algorithm

175×	egg-herbie

rewrite6.2s (2.1%)

Algorithm

113×	rewrite-expression-head

Rules

2531×	`times-frac_binary64_420`
1631×	`add-exp-log_binary64_1123`
1603×	`add-exp-log_binary64_449`
1500×	`add-sqr-sqrt_binary64_435`
1296×	`*-un-lft-identity_binary64_414`
1284×	`add-cube-cbrt_binary64_446`
1179×	`times-frac_binary64`
1046×	`add-cbrt-cube_binary64_447` `cbrt-prod_binary64_442`
935×	`add-sqr-sqrt_binary64`
888×	`prod-exp_binary64_1134`
839×	`prod-exp_binary64_460`
816×	`add-cbrt-cube_binary64_1121`
813×	`*-un-lft-identity_binary64`
760×	`add-cube-cbrt_binary64`
674×	`*-un-lft-identity_binary64_2099`
631×	`sqrt-prod_binary64_429`
629×	`times-frac_binary64_2105`
610×	`associate-r_binary64_356`
606×	`unpow-prod-down_binary64_490`
544×	`add-sqr-sqrt_binary64_98`
533×	`add-sqr-sqrt_binary64_2120`
527×	`add-exp-log_binary64_1460`
522×	`add-sqr-sqrt_binary64_1109`
517×	`*-un-lft-identity_binary64_77`
514×	`cbrt-unprod_binary64_444`
456×	`sqrt-prod_binary64_92`
450×	`*-un-lft-identity_binary64_1088`
445×	`add-cbrt-cube_binary64_1458`
414×	`add-cube-cbrt_binary64_2131` `times-frac_binary64_83`
413×	`div-exp_binary64_1136`
406×	`div-exp_binary64_462`
401×	`times-frac_binary64_757`
400×	`cbrt-unprod_binary64_1118`
398×	`sqrt-prod_binary64_2114`
392×	`add-exp-log_binary64_786`
381×	`add-sqr-sqrt_binary64_772`
379×	`*-un-lft-identity_binary64_751`
335×	`pow1_binary64_472`
329×	`add-cube-cbrt_binary64_783`
319×	`times-frac_binary64_1094`
315×	`add-cube-cbrt_binary64_109`
286×	`add-cube-cbrt_binary64_1120`
273×	`add-exp-log_binary64`
272×	`prod-exp_binary64_1471`
261×	`add-exp-log_binary64_1797`
251×	`associate-*r/_binary64_358`
247×	`cbrt-undiv_binary64_445`
237×	`sqrt-prod_binary64_766` `add-cbrt-cube_binary64_1795`
224×	`cbrt-unprod_binary64_1455` `add-exp-log_binary64_112`
202×	`pow1_binary64_809`
200×	`add-cbrt-cube_binary64_784` `associate-*l/_binary64_359`
190×	`cbrt-undiv_binary64_1119`
187×	`add-cbrt-cube_binary64_110`
182×	`pow-prod-down_binary64_482` `pow1_binary64_1146` `add-exp-log_binary64_2134`
180×	`add-cbrt-cube_binary64`
179×	`frac-times_binary64_424`
169×	`sqrt-prod_binary64_1103`
165×	`add-sqr-sqrt_binary64_1783`
158×	`associate-r_binary64_1030` `add-sqr-sqrt_binary64_1446`
153×	`times-frac_binary64_1768`
151×	`prod-exp_binary64_797`
148×	`associate-l_binary64_357`
147×	`distribute-lft-out--_binary64_2053`
145×	`associate-/r_binary64` `unpow-prod-down_binary64_153` `-un-lft-identity_binary64_1762`
144×	`associate-l_binary64`
141×	`add-cube-cbrt_binary64_1794`
140×	`pow1_binary64_1820`
130×	`difference-of-squares_binary64_46`
122×	`add-cbrt-cube_binary64_2132`
121×	`associate-/r*_binary64_360`
120×	`cbrt-div_binary64_443`
119×	`*-un-lft-identity_binary64_1425`
110×	`associate-r_binary64` `pow1_binary64_1483` `cbrt-prod_binary64` `pow1_binary64_135`
109×	`pow1_binary64`
108×	`cbrt-unprod_binary64_1792` `prod-exp_binary64_1808`
107×	`pow1_binary64_2157`
105×	`div-exp_binary64_1473`
103×	`flip3-+_binary64_417` `flip-+_binary64_388`
99×	`add-cube-cbrt_binary64_1457` `associate-/l*_binary64_361`
96×	`cbrt-prod_binary64_2127`
92×	`div-inv_binary64_411`
90×	`add-sqr-sqrt_binary64_2457`
89×	`associate-l_binary64_20`
87×	`distribute-lft-out_binary64_1041`
86×	`add-log-exp_binary64_1124` `cbrt-prod_binary64_779`
83×	`cbrt-undiv_binary64_1456` `div-exp_binary64_799`
82×	`associate-l_binary64_1368`
80×	`unswap-sqr_binary64_382` `*-un-lft-identity_binary64_2436` `sqr-pow_binary64_386`
79×	`pow-exp_binary64_1153`
73×	`pow-prod-down_binary64_819` `pow-exp_binary64_479`
72×	`add-cube-cbrt_binary64_2468` `unpow2_binary64_476` `div-exp_binary64`
71×	`unpow-prod-down_binary64`
70×	`sqrt-div_binary64_93` `div-inv_binary64`
69×	`associate-*r/_binary64_1032`
68×	`add-log-exp_binary64_450` `prod-exp_binary64_123` `add-log-exp_binary64_113`
67×	`add-log-exp_binary64` `cbrt-unprod_binary64_781`
65×	`add-log-exp_binary64_787` `sqrt-div_binary64_1104` `associate-l_binary64_1705`
64×	`pow-to-exp_binary64_480` `times-frac_binary64_1431` `times-frac_binary64_2442`
63×	`associate-/l_binary64_2046` `associate-r*_binary64_693`
62×	`sqrt-div_binary64_430` `pow-prod-down_binary64_1830`
61×	`unswap-sqr_binary64` `pow-exp_binary64_816`
60×	`flip-+_binary64_51` `unpow-prod-down_binary64_827` `tan-quot_binary64_570` `flip3-+_binary64_80` `pow-unpow_binary64_825`
59×	`associate-/r_binary64_697` `associate-l*_binary64_1031`
58×	`associate-r_binary64_1367`
57×	`sqrt-prod_binary64_1440`
56×	`pow-prod-down_binary64_1156`
54×	`associate-r_binary64_2041` `sqrt-prod_binary64_2451` `distribute-lft-out_binary64_30`
53×	`prod-exp_binary64` `cbrt-unprod_binary64_107`
52×	`exp-sum_binary64_1131` `log-prod_binary64_1171` `prod-exp_binary64_2145`
51×	`associate-/r*_binary64_23` `add-log-exp_binary64_1798`
50×	`associate-/l*_binary64` `exp-prod_binary64_2148`
48×	`div-exp_binary64_2147` `associate-r_binary64_19` `difference-of-squares_binary64_1057`
47×	`frac-times_binary64_1098`
46×	`sqrt-prod_binary64_1777`
45×	`sqr-pow_binary64_723` `div-exp_binary64_125` `cbrt-undiv_binary64_1793` `div-exp_binary64_1810` `associate-*r/_binary64_21`
44×	`pow-prod-down_binary64_1493` `associate-/r*_binary64_2045`
42×	`unpow-prod-down_binary64_2175`
41×	`add-exp-log_binary64_2471` `associate-/l*_binary64_698`
40×	`sqrt-div_binary64_2115` `unswap-sqr_binary64_2067` `associate-/l_binary64_1709` `associate-r/_binary64_2043`
39×	`1-exp_binary64_1129` `log-prod_binary64` `rec-exp_binary64_1135` `associate-r_binary64_1704`
38×	`cbrt-div_binary64_106` `cbrt-undiv_binary64`
37×	`unpow-prod-down_binary64_1164` `add-log-exp_binary64_2135` `cbrt-undiv_binary64_108`
36×	`associate-/r/_binary64_25`
35×	`associate-l_binary64_694` `associate-*l/_binary64_1033` `add-cbrt-cube_binary64_2469` `sqr-pow_binary64_49` `unpow2_binary64_139` `sqrt-div_binary64_767` `sqr-pow_binary64`
34×	`sqrt-pow1_binary64_94` `add-log-exp_binary64_1461` `associate-l_binary64_2042` `associate-*r/_binary64_1369` `sqrt-div_binary64_1441`
33×	`associate-*r/_binary64_1706` `associate-/r/_binary64_1710` `div-inv_binary64_1085`
32×	`pow-prod-down_binary64_2167` `cbrt-unprod_binary64_2129` `cbrt-prod_binary64_1116`
31×	`*-commutative_binary64_347`
30×	`cbrt-prod_binary64_105` `flip3--_binary64_1092` `pow-unpow_binary64` `pow1_binary64_2494` `flip3-+_binary64_2102` `flip-+_binary64_2073` `flip--_binary64_1063`
29×	`associate-/r/_binary64` `associate-/r/_binary64_2047` `cbrt-unprod_binary64`
28×	`difference-of-squares_binary64_2068` `rem-sqrt-square_binary64_90` `associate-/l*_binary64_24` `div-inv_binary64_2096` `sqrt-div_binary64_1778`
27×	`associate-/l*_binary64_1035`
26×	`unswap-sqr_binary64_1056` `sqrt-pow1_binary64_431` `div-inv_binary64_748` `distribute-lft-out--_binary64_1042`
25×	`associate-/r/_binary64_362` `distribute-lft-out_binary64_2052` `associate-/r*_binary64_1708` `sqrt-pow1_binary64_768`
24×	`difference-of-squares_binary64` `associate-/r_binary64_1034` `associate-r*_binary64_2378`
22×	`flip3--_binary64_1766` `pow-to-exp_binary64` `sqr-pow_binary64_2071` `pow-exp_binary64` `flip--_binary64_1737` `add-log-exp_binary64_2472`
21×	`cbrt-undiv_binary64_2130` `swap-sqr_binary64_1055` `pow-unpow_binary64_151` `flip-+_binary64_1736` `flip3-+_binary64_1765`
20×	`cbrt-undiv_binary64_782` `pow-to-exp_binary64_817` `cube-prod_binary64_439` `sub-neg_binary64_1081` `sqrt-div_binary64_2452` `unpow-prod-down_binary64_1501` `frac-times_binary64_87` `pow1/2_binary64_154` `div-inv_binary64_74` `*-commutative_binary64`
19×	`pow-to-exp_binary64_1491` `pow-exp_binary64_1490` `flip3--_binary64_1429` `unswap-sqr_binary64_1393` `flip--_binary64_1400` `pow-to-exp_binary64_1154` `sqrt-pow1_binary64_1105` `pow1/2_binary64_1165`
18×	`rem-sqrt-square_binary64_1101` `difference-of-squares_binary64_1394` `-commutative_binary64_684` `-commutative_binary64_1021` `associate-/r_binary64_2382` `log-prod_binary64_1508` `-commutative_binary64_1695` `unpow2_binary64_2161`
17×	`associate-/l/_binary64_1711` `swap-sqr_binary64` `clear-num_binary64` `unswap-sqr_binary64_1730` `pow1/3_binary64_830` `frac-times_binary64_1772` `frac-2neg_binary64` `tan-quot_binary64`
16×	`distribute-lft-out_binary64` `distribute-lft-in_binary64_365` `distribute-rgt-in_binary64_366` `rem-sqrt-square_binary64_764` `pow1/2_binary64_828` `associate-*r/_binary64_695`
15×	`clear-num_binary64_413` `flip-+_binary64_2410` `flip3-+_binary64_2439` `flip-+_binary64_725` `flip3-+_binary64_754` `frac-2neg_binary64_425` `*-commutative_binary64_1358`
14×	`distribute-lft-out_binary64_704` `div-inv_binary64_1759` `flip-+_binary64_1062` `cbrt-div_binary64_1791` `flip3-+_binary64_1091` `difference-of-squares_binary64_720`
13×	`pow-prod-down_binary64` `unswap-sqr_binary64_45` `distribute-lft-out--_binary64_31` `pow1/3_binary64_156`
12×	`frac-2neg_binary64_1099` `pow-unpow_binary64_1499` `clear-num_binary64_1087` `cbrt-prod_binary64_1453` `frac-add_binary64_85` `pow-unpow_binary64_1162` `*-commutative_binary64_2032` `cbrt-div_binary64_780` `pow-prod-down_binary64_145` `associate-/l/_binary64_2048` `frac-times_binary64_1435` `pow-flip_binary64_148`
11×	`pow-exp_binary64_142` `clear-num_binary64_750` `associate-/r*_binary64_1371` `frac-2neg_binary64_762` `div-inv_binary64_1422` `swap-sqr_binary64_2066`
10×	`sqr-pow_binary64_1060` `rec-exp_binary64` `1-exp_binary64` `pow-exp_binary64_2164` `associate-/r/_binary64_2384` `distribute-rgt-in_binary64_29` `pow-pow_binary64_820` `pow-to-exp_binary64_2165` `frac-2neg_binary64_2110` `associate-l/_binary64_22` `flip--_binary64_2074` `flip3--_binary64_2103` `distribute-lft-in_binary64_28` `clear-num_binary64_2098` `pow-pow_binary64` `cube-prod_binary64_776` `associate-l/_binary64`
9×	`log-prod_binary64_1845` `flip3-+_binary64_1428` `exp-sum_binary64_1468` `distribute-lft-out--_binary64` `pow1/3_binary64` `frac-2neg_binary64_88` `pow1/3_binary64_2178` `cbrt-prod_binary64_1790` `associate-/l/_binary64_363` `div-exp_binary64_2484` `rem-sqrt-square_binary64_2112` `flip-+_binary64_1399` `clear-num_binary64_76` `cube-prod_binary64` `sqrt-pow1_binary64_2453` `associate-*l/_binary64_1707`
8×	`pow-to-exp_binary64_143` `distribute-lft-out--_binary64_705` `associate-/l_binary64_2383` `div-sub_binary64_756` `distribute-rgt-in_binary64_1040` `unpow2_binary64` `distribute-rgt-in_binary64_2051` `exp-prod_binary64_1137` `sum-log_binary64_1850` `sub-neg_binary64_407` `distribute-rgt-in_binary64_1714` `sub-neg_binary64_1755` `distribute-lft-in_binary64_1713` `unpow2_binary64_1150` `associate-/r/_binary64_1373` `pow1/2_binary64_2513` `frac-add_binary64_2107` `distribute-lft-in_binary64_1039` `distribute-lft-in_binary64_2050` `associate-l/_binary64_1370` `pow-sub_binary64_824`
7×	`cbrt-undiv_binary64_2467` `pow1/2_binary64_2176` `associate-/l/_binary64` `unswap-sqr_binary64_719` `distribute-lft-out--_binary64_1379` `flip3--_binary64` `*-commutative_binary64_10` `pow-pow_binary64_146` `flip--_binary64` `diff-log_binary64_1177` `cbrt-div_binary64` `sqrt-pow1_binary64_2116`
6×	`pow-pow_binary64_1494` `flip3--_binary64_418` `prod-exp_binary64_2482` `1-exp_binary64_792` `rec-exp_binary64_798` `distribute-rgt-in_binary64_1377` `rem-sqrt-square_binary64_2449` `clear-num_binary64_1761` `associate-/l*_binary64_1372` `cube-mult_binary64_441` `sqr-pow_binary64_1397` `associate-/r/_binary64_699` `acos-asin_binary64_1940` `frac-2neg_binary64_1436` `swap-sqr_binary64_718` `cube-prod_binary64_1113` `frac-2neg_binary64_1773` `distribute-lft-in_binary64_1376` `unpow3_binary64_477` `pow-prod-up_binary64_2166` `pow-prod-up_binary64_1155` `log-div_binary64_1172` `frac-add_binary64_1433` `exp-diff_binary64_1133` `pow1/2_binary64_491` `flip--_binary64_389` `pow1/3_binary64_493` `clear-num_binary64_1424` `associate-+r+_binary64_11` `div-sub_binary64_2104` `sqrt-prod_binary64`
5×	`+-commutative_binary64_9` `log-pow_binary64_2522` `log-pow_binary64_1848` `pow1/2_binary64_1502` `div-sub_binary64_1767` `div-inv_binary64_2433` `sum-log_binary64_165` `rec-exp_binary64_2146` `pow-flip_binary64` `unswap-sqr_binary64_2404` `pow-plus_binary64_2159` `exp-prod_binary64_1811` `sqrt-pow1_binary64_1442` `inv-pow_binary64` `associate-*l/_binary64_696` `1-exp_binary64_2140` `sum-log_binary64_1176`
4×	`flip3-+_binary64` `flip--_binary64_52` `sub-neg_binary64_2092` `cos-sum_binary64_1219` `sub-neg_binary64_1418` `rem-log-exp_binary64` `frac-add_binary64` `sinh-def_binary64_933` `associate-/l/_binary64_1037` `exp-prod_binary64_2485` `pow-pow_binary64_1157` `+-commutative_binary64_1020` `exp-prod_binary64_1474` `clear-num_binary64_2435` `distribute-lft-out_binary64_1378` `associate-/r/_binary64_1036` `pow-sqr_binary64_1061` `distribute-lft-out_binary64_1715` `cbrt-div_binary64_1454` `frac-2neg_binary64_2447` `pow1/3_binary64_1504` `distribute-lft-out_binary64_367` `log-div_binary64_1509` `flip3--_binary64_81` `pow-sqr_binary64_2072` `frac-sub_binary64_1434` `log-prod_binary64_2519` `cbrt-unprod_binary64_2466` `cos-diff_binary64_1222` `flip-+_binary64`
3×	`rec-exp_binary64_124` `sub-neg_binary64` `+-commutative_binary64_2368` `diff-log_binary64` `unpow2_binary64_1487` `exp-sum_binary64_1805` `1-exp_binary64_118` `pow-unpow_binary64_488` `pow-unpow_binary64_1836` `flip3--_binary64_755` `unpow-prod-down_binary64_1838` `sum-log_binary64_2524` `unpow3_binary64` `cube-mult_binary64` `flip--_binary64_726` `+-commutative_binary64_1694` `associate-r/_binary64_2380` `pow2_binary64_2177` `pow-unpow_binary64_2173` `distribute-lft-out_binary64_2389` `rem-cube-cbrt_binary64` `pow-flip_binary64_2507` `sub-neg_binary64_744` `associate-l*_binary64_2379` `sum-log_binary64_502` `+-commutative_binary64_346`
2×	`unpow3_binary64_1488` `distribute-lft-out--_binary64_368` `pow-plus_binary64_1148` `exp-diff_binary64_1470` `distribute-rgt-out--_binary64_1381` `pow-prod-up_binary64_144` `cube-mult_binary64_1452` `log-pow_binary64_1511` `cube-div_binary64_777` `cube-mult_binary64_1115` `pow1/2_binary64` `difference-of-squares_binary64_383` `rec-exp_binary64_2483` `exp-diff_binary64_2144` `1-exp_binary64_2477` `pow2_binary64_1166` `pow-prod-up_binary64_818` `pow-sqr_binary64_724` `associate--l+_binary64_16` `pow-prod-down_binary64_2504` `frac-sub_binary64` `rem-exp-log_binary64_1125` `un-div-inv_binary64_1086` `sqrt-unprod_binary64_1444` `log-pow_binary64` `rem-sqrt-square_binary64_1438` `sum-log_binary64_839` `unpow3_binary64_1151` `rem-exp-log_binary64_2136` `sqrt-pow1_binary64` `inv-pow_binary64_159` `+-commutative_binary64_683` `pow-sqr_binary64_50` `rem-sqrt-square_binary64` `log-pow_binary64_1174` `cube-prod_binary64_1450` `pow-sqr_binary64` `log-div_binary64` `associate-/l/_binary64_26` `pow-prod-up_binary64` `sinh-undef_binary64_941` `rem-log-exp_binary64_1800` `rem-sqrt-square_binary64_427`
1×	`cube-mult_binary64_778` `pow2_binary64_155` `unpow2_binary64_813` `associate--r+_binary64_1026` `rem-cbrt-cube_binary64_774` `pow1/3_binary64_1167` `associate-/l/_binary64_700` `distribute-lft-in_binary64_702` `-commutative_binary64_2369` `inv-pow_binary64_2518` `unpow2_binary64_1824` `pow-plus_binary64_811` `pow-plus_binary64_137` `diff-log_binary64_166` `rem-exp-log_binary64_1799` `inv-pow_binary64_2181` `exp-to-pow_binary64_1821` `associate-r/_binary64` `pow-exp_binary64_1827` `associate-*l/_binary64_2044` `inv-pow_binary64_833` `sub-neg_binary64_70` `rem-cbrt-cube_binary64_1111` `sqrt-undiv_binary64_771` `pow-pow_binary64_2168` `div-sub_binary64_1093` `un-div-inv_binary64_2434` `div-sub_binary64` `pow-flip_binary64_2170` `diff-log_binary64_840` `pow-plus_binary64` `sqrt-unprod_binary64_1107` `rem-square-sqrt_binary64_1100` `rem-cube-cbrt_binary64_1110` `pow-pow_binary64_1831` `unpow3_binary64_814` `pow-to-exp_binary64_1828` `pow2_binary64_829` `sqr-pow_binary64_1734` `sum-log_binary64_1513` `div-sub_binary64_82` `rem-exp-log_binary64_1462` `+-commutative_binary64_1357` `rem-log-exp_binary64_1463` `mul0-rgt_binary64_1408` `sub-div_binary64` `rem-log-exp_binary64_2474` `exp-sum_binary64_2479` `asin-acos_binary64_254` `frac-times_binary64` `pow-pow_binary64_483` `pow2_binary64` `pow-flip_binary64_822` `associate-+l+_binary64_1697` `distribute-rgt-in_binary64_703`

Calls

421 calls:

126.0ms	(.f64 (cos.f64 th) (/.f64 (/.f64 (+.f64 (.f64 a1 a1) (*.f64 a2 a2)) (pow.f64 (cbrt.f64 (sqrt.f64 2)) 2)) (cbrt.f64 (sqrt.f64 2))))
51.0ms	(.f64 (/.f64 c0 (.f64 2 w)) (/.f64 (.f64 M M) (-.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 c0 (.f64 w h)) (/.f64 (.f64 (pow.f64 d 4) c0) (.f64 (pow.f64 D 4) (.f64 w h)))) (.f64 M M))))))
51.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))))
46.0ms	(.f64 (/.f64 1 (sqrt.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (*.f64 (sin.f64 th) (/.f64 (sin.f64 ky) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))))
39.0ms	(/.f64 (.f64 M M) (-.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 c0 (.f64 w h)) (/.f64 (.f64 (pow.f64 d 4) c0) (.f64 (pow.f64 D 4) (.f64 w h)))) (.f64 M M)))))

Details

series1.7min (35.1%)

sample1.6min (32.7%)

analyze33.7s (11.7%)

prune28.4s (9.9%)

simplify16.5s (5.7%)

rewrite6.2s (2.1%)

regimes4.9s (1.7%)

localize2.0s (0.7%)

bsearch983.0ms (0.3%)

end1.0ms (0%)

Profiling