Date:	Saturday, April 3rd, 2021
Commit:	3f029357 on test-percent-search-filtered
Hostname:	warfa with Racket 7.9
Seed:	2021093
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

series13.3min (33.5%)

Counts

2356 → 32143

Calls

1697 calls:

19.4s	(cbrt.f64 (/.f64 (+.f64 (.f64 z (-.f64 t a)) (.f64 y x)) (+.f64 y (*.f64 z (-.f64 b y)))))
14.2s	(/.f64 (+.f64 (.f64 z (-.f64 t a)) (.f64 y x)) (.f64 (cbrt.f64 (+.f64 y (.f64 z (-.f64 b y)))) (cbrt.f64 (+.f64 y (*.f64 z (-.f64 b y))))))
8.1s	(/.f64 (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a))))))) (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (*.f64 y x)))))))))
6.7s	(*.f64 (cbrt.f64 (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) (-.f64 (/.f64 x y) 2))) (cbrt.f64 (+.f64 (/.f64 (+.f64 2 (/.f64 2 z)) t) (-.f64 (/.f64 x y) 2))))
6.6s	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (.f64 (+.f64 z (.f64 y x)) (.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y)) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))

Compiler

Compiled 2321116 to 1501154 computations (35.3% saved)

sample12.3min (30.9%)

Algorithm

807×

intervals

Results

1.3min	2170715×	body	128	valid
32.6s	577415×	body	128	invalid
29.5s	523969×	body	128	nan
15.5s	51392×	body	1024	valid
6.1s	31280×	body	512	valid
4.4s	10754×	body	2048	valid
2.1s	17446×	body	256	valid
1.9s	9653×	body	1024	invalid
794.0ms	5643×	body	512	invalid
426.0ms	369×	body	4096	valid
317.0ms	3160×	body	256	invalid
214.0ms	1288×	body	1024	nan
122.0ms	981×	body	512	nan
93.0ms	1633×	body	128	overflowed
50.0ms	571×	body	256	nan
0.0ms	1×	body	2048	invalid

Compiler

Compiled 1839794 to 1923371 computations (-4.5% saved)

analyze4.6min (11.6%)

Algorithm

540×	search
540×	egg-herbie

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	0
2.2%	97.6%	0.1%	1
2.2%	97.6%	0.1%	1
4.3%	95.4%	0.3%	2
4.3%	95.4%	0.3%	2
10.5%	88.3%	1.3%	3
10.5%	88.3%	1.3%	3
15.3%	81.9%	2.8%	4
15.3%	81.9%	2.8%	4
23.4%	72.9%	3.7%	5
23.4%	72.9%	3.7%	5
29.1%	65.4%	5.4%	6
29.1%	65.4%	5.4%	6
36.4%	56.3%	7.3%	7
36.4%	56.3%	7.3%	7
40.6%	51%	8.4%	8
40.6%	51%	8.4%	8
45.6%	44.6%	9.8%	9
45.6%	44.6%	9.8%	9
49.5%	39.2%	11.4%	10
49.5%	39.2%	11.4%	10
52.9%	34.9%	12.2%	11
52.9%	34.9%	12.2%	11
55.6%	31.3%	13%	12
55.6%	31.3%	13%	12
58.6%	27.3%	14.1%	13
58.6%	27.3%	14.1%	13
60.5%	25.1%	14.4%	14
60.5%	25.1%	14.4%	14

Compiler

Compiled 6402 to 5540 computations (13.5% saved)

regimes3.0min (7.5%)

Compiler: Compiled 1756834 to 1295698 computations (26.2% saved)

prune2.4min (6.1%)

Counts: 111948 → 5508
Compiler: Compiled 2770771 to 1100067 computations (60.3% saved)

rewrite2.4min (6%)

Algorithm

866×	rewrite-expression-head

Rules

9202×	`times-frac_binary64_12701`
7697×	`*-un-lft-identity_binary64_12695`
4186×	`add-sqr-sqrt_binary64_12717`
3590×	`times-frac_binary64_10655`
3524×	`add-cube-cbrt_binary64_12730`
2614×	`times-frac_binary64_6904`
2000×	`*-un-lft-identity_binary64_10649`
1997×	`distribute-lft-out_binary64_12646`
1984×	`*-un-lft-identity_binary64_16105`
1869×	`add-sqr-sqrt_binary64_6920`
1816×	`*-un-lft-identity_binary64_6898`
1790×	`add-sqr-sqrt_binary64_10671`
1771×	`times-frac_binary64_18498`
1730×	`times-frac_binary64_16111`
1706×	`add-sqr-sqrt_binary64_16127`
1608×	`add-cube-cbrt_binary64_10684`
1495×	`times-frac_binary64_15429`
1467×	`times-frac_binary64_14747`
1316×	`*-un-lft-identity_binary64_15423`
1294×	`*-un-lft-identity_binary64_18492`
1287×	`add-sqr-sqrt_binary64_18514`
1246×	`add-sqr-sqrt_binary64_15445`
1144×	`add-sqr-sqrt_binary64_14763`
1119×	`*-un-lft-identity_binary64_21902`
1101×	`*-un-lft-identity_binary64_14741`
1069×	`times-frac_binary64_14406`
1057×	`times-frac_binary64_12019`
1032×	`add-sqr-sqrt_binary64_12035`
1011×	`*-un-lft-identity_binary64_23266`
1005×	`add-cube-cbrt_binary64_6933`
959×	`times-frac_binary64_13724`
911×	`*-un-lft-identity_binary64_13377`
907×	`*-un-lft-identity_binary64_12013`
903×	`times-frac_binary64_23272`
889×	`times-frac_binary64_18839`
847×	`times-frac_binary64_8950`
831×	`times-frac_binary64_9973`
819×	`add-cube-cbrt_binary64_18527`
790×	`times-frac_binary64_18157`
777×	`add-cube-cbrt_binary64_16140`
772×	`times-frac_binary64_10996`
749×	`add-sqr-sqrt_binary64_15786`
748×	`sqrt-prod_binary64_13393`
742×	`add-cube-cbrt_binary64_15458`
740×	`add-sqr-sqrt_binary64_13740`
725×	`*-un-lft-identity_binary64_13718`
723×	`add-sqr-sqrt_binary64_11012`
718×	`*-un-lft-identity_binary64_15764`
696×	`add-sqr-sqrt_binary64_21924`
694×	`*-un-lft-identity_binary64_10990`
691×	`add-sqr-sqrt_binary64_14422`
686×	`*-un-lft-identity_binary64_18833`
669×	`times-frac_binary64_21908`
668×	`times-frac_binary64_13383`
654×	`times-frac_binary64_15770`
652×	`*-un-lft-identity_binary64_14400`
635×	`times-frac_binary64_8268`
625×	`add-sqr-sqrt_binary64_23288`
622×	`add-cube-cbrt_binary64_12048` `add-exp-log_binary64_12392`
614×	`add-sqr-sqrt_binary64_15104`
595×	`*-un-lft-identity_binary64_15082` `add-cube-cbrt_binary64_14776`
594×	`add-cube-cbrt_binary64_14435`
587×	`times-frac_binary64_15088`
586×	`times-frac_binary64_11678`
584×	`times-frac_binary64_23613`
580×	`cbrt-prod_binary64_16136`
574×	`*-un-lft-identity_binary64_9967`
572×	`add-sqr-sqrt_binary64_18855`
566×	`*-un-lft-identity_binary64_4852`
565×	`add-sqr-sqrt_binary64_11694`
559×	`add-sqr-sqrt_binary64_8966`
552×	`add-exp-log_binary64_10687`
547×	`add-sqr-sqrt_binary64_9989`
545×	`associate-r_binary64_12635`
540×	`*-un-lft-identity_binary64_8944`
529×	`times-frac_binary64_11337`
518×	`add-cube-cbrt_binary64_18868` `*-un-lft-identity_binary64_18151`
509×	`add-sqr-sqrt_binary64_4874` `times-frac_binary64_24295` `*-un-lft-identity_binary64_2124`
506×	`add-sqr-sqrt_binary64_19196`
504×	`*-un-lft-identity_binary64_19856`
503×	`add-cube-cbrt_binary64_13753` `add-sqr-sqrt_binary64_12376`
502×	`add-sqr-sqrt_binary64_18173`
496×	`*-un-lft-identity_binary64_11672`
495×	`add-sqr-sqrt_binary64_2828`
491×	`distribute-lft-out--_binary64_16057`
483×	`add-sqr-sqrt_binary64_14081` `add-cube-cbrt_binary64_18186`
482×	`*-un-lft-identity_binary64_2806` `cancel-sign-sub-inv_binary64_6864`
480×	`add-cube-cbrt_binary64_11707`
478×	`times-frac_binary64_19180`
477×	`add-sqr-sqrt_binary64_11353` `add-cube-cbrt_binary64_10002`
473×	`add-cube-cbrt_binary64_11025`
464×	`add-sqr-sqrt_binary64_4533` `add-sqr-sqrt_binary64_2487`
461×	`*-un-lft-identity_binary64_19174`
455×	`add-sqr-sqrt_binary64_8284`
450×	`*-un-lft-identity_binary64_11331` `add-sqr-sqrt_binary64_16468`
447×	`cbrt-prod_binary64_21933` `*-un-lft-identity_binary64_4511`
446×	`*-un-lft-identity_binary64_14059`
441×	`associate-r_binary64_16045`
434×	`times-frac_binary64_19862`
428×	`add-sqr-sqrt_binary64_19878`
425×	`add-cube-cbrt_binary64_23301`
417×	`associate-r_binary64_15363`
411×	`difference-of-squares_binary64_6867`
410×	`sqrt-prod_binary64_23282`
406×	`add-cube-cbrt_binary64_8979` `*-un-lft-identity_binary64_2465`
403×	`times-frac_binary64_16452`
402×	`difference-of-squares_binary64_16074`
399×	`add-sqr-sqrt_binary64_13399`
396×	`associate-/l*_binary64_12640`
395×	`add-cube-cbrt_binary64_11366`
394×	`distribute-lft-out--_binary64_6850`
393×	`*-un-lft-identity_binary64_8262` `associate-/r/_binary64_12641`
392×	`*-un-lft-identity_binary64_16446`
385×	`add-sqr-sqrt_binary64_21242` `associate-/r*_binary64_12639`
383×	`add-exp-log_binary64_12733`
375×	`times-frac_binary64_4517`
371×	`times-frac_binary64_2812`
360×	`*-un-lft-identity_binary64_21220`
357×	`add-cube-cbrt_binary64_8297`
352×	`sqrt-prod_binary64_15439`
347×	`add-cube-cbrt_binary64_13412`
344×	`add-cube-cbrt_binary64_15799`
342×	`*-un-lft-identity_binary64_12354`
339×	`cancel-sign-sub-inv_binary64_11979` `add-cbrt-cube_binary64_12390`
337×	`*-un-lft-identity_binary64_16787`
331×	`add-cbrt-cube_binary64_10685`
330×	`add-cube-cbrt_binary64_15117`
325×	`add-cube-cbrt_binary64_21937` `cbrt-prod_binary64_11021` `add-cube-cbrt_binary64_19209`
324×	`times-frac_binary64_14065`
323×	`add-cbrt-cube_binary64_12731`
320×	`add-sqr-sqrt_binary64_17491` `distribute-lft-out--_binary64_21854`
317×	`add-sqr-sqrt_binary64_441`
315×	`times-frac_binary64_2471`
314×	`add-cube-cbrt_binary64_12389`
313×	`add-cube-cbrt_binary64_19891` `add-sqr-sqrt_binary64_10330`
310×	`add-sqr-sqrt_binary64_16809`
307×	`distribute-lft-out_binary64_13328`
305×	`sqrt-prod_binary64_12711`
303×	`add-sqr-sqrt_binary64_23629`
302×	`add-sqr-sqrt_binary64_2146`
301×	`add-cube-cbrt_binary64_2500`
300×	`times-frac_binary64_21226`
299×	`*-un-lft-identity_binary64_17469`
297×	`*-un-lft-identity_binary64_23607`
296×	`add-cube-cbrt_binary64_23642`
288×	`times-frac_binary64_12360`
284×	`add-sqr-sqrt_binary64_3169`
281×	`add-exp-log_binary64_15461`
279×	`times-frac_binary64_2130`
278×	`*-un-lft-identity_binary64_419`
277×	`*-un-lft-identity_binary64_10308` `add-cube-cbrt_binary64_2841`
275×	`add-exp-log_binary64_11028` `add-cube-cbrt_binary64_16481`
274×	`add-sqr-sqrt_binary64_5897`
272×	`add-exp-log_binary64_18530`
271×	`difference-of-squares_binary64_12664` `distribute-lft-out--_binary64_12647` `add-exp-log_binary64_16143`
270×	`associate-r_binary64_14340`
269×	`add-exp-log_binary64_19894`
267×	`add-exp-log_binary64_13756`
266×	`div-exp_binary64_12405`
262×	`*-un-lft-identity_binary64_24289`
261×	`add-sqr-sqrt_binary64_24311`
258×	`add-cube-cbrt_binary64_14094`
256×	`add-cube-cbrt_binary64_24324`
253×	`add-exp-log_binary64_19212` `distribute-lft-out--_binary64_14693`
252×	`times-frac_binary64_4858` `add-cube-cbrt_binary64_4546`
249×	`add-cube-cbrt_binary64_4887`
248×	`prod-exp_binary64_12403`
247×	`times-frac_binary64_10314`
245×	`associate-l_binary64_16046`
244×	`difference-of-squares_binary64_14710`
242×	`add-cube-cbrt_binary64_17504` `add-cbrt-cube_binary64_18528` `difference-of-squares_binary64_18461`
239×	`add-sqr-sqrt_binary64_20219` `add-cbrt-cube_binary64_19892`
238×	`*-un-lft-identity_binary64_20197`
236×	`add-exp-log_binary64_14438` `*-un-lft-identity_binary64_17810`
231×	`add-exp-log_binary64_18189`
228×	`div-exp_binary64_10700`
227×	`add-cbrt-cube_binary64_19210` `add-exp-log_binary64_18871`
225×	`times-frac_binary64_16793` `*-un-lft-identity_binary64_5875`
223×	`pow1_binary64_12415` `*-un-lft-identity_binary64_23948`
219×	`times-frac_binary64_17475`
218×	`add-cbrt-cube_binary64_15459`
217×	`add-cbrt-cube_binary64_13754` `distribute-lft-out_binary64_23217`
216×	`add-cube-cbrt_binary64_10343`
214×	`associate-r_binary64_12294`
213×	`div-inv_binary64_12692` `add-sqr-sqrt_binary64_19537`
212×	`add-cbrt-cube_binary64_16141` `add-sqr-sqrt_binary64_1464`
209×	`associate-r_binary64_10930` `add-sqr-sqrt_binary64_20901` `cancel-sign-sub-inv_binary64_15048`
208×	`add-exp-log_binary64_14097`
204×	`add-exp-log_binary64_17507`
203×	`add-cube-cbrt_binary64_5910`
199×	`flip3-+_binary64_12698` `add-cube-cbrt_binary64_16822` `flip-+_binary64_12669`
197×	`add-cube-cbrt_binary64_2159`
196×	`cbrt-prod_binary64_2837`
195×	`*-un-lft-identity_binary64_19515`
194×	`*-un-lft-identity_binary64_760` `add-sqr-sqrt_binary64_17832` `add-sqr-sqrt_binary64_1123`
193×	`add-cbrt-cube_binary64_11026`
189×	`add-sqr-sqrt_binary64_23970`
186×	`distribute-lft-out--_binary64_15375` `add-cube-cbrt_binary64_20232` `difference-of-squares_binary64_15392` `add-exp-log_binary64_13074` `times-frac_binary64_20203` `add-cube-cbrt_binary64_21255`
184×	`distribute-lft-out_binary64_2075`
182×	`difference-of-squares_binary64_15733` `pow1_binary64_19235` `distribute-lft-out--_binary64_15716`
181×	`-un-lft-identity_binary64_3147` `associate-r*_binary64_11953`
180×	`add-exp-log_binary64_12051` `sqrt-prod_binary64_2140` `add-exp-log_binary64_20917`
178×	`sqrt-prod_binary64_12029`
177×	`pow1_binary64_14120` `cbrt-prod_binary64_2496` `associate-l_binary64_12636` `div-inv_binary64_10646` `pow1_binary64_2526`
176×	`*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_454` `distribute-lft-out_binary64_10600`
175×	`*-un-lft-identity_binary64_20879`
174×	`add-cbrt-cube_binary64_18187` `add-cube-cbrt_binary64_3182`
172×	`add-sqr-sqrt_binary64_22606` `add-sqr-sqrt_binary64_3510`
171×	`add-exp-log_binary64_11710`
170×	`cancel-sign-sub-inv_binary64_16071` `associate-/r*_binary64_13662` `cbrt-div_binary64_11022`
169×	`distribute-lft-out--_binary64_18444` `sqrt-prod_binary64_1458` `add-cbrt-cube_binary64_20915` `add-cbrt-cube_binary64_14095`
168×	`cbrt-div_binary64_19547` `times-frac_binary64_23954` `add-sqr-sqrt_binary64_782`
167×	`sqrt-prod_binary64_5891` `add-sqr-sqrt_binary64_8625` `add-exp-log_binary64_17848`
166×	`*-un-lft-identity_binary64_9285` `difference-of-squares_binary64_21871`
165×	`add-cube-cbrt_binary64_17845` `add-cbrt-cube_binary64_18869`
162×	`flip--_binary64_16080` `times-frac_binary64_17816` `associate-/r*_binary64_10593` `cbrt-prod_binary64_450` `flip3--_binary64_16109`
160×	`associate-/r/_binary64_10595`
159×	`associate-r_binary64_10589` `add-cbrt-cube_binary64_17846` `*-un-lft-identity_binary64_7921` `add-exp-log_binary64_11369`
158×	`-un-lft-identity_binary64_3488` `add-cube-cbrt_binary64_19550` `difference-of-squares_binary64_11982` `pow1_binary64_11051` `-un-lft-identity_binary64_7580`
156×	`distribute-lft-out_binary64_16056` `frac-times_binary64_19525`
155×	`add-cube-cbrt_binary64_1136` `log-prod_binary64_1869` `associate-l_binary64_12295`
154×	`add-exp-log_binary64_15120`
153×	`cancel-sign-sub-inv_binary64_10956` `*-un-lft-identity_binary64_8603` `pow1_binary64_20940`
152×	`associate-/r*_binary64_6842`
151×	`add-cbrt-cube_binary64_12049` `pow1_binary64_16166` `add-sqr-sqrt_binary64_21583`
150×	`add-sqr-sqrt_binary64_9307` `prod-exp_binary64_10698` `add-exp-log_binary64_17166`
149×	`add-sqr-sqrt_binary64_17150` `add-sqr-sqrt_binary64_6238` `add-sqr-sqrt_binary64_7602` `flip--_binary64_19490` `cancel-sign-sub-inv_binary64_5841` `flip3--_binary64_19519` `times-frac_binary64_19521` `add-cube-cbrt_binary64_20914`
148×	`frac-times_binary64_11000` `add-cbrt-cube_binary64_11367` `-un-lft-identity_binary64_1442` `associate-/r_binary64_18436`
147×	`add-cbrt-cube_binary64_17505` `add-cbrt-cube_binary64_11708` `add-sqr-sqrt_binary64_100`
146×	`add-cbrt-cube_binary64_14436` `associate-*l/_binary64_362` `sqrt-prod_binary64_11688` `add-exp-log_binary64_10005`
145×	`add-sqr-sqrt_binary64_7943`
144×	`add-sqr-sqrt_binary64_9648` `cbrt-unprod_binary64_12387` `associate-/r/_binary64_6844`
143×	`add-sqr-sqrt_binary64_13058` `*-un-lft-identity_binary64_22584`
142×	`add-cbrt-cube_binary64_13072` `div-exp_binary64_12746`
141×	`add-exp-log_binary64_15802`
140×	`associate-l_binary64_4793` `frac-add_binary64_427` `add-cbrt-cube_binary64_17164`
139×	`distribute-lft-in_binary64_11962` `pow1_binary64_480` `distribute-rgt-in_binary64_11963`
138×	`pow1_binary64_4913` `*-un-lft-identity_binary64_78`
137×	`associate-/r*_binary64_23210`
136×	`frac-sub_binary64_9635` `distribute-lft-out--_binary64_4804`
135×	`add-cbrt-cube_binary64_16482` `add-exp-log_binary64_16484` `add-exp-log_binary64_5913` `add-exp-log_binary64_4890` `add-cube-cbrt_binary64_23983`
134×	`pow1_binary64_19917` `pow1_binary64_18553`
133×	`add-cube-cbrt_binary64_8638` `associate-r_binary64_4792`
132×	`add-exp-log_binary64_2503`
131×	`distribute-lft-in_binary64_1732` `times-frac_binary64_1107` `distribute-rgt-in_binary64_1733` `*-un-lft-identity_binary64_13036`
130×	`pow1_binary64_9346`
129×	`add-cbrt-cube_binary64_15800`
128×	`pow1_binary64_5254` `associate-*r/_binary64_361` `cbrt-prod_binary64_12726`
127×	`times-frac_binary64_766` `add-exp-log_binary64_457` `associate-l_binary64_360` `associate-r_binary64_15704`
126×	`cbrt-prod_binary64_14772` `cbrt-prod_binary64_14090`
125×	`associate-l_binary64_10590` `add-log-exp_binary64_11711` `associate-r_binary64_13999` `*-un-lft-identity_binary64_17128`
124×	`log-prod_binary64_9371`
123×	`pow1_binary64_14461`
122×	`sqrt-prod_binary64_4527` `cbrt-prod_binary64_4883` `cancel-sign-sub-inv_binary64_11638` `add-exp-log_binary64_10346` `distribute-lft-out--_binary64_15034`
121×	`pow1_binary64_3208` `difference-of-squares_binary64_15051` `add-cube-cbrt_binary64_3523`
120×	`add-cbrt-cube_binary64_15118` `*-un-lft-identity_binary64_9626` `pow1_binary64_12074`
119×	`add-cube-cbrt_binary64_9320` `cbrt-prod_binary64_10680` `pow1_binary64_15484`
118×	`sqrt-prod_binary64_4868` `add-cbrt-cube_binary64_10003` `flip3-+_binary64_422` `add-exp-log_binary64_5231` `pow1_binary64_5936` `flip-+_binary64_393` `cbrt-undiv_binary64_12729`
117×	`associate-l_binary64_15364` `add-exp-log_binary64_1139` `add-sqr-sqrt_binary64_1805` `pow1_binary64_17189` `cbrt-undiv_binary64_10683`
116×	`add-cbrt-cube_binary64_5911` `add-cbrt-cube_binary64_2501` `add-cbrt-cube_binary64_455` `*-un-lft-identity_binary64_6216`
115×	`add-log-exp_binary64_16144` `associate-r_binary64_19114` `add-exp-log_binary64_8300` `associate-/r*_binary64_18095`
114×	`log-prod_binary64_12440` `add-cube-cbrt_binary64_13071` `*-un-lft-identity_binary64_1783` `add-exp-log_binary64_21258` `add-cube-cbrt_binary64_113`
113×	`add-cube-cbrt_binary64_1477` `add-cbrt-cube_binary64_23302` `add-exp-log_binary64_23304` `pow1_binary64_2185` `pow1_binary64_8664` `cbrt-prod_binary64_3178`
112×	`add-cube-cbrt_binary64_7615` `associate-r_binary64_11612` `difference-of-squares_binary64_4480` `pow1_binary64_17530`
111×	`add-cbrt-cube_binary64_4888` `add-log-exp_binary64_11029` `add-exp-log_binary64_8641` `pow1_binary64_10710` `pow1_binary64_18894`
110×	`unpow-prod-down_binary64_16184` `add-cbrt-cube_binary64_1478` `times-frac_binary64_5881` `cube-prod_binary64_16133` `add-exp-log_binary64_1480`
109×	`add-cbrt-cube_binary64_10344`
108×	`distribute-rgt-in_binary64_5825` `add-exp-log_binary64_19553` `associate-/r/_binary64_14687` `distribute-lft-in_binary64_5824`
107×	`associate-r_binary64_15022` `add-log-exp_binary64_458` `add-cube-cbrt_binary64_17163` `distribute-lft-out--_binary64_13670` `difference-of-squares_binary64_13687`
106×	`add-cbrt-cube_binary64_19551` `associate-/r_binary64_9911` `associate-r/_binary64_9568` `associate-r_binary64_17409` `add-cube-cbrt_binary64_9661`
105×	`-un-lft-identity_binary64_22925` `add-cbrt-cube_binary64_8639` `cancel-sign-sub-inv_binary64_2772` `associate-l_binary64_18433` `associate-/r/_binary64_18779` `-un-lft-identity_binary64_21561` `add-cbrt-cube_binary64_1137`
104×	`difference-of-squares_binary64_10959` `add-exp-log_binary64_21940`
103×	`associate-r_binary64_18432` `add-sqr-sqrt_binary64`
102×	`add-cbrt-cube_binary64_21256` `distribute-lft-out_binary64_21853` `pow1_binary64_11733` `flip3--_binary64_15427` `flip--_binary64_15398` `add-sqr-sqrt_binary64_4192` `cancel-sign-sub-inv_binary64_11297` `cbrt-div_binary64_15455` `associate-r_binary64_19796` `pow1_binary64_20599`
101×	`frac-times_binary64_16115` `cbrt-prod_binary64_16818` `add-exp-log_binary64_20576` `add-cube-cbrt_binary64_22619` `add-cbrt-cube_binary64_20574` `distribute-lft-out_binary64_15374`
100×	`associate-r_binary64_2405` `add-cube-cbrt_binary64_1818` `flip--_binary64_394` `cbrt-prod_binary64_6247` `flip3--_binary64_423` `times-frac_binary64` `add-exp-log_binary64_3185` `distribute-lft-out--_binary64_2758`
99×	`times-frac_binary64_22590` `associate-r_binary64_359` `pow1_binary64_7641`
98×	`prod-exp_binary64_19223` `prod-exp_binary64_11039` `associate-/r_binary64_15708` `add-cube-cbrt_binary64_7956` `associate-r/_binary64_10250` `prod-exp_binary64_12744` `cbrt-div_binary64_17160` `associate-/r_binary64_15367` `associate-r/_binary64_10932`
97×	`associate-r_binary64_5815` `*-un-lft-identity_binary64`
96×	`pow1_binary64_1503` `associate-r_binary64_18773` `associate-l/_binary64_10933` `add-cube-cbrt_binary64_21596` `pow-prod-down_binary64_12425` `associate-r*_binary64_18091` `add-sqr-sqrt_binary64_22265`
95×	`add-log-exp_binary64_18872` `add-sqr-sqrt_binary64_22947` `add-exp-log_binary64_7618`
94×	`distribute-lft-out--_binary64_23218` `add-sqr-sqrt_binary64_5215` `cbrt-unprod_binary64_11023` `cbrt-unprod_binary64_19207`
93×	`swap-sqr_binary64_21869` `add-sqr-sqrt_binary64_6579` `associate-/l*_binary64_10594` `pow1_binary64_21963` `times-frac_binary64_8609` `sqrt-prod_binary64_8619` `associate--l+_binary64_3425` `add-exp-log_binary64_4208`
92×	`add-exp-log_binary64_6936` `difference-of-squares_binary64_4821` `add-exp-log_binary64_2844` `times-frac_binary64_13042`
91×	`distribute-lft-out--_binary64_14011` `difference-of-squares_binary64_23235` `cbrt-prod_binary64_11703` `difference-of-squares_binary64_14028` `associate-r_binary64_17068` `associate-/r*_binary64_11275` `add-exp-log_binary64_20235`
90×	`pow1_binary64_12756` `cbrt-prod_binary64_23979` `add-exp-log_binary64_2162` `associate-r_binary64_13658` `div-exp_binary64_14451` `add-cbrt-cube_binary64_2160`
89×	`-un-lft-identity_binary64_6557` `add-exp-log_binary64_6595` `associate-l*_binary64_2406` `flip3-+_binary64_10652` `flip-+_binary64_10623` `add-exp-log_binary64_13415` `unpow-prod-down_binary64_12433`
88×	`add-exp-log_binary64_14779` `times-frac_binary64_9632` `difference-of-squares_binary64_2775` `add-cube-cbrt_binary64_795`
87×	`pow1_binary64_10369` `log-prod_binary64_505` `cbrt-div_binary64_14091` `add-log-exp_binary64_2504` `add-exp-log_binary64_4549` `prod-exp_binary64_15472` `add-cbrt-cube_binary64_6593` `log-prod_binary64_10735` `distribute-rgt-in_binary64_3438` `distribute-lft-in_binary64_3437`
86×	`pow1_binary64_1162` `associate-r_binary64_4451` `distribute-lft-out--_binary64_21172` `associate-/r*_binary64_18777` `cancel-sign-sub-inv_binary64_3454` `cbrt-prod_binary64_15454` `difference-of-squares_binary64_21189` `cbrt-unprod_binary64_12728` `div-inv_binary64_18489`
85×	`prod-exp_binary64_16154` `pow1_binary64_6618` `div-exp_binary64_13769` `pow1_binary64_11392` `prod-exp_binary64_14108` `add-cbrt-cube_binary64_8298` `times-frac_binary64_20885`
84×	`add-cbrt-cube_binary64_4206` `add-exp-log_binary64_116` `associate-/r_binary64_16049` `add-exp-log_binary64_8982` `log-prod_binary64_11758` `associate-l*_binary64_11954`
83×	`cbrt-unprod_binary64_15456` `add-log-exp_binary64_4550` `cbrt-prod_binary64_109` `pow1_binary64_4572` `pow1_binary64_139` `distribute-lft-out--_binary64_10942` `distribute-lft-out--_binary64_11965` `flip--_binary64_6873` `associate-r_binary64_9907` `flip3--_binary64_6902`
82×	`distribute-lft-out_binary64_18784` `associate-r_binary64_12976` `associate-r_binary64_2064` `prod-exp_binary64_20928` `add-cube-cbrt_binary64_6251` `frac-times_binary64_9636` `pow1_binary64_18212`
81×	`cbrt-prod_binary64_1814` `add-cbrt-cube_binary64_3183` `pow-prod-down_binary64_19245` `prod-exp_binary64_19905`
80×	`distribute-lft-in_binary64_12303` `cbrt-unprod_binary64_20912` `cbrt-unprod_binary64_10682` `add-cbrt-cube_binary64_5229` `distribute-rgt-in_binary64_12304` `associate-r_binary64_2746`
79×	`cbrt-unprod_binary64_14092` `add-cbrt-cube_binary64_114` `associate-r_binary64_10248` `add-cbrt-cube_binary64_4547` `add-cbrt-cube_binary64_7616` `associate-r_binary64_20137` `associate-r_binary64_23888`
78×	`associate-r_binary64_1382` `log-prod_binary64_2551` `associate-r_binary64_3087` `add-log-exp_binary64_15462` `add-cbrt-cube_binary64_20233` `prod-exp_binary64_18541` `associate-r_binary64_19455` `associate-l_binary64_19115` `times-frac_binary64_7927` `add-exp-log_binary64_23645` `pow1_binary64_21622` `log-prod_binary64_21988`
77×	`add-log-exp_binary64_19213` `pow1_binary64_15825` `add-log-exp_binary64_4891` `pow1_binary64_13097` `associate-l_binary64_3088` `pow1_binary64_16848` `add-sqr-sqrt_binary64_3851`
76×	`associate-r/_binary64_19457` `pow1_binary64_21281` `cancel-sign-sub-inv_binary64_9592` `add-cbrt-cube_binary64_2842` `associate-/r_binary64_11957` `-un-lft-identity_binary64_4170` `associate-/r_binary64_19800` `associate-r_binary64_21160` `cancel-sign-sub-inv_binary64_19481` `associate-r_binary64_21842`
75×	`add-log-exp_binary64_3527` `add-log-exp_binary64_19554` `add-cbrt-cube_binary64_21938` `prod-exp_binary64_13767` `pow-prod-down_binary64_20950` `cancel-sign-sub-inv_binary64_22550` `cbrt-prod_binary64_5906` `sqrt-prod_binary64_776`
74×	`add-log-exp_binary64_3186` `div-inv_binary64_6895` `sqrt-prod_binary64_21577` `distribute-rgt-in_binary64_16055` `distribute-lft-in_binary64_9234` `flip3-+_binary64_9629` `div-inv_binary64_18830` `flip-+_binary64_9600` `distribute-rgt-in_binary64_9235` `distribute-lft-in_binary64_16054` `add-log-exp_binary64_117` `associate-*r/_binary64_15365`
73×	`cbrt-undiv_binary64_13752` `pow-prod-down_binary64_14130` `cbrt-unprod_binary64_19889` `associate-/r*_binary64_14685` `add-cbrt-cube_binary64_13413` `distribute-lft-out--_binary64_4463` `cbrt-unprod_binary64_16138` `div-inv_binary64_14397`
72×	`cbrt-unprod_binary64_18525` `add-exp-log_binary64_21599` `associate-r/_binary64_14001` `associate-+l+_binary64_9218` `associate-r*_binary64_21501`
71×	`div-exp_binary64_18543` `associate-/r*_binary64_8206` `div-exp_binary64_18884` `add-log-exp_binary64_18531` `pow1_binary64_6277` `add-cube-cbrt_binary64_6592` `div-exp_binary64_18202`
70×	`add-cbrt-cube_binary64_14777` `-un-lft-identity_binary64_22243` `add-exp-log_binary64_16825` `pow1_binary64_19576` `cbrt-undiv_binary64_12388` `div-inv_binary64_14738` `add-log-exp_binary64_12393` `add-log-exp_binary64_19895` `-un-lft-identity_binary64_5193` `flip3--_binary64_14745` `flip--_binary64_14716` `associate-l_binary64_11613` `associate-r_binary64_8543`
69×	`unswap-sqr_binary64_12322` `add-log-exp_binary64_16826` `add-cube-cbrt_binary64_4205` `log-prod_binary64_3574` `associate-*r/_binary64_17070` `frac-times_binary64_12705` `associate-/r/_binary64_15369`
68×	`associate-l_binary64_15705` `cancel-sign-sub-inv_binary64_10274` `prod-exp_binary64_13085` `associate-r_binary64_14681` `add-exp-log_binary64_22281` `add-cbrt-cube_binary64_6934`
67×	`add-log-exp_binary64_11370` `difference-of-squares_binary64_19143` `distribute-lft-out--_binary64_19126` `associate-l_binary64_20820` `pow1_binary64_2867` `associate-/l*_binary64_18437` `distribute-lft-out--_binary64_8896` `cbrt-prod_binary64_12385` `difference-of-squares_binary64_8913` `add-cbrt-cube_binary64_22279` `div-exp_binary64_15474`
66×	`add-log-exp_binary64_9324` `associate-r_binary64_11271` `pow1_binary64_4231` `associate-+l+_binary64_1716` `flip--_binary64_18808` `cancel-sign-sub-inv_binary64_19140` `pow1_binary64_16507` `pow1_binary64_20258` `flip3--_binary64_18837`
65×	`flip--_binary64_10965` `add-cbrt-cube_binary64_16823` `add-log-exp_binary64_14098` `distribute-lft-in_binary64_15031` `pow1_binary64_3549` `flip3--_binary64_10994` `add-cbrt-cube_binary64_8980` `unpow-prod-down_binary64_5954` `add-cbrt-cube_binary64_22961` `cbrt-prod_binary64_5565` `add-exp-log_binary64_22963` `distribute-rgt-in_binary64_15032` `associate-r_binary64_1041` `add-cbrt-cube_binary64_21597`
64×	`add-sqr-sqrt_binary64_5556` `sqrt-div_binary64_9643` `pow1_binary64_17871` `cancel-sign-sub-inv_binary64_18458` `associate-r_binary64_9566` `frac-times_binary64_429` `associate-/r/_binary64_16051` `flip3-+_binary64_3150` `difference-of-squares_binary64_16415` `pow-prod-down_binary64_5264` `flip-+_binary64_3121`
63×	`associate-/l_binary64_18096` `cbrt-unprod_binary64_13751` `add-log-exp_binary64_17508` `add-cube-cbrt_binary64_22960` `associate-r*_binary64_20819` `sqrt-prod_binary64_10665`
62×	`add-sqr-sqrt_binary64_7261` `cbrt-prod_binary64_17159` `pow1_binary64_15143` `cbrt-unprod_binary64_5226` `pow1_binary64_1844` `associate-/l*_binary64_15368` `unpow-prod-down_binary64_24027` `add-log-exp_binary64_12052` `prod-exp_binary64_5242` `add-cube-cbrt_binary64_5228` `div-exp_binary64_19907` `add-exp-log_binary64_9323`
61×	`add-cbrt-cube_binary64_9321` `cbrt-prod_binary64_17500` `div-inv_binary64_12010` `associate--r+_binary64_9562`
60×	`flip--_binary64_14034` `distribute-rgt-in_binary64_369` `cbrt-prod_binary64_19205` `flip3--_binary64_14063` `distribute-lft-in_binary64_368` `associate-r_binary64_22865` `cbrt-prod_binary64_7611` `add-log-exp_binary64_2845` `prod-exp_binary64_5924`
59×	`associate-/l_binary64_18778` `associate-l*_binary64_1042` `add-exp-log_binary64_3526` `cbrt-undiv_binary64_15457`
58×	`associate-/r_binary64_21164` `associate-l_binary64_14000` `prod-exp_binary64_14449` `cbrt-div_binary64_3179` `associate-r_binary64_3428` `associate-l_binary64_16387` `associate-/r/_binary64_23212` `pow1/3_binary64_4934` `cbrt-prod_binary64_5224` `associate-l_binary64_14341` `associate-r/_binary64_20139` `associate-l_binary64_18774` `pow1_binary64_13779`
57×	`associate-l_binary64_21843` `add-cube-cbrt_binary64` `cancel-sign-sub-inv_binary64_17435` `pow-exp_binary64_12422` `associate-/l_binary64_19801` `pow-to-exp_binary64_12423` `pow1_binary64_22304` `associate-r/_binary64_16047` `associate-l_binary64_17069`
56×	`add-cbrt-cube_binary64_3524` `associate-r_binary64_4110` `associate-/r_binary64_17754` `cube-prod_binary64_23976` `prod-exp_binary64_18200` `add-log-exp_binary64_7619` `cancel-sign-sub-inv_binary64_7546` `add-log-exp_binary64_8642` `associate-l/_binary64_19458` `add-log-exp_binary64_10347`
55×	`distribute-rgt-in_binary64_11622` `add-log-exp_binary64_16485` `add-log-exp_binary64_17849` `associate-l/_binary64_16048` `add-log-exp_binary64_5914` `add-log-exp_binary64_10688` `distribute-lft-in_binary64_2414` `pow-prod-down_binary64_18563` `distribute-lft-in_binary64_11621` `prod-exp_binary64_17518` `associate-l_binary64_5816` `div-inv_binary64_18148` `cbrt-undiv_binary64_18185` `distribute-rgt-in_binary64_2415` `associate-/r_binary64_8888`
54×	`add-log-exp_binary64_17167` `associate-l_binary64_10931` `distribute-rgt-in_binary64_7530` `flip3--_binary64_9630` `associate-r_binary64_22524` `add-log-exp_binary64_21259` `flip--_binary64_9601` `div-inv_binary64_13715` `distribute-lft-in_binary64_7529` `pow-prod-down_binary64_2536` `pow1_binary64_3890`
53×	`associate-/r_binary64_4455` `times-frac_binary64_22931` `div-exp_binary64_11041` `cbrt-undiv_binary64_18526` `associate-/l_binary64_19119` `distribute-lft-out_binary64_19807` `cbrt-div_binary64_2838` `add-log-exp_binary64_1140` `div-exp_binary64_16156` `pow1_binary64_7982` `prod-exp_binary64_17177` `cbrt-unprod_binary64_17161` `associate-/r*_binary64_11616`
52×	`pow1_binary64_14802` `pow-prod-down_binary64_20609` `associate-l_binary64_15023` `cbrt-unprod_binary64_20571` `add-exp-log_binary64_7959` `associate-l_binary64_21502` `associate-l_binary64_10249` `associate-r_binary64_13317` `sqrt-div_binary64_2141` `pow1_binary64_13438` `add-exp-log_binary64_22622` `associate-/r_binary64_16390` `associate-/l_binary64_11617` `sqrt-pow1_binary64_1460` `div-exp_binary64_10018` `prod-exp_binary64_20587` `cbrt-div_binary64_19888` `prod-exp_binary64_15131`
51×	`pow-prod-down_binary64_19927` `associate-/r/_binary64_13664` `associate-l_binary64_11272` `associate-r_binary64_700` `associate-l_binary64_6157` `sqrt-prod_binary64_3163` `cbrt-prod_binary64_19887` `pow-prod-down_binary64_11061` `associate-l_binary64_9908` `associate-l_binary64_19797`
50×	`-un-lft-identity_binary64_7239` `cbrt-prod_binary64_8634` `add-cbrt-cube_binary64_22620` `associate-/r_binary64_15026` `associate-r_binary64_5133` `difference-of-squares_binary64_388` `flip3--_binary64_17473` `unswap-sqr_binary64_10617` `add-exp-log_binary64_6254` `associate-r/_binary64_3430` `cbrt-prod_binary64_4542` `flip--_binary64_17444` `div-exp_binary64_17520` `cancel-sign-sub-inv_binary64_18799` `add-log-exp_binary64_14439` `log-prod_binary64_11076` `associate-l*_binary64_20138` `div-inv_binary64_9964` `cbrt-unprod_binary64_18184`
49×	`associate-/l_binary64_13322` `cancel-sign-sub-inv_binary64_20163` `cbrt-undiv_binary64_19890` `cbrt-undiv_binary64_11024` `add-cube-cbrt_binary64_3864` `associate-r_binary64_16386` `associate-+r+_binary64_351` `add-log-exp_binary64_8301` `-un-lft-identity_binary64_3829` `unswap-sqr_binary64_16073`
48×	`associate-/r_binary64_2068` `add-exp-log_binary64_9664` `distribute-rgt-in_binary64_10258` `associate-/l_binary64_13663` `distribute-lft-in_binary64_10257` `unswap-sqr_binary64_15391` `associate-r_binary64_6156` `div-inv_binary64_11669` `cbrt-unprod_binary64_5908` `associate-r/_binary64_17411` `associate-/r_binary64_21846` `associate-l_binary64_19456` `associate-+r+_binary64_9217` `add-cube-cbrt_binary64_22278` `prod-exp_binary64_18882` `add-log-exp_binary64_6937`
47×	`add-log-exp_binary64_20918` `sqrt-prod_binary64` `add-sqr-sqrt_binary64_20560` `cbrt-undiv_binary64_16139` `associate-r_binary64_17750` `sub-neg_binary64_16098` `div-inv_binary64_15420`
46×	`difference-of-squares_binary64_2434` `cbrt-unprod_binary64_13069` `add-cbrt-cube_binary64_7957` `associate-+r+_binary64_15014` `add-log-exp_binary64_18190` `distribute-lft-out--_binary64_19808` `associate-/l*_binary64_9912` `div-inv_binary64_8941` `add-cbrt-cube_binary64_9662`
45×	`associate-l/_binary64_14002` `div-exp_binary64_23658` `add-exp-log_binary64_24327` `associate-l_binary64_17410` `add-exp-log_binary64_1821` `frac-sub_binary64_10317` `associate-r/_binary64_11955` `frac-times_binary64_14069` `pow1_binary64_9005`
44×	`distribute-rgt-in_binary64_19465` `frac-times_binary64_15433` `distribute-lft-in_binary64_19464` `associate-+r+_binary64_2738` `distribute-lft-out_binary64_4803` `associate-/r_binary64_14344` `unswap-sqr_binary64_3115` `cancel-sign-sub-inv_binary64_20845` `div-inv_binary64_11328` `add-log-exp_binary64_15121` `distribute-rgt-in_binary64_2756` `flip3-+_binary64_1104` `distribute-lft-in_binary64_2755` `associate-/l_binary64_15709` `associate-l/_binary64_4795` `cbrt-div_binary64_16819` `associate-r*_binary64_22183` `flip-+_binary64_1075` `cbrt-unprod_binary64_18866` `cbrt-prod_binary64_3860`
43×	`distribute-lft-in_binary64_9575` `sqrt-prod_binary64_19531` `distribute-rgt-in_binary64_9576` `pow1_binary64_22645` `prod-exp_binary64_8652` `cbrt-prod_binary64_3519` `flip3--_binary64_12699` `flip--_binary64_12670` `cbrt-unprod_binary64_8636` `associate-/l_binary64_14686` `times-frac_binary64_3153` `associate-/r/_binary64_11277` `cbrt-prod_binary64_14431` `associate-r*_binary64_7520` `add-log-exp_binary64_13075` `add-log-exp_binary64_13757` `div-inv_binary64_10987` `div-inv_binary64_16102`
42×	`add-cbrt-cube_binary64_1819` `associate-r_binary64_7861` `distribute-lft-in_binary64_20828` `associate-l_binary64_16728` `pow-prod-down_binary64_5946` `times-frac_binary64_1448` `add-log-exp_binary64_15803` `add-cube-cbrt_binary64_7274` `cancel-sign-sub-inv_binary64_385` `cbrt-undiv_binary64_17844` `sqrt-prod_binary64_2481` `div-exp_binary64_17861` `associate-/r/_binary64_8890` `cbrt-unprod_binary64_14433` `associate-r_binary64_20478` `distribute-rgt-in_binary64_20829` `add-cbrt-cube_binary64_6252` `associate-/r/_binary64_23553` `add-log-exp_binary64_1822` `div-exp_binary64_11723`
41×	`unswap-sqr_binary64_12663` `distribute-lft-out_binary64_17761` `pow-prod-down_binary64_16176` `frac-times_binary64_4862` `add-log-exp_binary64_12734` `associate-r_binary64_8202` `associate-l_binary64_21161` `associate-/l_binary64_6843` `associate-/r/_binary64_2752` `associate-/l_binary64_11958` `div-exp_binary64_12064` `div-exp_binary64_13087` `add-log-exp_binary64_13416` `pow1_binary64_10028` `div-exp_binary64_8313` `sqr-pow_binary64_12326` `difference-of-squares_binary64_16756`
40×	`distribute-lft-in_binary64_21169` `associate-/l_binary64_11276` `associate-r_binary64_9225` `add-cube-cbrt_binary64_5569` `prod-exp_binary64_2514` `div-inv_binary64_23604` `prod-exp_binary64_4219` `cancel-sign-sub-inv_binary64_16412` `flip--_binary64_17103` `flip3--_binary64_17132` `cbrt-unprod_binary64_15797` `times-frac_binary64_7586` `-un-lft-identity_binary64_5534` `frac-times_binary64_17138` `associate-/l_binary64_23211` `cube-prod_binary64_5903` `distribute-rgt-in_binary64_21170` `difference-of-squares_binary64_729` `associate-l*_binary64_9226` `prod-exp_binary64_15813`
39×	`cbrt-unprod_binary64_1475` `associate-l_binary64_8885` `distribute-lft-out_binary64_16738` `associate-/r_binary64_23551` `prod-exp_binary64_1491` `cbrt-prod_binary64_9316` `cancel-sign-sub-inv_binary64_7887` `associate-l/_binary64_2408` `cbrt-unprod_binary64_17502` `prod-exp_binary64_468` `pow1_binary64_8323` `unswap-sqr_binary64_11981` `add-log-exp_binary64_1481` `div-inv_binary64_19853` `add-log-exp_binary64_9665` `pow-prod-down_binary64_15494` `pow-prod-down_binary64_8674` `associate-/r_binary64_17413` `associate-/r_binary64_10934` `swap-sqr_binary64_16413`
38×	`associate-r/_binary64_12296` `associate-l_binary64_1383` `associate-l_binary64_7521` `flip-+_binary64_11305` `associate--l+_binary64_1720` `associate-r/_binary64_5817` `cube-prod_binary64_4539` `pow-prod-down_binary64_14471` `cbrt-unprod_binary64_15115` `-un-lft-identity_binary64_20538` `add-log-exp_binary64_7960` `distribute-rgt-in_binary64_20147` `unpow-prod-down_binary64_4590` `cbrt-unprod_binary64_6590` `flip3-+_binary64_11334` `associate-r/_binary64_20821` `prod-exp_binary64_6606` `distribute-lft-in_binary64_20146` `flip--_binary64_18467` `add-cube-cbrt_binary64_20573` `pow-prod-down_binary64_7651` `cancel-sign-sub-inv_binary64_9933` `pow-prod-down_binary64_6628` `flip3--_binary64_18496` `add-log-exp_binary64_14780` `add-cbrt-cube_binary64_23643` `add-log-exp_binary64_2163` `add-exp-log_binary64_23986`
37×	`prod-exp_binary64_12062` `associate-/l_binary64_8207` `associate-l_binary64_3429` `div-exp_binary64_11382` `add-exp-log_binary64_3867` `associate-/l_binary64_16050` `div-inv_binary64_8259` `distribute-lft-out_binary64_9918` `add-log-exp_binary64_5232` `pow-prod-down_binary64_17199` `cbrt-undiv_binary64_18867` `associate-*l/_binary64_12638` `cbrt-undiv_binary64_10001`
36×	`-commutative_binary64_12285` `cbrt-prod_binary64_18182` `associate-l_binary64_22525` `associate-/r/_binary64_15710` `prod-exp_binary64_7629` `pow1/3_binary64_6298` `associate-/r_binary64_13321` `associate-/l_binary64_19460` `cbrt-unprod_binary64_17843` `distribute-lft-in_binary64_22533` `associate-r/_binary64_10591` `div-inv_binary64_23263` `distribute-rgt-in_binary64_22534` `add-log-exp_binary64_20236` `associate-/r_binary64_2409` `div-inv_binary64_24286` `cbrt-unprod_binary64_7613` `prod-exp_binary64_17859` `cbrt-div_binary64_14432` `associate-/r_binary64_10252` `difference-of-squares_binary64_19825` `prod-exp_binary64_4901` `log-prod_binary64_164` `cancel-sign-sub-inv_binary64_21186` `exp-prod_binary64_24000` `associate-r/_binary64_14342` `pow1_binary64_6959` `add-cbrt-cube_binary64_23984` `distribute-neg-frac_binary64_383` `associate-r_binary64_6838` `associate-/r/_binary64_19120` `associate-l*_binary64_14682` `sqrt-prod_binary64_14075`
35×	`flip3--_binary64_4856` `associate-/r/_binary64_21848` `distribute-rgt-in_binary64_10599` `flip3--_binary64_20201` `div-exp_binary64_23317` `add-log-exp_binary64_6255` `distribute-lft-in_binary64_10598` `pow-prod-down_binary64_490` `cbrt-unprod_binary64_452` `flip--_binary64_4827` `add-log-exp_binary64_10006` `flip--_binary64_20172` `cbrt-undiv_binary64_23300` `difference-of-squares_binary64_8231` `pow-prod-down_binary64_18904` `associate-l_binary64_6839` `associate-/l_binary64_14345` `add-log-exp_binary64_21941` `add-log-exp_binary64_23305` `add-cbrt-cube_binary64_24325` `associate-r*_binary64_16727` `associate-/l/_binary64_18439`
34×	`unswap-sqr_binary64_2433` `flip3-+_binary64_2809` `cbrt-unprod_binary64_4203` `associate-/r_binary64_14003` `cbrt-div_binary64_5566` `associate-r/_binary64_16729` `cancel-sign-sub-inv_binary64_14366` `associate-l_binary64_19` `cbrt-prod_binary64_10339` `sqrt-prod_binary64_7937` `pow1_binary64_23327` `swap-sqr_binary64_3114` `cbrt-unprod_binary64_2498` `associate-l_binary64_13659` `cancel-sign-sub-inv_binary64_19822` `times-frac_binary64_6563` `times-frac_binary64_21567` `sqrt-prod_binary64_16121` `sqrt-div_binary64_13394` `sqrt-pow1_binary64_2483` `cbrt-undiv_binary64_16480` `associate-r_binary64_18` `sqrt-div_binary64_3164` `associate-l_binary64_12977` `pow1_binary64_7300` `add-log-exp_binary64_6596` `flip-+_binary64_2780` `add-exp-log_binary64_7277` `div-exp_binary64_16497` `associate-+l+_binary64_12287` `div-exp_binary64_6949` `add-log-exp_binary64_4209`
33×	`associate-r/_binary64_22526` `cbrt-prod_binary64_1473` `associate-/r/_binary64_10936` `cbrt-prod_binary64_6588` `associate-l_binary64_22184` `cbrt-undiv_binary64_14434` `rec-exp_binary64_10699` `associate-l_binary64_4111` `associate-/r_binary64_20141` `associate-r_binary64_8884` `associate-+r+_binary64_10` `prod-exp_binary64_21269` `prod-exp_binary64_1150` `unswap-sqr_binary64_4820` `cbrt-unprod_binary64_21253` `sqrt-prod_binary64_435` `sqrt-prod_binary64_17485` `associate-r/_binary64_22867` `associate-/l_binary64_12299` `pow-prod-down_binary64_9356` `div-exp_binary64_19225` `1-exp_binary64_10693` `cbrt-div_binary64_14773` `associate-/r_binary64_2750` `associate-l*_binary64_7862`
32×	`pow1_binary64_22986` `add-cbrt-cube_binary64_7275` `tanh-def-c_binary64_10497` `distribute-lft-out_binary64_10941` `associate-+l+_binary64_2398` `associate-l/_binary64_19117` `flip--_binary64_13693` `div-inv_binary64_15079` `tanh-def-b_binary64_10496` `tanh-def-a_binary64_10495` `swap-sqr_binary64_2432` `distribute-lft-out--_binary64_371` `frac-sub_binary64_428` `associate-r/_binary64_4794` `associate-/r*_binary64_16731` `swap-sqr_binary64_4819` `distribute-lft-out_binary64_23899` `flip3--_binary64_13722` `pow-prod-down_binary64_17540` `pow-prod-down_binary64_2195` `div-inv_binary64_16443`
31×	`times-frac_binary64_4176` `associate-l_binary64_5134` `flip3-+_binary64_2127` `pow-prod-down_binary64_4923` `prod-exp_binary64_11721` `cbrt-unprod_binary64_12046` `add-exp-log_binary64_798` `distribute-lft-out_binary64_18443` `cbrt-undiv_binary64_11706` `flip-+_binary64_16761` `flip3--_binary64_19178` `prod-exp_binary64_10357` `flip-+_binary64_22899` `associate-l_binary64_2747` `cbrt-unprod_binary64_1134` `flip3-+_binary64_16790` `pow1/3_binary64_2888` `pow1/3_binary64_3229` `associate-*r/_binary64_12978` `associate--l+_binary64_11609` `distribute-lft-out_binary64_2416` `flip-+_binary64_2098` `cbrt-undiv_binary64_11365` `flip3-+_binary64_22928` `flip--_binary64_19149` `frac-add_binary64_19864`
30×	`associate-l_binary64_20479` `associate-l_binary64_2065` `sqrt-div_binary64_4869` `associate-l/_binary64_20822` `associate-/r_binary64_12298` `associate-+r+_binary64_3420` `cbrt-unprod_binary64_4885` `distribute-lft-in_binary64_17418` `add-log-exp_binary64_21600` `cube-prod_binary64_11700` `unpow-prod-down_binary64_11751` `distribute-lft-out--_binary64_16739` `sub-neg_binary64_5868` `pow1/3_binary64_501` `sqrt-pow1_binary64_9303` `prod-exp_binary64_21610` `flip3--_binary64_2810` `associate-l_binary64_22866` `sqrt-div_binary64_4528` `associate-/r_binary64_1045` `flip--_binary64_2781` `sub-neg_binary64_3481` `div-exp_binary64_15133` `cancel-sign-sub-inv_binary64_15389` `associate-l*_binary64_8203` `cbrt-prod_binary64_20910` `distribute-rgt-in_binary64_17419`
29×	`associate-l_binary64_9567` `associate-l_binary64_8544` `cancel-sign-sub-inv_binary64_22209` `swap-sqr_binary64_14708` `add-cbrt-cube_binary64_796` `flip--_binary64_15739` `diff-log_binary64_11764` `pow-prod-down_binary64_1172` `cbrt-unprod_binary64_10341` `add-exp-log_binary64` `pow-prod-down_binary64_4241` `flip--_binary64_8919` `flip3--_binary64_8948` `associate-/r_binary64_24233` `div-exp_binary64_14792` `difference-of-squares_binary64_10277` `pow1/3_binary64_2547` `cbrt-prod_binary64_13749` `sum-log_binary64_16196` `flip3--_binary64_15768` `div-inv_binary64_19171` `-commutative_binary64_16036` `sub-neg_binary64_20190` `associate-/r/_binary64_18438` `associate-l/_binary64_9569` `associate-/r_binary64_19118` `unswap-sqr_binary64_14368` `associate-+l+_binary64_3421`
28×	`distribute-lft-out_binary64_20148` `distribute-rgt-in_binary64_28` `cancel-sign-sub-inv_binary64_8228` `cbrt-unprod_binary64_22276` `pow1_binary64_9687` `add-log-exp_binary64_3868` `flip3-+_binary64_4855` `associate-l/_binary64_21163` `flip-+_binary64_4826` `associate-/r/_binary64_19802` `cbrt-undiv_binary64_13070` `sqrt-prod_binary64_20895` `cancel-sign-sub-inv_binary64_16753` `associate-+l+_binary64_5808` `sqrt-div_binary64_22942` `sub-neg_binary64_19508` `distribute-lft-out--_binary64_10260` `distribute-rgt-in_binary64_10940` `prod-exp_binary64_22292` `associate-/l_binary64_17414` `log-prod_binary64_9712` `distribute-lft-in_binary64_10939` `unswap-sqr_binary64_387` `flip--_binary64_19831` `associate-l_binary64_17751` `associate-+l+_binary64_22517` `cbrt-div_binary64_17501` `cbrt-div_binary64_7271` `associate-/r/_binary64_13323` `associate-r_binary64` `flip3--_binary64_19860` `cbrt-div_binary64_16137` `associate-*r/_binary64_12637` `distribute-lft-in_binary64_27` `pow-prod-down_binary64_10720` `cbrt-undiv_binary64_19208` `associate-+r+_binary64_19447`
27×	`unswap-sqr_binary64_11640` `flip3-+_binary64_3491` `flip-+_binary64_19830` `div-inv_binary64_15761` `cbrt-unprod_binary64_11364` `prod-exp_binary64_11380` `sqrt-prod_binary64_17826` `pow1/2_binary64_1522` `flip3-+_binary64_16108` `cbrt-unprod_binary64_16479` `associate-/r/_binary64_18097` `flip3--_binary64_23611` `flip-+_binary64_3462` `associate-l/_binary64_12297` `associate-+l+_binary64_11605` `flip--_binary64_23582` `prod-exp_binary64_16495` `associate-/r_binary64_20823` `unpow-prod-down_binary64_1862` `associate-+r+_binary64_1715` `associate-/r/_binary64_2070` `pow-prod-down_binary64_12084` `flip-+_binary64_16079` `flip3-+_binary64_19859`
26×	`distribute-rgt-in_binary64_15373` `flip3-+_binary64_9288` `log-prod_binary64_10394` `associate--l+_binary64_10586` `distribute-lft-out_binary64_9236` `associate-/l_binary64_2751` `distribute-lft-in_binary64_15372` `flip--_binary64_11647` `associate-/r/_binary64_15028` `flip-+_binary64_2439` `flip-+_binary64_9259` `flip3-+_binary64_13380` `swap-sqr_binary64_6183` `sqrt-div_binary64_23283` `associate-/r/_binary64_23894` `div-exp_binary64_15815` `associate-r_binary64_7179` `cbrt-undiv_binary64_12047` `flip-+_binary64_13351` `sub-neg_binary64_7573` `associate-r/_binary64_15706` `pow-prod-down_binary64_15835` `sub-neg_binary64_15416` `flip3--_binary64_11676` `prod-exp_binary64_19564` `cbrt-undiv_binary64_15798` `cbrt-unprod_binary64_19548` `distribute-lft-out_binary64_7872` `distribute-rgt-in_binary64_18442` `flip3-+_binary64_2468` `pow-prod-down_binary64_21291` `distribute-lft-in_binary64_18441`
25×	`-commutative_binary64_350` `times-frac_binary64_17134` `associate-/l_binary64_23552` `cbrt-undiv_binary64_8296` `associate-/l_binary64_15027` `associate-r/_binary64_1043` `pow-prod-down_binary64_13107` `cbrt-unprod_binary64_11705` `prod-exp_binary64_10016` `div-inv_binary64_2803` `div-exp_binary64_8995` `sqrt-prod_binary64_16803` `add-log-exp_binary64_23987` `flip3--_binary64_5879` `flip3-+_binary64_14403` `sqrt-prod_binary64_18167` `cbrt-prod_binary64_6929` `flip--_binary64_22559` `pow-prod-down_binary64_18222` `flip--_binary64_21195` `flip-+_binary64_14374` `flip3--_binary64_21224` `flip3-+_binary64_23269` `associate-l_binary64_6498` `cbrt-prod_binary64_13067` `add-cbrt-cube_binary64_3865` `sqrt-pow1_binary64_5893` `flip3--_binary64_22588` `cancel-sign-sub-inv_binary64_4818` `associate-/l_binary64_16391` `cbrt-div_binary64_21934` `associate-r/_binary64_3089` `pow1/3_binary64_21984` `cancel-sign-sub-inv_binary64_23232` `flip-+_binary64_23240` `flip--_binary64_5850` `cbrt-prod_binary64_17841`
24×	`prod-exp_binary64_2173` `associate-/l_binary64_10935` `distribute-rgt-in_binary64_14009` `sub-neg_binary64_20872` `distribute-lft-in_binary64_14008` `unswap-sqr_binary64_21529` `flip--_binary64_16762` `associate-r/_binary64_7181` `sub-neg_binary64_10301` `add-log-exp_binary64_22623` `associate-+r+_binary64_10240` `cbrt-undiv_binary64_17503` `sum-log_binary64_2556` `cbrt-undiv_binary64_15116` `prod-exp_binary64_20246` `cbrt-unprod_binary64_20230` `sqrt-prod_binary64_3845` `associate-/r/_binary64_21166` `flip3--_binary64_16791` `pow-prod-down_binary64_21632` `cancel-sign-sub-inv_binary64_14025` `pow-prod-down_binary64_22314` `cbrt-unprod_binary64_2157` `cbrt-div_binary64_3520` `cancel-sign-sub-inv_binary64_3113` `distribute-lft-in_binary64_22192` `distribute-lft-in_binary64_14349` `cbrt-unprod_binary64_21594` `log-prod_binary64_22329` `associate-/l*_binary64_17755` `associate-/r/_binary64_17415` `flip--_binary64_21877` `distribute-rgt-in_binary64_14350` `cbrt-div_binary64_451` `flip3--_binary64_21906` `distribute-rgt-in_binary64_22193` `frac-times_binary64_18502`
23×	`distribute-rgt-in_binary64_9917` `associate-r/_binary64_2066` `associate-/l_binary64_8889` `associate-r/_binary64_11273` `difference-of-squares_binary64_22553` `div-inv_binary64_12351` `sum-log_binary64_4602` `associate-/l_binary64_20824` `pow-prod-down_binary64_1513` `distribute-lft-in_binary64_9916` `difference-of-squares_binary64_19484` `flip3--_binary64_3492` `associate-r_binary64_1723` `flip-+_binary64_15738` `associate-/r/_binary64_9913` `add-log-exp_binary64_7278` `cancel-sign-sub-inv_binary64_7205` `flip-+_binary64_20853` `flip-+_binary64_17102` `flip--_binary64_3463` `associate-l_binary64_3770` `pow1_binary64_5595` `flip3-+_binary64_17131` `distribute-lft-out_binary64_16397` `unswap-sqr_binary64_1410` `flip3-+_binary64_20882` `distribute-lft-out_binary64_711` `log-pow_binary64_9374` `associate-l_binary64_1724` `flip3-+_binary64_15767` `pow1/3_binary64_14823`
22×	`flip3-+_binary64_10993` `cbrt-prod_binary64_7270` `flip3--_binary64_7584` `pow1_binary64_24009` `flip--_binary64_7555` `flip-+_binary64_4485` `unswap-sqr_binary64_17096` `flip3-+_binary64_17813` `distribute-lft-out--_binary64_2076` `pow1/3_binary64_5275` `pow1/3_binary64_16869` `pow-prod-down_binary64_3218` `flip-+_binary64_17784` `add-exp-log_binary64_5572` `associate-l_binary64` `div-exp_binary64_13428` `associate-+l+_binary64_352` `associate-/r/_binary64_11959` `flip3-+_binary64_4514` `frac-times_binary64_3157` `sqrt-div_binary64_14076` `associate-/r/_binary64_20825` `div-exp_binary64_10359` `distribute-lft-out--_binary64_2417` `-commutative_binary64_19105` `cbrt-prod_binary64_13408` `cancel-sign-sub-inv_binary64_1408` `div-inv_binary64_17807` `sqrt-div_binary64_8620` `flip-+_binary64_19148` `div-exp_binary64_24340` `frac-add_binary64_9634` `cube-div_binary64_10337` `sqrt-div_binary64_17486` `associate-l/_binary64_9228` `pow1/3_binary64_17210` `flip-+_binary64_10964` `flip3-+_binary64_19177` `swap-sqr_binary64_14367`
21×	`prod-exp_binary64_3196` `cancel-sign-sub-inv_binary64_44` `associate-+r+_binary64_10922` `associate-l_binary64_18092` `associate-l_binary64_7180` `associate-l/_binary64_15366` `pow-prod-down_binary64_20268` `pow-prod-down_binary64_12766` `div-inv_binary64_17466` `associate-/l/_binary64_15370` `1-exp_binary64_14444` `flip--_binary64_15057` `div-inv_binary64_21899` `prod-exp_binary64_127` `associate-/r/_binary64_1047` `cbrt-unprod_binary64_111` `clear-num_binary64_12694` `flip3--_binary64_15086` `flip3-+_binary64_763` `unpow-prod-down_binary64_3226` `associate-r/_binary64_17752` `flip-+_binary64_734` `pow1/3_binary64_3911` `cancel-sign-sub-inv_binary64_6523` `associate-l/_binary64_15707` `difference-of-squares_binary64_17438` `rec-exp_binary64_14450` `pow-prod-down_binary64_149` `flip--_binary64_7214` `flip3--_binary64_7243` `frac-2neg_binary64_12706` `associate-/l/_binary64_12642` `associate-r_binary64_6497` `cbrt-undiv_binary64_6932` `distribute-rgt-in_binary64_16737` `associate-+l+_binary64_10923` `associate-/l_binary64_10253` `distribute-lft-in_binary64_16736`
20×	`distribute-lft-out--_binary64_17421` `difference-of-squares_binary64_11300` `cbrt-undiv_binary64_19549` `associate-/l_binary64_705` `-commutative_binary64_20810` `flip3--_binary64_20883` `cbrt-undiv_binary64_21254` `unpow-prod-down_binary64_16866` `associate-+r+_binary64_20129` `associate-l_binary64_4452` `cbrt-undiv_binary64_10342` `associate-l/_binary64_5818` `rem-sqrt-square_binary64_1455` `pow-pow_binary64_24020` `cbrt-div_binary64_6589` `distribute-lft-in_binary64_1391` `div-exp_binary64_19566` `exp-sum_binary64_10354` `flip-+_binary64_14033` `pow-prod-down_binary64_21973` `distribute-lft-out--_binary64_712` `associate-l/_binary64_17071` `distribute-rgt-in_binary64_4802` `prod-exp_binary64_21951` `flip--_binary64_20854` `sqrt-pow1_binary64_3165` `cancel-sign-sub-inv_binary64_2090` `div-exp_binary64_21271` `pow1/3_binary64_7662` `associate-r/_binary64_19116` `associate-/l_binary64_2069` `associate-/l/_binary64_16052` `distribute-rgt-in_binary64_1392` `associate-/l_binary64_21165` `distribute-lft-in_binary64_4801` `sub-neg_binary64_18826` `associate-/l_binary64_14004` `frac-times_binary64_15774` `pow1/2_binary64_3227` `associate-r_binary64_3769` `cbrt-prod_binary64_21251` `associate-l_binary64_23207` `cbrt-undiv_binary64_14775` `flip3-+_binary64_14062` `associate-/l/_binary64_10596` `sub-neg_binary64_412`
19×	`cbrt-prod_binary64_21592` `sum-log_binary64_9376` `distribute-lft-out--_binary64_22536` `times-frac_binary64_22249` `-commutative_binary64_4783` `-commutative_binary64_13990` `prod-exp_binary64_22974` `flip--_binary64_6191` `associate-+r+_binary64_16037` `flip3--_binary64_23270` `cbrt-unprod_binary64_8977` `unswap-sqr_binary64_19142` `unswap-sqr_binary64_20847` `cbrt-unprod_binary64_22958` `flip--_binary64_23241` `distribute-lft-in_binary64_21851` `flip3-+_binary64_7583` `distribute-lft-out_binary64_22876` `-commutative_binary64_15354` `distribute-lft-out--_binary64_16398` `cancel-sign-sub-inv_binary64_4477` `add-cbrt-cube_binary64` `sqrt-prod_binary64_6232` `associate-+r+_binary64_2397` `frac-times_binary64_14410` `-commutative_binary64_17059` `flip-+_binary64_7554` `cbrt-div_binary64_20911` `pow-prod-down_binary64_11402` `sum-log_binary64_11763` `-commutative_binary64_18423` `associate--l+_binary64_19452` `distribute-rgt-in_binary64_21852` `pow1_binary64_821` `unswap-sqr_binary64_10958` `unswap-sqr_binary64_6184` `prod-exp_binary64_8993` `-commutative_binary64_2396` `div-inv_binary64_13374` `associate-r_binary64_23206` `div-inv_binary64_14056` `flip3--_binary64_6220` `pow1/3_binary64_160` `times-frac_binary64_84` `sqrt-prod_binary64_22600` `associate-r/_binary64_13660` `associate-r/_binary64_15024` `cbrt-unprod_binary64_10000` `diff-log_binary64_18925`
18×	`distribute-lft-out_binary64_7531` `unswap-sqr_binary64_17437` `frac-2neg_binary64_19867` `flip3-+_binary64_7924` `div-exp_binary64_14110` `associate-/l_binary64_4456` `frac-2neg_binary64_13729` `difference-of-squares_binary64_14369` `div-inv_binary64_2462` `sqrt-prod_binary64_16462` `associate-+r+_binary64_4784` `flip3-+_binary64_18836` `unswap-sqr_binary64_9935` `cancel-sign-sub-inv_binary64_13343` `flip-+_binary64_7895` `pow-prod-down_binary64_10379` `unswap-sqr_binary64_19824` `swap-sqr_binary64_3796` `unswap-sqr_binary64_1069` `unpow-prod-down_binary64_21640` `clear-num_binary64_10648` `sum-log_binary64_11081` `exp-sum_binary64_3534` `cbrt-div_binary64_792` `pow-prod-down_binary64_11743` `add-log-exp_binary64_5573` `flip3-+_binary64_18154` `-commutative_binary64_10580` `distribute-lft-in_binary64_8893` `associate--r+_binary64_11608` `sub-neg_binary64_17462` `pow1/3_binary64_8685` `-commutative_binary64_1032` `-commutative_binary64_5806` `swap-sqr_binary64_11980` `flip-+_binary64_18807` `associate-/r/_binary64_4798` `sum-log_binary64_510` `pow-prod-down_binary64_15153` `frac-2neg_binary64_18162` `frac-2neg_binary64_10660` `clear-num_binary64_23265` `distribute-lft-out_binary64_11964` `cbrt-div_binary64_6248` `frac-2neg_binary64_23277` `flip3--_binary64_10312` `flip--_binary64_10283` `cbrt-div_binary64_4884` `cancel-sign-sub-inv_binary64_8910` `cbrt-div_binary64_6930` `unpow-prod-down_binary64_11410` `exp-sum_binary64_9672` `cbrt-unprod_binary64_21935` `frac-times_binary64_2816` `div-inv_binary64_4508` `distribute-rgt-in_binary64_8894` `cancel-sign-sub-inv_binary64_1749` `unswap-sqr_binary64_18460` `cbrt-div_binary64_13750` `sqrt-div_binary64_16804` `clear-num_binary64_18150` `prod-exp_binary64_8311` `unpow-prod-down_binary64_157` `associate-r/_binary64_7522` `cbrt-div_binary64_7612` `pow1/3_binary64_14482` `clear-num_binary64_13717` `associate-l/_binary64_10592` `associate-/l/_binary64_18098` `flip-+_binary64_18125` `-commutative_binary64_11944` `associate-/r_binary64_4796` `cbrt-div_binary64_22616` `clear-num_binary64_19855` `sum-log_binary64_3579` `unpow-prod-down_binary64_12092` `add-log-exp_binary64_23646`
17×	`associate-l_binary64_5475` `associate-/l_binary64_21847` `pow-prod-down_binary64_9015` `frac-times_binary64_6908` `diff-log_binary64_11082` `associate-r/_binary64_4453` `unswap-sqr_binary64_15050` `associate-l_binary64_13318` `flip-+_binary64_23922` `div-exp_binary64_21953` `add-log-exp_binary64_799` `sum-log_binary64_3238` `flip3-+_binary64_23951` `unswap-sqr_binary64_21870` `unswap-sqr_binary64_11299` `cosh-def_binary64_13222` `flip-+_binary64_5508` `unpow-prod-down_binary64_21981` `flip-+_binary64_16420` `difference-of-squares_binary64_22212` `unswap-sqr_binary64_4138` `associate-/l_binary64_24234` `cbrt-unprod_binary64_3180` `associate-/r/_binary64_14005` `associate-+r+_binary64_21152` `flip3-+_binary64_16449` `frac-times_binary64_19866` `flip3-+_binary64_5537` `distribute-lft-out_binary64` `unswap-sqr_binary64_20165` `associate-l/_binary64_22186` `add-log-exp_binary64_20577` `associate-/r/_binary64_16392` `sub-neg_binary64_10983` `div-exp_binary64_2857` `-commutative_binary64_11262` `unpow-prod-down_binary64_23004` `pow1/3_binary64_11072` `swap-sqr_binary64_386` `cube-prod_binary64_22953` `associate-r/_binary64_18434`
16×	`associate-/r_binary64_704` `rec-exp_binary64_17519` `unswap-sqr_binary64_2774` `rec-exp_binary64_18883` `flip3--_binary64_12017` `associate-+r+_binary64_5807` `associate-r/_binary64_19798` `flip--_binary64_11988` `unswap-sqr_binary64_15732` `exp-prod_binary64_4563` `-commutative_binary64_20469` `frac-times_binary64_17479` `clear-num_binary64_18491` `unswap-sqr_binary64_2092` `-commutative_binary64_19787` `cancel-sign-sub-inv_binary64_9251` `sqrt-div_binary64_6233` `prod-exp_binary64_23315` `div-exp_binary64_1152` `associate-/l_binary64_23893` `difference-of-squares_binary64_23917` `sqrt-div_binary64_22601` `pow-prod-up_binary64_2535` `clear-num_binary64_18832` `add-log-exp_binary64_22282` `sqrt-pow1_binary64_12031` `flip-+_binary64_9941` `associate-/l_binary64_16732` `difference-of-squares_binary64_5844` `add-log-exp_binary64_24328` `associate-l/_binary64_13661` `cbrt-undiv_binary64_13411` `cbrt-prod_binary64_20228` `frac-times_binary64_16456` `distribute-rgt-in_binary64_16396` `flip3--_binary64_14404` `associate-+l+_binary64_19448` `unswap-sqr_binary64_14709` `associate-+l+_binary64_7513` `sqrt-div_binary64_7938` `prod-exp_binary64_13426` `1-exp_binary64_17513` `cbrt-unprod_binary64_13410` `associate-/l/_binary64_15711` `sqrt-div_binary64_2482` `unswap-sqr_binary64_14027` `unswap-sqr_binary64_10276` `sum-log_binary64_19606` `pow1/3_binary64_5616` `cbrt-unprod_binary64_23299` `sqrt-div_binary64_3846` `associate-/r/_binary64_8549` `frac-2neg_binary64_11342` `associate-/r/_binary64_12300` `distribute-lft-in_binary64_12985` `sqrt-div_binary64_16122` `distribute-rgt-in_binary64_12986` `distribute-lft-out_binary64_18102` `flip--_binary64_14375` `frac-2neg_binary64_18503` `sqrt-div_binary64_17827` `difference-of-squares_binary64_6185` `cbrt-undiv_binary64_8978` `flip3-+_binary64_9970` `associate--l+_binary64_15` `associate-/r/_binary64_706` `unswap-sqr_binary64_9594` `frac-2neg_binary64_18844` `clear-num_binary64_11330` `frac-times_binary64_22935` `associate-+r+_binary64_20811` `swap-sqr_binary64_2091` `distribute-rgt-in_binary64_7189` `pow-prod-up_binary64_3217` `distribute-lft-in_binary64_7188` `associate-/l_binary64_1046` `add-log-exp_binary64_8983` `swap-sqr_binary64_17095` `unswap-sqr_binary64_5843` `1-exp_binary64_18877` `unpow-prod-down_binary64_5613` `distribute-lft-in_binary64_16395` `distribute-lft-out--_binary64_3440` `pow-prod-down_binary64_6287`
15×	`add-cbrt-cube_binary64_5570` `distribute-lft-in_binary64_15713` `associate-/r_binary64_12980` `distribute-rgt-in_binary64_15714` `frac-2neg_binary64_17821` `pow1/2_binary64_2204` `pow-prod-down_binary64_4582` `prod-exp_binary64_22633` `cbrt-unprod_binary64_22617` `distribute-lft-out--_binary64_18785` `clear-num_binary64_17809` `associate-/r/_binary64_11618` `unpow-prod-down_binary64_17548` `cbrt-unprod_binary64_4544` `div-exp_binary64_17179` `sqrt-pow1_binary64_2142` `swap-sqr_binary64_1409` `distribute-rgt-out_binary64_20150` `-commutative_binary64_3078` `cbrt-undiv_binary64_14093` `flip-+_binary64_13010` `sum-log_binary64_169` `add-log-exp_binary64_22964` `unswap-sqr_binary64_7548` `associate--l+_binary64_356` `distribute-lft-in_binary64_3096` `diff-log_binary64_511` `associate-/l/_binary64_13665` `cbrt-undiv_binary64_23641` `distribute-rgt-in_binary64_3097` `unswap-sqr_binary64` `cancel-sign-sub-inv_binary64_12320` `pow1/3_binary64_19256` `log-pow_binary64_11079` `unswap-sqr_binary64_16414` `cbrt-undiv_binary64_17162` `sub-neg_binary64_11665` `div-inv_binary64_10305` `flip3-+_binary64_13039` `prod-exp_binary64_4560` `associate-/r*_binary64_8547`
14×	`flip-+_binary64_6531` `-commutative_binary64_20128` `unswap-sqr_binary64_19483` `flip-+_binary64_12328` `unswap-sqr_binary64_18801` `distribute-rgt-in_binary64_19124` `pow-prod-down_binary64_19586` `associate-l/_binary64_11274` `flip3-+_binary64_19518` `div-exp_binary64_20930` `distribute-lft-in_binary64_19123` `flip-+_binary64_18466` `flip3-+_binary64_6901` `clear-num_binary64_12012` `flip3-+_binary64_18495` `distribute-rgt-in_binary64_7871` `associate-l/_binary64_7523` `associate-/l_binary64_12981` `sqrt-pow1_binary64_4529` `unswap-sqr_binary64_13004` `pow1_binary64_23668` `difference-of-squares_binary64_3457` `difference-of-squares_binary64_13346` `unswap-sqr_binary64_5502` `associate-r/_binary64_9909` `distribute-lft-out--_binary64_11283` `flip--_binary64_2099` `sqrt-div_binary64_436` `associate-/r/_binary64_22871` `clear-num_binary64_11671` `-commutative_binary64_17400` `sqrt-div_binary64_11007` `pow1/2_binary64_2545` `flip-+_binary64_6872` `associate-/l_binary64_2410` `cbrt-undiv_binary64_24323` `cbrt-undiv_binary64_20913` `distribute-lft-out--_binary64_6168` `flip3--_binary64_2128` `swap-sqr_binary64_19823` `distribute-lft-in_binary64_7870` `pow1/3_binary64_17551` `associate-r/_binary64_16388` `associate-l/_binary64_1044` `pow1/2_binary64_4591` `frac-times_binary64_13046` `sub-neg_binary64_9619` `frac-2neg_binary64_11683` `associate-r/_binary64_6158` `sum-log_binary64_21311` `associate-/r_binary64_19459` `frac-2neg_binary64_12024` `rem-sqrt-square_binary64_12026` `frac-times_binary64_12364` `-commutative_binary64_11603` `flip-+_binary64_19489` `frac-add_binary64_16454` `pow-prod-down_binary64_1854` `flip3-+_binary64_12357` `flip3-+_binary64_6560` `sub-neg_binary64_18485` `associate-/l/_binary64_20826`
13×	`sqrt-prod_binary64_22941` `difference-of-squares_binary64_10618` `pow1/3_binary64_11754` `cbrt-undiv_binary64_1476` `flip--_binary64_4486` `flip-+_binary64_11987` `div-exp_binary64_4562` `-commutative_binary64_12967` `flip3-+_binary64_15426` `associate--l+_binary64_12291` `-commutative_binary64_14331` `pow1/3_binary64_10731` `unswap-sqr_binary64_21188` `cbrt-unprod_binary64_1816` `div-inv_binary64_21217` `div-inv_binary64_23945` `distribute-lft-out--_binary64_13329` `frac-2neg_binary64_9978` `distribute-lft-out--_binary64_1394` `associate-/r/_binary64_16733` `cbrt-unprod_binary64_9318` `swap-sqr_binary64_16754` `unswap-sqr_binary64_5161` `associate-r_binary64_24229` `associate-/r/_binary64_4457` `+-commutative_binary64_16035` `frac-add_binary64_15431` `distribute-lft-out--_binary64_8214` `associate-/l_binary64_20142` `associate-/r/_binary64_20143` `cube-prod_binary64_21930` `associate-/r/_binary64_8208` `pow1/3_binary64_15505` `clear-num_binary64_9966` `-commutative_binary64_19446` `flip3-+_binary64_12016` `associate-r_binary64_23547` `associate-l/_binary64_16389` `flip3--_binary64_4515` `flip3--_binary64_8607` `difference-of-squares_binary64_20848` `pow-prod-down_binary64_22655` `-commutative_binary64_10921` `pow1/3_binary64_3570` `distribute-rgt-in_binary64_1051` `distribute-lft-in_binary64_1050` `div-exp_binary64_20248` `associate-+r+_binary64_7512` `log-pow_binary64_508` `associate-/l_binary64_4797` `div-inv_binary64_13033` `associate-l/_binary64_14343` `prod-exp_binary64_9334` `distribute-lft-out--_binary64_10601` `distribute-lft-out_binary64_11282` `-commutative_binary64_12626` `unswap-sqr_binary64_3456` `distribute-lft-out--_binary64_19467` `div-exp_binary64_1493` `-commutative_binary64_15695` `prod-exp_binary64_1832` `associate-/r/_binary64_2411` `log-pow_binary64_21991` `sub-neg_binary64_7232` `distribute-lft-out--_binary64_20831` `flip-+_binary64_15397` `flip--_binary64_8578` `*-commutative_binary64_21492`
12×	`clear-num_binary64_15763` `prod-exp_binary64_6265` `difference-of-squares_binary64_12323` `sum-log_binary64_15514` `associate-r_binary64_5474` `pow1/2_binary64_14139` `-commutative_binary64_15013` `cancel-sign-sub-inv_binary64_6182` `flip3--_binary64_8266` `associate-/r_binary64_23892` `cbrt-unprod_binary64_8295` `sqrt-pow1_binary64_14077` `sqrt-prod_binary64_9301` `frac-times_binary64_7590` `swap-sqr_binary64_8570` `associate-/r_binary64_3091` `frac-2neg_binary64_15775` `sub-neg_binary64_21213` `unpow-prod-down_binary64_498` `sub-neg_binary64_14393` `associate-r/_binary64_22185` `sum-log_binary64_1192` `pow-sqr_binary64_3120` `associate-l/_binary64_17412` `-commutative_binary64_7511` `unpow-prod-down_binary64_4249` `swap-sqr_binary64_12662` `distribute-lft-in_binary64_2073` `log-pow_binary64_1872` `pow1/2_binary64_12093` `associate-l/_binary64_18435` `cbrt-div_binary64_20229` `pow-sqr_binary64_2438` `sqrt-div_binary64_777` `unswap-sqr_binary64_6866` `pow-sqr_binary64_4825` `associate-+l+_binary64_15356` `div-exp_binary64_22976` `frac-add_binary64_9293` `associate-l/_binary64_12979` `pow-prod-up_binary64_4922` `associate-l/_binary64_3090` `difference-of-squares_binary64_1411` `distribute-rgt-in_binary64_8212` `associate-/r_binary64_7524` `associate-l/_binary64_2749` `+-commutative_binary64_9215` `1-exp_binary64_23651` `cbrt-prod_binary64_16477` `cbrt-undiv_binary64_2840` `distribute-lft-out_binary64_15033` `log-pow_binary64_10397` `cbrt-undiv_binary64_22959` `frac-add_binary64_20205` `frac-times_binary64_2134` `-commutative_binary64_18764` `frac-sub_binary64_19183` `-commutative_binary64_5124` `distribute-lft-in_binary64_8211` `associate-/l/_binary64_22872` `distribute-rgt-in_binary64_2074` `cancel-sign-sub-inv_binary64_2431` `cbrt-unprod_binary64_6249` `div-inv_binary64_22581` `associate-r/_binary64_8886` `associate-+r+_binary64_11604` `prod-exp_binary64_2855` `associate-r/_binary64_13319` `distribute-lft-out_binary64_17420` `pow-prod-down_binary64_13789` `unswap-sqr_binary64_7889` `prod-exp_binary64_6947` `flip3--_binary64_2469` `flip--_binary64_2440` `sub-neg_binary64_15075` `log-prod_binary64_9030` `difference-of-squares_binary64_9936` `swap-sqr_binary64_7547` `times-frac_binary64_9291` `pow1/3_binary64_1865` `prod-exp_binary64_9675` `unpow-prod-up_binary64_9704` `flip--_binary64_8237` `-commutative_binary64_21151` `frac-times_binary64_10659` `rec-exp_binary64_23657` `associate-+r+_binary64_12286` `cancel-sign-sub-inv_binary64_14707` `swap-sqr_binary64_2773`
11×	`associate-r/_binary64_6840` `flip3--_binary64_22247` `flip3--_binary64_18155` `prod-exp_binary64_3878` `div-exp_binary64_2175` `div-sub_binary64_18497` `div-inv_binary64_20194` `prod-exp_binary64_14790` `log-prod_binary64_3233` `cbrt-unprod_binary64_14774` `unswap-sqr_binary64_9253` `pow-prod-down_binary64_3559` `div-exp_binary64_2516` `-commutative_binary64_22174` `associate-/l/_binary64_18780` `flip3--_binary64_11335` `-commutative_binary64_1373` `prod-exp_binary64_7970` `-commutative_binary64_9216` `flip3-+_binary64_15085` `div-inv_binary64_2121` `sum-log_binary64_16878` `pow1/3_binary64_12436` `sqrt-prod_binary64_9642` `cbrt-prod_binary64_15795` `flip-+_binary64_15056` `flip3-+_binary64_81` `associate-r/_binary64_8204` `cbrt-div_binary64_12727` `flip--_binary64_22218` `swap-sqr_binary64_16072` `associate-/l/_binary64_12983` `associate-l/_binary64_23209` `cbrt-undiv_binary64_2158` `frac-sub_binary64_14750` `-commutative_binary64_18082` `sub-neg_binary64_22577` `prod-exp_binary64_3537` `distribute-lft-out--_binary64_11624` `unswap-sqr_binary64_16755` `cancel-sign-sub-inv_binary64_5159` `cbrt-div_binary64_10340` `-commutative_binary64_4101` `unswap-sqr_binary64_17778` `associate-*r/_binary64_21162` `pow1/2_binary64_9365` `pow1/2_binary64_5955` `sinh-def_binary64_12198` `flip--_binary64_16421` `associate-+l-_binary64_9220` `distribute-lft-out_binary64_14351` `associate-/r/_binary64_10254` `div-inv_binary64_19512` `sqrt-pow1_binary64_8621` `rem-sqrt-square_binary64_8616` `flip-+_binary64_52` `div-inv_binary64_20876` `sum-log_binary64_18924` `div-inv_binary64_1098` `flip-+_binary64_20171` `flip--_binary64_11306` `flip--_binary64_18126` `flip3--_binary64_16450` `cbrt-unprod_binary64_3521` `flip3-+_binary64_20200` `swap-sqr_binary64_7888`
10×	`associate-/r_binary64_6501` `-commutative_binary64_9` `sub-neg_binary64_16780` `div-exp_binary64_4903` `sum-log_binary64_8694` `unpow-prod-down_binary64_2203` `sum-log_binary64_18583` `associate-/l/_binary64_11960` `distribute-rgt-in_binary64_17760` `flip--_binary64_3804` `pow-flip_binary64_18907` `unswap-sqr_binary64_13686` `flip-+_binary64_17443` `+-commutative_binary64_15353` `pow1/2_binary64_16185` `associate-+l+_binary64_17743` `flip3-+_binary64_21223` `frac-2neg_binary64_16457` `swap-sqr_binary64_21528` `associate-r/_binary64_9227` `associate-/l_binary64_7525` `clear-num_binary64_15422` `div-inv_binary64_9623` `associate-+r+_binary64_14332` `sqrt-pow1_binary64_16805` `distribute-rgt-in_binary64_11281` `flip3--_binary64_3833` `sqrt-pow1_binary64_7939` `log-pow_binary64_2554` `flip3-+_binary64_8265` `cbrt-undiv_binary64_1135` `pow1/2_binary64_8001` `pow-prod-down_binary64_16858` `unswap-sqr_binary64_8571` `cube-prod_binary64_2152` `distribute-lft-out_binary64_4462` `sub-neg_binary64_8255` `distribute-rgt-in_binary64_18783` `unswap-sqr_binary64_22552` `sub-neg_binary64_12006` `frac-times_binary64_16797` `associate-l_binary64_701` `clear-num_binary64_16445` `sqrt-pow1_binary64_16123` `associate-/l/_binary64_14006` `+-commutative_binary64_8` `frac-times_binary64_19184` `pow-flip_binary64_13451` `distribute-lft-in_binary64_18782` `associate-r/_binary64_2748` `associate-r/_binary64_2407` `pow1_binary64_24350` `log-div_binary64_9372` `-commutative_binary64_3419` `unswap-sqr_binary64_3797` `log-pow_binary64_12443` `flip-+_binary64_8236` `associate-l/_binary64_18094` `sqrt-pow1_binary64_3847` `sqrt-div_binary64_10666` `associate-/l/_binary64_19803` `difference-of-squares_binary64_20166` `+-commutative_binary64_21150` `pow1/3_binary64_6639` `swap-sqr_binary64_5160` `distribute-lft-in_binary64_17759` `cbrt-unprod_binary64_9659` `div-inv_binary64_16784` `flip3-+_binary64_17472` `associate-/l/_binary64_11278` `unswap-sqr_binary64_46` `pow1/2_binary64_3909` `associate-/l_binary64_1387` `pow-prod-up_binary64_9355` `unswap-sqr_binary64_23916` `-commutative_binary64_6147` `cbrt-unprod_binary64_2839` `cancel-sign-sub-inv_binary64_18117` `frac-times_binary64_1111` `-commutative_binary64_8534` `sqrt-div_binary64_12030` `distribute-lft-out--_binary64_5827` `flip-+_binary64_21194` `distribute-lft-in_binary64_11280` `associate-r/_binary64_14683` `associate-/l_binary64_3092` `associate-+l+_binary64_8195` `div-exp_binary64` `frac-2neg_binary64_15434` `-commutative_binary64_10239` `pow-flip_binary64_21976`
9×	`flip--_binary64_9260` `pow1/2_binary64_21641` `associate-r/_binary64_21844` `associate-l/_binary64_6841` `clear-num_binary64_16104` `unswap-sqr_binary64_8912` `frac-2neg_binary64_12365` `pow1/2_binary64_16867` `cbrt-prod_binary64_1132` `associate-/r_binary64_9570` `associate--r+_binary64_18769` `flip3--_binary64_9289` `clear-num_binary64_12353` `pow-prod-down_binary64_7992` `sqrt-prod_binary64_5209` `difference-of-squares_binary64_47` `-commutative_binary64_21833` `sub-neg_binary64_4845` `sum-log_binary64_14150` `sqrt-prod_binary64_11006` `pow-prod-down_binary64_3900` `flip-+_binary64_10282` `associate-l_binary64_23889` `+-commutative_binary64_4782` `frac-times_binary64_14751` `1-exp_binary64_11716` `sqr-pow_binary64_3119` `pow1/3_binary64_6980` `unpow-prod-down_binary64_9364` `pow-prod-down_binary64_14812` `unswap-sqr_binary64_13345` `associate-/r_binary64_4114` `+-commutative_binary64_13989` `associate-/r_binary64_22869` `pow1/3_binary64_19938` `frac-2neg_binary64_17480` `clear-num_binary64_20878` `unswap-sqr_binary64_4479` `associate-/r_binary64_17072` `associate-r/_binary64_1384` `prod-exp_binary64_7288` `associate-l/_binary64_15025` `cancel-sign-sub-inv_binary64_4136` `unpow-prod-down_binary64_3567` `rem-sqrt-square_binary64_5888` `div-inv_binary64_4849` `distribute-lft-out_binary64_12987` `pow-unpow_binary64_155` `unswap-sqr_binary64_22893` `pow-prod-up_binary64_2194` `frac-2neg_binary64_20890` `difference-of-sqr--1_binary64_18804` `pow1/2_binary64_13457` `pow-prod-up_binary64_1512` `sum-log_binary64_19947` `pow-sqr_binary64_14373` `clear-num_binary64_19173` `-commutative_binary64_22515` `cbrt-unprod_binary64_7272` `unpow-prod-down_binary64_14138` `pow1/3_binary64_14141` `sinh-def_binary64_4696` `cbrt-prod_binary64_791` `distribute-lft-out_binary64_370` `sub-neg_binary64_71` `pow-prod-down_binary64_7310` `associate-/r_binary64` `cbrt-undiv_binary64_2499` `sqr-pow_binary64_1755` `log-pow_binary64_4600` `distribute-lft-out--_binary64_9919` `frac-2neg_binary64_16116` `cbrt-undiv_binary64_20231` `cbrt-undiv_binary64_4545` `clear-num_binary64_17468` `pow-prod-down_binary64_2877` `log-pow_binary64_11761` `rec-exp_binary64_11722` `sum-log_binary64_4943` `pow-prod-up_binary64_3899` `associate-r/_binary64_11614` `pow-prod-down_binary64_22996` `associate-/l/_binary64_14688` `sqrt-pow1_binary64_13395` `cbrt-prod_binary64_22615` `frac-2neg_binary64_19185` `associate-/r/_binary64_17756` `cbrt-div_binary64_12045` `associate-l/_binary64_8887` `sub-neg_binary64_12347` `distribute-lft-out--_binary64_14352` `flip-+_binary64_5849` `pow1/3_binary64_19597` `swap-sqr_binary64_1750` `pow-unpow_binary64_3224` `sqrt-pow1_binary64_21579` `unswap-sqr_binary64_8230` `cbrt-unprod_binary64_7954` `associate-/l/_binary64_9914` `-commutative_binary64_2055` `cbrt-prod_binary64_15113` `pow-prod-up_binary64_14470` `associate-+l+_binary64_6831` `flip3-+_binary64_5878` `flip3-+_binary64_10311` `pow1/3_binary64_13118` `associate-*l/_binary64_22868`
8×	`frac-2neg_binary64_14411` `+-commutative_binary64_4441` `associate-/l/_binary64_1048` `associate-r/_binary64_20` `frac-sub_binary64_3497` `distribute-lft-in_binary64_19805` `rem-log-exp_binary64_21943` `associate-/l_binary64_21506` `flip--_binary64_6532` `cbrt-unprod_binary64_16820` `pow-pow_binary64_21633` `associate-/l/_binary64_23895` `1-exp_binary64_12739` `frac-sub_binary64_12022` `sum-log_binary64_2897` `distribute-lft-in_binary64_13326` `associate-/l/_binary64_21167` `log-pow_binary64_9715` `frac-sub_binary64_15432` `distribute-lft-in_binary64_20487` `div-exp_binary64_8654` `div-sub_binary64_16110` `prod-exp_binary64_16836` `distribute-rgt-in_binary64_19806` `cbrt-prod_binary64_7952` `frac-times_binary64_5885` `associate-+l-_binary64_10925` `flip3--_binary64_6561` `-commutative_binary64_17741` `prod-exp_binary64` `swap-sqr_binary64_4478` `pow1/3_binary64_7321` `+-commutative_binary64_2736` `distribute-lft-out_binary64_17079` `+-commutative_binary64_3077` `associate-/r/_binary64_3093` `unswap-sqr_binary64_1751` `div-inv_binary64_8600` `rec-exp_binary64_12745` `diff-log_binary64_19607` `sub-neg_binary64_19849` `rem-sqrt-square_binary64_16800` `swap-sqr_binary64_14026` `flip3--_binary64_12358` `diff-log_binary64_19266` `sub-neg_binary64_1776` `unpow3_binary64_4577` `1-exp_binary64_18195` `1-exp_binary64_12057` `distribute-rgt-in_binary64_6166` `distribute-lft-in_binary64_14690` `sub-neg_binary64_6891` `diff-log_binary64_1875` `cancel-sign-sub-inv_binary64_20504` `clear-num_binary64_15081` `sum-log_binary64_13127` `clear-num_binary64_8261` `sum-log_binary64_7671` `sub-neg_binary64_20531` `+-commutative_binary64_10920` `clear-num_binary64_10989` `distribute-lft-out_binary64_8554` `rem-sqrt-square_binary64_4524` `diff-log_binary64_5967` `rem-sqrt-square_binary64_3160` `associate-+r+_binary64_12968` `frac-add_binary64_1109` `associate-/r_binary64_7865` `frac-add_binary64_3496` `1-exp_binary64_8306` `frac-times_binary64_6226` `distribute-lft-out_binary64_1734` `rec-exp_binary64_12063` `distribute-lft-out--_binary64_23900` `sub-neg_binary64_14052` `flip--_binary64_13352` `pow-prod-up_binary64_6286` `associate-+l+_binary64_18425` `pow-prod-down_binary64_17881` `distribute-lft-out--_binary64_12306` `distribute-rgt-in_binary64_14691` `clear-num_binary64_14399` `rem-sqrt-square_binary64_2137` `pow-flip_binary64_11064` `associate-r/_binary64_6499` `frac-sub_binary64_20206` `-commutative_binary64_13649` `rec-exp_binary64_8312` `associate-+r+_binary64_9899` `associate-l/_binary64_11615` `associate-/l/_binary64_23213` `associate-l/_binary64_18776` `pow-sqr_binary64_6189` `frac-add_binary64_5883` `flip--_binary64_53` `+-commutative_binary64_2395` `frac-2neg_binary64_8273` `associate-r/_binary64_18775` `frac-2neg_binary64_11001` `flip-+_binary64_4144` `flip3-+_binary64_4173` `cube-mult_binary64_4541` `cancel-sign-sub-inv_binary64_1067` `distribute-rgt-out_binary64_4464` `associate-+r+_binary64_4443` `associate-/l/_binary64_707` `associate--l+_binary64_12973` `flip--_binary64_12329` `frac-2neg_binary64_15093` `unpow-prod-up_binary64_3225` `distribute-rgt-in_binary64_20488` `associate-r/_binary64_20480` `associate-/r_binary64_1386` `associate--r+_binary64_17405` `exp-prod_binary64_7973` `distribute-lft-in_binary64_6165` `distribute-lft-out_binary64_1052` `cos-sum_binary64_19308` `associate-+r+_binary64_6148` `flip3--_binary64_13381` `div-exp_binary64_3198` `distribute-rgt-in_binary64_13327` `associate-/l/_binary64_15029` `pow-flip_binary64_11746` `associate-/l_binary64` `flip3--_binary64_82` `rec-exp_binary64_18201` `-commutative_binary64_8875` `-commutative_binary64_6488` `frac-add_binary64_2473` `cbrt-unprod_binary64_6931` `diff-log_binary64_6990` `associate--l+_binary64_14337` `associate-*r/_binary64_8545` `frac-times_binary64_22594` `associate--l+_binary64_15360` `difference-of-sqr-1_binary64_23918` `sub-neg_binary64_3140` `exp-prod_binary64_20931` `sub-neg_binary64_19167` `sqr-pow_binary64_21533` `distribute-lft-out--_binary64_22195`
7×	`sqrt-prod_binary64_17144` `-commutative_binary64_7170` `distribute-lft-out_binary64_29` `pow-sqr_binary64_2097` `frac-2neg_binary64_13388` `pow-exp_binary64_5943` `difference-of-squares_binary64_11641` `clear-num_binary64_2805` `associate-/l_binary64_4115` `div-inv_binary64_22922` `log-prod_binary64_24034` `flip3--_binary64_17814` `associate-/l_binary64_9571` `flip3-+_binary64_11675` `sum-log_binary64_14832` `associate-r/_binary64_4112` `pow-prod-down_binary64_10038` `cancel-sign-sub-inv_binary64_8569` `frac-2neg_binary64_2817` `unswap-sqr_binary64_728` `cbrt-undiv_binary64_8637` `sum-log_binary64_19265` `associate-/l_binary64_8548` `-commutative_binary64_2737` `cbrt-undiv_binary64_16821` `+-commutative_binary64_3418` `pow-prod-up_binary64_21631` `1-exp_binary64_13080` `unswap-sqr_binary64_7207` `sqrt-prod_binary64_21236` `div-inv_binary64_7918` `cbrt-unprod_binary64_3862` `associate-/l/_binary64_13324` `sqrt-prod_binary64_12370` `sum-log_binary64_6989` `sqrt-prod_binary64_8960` `associate-/l_binary64_6502` `div-exp_binary64_9677` `difference-of-squares_binary64_18802` `difference-of-sqr-1_binary64_389` `flip3--_binary64_4174` `flip--_binary64_4145` `sum-log_binary64_8012` `rec-exp_binary64_13086` `frac-2neg_binary64_14752` `log-div_binary64_11077` `div-exp_binary64_23999` `associate-/l/_binary64_16393` `-commutative_binary64_4442` `frac-add_binary64_10998` `cbrt-div_binary64_2497` `rec-exp_binary64_10017` `pow1/3_binary64_12777` `sum-log_binary64_14491` `unswap-sqr_binary64_18119` `div-inv_binary64_1439` `flip3--_binary64_1446` `rec-exp_binary64_19906` `pow1/3_binary64_1524` `cbrt-undiv_binary64_9660` `distribute-lft-out--_binary64_30` `frac-2neg_binary64_6909` `1-exp_binary64_19900` `cbrt-undiv_binary64_4886` `sub-neg_binary64_22236` `clear-num_binary64_14740` `distribute-lft-out_binary64_15715` `div-sub_binary64_15769` `swap-sqr_binary64_19482` `cbrt-undiv_binary64_23982` `sqrt-prod_binary64_1117` `sum-log_binary64_9717` `-commutative_binary64_1714` `div-exp_binary64_16838` `associate-/r_binary64_22` `-commutative_binary64_9898` `flip--_binary64_17785` `unswap-sqr_binary64_6525` `sum-log_binary64_10399` `distribute-lft-out--_binary64_9237` `clear-num_binary64_13376` `diff-log_binary64_8354` `distribute-lft-in_binary64_22874` `+-commutative_binary64_19445` `cbrt-prod_binary64_19546` `flip--_binary64_1417` `sqrt-prod_binary64_94` `1-exp_binary64_10011` `-commutative_binary64_16718` `cube-div_binary64_4540` `+-commutative_binary64_16717` `unswap-sqr_binary64_22211` `flip-+_binary64_11646` `cbrt-undiv_binary64_21936` `exp-prod_binary64_3540` `distribute-rgt-in_binary64_22875` `diff-log_binary64_17561` `clear-num_binary64_6897` `pow-sqr_binary64_3802` `exp-prod_binary64_21613` `*-commutative_binary64_22856`
6×	`frac-sub_binary64_18842` `sum-log_binary64_1874` `flip3-+_binary64_14744` `swap-sqr_binary64_3455` `associate--r+_binary64_7516` `-commutative_binary64_7852` `+-commutative_binary64_7851` `swap-sqr_binary64_6524` `pow-sqr_binary64_9258` `frac-sub_binary64_15091` `unpow-prod-down_binary64_2885` `sub-neg_binary64_1435` `pow-unpow_binary64_17546` `pow-pow_binary64_5947` `1-exp_binary64_15126` `pow1/3_binary64_20279` `sqrt-prod_binary64_19190` `div-exp_binary64_811` `associate-l/_binary64_2067` `associate--l+_binary64_7517` `associate-/r_binary64_22528` `cancel-sign-sub-inv_binary64_23914` `sub-neg_binary64_11324` `sqr-pow_binary64_5847` `cosh-def_binary64_14586` `pow-unpow_binary64_4588` `sqr-pow_binary64_4142` `flip3--_binary64_9971` `swap-sqr_binary64_5501` `clear-num_binary64_2123` `sqrt-prod_binary64_2822` `+-commutative_binary64_16376` `associate-/l_binary64_23` `log-div_binary64_10395` `1-exp_binary64_18536` `associate-l/_binary64_6159` `rec-exp_binary64_15132` `cbrt-div_binary64_13409` `sub-neg_binary64_9278` `diff-log_binary64_7672` `swap-sqr_binary64_6865` `+-commutative_binary64_18422` `div-exp_binary64_7972` `associate-/l_binary64_22529` `frac-2neg_binary64_14070` `diff-log_binary64_9377` `cancel-sign-sub-inv_binary64_22891` `sqrt-prod_binary64_22259` `associate-l/_binary64_22527` `swap-sqr_binary64_19141` `associate-/r/_binary64_14346` `associate--l+_binary64_16724` `clear-num_binary64_10307` `pow1/3_binary64_21302` `rem-sqrt-square_binary64_14072` `associate--r+_binary64_10926` `pow-prod-up_binary64_14811` `+-commutative_binary64_17740` `cancel-sign-sub-inv_binary64_13684` `associate-/r_binary64_21505` `swap-sqr_binary64_11639` `frac-2neg_binary64_1112` `div-inv_binary64_17125` `flip3--_binary64_1105` `+-commutative_binary64_12966` `+-commutative_binary64_349` `frac-2neg_binary64_10319` `cbrt-undiv_binary64` `unpow-prod-down_binary64_17889` `frac-times_binary64_7931` `swap-sqr_binary64_12321` `sub-neg_binary64_9960` `associate-+r+_binary64_8876` `cube-prod_binary64_17497` `+-commutative_binary64_10238` `unpow-prod-down_binary64_9705` `sqr-pow_binary64_23920` `1-exp_binary64_13762` `cbrt-undiv_binary64_3181` `sum-log_binary64_17901` `swap-sqr_binary64_17436` `diff-log_binary64_8695` `swap-sqr_binary64_13003` `associate-/l/_binary64_4458` `pow2_binary64_4933` `pow-unpow_binary64_24025` `-commutative_binary64_9557` `distribute-lft-out_binary64_6508` `flip--_binary64_9942` `associate-r/_binary64_18093` `diff-log_binary64_18584` `sqrt-div_binary64_16463` `associate-/l_binary64_7866` `pow-flip_binary64_12087` `-commutative_binary64_14672` `1-exp_binary64_16149` `clear-num_binary64_14058` `unpow2_binary64_5599` `pow-unpow_binary64_2201` `cos-sum_binary64_22036` `associate-/l/_binary64_2753` `sum-log_binary64_16537` `frac-times_binary64_18843` `pow-flip_binary64_10382` `associate-/r/_binary64_7526` `frac-times_binary64_4521` `associate-*r/_binary64_23890` `sum-log_binary64_13468` `associate-/l/_binary64_16734` `associate-+l+_binary64_14333` `associate-+r+_binary64_8535` `distribute-neg-in_binary64_10951` `clear-num_binary64_21219` `pow1/3_binary64_21643` `rem-sqrt-square_binary64_17823` `flip--_binary64_1076` `frac-times_binary64_770` `log-pow_binary64_3577` `swap-sqr_binary64_21187` `clear-num_binary64_1100` `pow-to-exp_binary64_5944` `+-commutative_binary64_14671` `sub-neg_binary64_2117` `pow-sqr_binary64_14714` `pow1/2_binary64_17890` `associate-+l+_binary64_8536` `pow-unpow_binary64_5952` `difference-of-squares_binary64_17779` `flip3--_binary64_5197` `associate-+l+_binary64_20130` `pow-div_binary64_13452` `sub-neg_binary64_8937` `diff-log_binary64_11423` `pow-plus_binary64_4915` `sum-log_binary64_24039` `swap-sqr_binary64_45` `distribute-lft-out--_binary64_20149` `cube-prod_binary64_17838` `exp-prod_binary64_9337` `rec-exp_binary64_13768` `pow-unpow_binary64_21638` `sub-neg_binary64_18144` `difference-of-squares_binary64_7890` `frac-2neg_binary64_21231` `associate--l+_binary64_15019` `pow-prod-down_binary64_8333` `sqr-pow_binary64_2096` `div-inv_binary64_5872` `sum-log_binary64_8353` `rec-exp_binary64_16155` `associate-/r/_binary64_7867` `diff-log_binary64_9718` `flip-+_binary64_14715` `sqrt-pow1_binary64_17828` `associate-/l/_binary64_17416` `associate-/l/_binary64_12301` `flip--_binary64_5168` `frac-2neg_binary64_2135` `rec-exp_binary64_18542` `frac-sub_binary64_11681` `distribute-rgt-out--_binary64_2760` `cbrt-undiv_binary64_794` `cancel-sign-sub-inv_binary64_15730`
5×	`flip3--_binary64_10653` `distribute-rgt1-in_binary64_20153` `flip3-+_binary64_8606` `sub-neg_binary64_6550` `sub-neg_binary64_5186` `associate-r/_binary64_7863` `+-commutative_binary64_11261` `sum-log_binary64_10058` `rec-exp_binary64_6948` `clear-num_binary64_8943` `inv-pow_binary64_12098` `pow-prod-down_binary64_13448` `difference-of-squares_binary64_5162` `sum-log_binary64_15855` `associate-+l+_binary64_4444` `-commutative_binary64_16377` `associate-l/_binary64_16730` `associate-/l/_binary64_17757` `flip-+_binary64_8577` `flip-+_binary64_1757` `difference-of-squares_binary64_9254` `count-2_binary64_20145` `pow-prod-down_binary64_9697` `flip--_binary64_10624` `distribute-rgt-in_binary64_6848` `+-commutative_binary64_9897` `distribute-lft-out_binary64_19466` `inv-pow_binary64_18918` `pow-prod-up_binary64_7991` `log-pow_binary64_8010` `flip3-+_binary64_1786` `log-pow_binary64_8692` `-commutative_binary64_13308` `distribute-lft1-in_binary64_20152` `frac-2neg_binary64_23618` `frac-times_binary64_9977` `pow1_binary64` `1-exp_binary64_6942` `pow-prod-up_binary64_14129` `prod-exp_binary64_23997` `pow-prod-up_binary64_17198` `cbrt-undiv_binary64_4204` `rem-exp-log_binary64_3528` `pow-to-exp_binary64_21630` `+-commutative_binary64_19786` `exp-sum_binary64_12400` `sum-log_binary64_11422` `sub-neg_binary64_13370` `distribute-lft-in_binary64_17077` `pow-prod-down_binary64_6969` `sqr-pow_binary64_21874` `frac-times_binary64_21912` `distribute-rgt-in_binary64_17078` `distribute-lft-out--_binary64_7532` `pow1/3_binary64_13459` `distribute-lft-in_binary64_6847` `sum-log_binary64_17219` `div-inv_binary64_3144` `frac-2neg_binary64_13047` `pow-prod-up_binary64_12083` `+-commutative_binary64_14330` `distribute-rgt-in_binary64_4120` `pow2_binary64_3228` `+-commutative_binary64_13307` `clear-num_binary64_19514` `sum-log_binary64_15173` `unpow-prod-down_binary64_8341` `exp-prod_binary64_12406` `associate--l+_binary64_9563` `distribute-lft-in_binary64_4119` `frac-add_binary64_11680` `frac-2neg_binary64_4522` `difference-of-squares_binary64_7549` `pow-plus_binary64_14463` `+-commutative_binary64_15694` `rem-sqrt-square_binary64_4865` `pow-prod-up_binary64_4581` `associate-/l/_binary64_19462` `diff-log_binary64_4603` `pow-exp_binary64_21629` `pow-flip_binary64_10723` `associate-+r-_binary64_12` `inv-pow_binary64_11757` `pow-prod-down_binary64_16517` `pow1/3_binary64_13800` `pow-prod-up_binary64_16175` `pow1/2_binary64_8683` `sub-neg_binary64_4163` `frac-times_binary64_2475` `associate-l/_binary64_19799` `associate-r/_binary64_702` `cbrt-unprod_binary64_23981` `div-exp_binary64_4221` `+-commutative_binary64_1031` `clear-num_binary64_23606` `pow-pow_binary64_2196` `clear-num_binary64_4510` `associate-/l/_binary64_8209` `cube-prod_binary64_8290` `pow-sqr_binary64_17101` `frac-2neg_binary64_8955` `pow-sqr_binary64_21534` `pow-plus_binary64_3210` `-commutative_binary64_8193` `distribute-lft-out_binary64_14692` `+-commutative_binary64_8192` `frac-2neg_binary64_19526` `sub-neg_binary64_8596` `pow-sqr_binary64_1415` `associate-l/_binary64_20140` `unswap-sqr_binary64_23234` `div-inv_binary64_757` `clear-num_binary64_13035` `pow-flip_binary64_17543` `unpow2_binary64_3212` `-commutative_binary64_3760` `associate-l/_binary64_7864` `sinh-def_binary64_4355` `sqr-pow_binary64_8234` `pow-pow_binary64_3219` `sub-neg_binary64_2799`
4×	`cube-div_binary64_6586` `frac-add_binary64_4519` `pow1/2_binary64_17549` `frac-times_binary64_4180` `inv-pow_binary64_8688` `cbrt-undiv_binary64_22277` `distribute-lft-in_binary64_6506` `sqr-pow_binary64_50` `unpow3_binary64_2190` `pow-sqr_binary64_5166` `distribute-lft-in_binary64_23897` `rem-log-exp_binary64_10690` `distribute-rgt-in_binary64_23898` `sum-log_binary64_20288` `1-exp_binary64_1145` `distribute-lft-out_binary64_8213` `pow2_binary64_14481` `+-commutative_binary64_13648` `distribute-lft-out_binary64_1393` `cbrt-unprod_binary64` `pow-prod-up_binary64_16857` `sum-log_binary64_13809` `pow2_binary64_6297` `frac-2neg_binary64_3158` `distribute-lft-in_binary64_13667` `pow-sqr_binary64_21875` `distribute-lft-in_binary64_18100` `cube-prod_binary64_3175` `prod-exp_binary64_23656` `div-inv_binary64` `distribute-lft-out_binary64_13669` `log-prod_binary64_8007` `frac-2neg_binary64_2476` `sqr-pow_binary64_17100` `pow1/3_binary64_16528` `sum-log_binary64_24380` `sqr-pow_binary64_4483` `div-exp_binary64_6608` `difference-of-squares_binary64_3116` `cancel-sign-sub-inv_binary64_23573` `un-div-inv_binary64_15080` `flip-+_binary64_13692` `associate-/l/_binary64_21508` `flip--_binary64_20513` `sum-log_binary64_12104` `div-inv_binary64_22240` `distribute-lft-in_binary64_5142` `distribute-lft-out_binary64_12305` `pow2_binary64_2546` `associate-/l/_binary64_3094` `associate-+r+_binary64_16719` `pow-sqr_binary64_7553` `flip3-+_binary64_24292` `associate-/l/_binary64_20144` `div-sub_binary64_14064` `frac-2neg_binary64_20208` `prod-exp_binary64_809` `+-commutative_binary64_24219` `difference-of-squares_binary64_2093` `associate-/r/_binary64_6503` `+-commutative_binary64_11602` `sub-neg_binary64_23600` `pow-sqr_binary64_2779` `flip-+_binary64_24263` `+-commutative_binary64_7510` `+-commutative_binary64_17058` `pow1/3_binary64_20961` `1-exp_binary64_21946` `flip--_binary64_1758` `pow-flip_binary64_8336` `pow-pow_binary64_4583` `sqrt-pow1_binary64_17487` `distribute-rgt-neg-in_binary64_10948` `sum-log_binary64_4261` `diff-log_binary64_16879` `rem-sqrt-square_binary64_17482` `cancel-sign-sub-inv_binary64_13002` `associate-r/_binary64_1725` `associate--l-_binary64_11610` `frac-sub_binary64_2815` `tan-quot_binary64_16605` `distribute-rgt-in_binary64_5143` `associate-/l/_binary64_21849` `cbrt-div_binary64_17842` `flip3-+_binary64_5196` `associate-l/_binary64_703` `distribute-lft-out_binary64_9577` `rem-sqrt-square_binary64_3842` `frac-2neg_binary64_771` `swap-sqr_binary64_9252` `clear-num_binary64_2464` `difference-of-squares_binary64_21530` `cbrt-undiv_binary64_22618` `frac-times_binary64_6567` `+-commutative_binary64_8533` `frac-times_binary64_7249` `sub-neg_binary64_1094` `flip-+_binary64_6190` `pow-plus_binary64_6279` `sum-log_binary64_21652` `pow-sqr_binary64_392` `flip-+_binary64_5167` `rec-exp_binary64_1151` `rem-sqrt-square_binary64_7934` `associate-/r/_binary64_19461` `frac-times_binary64_3839` `distribute-neg-frac_binary64_1065` `associate-+l+_binary64_16038` `frac-2neg_binary64_16798` `prod-exp_binary64_5583` `rec-exp_binary64_21952` `pow1/3_binary64_17892` `distribute-rgt-out_binary64_1054` `pow-prod-up_binary64_2876` `clear-num_binary64_21901` `associate-/l/_binary64_2071` `cbrt-unprod_binary64_793` `cube-div_binary64_17839` `rem-sqrt-square_binary64_13390` `frac-times_binary64_3498` `rem-sqrt-square_binary64_16118` `pow-flip_binary64_8677` `diff-log_binary64_3580` `pow-pow_binary64_150` `cube-div_binary64_17498` `+-commutative_binary64_11943` `associate-l/_binary64_6500` `distribute-rgt-in_binary64_18101` `1-exp_binary64_15467` `associate-l/_binary64_11956` `cbrt-prod_binary64_8975` `associate-/l_binary64_9230` `distribute-rgt-in_binary64_6507` `flip3--_binary64_20542` `rec-exp_binary64_15473` `associate-/l/_binary64_10937` `div-sub_binary64_13723` `1-exp_binary64_11034` `+-commutative_binary64_19104` `associate-l/_binary64_4113` `distribute-lft-neg-in_binary64_10947` `associate-+r+_binary64_11263` `cube-prod_binary64_4198` `+-commutative_binary64_1713` `associate-l/_binary64_3431` `sum-log_binary64_12445` `frac-times_binary64_18161` `associate--l+_binary64_1379` `cbrt-undiv_binary64_6591` `flip3-+_binary64_13721` `frac-times_binary64_5544` `diff-log_binary64_10400` `associate-/l/_binary64_25` `sub-neg_binary64_16439` `frac-add_binary64_23274` `cbrt-div_binary64_4543` `distribute-rgt-in_binary64_13668` `diff-log_binary64_15174` `sqr-pow_binary64_5506` `associate-/l/_binary64_4117` `cube-mult_binary64_2154` `unpow-prod-down_binary64_20958` `sqr-pow_binary64_16077` `distribute-rgt-out_binary64_16399` `associate-+l+_binary64_10241` `unswap-sqr_binary64_20506` `associate-+r+_binary64_15355` `sub-div_binary64_2813` `distribute-lft-out--_binary64_21513` `-commutative_binary64_6829` `1-exp_binary64_13421` `diff-log_binary64_19948` `frac-sub_binary64_7589` `rec-exp_binary64_13427` `frac-times_binary64_20889` `clear-num_binary64_20196` `sub-neg_binary64_13029` `clear-num_binary64_23947` `frac-times_binary64_13728` `associate-l/_binary64_21` `frac-times_binary64_8272` `exp-prod_binary64_10360` `pow-sqr_binary64_16760` `distribute-lft-out--_binary64_8555` `pow-to-exp_binary64_3216` `associate-/l/_binary64_4799` `distribute-rgt-in_binary64_23216` `diff-log_binary64_12446` `diff-log_binary64_5285` `distribute-lft-in_binary64_23215` `frac-times_binary64_5203` `difference-of-squares_binary64_7208` `sub-neg_binary64_14734` `flip3-+_binary64_6219` `sqr-abs_binary64_1457` `pow-prod-up_binary64_489` `difference-of-squares_binary64_6526` `div-inv_binary64_4167` `pow-prod-up_binary64_8673` `clear-num_binary64_759` `div-exp_binary64_22635` `difference-of-squares_binary64_22894` `frac-2neg_binary64_23959` `pow-sqr_binary64_8576` `pow-prod-up_binary64_21972` `associate-/l/_binary64_1389` `pow-plus_binary64_2528` `div-exp_binary64_22294` `inv-pow_binary64_13462` `clear-num_binary64_3146` `div-sub_binary64_16792` `diff-cos_binary64_6026` `exp-prod_binary64_9678` `associate-/l/_binary64_2412` `associate-+l-_binary64_18427` `associate-/l/_binary64` `frac-2neg_binary64_21913` `associate--l+_binary64_20134` `pow-prod-up_binary64_7650` `frac-times_binary64_15092` `associate-+l+_binary64_1375` `pow1/3_binary64_10390` `un-div-inv_binary64_4850` `sum-log_binary64_6307` `cube-prod_binary64_20907` `pow-exp_binary64_3215` `pow-exp_binary64_24016` `associate-/l/_binary64_22531` `+-commutative_binary64_6146` `flip3--_binary64_1787` `associate--r+_binary64_3424` `associate-l/_binary64_13320` `associate-l/_binary64_4454` `diff-log_binary64_23699` `diff-log_binary64_170` `div-inv_binary64_6554` `sub-neg_binary64_23259` `rec-exp_binary64_11040` `clear-num_binary64_16786` `sub-neg_binary64_6209` `distribute-rgt1-in_binary64_4467` `cbrt-undiv_binary64_7955` `inv-pow_binary64_17554` `associate-r/_binary64_5476` `frac-add_binary64_12362` `pow-prod-up_binary64_5263` `diff-log_binary64_18243` `log-div_binary64_21989` `frac-add_binary64_19523` `associate--r+_binary64_19110`
3×	`pow-plus_binary64_14804` `un-div-inv_binary64_13716` `frac-2neg_binary64_8614` `pow2_binary64_3910` `-commutative_binary64_23879` `cube-mult_binary64_23978` `frac-times_binary64_10318` `pow-exp_binary64_10376` `pow-unpow_binary64_7998` `cube-mult_binary64_17158` `pow1/2_binary64_4932` `difference-of-sqr--1_binary64_390` `clear-num_binary64_4851` `cbrt-undiv_binary64_7614` `pow-unpow_binary64_12090` `distribute-rgt-out--_binary64_23220` `distribute-lft-neg-in_binary64_1058` `pow-to-exp_binary64_4239` `associate-+r-_binary64_18426` `rec-exp_binary64_11381` `pow-prod-up_binary64_19585` `unpow-prod-down_binary64_17207` `cbrt-unprod_binary64_24322` `rec-exp_binary64_4902` `associate-+r+_binary64_1033` `distribute-lft-out_binary64_6849` `associate-l/_binary64_10251` `sqrt-prod_binary64_20554` `sub-neg_binary64_2458` `inv-pow_binary64_8347` `+-commutative_binary64_20127` `flip3--_binary64_3151` `pow-sqr_binary64_11986` `frac-2neg_binary64_4863` `div-sub_binary64_15428` `+-commutative_binary64_2054` `pow1/3_binary64_9367` `1-exp_binary64_11375` `+-commutative_binary64_15012` `associate--l+_binary64_19111` `clear-num_binary64_7579` `pow-unpow_binary64_3565` `frac-2neg_binary64_7591` `1-exp_binary64_2850` `clear-num_binary64_24288` `pow-prod-down_binary64_24019` `clear-num_binary64_8602` `sqrt-pow1_binary64_11690` `pow-prod-up_binary64_16516` `rem-exp-log_binary64_12394` `frac-times_binary64_12023` `cube-prod_binary64_17156` `log-prod_binary64_8689` `pow-to-exp_binary64_24017` `pow-plus_binary64_2187` `associate-l_binary64_23548` `associate-/r_binary64_22187` `sum-log_binary64_20970` `flip--_binary64_23923` `associate-+l+_binary64_3080` `pow2_binary64_17209` `diff-log_binary64_4262` `associate-+l+_binary64_12969` `associate-+r-_binary64_19449` `1-exp_binary64_4896` `clear-num_binary64_1441` `pow1/2_binary64_11752` `associate-l/_binary64_14684` `times-frac_binary64_3494` `div-exp_binary64_7631` `div-sub_binary64_21225` `div-inv_binary64_21558` `cube-mult_binary64_21932` `pow-unpow_binary64_11749` `exp-prod_binary64_3199` `pow1/3_binary64_842` `1-exp_binary64_14103` `unpow3_binary64_16171` `cube-mult_binary64_16135` `cube-div_binary64_17157` `distribute-lft-out_binary64_14010` `pow-exp_binary64_4238` `pow-sqr_binary64_16419` `flip--_binary64_13011` `pow-unpow_binary64_16864` `associate-l/_binary64_21845` `pow-prod-down_binary64_23337` `un-div-inv_binary64_13034` `frac-2neg_binary64_4181` `rem-log-exp_binary64_23989` `frac-2neg_binary64_24300` `pow-unpow_binary64_17205` `distribute-lft-out--_binary64_6509` `pow-unpow_binary64_9362` `pow-unpow_binary64_6634` `pow-exp_binary64_146` `flip-+_binary64_21876` `pow-plus_binary64_17191` `frac-2neg_binary64_17139` `associate-+l-_binary64_8538` `pow-exp_binary64_2192` `log-pow_binary64_19604` `distribute-lft-out_binary64_3439` `pow-prod-up_binary64_5604` `pow-unpow_binary64_14136` `+-commutative_binary64_6828` `sum-log_binary64_6648` `rec-exp_binary64_14791` `clear-num_binary64_9625` `frac-2neg_binary64_9637` `distribute-rgt-neg-in_binary64_15040` `+-commutative_binary64_6487` `inv-pow_binary64_18236` `distribute-rgt-neg-out_binary64_10950` `div-sub_binary64_15087` `sub-neg_binary64_17121` `rec-exp_binary64_2856` `pow-pow_binary64_10380` `cancel-sign-sub-inv_binary64_10615` `associate-l/_binary64_8205` `associate-/r_binary64_3432` `sub-div_binary64_18499` `cbrt-prod_binary64_12044` `sub-neg_binary64_7914` `diff-log_binary64_6649` `clear-num_binary64_6556` `associate-/l/_binary64_23554` `flip--_binary64_735` `flip3-+_binary64_21905` `rec-exp_binary64_14109` `1-exp_binary64_14785` `pow1/3_binary64_15164` `rem-cube-cbrt_binary64_17151` `pow-unpow_binary64_496` `flip3--_binary64_764` `pow-plus_binary64_16509` `log-pow_binary64_10738` `sum-log_binary64_3920` `cbrt-prod_binary64_18864` `distribute-lft-out_binary64_24240` `1-exp_binary64_19218` `pow-sqr_binary64_7894` `flip--_binary64_7896` `pow1/3_binary64_22666` `pow-sqr_binary64_16078` `div-sub_binary64_12700` `pow2_binary64_16527` `pow2_binary64_14822` `pow-unpow_binary64_1860` `un-div-inv_binary64_17467` `frac-2neg_binary64_6568` `pow1/3_binary64_1183` `distribute-lft-neg-in_binary64_15039` `sqr-pow_binary64_9257` `cancel-sign-sub-inv_binary64_17094` `rem-cube-cbrt_binary64_10331` `log-prod_binary64_4597` `rec-exp_binary64_19224` `distribute-lft-neg-out_binary64_15041` `pow-unpow_binary64_21979` `diff-log_binary64_16197` `associate-/l/_binary64_6845` `cube-div_binary64_16134` `cbrt-undiv_binary64_112` `div-inv_binary64_7577` `1-exp_binary64_8988` `associate-l_binary64_24230` `unpow3_binary64_24014` `frac-times_binary64_11682` `pow-flip_binary64_18225` `cube-div_binary64_23977` `pow-to-exp_binary64_147` `rem-log-exp_binary64_3188` `unswap-sqr_binary64_23575` `frac-sub_binary64_18501` `flip3--_binary64_23952` `rec-exp_binary64_8994` `distribute-lft-in_binary64_12644` `clear-num_binary64_22924` `flip--_binary64_3122` `pow-sqr_binary64_19488` `associate-/l_binary64_17073` `sum-log_binary64_2215` `frac-add_binary64_18841` `flip-+_binary64_21535` `associate-/r_binary64_9229` `clear-num_binary64_17127` `associate-r/_binary64_23208` `cos-diff_binary64_19311` `flip3--_binary64_13040` `associate-+l+_binary64_1034` `frac-2neg_binary64_22936` `unpow3_binary64_21968` `distribute-lft-out--_binary64_1735` `associate--l+_binary64_17406` `pow-exp_binary64_17196` `pow-pow_binary64_17541` `pow-unpow_binary64_10385` `associate-l/_binary64_9910` `add-log-exp_binary64` `frac-2neg_binary64_1453` `log-prod_binary64_19601` `pow-unpow_binary64_5611` `rem-cube-cbrt_binary64_2147` `+-commutative_binary64_20809` `-commutative_binary64_23197` `pow-sqr_binary64_14032` `sqrt-pow1_binary64_4870` `flip3-+_binary64_21564` `associate-/l/_binary64_14347` `pow-unpow_binary64_17887` `unpow3_binary64_17194` `diff-log_binary64_23358` `prod-exp_binary64_24338` `associate-/l*_binary64_22870` `pow-sqr_binary64_4484` `div-exp_binary64_129` `sqr-pow_binary64_17441` `sum-log_binary64_17560` `pow1/3_binary64_12095` `pow-unpow_binary64_11408` `flip3--_binary64_7925` `pow-unpow_binary64_23002` `pow-unpow_binary64_16182` `pow1/3_binary64_16187` `associate-/l/_binary64_11619` `diff-log_binary64_17220` `distribute-rgt-in_binary64_12645` `pow-plus_binary64_3892` `associate-/l/_binary64_8891` `clear-num_binary64_4169` `pow-unpow_binary64_13113` `sum-log_binary64_1533` `div-sub_binary64_14746`
2×	`sqrt-pow1_binary64_23284` `sub-neg_binary64_15757` `pow-sqr_binary64_19829` `rem-log-exp_binary64_11031` `pow2_binary64_21983` `pow-prod-up_binary64_6627` `rec-exp_binary64_24339` `difference-of-sqr--1_binary64_15735` `sub-neg_binary64_3822` `cbrt-unprod_binary64_5567` `+-commutative_binary64_690` `difference-of-squares_binary64_1070` `rem-cube-cbrt_binary64_11695` `associate-+l+_binary64_16720` `associate-r/_binary64_5135` `clear-num_binary64` `cancel-sign-sub-inv_binary64_3795` `pow2_binary64_21642` `unpow-prod-down_binary64_8000` `+-commutative_binary64_23878` `pow-prod-up_binary64_21290` `associate-l/_binary64_5136` `associate-/r/_binary64_1388` `cube-mult_binary64_10338` `distribute-rgt-in_binary64_8553` `pow-pow_binary64_13108` `pow-exp_binary64_11399` `pow-exp_binary64_12081` `pow-prod-up_binary64_12765` `1-exp_binary64` `distribute-rgt-out_binary64_18786` `sqrt-unprod_binary64_3167` `rem-cube-cbrt_binary64_23971` `diff-log_binary64_1534` `pow-to-exp_binary64_4580` `cbrt-undiv_binary64_21595` `div-sub_binary64_17474` `sum-log_binary64_851` `frac-times_binary64_1452` `1-exp_binary64_20241` `pow-sqr_binary64_19147` `pow-pow_binary64_16859` `flip--_binary64_22900` `associate-+l+_binary64_23881` `pow-to-exp_binary64_488` `inv-pow_binary64_11416` `rem-cube-cbrt_binary64_7944` `difference-of-squares_binary64_18120` `distribute-lft-out_binary64_10259` `frac-times_binary64_17820` `rem-sqrt-square_binary64_21574` `pow-exp_binary64_7989` `pow-pow_binary64_7993` `div-sub_binary64_23271` `pow-prod-up_binary64_6968` `sqrt-div_binary64_2823` `sqr-pow_binary64_9598` `div-sub_binary64_21907` `pow-plus_binary64_7643` `pow-pow_binary64_6629` `pow2_binary64_2887` `pow-pow_binary64_5606` `associate--l-_binary64_357` `rec-exp_binary64_4561` `pow-plus_binary64_16850` `pow2_binary64_12776` `pow-exp_binary64_22993` `rem-cube-cbrt_binary64_22948` `associate-l/_binary64_1385` `unpow3_binary64_7987` `+-commutative_binary64_17399` `div-sub_binary64_4516` `associate-+r+_binary64_9558` `unpow-prod-down_binary64_6636` `pow2_binary64_2205` `1-exp_binary64_24333` `clear-num_binary64_7920` `sqrt-pow1_binary64_20897` `cube-mult_binary64_7951` `frac-times_binary64_13387` `pow-sub_binary64_3223` `pow-flip_binary64_14474` `pow-sqr_binary64_12327` `associate-/l/_binary64_6504` `clear-num_binary64_21560` `1-exp_binary64_3191` `associate-+l+_binary64_4785` `unpow-prod-down_binary64_10387` `rem-exp-log_binary64_7961` `cbrt-undiv_binary64_3522` `sqr-pow_binary64_7893` `+-commutative_binary64_18763` `pow2_binary64_500` `associate-/l/_binary64_19121` `associate-+l-_binary64_15358` `rem-cube-cbrt_binary64_6580` `sub-neg_binary64_4504` `+-commutative_binary64_21491` `frac-2neg_binary64_7932` `rec-exp_binary64_20247` `unsub-neg_binary64_72` `pow-sqr_binary64_17442` `cube-prod_binary64_6585` `clear-num_binary64_77` `rec-exp_binary64_10358` `distribute-neg-in_binary64_1062` `distribute-rgt-out--_binary64_10944` `rec-exp_binary64_2515` `frac-add_binary64_11339` `inv-pow_binary64_10052` `flip-+_binary64_22558` `sub-div_binary64_22591` `pow-prod-up_binary64_3558` `sub-neg_binary64_13711` `neg-log_binary64_1194` `difference-of-squares_binary64_4139` `unpow3_binary64_17876` `clear-num_binary64_22583` `associate--l+_binary64_6835` `diff-log_binary64_3921` `pow1/2_binary64_840` `pow-exp_binary64_17537` `associate-/r/_binary64_24235` `pow-prod-up_binary64_11742` `cbrt-unprod_binary64_23640` `1-exp_binary64_2509` `associate-+r+_binary64_16378` `sub-neg_binary64_22918` `rec-exp_binary64` `inv-pow_binary64_11075` `distribute-lft-out--_binary64_5145` `un-div-inv_binary64_19854` `neg-sub0_binary64_12008` `pow-exp_binary64_4579` `inv-pow_binary64_16190` `un-div-inv_binary64_2463` `div-exp_binary64_21612` `diff-log_binary64_15515` `exp-to-pow_binary64_9688` `unpow3_binary64_10374` `pow1/3_binary64_15846` `pow-exp_binary64_5602` `pow-sqr_binary64_5507` `pow-flip_binary64_16179` `flip3-+_binary64` `frac-times_binary64_23617` `distribute-rgt-out--_binary64_373` `-commutative_binary64_691` `associate--l+_binary64_11950` `pow-plus_binary64_5256` `diff-log_binary64_2216` `log-div_binary64_22330` `rem-cube-cbrt_binary64_16128` `sqr-pow_binary64_20851` `+-commutative_binary64_1372` `neg-log_binary64_171` `pow2_binary64_7661` `frac-sub_binary64_6907` `associate-+r+_binary64_8194` `1-exp_binary64_10352` `sum-log_binary64_23357` `pow-exp_binary64_487` `inv-pow_binary64_14485` `distribute-lft-out--_binary64_7191` `rec-exp_binary64_3197` `pow1/2_binary64_20959` `inv-pow_binary64_1186` `pow-sqr_binary64_6871` `cube-div_binary64_11701` `frac-sub_binary64_10999` `pow-plus_binary64_19578` `pow-prod-up_binary64_148` `pow-prod-up_binary64_19926` `frac-times_binary64_23276` `pow-plus_binary64_482` `cube-div_binary64_13065` `pow-plus_binary64_8666` `associate-/r/_binary64_12982` `inv-pow_binary64_10734` `frac-times_binary64_8954` `div-sub_binary64_4857` `flip3-+_binary64_22587` `pow-sqr_binary64_13009` `exp-diff_binary64_12402` `pow-to-exp_binary64_5603` `exp-sum_binary64_9331` `sub-neg_binary64_23941` `exp-diff_binary64_12061` `pow-exp_binary64_11740` `rem-cube-cbrt_binary64_5898` `pow1/2_binary64_16526` `div-sub_binary64_10313` `frac-sub_binary64_22593` `difference-of-squares_binary64_9595` `rem-log-exp_binary64_9667` `associate-+r-_binary64_10924` `pow-prod-down_binary64_5605` `pow2_binary64_19596` `cube-mult_binary64_17840` `frac-2neg_binary64_89` `rem-exp-log_binary64_9325` `pow-plus_binary64_2869` `distribute-lft-out_binary64_5144` `associate-+r+_binary64_19788` `rem-exp-log_binary64_20919` `pow-sqr_binary64_11645` `difference-of-sqr-1_binary64_22895` `cube-mult_binary64_17499` `rem-sqrt-square_binary64_23279` `log-div_binary64_12441` `log-div_binary64_10736` `pow1/2_binary64_499` `sum-log_binary64_5284` `sum-log_binary64_22675` `log-div_binary64_506` `cube-prod_binary64_7949` `pow-prod-up_binary64_19244` `exp-lft-sqr_binary64_9681` `associate-/r/_binary64_4116` `unpow3_binary64_6623` `div-sub_binary64_10995` `associate-/l/_binary64_9573` `pow-flip_binary64_23681` `sqr-pow_binary64_11644` `inv-pow_binary64_21987` `div-exp_binary64_3539` `associate-l/_binary64_5477` `log-pow_binary64_22332` `rem-cube-cbrt_binary64_4534` `rem-log-exp_binary64_10349` `pow1/3_binary64_18233` `pow-plus_binary64_21624` `pow-prod-up_binary64_17539` `pow2_binary64_5274` `rec-exp_binary64_7971` `pow-pow_binary64_491` `distribute-lft-out--_binary64_9578` `pow-plus_binary64_12758` `pow-prod-down_binary64_831` `associate-/r/_binary64_24` `diff-log_binary64_14492` `pow-flip_binary64_10041` `pow2_binary64_8684` `pow-sqr_binary64_12668` `associate-/l/_binary64_7527` `sqr-pow_binary64_6529` `distribute-lft-in_binary64_8552` `distribute-rgt-in_binary64_4461` `frac-sub_binary64_4520` `+-commutative_binary64_12284` `1-exp_binary64_7965` `rem-sqrt-square_binary64_16459` `frac-times_binary64_20207` `pow-sqr_binary64_3461` `distribute-lft-out--_binary64_7873` `inv-pow_binary64_23692` `associate-/l/_binary64_3435` `pow-flip_binary64_1175` `associate-+l+_binary64_17061` `pow1/2_binary64_23346` `associate--l-_binary64_9223` `frac-2neg_binary64_21572` `associate-l/_binary64_3772` `rem-cube-cbrt_binary64_13059` `sub-div_binary64_9633` `flip3--_binary64_22929` `pow-to-exp_binary64_17538` `pow-plus_binary64_21965` `distribute-rgt-out--_binary64_18446` `cube-mult_binary64_6587` `+-commutative_binary64_4100` `pow-sqr_binary64_21193` `rem-sqrt-square_binary64_773` `sqrt-pow1_binary64_16464` `sqr-abs_binary64_12028` `pow-exp_binary64_16173` `pow-flip_binary64_19930` `distribute-lft-out_binary64_4121` `sqr-pow_binary64_17782` `flip-+_binary64_1416` `sqr-pow_binary64_10280` `pow-pow_binary64_17200` `associate-l/_binary64_23550` `exp-neg_binary64_12060` `div-sub_binary64_83` `sqrt-pow1_binary64_437` `pow-prod-up_binary64_13106` `cube-mult_binary64_11702` `unswap-sqr_binary64_24257` `frac-add_binary64_17818` `pow-sqr_binary64_51` `pow-exp_binary64_13104` `pow2_binary64_16868` `sqrt-div_binary64_11689` `neg-sub0_binary64_73` `distribute-lft-in_binary64_4460` `pow-exp_binary64_6625` `associate--l-_binary64_10928` `exp-sum_binary64_7967` `associate--l+_binary64_10927` `log-div_binary64_3575` `pow-prod-up_binary64_1853` `div-inv_binary64_75` `diff-log_binary64_12105` `sum-log_binary64_5966` `pow-prod-up_binary64_12424` `distribute-lft-out--_binary64_3099` `flip-+_binary64` `frac-2neg_binary64` `diff-log_binary64_16538` `-commutative_binary64_5465` `inv-pow_binary64_19941` `+-commutative_binary64_9556` `cube-mult_binary64_22955` `unpow3_binary64_11738` `pow-to-exp_binary64_2193` `pow-pow_binary64_14131` `flip3-+_binary64_1445` `pow-pow_binary64_3560` `frac-2neg_binary64_22595` `sqrt-div_binary64_20555` `sum-log_binary64_7330` `sqr-abs_binary64_3162` `associate-r/_binary64_3771` `1-exp_binary64_4555` `associate-/l/_binary64_10255` `unpow3_binary64_17535` `associate-l/_binary64_7182` `associate--r+_binary64_17064` `cube-prod_binary64_10336` `associate-/r/_binary64_3434` `rem-square-sqrt_binary64_3159` `sqr-pow_binary64_16759` `sqrt-pow1_binary64_778` `div-sub_binary64_18838` `cbrt-div_binary64_23980` `pow-plus_binary64_5597` `associate--l+_binary64_9222` `cube-div_binary64_2153` `+-commutative_binary64_5805` `difference-of-sqr--1_binary64_11984` `pow-sqr_binary64_6530` `associate-/l/_binary64_9232` `pow-flip_binary64_11405` `+-commutative_binary64_22514` `distribute-rgt-out--_binary64_22538` `pow-sqr_binary64_1756`
1×	`pow2_binary64_5615` `pow1/3_binary64_8003` `diff-log_binary64_2898` `pow-sqr_binary64_18806` `pow1/3_binary64_5957` `+-commutative_binary64_8874` `pow-plus_binary64_19919` `distribute-lft-out_binary64_7190` `div-sub_binary64_4175` `pow2_binary64_8002` `unpow3_binary64_3213` `neg-sub0_binary64_13372` `associate--l+_binary64_4448` `rem-square-sqrt_binary64_3841` `div-sub_binary64_9972` `log-div_binary64_9713` `sqrt-div_binary64_21578` `pow-plus_binary64_17532` `pow2_binary64_159` `difference-of-sqr-1_binary64_9255` `associate-+l+_binary64_4103` `un-div-inv_binary64_9965` `diff-log_binary64_4944` `distribute-lft-out--_binary64_4122` `pow2_binary64_10389` `log-pow_binary64_9033` `un-div-inv_binary64_14398` `pow2_binary64_11753` `clear-num_binary64_3487` `neg-log_binary64_13470` `rem-cbrt-cube_binary64_10332` `distribute-rgt1-in_binary64_16402` `distribute-lft-out--_binary64_22877` `pow2_binary64_17550` `sub-neg_binary64_5527` `distribute-lft-out--_binary64_1053` `div-sub_binary64_14405` `associate--r-_binary64_15021` `distribute-rgt-out_binary64_14353` `-commutative_binary64_23538` `cbrt-div_binary64_11704` `pow-to-exp_binary64_20948` `pow-exp_binary64_3897` `distribute-lft-out_binary64_3098` `distribute-rgt-out--_binary64_9239` `rem-sqrt-square_binary64_20551` `distribute-rgt-out_binary64_13330` `associate-l/_binary64` `sqr-pow_binary64_11303` `rem-cbrt-cube_binary64_23972` `distribute-rgt-neg-in_binary64_3446` `pow2_binary64_11071` `associate-+l+_binary64_21153` `pow2_binary64_1864` `rem-log-exp_binary64_19556` `cube-mult_binary64_4200` `pow1/3_binary64_24030` `sqrt-unprod_binary64_3849` `pow-plus_binary64_141` `frac-add_binary64_17477` `pow2_binary64_1523` `sqrt-unprod_binary64_21581` `associate--l+_binary64_23203` `distribute-lft-neg-out_binary64_10949` `rem-square-sqrt_binary64_2136` `pow-plus_binary64_3551` `inv-pow_binary64_13803` `pow2_binary64_13117` `pow-prod-down_binary64` `sqr-pow_binary64_391` `distribute-rgt-out_binary64_22878` `sqrt-unprod_binary64_4531` `pow-plus_binary64_21283` `difference-of-sqr-1_binary64_3458` `unpow2_binary64_2871` `associate--l+_binary64_8199` `neg-log_binary64_14834` `pow-plus_binary64_11735` `rem-square-sqrt_binary64_7933` `pow-prod-up_binary64_11060` `rem-log-exp_binary64_22284` `sqr-pow_binary64_14031` `unpow3_binary64_5941` `pow3_binary64_5617` `cube-mult_binary64_13066` `sum-cubes_binary64_22926` `associate--r-_binary64_10929` `associate-+l-_binary64_6833` `associate-+r-_binary64_13993` `un-div-inv_binary64_12011` `unsub-neg_binary64_14735` `rem-cbrt-cube_binary64_7945` `inv-pow_binary64_18577` `associate-+r-_binary64_16039` `div-sub_binary64_20884` `pow-to-exp_binary64_10377` `difference-of-sqr-1_binary64_7209` `associate-+l+_binary64_3762` `diff-log_binary64_22335` `cube-mult_binary64_5905` `pow-flip_binary64_3221` `div-sub_binary64_2811` `sum-log_binary64_9035` `pow2_binary64_18914` `pow-to-exp_binary64_1852` `distribute-lft-out_binary64_21171` `sqrt-unprod_binary64_9305` `cancel-sign-sub-inv_binary64_17776` `flip3-+_binary64_7242` `associate--l-_binary64_16` `pow-to-exp_binary64_6626` `associate--l+_binary64_18770` `div-sub_binary64_10654` `sqrt-pow1_binary64_6234` `associate-+r-_binary64_14675` `difference-of-squares_binary64_1752` `diff-log_binary64_5626` `pow-prod-down_binary64_23678` `frac-sub_binary64_1451` `sqrt-unprod_binary64_16125` `div-inv_binary64_3485` `rem-cbrt-cube_binary64_17493` `pow-flip_binary64_13792` `pow-flip_binary64_6972` `flip3--_binary64_5538` `neg-sub0_binary64_14395` `rem-sqrt-square_binary64_22938` `sqrt-unprod_binary64_2485` `rem-cbrt-cube_binary64_11696` `frac-2neg_binary64_22254` `cube-div_binary64_22954` `sqrt-pow2_binary64_5894` `unpow3_binary64_22991` `associate-+l-_binary64_11607` `div-sub_binary64_11677` `associate-r/_binary64` `frac-2neg_binary64_3499` `pow2_binary64_14140` `distribute-lft-neg-in_binary64_14698` `-commutative_binary64_24220` `flip--_binary64_5509` `+-commutative_binary64_7169` `inv-pow_binary64_12780` `distribute-rgt1-in_binary64_21517` `rem-exp-log_binary64_10348` `sqrt-unprod_binary64_1462` `rem-log-exp_binary64_460` `un-div-inv_binary64_1099` `pow-plus_binary64_6961` `pow-to-exp_binary64_14128` `div-sub_binary64_6562` `rem-square-sqrt_binary64_4523` `pow-to-exp_binary64_13105` `div-sub_binary64_16451` `rem-sqrt-square_binary64_6229` `cancel-sign-sub_binary64_10955` `pow1/2_binary64_6296` `rem-3cbrt-lft_binary64_5559` `associate-+l-_binary64_14335` `distribute-rgt1-in_binary64_1057` `sqrt-pow2_binary64_4530` `pow-flip_binary64_7995` `pow1/2_binary64_10729` `pow1/3_binary64_4593` `pow-flip_binary64_18566` `exp-sqrt_binary64_20932` `pow2_binary64_6638` `pow-flip_binary64_12769` `sub-div_binary64_23273` `un-div-inv_binary64_18831` `pow-exp_binary64_17878` `un-div-inv_binary64_18149` `rem-square-sqrt_binary64_1454` `associate-+r-_binary64_13311` `div-sub_binary64_19520` `pow-to-exp_binary64_17879` `sqr-abs_binary64_16120` `cbrt-undiv_binary64_9319` `pow-exp_binary64_20947` `+-commutative_binary64_5123` `pow2_binary64_19937` `cancel-sign-sub-inv_binary64_5500` `pow-exp_binary64_9694` `neg-mul-1_binary64_10986` `inv-pow_binary64_14826` `div-sub_binary64_1447` `cube-mult_binary64_3177` `un-div-inv_binary64_3145` `sum-log_binary64_23016` `flip3-+_binary64_3832` `rem-square-sqrt_binary64_21573` `pow-pow_binary64_11403` `sqrt-unprod_binary64_14079` `associate-+l-_binary64_1718` `inv-pow_binary64_6983` `unpow1/3_binary64_9352` `pow-exp_binary64_1851` `pow-plus_binary64_18896` `distribute-lft-neg-in_binary64_35` `neg-mul-1_binary64_15078` `pow-pow_binary64_1855` `pow-flip_binary64_15156` `rem-cbrt-cube_binary64_6581` `sqr-abs_binary64_14074` `pow2_binary64_16186` `rem-cube-cbrt_binary64_17492` `pow-flip_binary64_14815` `inv-pow_binary64_3232` `distribute-rgt1-in_binary64_4126` `inv-pow_binary64_10393` `pow-pow_binary64_21974` `pow-plus_binary64_6620` `exp-prod_binary64_19567` `sub-neg_binary64_10642` `pow-pow_binary64_9357` `div-exp_binary64_5926` `pow-to-exp_binary64_16174` `neg-sub0_binary64_1096` `pow2_binary64_9366` `distribute-lft1-in_binary64_12309` `rem-cbrt-cube_binary64_17834` `distribute-rgt-out_binary64_21514` `pow-exp_binary64_14127` `associate-+l-_binary64_17063` `inv-pow_binary64_19259` `sqr-pow_binary64_22897` `pow2_binary64_21301` `un-div-inv_binary64_8260` `distribute-rgt-out--_binary64_8557` `sqrt-pow1_binary64_10667` `inv-pow_binary64_8006` `div-sub_binary64_6903` `pow-flip_binary64_20271` `pow-plus_binary64_9348` `rem-log-exp_binary64_3529` `pow-plus_binary64_10371` `+-commutative_binary64_18081` `pow-plus_binary64_12417` `div-sub_binary64_21566` `sub-div_binary64_1449` `unpow3_binary64_4236` `div-sub_binary64_23612` `exp-to-pow_binary64_19577` `pow1/2_binary64_20618` `associate-r/_binary64_24231` `associate-+l-_binary64_19450` `pow-prod-up_binary64_10378` `associate-+r-_binary64_16721` `pow-to-exp_binary64_3557` `associate-/l_binary64_22188` `sub-neg_binary64_17803` `div-sub_binary64_18156` `pow-prod-down_binary64_24360` `distribute-lft-neg-out_binary64_378` `div-sub_binary64_23953` `associate-+l-_binary64_354` `sqr-abs_binary64_7936` `div-inv_binary64_9282` `pow-plus_binary64_13099` `pow-to-exp_binary64_11400` `unpow1/3_binary64_1850` `pow-to-exp_binary64_3898` `pow-exp_binary64_3556` `pow-to-exp_binary64_11741` `associate-+l-_binary64_12289` `pow-plus_binary64_11053` `rem-cbrt-cube_binary64_16129` `rem-cbrt-cube_binary64_21926` `pow-flip_binary64_14133` `sqr-pow_binary64_11985` `sqr-abs_binary64_3844` `distribute-lft1-in_binary64_9240` `un-div-inv_binary64_23605` `flip3-+_binary64_20541` `diff-log_binary64_2557` `pow-plus_binary64_1505` `diff-log_binary64_8013` `sqr-pow_binary64_2778` `associate-+r-_binary64_1035` `pow-pow_binary64_22997` `div-sub_binary64_2470` `pow-exp_binary64_16855` `unpow1/3_binary64_145` `sqrt-pow1_binary64_22602` `diff-log_binary64_7331` `rem-sqrt-square_binary64_11685` `distribute-rgt-in_binary64_710` `pow2_binary64_6979` `log-div_binary64_3234` `associate-+r-_binary64_15698` `exp-to-pow_binary64_3550` `pow-flip_binary64_9018` `rem-exp-log_binary64_23988` `pow-sqr_binary64_10963` `rem-square-sqrt_binary64_2477` `un-div-inv_binary64_2804` `rem-square-sqrt_binary64_9297` `pow-to-exp_binary64_22994` `1-exp_binary64_8647` `pow-pow_binary64_17882` `div-sub_binary64_19861` `distribute-lft-in_binary64_709` `neg-log_binary64_14493` `diff-log_binary64_17902` `rem-sqrt-square_binary64_10662` `inv-pow_binary64_15167` `difference-of-sqr-1_binary64_10278` `rem-square-sqrt_binary64_14071` `pow2_binary64_12435` `pow-to-exp_binary64_12082` `associate-+l-_binary64_20132` `pow-to-exp_binary64_21971` `log-pow_binary64_24037` `associate-l/_binary64_8546` `rem-square-sqrt_binary64_16117` `frac-times_binary64` `pow-to-exp_binary64_7990` `rem-cube-cbrt_binary64_17833` `clear-num_binary64_22242` `log-pow_binary64_3236` `rem-exp-log_binary64_4551` `unsub-neg_binary64_1095` `sqr-pow_binary64_3460` `sqrt-pow1_binary64_20556` `sqr-abs_binary64_2139` `flip-+_binary64_8918` `distribute-lft-neg-in_binary64_13334` `inv-pow_binary64_14144` `cbrt-undiv_binary64_5909` `sqrt-unprod_binary64_12033` `cube-div_binary64_5904` `pow-flip_binary64_2880` `associate-+l-_binary64_16040` `distribute-rgt-out--_binary64_1396` `unpow-prod-down_binary64_13115` `rem-cbrt-cube_binary64_4535` `sqrt-unprod_binary64_20899` `inv-pow_binary64_2891` `associate--l+_binary64_5130` `difference-of-sqr-1_binary64_11983` `inv-pow_binary64_4596` `associate-+r-_binary64_7173` `unsub-neg_binary64_13371` `associate-/l/_binary64_24236` `unpow2_binary64_484` `sqrt-unprod_binary64_7941` `pow2_binary64_19255` `associate-+r-_binary64_14334` `pow-to-exp_binary64_9695` `frac-times_binary64_8613` `pow-plus_binary64_4574` `-commutative_binary64` `+-commutative_binary64_3759` `pow-flip_binary64_19248` `unsub-neg_binary64_7233` `frac-sub_binary64_23275` `sum-log_binary64_5625` `rem-sqrt-square_binary64_22597` `pow-plus_binary64_16168` `pow-exp_binary64_21970` `pow-flip_binary64_4926` `un-div-inv_binary64_7919` `inv-pow_binary64_4937` `difference-of-sqr-1_binary64_18462` `associate-/l_binary64_3433` `rem-cube-cbrt_binary64_21925` `pow-plus_binary64_19237` `pow-prod-up_binary64_18903` `rem-square-sqrt_binary64_12025` `pow2_binary64_12094` `associate-+l-_binary64_1377` `unpow3_binary64_13102` `pow-sqr_binary64_10281` `rec-exp_binary64_8653` `sqrt-unprod_binary64_2144` `rem-log-exp_binary64_9326` `rem-cbrt-cube_binary64_17152` `pow-flip_binary64_4585` `associate--l-_binary64_1721` `associate-+r-_binary64_4445` `pow-plus_binary64_1846` `difference-of-sqr-1_binary64_12324` `div-sub_binary64_13382` `pow-to-exp_binary64_17197` `pow-to-exp_binary64_9354` `un-div-inv_binary64_14057` `diff-log_binary64_22676` `exp-to-pow_binary64_21623` `unpow3_binary64_20945` `exp-diff_binary64_9674` `+-commutative_binary64_23196` `frac-add_binary64_14749` `associate--l-_binary64_16725` `flip3--_binary64_21565` `associate-+l+_binary64_21494` `pow1/2_binary64_23005` `distribute-lft1-in_binary64_1056` `pow-plus_binary64_14122` `pow-pow_binary64_11744` `inv-pow_binary64_9029` `+-commutative_binary64_22855` `cube-mult_binary64_20909` `pow-plus_binary64_12076` `distribute-rgt-out_binary64_1395` `pow-to-exp_binary64_16856` `distribute-rgt1-in_binary64_1398` `pow1/2_binary64_22664` `diff-log_binary64_20289` `distribute-rgt-out_binary64_4123` `pow2_binary64_3569` `flip-+_binary64_20512` `associate-+l-_binary64_10243` `sqr-pow_binary64_13008` `div-exp_binary64_9336` `div-sub_binary64_11336` `rem-exp-log_binary64_21601` `inv-pow_binary64_20282` `frac-2neg_binary64_9296` `sqr-abs_binary64_4526` `pow-exp_binary64_9353` `distribute-lft-out_binary64_5826` `div-sub_binary64_8267` `pow-flip_binary64_15497` `sqrt-pow1_binary64_22943` `rem-log-exp_binary64_7962` `associate-l/_binary64_17753` `unsub-neg_binary64_413` `associate--r-_binary64_16044` `sum-log_binary64_18242` `diff-log_binary64_10741` `diff-log_binary64_13469` `neg-log_binary64_7332` `flip3-+_binary64_8947` `pow-pow_binary64_16177` `flip--_binary64_21536` `pow-plus_binary64_7984` `distribute-lft-out_binary64_11623` `inv-pow_binary64_15508` `log-pow_binary64_167` `associate-+r-_binary64_8537` `pow-pow_binary64_12085` `neg-sub0_binary64_14736` `flip-+_binary64_7213` `rem-log-exp_binary64_12395` `distribute-lft-neg-in_binary64_14357` `div-sub_binary64_12018` `un-div-inv_binary64_15421` `distribute-rgt-out_binary64_14694` `+-commutative_binary64_5464` `unpow2_binary64_21967` `sqrt-pow2_binary64_2143` `flip-+_binary64_3803` `distribute-lft1-in_binary64_22880` `div-sub_binary64_22589` `distribute-rgt-out_binary64_31` `exp-to-pow_binary64_20941` `clear-num_binary64_9284` `unsub-neg_binary64_14394` `associate-*r/_binary64_23549` `neg-sub0_binary64_7234` `rem-log-exp_binary64_4552` `pow2_binary64_4592` `distribute-lft-out--_binary64_18103` `cube-prod_binary64_13064`

Counts

2356 → 75174

Calls

1697 calls:

168.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) (/.f64 (-.f64 y x) (/.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 z t)))))
136.0ms	(*.f64 (/.f64 1 (+.f64 x y)) (/.f64 x (/.f64 (+.f64 x y) (/.f64 y (+.f64 x (+.f64 y 1))))))
131.0ms	(-.f64 1 (/.f64 1 (/.f64 (-.f64 y z) (/.f64 x (-.f64 y t)))))
111.0ms	(+.f64 x (/.f64 (/.f64 y (-.f64 a t)) (/.f64 1 (-.f64 z t))))
86.0ms	(/.f64 (/.f64 x (/.f64 (+.f64 x y) (/.f64 y (+.f64 x (+.f64 y 1))))) (+.f64 x y))

Compiler

Compiled 2161928 to 931920 computations (56.9% saved)

simplify1.5min (3.8%)

Algorithm

1403×

egg-herbie

Counts

107586 → 107586

Compiler

Compiled 3508 to 2596 computations (26% saved)

localize8.4s (0.4%)

bsearch4.2s (0.2%)

Compiler: Compiled 407 to 455 computations (-11.8% saved)

Details

series13.3min (33.5%)

sample12.3min (30.9%)

analyze4.6min (11.6%)

regimes3.0min (7.5%)

prune2.4min (6.1%)

rewrite2.4min (6%)

simplify1.5min (3.8%)

localize8.4s (0.4%)

bsearch4.2s (0.2%)

end5.0ms (0%)

Profiling