Date:	Sunday, December 20th, 2020
Commit:	9e1986a8 on master
Hostname:	warfa with Racket 7.9
Seed:	2020355
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

sample5.1min (32.6%)

Algorithm

539×

intervals

Results

1.3min	2105668×	body	128	valid
24.6s	291748×	body	128	invalid
15.9s	50813×	body	1024	valid
7.4s	35522×	body	512	valid
6.3s	89324×	body	128	nan
4.6s	10509×	body	2048	valid
2.3s	18266×	body	256	valid
1.9s	8833×	body	1024	invalid
780.0ms	5433×	body	512	invalid
418.0ms	342×	body	4096	valid
290.0ms	2956×	body	256	invalid
212.0ms	1284×	body	1024	nan
117.0ms	906×	body	512	nan
49.0ms	569×	body	256	nan
48.0ms	831×	body	128	overflowed
0.0ms	2×	body	2048	nan

Compiler

Compiled 127022 to 94423 computations (25.7% saved)

series3.2min (20.5%)

Calls

2484 calls:

3.5s	(sqrt.f64 (+.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (.f64 z t))) (.f64 c i)))
3.4s	(sqrt.f64 (+.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (.f64 z t))) (.f64 c i)))
905.0ms	(/.f64 1 (/.f64 (+.f64 y (.f64 z (-.f64 b y))) (+.f64 (.f64 x y) (*.f64 z (-.f64 t a)))))
829.0ms	(pow.f64 (exp.f64 (.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (.f64 z z))))) (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (.f64 z z))))))) (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (.f64 z z))))))
629.0ms	(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (+.f64 a (.f64 b c)) (*.f64 c i)))

simplify1.9min (12.2%)

Algorithm

1415×

egg-herbie

analyze1.8min (11.3%)

Algorithm

270×

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.4%	81.8%	2.8%	4
23.4%	72.8%	3.7%	5
29.2%	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)

prune1.7min (10.9%)

Compiler: Compiled 2227739 to 967317 computations (56.6% saved)

regimes1.3min (8.3%)

Accuracy

Total 173.0b remaining (32.5%)

Threshold costs 31.3b (5.9%)

12.4b	60.9%	Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.7b	48.7%	AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
9.2b	60.7%	Data.Octree.Internal:octantDistance from Octree-0.5.4.2
7.3b	62.9%	Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
6.7b	64.8%	FRP.Yampa.Vector3:vector3Rho from Yampa-0.10.2

Compiler

Compiled 836206 to 626382 computations (25.1% saved)

rewrite29.9s (3.2%)

Algorithm

876×	rewrite-expression-head

Rules

2937×	`times-frac_binary64_18498`
2428×	`times-frac_binary64_11337`
2425×	`times-frac_binary64_13383`
2096×	`times-frac_binary64_19521`
1961×	`times-frac_binary64_12360`
1692×	`times-frac_binary64_6904`
1637×	`times-frac_binary64_20544`
1606×	`add-sqr-sqrt_binary64_19537`
1565×	`*-un-lft-identity_binary64_12354`
1501×	`sqrt-prod_binary64_19531`
1498×	`add-sqr-sqrt_binary64_18514`
1479×	`times-frac_binary64_9973`
1474×	`*-un-lft-identity_binary64_18492`
1472×	`add-cube-cbrt_binary64_18527`
1368×	`add-sqr-sqrt_binary64_11353`
1361×	`times-frac_binary64_17475`
1345×	`*-un-lft-identity_binary64_11331`
1331×	`times-frac_binary64_18157`
1302×	`add-sqr-sqrt_binary64_20560`
1297×	`times-frac_binary64_12019`
1295×	`add-cube-cbrt_binary64_11366`
1281×	`*-un-lft-identity_binary64_20538`
1266×	`*-un-lft-identity_binary64_6898`
1237×	`add-sqr-sqrt_binary64_12376`
1234×	`add-sqr-sqrt_binary64_6920`
1222×	`*-un-lft-identity_binary64_16105`
1160×	`add-sqr-sqrt_binary64_16468`
1135×	`add-sqr-sqrt_binary64_13399`
1123×	`*-un-lft-identity_binary64_19515`
1113×	`*-un-lft-identity_binary64_18151`
1103×	`times-frac_binary64_16452`
1100×	`*-un-lft-identity_binary64_13377`
1097×	`add-cube-cbrt_binary64_13412` `*-un-lft-identity_binary64_16446`
1056×	`add-cube-cbrt_binary64_12389`
1051×	`add-cube-cbrt_binary64_19550`
1044×	`*-un-lft-identity_binary64_17469`
1041×	`add-sqr-sqrt_binary64_17491`
1015×	`*-un-lft-identity_binary64_3488`
993×	`*-un-lft-identity_binary64_13036`
964×	`add-sqr-sqrt_binary64_13058`
963×	`times-frac_binary64_13042`
954×	`add-sqr-sqrt_binary64_12035`
950×	`times-frac_binary64_16111`
945×	`*-un-lft-identity_binary64_12013`
930×	`times-frac_binary64_23272`
927×	`add-sqr-sqrt_binary64_3510`
917×	`add-sqr-sqrt_binary64_9989`
896×	`add-sqr-sqrt_binary64_16127`
892×	`times-frac_binary64_3494`
887×	`times-frac_binary64_10314`
882×	`*-un-lft-identity_binary64_12695`
867×	`add-sqr-sqrt_binary64_18173`
831×	`times-frac_binary64_14406`
807×	`*-un-lft-identity_binary64_19174`
781×	`*-un-lft-identity_binary64_9967`
780×	`times-frac_binary64_19180`
778×	`*-un-lft-identity_binary64_23266`
777×	`add-sqr-sqrt_binary64_14422`
773×	`add-cube-cbrt_binary64_10002`
772×	`sqrt-prod_binary64_12711`
755×	`add-sqr-sqrt_binary64_15786`
750×	`times-frac_binary64`
746×	`add-cube-cbrt_binary64_6933`
745×	`add-cube-cbrt_binary64_12048`
721×	`*-un-lft-identity_binary64_14400` `add-cube-cbrt_binary64_20573`
710×	`*-un-lft-identity_binary64_21902`
700×	`times-frac_binary64_22931`
691×	`add-sqr-sqrt_binary64_11012`
684×	`add-sqr-sqrt_binary64_10330`
671×	`add-sqr-sqrt_binary64_20901`
653×	`*-un-lft-identity_binary64_15764`
651×	`*-un-lft-identity_binary64_10308`
642×	`add-cube-cbrt_binary64_18186`
627×	`*-un-lft-identity_binary64`
624×	`times-frac_binary64_12701`
622×	`*-un-lft-identity_binary64_419`
617×	`*-un-lft-identity_binary64_20879`
614×	`*-un-lft-identity_binary64_14059` `add-sqr-sqrt_binary64_19196`
613×	`add-cube-cbrt_binary64_17504`
611×	`*-un-lft-identity_binary64_13718`
610×	`times-frac_binary64_15770`
597×	`add-sqr-sqrt_binary64_21924`
592×	`*-un-lft-identity_binary64_10649`
582×	`add-cube-cbrt_binary64_10343`
578×	`*-un-lft-identity_binary64_10990`
571×	`add-sqr-sqrt_binary64_10671`
566×	`*-un-lft-identity_binary64_16787`
564×	`sqrt-prod_binary64_18508`
560×	`add-sqr-sqrt_binary64_16809`
548×	`*-un-lft-identity_binary64_11672`
521×	`add-sqr-sqrt_binary64_17832`
519×	`times-frac_binary64_20885`
516×	`add-sqr-sqrt_binary64_14763`
508×	`times-frac_binary64_11678`
505×	`add-cube-cbrt_binary64_13071`
503×	`add-cube-cbrt_binary64_19209`
502×	`add-sqr-sqrt_binary64_13740`
501×	`add-cube-cbrt_binary64_16481`
500×	`*-un-lft-identity_binary64_22925`
497×	`add-cube-cbrt_binary64_16140`
493×	`add-sqr-sqrt_binary64_22606`
490×	`times-frac_binary64_3153`
484×	`times-frac_binary64_21908`
478×	`add-exp-log_binary64_12392`
472×	`add-sqr-sqrt_binary64_3169`
466×	`add-sqr-sqrt_binary64_14081`
463×	`add-sqr-sqrt_binary64_15104`
462×	`add-sqr-sqrt_binary64_441`
458×	`times-frac_binary64_14065`
457×	`add-sqr-sqrt_binary64_9648`
455×	`add-sqr-sqrt_binary64_11694`
451×	`*-un-lft-identity_binary64_14741`
446×	`*-un-lft-identity_binary64_17810`
444×	`cbrt-prod_binary64_450`
441×	`add-cube-cbrt_binary64_14435`
437×	`associate-r_binary64_12294`
436×	`cbrt-prod_binary64_13408`
432×	`sqrt-prod_binary64_11347`
429×	`times-frac_binary64_10996`
427×	`sqrt-prod_binary64`
424×	`times-frac_binary64_17816`
418×	`add-sqr-sqrt_binary64_23288` `add-exp-log_binary64_10005`
417×	`*-un-lft-identity_binary64_15082`
414×	`add-cube-cbrt_binary64_23301`
413×	`*-un-lft-identity_binary64_9626`
412×	`times-frac_binary64_16793`
410×	`times-frac_binary64_13724`
408×	`add-sqr-sqrt_binary64` `add-sqr-sqrt_binary64_21242` `times-frac_binary64_14747` `times-frac_binary64_22590`
399×	`add-cube-cbrt_binary64_11707`
397×	`*-un-lft-identity_binary64_3147` `add-cube-cbrt_binary64`
393×	`add-cube-cbrt_binary64_20914`
391×	`add-exp-log_binary64_11028` `*-un-lft-identity_binary64_21220`
390×	`associate-r_binary64_19455`
387×	`cbrt-prod_binary64_13067`
386×	`add-cube-cbrt_binary64_3523`
384×	`add-cube-cbrt_binary64_15799`
382×	`add-sqr-sqrt_binary64_22947`
378×	`add-sqr-sqrt_binary64_12717`
371×	`add-cube-cbrt_binary64_3182`
370×	`add-cube-cbrt_binary64_22960`
369×	`*-un-lft-identity_binary64_22584`
364×	`add-exp-log_binary64_19212` `times-frac_binary64_10655`
358×	`associate-/r*_binary64_13321`
349×	`add-cube-cbrt_binary64_11025`
345×	`sqrt-prod_binary64_9983`
342×	`difference-of-squares_binary64_16415`
337×	`times-frac_binary64_9632`
333×	`add-cbrt-cube_binary64_19210`
332×	`add-cube-cbrt_binary64_12730`
329×	`add-sqr-sqrt_binary64_1123`
321×	`add-cube-cbrt_binary64_10684`
317×	`add-cube-cbrt_binary64_13753`
316×	`add-exp-log_binary64_20235`
314×	`add-cube-cbrt_binary64_17845`
312×	`add-exp-log_binary64_19553`
311×	`distribute-lft-out_binary64_12646`
307×	`add-exp-log_binary64_13074`
305×	`times-frac_binary64_15088`
303×	`*-un-lft-identity_binary64_1101`
301×	`add-cbrt-cube_binary64_12390`
299×	`add-sqr-sqrt_binary64_5897`
298×	`associate-l_binary64_3429`
292×	`add-cube-cbrt_binary64_16822`
291×	`add-cube-cbrt_binary64_9661`
285×	`times-frac_binary64_21226` `distribute-lft-out--_binary64_3440`
284×	`pow1_binary64_14120`
279×	`add-exp-log_binary64_18871`
276×	`add-sqr-sqrt_binary64_15445`
275×	`add-sqr-sqrt_binary64_100`
274×	`add-cube-cbrt_binary64_14094` `distribute-lft-out--_binary64_20490` `times-frac_binary64_2812`
270×	`distribute-lft-out_binary64_12305` `add-cube-cbrt_binary64_22619`
267×	`add-cbrt-cube_binary64_18869` `difference-of-squares_binary64_20507` `*-un-lft-identity_binary64_78`
266×	`*-un-lft-identity_binary64_1442`
262×	`times-frac_binary64_425` `add-cube-cbrt_binary64_21255`
261×	`pow1_binary64_5936` `add-exp-log_binary64_9323`
258×	`*-un-lft-identity_binary64_5875`
256×	`add-exp-log_binary64_13415`
255×	`add-exp-log_binary64_18530` `distribute-lft-out--_binary64_16057` `associate-r_binary64_14340`
252×	`add-cbrt-cube_binary64_19551`
251×	`add-exp-log_binary64_3185` `add-cube-cbrt_binary64_21937`
250×	`add-sqr-sqrt_binary64_1805`
249×	`add-exp-log_binary64_16143`
245×	`times-frac_binary64_18839`
244×	`add-cbrt-cube_binary64_11026` `add-sqr-sqrt_binary64_1464` `add-cbrt-cube_binary64_10003`
243×	`cbrt-prod_binary64_3519`
242×	`associate-r_binary64_15704` `times-frac_binary64_22249`
241×	`sqrt-prod_binary64_22600` `add-exp-log_binary64_15802` `associate-/r*_binary64_11275`
240×	`times-frac_binary64_1789`
238×	`associate-r_binary64_12976`
237×	`add-cube-cbrt_binary64_15117`
236×	`distribute-lft-out--_binary64_6850` `difference-of-squares_binary64_6867`
235×	`add-cube-cbrt_binary64_454`
234×	`add-sqr-sqrt_binary64_2828` `add-sqr-sqrt_binary64_8966` `add-sqr-sqrt_binary64_2146`
233×	`*-un-lft-identity_binary64_20197`
230×	`cbrt-div_binary64_7953`
229×	`difference-of-squares_binary64_3457` `add-cbrt-cube_binary64_20233`
228×	`add-sqr-sqrt_binary64_20219` `cbrt-prod_binary64_12044`
227×	`difference-of-squares_binary64_17438` `*-un-lft-identity_binary64_15423`
226×	`*-un-lft-identity_binary64_2806` `add-cbrt-cube_binary64_13072` `add-exp-log_binary64_9664`
225×	`add-exp-log_binary64_16484`
224×	`distribute-lft-out--_binary64_12988` `add-sqr-sqrt_binary64_4874`
222×	`add-sqr-sqrt_binary64_2487`
221×	`associate-r_binary64_9907` `cbrt-prod_binary64_20569` `add-cube-cbrt_binary64_2841`
220×	`*-un-lft-identity_binary64_8944` `add-cbrt-cube_binary64_16141`
218×	`*-un-lft-identity_binary64_2465` `distribute-lft-out_binary64_23217`
217×	`-un-lft-identity_binary64_4852` `associate-l*_binary64_19456`
214×	`add-sqr-sqrt_binary64_22265`
213×	`add-cbrt-cube_binary64_15800`
212×	`sqrt-prod_binary64_13734` `add-sqr-sqrt_binary64_18855`
210×	`pow1_binary64_20258`
209×	`add-exp-log_binary64_11369`
208×	`unpow-prod-down_binary64_11751` `add-exp-log_binary64_10346` `*-un-lft-identity_binary64_22243`
206×	`associate-l_binary64_12295` `add-cube-cbrt_binary64_1136`
205×	`add-exp-log_binary64_16825`
204×	`add-cube-cbrt_binary64_5910`
203×	`sqrt-prod_binary64_1117` `times-frac_binary64_1107`
202×	`associate-/r*_binary64_11957` `add-exp-log_binary64_8982`
199×	`cancel-sign-sub-inv_binary64_10615` `-un-lft-identity_binary64_1783` `-un-lft-identity_binary64_9285`
198×	`*-un-lft-identity_binary64_2124`
197×	`add-cbrt-cube_binary64_9321`
196×	`*-un-lft-identity_binary64_18833` `add-cube-cbrt_binary64_18868`
195×	`distribute-lft-out--_binary64_16398` `add-cube-cbrt_binary64_1818` `add-sqr-sqrt_binary64_9307`
194×	`cancel-sign-sub-inv_binary64_11297` `associate-/r*_binary64_6842`
193×	`add-sqr-sqrt_binary64_7943`
191×	`add-sqr-sqrt_binary64_6238`
190×	`associate-*l/_binary64_7864` `add-cbrt-cube_binary64_13413`
187×	`add-cube-cbrt_binary64_113`
185×	`pow1_binary64_9005` `cancel-sign-sub-inv_binary64_5841` `add-cbrt-cube_binary64_10344`
184×	`difference-of-squares_binary64_13005` `add-exp-log_binary64_14438`
183×	`add-cube-cbrt_binary64_20232`
181×	`times-frac_binary64_84` `*-un-lft-identity_binary64_7921`
180×	`frac-times_binary64_7931` `add-exp-log_binary64_20917`
177×	`add-exp-log_binary64_14097` `associate-/l*_binary64_18437`
176×	`add-cube-cbrt_binary64_22278` `add-cube-cbrt_binary64_14776`
175×	`difference-of-squares_binary64_16074` `distribute-lft-out--_binary64_21854` `associate-r_binary64_3428`
174×	`pow1_binary64_9687`
173×	`add-cube-cbrt_binary64_8979` `prod-exp_binary64_20246` `div-exp_binary64_12405`
172×	`add-sqr-sqrt_binary64_17150` `pow1_binary64_19576`
171×	`add-exp-log_binary64_6936` `cancel-sign-sub-inv_binary64_16071` `flip3--_binary64_7925` `flip--_binary64_7896`
170×	`pow1_binary64_7982`
169×	`div-exp_binary64_10018`
168×	`add-sqr-sqrt_binary64_4192`
167×	`add-cube-cbrt_binary64_2159` `add-cbrt-cube_binary64_16482`
165×	`add-cbrt-cube_binary64_16823` `add-sqr-sqrt_binary64_3851`
164×	`distribute-lft-out--_binary64_17421` `associate-l_binary64_10931`
162×	`cbrt-prod_binary64_3860` `add-exp-log_binary64_21258`
161×	`add-exp-log_binary64_12051`
160×	`cbrt-prod_binary64_21251` `add-exp-log_binary64_11710`
158×	`add-sqr-sqrt_binary64_5215` `add-cbrt-cube_binary64_8980`
157×	`cbrt-prod_binary64_12385` `add-cbrt-cube_binary64_14436`
156×	`add-cbrt-cube_binary64_9662` `associate-/r*_binary64_20482` `add-exp-log_binary64_18189`
155×	`add-cbrt-cube_binary64_12049` `cbrt-div_binary64_16819` `associate-r_binary64_3087`
154×	`add-cbrt-cube_binary64_18528` `pow1_binary64_17189` `cbrt-div_binary64_3520`
153×	`div-inv_binary64_18489` `*-un-lft-identity_binary64_17128`
152×	`add-cbrt-cube_binary64_3183` `add-cbrt-cube_binary64_11367`
151×	`add-exp-log_binary64_17507` `pow1_binary64_16848` `add-cube-cbrt_binary64_1477`
150×	`distribute-lft-out_binary64_18102` `add-exp-log_binary64_3526` `distribute-lft-out_binary64_19125` `pow1_binary64_480`
148×	`times-frac_binary64_9291` `add-cube-cbrt_binary64_2500`
147×	`difference-of-squares_binary64_21871`
145×	`pow1_binary64_16166`
144×	`associate-r_binary64_16727` `associate-l_binary64_12977` `*-un-lft-identity_binary64_6216` `add-exp-log_binary64_1139`
143×	`*-un-lft-identity_binary64_3829`
142×	`associate-r_binary64_16045` `cbrt-prod_binary64_16818`
141×	`prod-exp_binary64_11039` `associate-/r_binary64_19118` `cbrt-div_binary64_14091` `associate-r*_binary64_15363`
140×	`add-exp-log_binary64_7959` `add-cube-cbrt_binary64_9320` `distribute-lft-out_binary64_16056`
139×	`add-sqr-sqrt_binary64_21583` `add-exp-log_binary64_10687` `add-exp-log_binary64_17848` `-un-lft-identity_binary64_21561` `associate-r/_binary64_9568`
138×	`prod-exp_binary64_12403` `difference-of-squares_binary64_14369` `distribute-lft-out--_binary64_14352`
137×	`associate-/r_binary64_10252` `times-frac_binary64_20203` `associate-r_binary64_19114` `add-cbrt-cube_binary64_17505` `associate-r*_binary64_20819`
136×	`distribute-rgt-in_binary64_10599` `cbrt-prod_binary64_5224` `distribute-lft-in_binary64_10598` `difference-of-squares_binary64_10959`
134×	`add-exp-log_binary64_14779` `add-cbrt-cube_binary64_20915` `*-un-lft-identity_binary64_5193` `cbrt-prod_binary64_109`
133×	`add-cbrt-cube_binary64_6934`
132×	`add-cbrt-cube_binary64_14095` `pow-prod-down_binary64_14130` `associate-l_binary64_15705` `difference-of-squares_binary64_14710`
131×	`cancel-sign-sub-inv_binary64_17776` `cbrt-prod_binary64_2496`
130×	`associate-/r/_binary64_18438` `log-prod_binary64_10394` `unswap-sqr_binary64_19483` `distribute-lft-out--_binary64_15716`
129×	`sqrt-prod_binary64_2140` `times-frac_binary64_4858` `associate-/r*_binary64_16390`
128×	`add-cbrt-cube_binary64_15118` `pow1_binary64_11051` `add-exp-log_binary64_15120` `pow1_binary64_13779` `difference-of-squares_binary64_15733` `cbrt-unprod_binary64_20230`
127×	`associate-r_binary64_9566` `add-exp-log_binary64_21940` `associate-r_binary64_21842`
126×	`add-cube-cbrt_binary64_6251` `-un-lft-identity_binary64_7239` `associate-r*_binary64_10930`
125×	`pow1_binary64_19235` `add-cbrt-cube_binary64_18187` `add-sqr-sqrt_binary64_4533` `add-exp-log_binary64_13756` `pow1_binary64_18894`
124×	`add-cube-cbrt_binary64_15458` `unpow-prod-down_binary64_12092`
123×	`add-cbrt-cube_binary64_7957` `pow1_binary64_10710` `add-cbrt-cube_binary64_10685` `times-frac_binary64_15429`
122×	`add-exp-log_binary64_22281` `*-un-lft-identity_binary64_4170` `pow1_binary64_10028`
121×	`div-inv_binary64_12351` `log-pow_binary64_11761` `add-sqr-sqrt_binary64_6579`
120×	`sqrt-prod_binary64_21918` `flip3--_binary64_15086` `flip--_binary64_15057` `add-cbrt-cube_binary64_11708`
119×	`pow1_binary64_20940` `add-log-exp_binary64_10688`
118×	`difference-of-squares_binary64_388` `times-frac_binary64_5881` `distribute-rgt-in_binary64_5825` `distribute-lft-in_binary64_5824` `pow1_binary64_13438` `add-cbrt-cube_binary64_3524` `associate-r_binary64_10589` `add-cbrt-cube_binary64_17846`
117×	`add-exp-log_binary64_15461` `flip3--_binary64_3492` `flip--_binary64_3463` `log-prod_binary64_10735`
116×	`pow1_binary64_1162` `associate-r_binary64_17750` `associate-r_binary64_2064` `div-exp_binary64_18543` `prod-exp_binary64_10016` `associate-r_binary64_15022`
115×	`distribute-lft-out_binary64` `add-cbrt-cube_binary64_21256` `add-exp-log_binary64_6595` `pow1_binary64_5595`
114×	`add-cube-cbrt_binary64_7956` `pow-prod-down_binary64_5946` `add-cbrt-cube_binary64_14777` `add-log-exp_binary64_10347` `distribute-lft-out--_binary64_14693` `pow1_binary64_14461` `associate-/r/_binary64_3434`
113×	`add-cbrt-cube_binary64_13754` `pow1_binary64_12415`
112×	`add-cube-cbrt_binary64_4205`
111×	`prod-exp_binary64_19223` `pow1_binary64_11733`
110×	`add-cube-cbrt_binary64_5228` `exp-prod_binary64_11724` `log-prod_binary64_846` `add-exp-log_binary64_20576`
109×	`distribute-lft-out_binary64_13669` `cbrt-unprod_binary64_19207` `distribute-lft-out--_binary64_20831` `cbrt-prod_binary64_16136` `sqrt-div_binary64_9984`
108×	`times-frac_binary64_2471` `cube-prod_binary64_12041` `add-cbrt-cube_binary64_1137`
107×	`difference-of-squares_binary64_10618` `add-cbrt-cube_binary64_22279` `associate-/r_binary64_18095` `difference-of-squares_binary64_20848` `associate-r*_binary64_16386`
106×	`associate-/r/_binary64_6844` `add-exp-log_binary64_17166` `add-cube-cbrt_binary64_17163` `times-frac_binary64_1448` `pow1_binary64_15143`
105×	`cbrt-unprod_binary64_12387` `associate-r_binary64_20137` `sqrt-prod_binary64_1458`
104×	`times-frac_binary64_8950` `difference-of-squares_binary64_16756` `add-sqr-sqrt_binary64_7602` `add-log-exp_binary64_21259`
103×	`prod-exp_binary64_13085` `prod-exp_binary64_19564` `pow-prod-down_binary64_20268`
102×	`div-inv_binary64_11328` `associate-/r_binary64_18436` `div-exp_binary64_11041` `associate-/l_binary64_9912` `pow1_binary64_2185` `associate-r_binary64_22524` `prod-exp_binary64_9675` `cbrt-prod_binary64_4542` `add-sqr-sqrt_binary64_782`
101×	`distribute-lft-in_binary64_10257` `distribute-rgt-in_binary64_10258` `prod-exp_binary64_18882` `associate-/l_binary64_11617` `associate-r*_binary64_8884` `add-exp-log_binary64_5572` `frac-times_binary64_16797`
100×	`add-cube-cbrt_binary64_4887` `frac-times_binary64_14069` `associate-/r_binary64_16049` `associate-r*_binary64_18432` `add-exp-log_binary64_2162`
99×	`add-sqr-sqrt_binary64_5556` `add-cube-cbrt_binary64_3864` `div-exp_binary64_19225` `associate-l_binary64_16728` `cbrt-unprod_binary64_9659` `frac-sub_binary64_9635` `cbrt-unprod_binary64_18866`
98×	`associate-/r*_binary64_17413` `cbrt-undiv_binary64_12388` `difference-of-squares_binary64_18120` `add-sqr-sqrt_binary64_8284` `associate-/r/_binary64_20484` `associate--r+_binary64_11267` `pow1_binary64_3208`
97×	`pow1_binary64_4231` `add-exp-log_binary64_457` `prod-exp_binary64_9334` `flip3-+_binary64_17131` `cbrt-prod_binary64_15795` `flip-+_binary64_17102`
96×	`cbrt-prod_binary64_6247` `add-cbrt-cube_binary64_21938` `add-exp-log_binary64_5913` `pow1_binary64_15825` `cbrt-prod_binary64_1473` `pow1_binary64_21622`
95×	`associate-l_binary64_9567` `associate-l_binary64_15023` `associate-l_binary64_360` `cancel-sign-sub-inv_binary64_10956`
94×	`associate-/r_binary64_13662` `add-cbrt-cube_binary64_5911` `pow1_binary64_21281` `associate-/r/_binary64_23212` `add-log-exp_binary64_17167` `associate-/r/_binary64_9913` `sqrt-prod_binary64_17144` `associate-r*_binary64_17409` `add-cbrt-cube_binary64_17164` `add-cbrt-cube_binary64_15459` `add-cbrt-cube_binary64_2160` `cbrt-prod_binary64_20910` `cbrt-undiv_binary64_19208`
93×	`associate-/r/_binary64_12300` `add-exp-log_binary64_21599` `distribute-lft-out--_binary64_16739` `difference-of-squares_binary64_13687` `div-inv_binary64_9964` `cbrt-prod_binary64_16477`
92×	`cbrt-div_binary64_18524` `flip3-+_binary64_12357` `associate-l_binary64_9908` `cancel-sign-sub-inv_binary64_15048` `add-cbrt-cube_binary64_5570` `add-cbrt-cube_binary64_20574` `associate-r_binary64_10248` `flip-+_binary64_12328` `-un-lft-identity_binary64_6557` `pow1_binary64_5254` `-un-lft-identity_binary64_8262`
91×	`associate-r_binary64_1382` `associate-r_binary64_14681` `pow-prod-down_binary64_9697` `cbrt-prod_binary64_10680` `add-sqr-sqrt_binary64_7261`
90×	`frac-times_binary64_12364` `pow1_binary64_15484` `frac-sub_binary64_11340` `associate-*r/_binary64_7863` `pow1_binary64_13097` `distribute-lft-out--_binary64_15034` `associate-/r/_binary64_16733`
89×	`cbrt-unprod_binary64_19548` `add-exp-log_binary64_4208` `associate-r_binary64_359` `add-cbrt-cube_binary64_455`
88×	`-un-lft-identity_binary64_760` `pow1_binary64_10369` `div-inv_binary64_13374` `pow1_binary64_16507` `associate-r_binary64_11271` `difference-of-squares_binary64_15051` `associate-r*_binary64_7861` `cbrt-div_binary64_21593`
87×	`associate-l_binary64_20820` `associate-r_binary64_1041` `log-prod_binary64_12440` `prod-exp_binary64_16154`
86×	`pow1_binary64_6959` `-un-lft-identity_binary64_4511` `associate-/l_binary64_12299` `div-exp_binary64_3198` `associate-/r*_binary64_9911` `add-cube-cbrt_binary64_4546` `sqrt-prod_binary64_16803`
85×	`flip3--_binary64_16791` `add-log-exp_binary64_16826` `associate-r_binary64_9225` `distribute-lft-out_binary64_1393` `pow1_binary64_17871` `add-exp-log_binary64_22963` `flip--_binary64_16762` `distribute-lft-out--_binary64_14011` `pow1_binary64_6277`
84×	`associate-l_binary64_20138` `add-exp-log_binary64_6254` `associate-*l/_binary64_9910` `distribute-lft-out--_binary64_18103` `cancel-sign-sub-inv_binary64_13684` `prod-exp_binary64_8993` `cancel-sign-sub-inv_binary64_9592` `pow1_binary64_3890`
82×	`distribute-lft-out--_binary64_10942` `div-exp_binary64_13087` `flip--_binary64_14034` `distribute-lft-out--_binary64_10601` `*-un-lft-identity_binary64_7580` `distribute-lft-out_binary64_21853` `flip3--_binary64_14063` `cbrt-unprod_binary64_8977`
81×	`associate-l/_binary64_9569` `associate-r_binary64_13317` `cbrt-unprod_binary64_16138` `div-exp_binary64_9336` `-un-lft-identity_binary64_5534` `log-prod_binary64_11076` `associate-/r*_binary64_12980` `add-exp-log_binary64_23304` `div-exp_binary64_11382`
80×	`pow1_binary64_18212` `sqrt-pow1_binary64_5893` `flip--_binary64_20513` `div-exp_binary64_19566` `pow-prod-down_binary64_9015` `associate-l_binary64_7862` `flip3--_binary64_20542`
79×	`add-exp-log_binary64_1821` `cbrt-prod_binary64_3178` `distribute-lft-out_binary64_14010`
78×	`exp-prod_binary64_2858` `associate-/r_binary64_20823` `prod-exp_binary64_13426` `add-cbrt-cube_binary64_6593` `log-prod_binary64_20965` `add-log-exp_binary64_11029` `cbrt-prod_binary64_17500` `unpow-prod-down_binary64_9705` `distribute-rgt-in_binary64_15032` `distribute-lft-out_binary64_370` `distribute-lft-in_binary64_15031` `associate-r_binary64_6497` `add-cube-cbrt_binary64_21596` `add-cbrt-cube_binary64_21597` `associate-l*_binary64_16046`
77×	`associate-/r*_binary64_12298` `distribute-rgt-in_binary64_710` `add-log-exp_binary64_16144` `add-cube-cbrt_binary64_6592` `distribute-lft-in_binary64_709` `add-exp-log_binary64_22622`
76×	`associate-r/_binary64_16729` `cbrt-undiv_binary64_10001` `associate-/l_binary64_11276` `add-exp-log_binary64_12733` `associate-l_binary64_9226` `add-log-exp_binary64_17849` `add-log-exp_binary64_13757` `pow1_binary64_21963`
75×	`associate-/r/_binary64_18097` `flip-+_binary64_9941` `add-cbrt-cube_binary64_22961` `cbrt-unprod_binary64_11023` `cbrt-prod_binary64_2155` `flip3-+_binary64_9970` `add-cube-cbrt_binary64_5569` `pow1_binary64_12756` `add-log-exp_binary64_20918` `associate-r_binary64_5815` `add-cbrt-cube_binary64_22620`
74×	`add-sqr-sqrt_binary64_19878` `pow1_binary64_20599` `pow1_binary64_17530` `div-exp_binary64_16497` `frac-times_binary64_3498` `pow1_binary64_18553` `cbrt-prod_binary64_7952`
73×	`pow-prod-down_binary64_19586` `associate-/l_binary64_19460` `distribute-lft-out--_binary64_371` `cbrt-prod_binary64_5906` `associate-l*_binary64_17410` `associate-/r/_binary64_16392` `pow1_binary64_1503` `times-frac_binary64_6222` `add-cbrt-cube_binary64_4206`
72×	`flip3--_binary64_423` `difference-of-squares_binary64_22553` `swap-sqr_binary64_386` `flip--_binary64_394` `associate-/r_binary64_21846` `associate-/r_binary64_14344` `sqrt-prod_binary64_10324` `associate-l_binary64_21843` `pow-prod-down_binary64_7992`
71×	`flip3--_binary64_18496` `add-exp-log_binary64_4549` `div-exp_binary64_13428` `flip--_binary64_18467` `pow1_binary64_7300` `log-prod_binary64_11758` `add-exp-log_binary64_116`
70×	`add-log-exp_binary64_14098` `cbrt-prod_binary64_14431` `pow1_binary64_4572` `flip3--_binary64_21224` `flip--_binary64_21195` `add-log-exp_binary64_11711` `pow1_binary64_3549` `pow1_binary64_12074` `cbrt-div_binary64_3861` `associate-/r_binary64_22869` `associate-l*_binary64_10590` `log-pow_binary64_2895` `add-exp-log_binary64_1480`
69×	`associate-r_binary64_13999` `add-cube-cbrt_binary64_795` `tanh-def-a_binary64_9813` `tanh-def-c_binary64_9815` `prod-exp_binary64_15813` `div-inv_binary64_12010` `cbrt-prod_binary64_11703` `associate-l_binary64_19115` `tanh-def-b_binary64_9814`
68×	`prod-exp_binary64_16836` `distribute-lft-out_binary64_11964` `cbrt-div_binary64_17160` `associate-/l_binary64_16391` `difference-of-squares_binary64_14028` `associate-l_binary64_20479` `add-log-exp_binary64_8983` `pow1_binary64_139` `times-frac_binary64_7245` `associate-l*_binary64_15364`
67×	`associate-*l/_binary64_362` `pow1_binary64_11392` `unpow-prod-down_binary64_2203` `add-log-exp_binary64_12393` `unpow-prod-down_binary64_21299` `add-exp-log_binary64_5231` `cbrt-prod_binary64_15454` `cbrt-unprod_binary64_13069` `cube-prod_binary64_21248` `add-cbrt-cube_binary64_1819` `add-log-exp_binary64_458` `pow1_binary64_14802` `add-cube-cbrt_binary64_7274`
66×	`associate-/l_binary64_19119` `difference-of-squares_binary64_4821` `frac-times_binary64_15092` `associate-/l_binary64_11958` `add-cbrt-cube_binary64_6252` `flip--_binary64_6873` `associate-/r_binary64_10934` `cancel-sign-sub-inv_binary64_16753` `flip3--_binary64_6902` `associate-l_binary64_8885` `sqrt-pow1_binary64_14077` `cbrt-prod_binary64_14772` `associate-r_binary64_4110` `associate-l*_binary64_5816`
65×	`associate-r_binary64_21160` `add-log-exp_binary64_3868` `div-inv_binary64_18148` `associate-l_binary64_3088` `associate-/r*_binary64_14003` `distribute-lft-out_binary64_16397` `add-log-exp_binary64_18190` `distribute-lft-out_binary64_22876` `associate-/r/_binary64_14346` `add-exp-log_binary64_2844` `cbrt-unprod_binary64_9318` `add-log-exp_binary64_4209` `cbrt-prod_binary64_4201`
64×	`add-cbrt-cube_binary64_1478` `cbrt-unprod_binary64_16820` `cbrt-unprod_binary64_13410` `cbrt-prod_binary64_21592` `prod-exp_binary64_14108` `cbrt-unprod_binary64_14092` `distribute-lft-out_binary64_11623` `associate-r_binary64_18773`
63×	`sqrt-prod_binary64_5891` `associate-l_binary64_1042` `div-inv_binary64_14738` `cbrt-unprod_binary64_15797` `add-log-exp_binary64_18872` `add-log-exp_binary64_1481` `add-log-exp_binary64_16485` `prod-exp_binary64_3196` `associate-/l*_binary64_18096` `sqrt-prod_binary64_11006` `div-exp_binary64_10359`
62×	`log-prod_binary64_21306` `cbrt-prod_binary64_14090` `associate-/r_binary64_22528` `prod-exp_binary64_7970` `difference-of-squares_binary64_17779` `cbrt-unprod_binary64_7954` `associate-/r/_binary64_11959` `associate-r_binary64_11612` `associate-l*_binary64_14341` `add-log-exp_binary64_17508`
61×	`add-log-exp_binary64_9665` `add-log-exp_binary64_12052` `add-log-exp_binary64_22623` `sqrt-prod_binary64_20213` `associate-*l/_binary64_16730` `div-exp_binary64_15815`
60×	`cbrt-unprod_binary64_10000` `pow1_binary64_19917` `difference-of-squares_binary64_11982` `div-inv_binary64_19512` `distribute-lft-in_binary64_9575` `unswap-sqr_binary64_12322` `cbrt-prod_binary64_17841` `distribute-rgt-in_binary64_9576` `add-log-exp_binary64_5914` `flip3--_binary64_16450` `associate-*r/_binary64_13319` `cbrt-div_binary64_6589` `add-cbrt-cube_binary64_12731` `flip--_binary64_16421`
59×	`associate-l_binary64_22184` `div-inv_binary64_19171` `add-cbrt-cube_binary64_114` `div-inv_binary64_6895` `cbrt-undiv_binary64_13070` `add-log-exp_binary64_7960` `pow1_binary64_2526` `associate-/l*_binary64_6843` `div-inv_binary64_13033` `add-log-exp_binary64_3186` `add-log-exp_binary64_6255` `pow1_binary64_1844`
58×	`swap-sqr_binary64_13003` `cbrt-undiv_binary64_15798` `add-log-exp_binary64_19213` `associate-r/_binary64_21503` `add-cube-cbrt_binary64_7615` `add-log-exp_binary64_12734` `difference-of-squares_binary64_9595` `div-exp_binary64_18884` `associate-r_binary64_18091` `associate-r_binary64_20478` `cbrt-prod_binary64_19887` `associate-r/_binary64_18434`
57×	`sqrt-prod_binary64_6573` `associate-l_binary64_14000` `distribute-lft-out--_binary64_9578` `associate-l_binary64_4793` `add-cbrt-cube_binary64_5229` `cbrt-prod_binary64_18523` `associate-r/_binary64_15024` `associate-l*_binary64_16387` `add-log-exp_binary64_11370`
56×	`add-exp-log_binary64_7277` `associate-r/_binary64_17070` `cbrt-prod_binary64_19546` `associate-r_binary64_17068` `add-exp-log_binary64_3867` `div-inv_binary64_20535` `associate-/r_binary64_3091` `flip--_binary64_14375` `flip3--_binary64_14404` `cbrt-undiv_binary64_9319` `div-inv_binary64_17466` `pow-prod-down_binary64_16176` `add-log-exp_binary64_15803` `sqrt-pow1_binary64_1119` `pow1_binary64_6618` `add-log-exp_binary64_15462` `associate-/l_binary64_14345` `distribute-lft-out--_binary64_13670` `add-log-exp_binary64_1822` `associate-l*_binary64_10249`
55×	`add-cbrt-cube_binary64_2842` `add-log-exp_binary64_15121` `add-log-exp_binary64_19554` `-un-lft-identity_binary64_19856` `associate-l*_binary64_17751` `cbrt-undiv_binary64_11024` `add-exp-log_binary64_2503`
54×	`associate-l/_binary64_20481` `associate-+l+_binary64_693` `pow-prod-down_binary64_18904` `distribute-lft-out_binary64_14692` `sub-neg_binary64_15075` `log-prod_binary64_1869` `associate-l*_binary64_5134` `cbrt-undiv_binary64_13411` `sqrt-prod_binary64_3504`
53×	`prod-exp_binary64_6606` `distribute-rgt-in_binary64_13327` `distribute-lft-out_binary64_3439` `associate-/r_binary64_3432` `add-cbrt-cube_binary64_2501` `frac-times_binary64_11341` `cbrt-undiv_binary64_11365` `cbrt-undiv_binary64_18526` `distribute-lft-in_binary64_13326` `associate-/r_binary64_15708` `add-log-exp_binary64_2163` `associate-/r*_binary64_16731` `add-log-exp_binary64_117` `pow1/3_binary64_5275`
52×	`associate-/r_binary64_18777` `flip3--_binary64_18155` `cbrt-prod_binary64_19205` `associate-r_binary64_21501` `distribute-lft-in_binary64_11280` `add-cube-cbrt_binary64_19891` `distribute-rgt-in_binary64_11281` `cbrt-prod_binary64_8975` `pow-prod-down_binary64_16858` `associate-l/_binary64_12297` `exp-prod_binary64_14111` `associate-/r_binary64_23210` `associate-r_binary64_4451` `associate-r_binary64_5133` `flip--_binary64_18126` `unpow-prod-down_binary64_20276` `add-cube-cbrt_binary64_8297` `cancel-sign-sub-inv_binary64_11979` `associate-/r_binary64_19459`
51×	`flip3--_binary64_21565` `associate-l_binary64_21161` `div-exp_binary64_14451` `prod-exp_binary64_16495` `add-log-exp_binary64_20577` `associate-/r/_binary64_16051` `associate-/r_binary64_17754` `associate-/r_binary64_15026` `cbrt-undiv_binary64_18867` `associate-+l+_binary64_10241` `add-cbrt-cube_binary64_7275` `associate-/r*_binary64_22187` `flip--_binary64_21536`
50×	`sqrt-div_binary64_12712` `prod-exp_binary64_14449` `div-exp_binary64_6949` `sqrt-prod_binary64_11688` `add-log-exp_binary64_3527` `associate-r_binary64_13658` `add-log-exp_binary64_5232` `cancel-sign-sub-inv_binary64_8910` `associate-/r/_binary64_12982` `div-inv_binary64_10305` `cbrt-undiv_binary64_10342`
49×	`associate-/r_binary64` `distribute-lft-out--_binary64_15375` `swap-sqr_binary64_15731` `times-frac_binary64_2130` `associate-/r/_binary64_14005` `associate-r/_binary64_14001` `associate-/l*_binary64_12981` `difference-of-squares_binary64_21189` `add-log-exp_binary64_13416` `add-exp-log_binary64_19894`
48×	`distribute-lft-in_binary64_17759` `sqrt-prod_binary64_21236` `flip3--_binary64_15427` `add-log-exp_binary64_13075` `flip--_binary64_15398` `sqrt-prod_binary64_3845` `div-inv_binary64_23263` `cancel-sign-sub-inv_binary64_3454` `frac-times_binary64_17138` `pow-prod-down_binary64_5605` `flip-+_binary64_10964` `cube-prod_binary64_2493` `flip3-+_binary64_10993` `associate-*r/_binary64_10932` `pow1_binary64_22645` `unpow-prod-down_binary64_2544` `cancel-sign-sub-inv_binary64_20845` `distribute-rgt-in_binary64_17760` `cbrt-div_binary64_14773`
47×	`div-inv_binary64_22922` `pow1_binary64_9346` `div-exp_binary64_21271` `cbrt-undiv_binary64_19549` `div-exp_binary64_12064` `associate-/r*_binary64_1727` `add-log-exp_binary64_14780`
46×	`flip-+_binary64_18466` `frac-times_binary64_18502` `associate-r/_binary64_6499` `flip3--_binary64_11335` `add-log-exp_binary64_2504` `associate-/l_binary64_10253` `associate-/r_binary64_2750` `flip-+_binary64_17784` `associate-/l_binary64` `div-inv_binary64_16102` `pow1_binary64_22304` `flip3-+_binary64_17813` `associate-r_binary64_11953` `cbrt-undiv_binary64_14434` `associate-*r/_binary64_12296` `difference-of-squares_binary64_15392` `flip3-+_binary64_18495` `flip--_binary64_11306`
45×	`cbrt-prod_binary64_10339` `add-cbrt-cube_binary64_23302` `distribute-rgt-in_binary64_20829` `associate-/l_binary64_20483` `add-log-exp_binary64_20236` `associate-/l_binary64_21165` `cbrt-undiv_binary64_12047` `distribute-lft-in_binary64_20828` `associate-/l*_binary64_12640` `log-prod_binary64_2551` `cancel-sign-sub-inv_binary64_13343`
44×	`div-exp_binary64_18202` `add-sqr-sqrt_binary64_8625` `pow-prod-down_binary64_13448` `unswap-sqr_binary64_9935` `add-log-exp_binary64_23305` `associate-r/_binary64_10591` `prod-exp_binary64_3537` `cancel-sign-sub-inv_binary64_385` `prod-exp_binary64_5583` `associate-l_binary64_17069` `associate-r_binary64_6838` `unswap-sqr_binary64_15732` `div-exp_binary64_23317` `associate-l/_binary64_14002` `associate-/l*_binary64_16050` `swap-sqr_binary64_20505`
43×	`associate-l/_binary64_3431` `add-log-exp_binary64_14439` `associate-r/_binary64_11273` `associate-l_binary64_1383` `associate-/r/_binary64_21166` `distribute-lft-out_binary64_10600` `prod-exp_binary64_20928` `div-inv_binary64_16443` `associate-r/_binary64_14342` `flip3--_binary64_10653` `unpow-prod-down_binary64_3908` `cbrt-div_binary64_20570` `cbrt-unprod_binary64_5567` `flip--_binary64_10624` `associate-l*_binary64_22525`
42×	`cancel-sign-sub-inv_binary64_6182` `associate-l_binary64_14682` `cbrt-div_binary64_5907` `distribute-rgt-neg-in_binary64_11289` `distribute-lft-neg-in_binary64_11288` `associate-/r/_binary64_20825` `associate-l_binary64_13318` `associate-*r/_binary64_14683` `distribute-lft-in_binary64_11621` `add-cbrt-cube_binary64_4547` `prod-exp_binary64_14790` `times-frac_binary64_8268` `distribute-rgt-in_binary64_11622` `log-pow_binary64_11420`
41×	`pow-prod-down_binary64_490` `add-cbrt-cube_binary64_7616` `cbrt-prod_binary64_5565` `sqrt-pow1_binary64_17146` `cbrt-undiv_binary64_16480` `add-cbrt-cube_binary64_3865` `associate-r/_binary64_9909` `cbrt-prod_binary64_6929` `add-log-exp_binary64_5573` `associate-l_binary64_7180` `cbrt-unprod_binary64_15456` `associate-/r_binary64_9570` `associate-r/_binary64_3430` `associate-l*_binary64_13659` `cbrt-prod_binary64_2837` `pow-prod-down_binary64_17199` `cbrt-prod_binary64_1132` `pow1_binary64_821` `add-exp-log_binary64_7618` `prod-exp_binary64_15472`
40×	`sqrt-div_binary64_436` `associate-r/_binary64_13660` `prod-exp_binary64_10357` `cbrt-unprod_binary64_14433` `difference-of-squares_binary64_2434` `cube-prod_binary64_9654` `associate-l_binary64_4111` `add-log-exp_binary64_1140` `div-inv_binary64_15761` `cancel-sign-sub-inv_binary64_7887` `prod-exp_binary64_15131` `cbrt-unprod_binary64_15115` `associate-l*_binary64_2065` `sqrt-div_binary64_17145` `pow1_binary64_2867` `pow-prod-down_binary64_21632`
39×	`flip--_binary64_15739` `cbrt-unprod_binary64_21594` `pow1/3_binary64_4593` `cbrt-unprod_binary64_3180` `add-exp-log_binary64_798` `flip-+_binary64_3121` `prod-exp_binary64_21610` `associate-l_binary64_11613` `add-exp-log_binary64` `add-cbrt-cube_binary64` `pow1_binary64_8664` `associate-/l_binary64_10935` `flip3-+_binary64_3150` `sqrt-prod_binary64_17826` `associate-/r_binary64_21164` `cbrt-prod_binary64_791` `associate-l_binary64_6498` `flip3--_binary64_15768` `add-log-exp_binary64_6596` `exp-prod_binary64_11383` `associate-+r+_binary64_10581`
38×	`frac-times_binary64_21230` `associate-+r+_binary64_692` `difference-of-squares_binary64_1752` `pow-prod-down_binary64_19245` `div-exp_binary64_16156` `add-log-exp_binary64_6937` `add-log-exp_binary64_4550` `associate-/l*_binary64_23211` `cancel-sign-sub-inv_binary64_15389` `cbrt-unprod_binary64_3521` `add-log-exp_binary64_18531` `cancel-sign-sub-inv_binary64_16412` `cbrt-div_binary64_17842` `add-log-exp_binary64_10006` `sqrt-div_binary64` `add-cbrt-cube_binary64_19892`
37×	`pow-prod-down_binary64_15153` `add-log-exp_binary64_9324` `cbrt-div_binary64_451` `cbrt-unprod_binary64_17161` `associate-/r/_binary64_19120` `pow1_binary64_4913` `distribute-lft-out_binary64_21171` `cbrt-unprod_binary64_16479` `add-log-exp_binary64_21600` `associate-/l_binary64_13663` `associate-r/_binary64_15365` `flip-+_binary64_23240` `associate-*l/_binary64_15025` `unswap-sqr_binary64_10958` `flip3-+_binary64_23269` `add-cbrt-cube_binary64_796` `prod-exp_binary64_17177`
36×	`cbrt-unprod_binary64_10341` `add-log-exp_binary64_22964` `cbrt-div_binary64_4543` `pow1/3_binary64_501` `cbrt-div_binary64_7271` `cancel-sign-sub-inv_binary64_14366` `unpow-prod-down_binary64_498` `distribute-rgt-in_binary64_12304` `times-frac_binary64_7586` `flip-+_binary64_16761` `prod-exp_binary64_17518` `associate-l/_binary64_17071` `cbrt-unprod_binary64_14774` `flip-+_binary64_12669` `flip--_binary64_5850` `prod-exp_binary64_21951` `distribute-lft-in_binary64_12303` `swap-sqr_binary64_1068` `flip3-+_binary64_12698` `cbrt-div_binary64_10681` `flip3--_binary64_5879` `div-exp_binary64_11723` `associate-r/_binary64_5817` `frac-times_binary64_21571` `flip3-+_binary64_16790`
35×	`distribute-lft-out_binary64_16738` `pow-prod-down_binary64_14471` `associate-l_binary64_5475` `prod-exp_binary64_6947` `div-inv_binary64_3144` `flip3--_binary64_6561` `flip-+_binary64_10623` `prod-exp_binary64_18541` `add-log-exp_binary64_2845` `flip--_binary64_6532` `flip3-+_binary64_10652` `div-exp_binary64_1152` `distribute-lft-out--_binary64_30` `cbrt-undiv_binary64_16139` `pow1/2_binary64_1181` `div-inv_binary64_14397`
34×	`associate-/l_binary64_20824` `distribute-lft-out_binary64_17761` `add-exp-log_binary64_4890` `associate-/r_binary64_10593` `flip--_binary64_10283` `cbrt-undiv_binary64_3181` `add-exp-log_binary64_8641` `associate-r_binary64_12635` `associate-+r+_binary64_10240` `cancel-sign-sub-inv_binary64_20504` `sqrt-prod_binary64_4868` `add-log-exp_binary64_22282` `pow1/3_binary64_6298` `sqrt-prod_binary64_8278` `flip--_binary64_23241` `flip3--_binary64_10312` `div-exp_binary64_17520` `div-exp_binary64_16838` `unpow-prod-down_binary64_12433` `associate-/r/_binary64_10936` `associate-l/_binary64_10592` `flip3--_binary64_23270` `sqrt-div_binary64_17827` `associate-/l_binary64_16732` `pow1_binary64_8323` `cbrt-div_binary64_15455` `associate-l/_binary64_10933` `pow-prod-down_binary64_10038` `associate-l_binary64_6839` `associate-l_binary64_1724` `add-cbrt-cube_binary64_4888` `associate-r/_binary64_2407`
33×	`distribute-lft-out--_binary64_4804` `add-log-exp_binary64_7619` `flip--_binary64_13011` `unswap-sqr_binary64_13004` `unswap-sqr_binary64_3115` `sum-log_binary64_21311` `prod-exp_binary64_1150` `prod-exp_binary64_11380` `1-exp_binary64_10011` `associate-l_binary64_4452` `add-log-exp_binary64_799` `cbrt-prod_binary64_1814` `rec-exp_binary64_10017` `unswap-sqr_binary64_22552` `distribute-lft-out--_binary64_1053` `associate-/l_binary64_22870` `cbrt-undiv_binary64_6932` `cancel-sign-sub-inv_binary64_21186` `div-exp_binary64_22976` `associate-/r_binary64_14685` `associate-/l_binary64_3092` `div-exp_binary64_3539` `flip3--_binary64_13040` `prod-exp_binary64_22292` `div-inv_binary64_3485` `div-exp_binary64_22294` `cbrt-div_binary64_2497` `cbrt-unprod_binary64_20912` `associate-r*_binary64_1723`
32×	`div-exp_binary64_20930` `associate-/r/_binary64_11618` `cbrt-div_binary64_6248` `associate-/l_binary64_18778` `prod-exp_binary64_17859` `pow1_binary64_7641` `cbrt-undiv_binary64_17503` `associate-+r+_binary64_3420` `distribute-lft-in_binary64_3096` `associate-/l_binary64_14686` `distribute-rgt-in_binary64_3438` `distribute-lft-in_binary64_3437` `sqrt-pow1_binary64_14418` `associate-l_binary64_21502` `difference-of-squares_binary64_47` `pow-prod-down_binary64_13789` `pow-prod-down_binary64_15494` `sqrt-div_binary64_3846` `flip3--_binary64_13722` `associate-l_binary64_18774` `sqrt-pow1_binary64_437` `pow1/3_binary64_160` `flip--_binary64_13693` `distribute-rgt-in_binary64_3097` `div-inv_binary64_11669` `cancel-sign-sub-inv_binary64_44` `sqrt-pow1_binary64_13736`
31×	`sqrt-prod_binary64_7937` `prod-exp_binary64_10698` `frac-times_binary64_11000` `cbrt-prod_binary64_11362` `div-inv_binary64_18830` `pow1/3_binary64_4252` `sum-log_binary64_10740` `unswap-sqr_binary64_3456` `associate-/r/_binary64_17756` `associate-/r_binary64_11616` `swap-sqr_binary64_3796` `associate-/l_binary64_1046` `associate-/r/_binary64_13664` `swap-sqr_binary64_5160` `cbrt-unprod_binary64_18525` `associate-/l_binary64_17414` `associate-/l_binary64_15709` `flip--_binary64_16080` `flip3--_binary64_16109` `distribute-lft-out--_binary64_17762` `associate-/r/_binary64_15710` `associate-*l/_binary64_12979`
30×	`flip3-+_binary64_3832` `cbrt-undiv_binary64_16821` `cbrt-unprod_binary64_21935` `flip-+_binary64_14033` `log-prod_binary64_2210` `unswap-sqr_binary64_20847` `unpow-prod-down_binary64_3226` `distribute-lft-in_binary64_21169` `associate-/l_binary64_22529` `flip-+_binary64_3803` `flip--_binary64_21877` `cancel-sign-sub-inv_binary64_21527` `distribute-lft-out--_binary64_10260` `-un-lft-identity_binary64_8603` `cbrt-div_binary64_15796` `associate-/l_binary64_21847` `associate-l_binary64_18433` `flip3-+_binary64_1104` `pow1/3_binary64_1524` `flip-+_binary64_1075` `distribute-rgt-in_binary64_21170` `unswap-sqr_binary64_1069` `flip--_binary64_14716` `distribute-lft-out--_binary64_22536` `cancel-sign-sub-inv_binary64_22550` `cbrt-unprod_binary64_17502` `associate-r*_binary64_22865` `add-log-exp_binary64_21941` `div-exp_binary64_20589` `flip3--_binary64_14745` `cbrt-undiv_binary64_3522` `flip3-+_binary64_14062` `cube-prod_binary64_3175` `div-inv_binary64_16784` `flip3--_binary64_21906`
29×	`associate-r/_binary64_8886` `cancel-sign-sub-inv_binary64_18117` `distribute-rgt-in_binary64_1733` `flip3-+_binary64_22587` `distribute-lft-in_binary64_1732` `associate-r_binary64_5474` `distribute-lft-out_binary64_19466` `cbrt-unprod_binary64_5908` `flip-+_binary64_22558` `cancel-sign-sub-inv_binary64_10274` `associate-+l+_binary64_10582` `associate-l/_binary64_18435` `associate-/r_binary64_22` `cbrt-unprod_binary64_10682` `associate-r*_binary64_19796` `flip--_binary64_9601` `prod-exp_binary64_11721` `prod-exp_binary64_5924` `unswap-sqr_binary64_16755` `flip3--_binary64_9630` `flip3--_binary64_17473` `cbrt-undiv_binary64_18185` `flip--_binary64_17444`
28×	`div-inv_binary64_20876` `associate-r_binary64_6156` `associate-l/_binary64_703` `cbrt-unprod_binary64_22276` `flip--_binary64_3804` `cbrt-prod_binary64_8634` `associate-r/_binary64_21162` `cancel-sign-sub-inv_binary64_1408` `sub-neg_binary64_9619` `times-frac_binary64_4176` `associate-/r_binary64_1045` `sub-neg_binary64_15416` `associate-l_binary64_6157` `associate-/r/_binary64_12641` `div-inv_binary64_17807` `cbrt-unprod_binary64_2157` `div-inv_binary64_14056` `frac-times_binary64_6567` `add-cube-cbrt_binary64_8638` `prod-exp_binary64_2173` `pow1/3_binary64_3911` `associate-+r+_binary64_17742` `associate-/r_binary64_12639` `distribute-rgt-in_binary64_2074` `div-inv_binary64_10987` `distribute-lft-out--_binary64_11965` `unswap-sqr_binary64_19142` `sub-neg_binary64_5868` `associate-/l/_binary64_6504` `difference-of-squares_binary64_10277` `cancel-sign-sub-inv_binary64_22209` `pow-prod-down_binary64_11061` `distribute-lft-in_binary64_2073` `associate-*l/_binary64_23209` `flip3--_binary64_3833`
27×	`rec-exp_binary64_18542` `cbrt-unprod_binary64_6931` `pow-prod-down_binary64_2195` `associate-+r+_binary64_8876` `1-exp_binary64_12398` `1-exp_binary64_18536` `log-pow_binary64_14148` `div-exp_binary64_17861` `associate-l/_binary64_11274` `associate-/r_binary64_20141` `swap-sqr_binary64_17095` `pow1/3_binary64_2547` `pow1/3_binary64_20620` `associate-/l/_binary64_10937` `cube-prod_binary64_2152` `sqrt-prod_binary64_6232` `unswap-sqr_binary64_15391` `flip3-+_binary64_7924` `-commutative_binary64_20128` `div-exp_binary64_13769` `cbrt-unprod_binary64_6590` `pow1/3_binary64_5616` `associate-r_binary64_18` `associate-l*_binary64_18092` `flip-+_binary64_7895` `difference-of-squares_binary64_3798`
26×	`cbrt-unprod_binary64_17843` `pow1_binary64_22986` `flip3-+_binary64_12016` `cbrt-div_binary64_14432` `cube-prod_binary64_2834` `swap-sqr_binary64_6183` `associate-/r/_binary64_3093` `1-exp_binary64_3191` `distribute-lft-in_binary64_16054` `pow-prod-down_binary64_7310` `distribute-rgt-in_binary64_16055` `cancel-sign-sub-inv_binary64_4818` `rec-exp_binary64_3197` `frac-sub_binary64_428` `prod-exp_binary64_18200` `prod-exp_binary64_21269` `log-pow_binary64_10738` `associate-+r+_binary64_11604` `flip-+_binary64_11987` `associate-r/_binary64_21844` `sqrt-prod_binary64_4186` `difference-of-squares_binary64_7890` `pow-prod-down_binary64_21973` `unpow-prod-down_binary64_2885` `distribute-lft-out_binary64_9236` `-commutative_binary64_15013` `associate-+r+_binary64_10` `cancel-sign-sub-inv_binary64_17094` `associate-r_binary64_2405` `associate--l+_binary64_12291` `associate-*l/_binary64_21163`
25×	`add-log-exp_binary64_4891` `flip--_binary64_20854` `flip3--_binary64_7243` `associate-r/_binary64_16388` `pow1_binary64` `div-exp_binary64_14792` `flip3--_binary64_20883` `cbrt-div_binary64_17501` `add-log-exp_binary64_8301` `distribute-rgt-in_binary64_21511` `cancel-sign-sub-inv_binary64_2090` `cbrt-undiv_binary64_22959` `div-exp_binary64_21953` `prod-exp_binary64_4219` `unpow2_binary64_3894` `associate-/r/_binary64_22530` `associate-/r/_binary64_21848` `associate-l_binary64_3770` `cbrt-prod_binary64_11021` `flip-+_binary64_11646` `flip3-+_binary64_11675` `associate-/l/_binary64_16393` `unpow-prod-down_binary64_4590` `sqr-pow_binary64_3801` `cancel-sign-sub-inv_binary64_17435` `distribute-lft-in_binary64_21510` `pow1/2_binary64_17208` `associate-l_binary64_701` `distribute-lft-out_binary64_20148` `add-cbrt-cube_binary64_8639` `pow-prod-down_binary64_20950` `associate-r_binary64_3769` `distribute-rgt-in_binary64_8894` `cbrt-undiv_binary64_22277` `associate-/r/_binary64_10254` `distribute-lft-in_binary64_8893` `associate-/l_binary64_14004` `flip--_binary64_7214` `frac-times_binary64_14751` `pow-prod-down_binary64_13107` `add-log-exp_binary64_19895` `prod-exp_binary64_4560` `pow-prod-up_binary64_14129`
24×	`difference-of-sqr-1_binary64_22554` `distribute-lft-out--_binary64_19126` `pow1/3_binary64_19597` `cbrt-undiv_binary64_21254` `associate-l_binary64_19` `cbrt-undiv_binary64_17844` `pow1/2_binary64_5955` `distribute-rgt-in_binary64_17078` `flip-+_binary64_20853` `cbrt-unprod_binary64_11705` `associate-+r+_binary64_20811` `div-inv_binary64_22240` `distribute-lft-in_binary64_14349` `sqrt-pow1_binary64_20215` `pow-prod-down_binary64_3218` `cube-prod_binary64_22612` `unpow-prod-down_binary64_22663` `frac-times_binary64_3839` `associate-l_binary64_19797` `flip-+_binary64_4144` `pow-pow_binary64_20269` `associate-/r/_binary64_365` `difference-of-squares_binary64_19143` `pow-prod-up_binary64_5945` `flip3-+_binary64_4173` `swap-sqr_binary64_4137` `distribute-rgt-in_binary64_2415` `unswap-sqr_binary64_20165` `distribute-lft-out_binary64_6849` `unswap-sqr_binary64_15050` `unswap-sqr_binary64_5843` `distribute-lft-in_binary64_2414` `pow1/3_binary64_12436` `distribute-rgt-in_binary64_14350` `associate--l+_binary64_2061` `flip3-+_binary64_20882` `log-pow_binary64_21309` `unpow-prod-down_binary64_11410` `associate-/l_binary64_2751` `unswap-sqr_binary64_5161` `pow-prod-down_binary64_11743` `associate-r/_binary64_3089` `cbrt-unprod_binary64_18184` `distribute-lft-in_binary64_17077`
23×	`pow1/3_binary64_6980` `flip3-+_binary64` `frac-2neg_binary64_19185` `clear-num_binary64_19173` `div-inv_binary64_21217` `associate-r/_binary64_16047` `-commutative_binary64_19446` `associate-/r/_binary64_1047` `div-exp_binary64_14110` `distribute-lft-out_binary64_7190` `cancel-sign-sub-inv_binary64_21868` `div-inv_binary64_2803` `unswap-sqr_binary64_387` `flip--_binary64_17785` `clear-num_binary64_12012` `associate-/r_binary64_9229` `flip-+_binary64_16420` `associate-l_binary64_11954` `associate-l_binary64_2406` `add-exp-log_binary64_8300` `div-inv_binary64_13715` `associate-/l_binary64_3433` `div-inv_binary64_1098` `flip3-+_binary64_16449` `cbrt-prod_binary64_17159` `sub-neg_binary64_21895` `pow1/3_binary64_10731` `associate-r_binary64_700` `pow-prod-down_binary64_12425` `flip3--_binary64_17814` `sum-log_binary64_17219` `pow-prod-down_binary64_6969` `associate-/r_binary64_8888` `associate-/l_binary64_17755` `frac-2neg_binary64_12024` `-commutative_binary64_10921` `associate-r*_binary64_7179` `unswap-sqr_binary64_10617` `distribute-rgt-in_binary64_16737` `pow1/3_binary64_20961` `unswap-sqr_binary64_1410` `unswap-sqr_binary64_21870` `distribute-lft-in_binary64_16736` `flip-+_binary64`
22×	`unpow-prod-up_binary64_11068` `sum-log_binary64_10399` `unswap-sqr_binary64_17778` `add-log-exp_binary64_8642` `associate-/r/_binary64_1729` `associate-r/_binary64_15706` `associate-+r+_binary64_21152` `associate-r/_binary64_4453` `swap-sqr_binary64_4478` `unswap-sqr_binary64_11299` `add-cbrt-cube_binary64_8298` `pow1_binary64_23327` `distribute-lft-in_binary64_21851` `-commutative_binary64_8875` `associate-l/_binary64_15707` `difference-of-squares_binary64_21530` `distribute-lft-out--_binary64_2417` `pow1/3_binary64_14141` `difference-of-squares_binary64_7208` `sub-neg_binary64_10642` `unswap-sqr_binary64_9594` `distribute-rgt-in_binary64_21852` `associate-l_binary64_11272` `pow-prod-down_binary64_10720` `associate--l+_binary64_2402` `unswap-sqr_binary64_14368` `div-inv_binary64_9623` `exp-prod_binary64_20249` `difference-of-squares_binary64_7549` `swap-sqr_binary64_12321` `cbrt-undiv_binary64_14775`
21×	`cbrt-unprod_binary64_11364` `frac-times_binary64_15774` `distribute-rgt-in_binary64_369` `flip-+_binary64_4485` `cancel-sign-sub-inv_binary64_3113` `rec-exp_binary64_12404` `flip3-+_binary64_4514` `cbrt-unprod_binary64_1134` `cancel-sign-sub-inv_binary64_12661` `associate-/r/_binary64_10595` `pow-prod-down_binary64_16517` `unswap-sqr_binary64_9253` `flip-+_binary64_8918` `associate-+r+_binary64_17060` `flip3-+_binary64_8947` `sum-log_binary64_22675` `distribute-rgt-in_binary64_10940` `div-inv_binary64_10646` `distribute-lft-in_binary64_368` `sum-log_binary64_1874` `cbrt-prod_binary64_12726` `cbrt-prod_binary64_7270` `associate-l_binary64_12636` `associate-/l/_binary64_18098` `unswap-sqr_binary64_4479` `pow-prod-down_binary64_1172` `cancel-sign-sub-inv_binary64_13002` `rem-sqrt-square_binary64_1114` `unswap-sqr_binary64_8912` `flip3-+_binary64_22928` `associate-*r/_binary64_17411` `flip-+_binary64_22899` `associate-/r/_binary64_15028` `pow-prod-down_binary64_18222` `distribute-lft-out_binary64_1052` `cbrt-undiv_binary64_13752` `distribute-lft-in_binary64_10939` `cbrt-undiv_binary64_20572`
20×	`frac-times_binary64_9977` `flip-+_binary64_19148` `distribute-lft-out_binary64_17420` `pow1/3_binary64_19938` `associate-r/_binary64_17752` `associate--l+_binary64_1379` `associate-r/_binary64_7181` `cbrt-undiv_binary64_20913` `associate-l/_binary64_21504` `pow-prod-down_binary64_19927` `times-frac_binary64_21567` `div-exp_binary64_9677` `-commutative_binary64_7852` `distribute-lft-in_binary64_15372` `pow-prod-down_binary64_18563` `unswap-sqr_binary64_7889` `distribute-rgt-in_binary64_7871` `pow-prod-down_binary64_4241` `cancel-sign-sub-inv_binary64_11638` `cbrt-unprod_binary64_452` `prod-exp_binary64_468` `frac-times_binary64_6908` `flip-+_binary64_18125` `distribute-lft-out_binary64_17079` `unswap-sqr_binary64_17437` `frac-2neg_binary64_11342` `flip-+_binary64_6190` `associate-/r/_binary64_15369` `unswap-sqr_binary64_21188` `associate-l/_binary64_4113` `distribute-lft-in_binary64_7870` `distribute-rgt-in_binary64_13668` `flip3-+_binary64_2468` `log-prod_binary64_20283` `pow1/2_binary64_3909` `flip3-+_binary64_19177` `associate-r_binary64_8202` `-commutative_binary64_16036` `diff-log_binary64_10400` `div-inv_binary64` `associate-/r/_binary64_22189` `sqrt-pow1_binary64_3847` `associate-/r/_binary64_13323` `distribute-rgt-in_binary64_15373` `flip3-+_binary64_6219` `associate-/l*_binary64_22188` `flip-+_binary64_21194` `distribute-lft-in_binary64_13667` `clear-num_binary64_11330` `swap-sqr_binary64_7888` `flip3-+_binary64_21223` `flip3-+_binary64_18154` `diff-log_binary64_10741` `flip-+_binary64_2439` `distribute-lft-out--_binary64_21172`
19×	`pow-prod-down_binary64_5264` `cbrt-div_binary64_3179` `cbrt-div_binary64_2838` `associate-/r/_binary64` `distribute-lft-out--_binary64_7873` `flip3--_binary64_10994` `associate-/l/_binary64_17416` `div-exp_binary64_8995` `flip-+_binary64_1416` `frac-times_binary64_17820` `associate-/l_binary64_9230` `flip3-+_binary64_1445` `distribute-lft-out--_binary64_21513` `flip-+_binary64_14715` `cbrt-unprod_binary64_4203` `pow-prod-down_binary64_14812` `times-frac_binary64_7927` `associate-/l_binary64_8889` `prod-exp_binary64_7288` `associate-/r/_binary64_22871` `associate-r/_binary64_9227` `associate-r/_binary64_361` `pow1/3_binary64_13459` `flip--_binary64_10965` `swap-sqr_binary64_1409` `associate-/l_binary64_9571` `cbrt-unprod_binary64_7272` `swap-sqr_binary64_20846` `associate-l/_binary64_14684` `associate-r_binary64_8543` `div-exp_binary64_10700` `flip3-+_binary64_11334` `unswap-sqr_binary64_20506` `associate-*l/_binary64_15366` `flip3-+_binary64_14744` `unswap-sqr_binary64_4138` `frac-times_binary64_16456` `frac-times_binary64_20548` `flip-+_binary64_11305`
18×	`associate--l+_binary64_11268` `cbrt-div_binary64_110` `cancel-sign-sub-inv_binary64_2772` `associate-/r_binary64_1386` `unswap-sqr_binary64_14027` `flip3--_binary64_1787` `log-prod_binary64_164` `cbrt-undiv_binary64_1135` `cbrt-div_binary64_5225` `unpow-prod-down_binary64_157` `pow1/3_binary64_17551` `flip-+_binary64_2780` `-commutative_binary64_19105` `associate-r_binary64_22183` `div-inv_binary64_22581` `sub-neg_binary64_13711` `swap-sqr_binary64_5842` `pow-unpow_binary64_12090` `flip-+_binary64_2098` `prod-exp_binary64_19905` `flip--_binary64_22218` `flip3-+_binary64_2127` `times-frac_binary64_5540` `frac-times_binary64_17479` `pow-exp_binary64_11058` `cbrt-undiv_binary64_14093` `flip3--_binary64_22247` `unswap-sqr_binary64_6525` `difference-of-squares_binary64_22212` `add-log-exp_binary64_7278` `distribute-lft-out_binary64_3780` `associate-l_binary64` `swap-sqr_binary64_14026` `associate-/l/_binary64_19121` `cbrt-div_binary64_2156` `sqrt-div_binary64_6233` `sqrt-div_binary64_10325` `flip3-+_binary64_2809` `clear-num_binary64_18491` `cbrt-undiv_binary64_11706` `cbrt-div_binary64_19888` `cancel-sign-sub-inv_binary64_14025` `distribute-lft-in_binary64_22533` `sqrt-div_binary64_16463` `cbrt-unprod_binary64_19889` `log-prod_binary64_505` `pow-prod-down_binary64_15835` `flip--_binary64_1758` `associate-/l_binary64_13322` `sqrt-prod_binary64_3163` `cancel-sign-sub-inv_binary64_7546` `associate-r/_binary64_20821` `frac-2neg_binary64_18503` `distribute-rgt-in_binary64_22534`
17×	`-commutative_binary64_15354` `cancel-sign-sub-inv_binary64_12320` `associate--l+_binary64_356` `unswap-sqr_binary64_16073` `flip--_binary64_53` `unswap-sqr_binary64_2092` `div-exp_binary64_22635` `associate-r/_binary64_19116` `cbrt-unprod_binary64_12046` `unswap-sqr_binary64_10276` `clear-num_binary64_10989` `div-inv_binary64_9282` `cbrt-undiv_binary64_10683` `-commutative_binary64_21833` `unswap-sqr_binary64_17096` `associate-/l_binary64_15027` `pow-sqr_binary64_14032` `frac-times_binary64_429` `distribute-lft-out_binary64_5826` `-commutative_binary64_20810` `frac-2neg_binary64_11001` `div-exp_binary64_1834` `difference-of-squares_binary64_2093` `cbrt-undiv_binary64_9660` `div-exp_binary64_2857` `associate-/r_binary64_4796` `associate-l/_binary64_1044` `-commutative_binary64_9557` `prod-exp_binary64_12062` `flip3--_binary64_82` `-commutative_binary64_5806` `pow1/3_binary64_5957` `flip--_binary64_735` `flip3--_binary64_764` `-commutative_binary64_10580`
16×	`div-exp_binary64_12746` `unswap-sqr_binary64_3797` `-commutative_binary64_18764` `pow1/3_binary64_8003` `associate-l/_binary64_6500` `sqrt-div_binary64_4869` `prod-exp_binary64_20587` `associate-+r+_binary64_5807` `sqrt-div_binary64_8279` `cbrt-unprod_binary64_20571` `div-exp_binary64_6267` `distribute-rgt-in_binary64_1392` `clear-num_binary64_16445` `cbrt-undiv_binary64_22618` `swap-sqr_binary64_45` `cbrt-unprod_binary64_21253` `pow-sqr_binary64_5848` `pow-prod-down_binary64_20609` `sqrt-div_binary64_4187` `associate-l_binary64_8544` `associate--l+_binary64_10586` `-commutative_binary64_2055` `cbrt-unprod_binary64_4544` `associate-r_binary64_4792` `associate-l/_binary64_8887` `sqrt-div_binary64_14417` `unswap-sqr_binary64_13345` `associate-r/_binary64_12637` `distribute-lft-out_binary64_4803` `difference-of-squares_binary64_5844` `cbrt-prod_binary64_9657` `cbrt-prod_binary64_18182` `distribute-lft-out_binary64_8895` `distribute-lft-in_binary64_1391` `associate-+r+_binary64_21493` `associate-/l_binary64_1728` `cube-div_binary64_17157` `associate-+l+_binary64_1375` `sum-log_binary64_3920` `difference-of-squares_binary64_11641` `pow-prod-down_binary64_3559` `associate-+r+_binary64_15014` `distribute-lft-out_binary64_11282` `associate-/l/_binary64_16734` `pow-prod-down_binary64_10379` `sqrt-prod_binary64_16462` `unswap-sqr_binary64_6184` `*-commutative_binary64_12285` `frac-2neg_binary64_16457` `sqrt-div_binary64_13735` `unpow-prod-down_binary64_11069` `swap-sqr_binary64_17436` `cbrt-prod_binary64_7611` `sub-neg_binary64_20872` `sub-neg_binary64_3481` `associate-/r/_binary64_11277`
15×	`sqrt-pow1_binary64_12713` `sum-log_binary64_14150` `clear-num_binary64_12353` `rec-exp_binary64_16496` `pow-prod-down_binary64_17881` `distribute-rgt-in_binary64_16396` `clear-num_binary64_13035` `swap-sqr_binary64_3455` `flip--_binary64_12329` `1-exp_binary64_11375` `cancel-sign-sub-inv_binary64_9251` `flip-+_binary64_4826` `frac-2neg_binary64_12365` `sub-neg_binary64_11324` `unswap-sqr_binary64_14709` `1-exp_binary64_16490` `rec-exp_binary64_11381` `pow1/3_binary64_15846` `associate-/r/_binary64_9572` `associate--l+_binary64_10245` `prod-exp_binary64_6265` `distribute-rgt-out--_binary64_14013` `cancel-sign-sub-inv_binary64_19140` `sub-neg_binary64_3140` `associate-/l/_binary64_21167` `+-commutative_binary64_21150` `pow-prod-down_binary64_6287` `rem-sqrt-square_binary64_17141` `cbrt-div_binary64_13068` `flip3-+_binary64_4855` `cancel-sign-sub-inv_binary64_6523` `sqr-pow_binary64_11644` `unswap-sqr_binary64_11640` `+-commutative_binary64_17058` `-commutative_binary64_13308` `-commutative_binary64_15695` `associate-l/_binary64_16048` `sub-neg_binary64_10301` `flip3--_binary64_12358` `log-prod_binary64_12099` `cbrt-undiv_binary64_23300` `associate-+r+_binary64_2397` `clear-num_binary64_18150` `distribute-lft-in_binary64_16395` `log-pow_binary64_9033` `pow-to-exp_binary64_20266` `associate-r/_binary64_2066` `frac-2neg_binary64_18162` `-commutative_binary64_12967` `pow1/2_binary64_12775` `frac-2neg_binary64_13047` `cbrt-unprod_binary64_13751` `distribute-rgt-out_binary64_19468` `frac-add_binary64_21228` `div-inv_binary64_12692` `prod-exp_binary64_13767` `sub-neg_binary64_13370` `rec-exp_binary64_21270` `associate-/l/_binary64_12983` `1-exp_binary64_21264` `-commutative_binary64_9898` `pow-exp_binary64_20265` `unpow-prod-down_binary64_10387` `cbrt-div_binary64_16137`
14×	`flip3-+_binary64_8265` `associate-/l/_binary64_22531` `frac-sub_binary64_10658` `associate-l/_binary64_17412` `sub-neg_binary64_412` `add-log-exp_binary64` `sqrt-div_binary64_22601` `flip-+_binary64_8236` `-commutative_binary64_1032` `associate-r/_binary64_22526` `associate-r/_binary64_18093` `cbrt-prod_binary64_4883` `pow-prod-down_binary64_1854` `pow-prod-up_binary64_1171` `cube-prod_binary64_7608` `pow-prod-up_binary64_3899` `sub-neg_binary64_1435` `associate-r_binary64` `distribute-lft-out_binary64_8213` `distribute-lft-out--_binary64_2076` `flip-+_binary64_5167` `associate-+l+_binary64_2398` `swap-sqr_binary64_5501` `flip3--_binary64_12017` `div-inv_binary64_21899` `frac-2neg_binary64_16116` `sub-neg_binary64_16439` `1-exp_binary64_11034` `pow-prod-down_binary64_8674` `cbrt-unprod_binary64_5226` `associate-r/_binary64_1043` `pow1/3_binary64_3570` `associate-/r_binary64_363` `flip3-+_binary64_5196` `swap-sqr_binary64_14708` `frac-2neg_binary64_18844` `clear-num_binary64_6897` `neg-mul-1_binary64_11327` `-commutative_binary64_350` `-commutative_binary64_3078` `-commutative_binary64_6488` `prod-exp_binary64_5242` `associate-/r/_binary64_9231` `frac-2neg_binary64_6909` `-commutative_binary64_17059` `associate--r+_binary64_10244` `sub-neg_binary64_8937` `pow-prod-down_binary64_17540` `pow1/2_binary64_14139` `unpow-prod-down_binary64_7659` `cbrt-unprod_binary64_1816` `distribute-lft-in_binary64_6506` `distribute-rgt-in_binary64_6507` `pow-prod-down_binary64_4582` `cancel-sign-sub-inv_binary64_8228` `prod-exp_binary64_1832` `flip--_binary64_11988` `cbrt-undiv_binary64_21936` `pow-prod-up_binary64_489` `clear-num_binary64_18832` `*-commutative_binary64_13990` `clear-num_binary64_16104` `sub-neg_binary64_7914`
13×	`associate-r/_binary64_1384` `associate-/l/_binary64_18439` `frac-2neg_binary64_13729` `associate-/r/_binary64_14687` `distribute-rgt-in_binary64_20488` `associate-l_binary64_2747` `pow-prod-down_binary64_6628` `pow1/3_binary64_3229` `associate-r/_binary64_20480` `distribute-lft-in_binary64_20487` `flip3--_binary64_6220` `flip3-+_binary64_13721` `flip--_binary64_13352` `associate-/r/_binary64_8890` `associate-/l/_binary64_9914` `frac-2neg_binary64_9978` `flip--_binary64_6191` `distribute-rgt-in_binary64_28` `clear-num_binary64_10307` `div-inv_binary64_1780` `pow-prod-down_binary64_1513` `flip-+_binary64_13692` `associate-/l_binary64_1387` `cbrt-unprod_binary64_8636` `pow-prod-down_binary64_22314` `sub-neg_binary64_21213` `cancel-sign-sub-inv_binary64_14707` `associate-l/_binary64_22186` `associate-/l_binary64_4797` `pow1/3_binary64_19256` `clear-num_binary64_13717` `distribute-lft-in_binary64_27` `associate-/r_binary64_7183` `sub-neg_binary64_18144` `sum-log_binary64_9035` `rec-exp_binary64_13086` `sinh-def_binary64_13903` `pow-unpow_binary64_2201` `swap-sqr_binary64_16413` `associate-/l_binary64_10594` `flip3--_binary64_13381` `prod-exp_binary64_8652` `cbrt-unprod_binary64_6249` `clear-num_binary64_9966` `-commutative_binary64_11603` `frac-2neg_binary64_10319` `associate-/r/_binary64_2752` `1-exp_binary64_13080` `associate-*l/_binary64_16389` `associate-/l/_binary64_19462` `pow-prod-down_binary64_9356`
12×	`unswap-sqr_binary64_13686` `e-exp-1_binary64_11035` `sub-neg_binary64_14393` `cube-prod_binary64_1129` `sqr-pow_binary64_22556` `pow1/3_binary64_14823` `sub-neg_binary64_21554` `log-prod_binary64_9371` `cbrt-unprod_binary64_1475` `div-exp_binary64_15474` `difference-of-squares_binary64_1070` `frac-times_binary64_14410` `distribute-lft-out--_binary64_11624` `associate-r_binary64_2746` `pow-flip_binary64_11405` `swap-sqr_binary64_19482` `cosh-def_binary64_13222` `log-pow_binary64_11079` `pow1/3_binary64_16187` `associate-/l/_binary64_20826` `distribute-lft-out_binary64_22194` `unswap-sqr_binary64_16414` `div-inv_binary64_416` `+-commutative_binary64_10579` `pow1/2_binary64_13798` `sqrt-pow1_binary64_2142` `frac-add_binary64_768` `cbrt-undiv_binary64_15457` `associate-/r_binary64_2409` `swap-sqr_binary64_19141` `pow-unpow_binary64_496` `cbrt-undiv_binary64_2840` `associate-/l/_binary64_11960` `difference-of-squares_binary64_729` `associate-/l/_binary64_1048` `associate-/l/_binary64_3094` `cbrt-div_binary64_13409` `associate-l/_binary64_1726` `associate-l_binary64_7521` `pow1/2_binary64_14480` `pow1/3_binary64_13118` `associate-/l/_binary64_16052` `associate-l/_binary64_3772` `pow1/3_binary64_17892` `-commutative_binary64_5124` `associate-r/_binary64_11614` `prod-exp_binary64_22633` `div-inv_binary64_6213` `pow-unpow_binary64_17205` `associate-/r/_binary64_2070` `pow-unpow_binary64_20274` `associate-+r+_binary64_1715` `cancel-sign-sub-inv_binary64_6864` `associate-r/_binary64_3771` `pow-pow_binary64_11744` `sqr-pow_binary64_20169` `unpow-prod-down_binary64_1180` `prod-exp_binary64_1491` `flip3--_binary64_8948` `flip--_binary64_8919` `associate-/r/_binary64_2411` `pow1/3_binary64_11754` `cbrt-div_binary64_20911` `-commutative_binary64_21492` `pow-prod-down_binary64_149` `distribute-lft-in_binary64_20146` `pow-unpow_binary64_11749` `cbrt-prod_binary64_6588` `frac-sub_binary64_15432` `-commutative_binary64_10239` `rem-sqrt-square_binary64_9980` `pow1/2_binary64_499` `distribute-rgt-in_binary64_20147` `associate-/l_binary64_7525` `diff-log_binary64_511` `frac-add_binary64_23274` `cbrt-undiv_binary64_8978` `cbrt-unprod_binary64_22617` `swap-sqr_binary64_19823` `pow-prod-up_binary64_17198` `-commutative_binary64_16718` `log-prod_binary64_9030` `div-inv_binary64_8941` `associate-*l/_binary64_20140` `div-inv_binary64_75`
11×	`flip-+_binary64_16079` `associate-+l-_binary64_10584` `flip3--_binary64_4856` `associate-/r_binary64_6160` `flip3-+_binary64_6560` `diff-log_binary64_18243` `pow1/3_binary64_9026` `div-inv_binary64_20194` `distribute-rgt-in_binary64_12645` `flip-+_binary64_19830` `clear-num_binary64_3146` `sqrt-prod_binary64_20895` `associate-l/_binary64_7182` `sqrt-pow1_binary64_17828` `associate-/r/_binary64_24` `div-exp_binary64_20248` `prod-exp_binary64_809` `pow-pow_binary64_2196` `unswap-sqr_binary64_18119` `pow-prod-up_binary64_6286` `pow-flip_binary64_12769` `distribute-lft-out_binary64_7872` `swap-sqr_binary64_8229` `distribute-lft-in_binary64_9234` `distribute-rgt-in_binary64_9235` `div-inv_binary64_5872` `flip--_binary64_4827` `distribute-lft-out_binary64_10941` `pow1/2_binary64_6296` `unswap-sqr_binary64_18460` `frac-2neg_binary64_16798` `distribute-lft-out--_binary64_8896` `pow1/3_binary64_21643` `clear-num_binary64_16786` `associate-/l/_binary64_14688` `frac-2neg_binary64_15775` `sqr-pow_binary64_21192` `1-exp_binary64_23310` `flip3-+_binary64_16108` `associate-/r/_binary64_20143` `flip-+_binary64_9259` `1-exp_binary64_1145` `rec-exp_binary64_1151` `swap-sqr_binary64_4819` `pow-prod-up_binary64_4240` `clear-num_binary64_15763` `sqrt-pow1_binary64_6234` `associate-/l_binary64_23` `associate-r/_binary64_6840` `flip-+_binary64_6531` `unswap-sqr_binary64_12663` `log-div_binary64_11077` `cancel-sign-sub-inv_binary64_4136` `div-inv_binary64_15079` `frac-times_binary64_1111` `flip-+_binary64_9600` `difference-of-squares_binary64_8913` `cbrt-unprod_binary64_793` `-commutative_binary64_4101` `rec-exp_binary64_23316` `pow1/3_binary64_16869` `sum-log_binary64_16878` `log-pow_binary64_20968` `-commutative_binary64_14331` `*-commutative_binary64_3419` `flip3-+_binary64_9288` `frac-2neg_binary64_3158` `sub-neg_binary64_17803` `pow-prod-down_binary64_831` `frac-times_binary64_15433` `distribute-lft-out_binary64_5144` `distribute-lft-in_binary64_12644` `flip3-+_binary64_9629` `flip3-+_binary64_19859`
10×	`associate-l/_binary64_10251` `prod-exp_binary64_12744` `pow-prod-down_binary64_3900` `cbrt-undiv_binary64_15116` `swap-sqr_binary64_6865` `distribute-lft-out--_binary64_7532` `-commutative_binary64_17400` `pow1/2_binary64_4932` `pow1/2_binary64_8342` `sqr-pow_binary64_12326` `sub-neg_binary64_10983` `distribute-lft-out--_binary64_5827` `pow-exp_binary64_6625` `cbrt-unprod_binary64_111` `sum-log_binary64_17901` `flip--_binary64_7555` `frac-2neg_binary64_20890` `pow-to-exp_binary64_11059` `prod-exp_binary64_127` `frac-2neg_binary64_14411` `associate-+l+_binary64_17743` `clear-num_binary64_14399` `unpow3_binary64_21286` `associate-/r/_binary64_1388` `pow-prod-up_binary64_14470` `associate-/l/_binary64_9573` `-commutative_binary64_13649` `-commutative_binary64_9216` `sqrt-pow1_binary64_4870` `pow-exp_binary64_4579` `frac-times_binary64_9295` `swap-sqr_binary64_21528` `associate-l/_binary64_17753` `associate-r/_binary64` `pow1/2_binary64_10047` `pow-prod-down_binary64_22655` `pow-prod-up_binary64_13788` `associate-/r_binary64_7865` `flip--_binary64_22559` `clear-num_binary64_21219` `sqrt-pow1_binary64_8280` `sqrt-pow1_binary64_9985` `pow1/3_binary64_15505` `unswap-sqr_binary64_5502` `unpow2_binary64_12419` `-commutative_binary64_5465` `sum-log_binary64_16196` `frac-2neg_binary64_21231` `pow-prod-down_binary64_12766` `-commutative_binary64_18082` `sqrt-div_binary64_11007` `-commutative_binary64_1373` `sqr-pow_binary64_11985` `flip3--_binary64_22588` `pow1/2_binary64_4250` `-commutative_binary64_6829` `diff-log_binary64_15515` `associate-l_binary64_8203` `sqrt-prod_binary64_19190` `associate-/l/_binary64_15711` `sqrt-pow1_binary64_4188` `div-exp_binary64_15133` `pow-prod-up_binary64_5263` `clear-num_binary64_20878` `-commutative_binary64_1714` `sum-log_binary64_12786` `exp-sum_binary64_20243` `associate-/r_binary64_15367` `cancel-sign-sub-inv_binary64_7205` `difference-of-sqr-1_binary64_7209` `pow-to-exp_binary64_6626` `log-div_binary64_10736` `diff-log_binary64_13810` `sub-neg_binary64_17121` `cbrt-div_binary64_12386` `pow-unpow_binary64_11067` `pow-prod-down_binary64_21291` `sum-log_binary64_4261` `swap-sqr_binary64_15390` `frac-2neg_binary64_11683` `associate-l/_binary64_6841` `pow-sqr_binary64_3802` `unswap-sqr_binary64_46` `frac-times_binary64_7249` `associate-+l+_binary64_17402` `cube-mult_binary64_21250` `frac-times_binary64_10659` `pow-sqr_binary64_392` `unpow-prod-down_binary64_6636` `clear-num_binary64_11671` `+-commutative_binary64_17740` `log-div_binary64_21307` `difference-of-squares_binary64_8231` `pow1/2_binary64_17890` `pow-sqr_binary64_5166` `flip3--_binary64_7584`
9×	`pow-sqr_binary64_6189` `associate-r/_binary64_10250` `frac-times_binary64_4180` `distribute-lft-out--_binary64_11283` `clear-num_binary64_20537` `pow-exp_binary64_11740` `cbrt-undiv_binary64_1817` `associate-/l_binary64_7184` `frac-2neg_binary64_22936` `flip--_binary64_5509` `unswap-sqr_binary64_19824` `associate-/l_binary64_20142` `frac-2neg_binary64_22254` `sum-log_binary64_1533` `cbrt-undiv_binary64_6250` `pow-sub_binary64_11066` `div-exp_binary64_129` `pow-unpow_binary64_3906` `1-exp_binary64_6942` `sub-neg_binary64_16780` `pow-prod-up_binary64_16857` `sqrt-pow1_binary64_22602` `pow-unpow_binary64_21297` `difference-of-squares_binary64_6185` `difference-of-squares_binary64_11300` `cancel-sign-sub-inv_binary64_2431` `clear-num_binary64_22924` `sum-log_binary64_11763` `flip3--_binary64_19178` `frac-2neg_binary64_17480` `pow-plus_binary64_16850` `sum-log_binary64_18924` `rec-exp_binary64_9335` `cbrt-undiv_binary64` `associate-+l+_binary64_8877` `flip3-+_binary64_17472` `associate-/l_binary64_2069` `associate-/r_binary64_7524` `flip--_binary64_19149` `diff-log_binary64_11423` `flip--_binary64_2440` `associate-+l+_binary64_6149` `-commutative_binary64_4442` `clear-num_binary64_22583` `rec-exp_binary64_6948` `frac-2neg_binary64_20549` `clear-num_binary64_17468` `pow-sqr_binary64_4143` `-commutative_binary64_16377` `distribute-lft-in_binary64_4801` `associate-/l/_binary64_22872` `flip3--_binary64_2469` `associate-l_binary64_22866` `associate-r_binary64_7520` `clear-num_binary64_22242` `pow1/3_binary64_2206` `pow-pow_binary64_17200` `swap-sqr_binary64_17777` `-commutative_binary64_20469` `associate--l+_binary64_16724` `-commutative_binary64_14672` `prod-exp_binary64_7629` `sub-neg_binary64_2117` `pow1/2_binary64_22664` `cbrt-unprod_binary64_7613` `flip3-+_binary64_10311` `distribute-rgt-in_binary64_4802` `1-exp_binary64_19559` `frac-2neg_binary64_22595` `pow-unpow_binary64_9703` `sum-log_binary64_8012` `associate-r/_binary64_12978` `div-exp_binary64` `associate-r/_binary64_20139` `1-exp_binary64_9329` `flip3--_binary64_5538` `flip-+_binary64_17443` `pow-prod-down_binary64_11402` `frac-times_binary64_16115` `frac-times_binary64_13046` `associate-/l/_binary64_10596` `-commutative_binary64_17741` `frac-times_binary64_22594` `exp-sum_binary64_9331` `cbrt-undiv_binary64_20231` `associate-/r/_binary64_17415` `swap-sqr_binary64_10616` `rec-exp_binary64_19565` `unpow-prod-down_binary64_839` `unswap-sqr_binary64_11981` `unswap-sqr_binary64_21529` `flip-+_binary64_10282`
8×	`sum-log_binary64_23357` `diff-log_binary64_16879` `associate-l/_binary64_5477` `clear-num_binary64_19514` `sqrt-div_binary64_16804` `pow-prod-up_binary64_4581` `associate-+r+_binary64_14332` `distribute-lft-neg-in_binary64_1399` `cancel-sign-sub-inv_binary64_3795` `sub-neg_binary64_20190` `pow-prod-down_binary64_7651` `unswap-sqr_binary64_4820` `+-commutative_binary64_22855` `associate-r/_binary64_19457` `associate-/r/_binary64_7185` `associate-/l/_binary64_14347` `flip3-+_binary64_20541` `diff-log_binary64_6308` `sub-neg_binary64_16098` `frac-times_binary64_4862` `clear-num_binary64_13376` `associate-l/_binary64_18094` `rem-sqrt-square_binary64_3842` `associate-/l/_binary64_3435` `cbrt-undiv_binary64_12729` `cbrt-div_binary64_1474` `+-commutative_binary64_20809` `clear-num_binary64_17809` `rem-log-exp_binary64_20920` `sqrt-pow1_binary64_6575` `sum-log_binary64_20970` `associate--r+_binary64_10926` `associate-/l/_binary64_3776` `sub-neg_binary64_12688` `associate-/l/_binary64_11278` `log-pow_binary64_1872` `prod-exp_binary64_22974` `rem-log-exp_binary64_11031` `frac-add_binary64_7929` `associate-l/_binary64_3090` `associate--r+_binary64_4788` `frac-2neg_binary64_14752` `associate-+l+_binary64_9559` `flip--_binary64_11647` `distribute-rgt-in_binary64_7189` `prod-exp_binary64_3878` `clear-num_binary64_1100` `frac-times_binary64_9636` `frac-2neg_binary64_1112` `cbrt-unprod_binary64_12728` `pow-sqr_binary64_7894` `associate-/r/_binary64_3775` `tan-quot_binary64_17628` `flip-+_binary64_7554` `difference-of-squares_binary64_6526` `sub-neg_binary64_11665` `cbrt-div_binary64_12727` `flip3-+_binary64_3491` `cbrt-prod_binary64_13749` `-commutative_binary64_21151` `associate-l/_binary64_20822` `associate-/l/_binary64_21849` `associate-+l+_binary64_12287` `frac-2neg_binary64_13388` `flip3--_binary64_19519` `+-commutative_binary64_3418` `swap-sqr_binary64_12662` `flip3--_binary64_11676` `-commutative_binary64_18423` `associate-+r+_binary64_3079` `associate-+l+_binary64_18766` `associate-+r+_binary64_6489` `pow-sqr_binary64_1074` `associate-l_binary64_23207` `frac-2neg_binary64_9296` `frac-add_binary64_19182` `neg-mul-1_binary64_1438` `cube-prod_binary64_4880` `frac-times_binary64_5885` `sub-neg_binary64_22236` `rec-exp_binary64_11040` `frac-2neg_binary64_17821` `unpow-prod-down_binary64_4931` `flip-+_binary64_3462` `associate-+r+_binary64_10922` `distribute-lft-in_binary64_7188` `cbrt-div_binary64_21252` `pow-sqr_binary64_17101` `associate--r+_binary64_16382` `clear-num_binary64_9284` `frac-add_binary64_10657` `associate-r/_binary64_4112` `clear-num_binary64_2805` `sub-neg_binary64_20531` `frac-times_binary64_4521` `pow-prod-up_binary64_7991` `rem-sqrt-square_binary64_12708` `times-frac_binary64_6563` `distribute-rgt-neg-in_binary64_1400` `pow-prod-down_binary64_2536` `sum-log_binary64_9717` `flip-+_binary64_20512` `+-commutative_binary64_16717` `sum-log_binary64_14832` `cbrt-unprod_binary64_3862` `sum-log_binary64_3579` `pow-exp_binary64_9694` `log-prod_binary64_8348` `cos-sum_binary64_19308` `frac-times_binary64_6226` `associate-/r*_binary64_6501` `unswap-sqr_binary64_1751` `associate-/r/_binary64_4798` `flip3--_binary64_20201` `associate-+r+_binary64_7853` `flip--_binary64_19490` `frac-2neg_binary64_19526` `pow-flip_binary64_21294` `unswap-sqr_binary64_8571` `flip3-+_binary64_20200` `associate-+r+_binary64_20470` `cancel-sign-sub-inv_binary64_20163` `associate-+r+_binary64_9558` `sum-log_binary64_23016` `flip--_binary64_20172` `frac-2neg_binary64_2817` `pow-sqr_binary64_4484` `diff-log_binary64_23358` `flip-+_binary64_20171` `distribute-lft-in_binary64_6847` `unswap-sqr_binary64_6866` `distribute-rgt-in_binary64_6848` `cbrt-unprod_binary64_22958` `flip3-+_binary64_7583` `sum-log_binary64_3238` `frac-times_binary64_20889` `cbrt-div_binary64_18183` `pow-exp_binary64_12081` `clear-num_binary64_14740`
7×	`distribute-lft-in_binary64_19123` `pow1/3_binary64_8685` `distribute-lft-out--_binary64_712` `unswap-sqr_binary64_728` `1-exp_binary64_18195` `sqrt-prod_binary64_16121` `associate-/l/_binary64` `pow-prod-down_binary64_12084` `distribute-rgt-in_binary64_4120` `flip3--_binary64_2128` `flip--_binary64_12670` `sub-neg_binary64_17462` `+-commutative_binary64_8874` `flip3-+_binary64_15767` `exp-sum_binary64_11036` `-commutative_binary64_19787` `sum-log_binary64_15855` `-commutative_binary64_2396` `sum-log_binary64_15173` `cosh-def_binary64_12540` `exp-prod_binary64_17180` `associate-l/_binary64_9228` `rec-exp_binary64_18201` `pow-pow_binary64_491` `associate-/l/_binary64_10255` `rem-sqrt-square_binary64_22597` `distribute-lft-in_binary64_11962` `sub-neg_binary64_12347` `pow-plus_binary64_14122` `frac-2neg_binary64_9637` `pow1/3_binary64_21302` `-commutative_binary64_11944` `associate-/l/_binary64_20485` `associate-/l/_binary64_23213` `1-exp_binary64_21946` `div-inv_binary64_15420` `pow1/3_binary64_12095` `+-commutative_binary64_9556` `rec-exp_binary64_13427` `+-commutative_binary64_11602` `associate-l/_binary64_21845` `cbrt-unprod_binary64_2498` `div-sub_binary64_18156` `sqrt-prod_binary64_5209` `associate-+r-_binary64_10583` `cancel-sign-sub-inv_binary64_5159` `flip3-+_binary64_18836` `frac-2neg_binary64_21913` `associate-/l_binary64_6161` `associate-l/_binary64_14343` `flip3-+_binary64_21564` `unswap-sqr_binary64_2433` `+-commutative_binary64_4100` `-commutative_binary64_22174` `1-exp_binary64_13421` `distribute-lft-in_binary64_4119` `frac-2neg_binary64_14070` `flip--_binary64_2099` `flip-+_binary64_21535` `associate-/r_binary64_2068` `pow1/3_binary64_1183` `diff-log_binary64_12787` `inv-pow_binary64_18577` `pow-flip_binary64_18566` `pow1/3_binary64_1865` `rec-exp_binary64_21952` `cancel-sign-sub-inv_binary64_1067` `associate-+l+_binary64_22517` `+-commutative_binary64_15694` `sqrt-div_binary64_3505` `clear-num_binary64_21901` `sqr-pow_binary64_4483` `flip-+_binary64_15738` `distribute-lft-out_binary64_29` `distribute-rgt-in_binary64_19124` `distribute-rgt-in_binary64_11963` `clear-num_binary64_9625` `flip3--_binary64_12699` `prod-exp_binary64_2514` `flip-+_binary64_18807` `rem-sqrt-square_binary64_17823` `distribute-lft-out_binary64_21512` `sqrt-prod_binary64_8960` `distribute-lft-out_binary64_10259` `associate-l/_binary64_22527` `sum-log_binary64_20629` `-commutative_binary64_691` `clear-num_binary64_14058` `sum-log_binary64_169` `+-commutative_binary64_22514` `associate-r/_binary64_11955` `unswap-sqr_binary64_18801` `sub-neg_binary64_6550` `+-commutative_binary64_10238`
6×	`associate-/l/_binary64_8891` `sum-log_binary64_11081` `+-commutative_binary64_8` `pow-prod-down_binary64` `sqr-pow_binary64_10962` `distribute-rgt-out--_binary64_12990` `diff-log_binary64_16538` `-commutative_binary64_9` `-commutative_binary64_11262` `swap-sqr_binary64_13344` `div-sub_binary64_16451` `cbrt-undiv_binary64_1476` `pow1/2_binary64_2204` `pow-prod-up_binary64_12765` `associate-/r/_binary64_7526` `flip3-+_binary64_422` `flip-+_binary64_15056` `diff-log_binary64_18925` `1-exp_binary64_13762` `associate-/l/_binary64_15029` `rec-exp_binary64_20929` `distribute-rgt-in_binary64_17419` `prod-exp_binary64` `associate-r/_binary64_22867` `distribute-lft-out--_binary64_12647` `+-commutative_binary64_13989` `sqrt-prod_binary64_15098` `sub-neg_binary64_7573` `flip3--_binary64_4174` `associate-/l/_binary64_7527` `flip-+_binary64_52` `cancel-sign-sub-inv_binary64_726` `pow1/3_binary64_18574` `sqrt-prod_binary64_2481` `frac-2neg_binary64_23277` `pow-sqr_binary64_13691` `1-exp_binary64_12739` `div-sub_binary64_19520` `sqrt-div_binary64_1118` `sqrt-prod_binary64_12029` `+-commutative_binary64_15012` `sqrt-prod_binary64_14416` `log-pow_binary64_2554` `distribute-rgt-in_binary64_7530` `clear-num_binary64_8943` `swap-sqr_binary64_3114` `cos-sum_binary64_21695` `clear-num_binary64_23265` `swap-sqr_binary64_8570` `cube-mult_binary64_12043` `associate-/l/_binary64_4799` `associate-/l/_binary64_14006` `associate-/r_binary64_8206` `distribute-lft-in_binary64_9916` `div-exp_binary64_6608` `sqrt-prod_binary64_14075` `+-commutative_binary64_1372` `pow-exp_binary64_2192` `associate-/l/_binary64_22190` `distribute-lft-out--_binary64_6168` `associate--l+_binary64_15360` `pow-prod-up_binary64_5604` `div-sub_binary64_16110` `unpow3_binary64_12079` `pow-flip_binary64_13792` `-commutative_binary64_22515` `1-exp_binary64_11716` `associate-/l_binary64_15368` `pow-sqr_binary64_14373` `unswap-sqr_binary64_8230` `flip3-+_binary64_15085` `sub-neg_binary64_4845` `div-inv_binary64_4849` `distribute-rgt-in_binary64_9917` `div-exp_binary64_1493` `pow-prod-up_binary64_20608` `sqrt-div_binary64_1459` `sum-log_binary64_6307` `-commutative_binary64_7170` `-commutative_binary64_12626` `associate-/l/_binary64_366` `difference-of-squares_binary64_12664` `sum-log_binary64_17560` `sqrt-div_binary64_3164` `cancel-sign-sub-inv_binary64_19822` `pow1/3_binary64_7321` `frac-2neg_binary64_8955` `associate-/l_binary64_5479` `+-commutative_binary64_14671` `pow-sqr_binary64_5507` `diff-log_binary64_17561` `diff-log_binary64_1534` `distribute-lft-in_binary64_7529` `sqr-pow_binary64_2096` `sub-neg_binary64_19508` `rec-exp_binary64_12745` `associate-/r_binary64_5478` `sqrt-div_binary64_11348` `swap-sqr_binary64_8911` `pow-flip_binary64_3221` `rec-exp_binary64_13768` `+-commutative_binary64_3077` `associate--l+_binary64_11950` `log-div_binary64_11759` `associate-+r+_binary64_9217` `cancel-sign-sub-inv_binary64_19481` `inv-pow_binary64_11416` `pow-unpow_binary64_155` `cbrt-unprod_binary64` `flip-+_binary64_393` `cbrt-undiv_binary64_6591` `associate-r/_binary64_4794` `sub-neg_binary64_6209` `distribute-lft-in_binary64_17418` `div-inv_binary64_2462` `exp-sum_binary64_17174` `pow-unpow_binary64_4588` `1-exp_binary64_20923` `associate-r_binary64_23206` `associate-l/_binary64_4454` `pow-prod-up_binary64_1512` `sinh-def_binary64_4355` `associate-r/_binary64_7522` `unpow-prod-down_binary64_16866` `associate--l+_binary64_11609` `sub-neg_binary64_7232` `associate--r+_binary64_10585` `flip--_binary64_4145` `distribute-rgt-out--_binary64_16059` `sqrt-prod_binary64_435` `diff-log_binary64_22335` `distribute-lft-out_binary64_2416` `pow1/2_binary64_20277` `associate-l/_binary64_5136` `associate-r/_binary64_5135` `diff-log_binary64_5967` `pow-sqr_binary64_20511` `inv-pow_binary64_13803` `associate-l/_binary64_2749` `div-exp_binary64_2175` `rec-exp_binary64_11722` `div-exp_binary64_4221` `pow-sqr_binary64_1415` `sub-neg_binary64_18826` `associate-/l/_binary64_7186` `pow-to-exp_binary64_4580` `exp-diff_binary64_11038` `cancel-sign-sub-inv_binary64_18799` `associate-/l_binary64_364` `distribute-lft-in_binary64_14690` `associate-l/_binary64` `log-prod_binary64_17214` `distribute-rgt-in_binary64_14691` `flip3-+_binary64_81` `-commutative_binary64_6147` `pow-pow_binary64_3901` `sqr-pow_binary64_7552` `log-pow_binary64_17217` `associate-/l_binary64_2410`
5×	`flip3-+_binary64_7242` `pow-plus_binary64_5256` `diff-log_binary64_9036` `-commutative_binary64_8534` `+-commutative_binary64_7851` `div-exp_binary64_7290` `1-exp_binary64_10352` `frac-2neg_binary64_1794` `rem-sqrt-square_binary64_6229` `+-commutative_binary64_16376` `sum-log_binary64_851` `distribute-lft-out_binary64_3098` `rem-sqrt-square_binary64_10321` `div-sub_binary64_10995` `flip--_binary64_9942` `flip-+_binary64_7213` `flip-+_binary64_14374` `+-commutative_binary64_1713` `cbrt-unprod_binary64_4885` `sqrt-pow1_binary64_10326` `frac-times_binary64_13728` `clear-num_binary64_10648` `frac-2neg_binary64_3499` `+-commutative_binary64_13648` `1-exp_binary64_22287` `pow-to-exp_binary64_11741` `flip3-+_binary64_15426` `count-2_binary64_19463` `+-commutative_binary64_12625` `frac-2neg_binary64_15093` `associate-r/_binary64_18775` `div-inv_binary64_1439` `associate-/l_binary64_21506` `flip3-+_binary64_14403` `clear-num_binary64` `unpow2_binary64_4576` `flip3-+_binary64_1786` `pow2_binary64_5274` `difference-of-sqr-1_binary64_389` `flip3-+_binary64_5537` `unpow-prod-down_binary64_17207` `pow-flip_binary64_11746` `pow-flip_binary64_16520` `associate-/r_binary64_5819` `sum-log_binary64_2556` `flip3--_binary64_1446` `flip-+_binary64_1757` `pow-sqr_binary64_16760` `log-pow_binary64_10397` `associate-r/_binary64_22185` `diff-log_binary64_11082` `distribute-lft-in_binary64_1050` `sub-neg_binary64_9278` `cbrt-undiv_binary64_4886` `flip3--_binary64_9971` `flip-+_binary64_13351` `sqr-pow_binary64_9598` `div-exp_binary64_470` `exp-prod_binary64_9337` `sum-log_binary64_6648` `pow-prod-up_binary64_4922` `sqr-pow_binary64_391` `flip3-+_binary64_13380` `unswap-sqr_binary64_7207` `+-commutative_binary64_20468` `associate-/l/_binary64_13665` `rem-log-exp_binary64_21261` `prod-exp_binary64_2855` `cbrt-undiv_binary64_453` `clear-num_binary64_15081` `cbrt-undiv_binary64_7273` `pow-sqr_binary64_15737` `flip--_binary64_1417` `pow2_binary64_16868` `cbrt-unprod_binary64_2839` `diff-log_binary64_17902` `flip-+_binary64_5508` `clear-num_binary64_3487` `+-commutative_binary64_14330` `rec-exp_binary64_10358` `difference-of-squares_binary64_4139` `+-commutative_binary64_18763` `associate-/l/_binary64_9232` `frac-times_binary64_3157` `cbrt-undiv_binary64_112` `div-sub_binary64_15769` `unswap-sqr_binary64_22893` `+-commutative_binary64_3759` `sqr-pow_binary64_10280` `associate-/l_binary64_7866` `frac-2neg_binary64` `exp-prod_binary64_5586` `clear-num_binary64_1782` `prod-exp_binary64_4901` `sum-log_binary64_16537` `+-commutative_binary64_6487` `pow2_binary64_14140` `associate-+l+_binary64_12628` `sqr-abs_binary64_1116` `diff-log_binary64_12105` `distribute-rgt-in_binary64_1051` `frac-2neg_binary64_12706` `sum-log_binary64_14491` `exp-prod_binary64_12065` `pow-prod-up_binary64_15834` `pow-to-exp_binary64_12082` `sub-neg_binary64_19167` `pow-prod-up_binary64_8332` `associate-/l/_binary64_6845` `div-inv_binary64_2121` `pow-prod-down_binary64_4923` `distribute-lft1-in_binary64_19470` `flip-+_binary64_15397` `distribute-lft-in_binary64_18100` `sub-neg_binary64_4163` `pow1/2_binary64_10388` `distribute-rgt-out_binary64_21173` `clear-num_binary64_12694` `distribute-lft-out--_binary64_8214` `exp-prod_binary64_11042` `distribute-rgt-in_binary64_18101` `sub-neg_binary64_12006` `frac-2neg_binary64_10660` `pow1/3_binary64_11072` `unswap-sqr_binary64_22211` `div-exp_binary64_4903` `flip3--_binary64_1105` `flip--_binary64_1076` `sum-cubes_binary64_3148` `distribute-rgt1-in_binary64_19471` `associate--l-_binary64_10587` `sum-log_binary64_13809` `distribute-lft-out_binary64_6508`
4×	`pow2_binary64_15845` `sub-neg_binary64_23259` `pow-sqr_binary64_19488` `sum-log_binary64_4602` `div-exp_binary64_3880` `cbrt-undiv_binary64_2158` `unswap-sqr_binary64_7548` `cbrt-undiv_binary64_3863` `pow-plus_binary64_6279` `pow1/3_binary64_14482` `pow-prod-up_binary64_148` `pow-exp_binary64_12422` `frac-times_binary64_19866` `pow-plus_binary64_4574` `pow1/3_binary64_2888` `diff-log_binary64_2557` `pow-prod-up_binary64_17539` `diff-cos_binary64_6026` `pow-plus_binary64_4233` `associate-/l/_binary64_17757` `pow-sqr_binary64_19829` `associate-l/_binary64_19799` `pow-sqr_binary64_6871` `frac-times_binary64_12705` `cube-prod_binary64_20225` `associate-+l+_binary64_17061` `sqr-pow_binary64_6529` `cube-div_binary64_7609` `flip-+_binary64_19489` `-commutative_binary64_2737` `frac-sub_binary64_10317` `frac-add_binary64_5883` `log-div_binary64_8349` `flip3--_binary64_8266` `diff-log_binary64_17220` `frac-add_binary64_1791` `exp-sum_binary64_8308` `unpow-prod-down_binary64_20958` `pow-to-exp_binary64_9695` `inv-pow_binary64_16531` `pow-sqr_binary64_51` `flip3-+_binary64_5878` `flip3-+_binary64_763` `associate-/l/_binary64_7868` `pow1/3_binary64_10390` `associate--l+_binary64_23203` `associate-+l+_binary64_4103` `pow-sqr_binary64_9940` `1-exp_binary64_1827` `distribute-lft-in_binary64_19464` `cube-div_binary64_14429` `difference-of-sqr-1_binary64_21531` `rec-exp_binary64_1833` `pow-sqr_binary64_17442` `rec-exp_binary64_16837` `pow-pow_binary64_12085` `frac-times_binary64_5203` `swap-sqr_binary64_2432` `associate-l/_binary64_13320` `rem-sqrt-square_binary64_6570` `diff-log_binary64_4262` `log-pow_binary64_2213` `pow2_binary64_17209` `clear-num_binary64_1441` `div-sub_binary64_17474` `associate-+l+_binary64_15015` `rem-log-exp_binary64_11713` `associate-+l-_binary64_8879` `associate-/l/_binary64_12301` `associate-/r/_binary64_5480` `pow-sqr_binary64_7212` `associate-+l-_binary64_18768` `sum-log_binary64_8694` `sqrt-pow2_binary64_20216` `pow-prod-down_binary64_2877` `div-sub_binary64_3493` `frac-times_binary64_8272` `flip3-+_binary64_19518` `associate-l/_binary64_5818` `associate-/r_binary64_21505` `flip-+_binary64_734` `rem-sqrt-square_binary64_4865` `frac-add_binary64_10316` `div-sub_binary64_21907` `diff-log_binary64_16197` `pow-plus_binary64_7984` `pow2_binary64_4251` `pow-pow_binary64_150` `sum-log_binary64_15514` `flip--_binary64_9260` `associate-l/_binary64_19117` `pow1/3_binary64_18233` `un-div-inv_binary64_3486` `pow-prod-up_binary64_10037` `frac-times_binary64_18161` `1-exp_binary64_16831` `flip--_binary64_17103` `-commutative_binary64_7511` `log-div_binary64_5621` `sub-neg_binary64_6891` `associate-/l/_binary64_2753` `pow-prod-up_binary64_20949` `distribute-rgt-in_binary64_19465` `pow-flip_binary64_6972` `associate-/r/_binary64_7867` `sub-neg_binary64_2799` `frac-2neg_binary64_1453` `difference-of-squares_binary64_3116` `pow-prod-down_binary64_8333` `rem-log-exp_binary64_12395` `unswap-sqr_binary64` `pow-to-exp_binary64_488` `log-div_binary64_9031` `unpow-prod-down_binary64_9364` `sub-neg_binary64_22577` `distribute-rgt-in_binary64_22193` `pow-sqr_binary64_19147` `flip-+_binary64_22217` `flip--_binary64_3122` `frac-times_binary64_2816` `flip-+_binary64_5849` `pow2_binary64_6297` `div-inv_binary64_7236` `flip3--_binary64_9289` `un-div-inv_binary64_16103` `diff-log_binary64_852` `rem-sqrt-square_binary64_2137` `exp-prod_binary64_8314` `cbrt-prod_binary64_21933` `cbrt-undiv_binary64_4204` `pow-prod-up_binary64_19585` `cube-div_binary64_12724` `associate-r/_binary64_6158` `flip--_binary64_8237` `rem-sqrt-square_binary64_4183` `associate-l/_binary64_11956` `-commutative_binary64_3760` `frac-sub_binary64_17137` `diff-log_binary64_8013` `sum-log_binary64_9376` `+-commutative_binary64_23196` `cbrt-undiv_binary64_7614` `div-exp_binary64_7631` `swap-sqr_binary64_13685` `pow-plus_binary64_15827` `flip3--_binary64_17132` `pow-prod-up_binary64_19244` `pow-to-exp_binary64_2193` `associate-r/_binary64_20` `associate--r-_binary64_10929` `pow-prod-up_binary64_19926` `pow-prod-up_binary64_6968` `pow-sqr_binary64_12668` `distribute-lft-in_binary64_22192` `div-sub_binary64_13041` `sum-log_binary64_8353` `rem-sqrt-square_binary64_8275` `flip3--_binary64_3151` `cube-div_binary64_4881` `associate-r/_binary64_2748` `sum-log_binary64_2215` `log-pow_binary64_5623` `diff-log_binary64_9377` `associate-/l/_binary64_11619` `pow1/2_binary64_6637` `pow-plus_binary64_3892` `frac-times_binary64_2134` `associate-/l/_binary64_18780` `sum-log_binary64_7671` `pow-plus_binary64_17191` `associate-/l/_binary64_15370` `associate--r+_binary64_15359` `associate-/r/_binary64_6503` `associate-+l+_binary64_2057` `log-div_binary64_20966` `pow2_binary64_3910` `frac-add_binary64_17136` `swap-sqr_binary64_14367` `frac-times_binary64_2475` `associate--l-_binary64_357` `pow2_binary64_4592` `+-commutative_binary64_8192` `associate-/l/_binary64_5481` `associate-l/_binary64_4795` `distribute-lft-out--_binary64_22195` `inv-pow_binary64_12780` `associate-/l/_binary64_2071` `frac-add_binary64_4178` `div-sub_binary64_18497` `frac-times_binary64` `sqr-abs_binary64_17143` `inv-pow_binary64_3232` `unswap-sqr_binary64_2774` `sub-neg_binary64_71` `frac-sub_binary64_6225` `flip3-+_binary64_22246` `pow-exp_binary64_487` `pow-sqr_binary64_20852` `cancel-sign-sub-inv_binary64_23232` `pow-to-exp_binary64_12423` `associate-l/_binary64_6159` `clear-num_binary64_20196` `pow-pow_binary64_21292` `rem-sqrt-square_binary64_3501` `*-commutative_binary64` `pow-prod-up_binary64_7309` `diff-log_binary64_11764` `cube-div_binary64_13747` `diff-log_binary64_7672` `frac-2neg_binary64_20208` `frac-add_binary64_14067` `unpow-prod-up_binary64_11409` `frac-times_binary64_88` `+-commutative_binary64_7510`
3×	`difference-of-squares_binary64_17097` `pow-sqr_binary64_8235` `div-sub_binary64_16792` `+-commutative_binary64_16035` `flip-+_binary64_6872` `flip3--_binary64_5197` `pow-unpow_binary64_12431` `1-exp_binary64_3532` `clear-num_binary64_418` `exp-diff_binary64_11379` `log-pow_binary64_508` `inv-pow_binary64_20964` `pow-flip_binary64_21976` `pow2_binary64_5615` `flip--_binary64_5168` `sub-neg_binary64_5186` `+-commutative_binary64_4782` `flip3-+_binary64_8606` `rec-exp_binary64_3538` `+-commutative_binary64_19104` `log-prod_binary64_11417` `associate-l/_binary64_19458` `neg-sub0_binary64_11326` `associate-/l/_binary64_13324` `frac-sub_binary64_14750` `rec-exp_binary64_14109` `+-commutative_binary64_13307` `1-exp_binary64_17854` `inv-pow_binary64_18236` `distribute-lft-out--_binary64_3781` `distribute-lft-neg-in_binary64_10606` `diff-log_binary64_5626` `clear-num_binary64_6215` `diff-log_binary64_12446` `pow1/2_binary64_3227` `rem-sqrt-square_binary64_1455` `distribute-lft-out_binary64_15715` `associate-/l_binary64_8207` `sqr-pow_binary64_17100` `cbrt-undiv_binary64_7955` `cancel-sign-sub-inv_binary64_5500` `associate-l/_binary64_13661` `pow-sqr_binary64_4825` `rec-exp_binary64_16155` `pow-flip_binary64_10041` `associate-+r+_binary64_11945` `prod-exp_binary64_8311` `1-exp_binary64_16149` `flip3--_binary64_2810` `+-commutative_binary64_2395` `div-sub_binary64_4857` `pow-plus_binary64_5597` `pow-pow_binary64_1173` `frac-2neg_binary64_430` `cube-mult_binary64_22614` `associate-+l+_binary64_13992` `diff-log_binary64_5285` `1-exp_binary64_6260` `distribute-rgt-out--_binary64_16741` `sqrt-prod_binary64_19872` `frac-2neg_binary64_7591` `pow-unpow_binary64_14477` `div-exp_binary64_2516` `distribute-rgt-neg-in_binary64_7879` `rec-exp_binary64_2856` `pow1/3_binary64_6639` `-commutative_binary64_22856` `rec-exp_binary64_14450` `distribute-lft-out_binary64_14351` `un-div-inv_binary64_13375` `pow1/3_binary64_12777` `log-pow_binary64_12443` `inv-pow_binary64_6983` `associate-+l+_binary64_16720` `pow-prod-down_binary64_22996` `+-commutative_binary64_5464` `1-exp_binary64_20582` `pow2_binary64_8002` `un-div-inv_binary64_10647` `frac-2neg_binary64_89` `unpow2_binary64_484` `pow-to-exp_binary64_3898` `flip3-+_binary64_6901` `1-exp_binary64_14785` `flip3-+_binary64_21905` `pow-unpow_binary64_10385` `pow-exp_binary64_3897` `clear-num_binary64_77` `pow-exp_binary64_17196` `pow-to-exp_binary64_21289` `cube-mult_binary64_2154` `pow-unpow_binary64_3224` `pow-unpow_binary64_7657` `clear-num_binary64_7238` `flip3-+_binary64_13039` `sub-neg_binary64_3822` `1-exp_binary64_19218` `flip-+_binary64_8577` `pow2_binary64_500` `swap-sqr_binary64_16754` `sqr-pow_binary64_11303` `associate-/l_binary64_4115` `log-pow_binary64_12102` `+-commutative_binary64_12966` `sum-log_binary64_19265` `associate-/r/_binary64_18779` `pow-unpow_binary64_12772` `clear-num_binary64_4851` `-commutative_binary64_4783` `pow-unpow_binary64_2542` `pow-unpow_binary64_11408` `pow-unpow_binary64_837` `inv-pow_binary64_21987` `distribute-lft-neg-in_binary64_7878` `log-pow_binary64_849` `div-inv_binary64_4167` `pow-flip_binary64_22658` `frac-2neg_binary64_6227` `cancel-sign-sub-inv_binary64` `pow-plus_binary64_482` `distribute-rgt-out--_binary64_12649` `sub-neg_binary64_2458` `rem-cube-cbrt_binary64_21243` `rem-exp-log_binary64_9325` `+-commutative_binary64_10920` `clear-num_binary64_2123` `cube-div_binary64_12042` `pow-unpow_binary64_2883` `distribute-rgt-out--_binary64_16400` `flip--_binary64_19831` `cbrt-div_binary64_11704` `pow-flip_binary64_20953` `1-exp_binary64_2850` `pow2_binary64_20619` `+-commutative_binary64_690` `+-commutative_binary64_2054` `frac-times_binary64_21912` `sum-log_binary64_12445` `pow1/3_binary64_842` `pow2_binary64_5956` `flip-+_binary64_13010` `1-exp_binary64_14444` `rec-exp_binary64_6266` `flip3--_binary64_19860` `unpow3_binary64_2190` `cbrt-undiv_binary64_2499` `diff-log_binary64_2216` `pow2_binary64_1523` `associate--l+_binary64_10927` `associate-+l-_binary64_17404` `frac-times_binary64_19525` `inv-pow_binary64_21305` `sqrt-pow1_binary64_1460` `flip--_binary64_2781` `pow1/3_binary64_17210` `flip-+_binary64_21876` `pow-flip_binary64_18225` `sqrt-pow1_binary64_3165` `exp-neg_binary64_11378` `difference-of-squares_binary64_9254` `sum-log_binary64_2897` `rec-exp_binary64_15814` `frac-sub_binary64_16796` `exp-prod_binary64_20931` `sum-log_binary64_5966` `pow-sqr_binary64_12327` `+-commutative_binary64_17399` `sqr-pow_binary64_732` `pow-exp_binary64_21288` `+-commutative_binary64_5805` `div-inv_binary64_7577` `log-prod_binary64_2892` `exp-prod_binary64_2176` `pow-pow_binary64_9698` `associate-r/_binary64_8204` `sub-neg_binary64_14734` `rem-log-exp_binary64_20238` `pow-prod-up_binary64_12424` `div-exp_binary64_7972` `pow-unpow_binary64_13795` `rec-exp_binary64_17860` `pow-unpow_binary64_4929` `1-exp_binary64_15808` `associate-/r_binary64_4114` `pow-plus_binary64_20601` `pow-flip_binary64_1175` `rec-exp_binary64_14791` `log-prod_binary64_14145` `difference-of-sqr-1_binary64_7891` `rec-exp_binary64_18883` `div-inv_binary64_8259` `1-exp_binary64_14103` `pow1/3_binary64_16528` `frac-times_binary64_10318` `distribute-lft-out--_binary64_9237` `distribute-lft-out_binary64_9577` `rem-exp-log_binary64_20919` `distribute-lft-out_binary64_4121` `pow-plus_binary64_1505` `cbrt-prod_binary64_20228` `div-sub_binary64_8949` `clear-num_binary64_7579` `rec-exp_binary64_20588` `pow-plus_binary64_5938` `cbrt-div_binary64_16478` `distribute-rgt-neg-in_binary64_10607` `rem-exp-log_binary64_11030` `rec-exp_binary64_19224` `sum-log_binary64_13468` `pow-unpow_binary64_1178` `sum-log_binary64_13127` `rec-exp_binary64_8994` `+-commutative_binary64_8533` `frac-2neg_binary64_4863` `exp-to-pow_binary64_20941` `frac-2neg_binary64_7250` `1-exp_binary64_18877` `associate-/l*_binary64_5820` `sum-log_binary64_4943` `+-commutative_binary64_2736` `cos-diff_binary64_19311` `frac-2neg_binary64_2135` `pow-exp_binary64_11399` `cbrt-unprod_binary64_8295` `diff-log_binary64_3921` `sqrt-prod_binary64_13393` `1-exp_binary64_8988` `div-sub_binary64_20884` `pow-unpow_binary64_8680` `sub-neg_binary64_5527` `sum-log_binary64_5625`
2×	`sqr-pow_binary64_9257` `1-exp_binary64_22969` `div-inv_binary64_5531` `pow-pow_binary64_13790` `pow1/3_binary64_11413` `pow-to-exp_binary64_20948` `associate-/l/_binary64_1730` `associate-+r+_binary64_7512` `div-sub_binary64_14746` `sqr-pow_binary64_13690` `pow-exp_binary64_2874` `log-div_binary64_17215` `rem-sqrt-square_binary64_16459` `pow-sqr_binary64_14714` `sqrt-div_binary64_13394` `+-commutative_binary64_21491` `pow-prod-up_binary64_8673` `distribute-lft-out_binary64_711` `frac-sub_binary64_16114` `rem-cube-cbrt_binary64_2488` `pow-to-exp_binary64_147` `cube-mult_binary64_3177` `pow-exp_binary64_3215` `pow-sqr_binary64_15396` `pow-plus_binary64_19919` `rec-exp_binary64_22293` `pow-sqr_binary64_10622` `distribute-lft-out--_binary64_3099` `diff-log_binary64_20630` `pow-plus_binary64_1164` `inv-pow_binary64_1186` `un-div-inv_binary64_16785` `flip--_binary64_18808` `pow-exp_binary64_2533` `exp-diff_binary64_17176` `rec-exp_binary64_128` `associate-l/_binary64_21` `pow-prod-up_binary64_17880` `unpow3_binary64_2531` `inv-pow_binary64_1868` `sqr-pow_binary64_2437` `inv-pow_binary64_11757` `log-pow_binary64_20286` `associate--l+_binary64_6153` `cube-mult_binary64_12725` `diff-log_binary64_19607` `inv-pow_binary64_12439` `associate-/l/_binary64_21508` `rem-cube-cbrt_binary64_12036` `associate-+r+_binary64_15355` `un-div-inv_binary64_18490` `-commutative_binary64_8193` `sub-div_binary64_13043` `unsub-neg_binary64_19168` `1-exp_binary64_4214` `distribute-lft-out_binary64_6167` `diff-log_binary64_9718` `rem-square-sqrt_binary64_5887` `diff-log_binary64_21653` `pow-exp_binary64_20947` `distribute-lft-out_binary64_9918` `associate-/l/_binary64_1389` `pow2_binary64_12435` `distribute-lft-out--_binary64_17080` `distribute-lft-out_binary64_12987` `sqr-pow_binary64_8575` `distribute-lft-out_binary64_1734` `sqrt-unprod_binary64_5895` `associate-/r/_binary64_21507` `pow1/2_binary64` `pow2_binary64_6979` `sum-log_binary64_12104` `un-div-inv_binary64_20877` `rem-exp-log_binary64_12053` `pow-plus_binary64_6961` `unpow3_binary64_8669` `sqr-pow_binary64_12667` `unpow3_binary64_7646` `unpow3_binary64_9692` `pow2_binary64_1182` `-commutative_binary64_23197` `difference-of-squares_binary64_5503` `rem-sqrt-square_binary64_5888` `diff-log_binary64_170` `sub-neg_binary64_9960` `distribute-lft-in_binary64_2755` `difference-of-squares_binary64_2775` `+-commutative_binary64_4441` `pow-pow_binary64_12767` `distribute-lft-out_binary64_15374` `distribute-rgt-in_binary64_5143` `cbrt-div_binary64_7612` `pow-flip_binary64_14133` `rem-cube-cbrt_binary64_9649` `sqr-pow_binary64_50` `cbrt-div_binary64_13750` `cube-prod_binary64_17156` `sqrt-pow1_binary64_3506` `div-sub_binary64_19179` `difference-of-sqr-1_binary64_11642` `sqrt-pow1_binary64_16464` `associate--l+_binary64_5130` `unpow3_binary64_4918` `pow-plus_binary64_141` `1-exp_binary64_122` `unpow3_binary64_2872` `associate-/r/_binary64_19461` `associate-/l/_binary64_25` `pow-flip_binary64_1857` `pow-flip_binary64_12087` `diff-log_binary64_8354` `div-sub_binary64_20543` `associate-+l+_binary64_16038` `div-exp_binary64_5585` `pow1/2_binary64_3568` `pow-plus_binary64_12758` `frac-2neg_binary64_2476` `rem-square-sqrt_binary64_1113` `rem-sqrt-square_binary64_20210` `associate-/r/_binary64_5821` `diff-log_binary64_15174` `inv-pow_binary64_14144` `unpow3_binary64_3213` `associate-/l_binary64_6502` `associate-+r+_binary64_12286` `pow-prod-down_binary64_23337` `pow-prod-up_binary64_2535` `rem-cbrt-cube_binary64_21244` `pow-prod-up_binary64_11742` `1-exp_binary64_12057` `rec-exp_binary64_4220` `div-inv_binary64_7918` `diff-log_binary64_19948` `frac-add_binary64_12362` `frac-2neg_binary64_5545` `distribute-lft-out--_binary64_12306` `frac-sub_binary64_22252` `distribute-rgt-out--_binary64_21515` `difference-of-squares_binary64_19825` `unpow-prod-down_binary64_12774` `pow-exp_binary64_12763` `log-div_binary64_12441` `sqr-pow_binary64_14372` `pow-pow_binary64_8675` `exp-diff_binary64_9333` `pow-sqr_binary64_3120` `rem-square-sqrt_binary64_3841` `rem-cube-cbrt_binary64_2829` `+-commutative_binary64_5123` `pow-prod-up_binary64_15493` `associate-+l+_binary64_1716` `sqr-pow_binary64_4824` `associate--l+_binary64_9222` `pow-prod-up_binary64_13106` `difference-of-sqr-1_binary64_730` `cube-div_binary64_3176` `unpow3_binary64_22650` `pow-flip_binary64_12428` `associate-+r+_binary64_3761` `distribute-rgt-neg-out_binary64_1402` `frac-sub_binary64_12022` `distribute-lft-neg-out_binary64_7880` `frac-2neg_binary64_7932` `cbrt-undiv_binary64_8296` `pow-pow_binary64_4583` `pow1/2_binary64_16526` `div-exp_binary64_8313` `div-sub_binary64_15087` `distribute-lft-out_binary64_7531` `clear-num_binary64_15422` `+-commutative_binary64_6146` `pow-sqr_binary64_11645` `pow-prod-up_binary64_10719` `pow-sqr_binary64_8917` `pow2_binary64_159` `distribute-lft-out--_binary64_4122` `associate-r/_binary64_1725` `unpow-prod-down_binary64_16525` `sub-div_binary64_16112` `associate-l/_binary64_2067` `pow-sqr_binary64_21534` `cube-mult_binary64_14430` `cube-div_binary64_9655` `pow-exp_binary64_13786` `pow2_binary64_17550` `cube-mult_binary64_1131` `associate-l/_binary64_2408` `sum-log_binary64_20288` `sqrt-pow1_binary64` `cube-prod_binary64_12723` `div-inv_binary64_6554` `pow2_binary64_20960` `1-exp_binary64_10693` `exp-diff_binary64_8310` `cube-mult_binary64_2495` `un-div-inv_binary64_15762` `associate-l/_binary64_8205` `pow-exp_binary64_146` `cube-prod_binary64_14428` `associate-+r+_binary64_13650` `pow-flip_binary64_2880` `rec-exp_binary64_17519` `pow-plus_binary64_19578` `pow-prod-up_binary64_3558` `cbrt-div_binary64_4884` `rem-sqrt-square_binary64_3160` `unpow3_binary64_1167` `unpow3_binary64_13784` `associate-r/_binary64_19798` `log-div_binary64_847` `log-pow_binary64_8351` `sub-div_binary64_14066` `associate--r+_binary64_2060` `associate-+r-_binary64_10924` `clear-num_binary64_5533` `rec-exp_binary64_10699` `associate-+r-_binary64_12` `distribute-lft-out--_binary64_6509` `unpow-prod-down_binary64_14479` `prod-exp_binary64_23315` `flip3--_binary64_18837` `pow-prod-up_binary64_13447` `distribute-rgt-neg-out_binary64_19134` `associate-r/_binary64_702` `pow-prod-up_binary64_3217` `associate-/l/_binary64_20144` `clear-num_binary64_6556` `sub-neg_binary64_19849` `pow1/2_binary64_1522` `pow-flip_binary64_16861` `rem-cube-cbrt_binary64_14423` `sqr-pow_binary64_2778` `div-sub_binary64_5539` `pow-exp_binary64_8671` `+-commutative_binary64_20127` `cube-mult_binary64_17158` `unpow3_binary64_12761` `inv-pow_binary64_2891` `cube-mult_binary64_13748` `pow-exp_binary64_14468` `rem-cube-cbrt_binary64_12718` `distribute-lft-out_binary64_15033` `sqrt-div_binary64_19873` `cube-mult_binary64_2836` `pow2_binary64_12776` `rem-sqrt-square_binary64` `pow-sqr_binary64_13350` `frac-2neg_binary64_15434` `associate-*l/_binary64_12638` `pow2_binary64_19255` `log-div_binary64_20284` `div-sub_binary64_23271` `rec-exp_binary64_12063` `cube-mult_binary64_7610` `pow-plus_binary64_17532` `unpow3_binary64_17194` `associate--l+_binary64_17065` `frac-2neg_binary64_6568` `clear-num_binary64_7920` `pow-plus_binary64_7302` `unswap-sqr_binary64_23234` `associate-+l-_binary64_1377` `sub-neg_binary64_1776` `frac-sub_binary64_14068` `pow-plus_binary64_19237` `+-commutative_binary64_12284` `log-prod_binary64_5620` `sum-log_binary64_5284` `cube-div_binary64_2494` `difference-of-sqr-1_binary64_10960` `sqr-pow_binary64_16418` `1-exp_binary64_17513` `cube-prod_binary64_13746` `rem-cube-cbrt_binary64_3170` `pow-sqr_binary64_13009` `pow-prod-up_binary64_21631` `rem-log-exp_binary64_5575` `rem-cube-cbrt_binary64_13741` `cube-mult_binary64_4882` `diff-log_binary64_4944` `div-sub_binary64_83` `pow-div_binary64_3222` `cancel-sign-sub-inv_binary64_9933` `unpow3_binary64_14466` `distribute-lft-out--_binary64_5486` `+-commutative_binary64_9215` `div-sub_binary64_22248` `sqr-pow_binary64_20851` `sub-neg_binary64_753` `div-sub_binary64_14405` `pow2_binary64_19937` `sin-mult_binary64_19329` `un-div-inv_binary64_3145` `pow-to-exp_binary64_17197` `inv-pow_binary64_16872` `exp-diff_binary64_5582` `pow-sqr_binary64_8576` `inv-pow_binary64_23351` `sqrt-unprod_binary64_1121` `cube-prod_binary64_8631` `inv-pow_binary64_12098` `sqr-pow_binary64_1073` `pow-plus_binary64_10030` `associate--l+_binary64_697` `pow-sqr_binary64_17783` `associate-+l+_binary64_7854` `sqr-abs_binary64_3844` `unpow1/3_binary64_4578` `cube-mult_binary64_8633` `log-div_binary64_2211` `pow2_binary64_19596` `pow-sqr_binary64_2438` `pow-plus_binary64_12417` `exp-lft-sqr_binary64_11386` `pow-prod-up_binary64_14811` `distribute-lft-out_binary64_20489` `unpow-prod-down_binary64_13797` `pow-sqr_binary64_3461` `sub-neg_binary64_8255` `distribute-rgt-out_binary64_9579` `cube-mult_binary64_9656` `+-commutative_binary64_19445` `cbrt-unprod_binary64_23299` `rec-exp_binary64_22975` `frac-sub_binary64_13045` `sqrt-unprod_binary64_22604` `associate-+l+_binary64_3762` `diff-log_binary64_2898` `pow1/3_binary64_9708` `clear-num_binary64_2464` `sum-log_binary64_21652` `pow-to-exp_binary64_11400` `pow-pow_binary64_14472` `exp-sum_binary64_2170` `associate-+l+_binary64_13651` `difference-of-squares_binary64_12323` `pow-flip_binary64_23340` `pow-plus_binary64_20942` `associate-+l-_binary64_12630` `cbrt-undiv_binary64_5568` `sqr-pow_binary64_3119` `div-sub_binary64_1106` `associate-/r/_binary64_8208` `cos-mult_binary64_19328` `pow-flip_binary64_13110` `rem-cube-cbrt_binary64_8626` `sum-log_binary64_19606` `un-div-inv_binary64_1099` `diff-log_binary64_8695` `pow-pow_binary64_11062` `unpow-prod-down_binary64_8682` `pow-prod-up_binary64_9014` `un-div-inv_binary64_14739` `cbrt-div_binary64_12045` `rem-cube-cbrt_binary64_17151` `cube-div_binary64_2835` `sqr-pow_binary64_16759` `sqrt-unprod_binary64_3849` `distribute-rgt-in_binary64_2756` `associate-+r+_binary64_1374` `cancel-sign-sub-inv_binary64_1749` `associate-+r+_binary64_13991` `inv-pow_binary64_10052` `associate-/l/_binary64_8209` `distribute-lft-in_binary64_5142` `div-sub_binary64_7585`
1×	`div-sub_binary64_17815` `sqrt-unprod_binary64_4872` `pow-plus_binary64_10712` `frac-2neg_binary64_5886` `unpow1/3_binary64_827` `rem-square-sqrt_binary64_4182` `un-div-inv_binary64_6896` `associate-+l-_binary64_2400` `rem-log-exp_binary64_8303` `distribute-rgt-in_binary64_14009` `rem-square-sqrt_binary64_6228` `un-div-inv_binary64_16444` `sub-div_binary64_22250` `inv-pow_binary64_20623` `inv-pow_binary64_13121` `div-inv_binary64_3826` `distribute-rgt-neg-in_binary64_21860` `pow-sqr_binary64_16419` `frac-add_binary64_14749` `flip--_binary64_4486` `pow-pow_binary64_4924` `difference-cubes_binary64_22586` `sqrt-pow1_binary64_19874` `pow2_binary64_9025` `sum-log_binary64_18583` `pow-plus_binary64_14463` `+-commutative_binary64_11943` `sqrt-unprod_binary64_17830` `rem-cbrt-cube_binary64_13742` `pow-to-exp_binary64_2534` `div-sub_binary64_7926` `associate-+r-_binary64_1376` `sub-neg_binary64` `cancel-sign-sub-inv_binary64_8569` `rem-cube-cbrt_binary64_4875` `sub-div_binary64_1108` `rem-cbrt-cube_binary64_12719` `cbrt-undiv_binary64_21595` `distribute-lft-out_binary64_2075` `neg-mul-1_binary64_9622` `distribute-rgt-out--_binary64_20492` `inv-pow_binary64_9029` `div-sub_binary64_21225` `un-div-inv_binary64_4168` `div-sub_binary64_1788` `cbrt-undiv_binary64_5909` `pow-to-exp_binary64_829` `rem-square-sqrt_binary64_14412` `sqr-abs_binary64_6231` `diff-log_binary64_21312` `rem-exp-log_binary64_6938` `sqrt-unprod_binary64_13738` `pow-plus_binary64_17873` `rem-log-exp_binary64_2165` `div-sub_binary64_21566` `times-frac_binary64_3835` `un-div-inv_binary64_11329` `flip3--_binary64` `pow-plus_binary64_3551` `distribute-rgt-neg-out_binary64_13678` `rem-sqrt-square_binary64_13390` `exp-sum_binary64_12059` `+-commutative_binary64_18422` `inv-pow_binary64_163` `pow-plus_binary64_16509` `frac-sub_binary64_16455` `frac-times_binary64_22253` `diff-log_binary64` `pow-to-exp_binary64_7649` `flip3--_binary64_8607` `pow-plus_binary64_14804` `un-div-inv_binary64_12352` `rem-square-sqrt_binary64_13730` `associate-/r/_binary64_6162` `pow-plus_binary64_21624` `pow-exp_binary64_7648` `inv-pow_binary64_15849` `pow-flip_binary64_13451` `diff-log_binary64_13128` `diff-log_binary64_18584` `difference-of-squares_binary64` `sum-log_binary64_18242` `sqrt-unprod_binary64_12715` `pow-flip_binary64_16179` `associate--l-_binary64_11269` `pow-flip_binary64_17884` `sqrt-pow1_binary64_11008` `distribute-rgt-out--_binary64_12308` `frac-sub_binary64_87` `associate-+l+_binary64_14674` `distribute-rgt-out_binary64_2759` `rem-log-exp_binary64_11372` `rem-cube-cbrt_binary64_1124` `associate-+l-_binary64_16040` `div-exp_binary64_21612` `pow1/2_binary64_11070` `exp-to-pow_binary64_6960` `pow-flip_binary64_22317` `unpow1/3_binary64_10375` `cancel-sign-sub-inv_binary64_4477` `sub-neg_binary64_13029` `inv-pow_binary64_13462` `flip3--_binary64_4515` `sub-neg_binary64_1094` `rem-square-sqrt_binary64_17140` `rem-cbrt-cube_binary64_14424` `unsub-neg_binary64_14394` `sum-log_binary64_11422` `inv-pow_binary64_16190` `inv-pow_binary64_10393` `neg-mul-1_binary64_21898` `pow-exp_binary64_4920` `frac-add_binary64_17477` `distribute-lft-out--_binary64_13329` `pow-exp_binary64_828` `div-sub_binary64_15428` `div-sub_binary64_8267` `pow1/2_binary64_13457` `pow1/2_binary64_19936` `rem-cbrt-cube_binary64_2148` `exp-diff_binary64_20245` `sqrt-unprod_binary64_6236` `difference-of-squares_binary64_9936` `rec-exp_binary64_22634` `associate-+l+_binary64_3080` `pow1/3_binary64_13800` `difference-of-sqr--1_binary64_20509` `distribute-lft-out_binary64_8554` `clear-num_binary64_4169` `exp-sum_binary64_5580` `distribute-lft-neg-in_binary64_9583` `inv-pow_binary64_14826` `exp-diff_binary64_2172` `rem-exp-log_binary64_5574` `pow1/2_binary64_11752` `frac-times_binary64_19184` `pow-plus_binary64_13781` `cancel-sign-sub-inv_binary64_18458` `pow-exp_binary64_10376` `distribute-rgt-out--_binary64_1055` `distribute-lft-in_binary64_14008` `pow-plus_binary64_2528` `+-commutative_binary64_19786` `distribute-lft-out--_binary64_19808` `rem-cbrt-cube_binary64_17152` `un-div-inv_binary64_10988` `unpow-prod-up_binary64_2202` `associate-/l/_binary64_12642` `clear-num_binary64_5874` `div-sub_binary64_22589` `unsub-neg_binary64_7915` `associate-+r-_binary64_16380` `swap-sqr_binary64_9934` `distribute-rgt-neg-out_binary64_14360` `distribute-rgt-neg-out_binary64_21862` `remove-double-div_binary64_21196` `un-div-inv_binary64_17808` `distribute-lft-neg-in_binary64_21859` `frac-2neg_binary64_4181` `pow-to-exp_binary64_3216` `rem-exp-log_binary64_2846` `pow-pow_binary64_2878` `pow-to-exp_binary64_14469` `sqrt-pow2_binary64_1120` `associate--l+_binary64_17406` `neg-mul-1_binary64_10645` `clear-num_binary64_3828` `distribute-lft-out--_binary64_1735` `sub-div_binary64_20545` `pow-flip_binary64_11064` `log-pow_binary64_9374` `pow-flip_binary64_10382` `rem-cbrt-cube_binary64_1125` `pow-sub_binary64_11407` `rem-cube-cbrt_binary64_2147` `difference-of-squares_binary64_13346` `pow-to-exp_binary64_8672` `unsub-neg_binary64_9620` `sqrt-pow1_binary64_11690` `pow-to-exp_binary64_12764` `sub-div_binary64_16794` `distribute-lft-in_binary64_18441` `rem-cbrt-cube_binary64_2830` `pow-plus_binary64_4915` `flip--_binary64` `unpow1/3_binary64_12080` `exp-to-pow_binary64_17190` `rem-cbrt-cube_binary64_7604` `pow-flip_binary64_15838` `associate-+l-_binary64_10243` `pow-to-exp_binary64_10377` `sum-log_binary64_21993` `un-div-inv_binary64_21900` `sub-div_binary64_19181` `pow-exp_binary64_1169` `un-div-inv_binary64_18149` `distribute-rgt-out--_binary64_22197` `sub-neg_binary64_18485` `exp-diff_binary64_11720` `pow-pow_binary64_10380` `associate-+l+_binary64_4444` `sqrt-unprod_binary64_4190` `rem-log-exp_binary64_2847` `sqrt-pow2_binary64_2143` `difference-of-squares_binary64_4480` `rem-exp-log_binary64_17168` `frac-sub_binary64_20547` `sqrt-unprod_binary64_14079` `pow2_binary64_11753` `pow-plus_binary64_15486` `+-commutative_binary64_15353` `neg-sub0_binary64_9621` `diff-log_binary64_4603` `un-div-inv_binary64_17467` `pow-plus_binary64_8666` `pow-flip_binary64_6290` `inv-pow_binary64_18918` `pow-to-exp_binary64_2875` `pow2_binary64_13117` `sqrt-pow1_binary64_11349` `pow-plus_binary64_3210` `unpow3_binary64_20263` `frac-sub_binary64_1110` `div-exp_binary64_5926` `pow-flip_binary64_19248` `neg-mul-1_binary64_7917` `pow2_binary64_16527` `associate--l+_binary64_12632` `un-div-inv_binary64_13034` `+-commutative_binary64_18081` `pow1/2_binary64_11411` `pow-pow_binary64_12426` `pow2_binary64_8684` `associate-+r+_binary64_4102` `diff-log_binary64_14151` `pow2_binary64_3569` `pow-to-exp_binary64_4921` `associate--l+_binary64_4107` `rem-cbrt-cube_binary64_3171` `pow1/3_binary64_4934` `diff-log_binary64_14833` `diff-log_binary64_1193` `sqr-abs_binary64_8277` `pow2_binary64_7320` `rem-cube-cbrt_binary64_7603` `diff-log_binary64_13469` `inv-pow_binary64_10734` `distribute-lft-out--_binary64_7191` `rem-cbrt-cube_binary64_12037` `rem-sqrt-square_binary64_19869` `rem-cbrt-cube_binary64_8627` `diff-log_binary64_6649` `pow2_binary64_3228` `remove-double-div_binary64_3123` `pow2_binary64_10730` `div-sub_binary64_6903` `pow-pow_binary64_2537` `pow-pow_binary64_7652` `associate-+r-_binary64_9560` `sub-neg_binary64_14052` `pow-plus_binary64_13099` `rem-log-exp_binary64_801` `pow2_binary64_2546` `associate-+r-_binary64_2058` `pow1/3_binary64_7662` `unsub-neg_binary64_72` `+-commutative_binary64_11261` `sub-neg_binary64_4504` `associate-+r-_binary64_12288` `distribute-lft-out_binary64_2757` `associate--r-_binary64_16044` `associate-/l_binary64_3774` `pow2_binary64_14481` `inv-pow_binary64_19259` `sqrt-undiv_binary64_22605` `pow-plus_binary64_8325` `rem-exp-log_binary64_20237` `distribute-lft-out_binary64_5485` `rem-square-sqrt_binary64_14071` `pow2_binary64_13458` `sqrt-unprod_binary64_8282` `associate-/r_binary64_3773` `associate-+r-_binary64_15698` `+-commutative_binary64_7169` `pow-to-exp_binary64_13787` `div-sub_binary64_14064` `inv-pow_binary64_3573` `associate-+l-_binary64_15017` `frac-2neg_binary64_3840` `sqr-abs_binary64_4185` `associate--r-_binary64_10247` `frac-sub_binary64_19183` `associate-+l-_binary64_6151` `pow2_binary64_15504` `distribute-rgt-in_binary64_18442` `sqrt-unprod_binary64_14420` `rem-square-sqrt_binary64_431` `sqrt-unprod_binary64_439` `associate-+l-_binary64_2059` `pow-to-exp_binary64_1170` `clear-num_binary64_8261` `unsub-neg_binary64_1436` `div-sub_binary64_10654` `pow2_binary64_4933` `pow2_binary64_17891` `neg-log_binary64_9719` `sqr-abs_binary64_4867` `log-pow_binary64_167` `sqrt-pow1_binary64_13395` `pow-flip_binary64_14815` `flip--_binary64_8578` `inv-pow_binary64_22669` `rem-square-sqrt_binary64_12707` `sum-log_binary64_19947` `div-inv_binary64_21558` `exp-neg_binary64_11719` `associate-+r-_binary64_15357` `sqr-abs_binary64_5890` `un-div-inv_binary64_14398` `clear-num_binary64_21560` `sum-log_binary64_7330` `pow-exp_binary64_9353` `distribute-lft-out--_binary64_2758` `sqrt-unprod_binary64_17148` `pow-plus_binary64_11735` `inv-pow_binary64_22328` `pow2_binary64_13799` `unpow1/3_binary64_11739` `rem-square-sqrt_binary64_8274` `difference-of-squares_binary64_1411` `distribute-rgt1-in_binary64_21176` `neg-sub0_binary64_11667` `associate-+l+_binary64_20471` `rem-exp-log_binary64_14099` `pow-pow_binary64_11403` `div-sub_binary64_13723` `associate-+r-_binary64_12970` `frac-2neg_binary64_8273` `associate-+r-_binary64_18085` `distribute-rgt-neg-out_binary64_38` `pow2_binary64_8343` `pow-flip_binary64_3562` `diff-log_binary64_3239` `frac-2neg_binary64_21572` `rem-cbrt-cube_binary64_2489` `pow-to-exp_binary64_9354` `rem-sqrt-square_binary64_11003` `associate-/l/_binary64_4117` `pow-plus_binary64_9007` `inv-pow_binary64_6301` `+-commutative_binary64_21832` `distribute-rgt-out_binary64_17081` `rem-square-sqrt_binary64_4864` `diff-log_binary64_21994` `sub-neg_binary64_8596` `distribute-rgt-in_binary64_22875` `rem-log-exp_binary64_8985` `pow-pow_binary64_3219` `sub-div_binary64_85` `distribute-rgt-out--_binary64_32` `associate--l-_binary64_18089` `distribute-lft-out--_binary64_1394` `rem-exp-log_binary64_8302` `distribute-lft-in_binary64_22874` `rem-log-exp_binary64_14100` `pow-flip_binary64_18907` `associate--l+_binary64_8540` `inv-pow_binary64_11075` `pow2_binary64_10048` `pow2_binary64_21642` `sqr-abs_binary64_12710` `associate--l-_binary64_12633` `pow-flip_binary64_152` `div-sub_binary64_9631` `div-sub_binary64_10313` `pow-plus_binary64_13440` `pow-pow_binary64_832` `exp-prod_binary64_6950` `unsub-neg_binary64_13712` `pow2_binary64_14822` `pow-flip_binary64_9018` `pow-flip_binary64_10723` `difference-of-sqr-1_binary64_9596` `1-exp_binary64_22628` `sub-div_binary64_16453` `cube-mult_binary64_20227` `distribute-rgt1-in_binary64_2762` `rem-cbrt-cube_binary64_4876` `inv-pow_binary64_17895` `pow-prod-up_binary64_16516` `swap-sqr_binary64_7206` `pow-flip_binary64_20612`

Calls

2484 calls:

340.0ms	(.f64 (/.f64 (/.f64 1 a) (sqrt.f64 2)) (/.f64 (/.f64 (-.f64 (.f64 x y) (.f64 (.f64 z 9) t)) (sqrt.f64 (sqrt.f64 2))) (sqrt.f64 (sqrt.f64 2))))
119.0ms	(-.f64 (/.f64 (/.f64 (+.f64 z x) y) (/.f64 1 (-.f64 z x))) y)
65.0ms	(.f64 (/.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 (+.f64 t 1) z)) (cbrt.f64 (-.f64 (+.f64 t 1) z)))) (cbrt.f64 (-.f64 (+.f64 t 1) z))) (-.f64 a x))
64.0ms	(+.f64 x (pow.f64 (/.f64 (-.f64 y z) (/.f64 (-.f64 a z) (-.f64 t x))) 1))
64.0ms	(.f64 (/.f64 (-.f64 x 2) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328))) (/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328))))

localize9.3s (1%)

bsearch1.2s (0.1%)

Compiler: Compiled 447 to 478 computations (-6.9% saved)

Details

sample5.1min (32.6%)

series3.2min (20.5%)

simplify1.9min (12.2%)

analyze1.8min (11.3%)

prune1.7min (10.9%)

regimes1.3min (8.3%)

rewrite29.9s (3.2%)

localize9.3s (1%)

bsearch1.2s (0.1%)

end6.0ms (0%)

Profiling