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

sample59.0s (27%)

Algorithm

73×

intervals

Results

11.9s	247686×	body	128	valid
4.5s	14901×	body	1024	valid
3.2s	6074×	body	2048	valid
2.3s	99272×	pre	128	true
1.8s	14602×	body	128	invalid
1.4s	7406×	body	512	valid
1.2s	200×	body	8192	exit
1.1s	12013×	body	256	valid
323.0ms	880×	body	4096	valid
110.0ms	191×	body	1024	invalid
87.0ms	249×	body	512	invalid
78.0ms	1657×	body	128	nan
34.0ms	161×	body	256	invalid
20.0ms	21×	body	2048	invalid
15.0ms	199×	body	128	overflowed
4.0ms	100×	pre	128	false

Compiler

Compiled 36828 to 25575 computations (30.6% saved)

series47.0s (21.5%)

Calls

297 calls:

1.7s	(+.f64 (+.f64 (.f64 (.f64 x1 x1) (.f64 4 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))) (.f64 (.f64 2 (.f64 x1 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3))) (.f64 (.f64 (neg.f64 (sqrt.f64 6)) (sqrt.f64 6)) (*.f64 x1 x1)))
1.6s	(+.f64 (.f64 (.f64 (.f64 2 x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) 6)))
1.2s	(.f64 100 (.f64 (/.f64 (+.f64 1 (pow.f64 (+.f64 1 (/.f64 i n)) (/.f64 n 2))) i) (*.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) (/.f64 n 2)) 1) n)))
956.0ms	(/.f64 (+.f64 (.f64 a c) (.f64 b d)) (.f64 (cbrt.f64 (+.f64 (.f64 c c) (.f64 d d))) (cbrt.f64 (+.f64 (.f64 c c) (*.f64 d d)))))
751.0ms	(+.f64 (.f64 (.f64 (.f64 2 x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 x1 (.f64 x1 (-.f64 (.f64 12 (/.f64 (.f64 x1 x1) (+.f64 (.f64 x1 x1) 1))) (+.f64 6 (.f64 4 (/.f64 x1 (+.f64 (.f64 x1 x1) 1))))))))

Compiler

Compiled 173288 to 131559 computations (24.1% saved)

prune36.4s (16.7%)

Compiler: Compiled 542327 to 308751 computations (43.1% saved)

regimes25.6s (11.7%)

Accuracy

Total 45.0b remaining (25%)

Threshold costs 2.4b (1.3%)

11.1b	60.2%	Compound Interest
10.1b	52.9%	Complex division, imag part
9.5b	55.7%	Complex division, real part
5.4b	84%	The quadratic formula (r1)
4.3b	78.4%	Kahan p9 Example

Compiler

Compiled 174629 to 131422 computations (24.7% saved)

analyze20.6s (9.4%)

Algorithm

36×	search
2×	random

Search

True	Other	False	Iter
0%	60.5%	39.5%	0
1.4%	59.2%	39.5%	1
5.6%	55%	39.5%	2
11.1%	47.4%	41.5%	3
13.9%	43.5%	42.6%	4
19%	38.1%	42.8%	5
20.7%	35.1%	44.2%	6
24%	30.1%	45.9%	7
26.5%	26.9%	46.6%	8
29.4%	22.8%	47.8%	9
31.8%	19.6%	48.6%	10
33.4%	17.3%	49.2%	11
35.7%	14.6%	49.7%	12
40.6%	9%	50.4%	13
41.2%	8.2%	50.7%	14

Compiler

Compiled 1071 to 786 computations (26.6% saved)

simplify16.7s (7.7%)

Algorithm

215×	egg-herbie

Compiler

Compiled 8 to 8 computations (0% saved)

bsearch7.0s (3.2%)

Compiler: Compiled 5960 to 4036 computations (32.3% saved)

rewrite5.0s (2.3%)

Algorithm

110×	rewrite-expression-head

Rules

1620×	`times-frac_binary64_766`
1306×	`*-un-lft-identity_binary64_760`
1257×	`times-frac_binary64_84`
1176×	`*-un-lft-identity_binary64_78`
1098×	`times-frac_binary64`
1091×	`add-sqr-sqrt_binary64_100`
1049×	`add-sqr-sqrt_binary64_782`
863×	`add-sqr-sqrt_binary64`
840×	`*-un-lft-identity_binary64`
814×	`add-cube-cbrt_binary64_795`
698×	`times-frac_binary64_1448`
623×	`cancel-sign-sub-inv_binary64_726`
615×	`add-sqr-sqrt_binary64_1464`
614×	`add-cube-cbrt_binary64_113`
571×	`add-cube-cbrt_binary64`
561×	`add-exp-log_binary64`
500×	`add-cbrt-cube_binary64`
490×	`*-un-lft-identity_binary64_1442`
434×	`add-exp-log_binary64_798`
385×	`associate-r_binary64`
346×	`cancel-sign-sub-inv_binary64_44`
331×	`add-cube-cbrt_binary64_1477`
266×	`add-sqr-sqrt_binary64_3169`
256×	`distribute-lft-out_binary64_711`
253×	`cbrt-prod_binary64`
252×	`distribute-lft-out_binary64_29`
248×	`add-sqr-sqrt_binary64_2146`
239×	`prod-exp_binary64`
237×	`cbrt-unprod_binary64`
236×	`add-cbrt-cube_binary64_796`
223×	`associate-r_binary64_1382`
222×	`add-sqr-sqrt_binary64_441`
220×	`-un-lft-identity_binary64_2806` `-un-lft-identity_binary64_2124`
219×	`add-exp-log_binary64_116`
205×	`div-inv_binary64_757`
202×	`times-frac_binary64_3153`
195×	`times-frac_binary64_2130`
193×	`add-cbrt-cube_binary64_114`
188×	`difference-of-squares_binary64_47`
180×	`cbrt-prod_binary64_109`
176×	`associate-*r/_binary64`
175×	`add-sqr-sqrt_binary64_1805` `prod-exp_binary64_809`
174×	`difference-of-squares_binary64_1411`
173×	`sqrt-prod_binary64_3163`
162×	`frac-sub_binary64_428`
160×	`difference-of-squares_binary64`
156×	`*-un-lft-identity_binary64_419`
152×	`frac-times_binary64_429` `div-exp_binary64_811`
151×	`cbrt-undiv_binary64` `div-exp_binary64`
146×	`add-log-exp_binary64_2845`
142×	`*-un-lft-identity_binary64_3147`
141×	`add-sqr-sqrt_binary64_2828` `add-cube-cbrt_binary64_2159`
136×	`div-inv_binary64_75`
130×	`pow1_binary64`
129×	`*-un-lft-identity_binary64_1783`
125×	`associate-r_binary64_18`
124×	`add-cube-cbrt_binary64_3182`
121×	`unpow-prod-down_binary64_1521`
115×	`neg-sub0_binary64_414` `exp-neg_binary64_466`
113×	`difference-of-squares_binary64_729`
111×	`associate-l_binary64_701`
101×	`times-frac_binary64_2812`
98×	`*-un-lft-identity_binary64_1101` `associate-/r/_binary64_24`
97×	`sqr-pow_binary64_1414`
94×	`associate-r_binary64_700` `add-cbrt-cube_binary64_1137` `sqrt-prod_binary64_435` `add-exp-log_binary64_1139`
91×	`associate-/r*_binary64`
90×	`pow1_binary64_139`
89×	`add-cube-cbrt_binary64_454`
87×	`exp-diff_binary64_467` `pow1_binary64_1162` `difference-of-sqr-1_binary64_1412`
86×	`unpow-prod-down_binary64_157` `distribute-lft-out--_binary64` `distribute-rgt-in_binary64_710` `distribute-lft-in_binary64_709`
80×	`associate-l/_binary64_362` `associate-r/_binary64_361` `add-cube-cbrt_binary64_2841`
79×	`associate-l_binary64_19` `cancel-sign-sub-inv_binary64` `add-sqr-sqrt_binary64_1123`
78×	`distribute-lft-out_binary64_2757`
76×	`difference-of-squares_binary64_388` `add-log-exp_binary64_799`
75×	`sum-log_binary64_2897`
74×	`add-log-exp_binary64` `add-log-exp_binary64_458` `add-exp-log_binary64_1480`
73×	`flip3-+_binary64_422` `unpow-prod-down_binary64_498` `sqrt-prod_binary64_776` `flip-+_binary64_393` `distribute-lft-out--_binary64_30` `pow1_binary64_821`
72×	`cbrt-undiv_binary64_794`
71×	`associate-/l*_binary64_23`
70×	`flip3--_binary64_423` `prod-exp_binary64_127` `add-cube-cbrt_binary64_1818` `flip--_binary64_394` `pow1_binary64_480` `add-sqr-sqrt_binary64_3851`
69×	`times-frac_binary64_1789`
68×	`add-cbrt-cube_binary64_1478` `pow-unpow_binary64_1519`
67×	`associate-/l*_binary64_705`
65×	`add-exp-log_binary64_3185` `add-cbrt-cube_binary64_2842` `unpow-prod-down_binary64_2203` `cube-prod_binary64_2152` `add-exp-log_binary64_2844`
64×	`cbrt-unprod_binary64_793`
62×	`*-un-lft-identity_binary64_3829` `add-log-exp_binary64_117`
61×	`add-cube-cbrt_binary64_3864`
59×	`sqrt-prod_binary64_94` `flip3--_binary64` `flip--_binary64`
58×	`difference-of-squares_binary64_1752` `cbrt-unprod_binary64_111` `associate-r_binary64_1041`
57×	`pow-prod-down_binary64` `associate-l_binary64_3088` `associate-r_binary64_3087`
56×	`add-cube-cbrt_binary64_1136` `add-log-exp_binary64_2163`
55×	`add-exp-log_binary64_457` `add-cbrt-cube_binary64_455` `frac-times_binary64`
54×	`associate-l_binary64_1042` `add-exp-log_binary64_2162` `associate-/r*_binary64_704`
53×	`associate-/r*_binary64_22`
52×	`frac-add_binary64` `1-exp_binary64_804`
51×	`sqr-pow_binary64_391`
50×	`times-frac_binary64_3835`
49×	`div-exp_binary64_129` `associate-/r/_binary64_706` `div-inv_binary64`
48×	`flip-+_binary64_52` `distribute-rgt-in_binary64` `distribute-lft-in_binary64` `flip3-+_binary64_81`
47×	`sqrt-prod_binary64_2140`
46×	`pow1_binary64_1503`
45×	`add-cbrt-cube_binary64_3183`
44×	`cbrt-undiv_binary64_112`
43×	`unswap-sqr_binary64_3115`
42×	`add-cbrt-cube_binary64_2160`
41×	`add-log-exp_binary64_1481`
40×	`prod-exp_binary64_1150` `cbrt-unprod_binary64_1134` `associate-l_binary64` `flip--_binary64_735` `flip3--_binary64_764`
39×	`distribute-lft-out--_binary64_712` `associate-/l_binary64` `associate-l*_binary64_360`
38×	`flip3-+_binary64` `div-inv_binary64_1439` `associate-r_binary64_359` `flip-+_binary64`
37×	`add-exp-log_binary64_3867` `pow-neg_binary64_492` `un-div-inv_binary64_417`
36×	`associate-/r/_binary64` `cbrt-prod_binary64_2155` `pow-prod-down_binary64_1172` `associate-*l/_binary64`
35×	`distribute-lft-out_binary64_2075`
34×	`add-log-exp_binary64_1822`
33×	`sqrt-prod_binary64_2822` `pow1_binary64_2867`
32×	`cancel-sign-sub-inv_binary64_2090` `associate-+r+_binary64` `flip3-+_binary64_1104` `flip-+_binary64_1075` `add-exp-log_binary64_2503`
31×	`associate-*r/_binary64_1384` `add-sqr-sqrt_binary64_2487`
30×	`sqrt-div_binary64_3164` `pow1_binary64_2526` `sqrt-prod_binary64`
29×	`add-log-exp_binary64_1140` `add-cbrt-cube_binary64_3865` `difference-of-sqr-1_binary64_1753` `cancel-sign-sub-inv_binary64_385` `distribute-lft-out--_binary64_1394` `cancel-sign-sub-inv_binary64_1749`
28×	`pow-sub_binary64_495` `associate-*r/_binary64_1043` `unswap-sqr_binary64_46`
27×	`cancel-sign-sub-inv_binary64_1408` `add-cbrt-cube_binary64_2501` `difference-of-squares_binary64_2775` `sqr-pow_binary64_50` `cbrt-prod_binary64_450` `associate-+l+_binary64` `unpow-prod-down_binary64_1862` `pow1_binary64_2185`
26×	`flip3-+_binary64_763` `flip-+_binary64_734` `pow1_binary64_3208`
25×	`flip3-+_binary64_3832` `add-log-exp_binary64_3868` `sub-neg_binary64` `flip-+_binary64_3803` `add-cbrt-cube_binary64_1819`
24×	`-un-lft-identity_binary64_2465` `add-exp-log_binary64_1821` `swap-sqr_binary64_45` `associate-r_binary64_2064` `associate-l*_binary64_2065` `difference-of-squares_binary64_2093` `cbrt-div_binary64`
23×	`flip--_binary64_53` `distribute-lft-out--_binary64_371` `associate-/l*_binary64_1728` `sum-log_binary64_2215` `flip3--_binary64_82`
22×	`frac-sub_binary64`
21×	`cbrt-unprod_binary64_1475` `swap-sqr_binary64_386` `cube-prod_binary64_1811` `prod-exp_binary64_1491` `distribute-lft-out_binary64_1052` `add-log-exp_binary64_3186` `pow1_binary64_1844` `add-cube-cbrt_binary64_2500`
20×	`frac-times_binary64_1111` `pow-prod-down_binary64_149` `frac-add_binary64_1450` `pow1_binary64_3890`
19×	`sqr-pow_binary64_1755` `associate-/l/_binary64_707` `flip-+_binary64_1416` `flip3-+_binary64_1445` `flip-+_binary64_2780` `associate-/r*_binary64_2750` `cbrt-prod_binary64_1814` `distribute-lft-in_binary64_1050` `flip3-+_binary64_2809` `rec-exp_binary64_810` `div-exp_binary64_3198` `distribute-rgt-in_binary64_1051` `sub-neg_binary64_753`
18×	`cbrt-div_binary64_451` `add-log-exp_binary64_2504` `sqrt-prod_binary64_3845` `associate-/r/_binary64_2070` `cbrt-div_binary64_3861` `sqrt-div_binary64_777` `exp-prod_binary64_471`
17×	`unswap-sqr_binary64_728` `flip3--_binary64_2810` `flip-+_binary64_2098` `flip3-+_binary64_2127` `flip--_binary64_2781` `associate-/l*_binary64_2751`
16×	`sqrt-div_binary64_436` `-commutative_binary64_1032` `associate-r_binary64_2746` `distribute-rgt-in_binary64_28` `associate-/r/_binary64_3775` `associate-l_binary64_2406` `distribute-lft-in_binary64_27` `prod-exp_binary64_3196` `-commutative_binary64`
15×	`cancel-sign-sub-inv_binary64_2772` `unswap-sqr_binary64_2092` `flip-+_binary64_3121` `sqrt-prod_binary64_2481` `associate-/r_binary64_3091` `associate-l_binary64_1383` `log-pow_binary64_2213` `cbrt-undiv_binary64_2840` `sum-log_binary64` `flip3-+_binary64_3150` `frac-times_binary64_770` `unswap-sqr_binary64` `diff-log_binary64_852` `div-exp_binary64_2857` `associate-r*_binary64_3769` `div-inv_binary64_2121`
14×	`distribute-lft-out_binary64` `associate-/r/_binary64_3093` `distribute-lft-out--_binary64_1735` `cancel-sign-sub-inv_binary64_1067` `associate-l/_binary64_1044` `associate-/r/_binary64_2752` `prod-exp_binary64_2514` `associate-r*_binary64_2405` `div-exp_binary64_2175` `sub-neg_binary64_71`
13×	`-commutative_binary64_9` `associate-l/_binary64_703` `associate-/r_binary64_1386` `associate-/l_binary64_1387` `sqrt-prod_binary64_1117` `frac-2neg_binary64_771` `associate-/r*_binary64_3773` `exp-prod_binary64_2176` `clear-num_binary64_759` `diff-log_binary64_511`
12×	`pow-prod-down_binary64_490` `times-frac_binary64_425` `pow-prod-down_binary64_1513` `associate-+r+_binary64_1033` `associate-/r_binary64_2068` `associate-r/_binary64_702` `associate-/l*_binary64_3774` `distribute-lft-out--_binary64_2758` `cbrt-prod_binary64_1473` `flip3--_binary64_1105` `flip--_binary64_1076`
11×	`cbrt-undiv_binary64_1476` `cbrt-undiv_binary64_3181` `flip3--_binary64_1787` `frac-2neg_binary64_89` `unswap-sqr_binary64_387` `clear-num_binary64_77` `div-exp_binary64_1493` `prod-exp_binary64_2855` `cbrt-unprod_binary64_2839` `unswap-sqr_binary64_1069` `associate-*r/_binary64_20` `flip--_binary64_1758` `+-commutative_binary64_2736` `frac-times_binary64_88`
10×	`clear-num_binary64` `diff-log_binary64_170` `cbrt-unprod_binary64_452` `prod-exp_binary64_468` `distribute-lft-out_binary64_370` `sqrt-div_binary64_2141` `sqrt-div_binary64_2823` `frac-2neg_binary64` `sqrt-pow1_binary64_437` `pow1/2_binary64_499`
9×	`pow1/3_binary64_501` `cbrt-undiv_binary64_2158` `div-inv_binary64_2803` `cbrt-prod_binary64_3860` `flip3--_binary64_1446` `associate-/l_binary64_2069` `cube-prod_binary64_106` `flip--_binary64_1417` `swap-sqr_binary64_727` `associate-/l_binary64_3092` `pow-prod-down_binary64_831`
8×	`div-exp_binary64_3880` `sub-neg_binary64_412` `associate-/r/_binary64_1047` `log-prod_binary64_2210` `cbrt-unprod_binary64_3180` `associate-/l/_binary64_1048` `cbrt-unprod_binary64_2498` `prod-exp_binary64_2173` `cube-mult_binary64_2495` `*-commutative_binary64_350` `flip3-+_binary64_2468` `frac-add_binary64_2814` `associate--r+_binary64_1378` `unswap-sqr_binary64_1410` `flip-+_binary64_2439`
7×	`diff-log_binary64_1875` `associate-*l/_binary64_21` `pow1/2_binary64_3227` `sum-log_binary64_1533` `unpow-prod-down_binary64` `sub-neg_binary64_1435` `sum-log_binary64_510` `div-inv_binary64_3144` `sqr-pow_binary64_2096` `div-sub_binary64` `unpow3_binary64_2190` `rem-sqrt-square_binary64_3160` `distribute-lft-out_binary64_1393` `sqrt-pow1_binary64_3165` `sub-neg_binary64_1776`
6×	`associate-/l/_binary64` `cbrt-undiv_binary64_3863` `pow1/2_binary64_840` `associate-/l/_binary64_3776` `distribute-rgt-in_binary64_1392` `sub-neg_binary64_1094` `associate-/l/_binary64_25` `pow-exp_binary64_2192` `associate-+r+_binary64_2738` `associate-+l+_binary64_2739` `pow-unpow_binary64_496` `associate-/r_binary64_1727` `associate-/l/_binary64_3094` `frac-times_binary64_3839` `pow-pow_binary64_150` `rem-exp-log_binary64_459` `rem-sqrt-square_binary64_773` `distribute-lft-in_binary64_1391` `swap-sqr_binary64_1068` `+-commutative_binary64_2054` `pow-unpow_binary64_155` `pow-exp_binary64_1510` `pow-unpow_binary64_2201` `sqrt-div_binary64_3846` `+-commutative_binary64` `distribute-lft-out_binary64_2416` `sqrt-pow1_binary64_778` `-commutative_binary64_691` `pow-to-exp_binary64_1511` `associate-l_binary64_1724` `associate-r_binary64_1723` `pow-pow_binary64_1514`
5×	`div-inv_binary64_3826` `pow1/2_binary64_2886` `pow-to-exp_binary64_147` `diff-log_binary64` `sqrt-pow1_binary64_2824` `prod-exp_binary64_3878` `associate-l/_binary64_1385` `pow-prod-up_binary64_2535` `distribute-rgt-out_binary64_2418` `distribute-rgt1-in_binary64_2421` `-commutative_binary64_1373` `sub-neg_binary64_2799` `diff-log_binary64_1534` `unswap-sqr_binary64_2433` `rem-sqrt-square_binary64_2819` `pow-exp_binary64_146` `flip--_binary64_3122` `+-commutative_binary64_3759` `sum-log_binary64_3920` `flip3--_binary64_3151` `pow-prod-down_binary64_2536` `pow-prod-up_binary64_489` `diff-log_binary64_2898`
4×	`associate-/l/_binary64_1730` `cbrt-div_binary64_110` `cube-prod_binary64_1129` `distribute-lft-neg-in_binary64_376` `+-commutative_binary64_1031` `unpow3_binary64_2531` `cbrt-undiv_binary64_1135` `associate--l-_binary64` `pow-pow_binary64_1855` `-commutative_binary64_2396` `flip3-+_binary64_1786` `pow-pow_binary64_2196` `flip-+_binary64_1757` `cbrt-div_binary64_1815` `1-exp_binary64_3191` `cube-mult_binary64_2154` `sum-log_binary64_1192` `rec-exp_binary64_3197` `clear-num_binary64_3828` `cbrt-unprod_binary64_2157` `rem-cube-cbrt_binary64_2147` `associate-l/_binary64_3772` `pow-flip_binary64_834` `sqrt-div_binary64_2482` `associate-+l+_binary64_1034` `associate-+r+_binary64_2056` `associate-l/_binary64_2408` `unpow-prod-down_binary64_1180` `frac-add_binary64_1109` `neg-mul-1_binary64_415` `frac-2neg_binary64_3840` `unpow-prod-down_binary64_2544` `div-exp_binary64_1152` `clear-num_binary64_2805` `associate--r+_binary64_355` `log-prod_binary64_505` `cube-div_binary64_2153` `distribute-rgt-neg-in_binary64_377` `frac-2neg_binary64_2817` `associate-/l_binary64_364` `rem-sqrt-square_binary64_432` `associate-*r/_binary64_2407`
3×	`div-sub_binary64_3152` `unswap-sqr_binary64_3797` `frac-sub_binary64_769` `associate-l_binary64_2747` `rec-exp_binary64_128` `clear-num_binary64_3146` `associate-/r/_binary64_1388` `+-commutative_binary64_2395` `cancel-sign-sub-inv_binary64_2431` `sum-log_binary64_2556` `1-exp_binary64_122` `associate-l_binary64_3770` `pow-unpow_binary64_1860` `inv-pow_binary64_845` `associate-/r_binary64_363` `clear-num_binary64_2123` `pow1/3_binary64_3911` `distribute-rgt-out--_binary64_2078` `associate-r/_binary64_3771` `add-log-exp_binary64_3527` `exp-prod_binary64_1835` `pow1/3_binary64_160` `frac-2neg_binary64_3158` `cbrt-unprod_binary64_3862` `cube-prod_binary64_1470` `1-exp_binary64_2168` `pow-sqr_binary64_392` `neg-log_binary64_512` `difference-of-sqr--1_binary64_1413` `sqr-pow_binary64` `frac-2neg_binary64_2135` `rec-exp_binary64_2174`
2×	`sqrt-pow2_binary64_97` `frac-times_binary64_1452` `cbrt-undiv_binary64_1817` `pow-to-exp_binary64_2534` `associate-/r/_binary64_1729` `frac-2neg_binary64_1794` `sum-log_binary64_851` `pow1/2_binary64_2204` `div-sub_binary64_1788` `pow-exp_binary64_2533` `pow-prod-up_binary64_148` `rem-log-exp_binary64_2165` `+-commutative_binary64_1713` `sqr-pow_binary64_2437` `distribute-rgt-in_binary64_369` `rem-sqrt-square_binary64_3842` `difference-of-squares_binary64_1070` `cbrt-div_binary64_1474` `cancel-sign-sub-inv_binary64_3113` `pow-prod-down_binary64_1854` `associate-/l/_binary64_1389` `cube-mult_binary64_1813` `sqrt-pow1_binary64_96` `pow-sqr_binary64_51` `associate-l/_binary64_3090` `distribute-lft-out--_binary64_2076` `sqrt-pow1_binary64_2142` `unpow3_binary64_1849` `1-exp_binary64_3873` `pow-plus_binary64_141` `div-inv_binary64_1780` `+-commutative_binary64_1372` `cube-div_binary64_1471` `pow-prod-down_binary64_3218` `sub-neg_binary64_3140` `associate-/l/_binary64_366` `unpow3_binary64_144` `sqrt-pow1_binary64_2483` `log-div_binary64_506` `pow2_binary64_159` `associate-r/_binary64_1725` `rec-exp_binary64_3879` `-commutative_binary64_1714` `distribute-lft-in_binary64_368` `sum-log_binary64_1874` `+-commutative_binary64_690` `div-exp_binary64_1834` `-commutative_binary64_3078` `pow1/2_binary64_3909` `rem-sqrt-square_binary64_2137` `cube-mult_binary64_108` `frac-times_binary64_3157` `rem-sqrt-square_binary64_2478` `pow1/3_binary64_1865` `clear-num_binary64_1782` `cube-div_binary64_1812` `pow-to-exp_binary64_2193` `cbrt-unprod_binary64_1816` `rem-sqrt-square_binary64` `pow1/2_binary64_2545` `sqrt-pow1_binary64_3847` `pow1/2_binary64_158` `unswap-sqr_binary64_1751` `prod-exp_binary64_1832` `diff-log_binary64_3239` `associate-*r/_binary64_3089` `unswap-sqr_binary64_2774` `pow-exp_binary64_487` `exp-sum_binary64_2170` `associate-+r+_binary64_1374` `distribute-lft-neg-out_binary64`
1×	`difference-of-squares_binary64_3457` `+-commutative_binary64_8` `clear-num_binary64_418` `log-pow_binary64_508` `pow-prod-down_binary64_3900` `distribute-lft1-in_binary64_2420` `distribute-rgt-out_binary64_1054` `flip3--_binary64_2128` `distribute-rgt-in_binary64_1733` `pow-plus_binary64_1164` `pow2_binary64_841` `pow-to-exp_binary64` `pow-prod-down_binary64_2195` `flip3--_binary64_3492` `diff-log_binary64_2557` `add-sqr-sqrt_binary64_3510` `add-exp-log_binary64_3526` `inv-pow_binary64_163` `rem-cube-cbrt_binary64_1806` `pow-prod-up_binary64_1171` `-commutative_binary64_2737` `distribute-lft-in_binary64_1732` `pow-pow_binary64_491` `distribute-lft-out_binary64_1734` `un-div-inv_binary64_3827` `add-cube-cbrt_binary64_3523` `pow1/2_binary64` `frac-2neg_binary64_430` `div-sub_binary64_765` `div-sub_binary64_1447` `associate-/r_binary64_1045` `pow2_binary64_1182` `div-inv_binary64_416` `rem-cbrt-cube_binary64_2148` `diff-log_binary64_3580` `pow-plus_binary64_823` `-commutative_binary64_2055` `sqr-abs_binary64_434` `clear-num_binary64_1100` `frac-2neg_binary64_1112` `flip--_binary64_3463` `pow-plus_binary64_2528` `flip--_binary64_2440` `clear-num_binary64_1441` `rem-3cbrt-rft_binary64_2491` `pow-prod-down_binary64_2877` `div-exp_binary64_470` `pow-exp_binary64` `pow2_binary64_500` `pow1_binary64_3549` `cancel-sign-sub-inv_binary64_3454` `associate-/l_binary64_1046` `cbrt-undiv_binary64_453` `div-inv_binary64_1098` `distribute-lft-out--_binary64_1053` `flip3--_binary64_2469` `associate-/l/_binary64_2753` `times-frac_binary64_1107` `pow-plus_binary64_482` `associate-l/_binary64_2067` `sub-neg_binary64_2458` `pow1/3_binary64_2206` `frac-2neg_binary64_1453` `pow-sqr_binary64_1074` `sqrt-pow1_binary64` `pow-to-exp_binary64_488` `distribute-rgt-in_binary64_2415` `flip--_binary64_2099` `diff-log_binary64_2216` `+-commutative_binary64_3077` `cbrt-div_binary64_2156` `add-cbrt-cube_binary64_3524` `pow1/3_binary64_1524` `distribute-lft-in_binary64_2414` `rem-cbrt-cube_binary64_1807` `sub-neg_binary64_2117` `cube-unmult_binary64_2502` `pow2_binary64_2546` `e-exp-1_binary64_464` `associate-+l+_binary64_1375` `-commutative_binary64_3760` `pow-flip_binary64_2198` `rem-log-exp_binary64_460` `associate-r/_binary64_2066` `cube-mult_binary64_1472` `unpow3_binary64_1508` `sum-cubes_binary64_1102` `rem-square-sqrt_binary64_431` `sqrt-unprod_binary64_439` `pow-prod-up_binary64_830` `pow-to-exp_binary64_1852` `associate-r/_binary64_2748` `pow-sqr_binary64_733` `frac-times_binary64_2134` `pow-exp_binary64_1851` `div-sub_binary64_83` `inv-pow_binary64_3914` `*-un-lft-identity_binary64_3488` `frac-sub_binary64_2133` `pow-sqr_binary64_2438` `distribute-rgt-out--_binary64_32` `+-commutative_binary64_349` `un-div-inv_binary64_758` `inv-pow_binary64_2209` `pow-flip_binary64_3903` `unsub-neg_binary64` `pow-flip_binary64_152` `sub-neg_binary64_3481` `sqrt-div_binary64` `sum-log_binary64_169` `rem-cbrt-cube_binary64_1466` `sum-log_binary64_3238`

Calls

594 calls:

68.0ms	(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))
64.0ms	(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))
63.0ms	(.f64 (/.f64 (.f64 r w) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w)))
49.0ms	(.f64 (/.f64 (/.f64 PI.f64 2) (-.f64 (.f64 b b) (*.f64 a a))) (-.f64 (/.f64 1 a) (/.f64 1 b)))
46.0ms	(.f64 (.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 (.f64 r w) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w)))

Details

sample59.0s (27%)

series47.0s (21.5%)

prune36.4s (16.7%)

regimes25.6s (11.7%)

analyze20.6s (9.4%)

simplify16.7s (7.7%)

bsearch7.0s (3.2%)

rewrite5.0s (2.3%)

localize1.3s (0.6%)

end1.0ms (0%)

Profiling