Date:	Saturday, February 13th, 2021
Commit:	f81940a2 on master
Hostname:	warfa with Racket 7.9
Seed:	2021044
Parameters:	256 points for 4 iterations
Flags:	`setup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:fallback` default

Details

series15.1min (39.6%)

Counts

2413 → 32678

Calls

1751 calls:

2.2min	(/.f64 (.f64 (cbrt.f64 (+.f64 (.f64 z (+.f64 y x)) (-.f64 (.f64 a (+.f64 y t)) (.f64 y b)))) (cbrt.f64 (+.f64 (.f64 z (+.f64 y x)) (-.f64 (.f64 a (+.f64 y t)) (.f64 y b))))) (.f64 (cbrt.f64 (+.f64 y (+.f64 t x))) (cbrt.f64 (+.f64 y (+.f64 t x)))))
2.1min	(.f64 (cbrt.f64 (/.f64 (+.f64 x (/.f64 (-.f64 (.f64 z y) x) (-.f64 (.f64 t z) x))) (+.f64 x 1))) (cbrt.f64 (/.f64 (+.f64 x (/.f64 (-.f64 (.f64 z y) x) (-.f64 (*.f64 t z) x))) (+.f64 x 1))))
9.4s	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
9.3s	(/.f64 (+.f64 (.f64 (+.f64 (+.f64 (.f64 (pow.f64 y 3) x) (+.f64 (.f64 z (.f64 y y)) (.f64 y 471841060772561/17179869184))) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i))
9.3s	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 y a) y) b)) (cbrt.f64 (+.f64 (.f64 (+.f64 y a) y) b))) (.f64 y (cbrt.f64 (+.f64 b (*.f64 y (+.f64 y a)))))) c) y) i))

Compiler

Compiled 2498379 to 1636123 computations (34.5% saved)

sample8.6min (22.6%)

Algorithm

539×

intervals

Results

1.6min	2105833×	body	128	valid
30.8s	291043×	body	128	invalid
19.5s	51157×	body	1024	valid
9.3s	35395×	body	512	valid
7.9s	89182×	body	128	nan
4.9s	10232×	body	2048	valid
2.8s	18146×	body	256	valid
2.1s	8953×	body	1024	invalid
976.0ms	5625×	body	512	invalid
394.0ms	357×	body	4096	valid
378.0ms	3153×	body	256	invalid
254.0ms	1221×	body	1024	nan
148.0ms	953×	body	512	nan
56.0ms	851×	body	128	overflowed
56.0ms	557×	body	256	nan
1.0ms	4×	body	2048	invalid
0.0ms	2×	body	2048	nan

Compiler

Compiled 233423 to 174741 computations (25.1% saved)

analyze3.3min (8.7%)

Algorithm

270×	search
540×	egg-herbie

Search

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

Compiler

Compiled 3201 to 2770 computations (13.5% saved)

regimes3.2min (8.4%)

Compiler: Compiled 1691100 to 1269636 computations (24.9% saved)

prune2.8min (7.4%)

Counts: 112955 → 5699
Compiler: Compiled 2860757 to 1197608 computations (58.1% saved)

rewrite2.8min (7.4%)

Algorithm

881×	rewrite-expression-head

Rules

3487×	`times-frac_binary64_9973`
3139×	`times-frac_binary64_20885`
2652×	`times-frac_binary64_8950`
2302×	`*-un-lft-identity_binary64_9967`
2097×	`add-sqr-sqrt_binary64_9989`
1753×	`times-frac_binary64_18157`
1725×	`times-frac_binary64_12360`
1642×	`*-un-lft-identity_binary64_12354`
1602×	`add-cube-cbrt_binary64_10002`
1578×	`add-sqr-sqrt_binary64_20901`
1562×	`times-frac_binary64_17475`
1517×	`*-un-lft-identity_binary64_20879`
1484×	`add-cube-cbrt_binary64_20914`
1460×	`times-frac_binary64_18498`
1392×	`*-un-lft-identity_binary64_17469`
1383×	`add-sqr-sqrt_binary64_17491`
1283×	`add-sqr-sqrt_binary64_8966`
1273×	`*-un-lft-identity_binary64_8944`
1259×	`add-sqr-sqrt_binary64_12376`
1253×	`add-cube-cbrt_binary64_8979`
1212×	`add-sqr-sqrt_binary64_18514`
1170×	`add-sqr-sqrt_binary64_14763`
1158×	`times-frac_binary64_15088`
1134×	`*-un-lft-identity_binary64_17128`
1112×	`times-frac_binary64_14747`
1109×	`*-un-lft-identity_binary64_3147` `add-sqr-sqrt_binary64_3169`
1104×	`*-un-lft-identity_binary64_18492`
1076×	`add-sqr-sqrt_binary64_18173`
1075×	`*-un-lft-identity_binary64_14741`
1045×	`times-frac_binary64_3153`
1028×	`times-frac_binary64_11678`
1010×	`add-exp-log_binary64_13756`
1004×	`*-un-lft-identity_binary64_18151`
986×	`times-frac_binary64_1107`
972×	`times-frac_binary64_17134`
964×	`add-cube-cbrt_binary64_18186`
959×	`add-cube-cbrt_binary64_12389`
936×	`add-sqr-sqrt_binary64_15104`
913×	`*-un-lft-identity_binary64_15082`
906×	`times-frac_binary64_1789`
888×	`add-sqr-sqrt_binary64_1805`
877×	`add-sqr-sqrt_binary64_17150`
876×	`sqrt-prod_binary64_9983`
853×	`sqrt-prod_binary64_12370`
830×	`times-frac_binary64_13042`
806×	`add-sqr-sqrt_binary64_13058`
804×	`*-un-lft-identity_binary64_1101`
787×	`*-un-lft-identity_binary64_1783`
771×	`add-sqr-sqrt_binary64_11694`
743×	`*-un-lft-identity_binary64_11672`
721×	`times-frac_binary64_13724`
717×	`*-un-lft-identity_binary64_11331`
702×	`times-frac_binary64_16793` `add-cube-cbrt_binary64_18527`
694×	`*-un-lft-identity_binary64_13036`
690×	`times-frac_binary64_18839`
680×	`add-sqr-sqrt_binary64_13399`
672×	`add-cube-cbrt_binary64_17504`
651×	`times-frac_binary64_13383`
650×	`add-sqr-sqrt_binary64_11353`
644×	`add-cube-cbrt_binary64_15117` `add-sqr-sqrt_binary64_16809`
628×	`div-exp_binary64_13769` `*-un-lft-identity_binary64_16787`
617×	`times-frac_binary64_10655`
610×	`*-un-lft-identity_binary64_16446`
609×	`add-cube-cbrt_binary64_14776`
607×	`add-sqr-sqrt_binary64_1123`
602×	`*-un-lft-identity_binary64_13377`
601×	`add-cube-cbrt_binary64_11707`
600×	`add-sqr-sqrt_binary64_13740`
598×	`add-sqr-sqrt_binary64_18855`
594×	`add-sqr-sqrt_binary64_16468`
580×	`add-sqr-sqrt_binary64_14422` `*-un-lft-identity_binary64_18833`
572×	`add-cube-cbrt_binary64_3182`
559×	`add-sqr-sqrt_binary64_15445`
552×	`add-sqr-sqrt_binary64_10671` `sqrt-prod_binary64_17485`
551×	`add-sqr-sqrt_binary64_12717`
544×	`times-frac_binary64_11337`
534×	`*-un-lft-identity_binary64_15423`
527×	`add-exp-log_binary64_11369`
526×	`*-un-lft-identity_binary64_2806`
523×	`*-un-lft-identity_binary64_10649`
517×	`*-un-lft-identity_binary64_14400`
505×	`add-sqr-sqrt_binary64_2828`
503×	`*-un-lft-identity_binary64_12695`
499×	`times-frac_binary64_22249`
495×	`times-frac_binary64_14406`
488×	`*-un-lft-identity_binary64_20538` `times-frac_binary64_12701`
486×	`add-cube-cbrt_binary64_17163`
478×	`*-un-lft-identity_binary64_13718`
477×	`*-un-lft-identity_binary64_17810`
475×	`add-cube-cbrt_binary64_1818`
474×	`add-sqr-sqrt_binary64_9648`
473×	`add-sqr-sqrt_binary64_8625`
468×	`*-un-lft-identity_binary64_22243`
465×	`times-frac_binary64_9632`
464×	`add-cube-cbrt_binary64_18868` `add-sqr-sqrt_binary64_15786`
456×	`*-un-lft-identity_binary64_15764` `times-frac_binary64_4858`
455×	`add-cube-cbrt_binary64_1136`
449×	`*-un-lft-identity_binary64_19515`
446×	`add-sqr-sqrt_binary64_5897` `times-frac_binary64_15429`
443×	`times-frac_binary64_16452`
437×	`*-un-lft-identity_binary64_9626`
427×	`*-un-lft-identity_binary64_8603`
425×	`add-exp-log_binary64_14779`
417×	`add-sqr-sqrt_binary64_11012` `times-frac_binary64_2812`
413×	`add-cube-cbrt_binary64_13412` `prod-exp_binary64_13767` `add-sqr-sqrt_binary64_22265`
407×	`*-un-lft-identity_binary64_5875`
404×	`add-cube-cbrt_binary64_11366`
398×	`add-cube-cbrt_binary64_13071`
396×	`add-cube-cbrt_binary64_13753`
394×	`add-cube-cbrt_binary64_16822`
393×	`times-frac_binary64_15770`
386×	`*-un-lft-identity_binary64_10990`
372×	`add-sqr-sqrt_binary64_4192`
371×	`add-exp-log_binary64_9323`
369×	`associate-r_binary64_14681`
365×	`pow1_binary64_19917`
363×	`sqrt-prod_binary64_3163`
359×	`add-sqr-sqrt_binary64_19537`
356×	`add-sqr-sqrt_binary64_17832`
355×	`add-sqr-sqrt_binary64_4874`
353×	`add-cbrt-cube_binary64_11367`
352×	`*-un-lft-identity_binary64_4170` `add-cube-cbrt_binary64_2841`
344×	`difference-of-squares_binary64_17438`
340×	`add-cube-cbrt_binary64_10684`
336×	`add-sqr-sqrt_binary64_20219`
335×	`add-cube-cbrt_binary64_12730`
332×	`add-cbrt-cube_binary64_14777`
331×	`add-sqr-sqrt_binary64_10330`
324×	`cbrt-prod_binary64_17841`
318×	`associate-r_binary64_13317`
316×	`*-un-lft-identity_binary64` `sqrt-prod_binary64_8619`
315×	`*-un-lft-identity_binary64_4852`
314×	`add-exp-log_binary64_12051`
312×	`add-cube-cbrt_binary64_14435`
311×	`add-cube-cbrt_binary64_9661`
310×	`add-cube-cbrt_binary64_8638`
308×	`add-sqr-sqrt_binary64_20560` `times-frac_binary64_8609` `add-cube-cbrt_binary64_4887`
307×	`times-frac_binary64_19521`
305×	`cbrt-prod_binary64_16818` `times-frac_binary64_17816` `times-frac_binary64_5881`
303×	`add-exp-log_binary64_18189`
301×	`add-cbrt-cube_binary64_9321`
297×	`distribute-lft-out_binary64_12305`
296×	`add-exp-log_binary64_1821`
295×	`add-sqr-sqrt_binary64_782` `*-un-lft-identity_binary64_20197`
292×	`add-cube-cbrt_binary64_20232`
290×	`add-cube-cbrt_binary64_22278`
289×	`add-sqr-sqrt_binary64_16127` `*-un-lft-identity_binary64_10308` `times-frac_binary64_20203`
288×	`times-frac_binary64_4176` `add-exp-log_binary64_20917`
285×	`times-frac_binary64_20544`
282×	`add-exp-log_binary64_18530`
272×	`add-cube-cbrt_binary64_20573`
271×	`associate-r_binary64_1723`
267×	`times-frac_binary64_21567` `add-cbrt-cube_binary64_13754`
266×	`add-sqr-sqrt_binary64_19878` `add-cube-cbrt_binary64_16481`
263×	`*-un-lft-identity_binary64_16105`
262×	`add-cube-cbrt_binary64_15458`
260×	`add-exp-log_binary64_12733`
259×	`associate-r_binary64_11271`
258×	`add-sqr-sqrt_binary64_2487`
257×	`add-sqr-sqrt_binary64_9307`
256×	`add-cube-cbrt_binary64_17845`
255×	`add-sqr-sqrt_binary64_7602`
250×	`add-cube-cbrt_binary64_5910`
249×	`add-cbrt-cube_binary64_18528`
245×	`times-frac_binary64_10996`
244×	`add-cube-cbrt_binary64_10343`
243×	`add-cbrt-cube_binary64_18187`
242×	`associate-l_binary64_3088`
241×	`*-un-lft-identity_binary64_760` `add-sqr-sqrt_binary64`
239×	`log-prod_binary64_11758` `*-un-lft-identity_binary64_7580`
237×	`add-cube-cbrt_binary64_11025`
233×	`*-un-lft-identity_binary64_22584`
232×	`add-exp-log_binary64_12392`
228×	`times-frac_binary64`
227×	`add-sqr-sqrt_binary64_5556` `distribute-lft-out--_binary64_14693`
226×	`distribute-lft-out--_binary64_3099`
225×	`difference-of-squares_binary64_14710`
224×	`add-sqr-sqrt_binary64_21583`
223×	`add-exp-log_binary64_2844`
222×	`*-un-lft-identity_binary64_9285`
218×	`add-exp-log_binary64_23645` `sqrt-prod_binary64_13052`
217×	`times-frac_binary64_9291`
216×	`*-un-lft-identity_binary64_2465` `add-sqr-sqrt_binary64_2146`
215×	`*-un-lft-identity_binary64_12013` `cancel-sign-sub-inv_binary64_10956`
214×	`associate-r_binary64_3087` `add-cube-cbrt_binary64_19550` `add-exp-log_binary64_3185`
210×	`difference-of-squares_binary64_18461`
208×	`add-exp-log_binary64_20576` `add-sqr-sqrt_binary64_12035` `add-exp-log_binary64_10005`
206×	`cbrt-prod_binary64_9998`
205×	`cancel-sign-sub-inv_binary64_15048` `pow1_binary64_18553`
204×	`distribute-lft-out--_binary64_17080`
202×	`add-cube-cbrt_binary64_2500` `add-exp-log_binary64_17848`
201×	`*-un-lft-identity_binary64_21561`
200×	`add-sqr-sqrt_binary64_3510`
199×	`distribute-lft-out--_binary64_18444`
197×	`difference-of-squares_binary64_9936`
196×	`add-exp-log_binary64_19894` `*-un-lft-identity_binary64_21902`
194×	`times-frac_binary64_16111` `add-cube-cbrt_binary64`
193×	`add-cube-cbrt_binary64_21596` `add-exp-log_binary64_17166`
192×	`add-cbrt-cube_binary64_1819`
191×	`prod-exp_binary64_11380`
190×	`add-sqr-sqrt_binary64_4533`
189×	`add-cbrt-cube_binary64_12049` `associate-l_binary64_13659` `add-exp-log_binary64_8982` `distribute-lft-out_binary64_17420`
188×	`add-cube-cbrt_binary64_9320` `associate-/r_binary64_12298` `-un-lft-identity_binary64_5534` `associate-/r/_binary64_9913`
187×	`add-sqr-sqrt_binary64_21924`
186×	`associate-l_binary64_11272` `times-frac_binary64_22590`
185×	`add-cube-cbrt_binary64_16140` `add-exp-log_binary64_18871` `pow1_binary64_1844` `add-cbrt-cube_binary64_12731`
184×	`associate-r_binary64_2746` `cancel-sign-sub-inv_binary64_18117`
183×	`associate-r_binary64_4792`
182×	`pow-prod-down_binary64_19927`
181×	`add-cube-cbrt_binary64_15799`
180×	`difference-of-squares_binary64_17097` `div-inv_binary64_20876`
179×	`cbrt-prod_binary64_13408`
178×	`distribute-lft-out--_binary64_9919` `add-cbrt-cube_binary64_10003`
177×	`add-cube-cbrt_binary64_7615`
174×	`add-exp-log_binary64_15120` `add-sqr-sqrt_binary64_100`
173×	`add-exp-log_binary64_13415`
172×	`add-cbrt-cube_binary64_17505` `add-cube-cbrt_binary64_4205` `add-cbrt-cube_binary64_20574` `times-frac_binary64_21226` `cbrt-prod_binary64_19887` `add-cbrt-cube_binary64_19892` `add-exp-log_binary64_17507` `add-cube-cbrt_binary64_795`
170×	`add-cube-cbrt_binary64_5569`
167×	`add-exp-log_binary64_9664`
166×	`associate-/r*_binary64_9911`
165×	`cbrt-prod_binary64` `add-sqr-sqrt_binary64_19196` `add-exp-log_binary64_19553` `*-un-lft-identity_binary64_2124` `add-cbrt-cube_binary64_20915`
164×	`cbrt-prod_binary64_20228` `difference-of-squares_binary64_1752` `add-sqr-sqrt_binary64_1464`
161×	`cbrt-prod_binary64_10339` `add-cbrt-cube_binary64_17164`
160×	`sqrt-div_binary64_1118`
159×	`add-cube-cbrt_binary64_12048`
158×	`add-exp-log_binary64_21599` `add-cbrt-cube_binary64_12390` `log-prod_binary64_1528` `pow1_binary64_12074`
157×	`difference-of-squares_binary64_3116` `add-cbrt-cube_binary64_13413`
156×	`pow1_binary64_11392`
155×	`add-cbrt-cube_binary64_3183` `associate-/r*_binary64_20823`
154×	`add-cbrt-cube_binary64_15118` `distribute-lft-out_binary64_9918`
153×	`add-exp-log_binary64_15461` `associate-l_binary64_9908`
152×	`frac-times_binary64_1111` `div-exp_binary64_11382` `add-sqr-sqrt_binary64_21242` `pow1_binary64_19235`
151×	`prod-exp_binary64_23656` `associate-r_binary64_15363` `add-exp-log_binary64_11710` `add-cbrt-cube_binary64_18869`
150×	`div-exp_binary64_20930` `add-cbrt-cube_binary64_21597` `add-log-exp_binary64_10347`
149×	`add-sqr-sqrt_binary64_14081` `associate-/r*_binary64_14685` `sqrt-prod_binary64_2822` `add-cube-cbrt_binary64_2159`
148×	`unpow-prod-down_binary64_10728` `-un-lft-identity_binary64_21220` `add-exp-log_binary64_14438` `associate-/r_binary64_18095` `associate-/r*_binary64_17413`
147×	`prod-exp_binary64_12062` `*-un-lft-identity_binary64_78`
146×	`add-sqr-sqrt_binary64_22606` `add-exp-log_binary64_8641` `prod-exp_binary64_9334` `associate-r_binary64_12294` `distribute-lft-out--_binary64_12988`
144×	`difference-of-squares_binary64_16415` `distribute-lft-out--_binary64_1735` `div-inv_binary64_8941`
143×	`add-exp-log_binary64_13074`
142×	`distribute-lft-out--_binary64_16398` `log-prod_binary64_10394` `associate-/r*_binary64_8888` `add-exp-log_binary64_21940`
141×	`-un-lft-identity_binary64_19856` `distribute-lft-in_binary64_10257` `unpow-prod-down_binary64_19594` `distribute-rgt-in_binary64_10258` `-un-lft-identity_binary64_1442`
140×	`pow1_binary64_139`
139×	`log-prod_binary64_2551` `add-cbrt-cube_binary64_19551` `*-un-lft-identity_binary64_4511` `difference-of-squares_binary64_15051` `cbrt-div_binary64_21934`
138×	`cbrt-prod_binary64_11703`
137×	`add-exp-log_binary64_16484`
136×	`distribute-lft-out--_binary64_15375` `difference-of-squares_binary64_15392` `add-exp-log_binary64_5913` `associate-r_binary64_18773` `associate-l_binary64_17069` `add-cbrt-cube_binary64_14436`
135×	`pow-exp_binary64_13786` `pow-to-exp_binary64_13787`
134×	`add-exp-log_binary64_798` `distribute-lft-out--_binary64_1053` `add-cbrt-cube_binary64_17846` `pow1_binary64_13097` `pow1_binary64_4572` `unpow-prod-down_binary64_13797` `distribute-lft-out_binary64_17079` `add-cbrt-cube_binary64_9662`
133×	`pow1_binary64_8664` `associate-r_binary64_12976` `*-un-lft-identity_binary64_419`
132×	`difference-of-squares_binary64_15733` `associate-r_binary64_12635` `add-cbrt-cube_binary64_8639`
131×	`add-cube-cbrt_binary64_1477`
130×	`add-cbrt-cube_binary64_11708` `add-cbrt-cube_binary64_21938` `div-exp_binary64_14792` `-un-lft-identity_binary64_14059` `add-cbrt-cube_binary64_2842` `add-exp-log_binary64_2162` `-un-lft-identity_binary64_19174`
129×	`distribute-lft-in_binary64_1391` `add-cube-cbrt_binary64_4546` `distribute-rgt-in_binary64_1392` `cancel-sign-sub-inv_binary64_12320` `distribute-lft-out--_binary64_15716`
128×	`add-sqr-sqrt_binary64_441` `distribute-lft-out--_binary64_15034` `add-exp-log_binary64_16825` `add-cube-cbrt_binary64_113` `pow1_binary64_21963`
127×	`difference-of-squares_binary64_14369` `*-un-lft-identity_binary64_3488` `cbrt-prod_binary64_2496` `times-frac_binary64_766`
126×	`pow1_binary64_14802` `associate-r_binary64_18432` `add-exp-log_binary64_7618`
125×	`add-cbrt-cube_binary64_15459` `add-exp-log_binary64_10687` `pow1_binary64_19576` `add-exp-log_binary64_20235`
124×	`add-exp-log_binary64_19212` `add-cube-cbrt_binary64_22619` `log-prod_binary64_12781` `associate-l_binary64_14682`
123×	`pow1_binary64_13438` `pow1_binary64_10369` `add-cbrt-cube_binary64_16823` `times-frac_binary64_7586` `add-exp-log_binary64_4549` `add-cube-cbrt_binary64_19891` `associate-r_binary64_8543`
122×	`prod-exp_binary64_14790` `div-inv_binary64_9964`
121×	`distribute-lft-out_binary64_20489` `add-cbrt-cube_binary64_16482` `associate-r_binary64_10248`
120×	`pow1_binary64_17871`
119×	`pow1_binary64_7982` `cbrt-unprod_binary64_9318`
118×	`add-cbrt-cube_binary64_796` `associate-r_binary64_9225` `cbrt-prod_binary64_4542` `cbrt-prod_binary64_5565` `add-exp-log_binary64_4890`
117×	`add-cbrt-cube_binary64_19210` `cbrt-unprod_binary64_11364` `add-exp-log_binary64_10346` `associate-r_binary64_9907`
116×	`distribute-rgt-in_binary64_2415` `flip-+_binary64_9941` `flip3-+_binary64_9970` `add-exp-log_binary64_16143` `distribute-lft-in_binary64_2414`
115×	`distribute-rgt-in_binary64_10940` `add-cbrt-cube_binary64_2160` `distribute-lft-in_binary64_10939` `pow1_binary64_18212`
114×	`distribute-rgt-in_binary64_11622` `pow1_binary64_1503` `associate-r_binary64_19796` `distribute-lft-out--_binary64_16739` `associate-r_binary64_17068` `difference-of-squares_binary64_13005` `difference-of-squares_binary64_16756` `distribute-lft-in_binary64_11621`
113×	`distribute-lft-out_binary64_2757` `pow1_binary64_3208` `add-exp-log_binary64_14097` `pow1_binary64_16848`
112×	`associate-/l*_binary64_18437` `unpow-prod-down_binary64_13115`
111×	`add-cbrt-cube_binary64_10685` `pow1_binary64_2185` `associate-r_binary64_17750` `div-exp_binary64_18202` `div-inv_binary64_18148` `pow1_binary64_7641`
110×	`cbrt-prod_binary64_11021` `div-exp_binary64_8995` `pow1_binary64_12415` `add-exp-log_binary64_11028` `div-exp_binary64_9336` `cbrt-prod_binary64_12385`
109×	`associate-/r*_binary64_15026` `prod-exp_binary64_18541` `add-sqr-sqrt_binary64_7943`
108×	`cbrt-unprod_binary64_12046` `pow1_binary64_5595` `associate-r_binary64_13658`
107×	`flip-+_binary64_11305` `add-cbrt-cube_binary64_13072` `flip3-+_binary64_11334` `distribute-lft-out_binary64_11282` `add-cbrt-cube_binary64_23643`
106×	`add-log-exp_binary64_458` `add-cube-cbrt_binary64_14094` `pow1_binary64_821`
105×	`cancel-sign-sub-inv_binary64_18458` `associate-r_binary64_9566` `add-cbrt-cube_binary64_8980`
104×	`add-cube-cbrt_binary64_21937` `add-cbrt-cube_binary64_5911` `add-exp-log_binary64_2503` `associate-l_binary64_9226`
103×	`log-prod_binary64_20283` `difference-of-squares_binary64_4139` `cbrt-unprod_binary64_18525` `associate-/l*_binary64_9912` `cbrt-prod_binary64_7611`
102×	`pow1_binary64_4913` `difference-of-squares_binary64_10618` `add-cbrt-cube_binary64_10344` `pow1_binary64_20599`
100×	`associate-/r*_binary64_17072` `times-frac_binary64_5540` `add-cbrt-cube_binary64_16141` `pow1_binary64_11051`
99×	`add-log-exp_binary64_16826` `add-cube-cbrt_binary64_19209` `pow1_binary64_17530` `add-cbrt-cube_binary64_20233` `pow1_binary64_2526` `associate-/r*_binary64_1727` `prod-exp_binary64_19905` `add-cube-cbrt_binary64_21255`
98×	`pow1_binary64_1162` `associate-/r/_binary64_11277` `pow1_binary64_5936` `distribute-lft-out--_binary64_14352` `cbrt-prod_binary64_5906`
97×	`cancel-sign-sub-inv_binary64_18799` `cbrt-unprod_binary64_19889` `associate-l_binary64_701` `sqrt-prod_binary64_2140` `associate-r_binary64_22183` `add-sqr-sqrt_binary64_8284`
96×	`cbrt-unprod_binary64_14774` `distribute-lft-out--_binary64_19467` `associate-r_binary64_16045` `associate-/l*_binary64_17073` `add-cbrt-cube_binary64_4888` `add-cbrt-cube_binary64_2501` `pow1_binary64_2867` `pow1_binary64_20258`
95×	`cbrt-prod_binary64_5224` `distribute-lft-out_binary64_17761` `pow1_binary64_15143` `difference-of-squares_binary64_12664` `cbrt-undiv_binary64_13752` `add-cbrt-cube_binary64_11026`
94×	`add-cube-cbrt_binary64_454` `sqrt-prod_binary64_4868` `flip3--_binary64_1105` `add-sqr-sqrt_binary64_5215` `flip--_binary64_1076` `pow1_binary64_16507` `add-log-exp_binary64_8642`
93×	`sqrt-pow1_binary64_8621` `associate-l_binary64_19797` `add-cbrt-cube_binary64_7616`
92×	`pow1_binary64_12756` `flip3--_binary64_14404` `associate-/r*_binary64_14344` `flip--_binary64_14375` `add-cbrt-cube_binary64_14095`
91×	`associate-r/_binary64_21844` `add-log-exp_binary64_12052` `associate-l*_binary64_17410`
90×	`difference-of-squares_binary64_12323` `div-exp_binary64_1834` `cbrt-div_binary64_17842` `cbrt-prod_binary64_22274` `pow-prod-down_binary64_18563` `add-cbrt-cube_binary64_4547` `add-log-exp_binary64_12393` `associate-l_binary64_13318` `distribute-lft-out--_binary64_13329` `frac-times_binary64_11341` `associate-r/_binary64_10932` `add-log-exp_binary64_20577` `add-exp-log_binary64_22281` `associate-l_binary64_17751` `associate-r*_binary64_18091`
89×	`add-exp-log_binary64_116` `unpow-prod-down_binary64_19935` `associate-r_binary64_16386` `add-exp-log_binary64_5572` `cbrt-undiv_binary64_11365` `pow1_binary64_20940` `sqrt-prod_binary64_18508` `cbrt-undiv_binary64_14775`
88×	`pow1_binary64_14120` `swap-sqr_binary64_3114` `cbrt-undiv_binary64_9319` `add-exp-log_binary64_1480` `prod-exp_binary64_1832`
87×	`cancel-sign-sub-inv_binary64_16412` `associate-r_binary64_700` `difference-of-squares_binary64_13346` `times-frac_binary64_10314` `add-cbrt-cube_binary64_1478`
86×	`-un-lft-identity_binary64_7921` `associate-l_binary64_16387` `associate-l*_binary64_18774` `add-log-exp_binary64_2163` `add-exp-log_binary64_1139`
85×	`distribute-lft-out--_binary64_17421` `-un-lft-identity_binary64_22925` `associate-l_binary64_18092` `-un-lft-identity_binary64_8262` `add-cbrt-cube_binary64_5570` `associate-l_binary64_1724`
84×	`add-log-exp_binary64_15121` `associate-r_binary64_11953` `associate-r_binary64_14340` `add-sqr-sqrt_binary64_23629` `cbrt-prod_binary64_15454` `sqrt-prod_binary64_19872` `pow1_binary64_15484` `sqrt-div_binary64_9984`
83×	`associate-*r/_binary64_11955` `pow1_binary64_18894`
82×	`pow1_binary64_14461` `associate-r_binary64_11612` `add-cube-cbrt_binary64_3523` `pow1_binary64_10028` `distribute-lft-out_binary64_10600`
81×	`associate-/r_binary64_3091` `associate-r_binary64_4451` `add-cbrt-cube_binary64_114` `associate-r*_binary64_20478`
80×	`frac-sub_binary64_10999` `associate-l_binary64_10249` `div-inv_binary64_12351` `cancel-sign-sub-inv_binary64_5500`
79×	`associate-/r*_binary64_22187` `pow1_binary64_11733` `difference-of-squares_binary64_10959` `div-exp_binary64_12746` `associate-+l+_binary64_1375`
78×	`cbrt-prod_binary64_16136` `unswap-sqr_binary64_19824` `div-exp_binary64_12405` `add-sqr-sqrt_binary64_6579` `associate-r_binary64_17409`
77×	`pow1_binary64_23668` `pow1_binary64_480` `associate-r_binary64_7520` `div-inv_binary64_13033` `times-frac_binary64_14065` `add-cbrt-cube_binary64_22279` `add-log-exp_binary64_2845`
76×	`add-log-exp_binary64_19554` `associate-/r_binary64_10593` `associate-/l_binary64_12299` `associate-/r*_binary64_15367`
75×	`associate-l_binary64_8544` `cbrt-unprod_binary64_13751` `cbrt-unprod_binary64_23640` `sqrt-prod_binary64_9301` `associate-r_binary64_10930` `add-log-exp_binary64_117` `associate-l_binary64_11954`
74×	`pow1_binary64_3549` `add-cbrt-cube_binary64_1137` `associate-/r_binary64_18777` `-un-lft-identity_binary64_5193` `associate-r_binary64_20137`
73×	`distribute-lft-out_binary64_3098` `associate-r/_binary64_11273` `difference-of-squares_binary64_3457` `associate-l*_binary64_19115` `swap-sqr_binary64_17777`
72×	`add-log-exp_binary64_16485` `cbrt-div_binary64_13409` `add-cube-cbrt_binary64_5228` `add-log-exp_binary64_5914` `add-cube-cbrt_binary64_7956` `div-exp_binary64_10018` `times-frac_binary64_21908` `cbrt-div_binary64_5225` `pow1_binary64_9346` `frac-add_binary64_21910` `associate-+l+_binary64_10241` `associate-/r_binary64_20482` `associate-r*_binary64_16727` `pow1_binary64_13779`
71×	`difference-of-squares_binary64_1070` `distribute-lft-out--_binary64_4122` `cbrt-prod_binary64_6588` `add-log-exp_binary64_19895` `associate-r_binary64_2405` `add-log-exp_binary64_2504` `pow1_binary64_9687` `add-log-exp_binary64_18872` `add-log-exp_binary64_1481` `associate-l_binary64_14341` `associate-l_binary64_5816` `associate-r_binary64_21842` `distribute-lft-out_binary64_1052` `associate-r_binary64_5815` `cbrt-prod_binary64_3178`
70×	`associate-/l_binary64_11276` `flip3-+_binary64_20541` `associate-l_binary64_7521` `sqrt-prod_binary64_20213` `add-log-exp_binary64_17508` `add-exp-log_binary64` `add-exp-log_binary64_457` `associate-r*_binary64_23547` `cbrt-prod_binary64_450` `flip-+_binary64_20512`
69×	`cbrt-prod_binary64_1473` `associate-/r/_binary64_17415` `cbrt-prod_binary64_8634` `associate-r_binary64_2064` `div-inv_binary64_15079` `add-exp-log_binary64_15802` `associate-r_binary64_13999` `flip3-+_binary64_1104` `prod-exp_binary64_12744` `cbrt-undiv_binary64_18185` `add-log-exp_binary64_14780` `flip-+_binary64_1075` `distribute-lft-out--_binary64_12306`
68×	`add-log-exp_binary64_3186` `associate-/r*_binary64_9570` `add-sqr-sqrt_binary64_24652` `pow1_binary64` `log-prod_binary64_12099` `pow1_binary64_16166` `flip3--_binary64_16450` `flip--_binary64_16421` `add-exp-log_binary64_4208`
67×	`pow1_binary64_24691` `associate-r_binary64_21501` `distribute-lft-out--_binary64_11624` `difference-of-squares_binary64_11641` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_24668`
66×	`-un-lft-identity_binary64_6557` `add-exp-log_binary64_7959` `times-frac_binary64_12019` `sqrt-pow1_binary64_19874` `associate-l_binary64_18433` `flip-+_binary64_21876` `times-frac_binary64_2471` `flip3-+_binary64_21905` `-un-lft-identity_binary64_6216` `associate-r_binary64_15704` `log-prod_binary64_846`
65×	`associate-/r/_binary64_1729` `cbrt-prod_binary64_14772` `associate-l_binary64_2065` `associate-r_binary64_19114` `cbrt-prod_binary64_19205` `pow-prod-down_binary64_1854` `distribute-rgt-in_binary64_18783` `div-inv_binary64_11669` `prod-exp_binary64_2855` `distribute-lft-in_binary64_18782` `distribute-lft-out--_binary64_5827` `associate-l_binary64_12977`
64×	`add-log-exp_binary64_19213` `-un-lft-identity_binary64_23607` `cancel-sign-sub-inv_binary64_17435` `associate-l_binary64_2406` `add-log-exp_binary64_14439` `add-log-exp_binary64_18531` `add-cube-cbrt_binary64_23642` `div-exp_binary64_2857` `associate-/r_binary64_11275` `associate-/r*_binary64_16731` `associate-/r/_binary64_20825` `cbrt-unprod_binary64_1816` `difference-of-squares_binary64_5844`
63×	`prod-exp_binary64_3196` `associate-/l*_binary64_18096` `associate-/r/_binary64_14687` `associate-+l+_binary64_2398` `distribute-lft-in_binary64_11962` `associate-/r/_binary64_18097` `cancel-sign-sub-inv_binary64_20845` `distribute-rgt-in_binary64_11963` `sqrt-prod_binary64_776`
62×	`associate-/r_binary64_1045` `add-cbrt-cube_binary64_15800` `associate-/r_binary64_16390` `pow1_binary64_17189` `cbrt-prod_binary64_15113`
61×	`cbrt-prod_binary64_17159` `add-sqr-sqrt_binary64_6238` `unswap-sqr_binary64_13686` `add-cube-cbrt_binary64_8297` `cbrt-prod_binary64_109` `pow1_binary64_10710` `add-log-exp_binary64_8983` `add-log-exp_binary64_1822` `associate-/r*_binary64_11616`
60×	`add-cbrt-cube_binary64` `log-pow_binary64_4941` `add-log-exp_binary64_11370` `distribute-lft-out--_binary64_12647` `add-log-exp_binary64_4550` `add-log-exp_binary64_20236` `prod-exp_binary64_17859` `swap-sqr_binary64_13003` `cancel-sign-sub-inv_binary64_12661` `add-log-exp_binary64_18190` `cbrt-prod_binary64_12044` `associate-/l*_binary64_14686` `cbrt-div_binary64_13068` `sqrt-prod_binary64_23623` `sqr-pow_binary64_13690`
59×	`times-frac_binary64_3494` `cancel-sign-sub-inv_binary64_10274` `associate-/r_binary64_12980` `add-log-exp_binary64_20918` `cbrt-prod_binary64_21933` `associate-/l_binary64_17414` `prod-exp_binary64_18200` `associate-r_binary64_20819`
58×	`associate-r/_binary64_18775` `cbrt-div_binary64_20570` `times-frac_binary64_22931` `div-exp_binary64_17179` `times-frac_binary64_2130` `difference-of-squares_binary64_19484` `div-inv_binary64_14738` `unpow-prod-down_binary64_12433` `associate-l_binary64_19456` `pow1_binary64_5254` `add-log-exp_binary64_17849` `add-log-exp_binary64_13075` `associate-/r_binary64_19459`
57×	`add-cbrt-cube_binary64_7957` `prod-exp_binary64_21951` `cancel-sign-sub-inv_binary64_9592` `unswap-sqr_binary64_11299` `associate-l_binary64_19` `pow-prod-down_binary64_19245` `cbrt-unprod_binary64_21935` `div-exp_binary64_12064` `add-log-exp_binary64_15462` `sqrt-prod_binary64_11347` `div-inv_binary64_18489` `associate-/r*_binary64_2750`
56×	`associate-l_binary64_12295` `cbrt-prod_binary64_4201` `associate-l_binary64` `associate-r/_binary64_1043` `distribute-lft-out_binary64` `add-log-exp_binary64_12734` `add-log-exp_binary64_11029` `sqrt-prod_binary64_5550` `associate--l+_binary64_2743` `cube-prod_binary64_22271` `exp-prod_binary64_4904` `associate-/r_binary64_12639` `associate-r_binary64_18` `prod-exp_binary64_19564` `pow1_binary64_21622` `add-log-exp_binary64_9665` `unpow-prod-down_binary64_22322`
55×	`distribute-rgt-in_binary64_710` `cbrt-prod_binary64_6247` `associate-+r+_binary64_10240` `associate-l_binary64_11613` `div-inv_binary64_13715` `cbrt-undiv_binary64_17162` `add-log-exp_binary64_21941` `flip--_binary64_21877` `div-exp_binary64_3198` `cbrt-unprod_binary64_18184` `flip3--_binary64_21906` `distribute-lft-in_binary64_709` `cbrt-undiv_binary64_10001`
54×	`sqrt-prod_binary64_21577` `associate-/l/_binary64_21849` `sqrt-prod_binary64_3504` `cbrt-prod_binary64_20569` `unpow-prod-down_binary64_3567` `add-sqr-sqrt_binary64_22947` `flip--_binary64_13352` `distribute-lft-out_binary64_22535` `flip3--_binary64_13381`
53×	`times-frac_binary64_8268` `associate-l/_binary64_11274` `add-log-exp_binary64_10688` `associate-/l_binary64_12981` `associate-/l_binary64_15027` `pow-prod-down_binary64_21973` `-un-lft-identity_binary64_24289` `associate-/l_binary64_20824` `div-inv_binary64_17125` `distribute-lft-out--_binary64_11283` `-un-lft-identity_binary64_3829` `prod-exp_binary64_13426` `associate-/r*_binary64_20141` `distribute-lft-out_binary64_22194` `cbrt-unprod_binary64_13410` `add-cbrt-cube_binary64_24666` `1-exp_binary64_13762` `distribute-rgt-in_binary64_20147` `distribute-lft-in_binary64_20146` `rec-exp_binary64_13768`
52×	`associate-l_binary64_9567` `flip3-+_binary64_19518` `associate-l_binary64_4452` `cbrt-prod_binary64_15795` `cancel-sign-sub-inv_binary64_10615` `cbrt-undiv_binary64_20913` `pow-prod-down_binary64_11402` `add-log-exp_binary64_5573` `log-prod_binary64_164` `associate-l/_binary64_1044` `associate-/l_binary64_8889` `cbrt-unprod_binary64_19548` `add-log-exp_binary64_13416` `flip-+_binary64_19489` `associate--r+_binary64_12631` `div-inv_binary64_1098` `add-log-exp_binary64_799` `sqrt-prod_binary64_1799`
51×	`associate-/r/_binary64_15028` `add-log-exp_binary64_11711` `pow1_binary64_4231` `unswap-sqr_binary64_3115` `associate-r/_binary64` `difference-of-squares_binary64_9595` `div-exp_binary64_17861` `associate-r/_binary64_16388` `distribute-lft-out--_binary64_10942` `associate-r/_binary64_3089` `associate-r_binary64_15022` `add-sqr-sqrt_binary64_24311` `add-sqr-sqrt_binary64_23970` `associate-l*_binary64_20138` `pow1_binary64_9005`
50×	`difference-of-squares_binary64_11300` `prod-exp_binary64_19223` `associate-r_binary64_10589` `prod-exp_binary64_14108` `associate-r/_binary64_24572` `distribute-lft-out_binary64_8554` `associate-l/_binary64_11956` `div-exp_binary64_20589` `add-log-exp_binary64_7619` `cbrt-undiv_binary64_12729`
49×	`associate-/l_binary64_21506` `flip--_binary64_11988` `pow-prod-down_binary64_19586` `associate-l_binary64_12636` `cancel-sign-sub-inv_binary64_2772` `flip3--_binary64_12017` `associate-l_binary64_10931` `distribute-lft-neg-in_binary64_12652` `add-log-exp_binary64_10006` `add-cube-cbrt_binary64_22960` `distribute-lft-out--_binary64_9578` `associate-/l_binary64_20483` `prod-exp_binary64_4560`
48×	`add-exp-log_binary64_22622` `div-exp_binary64_18884` `distribute-lft-in_binary64_16395` `distribute-rgt-neg-in_binary64_12653` `difference-of-squares_binary64_22212` `distribute-rgt-in_binary64_16396` `prod-exp_binary64_15472` `distribute-rgt-in_binary64_2756` `log-prod_binary64_2892` `associate-/r*_binary64_13662` `distribute-lft-in_binary64_2755` `cbrt-prod_binary64_21592` `div-exp_binary64_18543` `prod-exp_binary64_21610` `cbrt-unprod_binary64_19207` `div-inv_binary64_17466`
47×	`add-log-exp_binary64_13757` `pow1_binary64_6618` `associate-l_binary64_15023` `associate-r_binary64` `add-exp-log_binary64_3526` `prod-exp_binary64_7629` `prod-exp_binary64_809` `associate-l_binary64_23548` `add-exp-log_binary64_23986` `associate-/r*_binary64_4114` `div-exp_binary64_9677` `pow1_binary64_24009` `associate-/r/_binary64_12300` `flip-+_binary64_13010` `add-cbrt-cube_binary64_23984` `flip3-+_binary64_13039`
46×	`associate-r_binary64_1382` `associate-l_binary64_15364` `add-log-exp_binary64_16144` `distribute-lft-in_binary64_5483` `flip--_binary64_15057` `add-cbrt-cube_binary64_4206` `unswap-sqr_binary64_14709` `cbrt-unprod_binary64_3180` `flip3-+_binary64` `flip3--_binary64_15086` `cbrt-undiv_binary64_12388` `cbrt-unprod_binary64_21594` `distribute-rgt-in_binary64_5484` `div-inv_binary64_12692` `prod-exp_binary64_17177` `flip-+_binary64` `associate-/r*_binary64_18436` `log-prod_binary64_20965` `associate-+r+_binary64_1374`
45×	`associate-l_binary64_5475` `prod-exp_binary64_18882` `flip--_binary64_15398` `add-cbrt-cube_binary64_3524` `associate-/r_binary64_15708` `associate-/r_binary64_8547` `distribute-lft-in_binary64_15031` `cancel-sign-sub-inv_binary64` `frac-times_binary64_21912` `cbrt-prod_binary64_14090` `flip3--_binary64_15427` `prod-exp_binary64_20587` `distribute-rgt-in_binary64_15032` `flip3--_binary64_14745` `flip--_binary64_14716` `swap-sqr_binary64_9934` `swap-sqr_binary64_18118`
44×	`associate-r_binary64_5474` `sqrt-prod_binary64` `cbrt-unprod_binary64_14092` `flip3-+_binary64_3150` `add-cube-cbrt_binary64_6592` `associate-+r+_binary64_11604` `flip-+_binary64_3121` `frac-add_binary64_12021` `associate-/l*_binary64_10594` `flip3--_binary64_1787` `flip--_binary64_1758`
43×	`flip-+_binary64_17443` `associate-+r+_binary64_18765` `div-inv_binary64_11328` `add-log-exp_binary64_7960` `swap-sqr_binary64_12321` `add-exp-log_binary64_5231` `add-log-exp_binary64_1140` `cbrt-prod_binary64_18864` `cancel-sign-sub-inv_binary64_8910` `cancel-sign-sub-inv_binary64_19140` `flip3-+_binary64_17472` `sqr-pow_binary64_19828` `unswap-sqr_binary64_17778` `cbrt-unprod_binary64_12728` `pow-prod-down_binary64_149` `*-un-lft-identity_binary64_23948` `unswap-sqr_binary64_9935` `cbrt-prod_binary64_12726` `add-sqr-sqrt_binary64_3851`
42×	`associate-r_binary64_24570` `flip3-+_binary64_5196` `cbrt-unprod_binary64_15456` `flip3--_binary64_20883` `flip-+_binary64_11987` `associate-r_binary64_7861` `associate-l_binary64_2747` `associate-/r/_binary64_11618` `cbrt-prod_binary64_10680` `cbrt-unprod_binary64_17502` `flip-+_binary64_5167` `cancel-sign-sub-inv_binary64_20504` `pow-prod-down_binary64_7992` `flip--_binary64_20854` `flip3-+_binary64_12016` `frac-times_binary64_14410` `add-cube-cbrt_binary64_24665` `cbrt-prod_binary64_2155` `associate-/r/_binary64_1047` `prod-exp_binary64_17518` `associate-l_binary64_360` `add-log-exp_binary64_5232` `div-exp_binary64_15133` `associate-/r/_binary64_10595` `cbrt-div_binary64_11022` `log-prod_binary64_505` `cbrt-prod_binary64_9316` `*-un-lft-identity_binary64_24630`
41×	`add-log-exp_binary64_15803` `add-log-exp_binary64_3527` `frac-add_binary64_20546` `prod-exp_binary64_13085` `frac-times_binary64_12023` `unswap-sqr_binary64_13345` `pow-prod-down_binary64_13107` `unswap-sqr_binary64_8571` `flip3-+_binary64_10652` `flip-+_binary64_10623` `-un-lft-identity_binary64_6898` `distribute-lft-out--_binary64_18785` `sqr-pow_binary64_3460` `associate-r/_binary64_14342` `pow-prod-down_binary64_12084` `cbrt-unprod_binary64_793`
40×	`associate-l/_binary64_10251` `add-cbrt-cube_binary64_22620` `add-log-exp_binary64_4891` `associate-+r+_binary64_20129` `associate-l_binary64_16728` `cbrt-unprod_binary64_17843` `associate-r_binary64_359` `associate-l_binary64_14000` `unswap-sqr_binary64_1751` `unpow-prod-down_binary64_5613` `div-inv_binary64_18830` `associate-l_binary64_10590` `times-frac_binary64_24295` `difference-of-squares_binary64_18802` `div-exp_binary64_21612` `sqrt-pow1_binary64_13054` `unpow-prod-down_binary64_8682` `cube-prod_binary64_19543` `cube-prod_binary64_5562` `associate-r/_binary64_13319` `cancel-sign-sub-inv_binary64_14366` `cbrt-unprod_binary64_17161` `associate-l_binary64_7862`
39×	`add-log-exp_binary64_17167` `associate-/l_binary64_18778` `cbrt-unprod_binary64_13069` `pow-prod-down_binary64_14130` `flip3-+_binary64_10311` `flip3-+_binary64_17813` `flip--_binary64_17103` `flip3--_binary64_17132` `pow1/3_binary64_17892` `flip-+_binary64_17784` `add-log-exp_binary64_14098` `associate-/r/_binary64_12982` `flip--_binary64_15739` `cbrt-undiv_binary64_12047` `cbrt-prod_binary64_16477` `flip-+_binary64_10282` `sqrt-pow1_binary64_18510` `flip3--_binary64_15768` `associate-/r/_binary64_15369` `cancel-sign-sub-inv_binary64_5841` `associate-/r/_binary64_22189` `associate-/r/_binary64_16392` `prod-exp_binary64_9675` `cbrt-prod_binary64_9657` `associate-/l_binary64_12640`
38×	`prod-exp_binary64_2173` `associate-l_binary64_24571` `pow-prod-down_binary64_4582` `pow1/3_binary64_4593` `cbrt-undiv_binary64_21595` `cbrt-div_binary64_3179` `associate-/l_binary64_5820` `associate-/r/_binary64_20484` `associate--l+_binary64_11609` `flip--_binary64_18808` `cbrt-div_binary64_19206` `associate-l*_binary64_21843` `cancel-sign-sub-inv_binary64_1067` `cbrt-undiv_binary64_8978` `cbrt-div_binary64_4543` `flip3--_binary64_18837` `associate--l+_binary64_2402` `div-exp_binary64_11723`
37×	`associate-/l_binary64_13322` `flip--_binary64_10965` `flip--_binary64_10283` `unswap-sqr_binary64_12322` `pow-prod-down_binary64_13448` `flip3--_binary64_10994` `associate-l_binary64_1383` `prod-exp_binary64_8652` `associate-l_binary64_21502` `add-exp-log_binary64_6595` `pow-prod-down_binary64_23678` `associate-r*_binary64_19455` `associate-/r/_binary64_9572` `cosh-def_binary64_12881` `add-cbrt-cube_binary64_5229` `flip3--_binary64_19178` `cbrt-unprod_binary64_7613` `div-inv_binary64_20535` `flip3--_binary64_10312` `pow-prod-down_binary64_831` `sum-log_binary64_10399` `associate-/r/_binary64_18438` `flip--_binary64_19149`
36×	`frac-sub_binary64_19524` `log-prod_binary64_13463` `distribute-lft-in_binary64_23897` `distribute-rgt-in_binary64_23898` `associate-/l_binary64_22188` `cbrt-prod_binary64_11362` `distribute-rgt-in_binary64_369` `associate-/l_binary64_13663` `add-log-exp_binary64_9324` `associate-/l*_binary64_3092` `associate-/r/_binary64_14346` `pow1/3_binary64_5275` `distribute-lft-in_binary64_368` `distribute-lft-out--_binary64_16057` `prod-exp_binary64_14449` `flip3-+_binary64_16108` `cube-prod_binary64_10677` `distribute-lft-in_binary64_14349` `cancel-sign-sub-inv_binary64_11979` `add-sqr-sqrt_binary64_6920` `frac-times_binary64_3157` `cbrt-prod_binary64_13749` `add-cube-cbrt_binary64_6251` `div-inv_binary64_10646` `cube-prod_binary64_8631` `associate-/r/_binary64_13323` `flip-+_binary64_16079` `distribute-rgt-in_binary64_14350`
35×	`rec-exp_binary64_11381` `distribute-lft-in_binary64_13326` `div-inv_binary64_1780` `flip3--_binary64_3151` `cbrt-unprod_binary64_20571` `1-exp_binary64_11375` `sub-neg_binary64_16439` `associate-r/_binary64_16729` `cbrt-undiv_binary64_17503` `pow-prod-down_binary64_14812` `cbrt-unprod_binary64_16479` `associate-/l/_binary64_17075` `cbrt-undiv_binary64_3181` `associate-+r+_binary64_10` `div-exp_binary64_17520` `cbrt-undiv_binary64_9660` `cbrt-div_binary64` `sub-neg_binary64_18826` `prod-exp_binary64_16495` `flip--_binary64_18467` `flip--_binary64_3122` `distribute-lft-in_binary64` `pow-prod-down_binary64_7651` `add-cube-cbrt_binary64_23983` `distribute-lft-in_binary64_20487` `cbrt-undiv_binary64_20572` `distribute-rgt-in_binary64_20488` `associate-/r_binary64_4796` `distribute-rgt-in_binary64_13327` `flip3--_binary64_18496` `associate-/l/_binary64_9914` `distribute-rgt-in_binary64` `cbrt-unprod_binary64_18866`
34×	`distribute-rgt-in_binary64_28` `distribute-lft-out_binary64_13669` `associate-/r_binary64_22528` `cbrt-undiv_binary64_1817` `associate-/l_binary64_9571` `associate-/r_binary64_17754` `unswap-sqr_binary64_728` `associate-r_binary64_4110` `pow-prod-down_binary64_5605` `sqrt-pow1_binary64_12372` `cbrt-unprod_binary64_4544` `cbrt-undiv_binary64_18526` `pow-prod-down_binary64_1513` `flip3-+_binary64_2127` `associate-r/_binary64_2748` `cbrt-undiv_binary64_17844` `add-log-exp_binary64_4209` `log-pow_binary64_12102` `unswap-sqr_binary64_10276` `flip-+_binary64_2098` `sqrt-div_binary64_18509` `associate-+l+_binary64_11605` `prod-exp_binary64_12403` `distribute-lft-out--_binary64_21854` `sqrt-prod_binary64_5891` `distribute-lft-in_binary64_27` `pow1_binary64_6959`
33×	`sqrt-prod_binary64_19531` `add-exp-log_binary64_6936` `cbrt-undiv_binary64_18867` `associate-/l_binary64_2751` `associate-/l_binary64_1728` `cbrt-undiv_binary64_15116` `div-inv_binary64_9623` `times-frac_binary64_3835` `unswap-sqr_binary64_4479` `cancel-sign-sub-inv_binary64_19481` `tanh-def-b_binary64_11178` `pow1_binary64_15825` `associate-+r+_binary64_11945` `sum-log_binary64_510` `associate-r_binary64_8202` `pow1/2_binary64_8683` `cancel-sign-sub-inv_binary64_3113` `sqr-pow_binary64_19487` `associate-/r/_binary64_8890` `cbrt-unprod_binary64_9659` `associate-/r/_binary64_17756` `tanh-def-c_binary64_11179` `add-cbrt-cube_binary64_6593` `prod-exp_binary64_15131` `tanh-def-a_binary64_11177` `cancel-sign-sub-inv_binary64_15730`
32×	`sqrt-pow1_binary64_7939` `prod-exp_binary64_16154` `associate-/r/_binary64_5821` `pow-prod-down_binary64_1172` `distribute-lft-out_binary64_19466` `difference-of-squares_binary64_21871` `distribute-rgt-in_binary64_11281` `associate-/r_binary64_21164` `sqrt-prod_binary64_20895` `prod-exp_binary64_10016` `sqrt-pow1_binary64_96` `cancel-sign-sub-inv_binary64_14025` `associate-l_binary64_20820` `associate-/r/_binary64_12641` `cbrt-unprod_binary64_2157` `difference-of-squares_binary64_20848` `sqrt-div_binary64_13053` `sqrt-pow1_binary64_1119` `cbrt-div_binary64_10340` `1-exp_binary64_20923` `cbrt-unprod_binary64_16138` `distribute-rgt-in_binary64_18442` `sub-neg_binary64_10983` `div-exp_binary64_22294` `rec-exp_binary64_20929` `div-exp_binary64_10700` `associate-/l_binary64_1046` `distribute-lft-in_binary64_11280` `cbrt-prod_binary64_7952` `distribute-lft-in_binary64_18441`
31×	`cbrt-unprod_binary64_5567` `associate-/r_binary64_5819` `associate-l_binary64_15705` `div-inv_binary64_22240` `cancel-sign-sub-inv_binary64_24596` `associate-/r/_binary64_3093` `cbrt-unprod_binary64_8636` `swap-sqr_binary64` `cbrt-undiv_binary64_13411` `prod-exp_binary64_5583` `div-exp_binary64_13428` `prod-exp_binary64_20928` `pow-prod-down_binary64_17881` `associate-l*_binary64_20479` `prod-exp_binary64_4901` `add-cbrt-cube_binary64_6934` `cbrt-div_binary64_15455` `pow1/3_binary64_10390` `add-cube-cbrt_binary64_24324` `frac-add_binary64_19523`
30×	`associate-r/_binary64_5135` `flip--_binary64_394` `cancel-sign-sub-inv_binary64_23914` `pow-prod-down_binary64_4923` `prod-exp_binary64_11721` `associate-l/_binary64_362` `cbrt-unprod_binary64_11705` `pow-prod-down_binary64_16858` `swap-sqr_binary64_13344` `unpow-prod-down_binary64_23686` `div-inv_binary64_4849` `sqrt-div_binary64` `pow-prod-down_binary64_24701` `flip3--_binary64_423` `cbrt-unprod_binary64_24663` `div-inv_binary64_3144` `sqrt-div_binary64_3505` `sqrt-div_binary64_5551` `associate-l_binary64_22525` `flip3-+_binary64_763` `flip3-+_binary64_18154` `flip-+_binary64_734` `flip3--_binary64_24634` `cbrt-unprod_binary64_14433` `cancel-sign-sub-inv_binary64_2431` `associate--r+_binary64_10926` `flip-+_binary64_18125` `flip--_binary64_24605` `associate-r/_binary64_14683` `pow-prod-down_binary64_2195` `associate-r/_binary64_15365` `prod-exp_binary64_24679` `cbrt-div_binary64_14773` `associate-*r/_binary64_23549` `prod-exp_binary64_5924`
29×	`unswap-sqr_binary64_2774` `cbrt-unprod_binary64_15115` `swap-sqr_binary64_5842` `prod-exp_binary64_11039` `associate-/r/_binary64_15710` `associate-l/_binary64_16048` `prod-exp_binary64_10357` `prod-exp_binary64_2514` `sum-log_binary64_12104` `associate-l_binary64_4111` `sqrt-prod_binary64_9642` `cbrt-unprod_binary64_20912` `associate-l_binary64_3429` `difference-of-squares_binary64_16074` `unpow-prod-down_binary64_4590` `associate-l_binary64_16046` `flip--_binary64_11647` `flip3--_binary64_17473` `associate-+r+_binary64_2397` `flip--_binary64_17444` `unswap-sqr_binary64_7548` `associate-r_binary64_3428` `cbrt-unprod_binary64_10341` `associate-r/_binary64_14001` `div-exp_binary64_5926` `flip3--_binary64_11676` `div-inv_binary64_13374` `frac-times_binary64_13046` `distribute-lft-out_binary64_16397` `sqrt-prod_binary64_10324` `associate-*r/_binary64_20480` `flip3-+_binary64_2809` `pow-prod-down_binary64_17540` `cancel-sign-sub-inv_binary64_13002` `cbrt-div_binary64_16819` `flip-+_binary64_2780` `cbrt-prod_binary64_18523` `frac-times_binary64_16115`
28×	`pow-prod-down_binary64_8674` `distribute-rgt-in_binary64_14009` `distribute-lft-in_binary64_14008` `add-cube-cbrt_binary64_3864` `unswap-sqr_binary64_18801` `pow1_binary64_22645` `cbrt-div_binary64_5566` `sqrt-div_binary64_2823` `add-cbrt-cube_binary64_21256` `cbrt-div_binary64_15114` `pow-prod-down_binary64_10379` `associate-/l_binary64_19460` `add-exp-log_binary64_21258` `sub-neg_binary64_14393` `flip-+_binary64_5508` `add-cube-cbrt_binary64_6933` `distribute-lft-out_binary64_22876` `pow1/3_binary64_7662` `rec-exp_binary64_1833` `flip3-+_binary64_5537` `cbrt-undiv_binary64_2840` `unswap-sqr_binary64_17096` `associate-/l_binary64_15368` `frac-times_binary64_19525` `associate-/l_binary64_14345` `cbrt-div_binary64_16478` `add-log-exp_binary64` `1-exp_binary64_1827` `associate-l/_binary64_23550` `pow1/3_binary64_20279` `associate-r/_binary64_15024` `unswap-sqr_binary64_5843` `associate-r/_binary64_19116` `cbrt-unprod_binary64_10000` `add-log-exp_binary64_6937`
27×	`pow1/3_binary64_5957` `cbrt-unprod_binary64_16820` `sub-neg_binary64_10301` `prod-exp_binary64_16836` `cbrt-unprod_binary64_2498` `-commutative_binary64_19787` `add-exp-log_binary64_8300` `unswap-sqr_binary64_13004` `pow-prod-down_binary64_18222` `div-inv_binary64_2803` `pow1_binary64_22304` `flip3--_binary64_5879` `pow1/3_binary64_13459` `-commutative_binary64_11262` `associate-l/_binary64_16389` `associate-/r_binary64_21505` `pow-prod-down_binary64_15494` `cbrt-unprod_binary64_11023` `associate-/l_binary64_11617` `div-exp_binary64_13087` `associate-/l_binary64_17755` `associate-/r/_binary64_4798` `pow-prod-down_binary64_11061` `div-exp_binary64_15474` `rem-sqrt-square_binary64_8616` `sinh-def_binary64_15267` `associate-*r/_binary64_12637` `flip--_binary64_5850`
26×	`cbrt-unprod_binary64_1475` `sinh-def_binary64_5037` `prod-exp_binary64_1491` `prod-exp_binary64_20246` `associate-l_binary64_23889` `div-exp_binary64_19566` `associate-l_binary64_1042` `associate-/l_binary64_16732` `sqr-pow_binary64_10621` `associate-r_binary64_24229` `cbrt-undiv_binary64_11706` `add-log-exp_binary64_6255` `associate-l_binary64_4793` `div-exp_binary64_1152` `unswap-sqr_binary64_2092` `unswap-sqr_binary64_18119` `div-inv_binary64_17807` `distribute-lft-out_binary64_11964` `associate-r_binary64_22524` `associate-+l+_binary64_693` `pow-prod-down_binary64_2536` `associate-r_binary64_23888` `div-exp_binary64_14451` `associate-r/_binary64_9227` `cbrt-unprod_binary64_5908` `times-frac_binary64_84` `associate-r_binary64_1041` `frac-sub_binary64_16114` `sub-neg_binary64_24623`
25×	`cbrt-undiv_binary64_22277` `associate-/r/_binary64_17074` `flip--_binary64_16762` `div-exp_binary64_4903` `cbrt-prod_binary64_18182` `associate-/l_binary64_7525` `cbrt-prod_binary64_3519` `flip3--_binary64_12699` `cbrt-undiv_binary64_10683` `associate-/l_binary64_8548` `associate-l/_binary64_15366` `swap-sqr_binary64_4478` `associate-r/_binary64_19457` `add-cbrt-cube_binary64_8298` `cbrt-prod_binary64_4883` `flip3--_binary64_16791` `add-log-exp_binary64_21600` `cbrt-unprod_binary64_4885` `associate-r/_binary64_17411` `flip--_binary64_12670` `associate-/r_binary64` `add-log-exp_binary64_24669` `associate-/r/_binary64` `associate-r/_binary64_11614` `associate-+r+_binary64_351` `sum-log_binary64_2215` `associate-/r_binary64_9229` `cbrt-prod_binary64_22615` `unswap-sqr_binary64_9594` `associate-l_binary64_8203` `cbrt-unprod_binary64_2839` `difference-of-squares_binary64_729` `associate-l_binary64_6498` `cbrt-prod_binary64_8293` `sub-neg_binary64_19167`
24×	`cbrt-prod_binary64_2837` `associate-r/_binary64_7863` `distribute-rgt-in_binary64_24580` `sum-log_binary64_8694` `cbrt-div_binary64_15796` `sqrt-div_binary64_17486` `distribute-lft-in_binary64_19123` `swap-sqr_binary64_8570` `1-exp_binary64_2850` `flip3--_binary64_9630` `associate-/r_binary64_16049` `pow-prod-down_binary64_16517` `associate-l/_binary64_17412` `cbrt-unprod_binary64_20230` `div-inv_binary64_21558` `flip3--_binary64_17814` `associate-/r_binary64_2068` `frac-times_binary64_16456` `distribute-lft-out--_binary64_22195` `prod-exp_binary64_127` `flip--_binary64_9601` `cbrt-undiv_binary64_15457` `rec-exp_binary64_2856` `pow-flip_binary64_12428` `distribute-rgt-in_binary64_19124` `associate-r/_binary64_12978` `div-inv_binary64_20194` `cbrt-prod_binary64_791` `diff-log_binary64_10400` `distribute-lft-in_binary64_24579` `cbrt-undiv_binary64_5909` `distribute-rgt-in_binary64_3097` `div-inv_binary64_16784` `flip--_binary64_17785` `cancel-sign-sub-inv_binary64_1408` `unpow-prod-down_binary64_157` `-commutative_binary64_14672` `difference-of-sqr-1_binary64_22213` `distribute-lft-in_binary64_3096`
23×	`swap-sqr_binary64_3455` `associate-r_binary64_21160` `unswap-sqr_binary64_12663` `unswap-sqr_binary64_2433` `associate-r_binary64_8884` `sqrt-prod_binary64_19190` `difference-of-squares_binary64_19143` `cancel-sign-sub-inv_binary64_13343` `cancel-sign-sub-inv_binary64_16071` `pow-prod-down_binary64_20268` `associate-r/_binary64_10591` `pow-prod-down_binary64_3218` `pow-prod-down_binary64_20609` `sum-log_binary64_16878` `cbrt-undiv_binary64_14434` `cancel-sign-sub-inv_binary64_385` `pow-prod-down_binary64_15153` `sqrt-prod_binary64_14757` `unswap-sqr_binary64_18460` `associate-l/_binary64_14343` `difference-of-squares_binary64_21189` `inv-pow_binary64_12439` `flip-+_binary64_1416` `pow-prod-down_binary64_9356` `associate-*r/_binary64_20139` `distribute-lft-out--_binary64_21172` `flip3-+_binary64_1445` `pow-prod-up_binary64_19926`
22×	`flip3-+_binary64_10993` `frac-2neg_binary64_12365` `flip-+_binary64_12328` `associate-l_binary64_5134` `associate-r/_binary64_10250` `div-exp_binary64_8654` `distribute-lft-in_binary64_20828` `associate-r_binary64_5133` `-commutative_binary64_13308` `cancel-sign-sub-inv_binary64_7887` `flip-+_binary64_16420` `pow1_binary64_8323` `clear-num_binary64_12353` `cbrt-unprod_binary64_111` `frac-2neg_binary64_14752` `associate--l+_binary64_11950` `distribute-rgt-in_binary64_15714` `flip3-+_binary64_16449` `associate-l/_binary64_1385` `sub-neg_binary64_15075` `flip3-+_binary64_4514` `frac-times_binary64_12705` `div-exp_binary64_20248` `associate-l/_binary64_3090` `clear-num_binary64_14740` `1-exp_binary64_8988` `distribute-rgt-in_binary64_20829` `associate-/l_binary64_4797` `rec-exp_binary64_8994` `distribute-lft-in_binary64_15713` `associate-l/_binary64_21` `cube-prod_binary64_13064` `associate-l/_binary64_19458` `unpow-prod-down_binary64_6295` `flip-+_binary64_4485` `unswap-sqr_binary64_9253` `swap-sqr_binary64_7547` `flip3-+_binary64_12357` `associate-r*_binary64_6497` `flip-+_binary64_10964` `unswap-sqr_binary64_19142`
21×	`flip3-+_binary64_8606` `cbrt-prod_binary64_14431` `difference-of-squares_binary64_18120` `frac-times_binary64_17820` `cancel-sign-sub-inv_binary64_19822` `pow-prod-down_binary64_24019` `prod-exp_binary64_23997` `associate-+r+_binary64_2738` `frac-times_binary64_11000` `distribute-rgt-in_binary64_10599` `prod-exp_binary64_7970` `associate-l/_binary64_21845` `cancel-sign-sub-inv_binary64_11638` `associate-/l/_binary64_16393` `frac-2neg_binary64_18162` `pow1/2_binary64_18572` `pow1/3_binary64_6639` `frac-times_binary64` `cbrt-unprod_binary64_23981` `associate-/l_binary64_16391` `pow1/3_binary64_21984` `associate-/r*_binary64_704` `distribute-lft-in_binary64_10598` `clear-num_binary64_18150` `swap-sqr_binary64_10275` `flip-+_binary64_8577` `div-inv_binary64_14397` `cbrt-unprod_binary64_7954` `pow1/3_binary64_13118`
20×	`unpow-prod-down_binary64_7659` `frac-times_binary64_15433` `associate-/r/_binary64_10936` `sum-log_binary64_20629` `associate-/r/_binary64_9231` `pow-prod-down_binary64` `1-exp_binary64_12398` `cancel-sign-sub-inv_binary64_8569` `flip3-+_binary64_4855` `add-log-exp_binary64_22623` `flip-+_binary64_4826` `flip3--_binary64_11335` `pow1/3_binary64` `div-inv_binary64_8600` `distribute-lft-in_binary64_23556` `associate-l_binary64_8885` `associate-+l+_binary64_11946` `add-log-exp_binary64_23987` `cbrt-div_binary64_20229` `add-exp-log_binary64_6254` `div-inv_binary64_5872` `cancel-sign-sub-inv_binary64_3454` `cbrt-undiv_binary64_16139` `-commutative_binary64_691` `pow-prod-down_binary64_20950` `pow1/3_binary64_3229` `cancel-sign-sub-inv_binary64_2090` `div-exp_binary64_16156` `cbrt-undiv_binary64_16480` `-commutative_binary64_18423` `cbrt-prod_binary64_13067` `pow1_binary64_6277` `pow-prod-down_binary64_18904` `rec-exp_binary64_12404` `unswap-sqr_binary64_16414` `distribute-rgt-in_binary64_23557` `*-commutative_binary64_19105` `cbrt-unprod_binary64_12387` `pow-prod-up_binary64_13106` `div-exp_binary64_16497` `unswap-sqr_binary64_14368` `div-inv_binary64_15420` `flip--_binary64_11306`
19×	`frac-times_binary64_9295` `distribute-lft-in_binary64_18100` `unpow-prod-down_binary64_2544` `associate-l/_binary64_12638` `flip-+_binary64_13692` `sqrt-pow1_binary64_3506` `pow-prod-down_binary64_14471` `associate-l/_binary64_703` `associate-l_binary64_6157` `flip3--_binary64_12358` `pow1/2_binary64_3568` `distribute-lft-out_binary64_12987` `associate-+r+_binary64_20470` `associate-/l_binary64_20142` `distribute-rgt-in_binary64_18101` `associate-r/_binary64_2407` `div-inv_binary64_9282` `pow1/3_binary64_4252` `associate-r/_binary64_13660` `flip3-+_binary64_13721` `sum-log_binary64_2897` `associate-r/_binary64_702` `unswap-sqr_binary64_20165` `associate-r/_binary64_16047` `-commutative_binary64_1714` `associate-/r_binary64_10934` `pow1/3_binary64_16187` `div-inv_binary64_16443` `-commutative_binary64_10239` `flip--_binary64_12329` `frac-times_binary64_18502`
18×	`flip3--_binary64_7584` `cbrt-div_binary64_11363` `cbrt-unprod_binary64` `associate-l/_binary64_11615` `flip--_binary64_14034` `frac-2neg_binary64_11342` `pow-prod-down_binary64_9697` `cancel-sign-sub-inv_binary64_17776` `prod-exp_binary64` `associate-/l_binary64_16050` `add-exp-log_binary64_23304` `pow-prod-down_binary64_12766` `pow-prod-down_binary64_5946` `associate-/r/_binary64_16051` `flip3--_binary64_20201` `associate-r_binary64_6156` `frac-sub_binary64_13045` `frac-2neg_binary64_17480` `flip3--_binary64_14063` `clear-num_binary64_20537` `prod-exp_binary64_468` `pow-prod-down_binary64_490` `sqrt-div_binary64_19532` `cbrt-unprod_binary64_452` `cbrt-undiv_binary64_8637` `clear-num_binary64_9966` `associate-l/_binary64_20822` `cbrt-div_binary64_6589` `prod-exp_binary64_4219` `flip3-+_binary64_422` `clear-num_binary64_11330` `frac-add_binary64_427` `frac-2neg_binary64_20549` `associate-+l+_binary64_5808` `cbrt-div_binary64_6930` `flip--_binary64_20172` `clear-num_binary64_17468` `-commutative_binary64_2396` `cbrt-div_binary64_13750` `cancel-sign-sub-inv_binary64_23573` `sum-log_binary64_169` `pow-prod-down_binary64_13789` `associate-*l/_binary64_9910` `cbrt-div_binary64_7612` `add-cbrt-cube_binary64_23302` `add-log-exp_binary64_6596` `flip-+_binary64_5849` `cbrt-div_binary64_4884` `rem-sqrt-square_binary64_12367` `flip-+_binary64_393` `flip--_binary64_7555` `sqrt-pow1_binary64_2142` `frac-times_binary64_20548` `cbrt-div_binary64_18865` `cbrt-div_binary64_12727` `unswap-sqr_binary64_16073` `flip3-+_binary64_5878` `distribute-lft-out--_binary64_18103` `frac-2neg_binary64_9978`
17×	`unswap-sqr_binary64_11981` `pow-sqr_binary64_19829` `sub-neg_binary64_5527` `flip-+_binary64_18807` `associate-/r/_binary64_22530` `-commutative_binary64_16377` `associate-l/_binary64_4795` `flip-+_binary64_16761` `flip3-+_binary64_18836` `-commutative_binary64_14331` `-commutative_binary64_11944` `associate--l+_binary64_18770` `unswap-sqr_binary64_10958` `frac-times_binary64_13387` `sum-log_binary64_1533` `associate-r/_binary64_1725` `cbrt-undiv_binary64_1135` `add-log-exp_binary64_22282` `-commutative_binary64_7511` `pow-prod-down_binary64_11743` `associate-l/_binary64_13661` `associate-l/_binary64_10933` `flip3-+_binary64_22246` `frac-2neg_binary64_17139` `rec-exp_binary64_14791` `associate-/r/_binary64_2752` `flip3-+_binary64_16790` `1-exp_binary64_14785` `distribute-lft-out_binary64_370` `distribute-rgt-in_binary64_1051` `distribute-lft-in_binary64_1050` `swap-sqr_binary64_19823` `*-commutative_binary64_18764` `pow1/3_binary64_2547` `pow1/3_binary64_501` `associate-/l/_binary64_14688` `clear-num_binary64_17127` `add-cbrt-cube_binary64_6252` `pow1/3_binary64_160` `flip-+_binary64_3462` `flip3-+_binary64_3491` `pow1/3_binary64_11072` `flip-+_binary64_22217` `sub-neg_binary64_2799`
16×	`associate-+r+_binary64_15696` `associate-/l_binary64_10935` `sqrt-div_binary64_95` `distribute-lft-in_binary64_9575` `sqrt-div_binary64_5892` `log-pow_binary64_16194` `unswap-sqr_binary64_11640` `distribute-rgt-in_binary64_9576` `pow-exp_binary64_23675` `distribute-lft-out_binary64_10259` `add-exp-log_binary64_24327` `associate-+r+_binary64_10922` `sqrt-div_binary64_7938` `pow-prod-down_binary64_16176` `cbrt-unprod_binary64_10682` `associate-/r/_binary64_21848` `associate-/l/_binary64_20485` `associate-+l+_binary64_2739` `sqrt-div_binary64_2141` `add-exp-log_binary64_3867` `sub-neg_binary64_1094` `cbrt-div_binary64_1815` `associate-r/_binary64_9909` `1-exp_binary64_18195` `associate-/r/_binary64_19461` `sqrt-div_binary64_3164` `-commutative_binary64_4442` `associate-+r+_binary64_23880` `swap-sqr_binary64_6524` `associate-/r/_binary64_2070` `flip3-+_binary64_22587` `frac-sub_binary64_428` `associate-l/_binary64_23891` `associate-/r_binary64_21846` `flip-+_binary64_22558` `cbrt-undiv_binary64_4886` `unswap-sqr_binary64_4820` `diff-log_binary64_511` `swap-sqr_binary64_5160` `prod-exp_binary64_10698` `frac-times_binary64_10318` `unswap-sqr_binary64_46` `associate-+l+_binary64_1034` `frac-add_binary64_10316` `div-inv_binary64_10987` `pow-to-exp_binary64_23676` `sqrt-prod_binary64_94` `add-cbrt-cube_binary64_24325` `distribute-lft-out_binary64_7531` `rec-exp_binary64_18201` `div-inv_binary64_16102` `-commutative_binary64_2055` `frac-times_binary64_17138` `associate-+r+_binary64_3079` `associate-r/_binary64_5476` `associate-r/_binary64_18434` `add-log-exp_binary64_23646`
15×	`flip--_binary64_9260` `cbrt-div_binary64_14091` `cancel-sign-sub-inv_binary64_44` `flip3--_binary64_9289` `distribute-lft-out_binary64_9236` `distribute-lft-out_binary64_18784` `associate-l/_binary64_14002` `-commutative_binary64_3078` `-commutative_binary64_21833` `unswap-sqr_binary64_17437` `exp-prod_binary64_16157` `div-exp_binary64_15815` `cbrt-undiv_binary64_16821` `unpow-prod-down_binary64_10387` `cbrt-undiv_binary64_13070` `rec-exp_binary64_12745` `pow1/3_binary64_16869` `distribute-lft-in_binary64_17418` `distribute-rgt-out_binary64_22878` `clear-num_binary64_15081` `pow1/3_binary64_15505` `associate-l/_binary64_12979` `associate-/l_binary64_9230` `frac-2neg_binary64_15093` `swap-sqr_binary64_18459` `pow1/3_binary64_5616` `associate-r/_binary64_20821` `associate-r/_binary64_15706` `associate-/l_binary64_2069` `add-sqr-sqrt_binary64_23288` `cbrt-undiv_binary64_20231` `1-exp_binary64_12739` `pow-prod-down_binary64_2877` `cancel-sign-sub-inv_binary64_20163` `unswap-sqr_binary64` `div-sub_binary64_17133` `div-exp_binary64_16838` `cbrt-undiv_binary64_15798` `cancel-sign-sub-inv_binary64_7546` `associate-/l_binary64_3433` `cancel-sign-sub-inv_binary64_11297` `frac-sub_binary64_17478` `cancel-sign-sub-inv_binary64_726` `log-prod_binary64_9030` `pow-prod-down_binary64_21632` `times-frac_binary64_4517` `associate-/l/_binary64_18098` `distribute-rgt-in_binary64_17419` `associate-/l_binary64_10253`
14×	`frac-times_binary64_13728` `cbrt-div_binary64_14432` `unswap-sqr_binary64_7889` `div-exp_binary64_2175` `div-inv_binary64` `flip--_binary64_4486` `flip3-+_binary64_11675` `swap-sqr_binary64_5501` `log-pow_binary64_5623` `times-frac_binary64_7927` `pow-prod-down_binary64_10038` `flip-+_binary64_11646` `associate-r/_binary64_6840` `flip-+_binary64_2439` `flip3--_binary64_7925` `associate-l/_binary64_7523` `pow1/2_binary64_2204` `times-frac_binary64_1448` `sqrt-div_binary64_9302` `associate-l/_binary64_5477` `distribute-lft-out_binary64_9577` `associate-/l/_binary64_15370` `swap-sqr_binary64_21869` `associate-r/_binary64_4794` `cbrt-unprod_binary64_15797` `flip3-+_binary64_7583` `associate-l/_binary64_17071` `distribute-lft-out--_binary64_7532` `associate-+r+_binary64_12627` `clear-num_binary64_10648` `associate-/l_binary64_4115` `-commutative_binary64_17400` `frac-2neg_binary64_10660` `associate-/l/_binary64_15711` `flip-+_binary64_7554` `flip3--_binary64_4515` `flip--_binary64_735` `-commutative_binary64_18082` `pow1/3_binary64_15164` `associate-/r/_binary64_7526` `-commutative_binary64_10921` `flip--_binary64_7896` `associate-r/_binary64_17752` `associate-+r+_binary64_8535` `add-cbrt-cube_binary64_3865` `sqrt-prod_binary64_7596` `sub-neg_binary64_20531` `flip--_binary64_53` `pow1/2_binary64_19936` `diff-log_binary64_12446` `flip3--_binary64_764` `associate-r_binary64_6838` `sub-neg_binary64_12347` `swap-sqr_binary64_20505` `associate-+l+_binary64_8536` `associate-l/_binary64_9569` `-commutative_binary64_8534` `pow-prod-down_binary64_6628` `flip3-+_binary64_2468` `sum-log_binary64_5966` `flip3--_binary64_82` `-commutative_binary64_24561` `associate-r/_binary64_9568` `prod-exp_binary64_15813` `distribute-lft-out--_binary64_3440`
13×	`-commutative_binary64_9` `sub-neg_binary64_20872` `associate-/l_binary64_705` `associate-/r/_binary64_4116` `-commutative_binary64_23538` `associate-l/_binary64` `div-exp_binary64_811` `flip-+_binary64_1757` `flip--_binary64_2781` `sum-log_binary64_18924` `frac-times_binary64_5885` `pow-prod-down_binary64_3559` `associate--r+_binary64_16382` `flip3-+_binary64_1786` `exp-prod_binary64_5586` `sqrt-prod_binary64_2481` `-commutative_binary64_1373` `-commutative_binary64_16718` `distribute-lft-out_binary64_21853` `sum-log_binary64_15514` `sqrt-prod_binary64_7937` `swap-sqr_binary64_20846` `distribute-lft-out--_binary64_712` `flip--_binary64_13011` `flip--_binary64_8919` `unswap-sqr_binary64_4138` `flip3--_binary64_8948` `flip3--_binary64_2810` `-commutative_binary64_9898` `flip3--_binary64_23611` `associate-r_binary64_22865` `associate-+r+_binary64_692` `cbrt-unprod_binary64_1134` `clear-num_binary64_12694` `-commutative_binary64_11603` `pow1/3_binary64_19256` `distribute-lft-out_binary64_6167` `flip3--_binary64_13040` `prod-exp_binary64_1150` `flip3--_binary64_19519` `frac-times_binary64_18843` `sum-log_binary64_19606` `rem-sqrt-square_binary64_18505` `associate-/l/_binary64_16734` `pow1/2_binary64_2886` `frac-times_binary64_14069` `sqrt-pow1_binary64_2824` `associate-/r/_binary64_8549` `unswap-sqr_binary64_15050` `unpow3_binary64_19581` `flip--_binary64_23582` `unswap-sqr_binary64_20506` `flip--_binary64_19490` `associate-l_binary64_6839` `swap-sqr_binary64_17436` `distribute-lft-out--_binary64_8555` `sub-neg_binary64_15757` `frac-times_binary64_15774` `unswap-sqr_binary64_3456` `pow-prod-down_binary64_17199` `pow-prod-up_binary64_8673` `distribute-lft-out_binary64_711` `distribute-lft-out--_binary64_14011` `distribute-lft-out--_binary64_11965` `-commutative_binary64_13990` `sqr-pow_binary64_13008` `cube-mult_binary64_19545` `associate-l/_binary64_9228` `frac-2neg_binary64_12706` `unswap-sqr_binary64_24598` `distribute-lft-out--_binary64_2758` `sub-neg_binary64_412`
12×	`distribute-rgt-in_binary64_5825` `cbrt-div_binary64_9317` `-commutative_binary64_20128` `flip--_binary64_6873` `cbrt-unprod_binary64_4203` `cancel-sign-sub-inv_binary64_6182` `pow1/2_binary64_12434` `associate-/l/_binary64_17757` `-commutative_binary64_20469` `log-prod_binary64_13804` `prod-exp_binary64_6606` `unswap-sqr_binary64_5502` `associate-/l/_binary64_3094` `div-inv_binary64_15761` `-commutative_binary64_2737` `frac-times_binary64_9977` `associate-/l/_binary64_17416` `pow-prod-up_binary64_4581` `swap-sqr_binary64_19141` `pow1/2_binary64_8001` `sqrt-pow1_binary64_23625` `associate-l/_binary64_14684` `associate-l_binary64_22184` `associate-/r/_binary64_16733` `flip-+_binary64_6190` `unswap-sqr_binary64_10617` `pow-prod-up_binary64_3558` `1-exp_binary64_12057` `unpow-prod-down_binary64_5954` `pow1/3_binary64_20620` `frac-add_binary64_24638` `1-exp_binary64_3191` `swap-sqr_binary64_11298` `cbrt-unprod_binary64_6590` `+-commutative_binary64_10238` `pow-prod-up_binary64_7991` `swap-sqr_binary64_11980` `associate-+r+_binary64_16378` `-commutative_binary64_19446` `sqrt-prod_binary64_16121` `difference-of-squares_binary64_5503` `pow-prod-up_binary64_148` `difference-of-squares_binary64_7549` `frac-add_binary64_1450` `associate-r/_binary64_17070` `sub-neg_binary64_14052` `flip-+_binary64_18466` `frac-times_binary64_4521` `unpow-prod-down_binary64_1521` `frac-times_binary64_5544` `pow-prod-down_binary64_12425` `unswap-sqr_binary64_6184` `-commutative_binary64_13649` `sum-log_binary64_3238` `sub-neg_binary64_9619` `distribute-lft-out--_binary64_10601` `associate-/l_binary64_15709` `distribute-lft-in_binary64_5824` `swap-sqr_binary64_4137` `-commutative_binary64_12626` `associate-/r/_binary64_706` `associate-r/_binary64_7522` `frac-times_binary64_5203` `pow-pow_binary64_19928` `pow-sqr_binary64_17783` `flip3-+_binary64_6219` `associate--l+_binary64_1038` `difference-of-squares_binary64_14028` `pow1/2_binary64_1181` `pow1_binary64_3890` `distribute-lft-out_binary64_5826` `associate-l/_binary64_17753` `pow-exp_binary64_4579` `pow1/2_binary64_158` `+-commutative_binary64_16717` `pow-sqr_binary64_4484` `associate-/l/_binary64_22190` `unswap-sqr_binary64_22211` `-commutative_binary64_5465` `flip3--_binary64_6902` `prod-exp_binary64_22292` `flip3-+_binary64_18495` `swap-sqr_binary64_386` `pow1/3_binary64_12095` `pow-prod-up_binary64_17880` `associate-/l_binary64_21165` `associate-/l/_binary64_10596` `associate-/r_binary64_22869`
11×	`-commutative_binary64_350` `pow-flip_binary64_13110` `unswap-sqr_binary64_21529` `inv-pow_binary64_13121` `flip--_binary64_16080` `distribute-rgt-in_binary64_8553` `flip-+_binary64_52` `flip3-+_binary64_9629` `associate-l/_binary64_1726` `distribute-lft-in_binary64_8552` `+-commutative_binary64_20468` `associate-/r/_binary64_13664` `clear-num_binary64_22242` `distribute-lft-out--_binary64_19126` `sqrt-prod_binary64_4527` `diff-log_binary64_15174` `associate-l/_binary64_5818` `flip--_binary64_19831` `unswap-sqr_binary64_15391` `difference-of-squares_binary64_2775` `associate-/l/_binary64_18780` `pow1_binary64_21281` `clear-num_binary64_9625` `associate-/l_binary64_22529` `cancel-sign-sub-inv_binary64_9251` `associate-/r/_binary64_21166` `pow1/3_binary64_11754` `frac-times_binary64_1793` `unswap-sqr_binary64_20847` `associate-/r_binary64_3773` `clear-num_binary64_20878` `+-commutative_binary64_8` `-commutative_binary64_9216` `flip3-+_binary64_15085` `unswap-sqr_binary64_5161` `pow-prod-down_binary64_6969` `difference-of-squares_binary64_3798` `sub-neg_binary64_12006` `flip3--_binary64_18155` `flip-+_binary64_9600` `pow-prod-up_binary64_5945` `flip-+_binary64_15056` `-commutative_binary64_5806` `flip3-+_binary64_81` `diff-log_binary64_20971` `frac-2neg_binary64_9637` `frac-2neg_binary64_22254` `cancel-sign-sub-inv_binary64_21868` `sqrt-pow1_binary64_3165` `+-commutative_binary64_8533` `flip3--_binary64_16109` `log-pow_binary64_10397` `pow1/3_binary64_21643` `diff-log_binary64_12105` `unswap-sqr_binary64_387` `associate-/l/_binary64_13665` `prod-exp_binary64_8993` `frac-2neg_binary64_20890` `pow-exp_binary64_7648` `-commutative_binary64_7852` `unswap-sqr_binary64_6525` `prod-exp_binary64_6947` `pow1/2_binary64_3227` `unswap-sqr_binary64_1410` `div-exp_binary64_22635` `div-inv_binary64_19512` `flip3--_binary64_19860` `flip--_binary64_18126` `cbrt-unprod_binary64_6931` `sub-neg_binary64_18485` `diff-log_binary64_17561` `diff-log_binary64_9036` `sub-neg_binary64_3140` `*-commutative_binary64_15013` `associate-/l/_binary64_15029`
10×	`sub-neg_binary64_8937` `cbrt-undiv_binary64_19549` `flip--_binary64_1417` `pow1/2_binary64_13116` `swap-sqr_binary64_18800` `flip3-+_binary64_7924` `-commutative_binary64_20810` `pow-to-exp_binary64_19584` `clear-num_binary64_8943` `associate-r/_binary64_19798` `swap-sqr_binary64_14708` `associate-r/_binary64_23890` `associate-l/_binary64_2067` `unswap-sqr_binary64_22552` `clear-num_binary64_1782` `flip--_binary64_6532` `flip3--_binary64_9971` `clear-num_binary64_18491` `frac-2neg_binary64_2817` `frac-2neg_binary64_17821` `pow-exp_binary64_19583` `clear-num_binary64_15422` `frac-2neg_binary64_1794` `flip-+_binary64_7895` `associate-+r+_binary64_14332` `flip3--_binary64_6561` `cbrt-prod_binary64_1814` `frac-times_binary64_14751` `flip3--_binary64_5538` `clear-num_binary64_17809` `flip--_binary64_5509` `swap-sqr_binary64_15049` `exp-prod_binary64_19908` `1-exp_binary64_9329` `div-exp_binary64_11041` `clear-num_binary64_2805` `pow-prod-down_binary64_4241` `associate-r/_binary64_1384` `associate-/l_binary64_21847` `swap-sqr_binary64_12662` `-commutative_binary64_10580` `associate-l/_binary64_18435` `cbrt-unprod_binary64_22276` `sqrt-div_binary64_777` `-commutative_binary64_15354` `associate-/l/_binary64_1730` `swap-sqr_binary64_20164` `add-cbrt-cube_binary64_22961` `pow-prod-up_binary64_1171` `-commutative_binary64_17059` `-commutative_binary64_9557` `associate-r/_binary64_18093` `sqrt-pow1_binary64_5552` `flip3--_binary64_1446` `pow-sqr_binary64_13009` `cbrt-undiv_binary64_2158` `pow1/2_binary64_5614` `sub-neg_binary64_23941` `sub-neg_binary64_2458` `pow1/3_binary64_3570` `flip-+_binary64_14374` `clear-num_binary64_14399` `flip3-+_binary64_14403` `sum-log_binary64_2556` `associate-l/_binary64_19799` `add-exp-log_binary64_22963` `cancel-sign-sub-inv_binary64_17094` `sqrt-pow1_binary64_5893` `unswap-sqr_binary64_16755` `associate-l/_binary64_18776` `div-inv_binary64_22581` `difference-of-sqr-1_binary64_9937` `frac-2neg_binary64_18503` `flip--_binary64_9942` `frac-2neg_binary64_8955` `frac-2neg_binary64_14411` `pow-unpow_binary64_10726` `unswap-sqr_binary64_15732` `swap-sqr_binary64_45` `associate-/r/_binary64_10254` `-un-lft-identity_binary64_23266` `pow-prod-up_binary64_3217` `add-cube-cbrt_binary64_23301` `associate-/l_binary64` `associate-r/_binary64_361` `pow-prod-down_binary64_10720` `log-div_binary64_12100` `frac-2neg_binary64_15434` `associate-r/_binary64_8545` `swap-sqr_binary64_7888` `pow1/2_binary64_5955`
9×	`cancel-sign-sub-inv_binary64_6864` `distribute-lft-out--_binary64_10260` `unpow-prod-down_binary64_2885` `frac-2neg_binary64_13729` `frac-times_binary64_4862` `associate-/r_binary64_13321` `pow1/3_binary64_18915` `sqr-pow_binary64_4483` `-commutative_binary64_4783` `pow-unpow_binary64_19933` `exp-sum_binary64_8990` `associate-/l_binary64_8207` `rec-exp_binary64_17860` `sqrt-prod_binary64_11006` `associate-+l-_binary64_11948` `div-sub_binary64_17815` `-commutative_binary64_17741` `div-exp_binary64_21953` `div-inv_binary64_21217` `cbrt-unprod_binary64_8977` `cbrt-unprod_binary64_3521` `clear-num_binary64_21560` `prod-exp_binary64_22633` `clear-num_binary64_18832` `pow-prod-down_binary64_5264` `unpow-prod-down_binary64_16184` `sum-log_binary64_1874` `associate-r/_binary64_5817` `+-commutative_binary64_18763` `associate-r/_binary64_21503` `associate--l+_binary64_356` `cbrt-undiv_binary64_22618` `sub-neg_binary64_19849` `diff-log_binary64_19266` `pow1/3_binary64_8344` `sqrt-pow1_binary64_19533` `sub-neg_binary64_13370` `difference-of-squares_binary64_8572` `associate-/r_binary64_2409` `clear-num_binary64_3146` `unswap-sqr_binary64_21870` `distribute-lft-out--_binary64_6509` `sub-neg_binary64_17462` `frac-2neg_binary64_13047` `flip--_binary64_4145` `+-commutative_binary64_11943` `sub-neg_binary64_5868` `flip-+_binary64_15738` `frac-times_binary64_770` `swap-sqr_binary64_13685` `1-exp_binary64_17854` `rem-sqrt-square_binary64_19528` `pow-prod-up_binary64_18562` `associate-/r_binary64_7524` `pow1/3_binary64_12777` `cbrt-prod_binary64_6929` `associate-/r_binary64_10252` `-commutative_binary64_12967` `unswap-sqr_binary64_14027` `flip3--_binary64_4174` `associate-/l_binary64_2410` `frac-2neg_binary64_3158` `associate-l/_binary64_12297` `prod-exp_binary64_3537` `associate-+l+_binary64_18425` `+-commutative_binary64_1713` `pow1/3_binary64_13800` `associate--r+_binary64_15018` `add-log-exp_binary64_21259` `associate-l/_binary64_13320` `div-exp_binary64_4221` `log-pow_binary64_11761` `pow1/3_binary64_18233` `pow1/3_binary64_4934` `unswap-sqr_binary64_23575` `-commutative_binary64` `add-log-exp_binary64_8301` `associate-/l/_binary64_11278` `div-exp_binary64` `flip3-+_binary64_15767` `log-prod_binary64_8689` `rec-exp_binary64_20588` `frac-2neg_binary64_21572` `pow-flip_binary64_21635` `cube-prod_binary64_16133` `frac-2neg_binary64_18844` `pow1/2_binary64_19595` `associate--r+_binary64_11949` `clear-num_binary64_13717` `sqr-abs_binary64_8618` `clear-num_binary64_13035` `exp-prod_binary64_23659` `pow-prod-up_binary64_12424` `unswap-sqr_binary64_8230` `1-exp_binary64_20582` `cbrt-undiv_binary64_21936` `pow1/3_binary64_17210` `pow1/3_binary64_22666` `pow1/3_binary64_10049` `pow-flip_binary64_11405` `*-commutative_binary64_21492` `pow-sqr_binary64_5848`
8×	`frac-2neg_binary64_8614` `associate-l/_binary64_24573` `distribute-rgt-in_binary64_19465` `associate--l+_binary64_24567` `frac-2neg_binary64_5886` `flip3--_binary64_22247` `distribute-lft-out_binary64_3780` `diff-log_binary64_2557` `associate-+r+_binary64_5807` `distribute-lft-in_binary64_19805` `associate-l/_binary64_5136` `frac-sub_binary64_24639` `sum-log_binary64_10740` `flip--_binary64_22218` `distribute-lft-out_binary64_3439` `pow-to-exp_binary64_4580` `associate-+l+_binary64_17743` `inv-pow_binary64_11416` `associate-/r/_binary64_20143` `frac-2neg_binary64_4863` `cbrt-undiv_binary64_11024` `distribute-lft-out--_binary64_5486` `pow-flip_binary64_1857` `associate-+l+_binary64_18766` `distribute-rgt-in_binary64_19806` `distribute-rgt-in_binary64_7530` `associate-+r+_binary64_9558` `pow1/3_binary64_9708` `unpow-prod-down_binary64_16525` `sum-log_binary64_15173` `+-commutative_binary64_15694` `+-commutative_binary64_3077` `flip--_binary64_23923` `distribute-lft-in_binary64_19464` `cos-sum_binary64_20672` `pow-sqr_binary64_3120` `sub-neg_binary64_1435` `distribute-lft-out--_binary64_20831` `flip3--_binary64` `associate-+l+_binary64_20471` `sum-log_binary64_4602` `exp-sum_binary64_2852` `pow1_binary64_24350` `pow-flip_binary64_12769` `sum-log_binary64_15855` `div-inv_binary64_2121` `associate-+r+_binary64_15014` `cbrt-div_binary64_21593` `associate--r+_binary64_18769` `cos-sum_binary64_18285` `associate-/l/_binary64_2071` `frac-times_binary64_3498` `distribute-lft-out--_binary64_8214` `frac-add_binary64_768` `+-commutative_binary64_14330` `distribute-lft-in_binary64_13667` `associate-/l/_binary64_8550` `frac-add_binary64_13044` `log-pow_binary64_20968` `+-commutative_binary64_1372` `frac-times_binary64_19184` `cbrt-prod_binary64_24661` `pow-plus_binary64_13099` `sum-log_binary64_14491` `div-exp_binary64_21271` `associate-+l+_binary64_352` `cbrt-undiv_binary64_21254` `cube-prod_binary64_6244` `sum-log_binary64_16537` `associate-+r+_binary64_11263` `difference-of-squares_binary64_10277` `associate-+r+_binary64_19106` `rem-sqrt-square_binary64_2137` `sub-neg_binary64` `distribute-lft-in_binary64_7529` `distribute-rgt-in_binary64_13668` `cbrt-prod_binary64_23638` `cbrt-div_binary64_12386` `clear-num_binary64_5874` `distribute-rgt-out--_binary64_8898` `frac-times_binary64_11682` `difference-of-squares_binary64_8231` `diff-log_binary64_19948` `-commutative_binary64_23879` `unpow-prod-up_binary64_11068` `sum-log_binary64_13127` `flip3--_binary64_23952` `associate-/r/_binary64_18779` `difference-of-squares_binary64_8913` `-commutative_binary64_4101` `difference-of-squares_binary64_17779` `sqr-pow_binary64_1414` `flip--_binary64` `*-commutative_binary64_16036` `pow-sqr_binary64_3461` `pow-sqr_binary64_1756` `clear-num_binary64_4851` `sub-neg_binary64_8596` `+-commutative_binary64_19445` `pow-sqr_binary64_7894` `swap-sqr_binary64_2091` `pow-exp_binary64_10717` `pow-sqr_binary64_51` `associate-/l/_binary64_14347` `sub-neg_binary64_18144` `pow-prod-up_binary64_1853` `unpow2_binary64_19580` `pow1/3_binary64_16528` `difference-of-squares_binary64_13687` `frac-times_binary64_15092` `associate-/l/_binary64_12642` `clear-num_binary64_8602` `log-div_binary64_12782` `pow1/3_binary64_14823` `swap-sqr_binary64_2773` `sqrt-div_binary64_20896` `cbrt-undiv_binary64_794` `associate-/l/_binary64_20826`
7×	`pow1/3_binary64_8003` `associate-r/_binary64_22526` `distribute-lft-in_binary64_9916` `+-commutative_binary64_7851` `unswap-sqr_binary64_8912` `-commutative_binary64_12285` `rec-exp_binary64_18883` `rem-sqrt-square_binary64_13049` `sub-neg_binary64_11665` `pow-prod-down_binary64_9015` `associate-r_binary64_23206` `unswap-sqr_binary64_19483` `frac-times_binary64_17479` `div-inv_binary64_2462` `times-frac_binary64_23272` `distribute-rgt-in_binary64_17078` `difference-of-squares_binary64_47` `add-log-exp_binary64_3868` `clear-num_binary64_2123` `+-commutative_binary64_2054` `pow1/3_binary64_9367` `flip--_binary64_20513` `associate-r/_binary64_22185` `cbrt-div_binary64_9999` `flip3-+_binary64_15426` `flip-+_binary64_19830` `frac-2neg_binary64_20208` `clear-num_binary64_19514` `sqr-pow_binary64_6188` `clear-num_binary64_20196` `log-pow_binary64_8692` `difference-of-squares_binary64_6526` `-commutative_binary64_3419` `flip3-+_binary64_19859` `+-commutative_binary64_2736` `flip3-+_binary64_14744` `rem-sqrt-square_binary64_3501` `distribute-rgt-in_binary64_9917` `associate-+l+_binary64_4785` `difference-of-squares_binary64_388` `pow1_binary64_23327` `diff-log_binary64_19607` `frac-2neg_binary64_16798` `distribute-lft-in_binary64_17077` `frac-2neg_binary64_16457` `difference-of-squares_binary64_19825` `distribute-lft-out--_binary64_19808` `distribute-lft-neg-in_binary64_35` `sub-neg_binary64_21895` `distribute-rgt-in_binary64_4802` `sqrt-prod_binary64_23964` `+-commutative_binary64_349` `clear-num_binary64_16445` `rem-sqrt-square_binary64_2819` `distribute-rgt-in_binary64_16737` `pow1/3_binary64_8685` `sum-log_binary64_8012` `difference-of-squares_binary64_11982` `associate--r+_binary64_10244` `-commutative_binary64_1032` `pow-prod-up_binary64_5604` `diff-log_binary64_8695` `difference-of-squares_binary64_1411` `cbrt-div_binary64_2497` `sqr-pow_binary64_2437` `clear-num_binary64_11671` `distribute-lft-out_binary64_2075` `rec-exp_binary64_10017` `flip3--_binary64_20542` `associate-l/_binary64_15025` `sqrt-div_binary64_1800` `flip--_binary64_21195` `distribute-lft-out--_binary64_30` `flip3--_binary64_21224` `sum-log_binary64_14832` `diff-log_binary64_1193` `distribute-lft-out_binary64_15715` `unswap-sqr_binary64_1069` `cbrt-unprod_binary64_22617` `distribute-lft-in_binary64_4801` `+-commutative_binary64_14671` `div-inv_binary64_7577` `sum-log_binary64_9717` `frac-2neg_binary64_11683` `associate-l/_binary64_15707` `swap-sqr_binary64_4819` `diff-log_binary64_5626` `sub-neg_binary64_20190` `flip3--_binary64_2469` `cube-div_binary64_19544` `unpow3_binary64_13102` `flip--_binary64_2440` `div-inv_binary64_14056` `frac-2neg_binary64_19526` `distribute-lft-out--_binary64_13670` `div-inv_binary64_4167` `div-exp_binary64_14110` `associate-/r_binary64_1386` `div-inv_binary64_12010` `distribute-rgt-out_binary64_17081` `pow1/3_binary64_14482` `pow-sqr_binary64_8576` `pow1/3_binary64_2206` `frac-2neg_binary64_9296` `1-exp_binary64_10011` `cube-mult_binary64_13066` `diff-log_binary64_16538` `+-commutative_binary64_9556` `unpow2_binary64_6281` `flip-+_binary64_14715` `flip-+_binary64_15397` `associate-/r*_binary64_3432` `1-exp_binary64_18877` `clear-num_binary64_9284` `clear-num_binary64_16786` `frac-2neg_binary64_2135` `+-commutative_binary64_5805` `distribute-lft-in_binary64_16736`
6×	`distribute-rgt-out_binary64_3100` `prod-exp_binary64_5242` `sqr-pow_binary64_50` `clear-num_binary64_16104` `cancel-sign-sub-inv_binary64_22209` `pow-sqr_binary64_5166` `swap-sqr_binary64_16072` `sum-log_binary64_20288` `frac-sub_binary64_15091` `unpow-prod-down_binary64_8000` `log-pow_binary64_9033` `flip3-+_binary64_9288` `difference-of-squares_binary64_7890` `sum-log_binary64_13809` `cancel-sign-sub-inv_binary64_8228` `associate-+l+_binary64_2057` `frac-sub_binary64_20888` `+-commutative_binary64_15353` `pow-unpow_binary64_4588` `sum-log_binary64_851` `cube-prod_binary64_7949` `pow-sqr_binary64_19147` `sqrt-prod_binary64_5209` `cbrt-unprod_binary64_8295` `sqrt-pow1_binary64_9985` `distribute-lft-in_binary64_15372` `+-commutative_binary64_16376` `1-exp_binary64_18536` `diff-log_binary64_13128` `cbrt-undiv_binary64_10342` `distribute-rgt-in_binary64_6848` `associate-+r+_binary64_16719` `pow1/3_binary64_18574` `log-div_binary64_20966` `pow-unpow_binary64_5952` `sub-neg_binary64_23600` `pow-plus_binary64_4574` `sqrt-pow1_binary64_16805` `associate-l/_binary64_19117` `flip-+_binary64_9259` `pow-to-exp_binary64_7649` `pow-unpow_binary64_7657` `rem-log-exp_binary64_11713` `frac-sub_binary64_16455` `sub-neg_binary64_4504` `pow1/3_binary64_19938` `cube-prod_binary64_4539` `pow-unpow_binary64_6293` `add-log-exp_binary64_24328` `rec-exp_binary64_12063` `associate-/l/_binary64_16052` `frac-2neg_binary64_1112` `sum-log_binary64_6989` `rem-sqrt-square_binary64_9980` `associate-l_binary64_21161` `cbrt-unprod_binary64_5226` `pow-plus_binary64_17873` `sub-neg_binary64_12688` `associate-+l+_binary64_24563` `pow-unpow_binary64_155` `flip3--_binary64_3492` `distribute-lft-in_binary64_8893` `diff-log_binary64_3580` `pow-sqr_binary64_4825` `associate-/r_binary64_8206` `cbrt-div_binary64_2838` `associate-+r+_binary64_8876` `clear-num_binary64_10989` `sum-log_binary64_19947` `pow-sqr_binary64_7553` `add-log-exp_binary64_7278` `pow-prod-up_binary64_4922` `pow-prod-up_binary64_13447` `pow-unpow_binary64_1519` `cancel-sign-sub-inv_binary64_4477` `sub-div_binary64_16112` `pow-sqr_binary64_13350` `rec-exp_binary64_3197` `distribute-lft-in_binary64_4460` `associate-l/_binary64_16730` `sub-neg_binary64_17121` `rec-exp_binary64_9676` `distribute-rgt-in_binary64_7871` `associate-/l/_binary64_9573` `cube-prod_binary64_5903` `pow-sqr_binary64_10281` `flip-+_binary64_17102` `1-exp_binary64_9670` `flip--_binary64_3463` `sub-neg_binary64_7914` `flip3--_binary64_8607` `log-pow_binary64_12784` `pow1/3_binary64_1524` `associate-r/_binary64_4453` `cbrt-div_binary64_6248` `swap-sqr_binary64_10957` `distribute-lft-out_binary64_24240` `distribute-lft-out_binary64_15033` `cbrt-div_binary64_2156` `un-div-inv_binary64_2804` `distribute-lft-in_binary64_7870` `pow-flip_binary64_11064` `pow-prod-up_binary64_19244` `frac-2neg_binary64_16116` `swap-sqr_binary64_15390` `pow-prod-up_binary64_10378` `cube-div_binary64_15111` `sqrt-undiv_binary64_3168` `inv-pow_binary64_1868` `clear-num_binary64_1100` `frac-times_binary64_88` `associate-l_binary64_24230` `distribute-rgt-in_binary64_15373` `sqrt-prod_binary64_1117` `distribute-rgt-in_binary64_8894` `+-commutative_binary64_2395` `pow-sqr_binary64_1074` `pow1/2_binary64_10047` `frac-2neg_binary64_11001` `+-commutative_binary64_4441` `sqr-pow_binary64_7552` `swap-sqr_binary64_9593` `distribute-rgt-in_binary64_4461` `swap-sqr_binary64_2432` `flip3-+_binary64_17131` `associate-+r+_binary64_4443` `div-exp_binary64_10359` `associate-/l/_binary64_707` `prod-exp_binary64_8311` `distribute-lft-in_binary64_6847` `associate--l+_binary64_15` `associate-r/_binary64_6158` `pow-pow_binary64_23679` `sqrt-div_binary64_12371` `add-log-exp_binary64_23305` `cancel-sign-sub-inv_binary64_15389` `distribute-rgt-neg-in_binary64_36` `pow-exp_binary64_13104` `distribute-lft-out_binary64_2416` `cancel-sign-sub-inv_binary64_9933` `swap-sqr_binary64_22551` `distribute-rgt1-in_binary64_3103` `exp-prod_binary64_8996` `div-inv_binary64_757` `associate-/l/_binary64_20144` `associate-l/_binary64_20481` `swap-sqr_binary64_17095` `pow-prod-up_binary64_7650` `+-commutative_binary64_10579` `-commutative_binary64_8875` `sum-log_binary64_6307` `swap-sqr_binary64_8229` `associate-/l_binary64_3774` `-commutative_binary64_6488` `log-pow_binary64_1531` `flip--_binary64_8578` `sub-neg_binary64_2117` `swap-sqr_binary64_16413` `associate-l/_binary64_4454` `div-inv_binary64_3826` `associate-/l/_binary64_18439` `diff-log_binary64_21994` `log-pow_binary64_13466` `cancel-sign-sub-inv_binary64_14707` `rec-exp_binary64_18542` `associate-+r+_binary64_19447` `pow-prod-up_binary64_5263` `unpow-prod-down_binary64_12092` `distribute-lft-out_binary64_12646`
5×	`associate-/l/_binary64_1048` `cbrt-undiv_binary64_7614` `-commutative_binary64_5124` `associate-r/_binary64_20` `sum-log_binary64_18583` `associate-/l_binary64_4456` `count-2_binary64_22873` `pow1_binary64_22986` `distribute-lft-out--_binary64_24241` `pow-prod-up_binary64_18221` `distribute-lft-out_binary64_6849` `sub-neg_binary64_11324` `sqr-pow_binary64_15054` `difference-of-squares_binary64_2434` `sqrt-div_binary64_4869` `associate-/l_binary64_23` `associate-+l-_binary64_10243` `associate-l/_binary64_18094` `pow-sqr_binary64_18465` `distribute-lft-out--_binary64_371` `distribute-lft-out_binary64_1734` `sum-log_binary64_14150` `pow1/3_binary64_6298` `sum-log_binary64_9035` `log-pow_binary64_2895` `+-commutative_binary64_7510` `frac-times_binary64_12364` `distribute-lft-in_binary64_9234` `log-pow_binary64_2554` `pow-sqr_binary64_12327` `sum-log_binary64_12786` `flip3-+_binary64_13380` `difference-of-squares_binary64_24258` `pow2_binary64_17891` `sum-cubes_binary64_4512` `div-inv_binary64_21899` `div-exp_binary64_7631` `sqrt-prod_binary64_3845` `flip-+_binary64_4144` `rec-exp_binary64_4902` `distribute-lft-out_binary64_4462` `pow-prod-down_binary64_15835` `associate-l/_binary64_2408` `pow-exp_binary64_4238` `pow-pow_binary64_12426` `log-pow_binary64_6987` `distribute-rgt-in_binary64_6166` `sub-neg_binary64_6891` `pow-prod-up_binary64_2876` `-commutative_binary64_6829` `log-prod_binary64_1187` `associate-+l+_binary64_19448` `pow-unpow_binary64_13795` `associate-/l_binary64_24234` `pow-sqr_binary64_5507` `cbrt-undiv_binary64` `div-inv_binary64_5531` `pow-prod-up_binary64_2194` `sum-log_binary64_7671` `sum-log_binary64_17560` `diff-log_binary64_5967` `1-exp_binary64_4896` `sum-log_binary64_17901` `exp-sum_binary64_13764` `distribute-lft-out_binary64_11623` `diff-log_binary64_18584` `un-div-inv_binary64_12693` `associate-l/_binary64_10592` `rem-sqrt-square_binary64_4865` `flip-+_binary64_13351` `add-log-exp_binary64_22964` `div-sub_binary64_9972` `sub-neg_binary64_7573` `pow1/3_binary64_14141` `pow-prod-down_binary64_22655` `sub-neg_binary64_71` `associate-+r-_binary64_12` `pow-prod-down_binary64_8333` `sum-log_binary64_13468` `exp-prod_binary64_13770` `distribute-rgt-in_binary64_9235` `cbrt-unprod_binary64_23299` `pow1/3_binary64_15846` `log-pow_binary64_849` `prod-exp_binary64_23315` `associate-/r_binary64_363` `distribute-lft-out_binary64_1393` `pow-flip_binary64_2880` `sqr-pow_binary64_23579` `sum-log_binary64_4943` `frac-times_binary64_20889` `flip3-+_binary64_4173` `associate-/l/_binary64_7527` `associate-/l_binary64_14004` `frac-add_binary64_18841` `associate-r/_binary64_21162` `distribute-lft-out--_binary64_2417` `cbrt-undiv_binary64_14093` `difference-of-squares_binary64` `pow-sqr_binary64_18124` `rem-sqrt-square_binary64_3160` `sqr-pow_binary64_10280` `sub-neg_binary64_753` `rec-exp_binary64_9335` `distribute-lft-in_binary64_6165` `*-commutative_binary64_15695` `associate-/l/_binary64_2412` `distribute-rgt1-in_binary64_22881` `flip-+_binary64_20171` `div-inv_binary64_10305` `associate-/l/_binary64_12301` `associate-/l/_binary64_11619` `distribute-lft1-in_binary64_22880` `flip3-+_binary64_20200` `sub-neg_binary64_9278` `associate--l+_binary64_16383` `pow2_binary64_4592` `distribute-lft-out--_binary64_8896` `cbrt-undiv_binary64_4204` `div-sub_binary64_14746` `times-frac_binary64_425`
4×	`associate-+l+_binary64_15015` `frac-sub_binary64_18842` `pow-prod-up_binary64_6627` `clear-num_binary64_15763` `pow-plus_binary64_19919` `flip3--_binary64_10653` `+-commutative_binary64_19786` `distribute-lft-out_binary64_29` `associate--l+_binary64_4448` `log-prod_binary64_4938` `unpow-prod-up_binary64_13796` `distribute-lft-out_binary64_8213` `div-sub_binary64_16451` `pow-flip_binary64_20953` `+-commutative_binary64_23878` `div-inv_binary64_8259` `rec-exp_binary64_20247` `diff-log_binary64_12787` `pow-exp_binary64_8671` `sqrt-div_binary64_5210` `frac-times_binary64_6908` `cbrt-unprod_binary64_24322` `pow-sqr_binary64_21875` `associate-r/_binary64_2066` `diff-log_binary64_11082` `log-prod_binary64_6984` `sqr-pow_binary64_5847` `diff-log_binary64_1534` `sqr-pow_binary64_22215` `pow-to-exp_binary64_10718` `+-commutative_binary64_20127` `difference-of-squares_binary64_21530` `sub-div_binary64_20886` `1-exp_binary64_20241` `associate-/l/_binary64_21167` `associate--r+_binary64_17405` `sum-log_binary64_18242` `unswap-sqr_binary64_24257` `pow2_binary64_13117` `frac-times_binary64_7590` `flip-+_binary64_6872` `flip3-+_binary64_6901` `pow2_binary64_5956` `un-div-inv_binary64_18490` `distribute-lft-out_binary64_16056` `+-commutative_binary64_15012` `associate-+r-_binary64_11947` `frac-2neg_binary64_15775` `flip--_binary64_10624` `frac-times_binary64_429` `tan-quot_binary64_16946` `difference-of-squares_binary64_20507` `pow-exp_binary64_15150` `div-exp_binary64_2516` `pow-to-exp_binary64_13105` `sub-neg_binary64_6209` `flip-+_binary64_23922` `inv-pow_binary64_2891` `-commutative_binary64_22174` `sqr-abs_binary64_18507` `sqrt-pow1_binary64_20897` `sum-log_binary64_4261` `-commutative_binary64_22515` `distribute-lft-neg-out_binary64_3106` `flip3-+_binary64_23951` `frac-sub_binary64_2815` `unswap-sqr_binary64_23916` `sum-log_binary64_1192` `associate-+r+_binary64_24562` `diff-cos_binary64_5685` `frac-times_binary64_6226` `+-commutative_binary64_13989` `frac-2neg_binary64_771` `cancel-sign-sub-inv_binary64_16753` `pow-prod-down_binary64_6287` `frac-times_binary64_6567` `exp-prod_binary64_6950` `flip-+_binary64_14033` `associate-+l+_binary64_8877` `cube-div_binary64_6245` `cube-prod_binary64_2152` `swap-sqr_binary64_16754` `rem-sqrt-square_binary64_1796` `+-commutative_binary64_17740` `sub-neg_binary64_16780` `pow-plus_binary64_18214` `distribute-lft-in_binary64_21851` `frac-add_binary64_10657` `sum-log_binary64_11422` `clear-num_binary64_22583` `log-pow_binary64_1190` `distribute-lft-in_binary64_2073` `div-exp_binary64_23317` `rem-sqrt-square_binary64_5888` `unpow-prod-down_binary64_19253` `distribute-lft-in_binary64_14690` `sub-neg_binary64_19508` `clear-num_binary64_21901` `unpow-prod-down_binary64_15161` `pow-plus_binary64_5938` `un-div-inv_binary64_14739` `associate-/r_binary64_24233` `associate-+l+_binary64_15356` `associate-r/_binary64_3430` `frac-times_binary64_7931` `associate-+l-_binary64_8538` `pow2_binary64_3228` `associate-l/_binary64_6500` `pow-prod-up_binary64_1512` `swap-sqr_binary64_1068` `cbrt-undiv_binary64_8296` `+-commutative_binary64_6828` `pow-to-exp_binary64_19925` `+-commutative_binary64_18081` `pow-prod-down_binary64_22314` `sqrt-pow1_binary64_1801` `pow-sqr_binary64` `pow1/2_binary64_20959` `frac-add_binary64_11680` `pow-prod-up_binary64_20267` `pow-sqr_binary64_4143` `sub-neg_binary64_17803` `pow-prod-up_binary64` `distribute-rgt-in_binary64_8212` `associate--l+_binary64_10245` `prod-exp_binary64_21269` `diff-log_binary64_852` `pow1/3_binary64_2888` `log-div_binary64_9031` `sqrt-div_binary64_11007` `associate-/l/_binary64_10937` `pow-prod-up_binary64_4240` `distribute-lft-out_binary64_7872` `unpow-prod-down_binary64_11069` `distribute-lft-out--_binary64_23900` `unpow-prod-down_binary64_9023` `associate-+r-_binary64_12629` `distribute-lft-out--_binary64_20490` `difference-of-sqr-1_binary64_730` `difference-of-squares_binary64_23917` `pow-pow_binary64_10721` `pow-pow_binary64_11062` `sum-log_binary64_12445` `frac-times_binary64_18161` `distribute-rgt-in_binary64_14691` `sum-log_binary64_11763` `cbrt-undiv_binary64_2499` `distribute-rgt-in_binary64_21852` `diff-log_binary64_17902` `frac-times_binary64_2134` `clear-num_binary64_21219` `cube-div_binary64_5222` `sqr-pow_binary64_8575` `distribute-lft-in_binary64_22192` `associate-l/_binary64_7864` `associate-/r/_binary64_3775` `frac-2neg_binary64_21913` `inv-pow_binary64_20964` `cbrt-unprod_binary64_21253` `associate-/r/_binary64_1388` `frac-times_binary64_2816` `cbrt-undiv_binary64_23300` `distribute-lft-in_binary64_8211` `distribute-lft-out--_binary64_3781` `flip-+_binary64_8918` `associate-/l/_binary64_4117` `frac-times_binary64_16797` `cube-div_binary64_5904` `log-pow_binary64_20286` `div-sub_binary64_8949` `associate--l-_binary64_11951` `distribute-lft-out--_binary64_21513` `distribute-rgt-in_binary64_2074` `cube-div_binary64_7950` `associate-/l/_binary64_8209` `cancel-sign-sub-inv_binary64_13684` `distribute-lft-in_binary64_12644` `difference-of-squares_binary64_6185` `unpow-prod-down_binary64_2203` `+-commutative_binary64_12284` `frac-times_binary64_20207` `frac-add_binary64_2814` `unpow-prod-down_binary64_839` `associate-r/_binary64_12296` `pow-plus_binary64_3210` `sub-neg_binary64_3481` `associate-/l/_binary64_4799` `-commutative_binary64_8193` `associate-/l_binary64_1387` `+-commutative_binary64_12966` `associate--l+_binary64_17406` `sum-log_binary64_21993` `associate--l+_binary64_15019` `pow-plus_binary64_1846` `cube-div_binary64_13406` `sum-log_binary64_24039` `distribute-lft-out_binary64_14351` `clear-num_binary64_759` `pow-sqr_binary64_1415` `pow-prod-up_binary64_21972` `associate-/l/_binary64_1389` `associate-/r/_binary64_2411` `associate-l/_binary64_3431` `div-exp_binary64_8313` `frac-2neg_binary64_21231` `un-div-inv_binary64_20536` `div-sub_binary64_16792` `prod-exp_binary64_24338` `cube-prod_binary64_19202` `pow2_binary64_18232` `frac-add_binary64_16454` `flip3-+_binary64_8947` `pow-pow_binary64_16177` `cube-div_binary64_4540` `associate-/l_binary64_22870` `associate-/r*_binary64_7865` `diff-log_binary64_9718` `frac-2neg_binary64_22595` `distribute-rgt-in_binary64_22193` `diff-log_binary64_18925` `associate-/l/_binary64_22531` `rem-sqrt-square_binary64_5547` `associate-/r/_binary64_21507` `sum-log_binary64_3579` `distribute-rgt-in_binary64_12645` `flip3-+_binary64_14062` `associate-/l/_binary64_8891` `pow-sqr_binary64_20170` `rem-exp-log_binary64_8984` `pow-exp_binary64_19924` `pow-sqr_binary64_6530` `frac-sub_binary64_10658` `sqrt-div_binary64_19191`
3×	`pow-prod-up_binary64_11060` `sqrt-pow1_binary64_11349` `flip-+_binary64_22899` `prod-exp_binary64_6265` `+-commutative_binary64_21832` `pow-sqr_binary64_2097` `clear-num_binary64` `flip-+_binary64_19148` `unpow3_binary64_22309` `+-commutative_binary64_13648` `pow-unpow_binary64_12090` `frac-2neg_binary64_13388` `sub-neg_binary64_5186` `1-exp_binary64_5919` `pow-to-exp_binary64_4239` `pow-plus_binary64_4915` `1-exp_binary64_13080` `associate-l_binary64_3770` `pow2_binary64_10389` `prod-exp_binary64_3878` `1-exp_binary64_15126` `rem-log-exp_binary64_12736` `cube-prod_binary64_1470` `+-commutative_binary64_11261` `distribute-lft-out_binary64_16738` `+-commutative_binary64_16035` `pow-prod-up_binary64_12765` `div-sub_binary64_15428` `flip--_binary64_3804` `pow-unpow_binary64_1860` `pow-sqr_binary64_10963` `cbrt-undiv_binary64_1476` `distribute-rgt-out_binary64_17422` `sum-log_binary64_5284` `frac-2neg_binary64_2476` `difference-of-squares_binary64_9254` `pow-pow_binary64_7652` `flip3--_binary64_8266` `sum-log_binary64_22675` `frac-2neg_binary64` `pow-exp_binary64_1510` `associate-/r_binary64_14003` `pow-plus_binary64_3551` `distribute-rgt-out--_binary64_16059` `associate-/l/_binary64_21508` `flip3--_binary64_4856` `pow-unpow_binary64_3565` `pow-unpow_binary64_23684` `pow-flip_binary64_14815` `div-sub_binary64_20884` `frac-2neg_binary64_7591` `flip--_binary64_6191` `diff-log_binary64_11764` `+-commutative_binary64_9897` `pow-prod-down_binary64_3900` `cube-prod_binary64_3516` `log-prod_binary64_5620` `frac-add_binary64_12703` `pow-unpow_binary64_2542` `log-prod_binary64_16191` `distribute-lft-out_binary64_10941` `+-commutative_binary64_4782` `sub-neg_binary64_10642` `1-exp_binary64_11716` `+-commutative_binary64_11602` `flip3-+_binary64_12698` `unpow-prod-down_binary64_498` `pow1/3_binary64_6980` `associate-l_binary64_23207` `unswap-sqr_binary64_21188` `cube-mult_binary64_3518` `pow-exp_binary64_2192` `pow-flip_binary64_13792` `div-inv_binary64_24286` `flip3--_binary64_3833` `exp-prod_binary64_21613` `div-exp_binary64_3880` `diff-log_binary64_9377` `flip--_binary64_13693` `distribute-rgt-out--_binary64_19469` `diff-log_binary64_2898` `distribute-lft-out--_binary64_1394` `cube-mult_binary64_22273` `cbrt-undiv_binary64_3522` `inv-pow_binary64_12780` `pow-unpow_binary64_13454` `1-exp_binary64_14444` `pow-unpow_binary64_7998` `unpow2_binary64_7645` `unpow-prod-down_binary64_4249` `unsub-neg_binary64_72` `inv-pow_binary64_20623` `associate--r+_binary64_19792` `cancel-sign-sub-inv_binary64_4136` `rec-exp_binary64_1151` `+-commutative_binary64_5123` `pow2_binary64_19937` `1-exp_binary64_17172` `pow-unpow_binary64_5270` `distribute-lft-out--_binary64_7873` `inv-pow_binary64_14826` `exp-prod_binary64_11042` `frac-2neg_binary64_4181` `pow-flip_binary64_20612` `associate-+r-_binary64_17744` `unpow3_binary64_3554` `1-exp_binary64_22287` `rem-log-exp_binary64_20920` `pow-plus_binary64_7643` `pow1/3_binary64_12436` `frac-2neg_binary64_10319` `pow-unpow_binary64_15159` `pow-pow_binary64_150` `1-exp_binary64_1145` `frac-times_binary64_8613` `rec-exp_binary64_13086` `pow2_binary64_13458` `pow-plus_binary64_5256` `rem-cube-cbrt_binary64_13400` `+-commutative_binary64_10920` `pow-unpow_binary64_8680` `pow2_binary64_7661` `flip--_binary64_2099` `1-exp_binary64_15467` `associate-r/_binary64_8204` `sqrt-prod_binary64_1458` `associate-/r_binary64_11957` `cbrt-prod_binary64_8975` `flip--_binary64_4827` `inv-pow_binary64_18236` `unpow2_binary64_4576` `pow-unpow_binary64_12431` `pow-unpow_binary64_16523` `div-sub_binary64_15087` `rec-exp_binary64_15473` `pow-unpow_binary64_2883` `distribute-lft-in_binary64_1732` `pow-exp_binary64_13445` `clear-num_binary64_2464` `sum-log_binary64_10058` `+-commutative_binary64_19104` `cbrt-undiv_binary64_24323` `cbrt-unprod_binary64_3862` `unswap-sqr_binary64_6866` `div-sub_binary64_17474` `cos-diff_binary64_18288` `pow-flip_binary64_9018` `flip3--_binary64_2128` `1-exp_binary64_804` `pow-unpow_binary64_4247` `distribute-lft-neg-out_binary64_37` `associate-/r_binary64_23210` `+-commutative_binary64_690` `cube-div_binary64_22272` `div-sub_binary64_1788` `sub-neg_binary64_16098` `div-sub_binary64_15769` `pow-sqr_binary64_392` `log-div_binary64_11759` `sum-log_binary64_16196` `cancel-sign-sub-inv_binary64_6523` `exp-prod_binary64_1153` `diff-log_binary64_16197` `flip-+_binary64_12669` `log-pow_binary64_508` `pow-sqr_binary64_2779` `cancel-sign-sub-inv_binary64_5159` `+-commutative_binary64_12625` `pow-flip_binary64_18225` `rec-exp_binary64_15132` `associate-l_binary64_22866` `rec-exp_binary64_11722` `pow2_binary64_5274` `sum-log_binary64_19265` `cbrt-unprod_binary64_6249` `frac-times_binary64_9636` `sum-log_binary64_11081` `pow-to-exp_binary64_8672` `pow-unpow_binary64_13113` `associate-/r_binary64_22` `cube-mult_binary64_1472` `sub-neg_binary64_13029` `pow-plus_binary64_10371` `pow-sqr_binary64_12668` `rem-exp-log_binary64_13758` `flip3--_binary64_5197` `associate-/r_binary64_4455` `rem-sqrt-square_binary64_11344` `pow-plus_binary64_19237` `flip3-+_binary64_22928` `sqr-abs_binary64_13051` `sqr-abs_binary64_12369` `pow-plus_binary64_13440` `diff-log_binary64_5285` `distribute-lft-out_binary64_14692` `pow1/2_binary64_23687` `clear-num_binary64_13376` `flip3--_binary64_6220` `+-commutative_binary64_4100` `pow-unpow_binary64_10385` `pow-prod-up_binary64_489` `distribute-rgt-in_binary64_1733` `unpow3_binary64_1508` `inv-pow_binary64_9029` `div-exp_binary64_24340` `pow-unpow_binary64_5611` `-commutative_binary64_6147` `clear-num_binary64_10307` `pow-unpow_binary64_496` `diff-log_binary64_20289` `flip3--_binary64_13722` `div-exp_binary64_1493` `pow2_binary64_3569` `pow-pow_binary64_1514` `sqrt-pow1_binary64_4870` `rec-exp_binary64_14450` `diff-log_binary64_13810` `clear-num_binary64_7579` `flip--_binary64_8237` `rec-exp_binary64_22293` `pow-pow_binary64_13449` `pow-unpow_binary64_22320` `div-exp_binary64_3539` `rec-exp_binary64_17178` `diff-log_binary64_24722` `sqr-pow_binary64_12326` `associate-/l_binary64_11958` `log-pow_binary64_167` `sqrt-prod_binary64_23282` `associate-+r-_binary64_8537` `div-exp_binary64_129` `pow-to-exp_binary64_2193` `distribute-rgt-out--_binary64_17423` `pow-unpow_binary64_16182` `rec-exp_binary64_5925` `rec-exp_binary64_810` `pow-flip_binary64_834` `flip3-+_binary64_19177` `flip--_binary64_5168` `clear-num_binary64_4169` `diff-log_binary64_18243` `+-commutative_binary64_22514`
2×	`pow1/2_binary64_17549` `associate-+l+_binary64_16379` `pow-sqr_binary64_18806` `pow2_binary64_21983` `+-commutative_binary64_8874` `div-sub_binary64_4175` `pow2_binary64_8002` `clear-num_binary64_1441` `neg-sub0_binary64_13372` `pow-prod-up_binary64_20608` `sqr-pow_binary64_7893` `associate-+l+_binary64_16720` `associate-+r-_binary64_6832` `frac-add_binary64_17136` `sqr-pow_binary64_11985` `div-inv_binary64_7918` `pow-sqr_binary64_16078` `sinh-def_binary64_2650` `pow-plus_binary64_4233` `sqr-abs_binary64_3503` `pow-prod-up_binary64_22654` `div-sub_binary64_83` `pow-pow_binary64_5947` `clear-num_binary64_3487` `neg-log_binary64_13470` `distribute-lft-out--_binary64` `pow-prod-up_binary64_16857` `frac-2neg_binary64_3840` `div-sub_binary64_14405` `exp-sum_binary64_1147` `inv-pow_binary64_9711` `pow-exp_binary64_2533` `sqrt-prod_binary64_16803` `rec-exp_binary64_8653` `div-sub_binary64_18497` `1-exp_binary64` `sqr-pow_binary64_13349` `distribute-rgt-out_binary64_13330` `pow2_binary64_11071` `div-inv_binary64_22922` `difference-of-squares_binary64_6867` `unpow-prod-down_binary64_5272` `associate--l+_binary64_10586` `unpow-prod-down_binary64_13456` `cbrt-undiv_binary64_3863` `pow1/2_binary64` `pow-sqr_binary64_11986` `associate-r/_binary64_4112` `cube-div_binary64_10678` `pow2_binary64_4933` `pow-prod-up_binary64_12083` `cube-mult_binary64_5223` `div-sub_binary64_21907` `div-sub_binary64_16110` `pow-exp_binary64_1851` `sqr-pow_binary64_19146` `rem-log-exp_binary64_20238` `prod-exp_binary64_22974` `associate-l/_binary64_6159` `rem-cube-cbrt_binary64_15105` `flip3-+_binary64_24292` `pow-flip_binary64_3221` `rec-exp_binary64` `cube-mult_binary64_15112` `sub-neg_binary64_15416` `cbrt-undiv_binary64_453` `difference-of-squares_binary64_2093` `pow2_binary64_5615` `pow-exp_binary64_6284` `rec-exp_binary64_11040` `sqr-pow_binary64_5165` `cube-mult_binary64_7951` `diff-log_binary64_14492` `div-exp_binary64_7972` `diff-log_binary64_16879` `rem-sqrt-square_binary64_17482` `associate-/r/_binary64_365` `pow-sqr_binary64_14714` `+-commutative_binary64_3418` `associate-l/_binary64_2749` `sqr-pow_binary64_16418` `rem-cube-cbrt_binary64_10672` `cbrt-div_binary64_7953` `cube-mult_binary64_13407` `associate-/l/_binary64_5822` `associate-+l+_binary64_3080` `frac-2neg_binary64_3499` `rem-cube-cbrt_binary64_22266` `rem-sqrt-square_binary64_20892` `-commutative_binary64_24220` `pow-prod-up_binary64_17198` `associate--l+_binary64_8881` `pow2_binary64_500` `un-div-inv_binary64_11329` `diff-log_binary64_4262` `distribute-lft-in_binary64_22533` `pow-plus_binary64_21965` `cube-mult_binary64_10679` `div-inv_binary64_23263` `diff-log_binary64_14151` `pow-prod-up_binary64_10037` `pow-to-exp_binary64_1511` `frac-sub_binary64_5884` `log-pow_binary64_13807` `rem-square-sqrt_binary64_3500` `unpow3_binary64_8669` `pow-exp_binary64_3556` `associate-+l-_binary64_5810` `pow2_binary64_1864` `distribute-rgt-in_binary64_22534` `cube-prod_binary64_5221` `associate-+l+_binary64_14333` `pow1/2_binary64_1863` `sub-neg_binary64_8255` `pow1/3_binary64_842` `1-exp_binary64_14103` `associate-/l/_binary64_13324` `pow-prod-up_binary64_14811` `diff-log_binary64_4603` `sqrt-div_binary64_23283` `cbrt-div_binary64_11704` `distribute-rgt-out--_binary64_12649` `frac-add_binary64_11339` `sub-neg_binary64_1776` `inv-pow_binary64_10052` `sub-neg_binary64_13711` `rec-exp_binary64_21611` `exp-diff_binary64_13766` `pow2_binary64_20278` `pow-prod-up_binary64_15152` `associate-+r-_binary64_13311` `cube-mult_binary64_6246` `div-exp_binary64_470` `distribute-lft-out_binary64_18443` `associate-l/_binary64_20140` `pow-prod-up_binary64_15493` `frac-add_binary64_3155` `unpow3_binary64_6282` `associate-/r/_binary64_4457` `pow1/2_binary64_840` `associate-/r/_binary64_24235` `exp-diff_binary64_8992` `diff-log_binary64` `pow-sqr_binary64_2438` `unsub-neg_binary64_6892` `pow-pow_binary64_1855` `pow-pow_binary64_3560` `difference-of-sqr-1_binary64_8914` `inv-pow_binary64_13803` `unswap-sqr_binary64_22893` `1-exp_binary64_8647` `distribute-rgt1-in_binary64_4126` `distribute-lft-out_binary64_19807` `unpow3_binary64_7987` `sqrt-unprod_binary64_3508` `div-sub_binary64_9631` `pow-exp_binary64_5602` `pow-exp_binary64_146` `pow-plus_binary64_6620` `clear-num_binary64_8261` `div-sub_binary64_3152` `cube-mult_binary64_5905` `distribute-rgt-out_binary64_713` `sqrt-pow1_binary64_16123` `pow2_binary64` `rec-exp_binary64_22634` `sub-neg_binary64_9960` `pow-sqr_binary64_15055` `div-sub_binary64_8608` `div-exp_binary64_22976` `associate-/l/_binary64_14006` `associate-/l/_binary64_7868` `associate--l+_binary64_3084` `diff-log_binary64_2216` `frac-add_binary64_18500` `pow-pow_binary64_4583` `rem-sqrt-square_binary64_9298` `pow-to-exp_binary64_6285` `pow-flip_binary64_20271` `unpow3_binary64_10715` `associate-l/_binary64_6841` `pow-prod-up_binary64_8332` `associate-/r/_binary64_22871` `un-div-inv_binary64_1781` `associate-r/_binary64_24231` `pow-to-exp_binary64_2534` `pow-sqr_binary64_16760` `pow-prod-down_binary64_24360` `associate-+l-_binary64_354` `associate-/l/_binary64_4458` `pow2_binary64_6638` `cube-mult_binary64_8633` `rem-cube-cbrt_binary64_1806` `log-div_binary64_13464` `div-inv_binary64_1439` `pow-pow_binary64_2878` `rem-cube-cbrt_binary64_5216` `unpow3_binary64_5259` `pow-sqr_binary64_13691` `associate-/l/_binary64_366` `pow-plus_binary64_11053` `sqrt-pow1_binary64_9303` `associate-/l/_binary64_19462` `1-exp_binary64_11034` `associate-l/_binary64_4113` `rec-exp_binary64_14109` `distribute-lft-out_binary64_4121` `pow2_binary64_11412` `flip3-+_binary64_21223` `distribute-rgt-out--_binary64_14013` `frac-sub_binary64_12704` `frac-2neg_binary64_1453` `diff-log_binary64_8013` `pow-sqr_binary64_8235` `diff-log_binary64_7331` `pow2_binary64_12776` `associate-/r/_binary64_11959` `associate--r+_binary64_19451` `associate-+r-_binary64_10242` `rem-sqrt-square_binary64_23620` `flip3-+_binary64_23269` `sub-neg_binary64_22236` `cbrt-unprod_binary64_22958` `clear-num_binary64_3828` `div-sub_binary64_12700` `cbrt-undiv_binary64_22959` `pow-prod-up_binary64_13788` `pow-prod-up_binary64_16175` `1-exp_binary64_21605` `associate-/l/_binary64_12983` `sqrt-div_binary64_3846` `cbrt-div_binary64_22275` `flip-+_binary64_24263` `sqr-pow_binary64_8916` `rem-square-sqrt_binary64_3159` `pow-prod-up_binary64_2535` `associate-l/_binary64_8546` `associate--r+_binary64_2742` `associate-l/_binary64_21504` `associate-r/_binary64_6499` `associate-+l+_binary64_19789` `inv-pow_binary64_3232` `+-commutative_binary64_1031` `rec-exp_binary64_10699` `unpow3_binary64_15148` `associate-/l/_binary64_22872` `distribute-lft-neg-in_binary64_13334` `pow-to-exp_binary64_5944` `log-div_binary64_2893` `rem-sqrt-square_binary64_20210` `cbrt-undiv_binary64_112` `pow-prod-up_binary64_11401` `distribute-rgt-out--_binary64_1055` `un-div-inv_binary64_14398` `pow-exp_binary64_22311` `neg-log_binary64_171` `unsub-neg_binary64_13371` `associate-/l/_binary64_24236` `pow-to-exp_binary64_147` `unpow1/3_binary64_4578` `pow2_binary64_19255` `pow-sqr_binary64_20511` `cancel-sign-sub-inv_binary64_1749` `rem-cube-cbrt_binary64_8626` `frac-2neg_binary64_8273` `1-exp_binary64_4214` `pow-sqr_binary64_9940` `sub-div_binary64_17476` `sum-log_binary64_5625` `pow-flip_binary64_10041` `associate-+l-_binary64_1036` `cube-mult_binary64_4541` `pow1/3_binary64_11413` `pow-flip_binary64_4926` `unpow2_binary64_5940` `distribute-neg-frac_binary64_12659` `inv-pow_binary64_4937` `cube-prod_binary64_13405` `sqrt-div_binary64_11348` `sqrt-pow1_binary64_17487` `frac-times_binary64_8272` `pow-pow_binary64_15154` `pow2_binary64_12094` `pow-prod-up_binary64_18903` `pow-sqr_binary64_21534` `pow-prod-up_binary64_9696` `associate-/l/_binary64_3435` `pow1/2_binary64_9365` `pow-plus_binary64_482` `+-commutative_binary64_13307` `associate-/l/_binary64_11960` `associate--r-_binary64_12634` `div-sub_binary64_20202` `associate--l+_binary64_11268` `rec-exp_binary64_4220` `unpow3_binary64_4577` `associate-+r+_binary64_2056` `associate--l+_binary64_5812` `sub-neg_binary64_14734` `sqrt-unprod_binary64_3167` `pow-exp_binary64_5943` `associate-/l/_binary64_25` `pow-plus_binary64_1505` `pow-sqr_binary64_11304` `pow1/3_binary64_1865` `pow-plus_binary64_12076` `cube-div_binary64_8632` `distribute-rgt-out_binary64_4123` `pow1/2_binary64_16867` `rem-cube-cbrt_binary64_5557` `+-commutative_binary64_18422` `pow-plus_binary64` `pow2_binary64_159` `neg-sub0_binary64_73` `log-div_binary64_847` `sum-log_binary64_24721` `sqr-pow_binary64_732` `rem-cube-cbrt_binary64_1465` `inv-pow_binary64_20282` `difference-of-sqr-1_binary64_6186` `rem-sqrt-square_binary64` `pow-pow_binary64_6288` `pow-flip_binary64_9700` `pow-plus_binary64_141` `unswap-sqr_binary64_23234` `unpow3_binary64_13443` `associate--l+_binary64_10927` `pow-sqr_binary64_9599` `pow-pow_binary64_5265` `pow-sqr_binary64_15396` `div-inv_binary64_75` `diff-log_binary64_13469` `pow-exp_binary64_5261` `neg-mul-1_binary64_12691` `pow-sqr_binary64_22557` `rem-cube-cbrt_binary64_3511` `associate-/l/_binary64` `swap-sqr_binary64_1750` `sub-div_binary64_18840` `pow-plus_binary64_7984` `flip-+_binary64_21194` `sqr-pow_binary64_2096` `-commutative_binary64_21151` `pow-plus_binary64_11394` `1-exp_binary64_10693` `un-div-inv_binary64_4850` `sqrt-pow1_binary64` `div-inv_binary64_3485` `frac-times_binary64_10659` `1-exp_binary64_22628` `associate-/r/_binary64_7867` `cube-prod_binary64_15110` `un-div-inv_binary64_9624` `unpow3_binary64_5941` `div-sub_binary64_12359` `pow2_binary64_4251` `pow-plus_binary64_20260` `associate--l+_binary64_3425` `pow-prod-down_binary64_21291` `+-commutative_binary64_6146` `+-commutative_binary64_5464` `diff-log_binary64_6308` `pow-prod-up_binary64_21631` `distribute-lft-neg-in_binary64_24587` `flip-+_binary64_23240` `diff-log_binary64_17220` `pow-to-exp_binary64_15151` `pow-plus_binary64_12758` `associate-/r/_binary64_3434` `frac-times_binary64_22594` `associate-+r+_binary64_13650` `cbrt-div_binary64_5907` `cbrt-undiv_binary64_7955` `pow-sqr_binary64_17101` `sqrt-pow1_binary64_778` `div-sub_binary64_18838` `neg-log_binary64_6991` `unpow1/3_binary64_7647` `pow-plus_binary64_5597` `associate-+r+_binary64_9899` `neg-sub0_binary64_6893` `difference-of-sqr--1_binary64_11302`
1×	`sqrt-pow1_binary64_23284` `associate-+l-_binary64_19791` `inv-pow_binary64_8688` `-un-lft-identity_binary64_7239` `distribute-lft-in_binary64_21169` `pow-plus_binary64_20601` `pow-exp_binary64_10376` `sqr-pow_binary64_10962` `pow-to-exp_binary64_16515` `pow1/2_binary64_4932` `sub-neg_binary64_3822` `cube-prod_binary64_1811` `rem-cube-cbrt_binary64_7944` `exp-lft-sqr_binary64_4907` `pow-flip_binary64_3903` `un-div-inv_binary64_20195` `pow-plus_binary64_17532` `associate-+r-_binary64_17062` `cancel-sign-sub-inv_binary64_3795` `neg-log_binary64_12788` `difference-of-sqr-1_binary64_9255` `exp-diff_binary64_1149` `sub-neg_binary64_6550` `frac-2neg_binary64_7932` `pow-plus_binary64_15145` `diff-log_binary64_4944` `flip-+_binary64_6531` `associate--l+_binary64_4107` `flip3-+_binary64_24633` `sub-div_binary64_13043` `neg-log_binary64_24723` `pow-plus_binary64_15486` `pow2_binary64_20619` `neg-sub0_binary64_414` `distribute-rgt1-in_binary64_375` `distribute-rgt-out--_binary64_8557` `pow-sqr_binary64_17442` `log-div_binary64_1188` `pow-pow_binary64_13108` `pow-exp_binary64_12081` `flip3--_binary64_24293` `rem-log-exp_binary64_1142` `sqrt-unprod_binary64_5895` `frac-2neg_binary64_430` `distribute-rgt-in_binary64_17760` `distribute-rgt-out--_binary64_9239` `pow-exp_binary64_2874` `pow-flip_binary64_18907` `neg-sub0_binary64_13031` `div-inv_binary64_416` `associate-r/_binary64_22867` `sqrt-unprod_binary64_1121` `associate-+l+_binary64_4444` `rem-log-exp_binary64_4893` `pow-sqr_binary64_16419` `add-cbrt-cube_binary64_7275` `associate-+l-_binary64_15017` `sqr-pow_binary64_4142` `div-exp_binary64_4562` `pow-pow_binary64_22315` `sub-neg_binary64_7232` `associate--l+_binary64_7176` `sum-log_binary64_24380` `frac-add_binary64_17477` `add-sqr-sqrt_binary64_7261` `acos-asin_binary64_21742` `+-commutative_binary64_23196` `pow-to-exp_binary64_488` `associate-+r+_binary64_10581` `rem-square-sqrt_binary64_2136` `pow2_binary64_15163` `pow-flip_binary64_15497` `pow1/2_binary64_19254` `log-div_binary64_20284` `associate--l+_binary64_21839` `sqr-pow_binary64_391` `pow-flip_binary64_11746` `diff-log_binary64_10741` `rem-exp-log_binary64_19896` `pow-exp_binary64_7989` `pow-pow_binary64_7993` `neg-sub0_binary64_10644` `exp-neg_binary64_10696` `flip3-+_binary64_6560` `rem-square-sqrt_binary64_5546` `rem-square-sqrt_binary64_7933` `pow2_binary64_2887` `div-sub_binary64_3493` `sqrt-pow1_binary64_19192` `rem-cbrt-cube_binary64_7945` `distribute-lft-out_binary64_20148` `pow-pow_binary64_8675` `pow-to-exp_binary64_10377` `distribute-lft-out--_binary64_9237` `pow-prod-up_binary64_20949` `rem-cbrt-cube_binary64_10673` `pow-plus_binary64_16850` `pow2_binary64_2546` `clear-num_binary64_24288` `sub-neg_binary64_4845` `un-div-inv_binary64_20877` `sqrt-pow2_binary64_16124` `pow2_binary64_1182` `cube-div_binary64_5563` `pow-flip_binary64` `difference-of-sqr-1_binary64_17439` `exp-sum_binary64_6944` `distribute-lft1-in_binary64_21175` `pow2_binary64_18914` `clear-num_binary64_418` `pow-to-exp_binary64_13446` `unpow1/3_binary64_486` `pow-to-exp_binary64_1852` `+-commutative_binary64_24219` `distribute-rgt-in_binary64_16055` `rem-cbrt-cube_binary64_3512` `pow-prod-up_binary64_16516` `rem-sqrt-square_binary64_1455` `sqr-abs_binary64_2139` `pow-plus_binary64_9689` `pow-pow_binary64_16518` `cube-mult_binary64_19204` `neg-sub0_binary64_14054` `div-sub_binary64_10654` `pow1/3_binary64_22325` `pow1/3_binary64_10731` `rem-3cbrt-lft_binary64_6241` `distribute-lft-in_binary64_4119` `diff-log_binary64_7672` `1-exp_binary64_3873` `un-div-inv_binary64_15421` `clear-num_binary64_7920` `distribute-lft1-in_binary64_715` `frac-2neg_binary64_14070` `flip3-+_binary64_8265` `pow-plus_binary64_2187` `pow2_binary64_22665` `pow2_binary64_15504` `unpow3_binary64_2190` `distribute-rgt-in_binary64_5143` `associate-+r-_binary64_16380` `inv-pow_binary64` `associate-+l-_binary64_11607` `pow-to-exp_binary64_829` `pow-to-exp_binary64_5262` `rem-sqrt-square_binary64_3842` `exp-to-pow_binary64_9006` `pow-to-exp_binary64_12423` `distribute-lft-out--_binary64_2076` `pow-flip_binary64_22658` `distribute-lft-in_binary64_17759` `pow-pow_binary64_2537` `diff-log_binary64_3239` `rem-cube-cbrt_binary64_6239` `associate-+r-_binary64_9560` `pow-exp_binary64_16514` `pow2_binary64_18573` `neg-sub0_binary64_24625` `associate-+l-_binary64_18427` `inv-pow_binary64_17895` `div-sub_binary64_21225` `sqrt-unprod_binary64_13056` `rem-log-exp_binary64_8985` `distribute-lft1-in_binary64_11627` `rem-square-sqrt_binary64_13048` `pow-flip_binary64_18566` `clear-num_binary64_77` `unpow3_binary64_16171` `distribute-rgt-out_binary64_31` `cube-mult_binary64_16135` `add-cube-cbrt_binary64_7274` `un-div-inv_binary64_18831` `distribute-lft-out_binary64_4803` `cbrt-div_binary64_8635` `associate--l-_binary64_10246` `pow-plus_binary64_18555` `div-sub_binary64_19520` `frac-add_binary64_15772` `diff-log_binary64_3921` `pow-plus_binary64_1164` `sqrt-pow1_binary64_20215` `pow-sqr_binary64_20852` `distribute-lft-out--_binary64_6850` `pow-exp_binary64_11058` `inv-pow_binary64_17213` `unpow2_binary64_4235` `associate--r-_binary64_15021` `pow-prod-down_binary64_23337` `sum-log_binary64_23016` `flip3-+_binary64_3832` `frac-2neg_binary64_24300` `frac-sub_binary64_1110` `pow-to-exp_binary64_22312` `inv-pow_binary64_11075` `swap-sqr_binary64_1409` `pow-flip_binary64_15156` `distribute-rgt-neg-in_binary64_377` `inv-pow_binary64_21646` `pow-flip_binary64_8677` `pow2_binary64_16186` `difference-of-sqr-1_binary64_1071` `associate-r/_binary64_8886` `rem-log-exp_binary64_5575` `clear-num_binary64_12012` `sum-log_binary64_17219` `sqrt-unprod_binary64_19876` `rec-exp_binary64_3879` `inv-pow_binary64_18918` `difference-of-sqr-1_binary64_389` `div-sub_binary64_14064` `associate--l+_binary64_697` `pow-plus_binary64_10030` `rem-cbrt-cube_binary64_6240` `associate-+l-_binary64_2400` `rem-square-sqrt_binary64_8615` `diff-log_binary64_15856` `distribute-rgt-in_binary64_4120` `neg-log_binary64_14152` `pow-plus_binary64_17191` `associate-+l-_binary64_17063` `pow2_binary64_17209` `rem-cube-cbrt_binary64_16128` `pow-flip_binary64_17884` `distribute-rgt-neg-in_binary64_14017` `pow-exp_binary64_19242` `pow-to-exp_binary64_9013` `flip-+_binary64_24604` `clear-num_binary64_4510` `sqrt-pow1_binary64_1460` `neg-mul-1_binary64_24626` `pow-pow_binary64_4242` `sum-log_binary64_23357` `pow2_binary64_17550` `cancel-sign-sub-inv_binary64_7205` `pow-exp_binary64_487` `distribute-rgt-out_binary64_19468` `pow-plus_binary64_12417` `neg-sub0_binary64_12690` `unsub-neg_binary64_12689` `div-sub_binary64_21566` `difference-of-sqr--1_binary64_13689` `rem-square-sqrt_binary64_19868` `rem-log-exp_binary64_6939` `pow-unpow_binary64_11067` `unpow3_binary64_1849` `associate-+r-_binary64_11265` `pow-to-exp_binary64_19243` `rem-square-sqrt_binary64_1113` `pow-plus_binary64_22647` `pow-flip_binary64_5949` `associate-+r-_binary64_16721` `inv-pow_binary64_1186` `distribute-rgt-out_binary64_12648` `pow-to-exp_binary64_3557` `associate-/l_binary64_23211` `rem-square-sqrt_binary64_18504` `associate-/l_binary64_364` `frac-2neg_binary64_4522` `div-sub_binary64_22248` `+-commutative_binary64_17058` `pow-pow_binary64_10380` `clear-num_binary64_23265` `pow-plus_binary64_8666` `associate-+l-_binary64_24565` `distribute-lft-in_binary64_5142` `associate-+r-_binary64_353` `unpow3_binary64_19240` `inv-pow_binary64_10734` `unswap-sqr_binary64_3797` `pow-plus_binary64_20942` `pow-exp_binary64_828` `div-sub_binary64_4857` `flip-+_binary64_8236` `cbrt-undiv_binary64_5568` `associate-l/_binary64_8205` `associate-/l_binary64_7866` `unpow1/3_binary64_12080` `sqrt-pow2_binary64_23626` `associate-+r-_binary64_12288` `pow1/2_binary64_3909` `diff-log_binary64_6649` `pow-to-exp_binary64_5603` `rem-log-exp_binary64_16146` `neg-log_binary64_512` `difference-of-sqr-1_binary64_13688` `rem-cube-cbrt_binary64_5898` `distribute-rgt-out--_binary64_18787` `rem-log-exp_binary64_2847` `clear-num_binary64_14058` `cancel-sign-sub_binary64_24595` `associate--r-_binary64_8883` `sqr-pow_binary64_2778` `rem-cbrt-cube_binary64_5217` `distribute-lft-out--_binary64_6168` `rem-square-sqrt_binary64_5887` `distribute-rgt-in_binary64_21170` `unpow1/3_binary64_145` `pow-plus_binary64_16509` `sqrt-unprod_binary64_98` `frac-2neg_binary64_23277` `remove-double-div_binary64_1759` `pow-flip_binary64_22317` `pow-flip_binary64_10723` `associate-+r-_binary64_15698` `pow3_binary64_6299` `inv-pow_binary64_11757` `sqrt-unprod_binary64_8623` `sub-div_binary64_1108` `pow1/2_binary64_1522` `sqrt-unprod_binary64_2826` `frac-2neg_binary64_89` `pow2_binary64_2205` `pow-plus_binary64_2869` `associate--r+_binary64_355` `difference-of-squares_binary64_20166` `sqr-abs_binary64_5890` `associate--l+_binary64_19452` `pow2_binary64_16527` `+-commutative_binary64_21150` `rem-cbrt-cube_binary64_5899` `pow2_binary64_14822` `neg-mul-1_binary64_74` `sqr-pow_binary64_1755` `inv-pow_binary64_5960` `rem-sqrt-square_binary64_23279` `div-sub_binary64_11336` `pow-plus_binary64_18896` `div-exp_binary64_5585` `inv-pow_binary64_15167` `unpow1/3_binary64_10375` `distribute-lft-in_binary64_16054` `unsub-neg_binary64_413` `pow2_binary64_12435` `frac-add_binary64_13726` `sub-neg_binary64_4163` `frac-times_binary64_2475` `pow-to-exp_binary64_12082` `inv-pow_binary64_22669` `pow-to-exp_binary64_7990` `un-div-inv_binary64_17808` `associate--r+_binary64_12972` `pow-plus_binary64_8325` `sqr-pow_binary64_5506` `cube-mult_binary64_2154` `exp-lft-sqr_binary64_11045` `rem-cube-cbrt_binary64_4534` `rem-sqrt-square_binary64_19187` `sqrt-div_binary64_20214` `rem-cbrt-cube_binary64_4535` `sqr-pow_binary64_16077` `distribute-rgt-out_binary64_16399` `unpow1/3_binary64_4237` `cancel-sign-sub-inv_binary64_4818` `pow-to-exp_binary64_2875` `pow2_binary64_20960` `associate-+l+_binary64_11` `pow-prod-up_binary64_17539` `div-inv_binary64_4508` `1-exp_binary64_122` `sqrt-unprod_binary64_7941` `pow-pow_binary64_491` `pow2_binary64_13799` `rem-cbrt-cube_binary64_8627` `distribute-lft-out_binary64_14010` `diff-log_binary64_6990` `pow2_binary64_9707` `exp-diff_binary64_21609` `pow-to-exp_binary64_16174` `clear-num_binary64_22924` `pow-flip_binary64_14474` `sqr-abs_binary64_2821` `div-sub_binary64_24294` `associate--l+_binary64_13314` `inv-pow_binary64_845` `pow-prod-down_binary64_22996` `inv-pow_binary64_14485` `frac-times_binary64_21571` `pow2_binary64_8684` `sqrt-unprod_binary64_12374` `pow-plus_binary64_13781` `pow-plus_binary64_16168` `associate--r-_binary64_10247` `unpow-prod-down_binary64_1862` `rem-cbrt-cube_binary64_22267` `pow-plus_binary64_14804` `exp-diff_binary64_10697` `sqrt-pow2_binary64_12373` `rem-log-exp_binary64_13418` `sqrt-unprod_binary64_18512` `cube-mult_binary64_1813` `associate-r/_binary64_23208` `associate-+l-_binary64_17745` `associate--l+_binary64_12973` `pow-flip_binary64_1175` `pow1_binary64_7300` `cube-mult_binary64_5564` `associate-+l-_binary64_8879` `distribute-rgt-neg-in_binary64_24588` `associate-+l+_binary64_20130` `distribute-lft-neg-in_binary64_376` `pow1/2_binary64_23346` `sqrt-unprod_binary64_2144` `frac-2neg_binary64_22936` `exp-neg_binary64_13083` `unsub-neg_binary64_3141` `distribute-rgt-out_binary64_21173` `associate-+l+_binary64_13651` `associate--l+_binary64_8540` `unsub-neg_binary64_14053` `diff-log_binary64_11423` `sum-log_binary64_21311` `distribute-rgt-out--_binary64_18446` `pow-exp_binary64_9012` `rec-exp_binary64_128` `associate-r_binary64_3769` `rem-square-sqrt_binary64_90` `unpow3_binary64_5600` `un-div-inv_binary64_14057` `rem-sqrt-square_binary64_773` `pow-exp_binary64_16173` `flip3--_binary64_21565` `distribute-lft-out_binary64_21171` `frac-2neg_binary64_12024` `sqrt-pow1_binary64_3847` `+-commutative_binary64_22855` `pow-flip_binary64_4244` `distribute-lft-out--_binary64_20149` `-commutative_binary64_3760` `exp-to-pow_binary64_19918` `pow1/2_binary64_11411` `pow2_binary64_21642` `-commutative_binary64_23197` `associate--l+_binary64_13655` `pow2_binary64_16868` `pow1/2_binary64_20277` `associate-+r-_binary64_13993` `distribute-lft-out_binary64_5144` `rem-exp-log_binary64_21601` `pow-plus_binary64_2528` `flip--_binary64_7214` `add-exp-log_binary64_7277` `difference-of-sqr-1_binary64_11301` `pow-pow_binary64_13790` `div-sub_binary64_8267` `pow2_binary64_10048` `associate-+r-_binary64_18767` `rem-square-sqrt_binary64_12366` `associate-+r+_binary64_6148` `flip3--_binary64_7243` `+-commutative_binary64_17399` `inv-pow_binary64_18577` `rem-cbrt-cube_binary64_13401` `rem-square-sqrt_binary64_2818` `pow1/2_binary64_16185` `flip--_binary64_21536` `distribute-lft-out_binary64_6508` `unpow1/3_binary64_1509` `distribute-rgt-neg-in_binary64_2764` `inv-pow_binary64_15508` `flip--_binary64_24264` `sqrt-unprod_binary64_5554` `inv-pow_binary64_3914` `pow-pow_binary64_12085` `pow-pow_binary64_5606` `unpow1/3_binary64_2532` `pow2_binary64_1523` `div-sub_binary64_1106` `difference-of-sqr-1_binary64_3117` `exp-diff_binary64_13084` `cbrt-undiv_binary64_4545` `rem-log-exp_binary64_801` `sum-log_binary64_7330` `pow-plus_binary64_21624` `un-div-inv_binary64_76` `div-sub_binary64_12018` `+-commutative_binary64_24560` `distribute-lft-out_binary64_5485` `associate-+l+_binary64_6149` `sqr-abs_binary64_3162` `associate--l-_binary64_2403` `pow1/3_binary64_9026` `sub-div_binary64_19522` `flip-+_binary64_3803` `sqr-abs_binary64_5549` `diff-log_binary64_170` `associate-l/_binary64_22527` `cbrt-div_binary64_10681` `pow-exp_binary64_12422` `inv-pow_binary64_22328` `pow2_binary64_8343` `pow-flip_binary64_17202` `-commutative_binary64_22856` `pow3_binary64_13119` `inv-pow_binary64_4255` `cube-div_binary64_1812` `associate--r-_binary64_24569` `pow-to-exp_binary64_11059`

Counts

2413 → 75480

Calls

1751 calls:

249.0ms	(.f64 3 (.f64 x x))
236.0ms	(cbrt.f64 (pow.f64 (+.f64 (*.f64 841/108 x) 4/29) 3))
171.0ms	(.f64 y (+.f64 (/.f64 (.f64 x x) (pow.f64 (-.f64 2 y) 3)) (/.f64 (pow.f64 x 3) (pow.f64 (-.f64 2 y) 4))))
92.0ms	(*.f64 (sqrt.f64 (/.f64 1 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))) (sqrt.f64 (/.f64 1 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))))
90.0ms	(*.f64 (/.f64 (/.f64 y x) (pow.f64 z y)) (/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1))))

Compiler

Compiled 2237448 to 999394 computations (55.3% saved)

simplify2.0min (5.2%)

Algorithm

1420×

egg-herbie

Counts

108428 → 108428

Compiler

Compiled 4376 to 3176 computations (27.4% saved)

localize10.7s (0.5%)

bsearch4.9s (0.2%)

Compiler: Compiled 385 to 441 computations (-14.5% saved)

Details

series15.1min (39.6%)

sample8.6min (22.6%)

analyze3.3min (8.7%)

regimes3.2min (8.4%)

prune2.8min (7.4%)

rewrite2.8min (7.4%)

simplify2.0min (5.2%)

localize10.7s (0.5%)

bsearch4.9s (0.2%)

end6.0ms (0%)

Profiling