Date:	Monday, December 7th, 2020
Commit:	6fe64d41 on master
Hostname:	warfa with Racket 7.9
Seed:	2020342
Parameters:	256 points for 4 iterations
Flags:	`setup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback` default

Details

sample8.8min (31%)

Algorithm

538×

intervals

Results

2.2min	2099737×	body	128	valid
36.8s	289955×	body	128	invalid
27.5s	49799×	body	1024	valid
12.7s	34793×	body	512	valid
11.8s	88844×	body	128	nan
7.8s	10406×	body	2048	valid
4.0s	18016×	body	256	valid
3.3s	8841×	body	1024	invalid
1.3s	5069×	body	512	invalid
848.0ms	369×	body	4096	valid
535.0ms	2976×	body	256	invalid
385.0ms	1221×	body	1024	nan
231.0ms	931×	body	512	nan
93.0ms	847×	body	128	overflowed
77.0ms	498×	body	256	nan
1.0ms	3×	body	2048	nan

Compiler

Compiled 126505 to 93977 computations (25.7% saved)

series6.4min (22.4%)

Calls

2578 calls:

14.7s	(.f64 (.f64 x (pow.f64 (pow.f64 (exp.f64 (.f64 (cbrt.f64 (-.f64 (log.f64 (.f64 (pow.f64 z y) (pow.f64 a (-.f64 t 1)))) b)) (cbrt.f64 (-.f64 (log.f64 (.f64 (pow.f64 z y) (pow.f64 a (-.f64 t 1)))) b)))) (cbrt.f64 (.f64 (cbrt.f64 (-.f64 (log.f64 (.f64 (pow.f64 z y) (pow.f64 a (-.f64 t 1)))) b)) (cbrt.f64 (-.f64 (log.f64 (.f64 (pow.f64 z y) (pow.f64 a (-.f64 t 1)))) b))))) (cbrt.f64 (cbrt.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b))))) (/.f64 1 y))
9.0s	(pow.f64 (pow.f64 (exp.f64 (.f64 (cbrt.f64 (-.f64 (log.f64 (.f64 (pow.f64 z y) (pow.f64 a (-.f64 t 1)))) b)) (cbrt.f64 (-.f64 (log.f64 (.f64 (pow.f64 z y) (pow.f64 a (-.f64 t 1)))) b)))) (cbrt.f64 (.f64 (cbrt.f64 (-.f64 (log.f64 (.f64 (pow.f64 z y) (pow.f64 a (-.f64 t 1)))) b)) (cbrt.f64 (-.f64 (log.f64 (.f64 (pow.f64 z y) (pow.f64 a (-.f64 t 1)))) b))))) (cbrt.f64 (cbrt.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b))))
7.8s	(.f64 (.f64 x (pow.f64 (exp.f64 (.f64 (cbrt.f64 (-.f64 (log.f64 (.f64 (pow.f64 z y) (pow.f64 a (-.f64 t 1)))) b)) (cbrt.f64 (-.f64 (log.f64 (.f64 (pow.f64 z y) (pow.f64 a (-.f64 t 1)))) b)))) (cbrt.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b)))) (/.f64 1 y))
4.4s	(pow.f64 (exp.f64 (.f64 (cbrt.f64 (-.f64 (log.f64 (.f64 (pow.f64 z y) (pow.f64 a (-.f64 t 1)))) b)) (cbrt.f64 (-.f64 (log.f64 (.f64 (pow.f64 z y) (pow.f64 a (-.f64 t 1)))) b)))) (cbrt.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b)))
3.5s	(pow.f64 (exp.f64 (.f64 (cbrt.f64 (-.f64 (log.f64 (.f64 (pow.f64 z y) (pow.f64 a (-.f64 t 1)))) b)) (cbrt.f64 (-.f64 (log.f64 (.f64 (pow.f64 z y) (pow.f64 a (-.f64 t 1)))) b)))) (cbrt.f64 (.f64 (cbrt.f64 (-.f64 (log.f64 (.f64 (pow.f64 z y) (pow.f64 a (-.f64 t 1)))) b)) (cbrt.f64 (-.f64 (log.f64 (.f64 (pow.f64 z y) (pow.f64 a (-.f64 t 1)))) b)))))

prune3.3min (11.7%)

Compiler: Compiled 2477493 to 1116272 computations (54.9% saved)

analyze3.3min (11.5%)

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)

simplify3.2min (11.4%)

Algorithm

1425×

egg-herbie

regimes2.2min (7.6%)

Compiler: Compiled 873890 to 647057 computations (26% saved)

rewrite55.7s (3.3%)

Algorithm

887×	rewrite-expression-head

Rules

6700×	`times-frac_binary64_19521`
4109×	`*-un-lft-identity_binary64_19515`
3989×	`add-sqr-sqrt_binary64_19537`
2540×	`add-cube-cbrt_binary64_19550`
2046×	`*-un-lft-identity_binary64_419`
2033×	`times-frac_binary64_11337`
1839×	`times-frac_binary64_18157`
1777×	`times-frac_binary64_15770`
1739×	`times-frac_binary64_425`
1650×	`associate-*r/_binary64_8886`
1590×	`associate-*r/_binary64_11614`
1520×	`*-un-lft-identity_binary64_18151`
1505×	`add-sqr-sqrt_binary64_15786`
1491×	`add-sqr-sqrt_binary64_441`
1432×	`*-un-lft-identity_binary64_15764`
1377×	`times-frac_binary64_6563`
1321×	`times-frac_binary64_12360`
1304×	`*-un-lft-identity_binary64_13036`
1299×	`*-un-lft-identity_binary64_11331`
1287×	`times-frac_binary64_17816`
1263×	`add-sqr-sqrt_binary64_17832`
1159×	`*-un-lft-identity_binary64_17810`
1121×	`add-sqr-sqrt_binary64_12376`
1098×	`add-sqr-sqrt_binary64_11353`
1091×	`frac-times_binary64_8954`
1087×	`*-un-lft-identity_binary64_15423`
1080×	`*-un-lft-identity_binary64_12354`
1053×	`add-sqr-sqrt_binary64_6579`
1045×	`sqrt-prod_binary64_13052`
1035×	`add-cube-cbrt_binary64_11366`
1026×	`add-sqr-sqrt_binary64_18173`
1012×	`tanh-def-a_binary64_9131` `tanh-def-c_binary64_9133` `tanh-def-b_binary64_9132`
1007×	`add-sqr-sqrt_binary64_10671`
995×	`*-un-lft-identity_binary64_6557`
965×	`times-frac_binary64_8950` `sqrt-prod_binary64_435`
963×	`frac-sub_binary64_8953`
962×	`times-frac_binary64_16111`
961×	`add-sqr-sqrt_binary64_15445`
929×	`times-frac_binary64_14406`
926×	`*-un-lft-identity_binary64_10649`
914×	`times-frac_binary64_13042`
854×	`times-frac_binary64_10655`
850×	`frac-sub_binary64_11681`
841×	`difference-of-squares_binary64_19484`
837×	`add-sqr-sqrt_binary64_16127`
828×	`add-cube-cbrt_binary64_15799`
827×	`add-sqr-sqrt_binary64_14422`
820×	`times-frac_binary64_15429`
818×	`add-sqr-sqrt_binary64_15104`
802×	`add-sqr-sqrt_binary64_17491`
800×	`add-cube-cbrt_binary64_454`
798×	`-un-lft-identity_binary64_13377` `-un-lft-identity_binary64_21561`
796×	`add-cube-cbrt_binary64_18186`
795×	`times-frac_binary64_21567`
791×	`times-frac_binary64_10996`
787×	`*-un-lft-identity_binary64_16105`
783×	`*-un-lft-identity_binary64_17469`
779×	`add-sqr-sqrt_binary64_11694` `flip--_binary64_11647` `flip3--_binary64_11676`
769×	`add-sqr-sqrt_binary64_21583`
761×	`times-frac_binary64_17475`
757×	`*-un-lft-identity_binary64_15082`
740×	`*-un-lft-identity_binary64_14400`
733×	`times-frac_binary64_10314`
724×	`times-frac_binary64_15088`
699×	`add-sqr-sqrt_binary64_10330` `add-sqr-sqrt_binary64_16809`
698×	`add-sqr-sqrt_binary64_9648`
693×	`*-un-lft-identity_binary64_11672`
687×	`*-un-lft-identity_binary64_8944`
679×	`*-un-lft-identity_binary64_16787`
677×	`add-sqr-sqrt_binary64_13058`
673×	`add-cube-cbrt_binary64_12389`
671×	`times-frac_binary64_13383`
662×	`times-frac_binary64_2812`
658×	`add-cube-cbrt_binary64_17845`
654×	`times-frac_binary64_12701`
619×	`times-frac_binary64_9632`
611×	`*-un-lft-identity_binary64_10308`
607×	`*-un-lft-identity_binary64_9626`
603×	`add-sqr-sqrt_binary64_8966` `times-frac_binary64_9291`
601×	`add-sqr-sqrt_binary64_11012`
596×	`times-frac_binary64_11678`
590×	`frac-times_binary64_11682`
585×	`distribute-lft-out--_binary64_19467` `add-cube-cbrt_binary64_6592`
572×	`add-sqr-sqrt_binary64_9307`
566×	`add-sqr-sqrt_binary64_12717`
560×	`*-un-lft-identity_binary64_10990`
556×	`add-cube-cbrt_binary64_14435`
546×	`*-un-lft-identity_binary64_12695`
542×	`add-cube-cbrt_binary64_8979`
539×	`add-cube-cbrt_binary64_13071`
535×	`add-cube-cbrt_binary64_10684`
533×	`add-sqr-sqrt_binary64_13399`
526×	`add-cube-cbrt_binary64_11025`
504×	`add-cube-cbrt_binary64_16140`
502×	`times-frac_binary64_16793`
498×	`cancel-sign-sub-inv_binary64_10615`
497×	`add-sqr-sqrt_binary64_2828`
488×	`add-cube-cbrt_binary64_15458`
481×	`*-un-lft-identity_binary64_1442`
472×	`*-un-lft-identity_binary64_3829`
466×	`add-cube-cbrt_binary64_9661`
463×	`add-cube-cbrt_binary64_10343`
457×	`*-un-lft-identity_binary64_2806`
456×	`add-cube-cbrt_binary64_17504`
452×	`add-cube-cbrt_binary64_2841`
451×	`*-un-lft-identity_binary64_8603`
438×	`add-cube-cbrt_binary64_13412`
436×	`add-cube-cbrt_binary64_12730`
430×	`sqrt-prod_binary64_16121`
427×	`cbrt-prod_binary64_450`
424×	`add-cube-cbrt_binary64_21596`
421×	`associate-*l/_binary64_8887`
419×	`add-cube-cbrt_binary64_15117`
417×	`distribute-lft-out_binary64_12987`
415×	`add-cube-cbrt_binary64_11707`
413×	`difference-of-squares_binary64_388`
389×	`-un-lft-identity_binary64_14059` `associate-/r_binary64_19459`
386×	`add-sqr-sqrt_binary64_1464`
384×	`add-sqr-sqrt_binary64_18855`
379×	`add-sqr-sqrt_binary64_8625`
378×	`*-un-lft-identity_binary64_14741`
374×	`*-un-lft-identity_binary64_9285`
372×	`add-exp-log_binary64_8982`
365×	`cbrt-div_binary64_18183`
364×	`sqrt-div_binary64_11689`
360×	`add-exp-log_binary64_15802`
359×	`add-sqr-sqrt_binary64_1805`
353×	`add-sqr-sqrt_binary64_14081` `cancel-sign-sub-inv_binary64_17776`
350×	`*-un-lft-identity_binary64_22584`
347×	`add-sqr-sqrt_binary64_3851`
338×	`add-sqr-sqrt_binary64_3169`
334×	`times-frac_binary64_1789`
332×	`times-frac_binary64_24636`
330×	`add-sqr-sqrt_binary64_24652`
329×	`*-un-lft-identity_binary64_3147` `add-sqr-sqrt_binary64_2487`
326×	`-un-lft-identity_binary64_16446` `-un-lft-identity_binary64_1783`
321×	`*-un-lft-identity_binary64_24630` `add-exp-log_binary64_11710`
315×	`times-frac_binary64_8609` `cbrt-prod_binary64_18182`
312×	`sqrt-prod_binary64_2822`
310×	`add-exp-log_binary64_21599`
309×	`add-cube-cbrt_binary64_16822`
304×	`associate-r_binary64_14340`
303×	`add-cube-cbrt_binary64_8638`
300×	`add-sqr-sqrt_binary64_14763`
295×	`add-sqr-sqrt_binary64_19878`
293×	`times-frac_binary64_18839`
292×	`add-cbrt-cube_binary64_21597`
291×	`add-cube-cbrt_binary64_1818` `add-cube-cbrt_binary64_9320`
290×	`associate-r_binary64_15704`
288×	`times-frac_binary64_22590`
287×	`*-un-lft-identity_binary64_23948` `distribute-lft-out_binary64_370`
286×	`add-sqr-sqrt_binary64_100` `add-sqr-sqrt_binary64_9989` `distribute-lft-out--_binary64_15716`
285×	`add-sqr-sqrt_binary64_3510` `times-frac_binary64_1448`
284×	`add-sqr-sqrt_binary64_16468`
283×	`associate-/r/_binary64_18097` `difference-of-squares_binary64_15733`
278×	`add-exp-log_binary64_13415`
276×	`add-exp-log_binary64_11369`
274×	`*-un-lft-identity_binary64_18833`
273×	`times-frac_binary64_20544`
272×	`times-frac_binary64_19862` `pow1_binary64_5595`
269×	`cbrt-prod_binary64_3178` `add-sqr-sqrt_binary64_1123`
267×	`difference-of-squares_binary64_17779` `*-un-lft-identity_binary64_23607`
266×	`times-frac_binary64_18498`
265×	`*-un-lft-identity_binary64_21220`
260×	`add-exp-log_binary64_21940` `unpow-prod-down_binary64_10387`
258×	`difference-of-squares_binary64_6526` `associate-r_binary64_11612`
256×	`add-exp-log_binary64_15120` `add-exp-log_binary64_11028`
255×	`*-un-lft-identity_binary64_19856`
254×	`times-frac_binary64_16452` `add-sqr-sqrt_binary64_22606` `sqrt-prod_binary64_15439`
253×	`associate-r_binary64_13317` `add-cube-cbrt_binary64_1477`
252×	`add-exp-log_binary64_10687` `times-frac_binary64_13724`
247×	`distribute-rgt-in_binary64_10599` `distribute-lft-in_binary64_10598` `cbrt-prod_binary64_16818`
244×	`cancel-sign-sub-inv_binary64_12320` `add-exp-log_binary64_21258`
243×	`cbrt-prod_binary64_11362`
242×	`times-frac_binary64_21226`
240×	`*-un-lft-identity_binary64_2465` `add-exp-log_binary64_12733` `cancel-sign-sub-inv_binary64_16071`
239×	`*-un-lft-identity_binary64`
236×	`add-cbrt-cube_binary64_15800` `add-sqr-sqrt_binary64_18514`
235×	`associate-/l/_binary64_8891` `sqrt-prod_binary64_14416` `add-exp-log_binary64_16825` `add-sqr-sqrt_binary64_21242`
233×	`add-cbrt-cube_binary64_11367` `add-sqr-sqrt_binary64_20560`
232×	`add-cbrt-cube_binary64_13413` `distribute-lft-out--_binary64_17762`
230×	`add-exp-log_binary64_19553`
226×	`add-exp-log_binary64_9664` `pow1_binary64_21963`
223×	`add-cube-cbrt_binary64_18527` `add-cube-cbrt_binary64_14094` `-un-lft-identity_binary64_18492` `-un-lft-identity_binary64_78`
222×	`add-cbrt-cube_binary64_14436` `add-exp-log_binary64_14438`
219×	`add-sqr-sqrt_binary64_5897`
218×	`add-cbrt-cube_binary64_21256` `*-un-lft-identity_binary64_9967` `distribute-lft-out--_binary64_371`
217×	`difference-of-squares_binary64_10618` `associate-r_binary64_15022` `add-cbrt-cube_binary64_11708`
216×	`add-cbrt-cube_binary64_11026` `times-frac_binary64_14065`
214×	`times-frac_binary64_3835` `add-cube-cbrt_binary64_16481`
213×	`add-exp-log_binary64_10346`
212×	`distribute-lft-out_binary64_18102` `add-exp-log_binary64_20917` `*-un-lft-identity_binary64_5875`
211×	`difference-of-squares_binary64_12323`
210×	`difference-of-squares_binary64_15392`
209×	`cbrt-prod_binary64_18864` `add-sqr-sqrt_binary64_4192` `add-cube-cbrt_binary64_21255` `add-sqr-sqrt_binary64_23970` `*-un-lft-identity_binary64_3488`
208×	`add-cbrt-cube_binary64_21938` `add-cbrt-cube_binary64_8980` `pow1_binary64_2185`
207×	`*-un-lft-identity_binary64_1101` `add-cbrt-cube_binary64_9662`
206×	`add-cube-cbrt_binary64_3523`
203×	`add-cube-cbrt_binary64_10002`
202×	`*-un-lft-identity_binary64_13718`
201×	`flip-+_binary64_11646` `flip3-+_binary64_11675` `*-un-lft-identity_binary64_20538`
200×	`distribute-lft-out--_binary64_15375` `distribute-lft-out--_binary64_6509` `add-exp-log_binary64_18189` `associate-*l/_binary64_11615`
199×	`distribute-lft-out_binary64_13328`
198×	`add-exp-log_binary64_15461` `distribute-lft-out--_binary64_18103` `add-cube-cbrt_binary64_20573` `*-un-lft-identity_binary64_12013`
197×	`add-cbrt-cube_binary64_15118` `add-cube-cbrt_binary64_3182`
195×	`times-frac_binary64_23613` `times-frac_binary64_2471` `add-cube-cbrt_binary64_19891`
194×	`sqrt-prod_binary64_10324` `sqrt-prod_binary64_8960`
193×	`cbrt-prod_binary64_11703` `add-exp-log_binary64_12392`
192×	`times-frac_binary64_24977`
189×	`add-sqr-sqrt_binary64_5215` `add-exp-log_binary64_17507`
188×	`flip-+_binary64_18125` `flip3-+_binary64_18154`
187×	`sqrt-prod_binary64_2481` `sqrt-prod_binary64_1117`
186×	`add-sqr-sqrt_binary64_22265` `add-sqr-sqrt_binary64` `add-cube-cbrt_binary64_18868`
185×	`associate-/r*_binary64_11275` `cancel-sign-sub-inv_binary64_9592`
184×	`add-cbrt-cube_binary64_12731`
183×	`add-exp-log_binary64_17848` `pow1_binary64_15143`
180×	`add-exp-log_binary64_9323` `associate-r_binary64_18773`
179×	`add-cbrt-cube_binary64_17505` `add-exp-log_binary64_18871` `cancel-sign-sub-inv_binary64_11297` `times-frac_binary64_23954`
178×	`div-inv_binary64_19512` `pow1_binary64_20940`
177×	`add-sqr-sqrt_binary64_23629` `add-sqr-sqrt_binary64_20901` `add-cube-cbrt_binary64_2500`
176×	`associate-r_binary64_16727`
175×	`cancel-sign-sub-inv_binary64_4136`
173×	`add-sqr-sqrt_binary64_12035`
172×	`add-sqr-sqrt_binary64_5556` `associate-r_binary64_9566` `frac-times_binary64_770` `associate-/l/_binary64_11619` `add-cbrt-cube_binary64_19551`
171×	`add-exp-log_binary64_16484`
170×	`add-sqr-sqrt_binary64_7261`
169×	`*-un-lft-identity_binary64_4170` `add-cube-cbrt_binary64_23983`
168×	`add-exp-log_binary64_8641` `cbrt-prod_binary64_3860` `add-exp-log_binary64_19894` `add-sqr-sqrt_binary64_782`
167×	`distribute-lft-out--_binary64_15034` `times-frac_binary64_14747` `difference-of-squares_binary64_15051` `add-exp-log_binary64_10005`
166×	`associate-r_binary64_21501` `add-exp-log_binary64_13074`
165×	`difference-of-squares_binary64_16756` `add-sqr-sqrt_binary64_24993` `associate-r_binary64_10589`
164×	`add-cube-cbrt_binary64_1136` `*-un-lft-identity_binary64_7239`
163×	`add-cbrt-cube_binary64_20915` `cbrt-div_binary64_451` `add-sqr-sqrt_binary64_7602`
162×	`add-cbrt-cube_binary64_18187` `*-un-lft-identity_binary64_22243` `add-cbrt-cube_binary64_15459`
160×	`sqrt-div_binary64_777`
159×	`cbrt-prod_binary64_3519` `cbrt-prod_binary64_14090` `distribute-lft-out_binary64_1393`
158×	`add-cbrt-cube_binary64_12390` `associate-r_binary64_8884` `add-sqr-sqrt_binary64_13740` `add-cbrt-cube_binary64_19892`
157×	`add-sqr-sqrt_binary64_17150` `-un-lft-identity_binary64_24289` `associate-/r_binary64_15367`
156×	`add-cube-cbrt_binary64_23642` `add-cube-cbrt_binary64_113` `add-cbrt-cube_binary64_16823`
155×	`add-sqr-sqrt_binary64_21924` `cancel-sign-sub-inv_binary64_11638`
154×	`add-cube-cbrt_binary64_3864` `times-frac_binary64_5881` `distribute-lft-out--_binary64_12306`
153×	`add-cube-cbrt_binary64_24665` `sqrt-prod_binary64_1799` `cbrt-div_binary64_12386` `add-cbrt-cube_binary64_8639` `associate-r_binary64_21842` `add-cube-cbrt_binary64_14776` `add-sqr-sqrt_binary64_7943`
152×	`times-frac_binary64_9973`
151×	`unpow-prod-down_binary64_12774`
149×	`flip3--_binary64_423` `flip--_binary64_394` `add-cube-cbrt_binary64_4205`
148×	`cbrt-div_binary64_18865` `add-exp-log_binary64_13756` `associate-r_binary64_10930`
147×	`cbrt-prod_binary64_10339` `div-exp_binary64_8995` `prod-exp_binary64_21951`
146×	`add-cbrt-cube_binary64_10685` `difference-of-squares_binary64_17438` `-un-lft-identity_binary64_17128` `-un-lft-identity_binary64_5193` `associate-r_binary64_9225` `pow1_binary64_16848`
145×	`add-cube-cbrt_binary64_22278` `add-cube-cbrt_binary64` `times-frac_binary64_7245`
144×	`add-cube-cbrt_binary64_12048` `times-frac_binary64` `add-cube-cbrt_binary64_13753`
142×	`-un-lft-identity_binary64_760` `cbrt-prod_binary64_5224` `pow1_binary64_13097` `pow1_binary64_8664` `associate-l*_binary64_18774` `sqrt-div_binary64_15099`
141×	`associate-r_binary64_15363` `*-un-lft-identity_binary64_8262`
140×	`difference-of-squares_binary64_16074` `add-cbrt-cube_binary64_13072`
139×	`pow1_binary64_9687`
138×	`add-cube-cbrt_binary64_5228` `add-cube-cbrt_binary64_5910` `distribute-lft-out--_binary64_16057` `*-un-lft-identity_binary64_20879`
137×	`associate-/r*_binary64_15708` `div-exp_binary64_15815`
136×	`cbrt-prod_binary64_8634` `log-prod_binary64_12099` `cbrt-prod_binary64_7611`
135×	`distribute-lft-out--_binary64_17421` `*-un-lft-identity_binary64_24971`
134×	`flip-+_binary64_15056` `pow1_binary64_10710` `flip3-+_binary64_15085` `add-cbrt-cube_binary64_18869` `cbrt-prod_binary64_14772`
133×	`pow1_binary64_7641` `add-exp-log_binary64_18530` `pow1_binary64_3208` `add-cbrt-cube_binary64_10003`
132×	`add-cbrt-cube_binary64_17846`
131×	`sqrt-prod_binary64_1458` `cbrt-prod_binary64_10680` `associate-/l*_binary64_15709` `pow1_binary64_2867` `add-exp-log_binary64_7618`
130×	`times-frac_binary64_3153` `distribute-lft-out--_binary64_21513` `add-sqr-sqrt_binary64_2146`
129×	`cbrt-unprod_binary64_21935` `distribute-lft-out--_binary64_10601` `associate-/r*_binary64_17754`
128×	`add-exp-log_binary64_1821` `pow1_binary64_13438` `times-frac_binary64_22249`
127×	`distribute-lft-out--_binary64_11624` `difference-of-squares_binary64_21530` `add-cube-cbrt_binary64_25006` `cbrt-prod_binary64_18523`
126×	`associate-r_binary64_10248` `difference-of-squares_binary64_11641` `associate-*r/_binary64_15024`
125×	`add-sqr-sqrt_binary64_24311` `prod-exp_binary64_11721` `add-cbrt-cube_binary64_16482`
124×	`frac-times_binary64_12364` `associate-l_binary64_11613` `associate-r_binary64_19796` `cbrt-div_binary64_21252`
123×	`cbrt-div_binary64_3179` `add-exp-log_binary64_2503`
122×	`add-cbrt-cube_binary64_2842` `pow1_binary64_480` `add-exp-log_binary64_2844`
121×	`associate-r_binary64_12976` `pow1_binary64_12074` `-un-lft-identity_binary64_7921` `associate-r*_binary64_2405`
120×	`cbrt-div_binary64_15114` `frac-times_binary64_18161` `pow-prod-down_binary64_21973` `distribute-lft-out_binary64_11282`
119×	`cancel-sign-sub-inv_binary64_18117` `add-cube-cbrt_binary64_7615` `-un-lft-identity_binary64_20197` `pow1_binary64_3549` `-un-lft-identity_binary64_7580`
118×	`distribute-rgt-in_binary64_4120` `*-un-lft-identity_binary64_5534` `distribute-lft-in_binary64_4119`
117×	`associate-l_binary64_9567` `pow1_binary64_821`
116×	`distribute-lft-out--_binary64_3781` `distribute-lft-out_binary64_15374` `pow-prod-down_binary64_5605`
115×	`prod-exp_binary64_10698` `add-exp-log_binary64_3185` `cbrt-prod_binary64_9316` `add-exp-log_binary64_16143` `associate-/l*_binary64_6502`
114×	`add-cbrt-cube_binary64_13754` `add-exp-log_binary64_457` `associate-/r_binary64_18095` `pow1_binary64_14461` `add-cube-cbrt_binary64_21937` `add-cube-cbrt_binary64_22619` `-un-lft-identity_binary64_21902`
113×	`associate-r_binary64_17409` `add-cube-cbrt_binary64_5569` `pow1_binary64_139`
112×	`add-exp-log_binary64_14779` `pow1_binary64_1162` `add-exp-log_binary64_5231` `add-cbrt-cube_binary64_1819` `add-cube-cbrt_binary64_7274` `add-exp-log_binary64_23986`
111×	`add-sqr-sqrt_binary64_8284` `add-cbrt-cube_binary64_16141`
110×	`pow1_binary64` `associate-r_binary64_12294` `add-cube-cbrt_binary64_20914` `prod-exp_binary64_20928` `pow1_binary64_16166` `cbrt-unprod_binary64_20912`
109×	`add-exp-log_binary64_22281` `distribute-lft-in_binary64_11621` `add-log-exp_binary64_10688` `log-prod_binary64_14145` `distribute-rgt-in_binary64_11622`
108×	`add-cbrt-cube_binary64_18528` `pow1_binary64_12415` `add-cbrt-cube_binary64_10344` `associate-l_binary64_14341`
107×	`pow1_binary64_19235` `associate-l_binary64_14682` `pow1_binary64_11051` `times-frac_binary64_24295`
106×	`associate-r_binary64_12635` `frac-times_binary64_15092` `div-inv_binary64_11328` `add-exp-log_binary64_5572`
105×	`pow1_binary64_22986` `pow1_binary64_11733` `times-frac_binary64_3494` `add-sqr-sqrt_binary64_19196`
104×	`prod-exp_binary64_21610` `associate-/r_binary64_10934` `associate-l_binary64_360` `associate-r_binary64_3769` `associate-r*_binary64_3087` `add-exp-log_binary64_2162` `flip--_binary64_735` `flip3--_binary64_764`
103×	`difference-of-squares_binary64_18120` `add-cbrt-cube_binary64_3183` `add-cbrt-cube_binary64_22279` `add-exp-log_binary64_116` `add-cbrt-cube_binary64_455`
102×	`flip--_binary64_12670` `cbrt-unprod_binary64_21594` `associate-/r/_binary64_8890` `distribute-lft-out--_binary64_22536` `prod-exp_binary64_8993` `flip3--_binary64_12699` `pow1_binary64_12756` `associate-/r/_binary64_11277`
100×	`cancel-sign-sub-inv_binary64_15389` `div-exp_binary64_19566` `add-exp-log_binary64_20576`
99×	`associate-l_binary64_9908` `add-exp-log_binary64_6595` `cbrt-prod_binary64_1132`
98×	`add-sqr-sqrt_binary64_20219` `prod-exp_binary64_15131` `pow1_binary64_13779`
97×	`add-cbrt-cube_binary64_7616` `div-inv_binary64_18148` `add-exp-log_binary64_1480`
96×	`add-exp-log_binary64_3867` `add-cbrt-cube_binary64_5570` `associate-/l_binary64_8889` `pow-prod-down_binary64_20950` `associate-r_binary64_8543` `associate-r*_binary64_16386` `add-exp-log_binary64_1139` `add-cbrt-cube_binary64_2160` `pow1_binary64_1844`
95×	`associate-*l/_binary64_362` `add-cbrt-cube_binary64_114` `add-exp-log_binary64_3526` `add-cbrt-cube_binary64_2501` `sqrt-prod_binary64_11347` `cbrt-prod_binary64_23979` `sqrt-prod_binary64_6232`
94×	`sqrt-div_binary64_8961` `sqrt-prod_binary64_21918` `cbrt-unprod_binary64_15115` `add-log-exp_binary64_15462`
93×	`associate-r_binary64_359` `associate-*l/_binary64_15025`
92×	`associate-r_binary64_21160` `associate-/r_binary64_12298` `associate-/r_binary64_17413` `add-exp-log_binary64_19212` `associate-/l*_binary64_21506` `add-log-exp_binary64_1481` `pow1_binary64_5254` `sqrt-prod_binary64_9983` `cbrt-prod_binary64_20910` `cbrt-prod_binary64_7952`
91×	`associate-l_binary64_15705` `add-log-exp_binary64_17849` `add-cube-cbrt_binary64_2159` `add-log-exp_binary64_117` `pow1_binary64_18894` `*-un-lft-identity_binary64_2124` `add-sqr-sqrt_binary64_6238`
90×	`distribute-rgt-in_binary64_1733` `pow1_binary64_9005` `distribute-lft-in_binary64_1732` `pow1_binary64_22304` `add-cube-cbrt_binary64_17163` `log-prod_binary64_1869` `add-log-exp_binary64_3186`
89×	`add-cbrt-cube_binary64_14777` `add-cbrt-cube_binary64_9321` `add-log-exp_binary64_3527` `associate-/l_binary64_18096` `log-prod_binary64_16873` `associate-r*_binary64_20819`
88×	`associate-l_binary64_12295` `add-cbrt-cube_binary64_1137` `log-prod_binary64_10735`
87×	`sqrt-prod_binary64_21577` `add-log-exp_binary64_9665` `swap-sqr_binary64_386` `div-exp_binary64_21612` `pow1_binary64_15825`
86×	`cbrt-undiv_binary64_21595` `add-exp-log_binary64_4208` `associate-r_binary64_9907` `associate-r_binary64_11271` `associate-r_binary64_7520` `pow1_binary64_10028`
85×	`cbrt-prod_binary64_19205` `distribute-lft-out_binary64_19466` `add-log-exp_binary64_15121` `flip-+_binary64_13351` `flip3-+_binary64_13380` `prod-exp_binary64_15813` `div-exp_binary64_11382` `associate-l_binary64_10249`
84×	`difference-of-squares_binary64_24599` `distribute-lft-out_binary64_16738` `pow1_binary64_11392` `distribute-lft-out--_binary64_24582` `cbrt-unprod_binary64_11705` `add-cbrt-cube_binary64_3865` `prod-exp_binary64_16836` `associate-/r_binary64_363` `flip3-+_binary64_1104` `add-cbrt-cube_binary64_5229` `flip-+_binary64_1075` `associate-l_binary64_12636` `associate-/l_binary64_14345`
83×	`distribute-lft-in_binary64_9575` `associate-r_binary64_1041` `distribute-rgt-in_binary64_9576` `associate-l_binary64_10590` `add-exp-log_binary64_23645` `*-un-lft-identity_binary64_19174`
82×	`pow1_binary64_4231` `prod-exp_binary64_13426` `associate-r/_binary64_18093` `sqrt-div_binary64_1118` `div-inv_binary64_15761` `add-log-exp_binary64_18190` `associate-/r_binary64_15026`
81×	`add-log-exp_binary64_11711` `add-cube-cbrt_binary64_20232` `add-cube-cbrt_binary64_19209` `pow1_binary64_3890`
80×	`associate--l+_binary64_11268` `associate-l/_binary64_22868` `add-cube-cbrt_binary64_7956` `add-sqr-sqrt_binary64_23288` `associate-/l_binary64_11276` `associate-/l_binary64_19460` `add-log-exp_binary64_15803` `associate--r+_binary64_11608` `difference-of-squares_binary64_3798` `associate-r*_binary64_1723`
79×	`associate-r_binary64_1382` `add-log-exp_binary64_14439` `pow1_binary64_21281` `flip3-+_binary64_763` `pow1_binary64_17530` `flip-+_binary64_734` `div-exp_binary64_11041` `sqrt-pow1_binary64_5552` `add-cube-cbrt_binary64_24324` `associate-r_binary64_5133` `add-cbrt-cube_binary64_19210` `pow1_binary64_17871` `associate-l_binary64_17410` `associate-r_binary64_18432`
78×	`difference-of-squares_binary64_14369` `associate-l_binary64_12977` `associate-l_binary64_13318` `associate-/r/_binary64_18779` `add-exp-log_binary64_22963` `associate-*r/_binary64_12296` `add-log-exp_binary64_10006` `log-prod_binary64_24034`
77×	`add-cbrt-cube_binary64_1478` `pow1_binary64_15484` `associate-r_binary64_14681` `add-log-exp_binary64_13075` `add-cube-cbrt_binary64_795` `add-exp-log_binary64_5913` `add-exp-log_binary64_14097` `prod-exp_binary64_21269` `distribute-lft-out--_binary64_14352` `add-cbrt-cube_binary64_3524` `div-exp_binary64_10359`
76×	`cbrt-undiv_binary64_15798` `add-cbrt-cube_binary64_6593` `cancel-sign-sub-inv_binary64_12661` `cbrt-undiv_binary64_11365` `associate--l+_binary64_1720` `-un-lft-identity_binary64_23266` `associate-r*_binary64_3428` `cbrt-prod_binary64_1473`
75×	`associate-/r_binary64_2750` `div-exp_binary64_9336` `associate-/l_binary64_10935` `cbrt-prod_binary64_9657` `associate-l_binary64_21502` `associate-/r/_binary64_15710`
74×	`associate-*l/_binary64_703` `frac-times_binary64_12705` `distribute-lft-in_binary64_11962` `distribute-lft-out_binary64_14692` `add-cube-cbrt_binary64_23301` `cbrt-prod_binary64_16136` `distribute-rgt-in_binary64_11963` `pow1_binary64_21622`
73×	`pow1_binary64_10369` `flip--_binary64_18808` `pow-prod-down_binary64_2195` `add-exp-log_binary64_798` `cbrt-prod_binary64_12385` `cbrt-unprod_binary64_21253` `add-log-exp_binary64_5573` `associate-l_binary64_9226` `add-sqr-sqrt_binary64_22947` `distribute-lft-out--_binary64_16739` `associate-+r+_binary64_1715` `flip3--_binary64_18837` `cbrt-prod_binary64_5906` `associate-l_binary64_10931` `times-frac_binary64_23272` `cancel-sign-sub-inv_binary64_1749`
72×	`prod-exp_binary64_12744` `div-exp_binary64_13428` `unswap-sqr_binary64_10276` `pow1_binary64_16507` `frac-sub_binary64_428` `difference-of-squares_binary64_9595` `associate-l_binary64_15023` `div-exp_binary64_11723` `cbrt-prod_binary64_15113` `associate-/r/_binary64_13323` `cbrt-prod_binary64`
71×	`add-cbrt-cube_binary64_20574` `frac-times_binary64_13387` `sqrt-prod_binary64_23282`
70×	`pow1_binary64_18212` `difference-of-squares_binary64_22553` `associate-r_binary64_2746` `distribute-lft-out--_binary64_9578` `unswap-sqr_binary64_9253` `associate-/r/_binary64_14346` `add-sqr-sqrt_binary64_4874` `associate-/l*_binary64_17755` `add-cbrt-cube_binary64_796`
69×	`pow-prod-down_binary64_15153` `add-cbrt-cube_binary64_22961` `distribute-lft-out_binary64_8895`
68×	`add-cbrt-cube_binary64_14095` `add-cbrt-cube_binary64_5911` `times-frac_binary64_84` `cbrt-unprod_binary64_13410` `times-frac_binary64_17134` `associate-l_binary64_21843` `add-log-exp_binary64_13416` `add-log-exp_binary64_17508` `add-log-exp_binary64_11370` `add-cbrt-cube_binary64_4206`
67×	`add-log-exp_binary64_8642` `flip--_binary64_12329` `distribute-lft-out_binary64_23899` `flip3--_binary64_12358` `pow1_binary64_1503` `div-inv_binary64_8941`
66×	`cbrt-div_binary64_7953` `cbrt-unprod_binary64_16820` `log-prod_binary64_1528` `add-cbrt-cube_binary64_23643` `flip-+_binary64_8918` `associate-/r*_binary64_9570` `flip3-+_binary64_8947` `difference-of-squares_binary64_14028` `cbrt-prod_binary64_13067`
65×	`div-exp_binary64_18202` `cbrt-undiv_binary64_19549` `associate-l_binary64_5475` `add-log-exp_binary64_19213` `associate-r_binary64_22183` `associate-r_binary64_19455` `associate-r_binary64_20478` `cancel-sign-sub-inv_binary64_44` `associate-r_binary64_23888` `add-log-exp_binary64_1822`
64×	`flip3--_binary64_21224` `flip--_binary64_21195` `associate-/r/_binary64_21507` `prod-exp_binary64_11380` `add-log-exp_binary64_12393` `pow1_binary64_18553` `associate-r/_binary64_702` `sqrt-prod_binary64_9642` `prod-exp_binary64_9675` `associate-/l_binary64_364`
63×	`div-inv_binary64_12351` `pow1_binary64_19917` `associate-r_binary64_5474` `associate-/r_binary64_13321` `distribute-lft-out_binary64_8554` `associate-/l_binary64_15368` `pow1_binary64_14120` `cancel-sign-sub-inv_binary64_14025` `pow1_binary64_14802` `associate-/r*_binary64_16390`
62×	`associate-*l/_binary64_18094` `add-cube-cbrt_binary64_8297` `cbrt-prod_binary64_109` `swap-sqr_binary64_12321`
61×	`flip--_binary64_15739` `div-inv_binary64_17807` `associate-l_binary64_2406` `add-exp-log_binary64` `associate-l/_binary64_12297` `associate-/r/_binary64_365` `add-log-exp_binary64_458` `associate-/r_binary64_12639` `difference-of-squares_binary64_47` `flip3--_binary64_15768` `cbrt-undiv_binary64_8978`
60×	`cbrt-unprod_binary64_14433` `log-prod_binary64_164` `prod-exp_binary64_14449` `add-log-exp_binary64_10347` `associate-l_binary64_3770` `add-log-exp_binary64_12052` `associate-/r/_binary64_15369` `associate-r_binary64_18091` `difference-of-squares_binary64_3116` `associate-/r*_binary64_16049` `pow1_binary64_2526` `add-cbrt-cube_binary64_23984` `cbrt-unprod_binary64_9659`
59×	`div-exp_binary64_21271` `distribute-lft-out_binary64_3780` `associate-/l*_binary64_12981` `cbrt-prod_binary64_23638` `pow1_binary64_7982` `sqrt-prod_binary64_3504`
58×	`associate-+l+_binary64_11946` `times-frac_binary64_20203` `pow1_binary64_5936` `add-log-exp_binary64_11029` `flip-+_binary64_16420` `add-log-exp_binary64_18872` `div-exp_binary64_17861` `add-exp-log_binary64_6254` `flip3-+_binary64_16449` `associate-l_binary64_701` `add-exp-log_binary64_24668` `associate-/r_binary64_24574` `associate-r*_binary64_18`
57×	`swap-sqr_binary64_13003` `associate-/l*_binary64_10253` `associate-/r/_binary64_9572` `associate-+l+_binary64_1716` `prod-exp_binary64_7629` `div-inv_binary64_10987` `pow1_binary64_24009`
56×	`add-exp-log_binary64_7277` `frac-times_binary64_21230` `prod-exp_binary64_18882` `associate-l_binary64_1042` `times-frac_binary64_4176` `cbrt-prod_binary64_17500` `pow1/3_binary64_3570` `add-log-exp_binary64_16485` `associate-l_binary64_20820` `associate-r_binary64_700` `prod-exp_binary64_10016` `add-cbrt-cube_binary64_7275` `cbrt-undiv_binary64_11024` `cbrt-div_binary64_14773` `cbrt-prod_binary64_4201` `cbrt-unprod_binary64_18866`
55×	`add-cbrt-cube_binary64_12049` `distribute-rgt-in_binary64_14009` `div-exp_binary64_12746` `prod-exp_binary64_11039` `associate-l_binary64_3429` `add-exp-log_binary64_12051` `div-exp_binary64_15474` `distribute-rgt-in_binary64_1392` `distribute-lft-out_binary64_23558` `prod-exp_binary64_19905` `distribute-lft-in_binary64_14008` `associate-l_binary64_19797` `add-exp-log_binary64_17166` `associate-r/_binary64_1725` `distribute-lft-in_binary64_1391` `flip3-+_binary64_24292` `flip--_binary64_9601` `associate-l_binary64_16728` `flip-+_binary64_24263` `associate-l/_binary64_23891` `add-log-exp_binary64_5232` `flip3--_binary64_9630` `associate-/r*_binary64_8888` `distribute-rgt-in_binary64_8894` `distribute-lft-in_binary64_8893`
54×	`unpow-prod-down_binary64_157` `cbrt-prod_binary64_4883` `associate-/r_binary64_11616` `log-prod_binary64_3233` `add-cube-cbrt_binary64_4887` `associate-/r_binary64_12980` `-un-lft-identity_binary64_4852` `associate-l/_binary64_21845` `add-log-exp_binary64_2163` `add-log-exp_binary64_2845` `cube-prod_binary64_13064` `associate-/r_binary64_16731` `cbrt-undiv_binary64_11706` `add-log-exp_binary64_4209` `cbrt-undiv_binary64_13411` `unpow-prod-down_binary64_13115` `distribute-lft-out_binary64_21512` `associate-l*_binary64_18092`
53×	`add-log-exp_binary64_7619` `cancel-sign-sub-inv_binary64_8569` `associate-/r/_binary64_17756` `cbrt-unprod_binary64_15797` `pow-prod-down_binary64_16858` `add-log-exp_binary64_14780` `associate-l_binary64_7521` `frac-times_binary64_429` `prod-exp_binary64_8652` `add-exp-log_binary64_7959` `add-cbrt-cube_binary64_17164` `pow1_binary64_23668` `distribute-lft-out_binary64_10259`
52×	`times-frac_binary64_20885` `prod-exp_binary64_12403` `associate-r_binary64_6156` `cbrt-prod_binary64_5565` `cbrt-undiv_binary64_21254` `cbrt-prod_binary64_2155` `log-prod_binary64_12440` `exp-prod_binary64_21613` `cbrt-undiv_binary64_18185` `cancel-sign-sub-inv_binary64_22209`
51×	`prod-exp_binary64_9334` `cbrt-unprod_binary64_8636` `add-cbrt-cube_binary64` `-un-lft-identity_binary64_6216` `cbrt-prod_binary64_12726` `cbrt-unprod_binary64_7613` `add-log-exp_binary64_18531` `associate-+r+_binary64_10` `unpow-prod-down_binary64_6636` `associate-/l_binary64_12640` `add-log-exp_binary64_23987`
50×	`pow-prod-down_binary64_7651` `cbrt-unprod_binary64_11364` `associate-r/_binary64_21162` `associate-l_binary64_2747` `add-log-exp_binary64_1140` `pow-prod-down_binary64_8674` `add-log-exp_binary64_17167` `times-frac_binary64_1107` `frac-times_binary64_1111` `div-inv_binary64_21558` `frac-sub_binary64_24298` `cbrt-prod_binary64_13408` `-un-lft-identity_binary64_22925`
49×	`sqrt-div_binary64_13053` `associate-r_binary64_13999` `add-cube-cbrt_binary64_6251` `flip--_binary64_17785` `pow-prod-down_binary64_2877` `pow1_binary64_17189` `div-exp_binary64_16497` `associate-r_binary64_6497` `associate-l_binary64_5134` `associate-r/_binary64_361` `associate-/r_binary64_21164` `flip3--_binary64_17814` `associate-l/_binary64_12638` `cancel-sign-sub-inv_binary64_8910` `cbrt-unprod_binary64_19889` `cancel-sign-sub-inv_binary64_16412` `associate-r/_binary64_9568`
48×	`sqrt-div_binary64_436` `prod-exp_binary64_10357` `cbrt-unprod_binary64_12387` `associate-l_binary64_3088` `sqrt-prod_binary64_24987` `cbrt-unprod_binary64_12728` `div-exp_binary64_17520` `log-prod_binary64_10394` `add-log-exp_binary64_16826` `log-prod_binary64_10053` `associate-/r/_binary64_12982` `associate--l+_binary64_11609` `sqrt-pow1_binary64_1119` `difference-of-squares_binary64_14710` `cancel-sign-sub-inv_binary64_8228` `associate-/l*_binary64_13322` `cbrt-unprod_binary64_8977`
47×	`add-log-exp_binary64_3868` `add-exp-log_binary64_4890` `associate-l_binary64_19` `distribute-lft-out--_binary64_3099` `frac-times_binary64_24299` `add-exp-log_binary64_20235` `associate-r_binary64_16045` `associate-/r*_binary64_22528` `add-exp-log_binary64_8300` `cbrt-div_binary64_16819` `cbrt-unprod_binary64_11023` `pow1_binary64_20258`
46×	`flip3-+_binary64` `associate-/r_binary64_13662` `pow1/3_binary64_501` `flip3--_binary64_15427` `pow1/3_binary64_3229` `add-cbrt-cube_binary64_24666` `sqrt-prod_binary64_15098` `associate-l_binary64_4111` `div-exp_binary64_14451` `flip--_binary64_15398` `sqrt-prod_binary64_3845` `distribute-lft-out--_binary64_14693` `associate-/r_binary64_21505` `associate-/r_binary64_8547` `associate-l_binary64_22866` `cbrt-undiv_binary64_17503` `unswap-sqr_binary64_11640` `associate-/l_binary64_17414` `cbrt-prod_binary64_791` `add-cube-cbrt_binary64_22960` `cbrt-undiv_binary64_14434` `associate-r/_binary64_2066` `div-inv_binary64_12692` `add-log-exp_binary64_20918` `associate-l_binary64_1724` `unpow-prod-down_binary64_8682` `flip-+_binary64` `associate-l/_binary64_21163`
45×	`associate-l_binary64_22184` `add-log-exp_binary64_14098` `cbrt-prod_binary64_12044` `associate-r/_binary64_18775` `distribute-lft-out_binary64` `add-log-exp_binary64_799` `pow-prod-down_binary64_22996` `prod-exp_binary64_17518` `cbrt-prod_binary64_8975` `add-exp-log_binary64_24327` `associate-/r_binary64_14344` `div-exp_binary64_13769` `pow1_binary64_8323` `cbrt-div_binary64_3520` `flip3-+_binary64_11334` `associate-/r_binary64_6501` `add-log-exp_binary64_8983` `associate-r*_binary64_23547` `flip-+_binary64_11305`
44×	`add-log-exp_binary64_12734` `flip3-+_binary64_3491` `div-inv_binary64_17466` `sqrt-prod_binary64_5550` `cancel-sign-sub-inv_binary64_17435` `div-inv_binary64_6554` `unpow-prod-down_binary64_9364` `sqrt-div_binary64_2823` `add-log-exp_binary64_7960` `flip-+_binary64_3462` `associate-/r/_binary64_2752` `prod-exp_binary64_1832` `distribute-lft-out--_binary64_14011`
43×	`flip3--_binary64_18155` `difference-of-squares_binary64_2434` `associate-r_binary64_17068` `flip-+_binary64_3121` `flip-+_binary64_2780` `flip3-+_binary64_23951` `distribute-lft-in_binary64_9916` `distribute-rgt-in_binary64_28` `distribute-lft-out--_binary64_18785` `pow1_binary64_19576` `difference-of-squares_binary64_729` `distribute-rgt-in_binary64_9917` `frac-times_binary64_18843` `flip3-+_binary64_3150` `distribute-lft-in_binary64_27` `cbrt-prod_binary64_9998` `pow-prod-down_binary64_16176` `flip--_binary64_18126` `flip3-+_binary64_2809` `add-log-exp_binary64_5914` `difference-of-squares_binary64_18802` `flip-+_binary64_23922` `unswap-sqr_binary64_18801` `associate-l_binary64_15364`
42×	`unswap-sqr_binary64_13004` `add-cbrt-cube_binary64_6252` `associate-l/_binary64_13320` `associate-r*_binary64_2064` `flip--_binary64_3122` `sqrt-prod_binary64_4186` `times-frac_binary64_8268` `cbrt-unprod_binary64_1816` `flip3--_binary64_3151` `prod-exp_binary64_13767` `log-prod_binary64_846`
41×	`cbrt-unprod_binary64_22276` `associate-/r_binary64_19800` `cbrt-unprod_binary64_16138` `add-cbrt-cube_binary64_7957` `add-log-exp_binary64_8301` `add-cbrt-cube_binary64_24325` `associate-r_binary64_24570` `add-log-exp_binary64_22282` `cbrt-undiv_binary64_15457` `associate-l/_binary64_22186` `prod-exp_binary64_16495` `associate-l_binary64_2065` `times-frac_binary64_5199` `add-log-exp_binary64_21941` `add-log-exp_binary64_21259` `associate-/r/_binary64_6503` `prod-exp_binary64_16154` `prod-exp_binary64_2514` `prod-exp_binary64_22292` `pow1_binary64_6277`
40×	`distribute-rgt-in_binary64_16396` `add-log-exp_binary64_24328` `cbrt-unprod_binary64_10000` `add-log-exp_binary64_23305` `associate-/r/_binary64_3093` `pow-prod-down_binary64_22314` `cbrt-unprod_binary64_2157` `add-cbrt-cube_binary64_8298` `add-log-exp_binary64_16144` `prod-exp_binary64_2173` `associate-l_binary64` `cbrt-unprod_binary64_10682` `distribute-lft-in_binary64_16395` `pow1/3_binary64_5275` `flip3--_binary64_17473` `flip--_binary64_17444` `sqrt-pow1_binary64_13054`
39×	`associate-/r_binary64_1386` `div-exp_binary64_9677` `div-inv_binary64_13374` `associate-r_binary64_17750` `add-sqr-sqrt_binary64_6920` `associate-/r/_binary64_19461` `associate-r_binary64_19114` `pow1_binary64_4913` `associate-/r_binary64_1727` `associate-r_binary64_20137` `div-exp_binary64_16838` `associate-r/_binary64_12637` `div-exp_binary64_18884` `cube-prod_binary64_106` `cbrt-prod_binary64_21592` `sqrt-prod_binary64_17826` `unswap-sqr_binary64_15732` `associate-l_binary64_8885` `associate-/l_binary64_21165` `add-log-exp_binary64_21600` `cbrt-unprod_binary64_17502` `cbrt-undiv_binary64_18867` `div-inv_binary64_9623` `associate-/r/_binary64_16733` `div-exp_binary64_12405` `swap-sqr_binary64_17436` `distribute-lft-out_binary64_14010` `div-inv_binary64_14397`
38×	`times-frac_binary64_12019` `unpow-prod-down_binary64_17548` `pow-prod-down_binary64_13448` `cube-prod_binary64_17497` `cbrt-div_binary64_19206` `associate-+r+_binary64_11945` `add-cbrt-cube_binary64_20233` `div-inv_binary64_15420` `associate-/r/_binary64_12300` `pow-prod-down_binary64_9697` `associate-r/_binary64_19798` `associate-r_binary64_22865` `div-inv_binary64_13033` `sqrt-prod_binary64_11006` `associate-/r_binary64_23551`
37×	`pow-prod-down_binary64_19245` `flip3--_binary64_21565` `cbrt-undiv_binary64_12729` `sqr-pow_binary64_6529` `unpow-prod-down_binary64_14138` `associate-/l_binary64_20483` `div-exp_binary64_6608` `associate-l_binary64_8544` `flip--_binary64_14375` `flip3--_binary64_14404` `associate-l_binary64_11954` `associate-/r_binary64_7183` `add-log-exp_binary64_13757` `cube-prod_binary64_14087` `associate-/r/_binary64_16392` `associate-/r/_binary64_15028` `unswap-sqr_binary64_14368` `add-cbrt-cube_binary64_25007` `pow-prod-down_binary64_831` `add-exp-log_binary64_25009` `associate-r_binary64_4110` `flip--_binary64_21536` `div-exp_binary64_19907`
36×	`associate-r/_binary64_16388` `swap-sqr_binary64_3455` `cancel-sign-sub-inv_binary64_1408` `div-exp_binary64_10018` `associate-l_binary64_1383` `associate-/r_binary64_2409` `cube-prod_binary64_8972` `associate-/r_binary64_18436` `prod-exp_binary64_13085` `associate-/r_binary64_24915` `-un-lft-identity_binary64_6898` `associate-r_binary64_11953` `unpow-prod-down_binary64_9023` `cbrt-prod_binary64_17159` `cbrt-div_binary64` `cbrt-div_binary64_2156` `prod-exp_binary64_19564` `flip-+_binary64_9600` `associate-r/_binary64_10932` `associate-l_binary64_19456` `associate-r/_binary64_4112` `cbrt-unprod_binary64_13751` `cube-prod_binary64_8631` `associate-l*_binary64_16387` `associate-+r+_binary64_10581` `associate-+r+_binary64_16378` `flip3-+_binary64_9629`
35×	`associate-l/_binary64_9569` `cbrt-undiv_binary64_17844` `cbrt-undiv_binary64_19890` `cancel-sign-sub-inv_binary64_9251` `associate-r_binary64` `cbrt-undiv_binary64_12388` `associate-l_binary64_21161` `sqrt-prod_binary64_14075` `prod-exp_binary64_3878` `pow1_binary64_7300` `flip3-+_binary64_13039` `associate-r/_binary64_14342` `cancel-sign-sub-inv_binary64_5841` `div-exp_binary64_15133` `div-inv_binary64_10646` `prod-exp_binary64_18541` `flip-+_binary64_13010` `prod-exp_binary64_5242` `cbrt-undiv_binary64_9660` `pow1/3_binary64_7662` `pow-prod-down_binary64_13789` `associate-l_binary64_11272` `associate-*r/_binary64_13319` `cbrt-unprod_binary64_3862` `unswap-sqr_binary64_21529` `sqrt-prod_binary64_8619` `prod-exp_binary64_15472`
34×	`flip3-+_binary64_3832` `flip3--_binary64_2128` `prod-exp_binary64_19223` `flip-+_binary64_3803` `prod-exp_binary64_22974` `cbrt-unprod_binary64_19207` `prod-exp_binary64_4219` `cbrt-div_binary64_22957` `frac-times_binary64_17479` `unswap-sqr_binary64_13345` `pow1/3_binary64_19256` `sqrt-pow1_binary64` `distribute-rgt-in_binary64_10940` `cbrt-div_binary64_23980` `cbrt-prod_binary64_21251` `flip--_binary64_2099` `unswap-sqr_binary64_1069` `associate-*l/_binary64_1044` `cbrt-div_binary64_8976` `div-exp_binary64_10700` `associate-/r/_binary64_17415` `distribute-lft-in_binary64_10939` `sqrt-div_binary64`
33×	`pow-prod-down_binary64` `distribute-lft-in_binary64_17759` `sub-neg_binary64_12688` `log-pow_binary64_11079` `add-log-exp_binary64_23646` `pow1_binary64_20599` `div-exp_binary64_13087` `associate-/r_binary64_9229` `sqrt-prod_binary64_11688` `prod-exp_binary64_5583` `pow-exp_binary64_10717` `flip3--_binary64_16791` `unswap-sqr_binary64_9594` `flip--_binary64_16762` `associate-/l_binary64_2751` `div-inv_binary64_11669` `cbrt-prod_binary64_20228` `distribute-rgt-in_binary64_17760` `pow1_binary64_6618` `add-log-exp_binary64_6596` `associate-l_binary64_16046` `associate-*l/_binary64_24232` `unpow-prod-down_binary64_13456` `add-log-exp_binary64_19895`
32×	`flip3-+_binary64_8606` `distribute-rgt-in_binary64_12645` `cancel-sign-sub-inv_binary64_14366` `pow-prod-down_binary64_1854` `unswap-sqr_binary64_3456` `associate-l_binary64_23889` `associate-r/_binary64_10591` `flip-+_binary64_8577` `sqrt-prod_binary64_2140` `cbrt-undiv_binary64_9319` `flip3--_binary64_15086` `-commutative_binary64_21833` `distribute-lft-out_binary64_16397` `distribute-lft-out_binary64_11964` `unswap-sqr_binary64_2433` `cbrt-div_binary64_11704` `cbrt-div_binary64_792` `unpow-prod-down_binary64_5954` `associate-/r_binary64_20482` `associate-r/_binary64_24231` `associate-/l*_binary64_8548` `cancel-sign-sub-inv_binary64_17094` `flip--_binary64_15057` `sqrt-pow1_binary64_778` `rec-exp_binary64_8994` `distribute-lft-out_binary64_22535` `distribute-lft-in_binary64_12644` `cbrt-unprod_binary64_22958` `1-exp_binary64_8988` `associate-+r+_binary64_1374` `add-cbrt-cube_binary64_4888`
31×	`pow1/3_binary64_8685` `associate-/r_binary64_10252` `add-log-exp_binary64` `associate-/r_binary64_10593` `sum-log_binary64_1533` `cancel-sign-sub-inv_binary64_15730` `log-prod_binary64_4256` `div-inv_binary64_416` `sub-neg_binary64_11665` `times-frac_binary64_7927` `cbrt-unprod_binary64_13069` `unpow-prod-down_binary64_10728` `associate--l+_binary64_11950` `frac-times_binary64_3157` `difference-of-squares_binary64_7208` `rec-exp_binary64_15814` `prod-exp_binary64_14790` `flip3-+_binary64_7924` `cbrt-div_binary64_3861` `sqrt-prod_binary64_22259` `1-exp_binary64_15808` `pow1/3_binary64_160` `div-exp_binary64_20589` `div-inv_binary64_10305` `sub-neg_binary64_4163` `flip-+_binary64_7895`
30×	`unpow-prod-down_binary64_18571` `flip3--_binary64_1787` `flip-+_binary64_14374` `pow-prod-down_binary64_14471` `associate-r_binary64_24229` `distribute-lft-out_binary64_24240` `distribute-lft-out--_binary64_12647` `distribute-lft-out_binary64_13669` `flip3-+_binary64_14403` `sqr-pow_binary64_50` `sqrt-pow1_binary64_12031` `div-inv_binary64_9282` `flip3--_binary64_6561` `associate-/l_binary64_23` `pow-prod-down_binary64_12425` `cbrt-unprod_binary64_5567` `flip--_binary64_6532` `associate-/l_binary64_9571` `sqrt-div_binary64_3846` `cancel-sign-sub-inv_binary64_11979` `associate-l_binary64_19115` `pow-prod-down_binary64_10720` `swap-sqr_binary64_14367` `flip--_binary64_1758` `exp-prod_binary64_11042` `pow-prod-down_binary64_11061` `associate-*l/_binary64`
29×	`cbrt-div_binary64_8635` `div-inv_binary64_21217` `associate-r/_binary64_16729` `associate-/r/_binary64_11618` `flip3-+_binary64_1786` `flip-+_binary64_1757` `pow-prod-down_binary64_3218` `pow1_binary64_24350` `cbrt-unprod_binary64_5226` `prod-exp_binary64_18200` `log-pow_binary64_12102` `add-log-exp_binary64_19554` `cancel-sign-sub-inv_binary64_6523` `distribute-lft-in_binary64_3096` `swap-sqr_binary64_1068` `associate-/l_binary64_16391` `distribute-lft-out_binary64_20148` `distribute-rgt-in_binary64_3097` `unswap-sqr_binary64_10617` `distribute-lft-out--_binary64_30`
28×	`pow1_binary64_9346` `associate-/r_binary64` `associate-/r/_binary64_14687` `sub-neg_binary64_9619` `flip--_binary64_21877` `cbrt-undiv_binary64_16480` `flip-+_binary64_14715` `associate-/r_binary64_5819` `associate-+l+_binary64_4103` `associate-r/_binary64_11273` `unswap-sqr_binary64_387` `cbrt-unprod_binary64_4203` `associate-/r/_binary64_12641` `associate-/r/_binary64_10595` `associate-/l_binary64_1387` `distribute-lft-out_binary64_21171` `pow-prod-down_binary64_12766` `associate-/r/_binary64_24576` `associate--r+_binary64_9562` `swap-sqr_binary64_14708` `associate-/r/_binary64_10936` `flip3--_binary64_10653` `associate-+r+_binary64_11604` `associate-r_binary64_7861` `unswap-sqr_binary64_12663` `difference-of-squares_binary64_9254` `cbrt-prod_binary64_20569` `associate-/l_binary64_12299` `flip--_binary64_10624` `unswap-sqr_binary64_16755` `associate-/l/_binary64_24236` `associate-r/_binary64_17411` `distribute-lft-out--_binary64_9237` `unswap-sqr_binary64_10958` `flip3-+_binary64_14744` `cancel-sign-sub-inv_binary64_13343` `exp-sum_binary64_4216` `flip3--_binary64_21906` `pow-prod-down_binary64_13107`
27×	`cbrt-undiv_binary64_15116` `distribute-lft-out_binary64_17420` `pow-prod-down_binary64_12084` `sqrt-prod_binary64_21236` `pow1/3_binary64_18915` `cancel-sign-sub-inv_binary64_726` `div-inv_binary64_2803` `div-inv_binary64_18489` `distribute-rgt-in_binary64_710` `cbrt-unprod_binary64_16479` `prod-exp_binary64_2855` `associate-l_binary64_17069` `difference-of-squares_binary64_5844` `add-log-exp_binary64_20577` `associate-l/_binary64_10592` `add-log-exp_binary64_7278` `cbrt-unprod_binary64_2839` `flip--_binary64_14716` `distribute-lft-in_binary64_709` `pow1/3_binary64_11754` `prod-exp_binary64_23997` `sub-neg_binary64_1776` `log-prod_binary64_505` `flip3--_binary64_14745` `log-pow_binary64_21650` `add-log-exp_binary64_6255` `pow1/2_binary64_1181` `associate-r*_binary64_5815`
26×	`pow-prod-down_binary64_490` `associate-+l+_binary64_15697` `pow-unpow_binary64_10726` `unpow-prod-down_binary64_3567` `cbrt-unprod_binary64_19548` `unswap-sqr_binary64_9935` `cbrt-unprod_binary64_3180` `add-log-exp_binary64_2504` `associate-l_binary64_6157` `pow-prod-down_binary64_4241` `prod-exp_binary64_6265` `associate-l_binary64_8203` `div-exp_binary64_23999` `add-exp-log_binary64_25350` `pow1/3_binary64_10731` `div-exp_binary64_18543` `cube-prod_binary64_3516` `prod-exp_binary64_3196` `associate-+l+_binary64_1375` `associate-/l/_binary64_18098` `pow-prod-down_binary64_149` `add-cbrt-cube_binary64_25348` `associate-r/_binary64_2748` `associate--l+_binary64_13996` `pow1_binary64_25373` `cbrt-prod_binary64_6588` `unswap-sqr_binary64_5161` `cbrt-undiv_binary64_13752` `difference-of-squares_binary64_8231` `associate-l/_binary64_16730` `associate-l_binary64_7862` `associate-l_binary64_5816` `cbrt-undiv_binary64_10342`
25×	`add-log-exp_binary64_22964` `add-log-exp_binary64_4891` `distribute-lft-in_binary64_10257` `distribute-rgt-in_binary64_10258` `distribute-lft-out_binary64_12646` `div-inv_binary64_14738` `flip-+_binary64_9941` `pow-prod-up_binary64_5604` `distribute-lft-out--_binary64_19808` `cbrt-unprod_binary64_14774` `cbrt-prod_binary64_13749` `difference-of-squares_binary64_19825` `cbrt-unprod_binary64_2498` `difference-of-squares_binary64_12664` `cbrt-unprod_binary64_15456` `pow-prod-down_binary64_18904` `flip-+_binary64_10964` `associate-+r+_binary64_3079` `pow1/3_binary64_2206` `flip3-+_binary64_10993` `associate-r_binary64_8202` `cbrt-undiv_binary64_6591` `associate-/l_binary64_16732` `pow1/2_binary64_5614` `-commutative_binary64_9557` `flip3-+_binary64_9970` `associate-/l*_binary64_16050` `associate-/l/_binary64_19462` `pow-prod-down_binary64_11743` `distribute-lft-out--_binary64_8214` `cbrt-unprod_binary64_18184`
24×	`cbrt-undiv_binary64_16821` `sub-neg_binary64_14393` `sqrt-prod_binary64_7937` `associate-+r+_binary64_22175` `distribute-rgt-in_binary64_369` `cbrt-undiv_binary64_10001` `prod-exp_binary64_127` `pow1/3_binary64_16187` `prod-exp_binary64_17859` `cancel-sign-sub-inv_binary64_21527` `cbrt-div_binary64_7612` `unswap-sqr_binary64_5502` `prod-exp_binary64_23656` `distribute-rgt-in_binary64_8553` `cancel-sign-sub-inv_binary64_14707` `associate-r_binary64_4792` `associate-/l_binary64_11617` `-commutative_binary64_12626` `distribute-lft-in_binary64_8552` `associate-/l_binary64_15027` `associate-/l/_binary64_15711` `distribute-lft-in_binary64_368` `distribute-rgt-in_binary64_22193` `unswap-sqr_binary64_15050` `div-inv_binary64_15079` `pow-prod-down_binary64_21291` `distribute-lft-in_binary64_22192` `associate-+r+_binary64_8535` `associate-l/_binary64_14684` `associate--l+_binary64_3084` `frac-add_binary64_23956` `associate-/r_binary64_9911` `associate-+r+_binary64_9558` `associate-/r_binary64_22187` `swap-sqr_binary64_7888` `unpow-prod-down_binary64_1521` `unswap-sqr_binary64_1410` `cbrt-div_binary64_5566`
23×	`difference-of-squares_binary64_17097` `pow-prod-down_binary64_3900` `flip--_binary64_22900` `associate-l/_binary64_17412` `associate-/r/_binary64_1729` `flip--_binary64_5509` `cbrt-unprod_binary64_111` `unswap-sqr_binary64_14709` `associate-/l_binary64_9230` `distribute-lft-in_binary64_14349` `flip3--_binary64_12017` `frac-times_binary64_9636` `cbrt-unprod_binary64_452` `prod-exp_binary64_468` `div-inv_binary64_16102` `distribute-lft-out_binary64_5826` `cbrt-unprod_binary64_18525` `associate-/r_binary64_14685` `associate-/r_binary64_23892` `pow-to-exp_binary64_10718` `sqr-pow_binary64_10280` `sub-neg_binary64_10642` `sqr-pow_binary64_14031` `associate-*l/_binary64_18776` `distribute-rgt-in_binary64_14350` `flip--_binary64_16080` `cbrt-unprod_binary64_9318` `flip3--_binary64_5538` `cancel-sign-sub-inv_binary64_9933` `flip3--_binary64_22929` `sum-log_binary64_3579` `flip3--_binary64_16109` `flip--_binary64_11988` `sqrt-prod_binary64`
22×	`unswap-sqr_binary64_7548` `swap-sqr_binary64` `sqrt-prod_binary64_12029` `associate-/l_binary64_24575` `associate-r/_binary64_4453` `associate--l+_binary64_15` `div-inv_binary64_19853` `pow1/2_binary64_13116` `unswap-sqr_binary64_17437` `frac-2neg_binary64_11342` `unpow-prod-down_binary64_17889` `associate-r_binary64_24911` `flip-+_binary64_10623` `cbrt-undiv_binary64_13070` `associate-r/_binary64_21844` `sqrt-div_binary64_17827` `associate-l/_binary64_11956` `flip3-+_binary64_10652` `associate-r/_binary64_20` `div-exp_binary64_24681` `pow-prod-down_binary64_3559` `associate-l_binary64_24912` `-commutative_binary64_14331` `pow-prod-down_binary64_9015` `clear-num_binary64_11330` `associate-/r/_binary64_10254` `sqrt-div_binary64_9643` `sqrt-div_binary64_9984` `*-commutative_binary64_10580`
21×	`pow-prod-down_binary64_5264` `clear-num_binary64_19514` `flip--_binary64_20854` `pow1/3_binary64_14823` `pow1/3_binary64_8003` `flip3-+_binary64_422` `div-exp_binary64_14792` `flip3--_binary64_20883` `prod-exp_binary64_20587` `pow-prod-down_binary64_19927` `cancel-sign-sub-inv_binary64_21868` `div-inv_binary64_20535` `add-cbrt-cube_binary64_23302` `pow-prod-up_binary64_2194` `swap-sqr_binary64_5501` `log-prod_binary64_11076` `pow-exp_binary64_10376` `associate-/r_binary64_14003` `associate-r/_binary64_1043` `add-exp-log_binary64_23304` `clear-num_binary64_15422` `frac-2neg_binary64_15775` `sub-neg_binary64_21895` `flip--_binary64_14034` `clear-num_binary64_15763` `div-inv_binary64_8600` `difference-of-squares_binary64_7890` `associate-+r+_binary64_351` `associate-l_binary64_24230` `sub-neg_binary64_8937` `associate-/l_binary64_13663` `flip-+_binary64_393` `pow-prod-down_binary64_1172` `frac-2neg_binary64_15434` `-commutative_binary64_10921` `distribute-rgt-in_binary64_16737` `pow1/3_binary64_23007` `swap-sqr_binary64_2091` `frac-2neg_binary64_19526` `flip3--_binary64_14063` `pow-prod-down_binary64_10038` `cbrt-undiv_binary64_20572` `distribute-lft-in_binary64_16736`
20×	`div-exp_binary64_8654` `cosh-def_binary64_13563` `cbrt-unprod_binary64_10341` `pow1/2_binary64_2886` `difference-of-squares_binary64_1752` `distribute-lft-out_binary64_3098` `associate-/l/_binary64_17757` `frac-times_binary64_7931` `clear-num_binary64_17809` `prod-exp_binary64_1150` `frac-add_binary64_1791` `prod-exp_binary64_809` `div-exp_binary64_2516` `associate-/r/_binary64_23894` `sub-neg_binary64_15416` `sqrt-pow1_binary64_2824` `cancel-sign-sub-inv_binary64_7887` `cbrt-undiv_binary64_18526` `swap-sqr_binary64_3796` `sqrt-div_binary64_14417` `pow1_binary64_23327` `div-inv_binary64_16443` `associate-r/_binary64_14001` `distribute-lft-in_binary64_21851` `log-pow_binary64_10738` `sqrt-div_binary64_1800` `add-cube-cbrt_binary64_6933` `pow1/3_binary64_1183` `frac-2neg_binary64_17821` `distribute-rgt-in_binary64_21852` `associate-r/_binary64_15365` `cbrt-unprod_binary64_793` `rem-sqrt-square_binary64_1114` `associate-l_binary64_6498` `associate-r/_binary64_5476` `associate-l*_binary64_20479` `cancel-sign-sub-inv_binary64_20845` `pow-prod-down_binary64_15835` `distribute-lft-out_binary64_1052` `unpow-prod-down_binary64_5272` `div-inv_binary64_16784`
19×	`distribute-lft-out--_binary64_712` `add-log-exp_binary64_9324` `distribute-lft-out--_binary64_16398` `associate-/r/_binary64_7185` `unswap-sqr_binary64_20847` `unswap-sqr_binary64_19824` `unswap-sqr_binary64_3115` `difference-of-squares_binary64_24258` `pow1/3_binary64_4252` `flip3-+_binary64_13721` `swap-sqr_binary64_3114` `flip-+_binary64_13692` `flip3-+_binary64_17131` `associate-/r/_binary64_8549` `unswap-sqr_binary64_11299` `div-inv_binary64_13715` `add-log-exp_binary64_20236` `associate-l_binary64_4793` `sqrt-pow1_binary64_6234` `distribute-lft-out--_binary64_2417` `pow1/3_binary64_14141` `flip--_binary64_24605` `prod-exp_binary64_1491` `clear-num_binary64_18150` `unswap-sqr_binary64_15391` `-commutative_binary64_15013` `unswap-sqr_binary64_12322` `associate-r_binary64_13658` `swap-sqr_binary64_24256` `pow-sqr_binary64_2097` `unswap-sqr_binary64_8912` `frac-2neg_binary64_18162` `flip-+_binary64_17102` `flip3--_binary64_24634` `associate-r*_binary64_7179` `pow-prod-down_binary64_11402` `unswap-sqr_binary64_8571` `pow1/3_binary64_20961` `difference-of-squares_binary64_16415` `unswap-sqr_binary64_21870` `pow-prod-down_binary64_21632`
18×	`swap-sqr_binary64_13344` `flip-+_binary64_19148` `cbrt-div_binary64_4543` `cbrt-div_binary64_18524` `swap-sqr_binary64_7547` `flip3--_binary64_8266` `cbrt-unprod_binary64_1134` `flip-+_binary64_1416` `sum-log_binary64_12104` `associate-/l/_binary64_9573` `flip3-+_binary64_1445` `associate-/l_binary64_24916` `associate-l_binary64_20138` `add-exp-log_binary64_6936` `add-cbrt-cube_binary64_6934` `pow1/3_binary64` `distribute-lft-in_binary64_9234` `distribute-rgt-in_binary64_9235` `pow-unpow_binary64_10385` `clear-num_binary64_10989` `cbrt-undiv_binary64_2840` `associate-l_binary64_14000` `add-cube-cbrt_binary64_25347` `associate-l_binary64_7180` `associate-+l+_binary64_10582` `associate-/r/_binary64_9913` `sqrt-pow1_binary64_2483` `flip3--_binary64_19519` `flip3--_binary64_7925` `cbrt-div_binary64_17160` `sum-log_binary64_10058` `pow1/3_binary64_3911` `add-sqr-sqrt_binary64_25334` `frac-2neg_binary64_11001` `pow1/3_binary64_13459` `flip3-+_binary64_19177` `distribute-lft-out--_binary64_7191` `cancel-sign-sub-inv_binary64_19481` `div-exp_binary64_2857` `flip--_binary64_8237` `add-sqr-sqrt_binary64_4533` `cbrt-div_binary64_20911` `cbrt-unprod_binary64_23640` `unswap-sqr_binary64_6184` `-commutative_binary64_11603` `unswap-sqr_binary64_23916` `add-exp-log_binary64_22622` `unswap-sqr_binary64_1751` `flip--_binary64_7896` `flip--_binary64_19490` `associate-/l_binary64_19801` `frac-times_binary64_16456` `cancel-sign-sub-inv_binary64_10956` `associate-r/_binary64_11955` `cbrt-undiv_binary64_14775` `-un-lft-identity_binary64_25312` `associate-/l_binary64_2410` `cbrt-div_binary64_16137`
17×	`associate-/r/_binary64_23553` `pow1_binary64_4572` `flip--_binary64_53` `associate-l/_binary64_21504` `flip-+_binary64_23581` `flip3-+_binary64_12016` `flip3--_binary64_4174` `pow1/3_binary64_18574` `flip-+_binary64_16761` `prod-exp_binary64_20246` `associate-l/_binary64_3090` `pow1/3_binary64_10390` `flip3-+_binary64_23610` `flip3-+_binary64_17472` `flip--_binary64_22218` `sub-neg_binary64_16439` `associate-r/_binary64_9909` `-commutative_binary64_5465` `prod-exp_binary64_3537` `-commutative_binary64_7511` `cancel-sign-sub-inv_binary64_385` `flip3--_binary64_22247` `associate-/l/_binary64_2753` `pow-sqr_binary64_5507` `-commutative_binary64_20810` `diff-log_binary64_17902` `flip-+_binary64_11987` `cancel-sign-sub-inv_binary64_7205` `pow1/3_binary64_1524` `associate-l_binary64_13659` `flip3-+_binary64_10311` `associate-r/_binary64_24572` `pow1/3_binary64_16869` `log-pow_binary64_16876` `flip--_binary64_4145` `sub-neg_binary64_17803` `flip-+_binary64_17443` `flip3--_binary64_82` `associate-l*_binary64_23548` `pow-prod-down_binary64_20268` `pow1/3_binary64_24030` `flip3-+_binary64_16790` `pow-flip_binary64_13110` `cbrt-unprod_binary64_20230` `frac-times_binary64_14751` `flip-+_binary64_10282`
16×	`sum-log_binary64_23357` `associate-l/_binary64_5477` `sqrt-div_binary64_5551` `associate-r/_binary64_13660` `sqrt-div_binary64_7938` `associate-/l_binary64_7184` `frac-times_binary64_15774` `associate-/l/_binary64_17416` `unswap-sqr_binary64_2092` `flip-+_binary64_19489` `difference-of-squares_binary64` `prod-exp_binary64_8311` `pow-prod-down_binary64_5946` `sum-log_binary64_10740` `cbrt-unprod_binary64_5908` `flip3-+_binary64_5537` `distribute-lft-out_binary64_14351` `pow1_binary64_24691` `sinh-def_binary64_11516` `flip-+_binary64_17784` `associate-r/_binary64` `associate-/l_binary64` `swap-sqr_binary64_19141` `distribute-lft-out_binary64_10600` `swap-sqr_binary64_11639` `pow1/3_binary64_23689` `flip3-+_binary64_19518` `log-div_binary64_12441` `flip3-+_binary64_17813` `swap-sqr_binary64_16072` `-un-lft-identity_binary64_4511` `pow-prod-up_binary64_13106` `cancel-sign-sub-inv_binary64_19822` `pow-to-exp_binary64_10377` `difference-of-squares_binary64_8572` `flip--_binary64_19831` `flip-+_binary64_5508` `-commutative_binary64_1714` `associate-+r+_binary64_4102` `-commutative_binary64_350` `sum-log_binary64_1874` `swap-sqr_binary64_5160` `sqrt-div_binary64_2141` `flip3--_binary64_19860` `difference-of-squares_binary64_4139` `-commutative_binary64_13308` `cbrt-prod_binary64_21933` `associate-/r/_binary64_16051` `associate-l/_binary64_9910` `cbrt-div_binary64_10681` `frac-times_binary64_16797` `prod-exp_binary64_4901` `prod-exp_binary64_5924` `sqrt-div_binary64_3505` `cbrt-prod_binary64_2837` `-commutative_binary64_12967` `associate-r/_binary64_5135` `add-log-exp_binary64_25351` `frac-times_binary64` `associate-r/_binary64_3089` `unswap-sqr_binary64_2774` `cbrt-unprod_binary64_8295` `-commutative_binary64_16718` `*-commutative_binary64_9898`
15×	`div-sub_binary64_17815` `div-inv_binary64_24627` `inv-pow_binary64_13121` `rec-exp_binary64_16496` `1-exp_binary64_17854` `flip--_binary64_7555` `cancel-sign-sub-inv_binary64_5500` `flip3-+_binary64_15426` `div-inv_binary64_18830` `1-exp_binary64_16490` `cbrt-unprod_binary64_20571` `div-inv_binary64_1439` `unswap-sqr_binary64_16414` `associate-/r_binary64_1045` `distribute-lft-out_binary64_8213` `sub-neg_binary64_12347` `rem-sqrt-square_binary64_13049` `pow1/2_binary64_15162` `clear-num_binary64_21219` `pow-prod-down_binary64_16517` `cancel-sign-sub-inv_binary64_10274` `div-exp_binary64_1493` `sum-log_binary64_19265` `frac-2neg_binary64_21231` `associate-/r/_binary64_19802` `cbrt-div_binary64_14091` `associate-l/_binary64_3772` `flip--_binary64_17103` `sqrt-pow1_binary64_15100` `distribute-rgt-out_binary64_20150` `associate-/r*_binary64_23210` `flip3-+_binary64_18836` `cbrt-unprod_binary64_3521` `pow-prod-down_binary64_8333` `unpow-prod-down_binary64_11751` `pow-prod-up_binary64_3558` `div-exp_binary64_1834` `cbrt-undiv_binary64_2499` `cbrt-undiv_binary64_8637` `cancel-sign-sub-inv_binary64_6864` `unpow-prod-down_binary64_4931` `flip3--_binary64_17132` `rec-exp_binary64_17860` `clear-num_binary64_21560` `sum-log_binary64_24380` `frac-2neg_binary64_21572` `cbrt-undiv_binary64_24664` `flip-+_binary64_18807` `sub-neg_binary64_8596` `flip-+_binary64_15397` `flip3--_binary64_7584`
14×	`sqr-pow_binary64_9257` `-commutative_binary64_9` `prod-exp_binary64_6606` `flip3--_binary64_7243` `distribute-lft-out--_binary64_11283` `distribute-rgt-in_binary64_13327` `-commutative_binary64_1032` `distribute-lft-out--_binary64_5827` `sum-log_binary64_15855` `associate-/l_binary64_22529` `distribute-lft-out--_binary64_17080` `pow1/2_binary64` `associate-/r_binary64_17072` `add-log-exp_binary64_4550` `frac-2neg_binary64_17480` `associate-/l_binary64_23552` `unswap-sqr_binary64_7889` `cbrt-prod_binary64_22956` `unpow-prod-down_binary64_21299` `cancel-sign-sub-inv_binary64_15048` `associate-/r/_binary64_3775` `distribute-lft-in_binary64_13326` `associate-/l/_binary64_1048` `cbrt-div_binary64_12727` `div-inv_binary64_14056` `frac-times_binary64_3839` `clear-num_binary64_17468` `pow-prod-down_binary64_23678` `cbrt-prod_binary64_15454` `associate-/l/_binary64_16393` `associate-/r/_binary64_14005` `diff-log_binary64_15515` `associate-r_binary64_6838` `unpow-prod-down_binary64_4249` `1-exp_binary64_10693` `unswap-sqr_binary64` `unpow2_binary64_10373` `associate-l/_binary64_15707` `rec-exp_binary64_10699` `sqrt-div_binary64_95` `associate-r/_binary64_3771` `sub-neg_binary64_22236` `associate-/l_binary64_1728` `pow1/3_binary64_15164` `associate-l_binary64_17751` `unswap-sqr_binary64_46` `cancel-sign-sub-inv_binary64_13684` `cbrt-unprod_binary64_6249` `cbrt-unprod_binary64_6590` `unswap-sqr_binary64_20506` `pow1/3_binary64_5616` `unpow2_binary64_9350` `pow-prod-up_binary64` `add-cube-cbrt_binary64_4546` `sum-log_binary64_169` `flip--_binary64_7214`
13×	`-commutative_binary64_8534` `associate-r/_binary64_17070` `cbrt-undiv_binary64_1817` `flip-+_binary64_18466` `-commutative_binary64_18764` `div-exp_binary64_20930` `associate-/r/_binary64` `distribute-lft-out--_binary64_7873` `clear-num_binary64_13376` `associate-r/_binary64_15706` `distribute-rgt-in_binary64_12304` `-commutative_binary64_19787` `cbrt-div_binary64_5225` `cbrt-undiv_binary64_20913` `frac-2neg_binary64_14411` `flip-+_binary64_52` `-commutative_binary64_2737` `clear-num_binary64_14399` `sum-log_binary64_11763` `add-log-exp_binary64_6937` `-commutative_binary64_22856` `clear-num_binary64_8943` `pow1_binary64_6959` `flip3--_binary64_19178` `unpow-prod-down_binary64_18230` `swap-sqr_binary64_8570` `frac-add_binary64_17477` `associate--l+_binary64_8199` `associate-/r/_binary64_22530` `div-inv_binary64_1780` `-commutative_binary64_2055` `flip--_binary64_19149` `flip-+_binary64_12669` `pow-prod-down_binary64_14812` `div-exp_binary64_25022` `distribute-lft-out--_binary64_1735` `distribute-lft-out_binary64_17079` `distribute-lft-out--_binary64_20831` `exp-prod_binary64_10701` `associate-/l_binary64_1046` `associate-l/_binary64_20822` `unswap-sqr_binary64_21188` `cbrt-unprod_binary64_23981` `frac-2neg_binary64_13388` `associate-/l_binary64_9912` `frac-2neg_binary64_8955` `unpow-prod-down_binary64_1862` `cube-prod_binary64_16815` `associate-/l_binary64_14686` `distribute-lft-in_binary64_12303` `flip3-+_binary64_12698` `distribute-rgt-in_binary64_13668` `-commutative_binary64_22174` `pow1/3_binary64_4934` `associate-/l/_binary64_10937` `unswap-sqr_binary64_22893` `-commutative_binary64_16036` `swap-sqr_binary64_1409` `-commutative_binary64_21492` `distribute-rgt-in_binary64_23898` `1-exp_binary64_19559` `unpow-prod-down_binary64_16866` `div-inv_binary64_23945` `flip3-+_binary64_18495` `cbrt-undiv_binary64_25005` `distribute-lft-out--_binary64_1394` `pow-sqr_binary64_3461` `sub-neg_binary64_8255` `div-exp_binary64_23658` `unswap-sqr_binary64_4138` `rec-exp_binary64_19565` `cube-prod_binary64_18179` `pow1/3_binary64_9708` `distribute-lft-in_binary64_13667` `associate-r/_binary64_20821` `sum-log_binary64_3238` `associate-/l*_binary64_14004` `flip3-+_binary64_81` `distribute-lft-in_binary64_23897` `sqr-pow_binary64_10621` `sum-log_binary64_5625`
12×	`distribute-lft-out_binary64_17761` `unswap-sqr_binary64_728` `-commutative_binary64_11262` `cancel-sign-sub-inv_binary64_3795` `frac-sub_binary64_10658` `unswap-sqr_binary64_3797` `associate-/r/_binary64_1047` `distribute-lft-in_binary64_8211` `sub-neg_binary64_17462` `flip--_binary64_9942` `associate-r/_binary64_7181` `pow1/3_binary64_10049` `cube-prod_binary64_5903` `distribute-rgt-in_binary64_17419` `div-inv_binary64_24968` `-commutative_binary64_2396` `associate-r/_binary64_22867` `add-exp-log_binary64_4549` `unpow-prod-down_binary64_21981` `distribute-rgt-in_binary64_20829` `pow1/2_binary64_840` `difference-of-sqr-1_binary64_389` `distribute-lft-in_binary64_15372` `associate-/l_binary64_11958` `distribute-lft-in_binary64_19464` `sqrt-pow1_binary64_3506` `associate--r+_binary64_9903` `associate-/r_binary64_11957` `pow1/2_binary64_3568` `associate-/r/_binary64_21166` `flip3--_binary64_9971` `diff-log_binary64_11423` `1-exp_binary64_11716` `distribute-lft-out_binary64_10941` `associate-r/_binary64_7863` `associate-/l_binary64_23211` `cbrt-undiv_binary64_10683` `-commutative_binary64_16377` `pow1/3_binary64_13118` `associate-/l_binary64_3433` `prod-exp_binary64_7288` `associate-/l_binary64_23893` `div-sub_binary64_18156` `times-frac_binary64_2130` `flip--_binary64_5850` `-commutative_binary64_5124` `rec-exp_binary64_15473` `associate-/l_binary64_18437` `distribute-rgt-in_binary64_19465` `distribute-rgt-in_binary64_8212` `associate-/r_binary64_20141` `associate-l/_binary64_14343` `pow1/2_binary64_12093` `frac-times_binary64_3498` `cos-sum_binary64_18626` `sub-neg_binary64_18144` `swap-sqr_binary64_4137` `sqr-pow_binary64_1414` `flip-+_binary64_22217` `log-div_binary64_16874` `unswap-sqr_binary64_5843` `sub-neg_binary64_14052` `unpow-prod-down_binary64_7659` `flip3--_binary64_5879` `cbrt-unprod_binary64_7272` `distribute-lft-in_binary64_17418` `distribute-lft-in_binary64_6506` `distribute-rgt-in_binary64_6507` `unswap-sqr_binary64_19142` `1-exp_binary64_15467` `frac-2neg_binary64_12706` `cbrt-undiv_binary64_23982` `frac-times_binary64_21571` `frac-times_binary64_2134` `pow-prod-down_binary64_2536` `associate-/l/_binary64_18780` `associate-/l/_binary64_15370` `distribute-lft-in_binary64_20828` `distribute-rgt-in_binary64_15373` `associate-l/_binary64_16389` `sqrt-pow1_binary64_21920` `distribute-rgt-in_binary64_22875` `associate-/l_binary64_22188` `clear-num_binary64_12694` `sum-log_binary64_13127` `distribute-lft-in_binary64_22874` `sub-neg_binary64_71` `flip3-+_binary64_22246` `-commutative_binary64_691` `sqrt-div_binary64_12030` `cancel-sign-sub-inv_binary64_24596` `add-cbrt-cube_binary64_22620`
11×	`sqrt-prod_binary64_94` `+-commutative_binary64_8` `cbrt-undiv_binary64_23641` `associate-/r_binary64_18777` `clear-num_binary64_13035` `1-exp_binary64_10352` `cbrt-undiv_binary64_1476` `unswap-sqr_binary64_16073` `flip3-+_binary64_15767` `cbrt-unprod_binary64_1475` `flip-+_binary64_4485` `sum-log_binary64_15173` `sqrt-pow1_binary64_17828` `pow-prod-up_binary64_1171` `flip3-+_binary64_4514` `clear-num_binary64_16445` `-commutative_binary64_19105` `cbrt-unprod_binary64_17161` `log-pow_binary64_24037` `rec-exp_binary64_9335` `pow-prod-down_binary64_18563` `associate-r/_binary64_21503` `distribute-rgt-in_binary64_7189` `pow1/3_binary64_20279` `associate-/l/_binary64_12642` `div-exp_binary64_470` `associate-r/_binary64_8545` `pow-exp_binary64_12763` `cbrt-div_binary64_11363` `cbrt-undiv_binary64_453` `-commutative_binary64_21151` `associate-/l/_binary64_366` `associate-/r/_binary64_24917` `associate-/r/_binary64_20484` `unswap-sqr_binary64_23575` `flip3-+_binary64_21564` `associate-/l_binary64_24234` `div-exp_binary64_5926` `div-inv_binary64_23604` `cbrt-prod_binary64_15795` `associate-r/_binary64_9227` `-commutative_binary64_8875` `rec-exp_binary64_10358` `flip-+_binary64_21535` `frac-times_binary64_19525` `-commutative_binary64_15695` `associate-/r/_binary64_9231` `pow-prod-down_binary64_17540` `distribute-lft-in_binary64_7188` `flip3--_binary64_8948` `flip--_binary64_8919` `sum-log_binary64_16537` `difference-of-squares_binary64_20848` `div-inv_binary64_2462` `flip-+_binary64_23240` `cancel-sign-sub-inv_binary64_13002` `flip-+_binary64_15738` `sum-log_binary64_14491` `-commutative_binary64_3419` `log-pow_binary64_167` `associate-/r/_binary64_22189` `1-exp_binary64_9329` `sub-neg_binary64_753` `frac-2neg_binary64_16457` `frac-2neg_binary64_13047` `pow1/3_binary64_5957` `div-exp_binary64_22294` `flip3-+_binary64_23269` `pow1/2_binary64_17890` `associate-/l_binary64_5820` `associate-l_binary64_6839` `associate-/r_binary64_24233` `prod-exp_binary64_17177`
10×	`cbrt-unprod_binary64_17843` `flip3--_binary64_5197` `clear-num_binary64_12353` `associate-/l/_binary64_1730` `diff-log_binary64_10059` `flip--_binary64_5168` `div-exp_binary64_7290` `sqrt-div_binary64_13394` `div-exp_binary64_3880` `flip--_binary64_3804` `pow1/2_binary64_8001` `pow-prod-up_binary64_12083` `cbrt-undiv_binary64_3863` `associate-+l+_binary64_18425` `cbrt-undiv_binary64_3181` `pow1/2_binary64_2204` `associate--l+_binary64_1379` `associate--r+_binary64_13313` `cbrt-unprod_binary64_4885` `div-exp_binary64_24340` `distribute-lft-out_binary64_15715` `associate-/l/_binary64_21508` `prod-exp_binary64` `frac-2neg_binary64_12365` `cancel-sign-sub-inv_binary64_3113` `associate-/l/_binary64_7868` `swap-sqr_binary64_45` `div-inv_binary64_22240` `sqrt-pow1_binary64_2142` `prod-exp_binary64_7970` `diff-log_binary64_8354` `associate-+l-_binary64_11948` `diff-log_binary64_4262` `div-inv_binary64_5872` `frac-2neg_binary64_9637` `associate-+l+_binary64_15356` `pow-prod-down_binary64_7310` `swap-sqr_binary64_18800` `sqrt-pow1_binary64_7939` `associate-l/_binary64_7864` `frac-add_binary64_19523` `associate-/r/_binary64_13664` `cbrt-unprod_binary64_7954` `sum-log_binary64_15514` `flip--_binary64_9260` `unswap-sqr_binary64_17096` `sqrt-div_binary64_2482` `cbrt-undiv_binary64_7273` `frac-add_binary64_16454` `distribute-lft-out--_binary64_4122` `distribute-lft-in_binary64_5483` `difference-of-squares_binary64_22212` `sqrt-div_binary64_21578` `associate-l/_binary64_8205` `div-inv_binary64_7236` `flip3--_binary64_9289` `pow1/2_binary64_3909` `div-inv_binary64_24286` `add-cbrt-cube_binary64_4547` `cosh-def_binary64_12881` `cbrt-unprod_binary64` `div-inv_binary64_9964` `sum-log_binary64_3920` `associate-/r/_binary64_2411` `+-commutative_binary64_15694` `pow-prod-down_binary64_15494` `div-exp_binary64_3198` `associate-r/_binary64_8204` `-commutative_binary64_4101` `swap-sqr_binary64_20846` `pow-prod-down_binary64_10379` `pow-prod-up_binary64_830` `pow-prod-down_binary64_17199` `pow-sqr_binary64` `pow-sqr_binary64_13009` `div-exp_binary64` `pow1/2_binary64_2545` `sqrt-pow1_binary64_3847` `distribute-lft-out--_binary64_24241` `pow-exp_binary64_9353` `clear-num_binary64_9625` `pow-to-exp_binary64_9354` `distribute-lft-out_binary64_11623` `rem-sqrt-square_binary64_17823` `prod-exp_binary64_24338` `sub-neg_binary64_13370` `sub-neg_binary64_12006` `distribute-rgt-neg-in_binary64_7538` `unswap-sqr_binary64_22211` `exp-sum_binary64_10695` `distribute-lft-neg-in_binary64_7537` `diff-log_binary64_10741` `distribute-rgt-in_binary64_5484` `flip3--_binary64_3833`
9×	`unpow2_binary64_13442` `cbrt-undiv_binary64_24323` `+-commutative_binary64_11943` `sub-neg_binary64_412` `-commutative_binary64_17400` `+-commutative_binary64_16376` `associate-/r_binary64_3432` `associate-r/_binary64_19457` `+-commutative_binary64_1713` `diff-log_binary64_12446` `distribute-rgt-in_binary64_17078` `exp-sum_binary64_1829` `pow1/3_binary64_4593` `associate-l_binary64_24571` `frac-2neg_binary64_8614` `frac-add_binary64_12021` `cbrt-div_binary64_5907` `pow-unpow_binary64_5270` `sum-log_binary64_18242` `div-exp_binary64_22635` `prod-exp_binary64_24679` `+-commutative_binary64_15012` `unswap-sqr_binary64_18119` `log-pow_binary64_12443` `distribute-lft-in_binary64_2755` `+-commutative_binary64_10579` `flip3--_binary64_1446` `+-commutative_binary64_5464` `pow-unpow_binary64_17887` `unswap-sqr_binary64_24939` `rec-exp_binary64_16837` `pow1/3_binary64_13800` `pow-prod-down_binary64_1513` `cancel-sign-sub-inv_binary64_18458` `pow1/3_binary64_21302` `sqrt-pow1_binary64_9985` `pow1/2_binary64_6296` `pow-exp_binary64_4238` `1-exp_binary64_11034` `distribute-rgt-in_binary64_15032` `sqrt-prod_binary64_18508` `times-frac_binary64_5540` `difference-of-squares_binary64_13005` `pow-unpow_binary64_12772` `pow-sqr_binary64_3120` `flip--_binary64_20513` `associate-l_binary64_18433` `associate-r/_binary64_14683` `unswap-sqr_binary64_19483` `1-exp_binary64_16831` `distribute-lft-in_binary64_15031` `frac-times_binary64_6567` `flip--_binary64_1417` `+-commutative_binary64_3418` `exp-prod_binary64_21954` `difference-of-sqr-1_binary64_18121` `pow-plus_binary64_2187` `swap-sqr_binary64_17095` `-commutative_binary64_3078` `+-commutative_binary64_3077` `pow1/3_binary64_17210` `rem-sqrt-square_binary64_2478` `prod-exp_binary64_14108` `frac-add_binary64_8952` `-commutative_binary64_14672` `rec-exp_binary64_11040` `pow-prod-up_binary64_3217` `pow1/3_binary64_12436` `swap-sqr_binary64_13685` `associate-/r_binary64_3773` `pow1_binary64_25032` `cbrt-prod_binary64_17841` `div-exp_binary64_1152` `associate-r/_binary64_5817` `pow-unpow_binary64_4929` `clear-num_binary64_2805` `associate-/l_binary64_3092` `associate-r/_binary64_12978` `pow-prod-up_binary64_7991` `cbrt-unprod_binary64_14092` `difference-of-squares_binary64_6867` `-commutative_binary64_12285` `pow-sqr_binary64_392` `unpow-prod-down_binary64_23686` `-commutative_binary64_10239` `add-log-exp_binary64_24669` `swap-sqr_binary64_23915` `associate-+l+_binary64_7854` `difference-of-squares_binary64_10277` `pow-prod-up_binary64_489` `div-inv_binary64_3485` `flip-+_binary64_21194` `clear-num_binary64_8602` `flip3-+_binary64_21223` `pow-prod-down_binary64_7992` `frac-2neg_binary64_2817` `rem-sqrt-square_binary64_15095` `distribute-lft-in_binary64_17077` `unpow-prod-down_binary64_6295` `sqrt-prod_binary64_13393` `frac-times_binary64_20889` `distribute-rgt-in_binary64_2756` `flip3--_binary64_20542` `sqr-pow_binary64_13349` `sub-neg_binary64_6550`
8×	`-commutative_binary64_15354` `flip3-+_binary64_7242` `associate--r+_binary64_12290` `associate-l/_binary64_3431` `unswap-sqr_binary64_17778` `div-inv_binary64_3826` `clear-num_binary64_20537` `associate-r/_binary64_16047` `pow-prod-down_binary64_14130` `associate-+r+_binary64_17401` `flip-+_binary64_14033` `rem-sqrt-square_binary64_6229` `diff-log_binary64_18243` `unswap-sqr_binary64_4820` `distribute-lft-neg-out_binary64_3788` `flip--_binary64_13011` `associate-/l/_binary64_14347` `flip-+_binary64_7213` `sub-neg_binary64_16098` `frac-times_binary64_13728` `frac-sub_binary64_11340` `unpow2_binary64_5258` `associate-l/_binary64_19799` `div-exp_binary64_16156` `div-exp_binary64_14110` `associate-+r+_binary64_15355` `associate-/l/_binary64_707` `flip3--_binary64_23952` `diff-log_binary64_9718` `sub-neg_binary64_11324` `inv-pow_binary64_15508` `pow-flip_binary64_15497` `associate-+r+_binary64_8876` `frac-add_binary64_15772` `sub-neg_binary64_1435` `flip3--_binary64_11335` `1-exp_binary64_12739` `difference-of-squares_binary64_11300` `associate-/l/_binary64_11278` `associate-r/_binary64_19116` `frac-times_binary64_11341` `associate-+r+_binary64_20811` `distribute-lft-out--_binary64_12988` `frac-sub_binary64_15091` `associate-/l/_binary64_14006` `associate-/r_binary64_8206` `associate-+r+_binary64_19447` `swap-sqr_binary64_8229` `clear-num_binary64_10307` `cbrt-unprod_binary64_12046` `distribute-rgt-in_binary64_19806` `associate-/r_binary64_3091` `distribute-lft-out--_binary64_8555` `frac-times_binary64_19184` `distribute-lft-in_binary64_16054` `pow-prod-up_binary64_13788` `flip--_binary64_22559` `flip--_binary64_2440` `-commutative_binary64_11944` `frac-2neg_binary64_19867` `cbrt-div_binary64_10340` `distribute-rgt-in_binary64_16055` `associate--l+_binary64_10245` `distribute-rgt-in_binary64_3779` `frac-2neg_binary64_16798` `associate-/l/_binary64_11960` `frac-2neg_binary64_20549` `associate-/l/_binary64_23554` `distribute-rgt-in_binary64_24580` `pow-prod-down_binary64_6287` `associate-l/_binary64_11274` `clear-num_binary64_16786` `associate-/l/_binary64_13665` `distribute-lft-in_binary64_24579` `div-inv_binary64_3144` `associate-+l+_binary64_12287` `associate-l/_binary64_19117` `difference-of-sqr-1_binary64_730` `-commutative_binary64_1373` `associate-+r+_binary64_3761` `flip3--_binary64_2469` `flip3--_binary64_22588` `associate-/l/_binary64_24577` `associate-r_binary64_4451` `pow-prod-up_binary64_2876` `unswap-sqr_binary64_24257` `sub-neg_binary64_22918` `cancel-sign-sub-inv_binary64_22891` `unpow-prod-down_binary64_16525` `associate-r/_binary64_25254` `unswap-sqr_binary64_6525` `associate-/r/_binary64_7867` `flip--_binary64_23923` `associate-+r+_binary64_6489` `rec-exp_binary64_12745` `associate-r/_binary64_3430` `+-commutative_binary64_14330` `cube-prod_binary64_16474` `sqrt-prod_binary64_22941` `unswap-sqr_binary64_20165` `cube-prod_binary64_15451` `log-div_binary64_12100` `div-sub_binary64_15769` `sub-neg_binary64_17121` `sqrt-div_binary64_10325` `rec-exp_binary64_13086` `frac-times_binary64_5544` `flip--_binary64_24946` `pow-exp_binary64_1510` `clear-num_binary64_6556` `frac-add_binary64_9975` `sub-neg_binary64_19849` `distribute-lft-in_binary64_3778` `frac-2neg_binary64_11683` `associate-+r+_binary64_5466` `cbrt-unprod_binary64_24322` `swap-sqr_binary64_15049` `associate-/r/_binary64_706` `clear-num_binary64_19855` `associate-+r+_binary64_15014` `frac-add_binary64_10657` `frac-times_binary64_22935` `distribute-lft-in_binary64_19805` `diff-log_binary64_12105` `frac-2neg_binary64_6568` `sum-log_binary64_8012` `div-inv_binary64` `distribute-lft-out_binary64_29` `frac-add_binary64_1450` `cube-div_binary64_14088` `flip3--_binary64_16450` `flip3--_binary64_13040` `sum-log_binary64_14832` `pow-prod-down_binary64_18222` `frac-2neg_binary64_10319` `1-exp_binary64_13080` `rem-log-exp_binary64_23989` `prod-exp_binary64_12062` `clear-num_binary64_11671` `cbrt-undiv_binary64_16139` `distribute-lft-out--_binary64_22195` `associate-/l/_binary64_6504` `flip3-+_binary64_14062` `distribute-lft-in_binary64_18100` `sub-neg_binary64_20872` `unpow-prod-down_binary64_15502` `distribute-rgt-in_binary64_18101` `flip--_binary64_16421` `associate-/l/_binary64_7186` `pow-to-exp_binary64_1511` `sqr-pow_binary64_5165` `cancel-sign-sub-inv_binary64_18799` `flip--_binary64_11306` `associate-/l/_binary64_8550` `-commutative_binary64` `unswap-sqr_binary64_11981` `*-commutative_binary64_6147` `flip3--_binary64_24975` `pow-pow_binary64_10721`
7×	`flip-+_binary64_6872` `unswap-sqr_binary64_13686` `1-exp_binary64_18195` `unpow3_binary64_14125` `associate-l/_binary64_19458` `frac-2neg_binary64_13729` `flip--_binary64_10283` `cbrt-undiv_binary64_5909` `1-exp_binary64_13762` `sub-neg_binary64_15757` `cbrt-undiv_binary64_1135` `1-exp_binary64_11375` `cbrt-undiv_binary64_7955` `flip3--_binary64_8607` `associate-r/_binary64_6499` `rec-exp_binary64_18201` `associate-/r/_binary64_1388` `pow-prod-up_binary64_3899` `rec-exp_binary64_11381` `difference-of-squares_binary64_11982` `associate-/l_binary64_18778` `div-sub_binary64_19520` `cancel-sign-sub-inv_binary64_2090` `distribute-lft-out--_binary64_10942` `sqr-pow_binary64_12667` `frac-times_binary64_9295` `diff-log_binary64_170` `sub-neg_binary64_9960` `div-inv_binary64_22581` `pow-exp_binary64_4920` `associate-l_binary64_4452` `distribute-lft-out_binary64_7872` `log-pow_binary64_10397` `flip3-+_binary64_6901` `+-commutative_binary64_1372` `cube-mult_binary64_14089` `pow-plus_binary64_13781` `associate-/r_binary64_7865` `pow-flip_binary64_13792` `frac-2neg_binary64_2476` `div-sub_binary64_17474` `associate-/r_binary64_5137` `pow-prod-down_binary64_19586` `frac-times_binary64_23958` `sqrt-prod_binary64_8278` `pow-sqr_binary64_7894` `pow1/3_binary64_12095` `associate-/l_binary64_17073` `flip3--_binary64_10312` `cbrt-undiv_binary64_5227` `pow1/3_binary64_18233` `clear-num_binary64_13717` `sum-log_binary64_17560` `pow-flip_binary64_15838` `pow-pow_binary64_10380` `+-commutative_binary64_15353` `div-exp_binary64_5244` `pow-sqr_binary64_1074` `rem-exp-log_binary64_10689` `cancel-sign-sub-inv_binary64_16753` `rem-log-exp_binary64_12395` `frac-add_binary64_24297` `sqrt-div_binary64_23283` `rec-exp_binary64_13768` `frac-sub_binary64_19865` `sqr-pow_binary64_5847` `sub-neg_binary64_2117` `-commutative_binary64_17059` `times-frac_binary64_6904` `+-commutative_binary64_17399` `-commutative_binary64_3760` `-commutative_binary64_20128` `associate-/l_binary64_10594` `add-log-exp_binary64_25010` `unpow-prod-down_binary64_2544` `div-exp_binary64_7972` `associate-/r_binary64_6842` `pow-prod-up_binary64_22995` `sqrt-prod_binary64_7596` `sub-neg_binary64_5868` `sub-neg_binary64_7232` `flip--_binary64_8578` `div-exp_binary64_3539` `pow-prod-down_binary64_4923` `frac-times_binary64_15433` `unpow2_binary64_7986` `-commutative_binary64_5806` `cbrt-unprod_binary64_24663` `associate-*l/_binary64_15366` `pow-sqr_binary64_22898` `unpow2_binary64_5940` `cbrt-undiv_binary64_22277` `clear-num_binary64_2464` `cbrt-prod_binary64_4542` `pow-exp_binary64_5261` `sqr-pow_binary64_3119` `sqr-pow_binary64_7893` `sub-neg_binary64_5527`
6×	`cube-div_binary64_5904` `rem-sqrt-square_binary64_9639` `sum-log_binary64_11081` `unpow2_binary64_5599` `cube-div_binary64_13065` `clear-num_binary64_418` `sum-log_binary64_10399` `associate-/l/_binary64_23895` `pow1/3_binary64_11413` `clear-num_binary64_24629` `associate-r/_binary64_10250` `frac-times_binary64_9977` `+-commutative_binary64_19104` `pow1/2_binary64_9706` `associate-/l/_binary64_19803` `pow-unpow_binary64_4247` `swap-sqr_binary64_9593` `associate--l+_binary64_356` `pow-unpow_binary64_5952` `cancel-sign-sub-inv_binary64_2772` `unswap-sqr_binary64_14027` `swap-sqr_binary64_10275` `sub-neg_binary64_10983` `associate-/l/_binary64_15029` `unpow-prod-down_binary64_498` `frac-times_binary64_19866` `pow-prod-down_binary64_6628` `pow-plus_binary64_3551` `pow-exp_binary64_13104` `sqrt-prod_binary64_776` `sqrt-div_binary64_14076` `-commutative_binary64_8193` `pow-exp_binary64_7648` `frac-2neg_binary64_15093` `associate-/l/_binary64_1389` `associate-r_binary64_25252` `diff-log_binary64_17220` `unpow-prod-down_binary64_2203` `frac-2neg_binary64_430` `pow-sqr_binary64_13691` `-commutative_binary64_13649` `frac-times_binary64_8613` `rem-log-exp_binary64_16828` `flip--_binary64_13352` `swap-sqr_binary64_20164` `associate-/l/_binary64_9914` `distribute-lft-out--_binary64_10260` `pow-flip_binary64_16520` `pow-pow_binary64_5606` `frac-2neg_binary64_24641` `unpow-prod-down_binary64_19253` `cbrt-undiv_binary64` `1-exp_binary64_20582` `pow-prod-down_binary64_20609` `pow-unpow_binary64_13113` `associate-r/_binary64_22185` `unpow2_binary64_3212` `difference-of-squares_binary64_9936` `associate-l/_binary64_17753` `cbrt-div_binary64_1133` `flip-+_binary64_2098` `pow-sqr_binary64_7553` `pow-unpow_binary64_1519` `frac-2neg_binary64_16116` `clear-num_binary64_1441` `flip3-+_binary64_2127` `swap-sqr_binary64_9934` `rem-sqrt-square_binary64_8957` `swap-sqr_binary64_22892` `unswap-sqr_binary64_8230` `sum-log_binary64_8694` `associate-l/_binary64_1385` `pow-unpow_binary64_7657` `clear-num_binary64_7238` `-commutative_binary64_23538` `associate-/l/_binary64_21167` `sqrt-pow1_binary64_9644` `unswap-sqr_binary64_7207` `clear-num_binary64_24970` `swap-sqr_binary64_23574` `log-div_binary64_1870` `rec-exp_binary64_13427` `sqrt-div_binary64_1459` `associate-l/_binary64_1726` `+-commutative_binary64_11602` `frac-times_binary64_17138` `-commutative_binary64_7170` `+-commutative_binary64_22173` `associate-/l/_binary64_14688` `-commutative_binary64_4783` `div-inv_binary64_1098` `clear-num_binary64_15081` `flip--_binary64_6873` `distribute-lft-in_binary64_18441` `-commutative_binary64_18082` `sum-log_binary64_24039` `cbrt-div_binary64_21934` `log-pow_binary64_849` `div-inv_binary64_4167` `difference-of-squares_binary64_10959` `pow-sqr_binary64_2779` `associate-l/_binary64_2067` `+-commutative_binary64_10920` `frac-2neg_binary64_1453` `diff-log_binary64_17561` `pow-unpow_binary64_2883` `rec-exp_binary64_23998` `+-commutative_binary64_17058` `cbrt-unprod_binary64_25345` `cube-prod_binary64_5221` `pow-prod-up_binary64_5263` `sub-neg_binary64_19508` `sub-neg_binary64_15075` `swap-sqr_binary64_4819` `flip3--_binary64_6902` `pow-sqr_binary64_19147` `pow2_binary64_3569` `pow1/3_binary64_9367` `pow1/3_binary64_842` `1-exp_binary64_13421` `associate-r/_binary64_6840` `associate--l+_binary64_10927` `log-div_binary64_847` `cube-prod_binary64_4880` `diff-log_binary64_13469` `associate-/l/_binary64_17075` `frac-sub_binary64_17819` `+-commutative_binary64_3759` `frac-sub_binary64_5884` `cube-prod_binary64_2152` `associate-+r+_binary64_10922` `associate-/l_binary64_7866` `cube-prod_binary64_19202` `pow-prod-up_binary64_7650` `associate-/l_binary64_3774` `+-commutative_binary64_23196` `distribute-lft-out--_binary64_11965` `clear-num_binary64_18491` `pow-unpow_binary64_5611` `sqr-pow_binary64_5506` `pow-prod-up_binary64_19244` `swap-sqr_binary64_16413` `sum-log_binary64_17219` `flip3--_binary64_13381` `pow1/2_binary64_9024` `distribute-rgt-in_binary64_18442` `associate-/l/_binary64_16734` `associate-/r/_binary64_17074` `flip3--_binary64_13722` `1-exp_binary64_23992` `diff-log_binary64_10400` `+-commutative_binary64_24219` `pow-sqr_binary64_11986` `pow-prod-down_binary64_25383` `pow-sqr_binary64_733` `sum-log_binary64_9717` `associate--r+_binary64_10585` `flip--_binary64_13693` `associate-r/_binary64_23549` `cbrt-undiv_binary64_3522` `pow-exp_binary64_5602` `prod-exp_binary64_25361` `difference-of-squares_binary64_1411` `rec-exp_binary64_20588` `pow2_binary64_2205` `frac-2neg_binary64_24982` `associate-l/_binary64_2749` `pow-prod-down_binary64_24019` `sqrt-pow1_binary64_8962` `cos-sum_binary64_25446` `rem-log-exp_binary64_14100` `rec-exp_binary64_11722` `associate-/l/_binary64_24918` `frac-2neg_binary64_7250` `swap-sqr_binary64_10616` `pow-unpow_binary64_14136` `diff-log_binary64_24040` `sqrt-div_binary64_18509` `frac-2neg_binary64_18503` `sum-log_binary64_22334` `rem-sqrt-square_binary64_3501` `cube-div_binary64_2835` `pow-sqr_binary64_5166` `pow-unpow_binary64_8680` `-commutative_binary64_13990` `clear-num_binary64_16104` `div-inv_binary64_75` `sum-log_binary64_13809`
5×	`associate-r/_binary64_1384` `exp-diff_binary64_10697` `div-inv_binary64_20876` `pow-to-exp_binary64_4239` `frac-sub_binary64_14409` `pow-exp_binary64_2874` `sub-neg_binary64_5186` `pow-prod-down_binary64_17881` `sum-log_binary64_18583` `-commutative_binary64_23879` `flip3-+_binary64_6560` `frac-2neg_binary64_1794` `associate-/l/_binary64_13324` `cos-diff_binary64_18629` `sum-log_binary64_851` `-commutative_binary64_19446` `associate-r/_binary64_17752` `pow-exp_binary64_21970` `distribute-lft1-in_binary64_20152` `associate-l/_binary64_6500` `div-sub_binary64_21566` `sinh-def_binary64_2650` `sqr-pow_binary64_1755` `associate-/l_binary64_8207` `+-commutative_binary64_18422` `flip-+_binary64_4826` `unpow-prod-down_binary64` `inv-pow_binary64_15849` `pow-exp_binary64_17878` `pow-flip_binary64_17884` `sum-log_binary64_20970` `log-pow_binary64_8692` `pow1/3_binary64_17551` `associate-/l/_binary64_10255` `-commutative_binary64_7852` `log-pow_binary64_1872` `distribute-rgt1-in_binary64_20153` `-commutative_binary64_9216` `frac-2neg_binary64_23618` `inv-pow_binary64_16531` `pow-to-exp_binary64_5262` `cbrt-undiv_binary64_22618` `flip3-+_binary64_5878` `prod-exp_binary64_25020` `frac-2neg_binary64_14752` `sum-log_binary64_18924` `frac-2neg_binary64_9978` `pow1/2_binary64_10047` `sqr-pow_binary64_18464` `sub-neg_binary64_9278` `count-2_binary64_20145` `clear-num_binary64_1100` `frac-2neg_binary64_1112` `associate-/r/_binary64_5821` `associate--r-_binary64_17749` `pow2_binary64_500` `div-inv_binary64_7918` `div-inv_binary64_17125` `sinh-def_binary64_2991` `+-commutative_binary64_12966` `flip-+_binary64_6190` `rem-cube-cbrt_binary64_2829` `difference-of-squares_binary64_13346` `cbrt-undiv_binary64_14093` `sqr-pow_binary64_4824` `flip3-+_binary64_4855` `distribute-rgt-in_binary64_25262` `cancel-sign-sub-inv_binary64_5159` `sub-neg_binary64_6891` `pow-plus_binary64_482` `-commutative_binary64_18423` `+-commutative_binary64_14671` `unpow2_binary64_18557` `distribute-rgt-out--_binary64_373` `associate-l/_binary64_2408` `pow-plus_binary64_3210` `frac-2neg_binary64_9296` `distribute-lft-in_binary64_25261` `sqrt-unprod_binary64_2826` `pow-to-exp_binary64_4921` `flip-+_binary64_5849` `difference-of-squares_binary64_2093` `sqr-pow_binary64_6188` `+-commutative_binary64_18763` `clear-num_binary64_23606` `diff-log_binary64_2216` `diff-log_binary64_852` `flip-+_binary64_6531` `sub-neg_binary64_10301` `sum-log_binary64_2897` `distribute-lft-out_binary64_19807` `div-exp_binary64_17179` `pow-prod-up_binary64_13447` `exp-prod_binary64_130` `clear-num_binary64_1782` `cbrt-undiv_binary64_17162` `pow-sqr_binary64_13350` `pow-prod-up_binary64_15152` `clear-num_binary64_9284` `pow-sqr_binary64_3802` `sum-log_binary64_8353` `clear-num_binary64_9966` `associate-*r/_binary64_20139` `div-inv_binary64_8259` `pow2_binary64_13799` `flip3-+_binary64_6219` `rem-sqrt-square_binary64_9980` `frac-times_binary64_13046` `diff-log_binary64_3239` `cbrt-unprod_binary64_25004` `diff-log_binary64_5967` `sum-log_binary64_13468` `unpow-prod-down_binary64_5613` `+-commutative_binary64_8533` `flip3-+_binary64_20200` `diff-log_binary64_15856` `sqr-pow_binary64` `sqr-pow_binary64_13008` `+-commutative_binary64_2736` `flip-+_binary64_20171` `distribute-lft-in_binary64_6847` `distribute-rgt-in_binary64_6848` `pow-to-exp_binary64_21971` `pow-prod-down_binary64_9356` `clear-num_binary64_14740` `distribute-lft-out_binary64_6508`
4×	`sub-neg_binary64_24623` `frac-2neg_binary64_5886` `pow2_binary64_5615` `associate-/r/_binary64_24235` `+-commutative_binary64_7851` `pow-sqr_binary64_14714` `associate-/l/_binary64` `cbrt-undiv_binary64_794` `associate-/l/_binary64_22531` `cube-div_binary64_15452` `difference-of-sqr-1_binary64_6868` `pow-exp_binary64_14127` `pow-prod-up_binary64_8673` `pow-to-exp_binary64_2534` `distribute-lft-out_binary64_711` `frac-add_binary64_3496` `cbrt-div_binary64_25344` `pow1/3_binary64_9026` `distribute-lft-in_binary64_15713` `flip3--_binary64_10994` `cbrt-unprod_binary64_6931` `associate-+l-_binary64_15699` `flip3-+_binary64_25315` `pow-exp_binary64_2533` `pow-prod-up_binary64_148` `diff-log_binary64_18925` `log-div_binary64_8690` `un-div-inv_binary64_11329` `associate-/l_binary64_20142` `frac-2neg_binary64_22254` `rem-sqrt-square_binary64_3842` `+-commutative_binary64_13648` `pow-prod-up_binary64_16175` `log-div_binary64_24035` `associate-l/_binary64_13661` `rec-exp_binary64_6607` `pow-to-exp_binary64_7649` `associate-r/_binary64_23890` `diff-log_binary64_13128` `sub-neg_binary64_7573` `diff-log_binary64_14492` `associate-l/_binary64_9228` `rec-exp_binary64_12404` `associate--r-_binary64_12293` `cube-div_binary64_5563` `associate-r/_binary64_20480` `associate--l-_binary64_11269` `pow-plus_binary64_5597` `sum-log_binary64_23698` `associate-/l_binary64_5138` `distribute-rgt-in_binary64_21511` `associate-+l+_binary64_9900` `clear-num_binary64` `1-exp_binary64_10011` `prod-exp_binary64_6947` `pow-exp_binary64_13445` `pow-sqr_binary64_51` `sub-neg_binary64_13029` `1-exp_binary64_12398` `pow-to-exp_binary64_6285` `associate-/l/_binary64_5822` `distribute-rgt-neg-in_binary64_14358` `pow-flip_binary64_12769` `flip-+_binary64_5167` `div-sub_binary64_15428` `cbrt-prod_binary64_1814` `cube-prod_binary64_2834` `sub-neg_binary64_13711` `unpow3_binary64_2872` `frac-add_binary64_768` `associate-/l/_binary64_25` `rem-cube-cbrt_binary64_14082` `distribute-rgt-in_binary64_7871` `rec-exp_binary64_10017` `clear-num_binary64_12012` `log-pow_binary64_14148` `associate-/l/_binary64_22190` `unpow-prod-up_binary64_11750` `associate-/l_binary64_2069` `associate-l/_binary64_17071` `unswap-sqr_binary64_24598` `associate-/l/_binary64_2412` `1-exp_binary64_15126` `div-exp_binary64_12064` `log-pow_binary64_10056` `swap-sqr_binary64_4478` `pow-sqr_binary64_16078` `clear-num_binary64_5874` `associate-/l/_binary64_23213` `diff-log_binary64_15174` `associate-+l+_binary64_20812` `distribute-lft-neg-in_binary64_14357` `rec-exp_binary64_15132` `distribute-rgt-in_binary64_15714` `unswap-sqr_binary64_18460` `div-inv_binary64_5190` `pow-pow_binary64_2878` `unpow-prod-down_binary64_23004` `frac-times_binary64_12023` `frac-times_binary64_6908` `frac-times_binary64_8272` `sqr-abs_binary64_13051` `sub-neg_binary64_3822` `pow-prod-up_binary64_11742` `associate-/l/_binary64_3094` `diff-log_binary64_19948` `sub-neg_binary64_3140` `pow-to-exp_binary64_13446` `distribute-rgt-in_binary64_5825` `rem-sqrt-square_binary64_7934` `+-commutative_binary64_9556` `div-inv_binary64_23263` `cube-mult_binary64_13066` `cube-div_binary64_19203` `pow-sqr_binary64_4143` `sum-log_binary64_6307` `associate-/l/_binary64_16052` `distribute-lft-in_binary64_5824` `pow-to-exp_binary64_12764` `associate-+r+_binary64_1033` `associate-l/_binary64_4113` `associate-+l+_binary64_23199` `sqrt-prod_binary64_17144` `+-commutative_binary64_6146` `pow-sqr_binary64_11645` `clear-num_binary64_23947` `flip3-+_binary64_5196` `+-commutative_binary64_23537` `cube-prod_binary64_22953` `cancel-sign-sub-inv_binary64` `div-sub_binary64_17133` `clear-num_binary64_22242` `distribute-lft-in_binary64_21510` `distribute-lft-in_binary64_7870` `un-div-inv_binary64_17467` `swap-sqr_binary64_727` `diff-log_binary64_1534` `div-inv_binary64_12010` `pow-exp_binary64_6284` `associate-/r_binary64_22` `associate--r+_binary64_14336` `rem-sqrt-square_binary64_2819` `un-div-inv_binary64_15762` `pow-prod-up_binary64_4240` `pow-sqr_binary64_18806` `+-commutative_binary64_2054` `-commutative_binary64_20469` `frac-2neg_binary64_14070` `diff-log_binary64_14833` `diff-cos_binary64_4321` `frac-add_binary64_3837` `associate--l+_binary64_14337` `rem-sqrt-square_binary64_2137` `-commutative_binary64_6488` `tan-quot_binary64_18310` `distribute-lft-out--_binary64_24923` `pow2_binary64_3228` `unpow-prod-down_binary64_2885` `unpow3_binary64_13102` `flip--_binary64_10965` `log-div_binary64_165` `cbrt-undiv_binary64_12047` `associate-r/_binary64_18434` `distribute-lft-out--_binary64_9919` `rem-sqrt-square_binary64_5547` `sqr-pow_binary64_2778` `frac-2neg_binary64` `diff-log_binary64_8013` `pow1_binary64_22645` `associate-+l+_binary64_8536` `+-commutative_binary64_7169` `difference-of-squares_binary64_8913` `cube-mult_binary64_2836` `pow-pow_binary64_17882` `unpow-prod-up_binary64_10727` `flip-+_binary64_25286` `sqrt-undiv_binary64_10329` `pow-pow_binary64_14131` `associate-l/_binary64_6841` `sqr-abs_binary64_1116` `cube-div_binary64_4881` `sum-log_binary64_2215` `rem-cube-cbrt_binary64_13059` `associate-r/_binary64_7522` `associate-l/_binary64_8546` `frac-times_binary64_7590` `frac-times_binary64_4521` `frac-2neg_binary64_12024` `associate-+l+_binary64_5467` `frac-add_binary64_20887` `cube-div_binary64_5222` `log-pow_binary64_1531` `sum-log_binary64_7671` `frac-times_binary64_10318` `sum-log_binary64_7330` `pow-prod-up_binary64_18903` `frac-times_binary64_16115` `pow-sqr_binary64_8576` `-commutative_binary64_17741` `frac-add_binary64_9634` `cbrt-prod_binary64_8293` `div-exp_binary64_811` `frac-2neg_binary64_23959` `cube-div_binary64_2153` `diff-log_binary64_511` `difference-of-squares_binary64_24940` `pow-prod-up_binary64_14811` `frac-add_binary64_4178` `sub-neg_binary64_18826` `sqrt-pow1_binary64_23284` `associate-+r+_binary64_8194` `cancel-sign-sub-inv_binary64_7546` `clear-num_binary64_14058` `associate-l/_binary64_23209` `associate--l+_binary64_13655` `pow-flip_binary64_9018` `1-exp_binary64_6601` `diff-log_binary64_11764` `sqr-pow_binary64_16759` `distribute-rgt-out_binary64_24242` `inv-pow_binary64_17895` `associate-/l/_binary64_8209` `swap-sqr_binary64_11980` `sub-neg_binary64_7914` `frac-times_binary64_88`
3×	`associate-l/_binary64_10251` `difference-of-squares_binary64_5162` `pow-plus_binary64_5256` `pow-unpow_binary64_18569` `un-div-inv_binary64_16444` `cbrt-div_binary64_2838` `associate-+l-_binary64_10584` `cbrt-prod_binary64_14431` `rem-sqrt-square_binary64_23279` `+-commutative_binary64_4782` `pow-pow_binary64_4924` `flip3-+_binary64_8265` `pow-unpow_binary64_23684` `associate-/r_binary64_20823` `associate-+r+_binary64_19106` `pow-plus_binary64_7643` `pow1/3_binary64_14482` `sub-neg_binary64_21554` `+-commutative_binary64_13307` `flip3--_binary64_24293` `flip-+_binary64_8236` `inv-pow_binary64_9029` `pow-unpow_binary64_18228` `inv-pow_binary64_18236` `diff-log_binary64_20630` `un-div-inv_binary64_16785` `pow-to-exp_binary64_13105` `unpow-prod-down_binary64_3226` `distribute-lft-neg-in_binary64_10606` `distribute-rgt-neg-out_binary64_7540` `diff-log_binary64_5626` `distribute-lft-neg-in_binary64_717` `1-exp_binary64_24674` `flip3--_binary64` `sqr-pow_binary64_2437` `sum-log_binary64_17901` `clear-num_binary64_10648` `rem-sqrt-square_binary64_1455` `frac-2neg_binary64_3499` `pow-prod-up_binary64_17539` `sqrt-prod_binary64_15780` `rem-sqrt-square_binary64_21915` `cube-mult_binary64_16817` `flip-+_binary64_20853` `pow2_binary64_7661` `div-exp_binary64_129` `pow-unpow_binary64_16864` `pow-pow_binary64_5265` `+-commutative_binary64_20809` `associate-+l+_binary64_14333` `sub-neg_binary64_16780` `distribute-lft-out_binary64_9918` `associate-+r+_binary64_24221` `distribute-rgt-neg-in_binary64_718` `sqr-pow_binary64_8575` `flip3--_binary64_2810` `frac-2neg_binary64_23277` `pow-unpow_binary64_21297` `diff-log_binary64_5285` `pow-plus_binary64_22988` `cancel-sign-sub-inv_binary64_20504` `pow2_binary64_5274` `pow1/3_binary64_6639` `difference-of-squares_binary64_5503` `clear-num_binary64_23265` `pow-pow_binary64_12767` `exp-to-pow_binary64_10711` `log-prod_binary64_21647` `div-sub_binary64_23953` `pow-prod-down_binary64_24701` `pow2_binary64_8002` `un-div-inv_binary64_10647` `distribute-lft-out--_binary64_6850` `sqr-pow_binary64_17782` `sqr-pow_binary64_4142` `pow-sqr_binary64_17442` `distribute-lft-in_binary64_1050` `1-exp_binary64_14785` `pow-flip_binary64_2539` `distribute-lft-neg-in_binary64_9583` `flip3-+_binary64_12357` `div-sub_binary64_12359` `diff-log_binary64_6990` `distribute-rgt-out--_binary64_14354` `un-div-inv_binary64_15421` `associate-/l/_binary64_20485` `pow-unpow_binary64_15500` `pow-unpow_binary64_9362` `pow-unpow_binary64_496` `sum-log_binary64_1192` `rem-cube-cbrt_binary64_5557` `pow-unpow_binary64_3224` `un-div-inv_binary64_17808` `sub-neg_binary64_23941` `-commutative_binary64_24220` `sub-neg_binary64_21213` `flip-+_binary64_7554` `clear-num_binary64_22583` `associate-+l+_binary64_16379` `sum-log_binary64_6648` `pow1/3_binary64_21643` `pow-flip_binary64_11064` `distribute-rgt-out--_binary64_21515` `unpow3_binary64_16853` `div-sub_binary64_24635` `inv-pow_binary64_19600` `pow-unpow_binary64_19251` `cbrt-div_binary64_13068` `pow-pow_binary64_8675` `+-commutative_binary64_5123` `log-div_binary64_14146` `pow-plus_binary64_7984` `rec-exp_binary64_2515` `flip--_binary64` `frac-2neg_binary64_24300` `cancel-sign-sub-inv_binary64_21186` `frac-2neg_binary64_7932` `cbrt-undiv_binary64_8296` `flip-+_binary64_4144` `rem-log-exp_binary64_1824` `div-exp_binary64_8313` `div-sub_binary64_15087` `associate-/l_binary64_5479` `sub-neg_binary64_18485` `associate-r/_binary64_24913` `-commutative_binary64_6829` `sqr-pow_binary64_21192` `sqr-pow_binary64_11644` `1-exp_binary64_8647` `pow2_binary64_17550` `frac-2neg_binary64_18844` `clear-num_binary64_24288` `log-prod_binary64_8689` `pow2_binary64_13117` `associate-l_binary64_23207` `flip3-+_binary64_4173` `+-commutative_binary64_18081` `+-commutative_binary64_9897` `clear-num_binary64_3487` `associate-/r_binary64_5478` `div-sub_binary64_11677` `add-log-exp_binary64_22623` `cancel-sign-sub-inv_binary64_23914` `log-pow_binary64_4259` `neg-mul-1_binary64_7576` `associate-/r_binary64_2068` `pow-plus_binary64` `associate-/l/_binary64_9232` `sqrt-pow1_binary64_1460` `cbrt-undiv_binary64_112` `flip--_binary64_2781` `associate-+r-_binary64_12` `div-exp_binary64_23317` `pow-unpow_binary64_3565` `diff-log_binary64_6649` `distribute-lft-out_binary64_6849` `pow-flip_binary64_18225` `associate-+l+_binary64_18084` `difference-cubes_binary64_80` `pow-pow_binary64_7652` `-commutative_binary64_24561` `pow-unpow_binary64_155` `pow-plus_binary64_13099` `rem-log-exp_binary64_801` `pow1/2_binary64_1522` `cbrt-undiv_binary64_23300` `flip-+_binary64_12328` `distribute-rgt-in_binary64_2074` `clear-num_binary64_17127` `pow-exp_binary64_8671` `pow-unpow_binary64_2201` `pow2_binary64_13458` `rec-exp_binary64_24680` `cancel-sign-sub-inv_binary64_1067` `log-prod_binary64_2892` `pow1/2_binary64_21982` `+-commutative_binary64_6487` `pow2_binary64_19255` `sub-neg_binary64_14734` `sqrt-prod_binary64_20554` `pow-prod-down_binary64_4582` `div-sub_binary64_8608` `pow-plus_binary64_17532` `pow-prod-down_binary64_6969` `associate--l+_binary64_23885` `associate-r_binary64_23206` `frac-2neg_binary64_22595` `clear-num_binary64_7920` `distribute-rgt-in_binary64_1051` `pow-prod-up_binary64_1512` `pow-unpow_binary64_11749` `pow-prod-down_binary64_24360` `pow-plus_binary64_19237` `sub-neg_binary64_20531` `pow-sqr_binary64_15055` `sum-log_binary64_5284` `rec-exp_binary64_14791` `difference-of-sqr-1_binary64_10960` `flip3-+_binary64_20882` `pow1/3_binary64_21984` `+-commutative_binary64_23878` `sqrt-pow1_binary64_18510` `rec-exp_binary64_8653` `div-sub_binary64_83` `unpow2_binary64_4917` `distribute-rgt-out--_binary64_16059` `unpow2_binary64_21285` `distribute-rgt-neg-in_binary64_9584` `pow-to-exp_binary64_18561` `log-pow_binary64_3236` `rem-sqrt-square_binary64_18505` `pow-unpow_binary64_9021` `associate-l/_binary64_5136` `distribute-rgt-neg-in_binary64_10607` `pow-unpow_binary64_13454` `pow-flip_binary64_19589` `1-exp_binary64_2509` `distribute-lft-out_binary64_5144` `log-pow_binary64_2895` `associate-+l+_binary64_3421` `unpow-prod-down_binary64_13797` `associate-l/_binary64_10933` `clear-num_binary64_18832` `pow2_binary64` `pow-exp_binary64_18560` `pow-to-exp_binary64_17879` `pow-sqr_binary64_1415` `rec-exp_binary64_21270` `frac-2neg_binary64_10660` `div-sub_binary64_9631` `distribute-lft-in_binary64_2073` `pow1/2_binary64_18572` `pow-plus_binary64_13440` `pow-unpow_binary64_17546` `sum-log_binary64_4943` `frac-2neg_binary64_17139` `pow1/2_binary64_23346` `unswap-sqr_binary64_6866` `diff-log_binary64_8695` `flip3-+_binary64_7583` `associate-+r-_binary64_11947` `1-exp_binary64_21264` `diff-log_binary64_7672` `flip--_binary64_24264` `associate-l/_binary64_12979` `+-commutative_binary64_10238` `associate-*r/_binary64_2407` `+-commutative_binary64_7510`
2×	`distribute-lft-in_binary64_19123` `distribute-rgt-out_binary64_9920` `exp-to-pow_binary64_2868` `div-sub_binary64_3152` `rem-cube-cbrt_binary64_8967` `rec-exp_binary64_18542` `sqr-pow_binary64_8916` `distribute-rgt-neg-out_binary64_720` `log-pow_binary64_508` `pow-prod-up_binary64_4581` `1-exp_binary64_23651` `inv-pow_binary64_20623` `associate-+r+_binary64_14332` `cube-mult_binary64_5564` `cube-mult_binary64_15453` `exp-prod_binary64_2858` `rem-sqrt-square_binary64_14072` `flip--_binary64_4486` `unpow3_binary64_5259` `+-commutative_binary64_1031` `sub-div_binary64_9633` `pow-exp_binary64_11740` `pow-sqr_binary64_20170` `rem-square-sqrt_binary64_13048` `frac-sub_binary64_16114` `pow2_binary64_23006` `frac-sub_binary64_14750` `pow-pow_binary64_23679` `sub-neg_binary64` `+-commutative_binary64_22855` `rec-exp_binary64_22293` `pow-sqr_binary64_10622` `pow-plus_binary64_24352` `associate-l_binary64_25253` `pow-plus_binary64_1164` `sum-cubes_binary64_16447` `-commutative_binary64_25243` `pow-exp_binary64_3556` `pow-sqr_binary64_23580` `div-inv_binary64_20194` `flip3-+_binary64_20541` `associate-l/_binary64_21` `flip-+_binary64_19830` `pow2_binary64_24370` `distribute-lft-out--_binary64_22877` `sub-div_binary64_1449` `pow1/3_binary64_2888` `clear-num_binary64_3146` `pow-plus_binary64_4233` `rem-sqrt-square_binary64_13390` `cube-div_binary64_8632` `rec-exp_binary64_9676` `distribute-lft-in_binary64_21169` `associate--l+_binary64_7858` `1-exp_binary64_22287` `inv-pow_binary64_12439` `pow-to-exp_binary64_11741` `frac-times_binary64_22253` `distribute-lft-out_binary64_7190` `sqrt-pow2_binary64_10327` `diff-log_binary64` `sqr-pow_binary64_17441` `pow-sqr_binary64_4825` `pow-plus_binary64_14804` `un-div-inv_binary64_12352` `associate-+l+_binary64_17061` `distribute-lft-out_binary64_4462` `frac-times_binary64_14410` `rec-exp_binary64_19906` `log-div_binary64_10395` `distribute-lft-in_binary64_11280` `pow-flip_binary64_11405` `associate-/r/_binary64_24` `distribute-rgt-out_binary64_16399` `associate-/l/_binary64_3776` `rec-exp_binary64` `rem-log-exp_binary64_10690` `div-exp_binary64_20248` `pow-prod-up_binary64_9696` `sqrt-pow1_binary64_96` `rem-sqrt-square_binary64_14413` `frac-times_binary64_17820` `associate-/r/_binary64_18438` `distribute-rgt-out--_binary64_16741` `unpow3_binary64_8669` `pow-pow_binary64_13108` `pow-pow_binary64_5947` `distribute-rgt-in_binary64_11281` `cancel-sign-sub-inv_binary64_4477` `pow1/3_binary64_15846` `pow2_binary64_1182` `1-exp_binary64_5919` `flip3--_binary64_4515` `pow-prod-up_binary64_24018` `distribute-rgt-in_binary64_7530` `div-exp_binary64_6949` `un-div-inv_binary64_13375` `1-exp_binary64_1486` `pow1/3_binary64_12777` `difference-of-squares_binary64_2775` `pow-prod-up_binary64_6286` `1-exp_binary64` `associate--r+_binary64_24225` `pow-sqr_binary64_9940` `distribute-rgt-in_binary64_5143` `unpow2_binary64_4235` `frac-2neg_binary64_89` `pow1/2_binary64_13457` `diff-log_binary64_19266` `unpow3_binary64_4918` `pow-plus_binary64_141` `rec-exp_binary64_22634` `pow-to-exp_binary64_14128` `1-exp_binary64_18536` `pow-exp_binary64_18219` `frac-sub_binary64_1451` `cube-mult_binary64_17499` `associate-+r+_binary64_9899` `rem-cube-cbrt_binary64_3511` `associate--l+_binary64_10586` `sub-div_binary64_19863` `div-sub_binary64_16110` `sqrt-div_binary64_20555` `cube-prod_binary64_788` `clear-num_binary64_77` `pow-to-exp_binary64_21289` `div-sub_binary64_22589` `associate-/l/_binary64_12301` `associate-+l-_binary64_20814` `distribute-rgt-neg-out_binary64_14360` `cube-mult_binary64_2154` `associate-/r/_binary64_5480` `associate--l+_binary64_5812` `-commutative_binary64_4442` `unpow3_binary64_5600` `associate-+r-_binary64_9901` `distribute-lft-out--_binary64_8896` `pow-pow_binary64_9357` `pow-pow_binary64_18564` `cube-prod_binary64_5562` `pow-prod-down_binary64_23337` `clear-num_binary64_3828` `unpow3_binary64_19240` `sum-log_binary64_510` `cbrt-unprod_binary64_4544` `diff-log_binary64_20971` `cancel-sign-sub-inv_binary64_19140` `pow-prod-up_binary64_4922` `associate-/r/_binary64_6844` `sqr-pow_binary64_391` `unpow3_binary64_5941` `distribute-lft-neg-out_binary64_9585` `cube-mult_binary64_19204` `diff-log_binary64_16197` `pow1/2_binary64_14480` `frac-2neg_binary64_5204` `clear-num_binary64_5192` `difference-of-squares_binary64_22894` `associate-+l+_binary64_19107` `pow-to-exp_binary64_8672` `sqrt-unprod_binary64_13056` `pow2_binary64_4251` `cube-mult_binary64_5223` `pow-prod-up_binary64_10037` `rem-cbrt-cube_binary64_2830` `pow-flip_binary64_12428` `pow2_binary64_16186` `cbrt-undiv_binary64_6932` `pow-plus_binary64_16168` `sqrt-div_binary64_15781` `pow-prod-up_binary64_24359` `pow-prod-up_binary64_10719` `sqrt-pow1_binary64_21579` `pow-to-exp_binary64_5603` `pow2_binary64_159` `cube-mult_binary64_8974` `pow-prod-up_binary64_20949` `unpow3_binary64_9010` `exp-diff_binary64_126` `sub-div_binary64_9292` `cbrt-prod_binary64_25343` `associate-+l-_binary64_15358` `associate-+r+_binary64_17060` `distribute-rgt-out--_binary64_12649` `associate--l+_binary64_15019` `pow2_binary64_11753` `div-sub_binary64_19861` `sqr-pow_binary64_19146` `associate-/r/_binary64_20143` `associate-+l+_binary64_12969` `rem-log-exp_binary64_119` `sub-neg_binary64_2799` `pow-exp_binary64_9012` `diff-log_binary64_4603` `pow-pow_binary64_4242` `pow-plus_binary64_8666` `pow-to-exp_binary64_2875` `associate-/l/_binary64_5140` `cube-div_binary64_8973` `pow-sqr_binary64_24262` `1-exp_binary64_1145` `distribute-lft-in_binary64_7529` `sqr-pow_binary64_2096` `rem-cube-cbrt_binary64_17492` `sqr-pow_binary64_21874` `pow2_binary64_8684` `rec-exp_binary64_1151` `diff-log_binary64_14151` `un-div-inv_binary64_9624` `rec-exp_binary64_17519` `pow1/3_binary64_20620` `exp-lft-sqr_binary64_11727` `associate-/r/_binary64_5139` `sqr-pow_binary64_15395` `associate-/r/_binary64_2070` `cbrt-div_binary64_4884` `unpow3_binary64_2190` `sqrt-pow1_binary64_14418` `pow2_binary64_1523` `unpow3_binary64_3554` `div-sub_binary64_6562` `unpow3_binary64_17535` `diff-log_binary64_13810` `pow-plus_binary64_18896` `associate-l/_binary64_16048` `cube-div_binary64_3517` `pow-pow_binary64_11744` `associate-/l/_binary64_20144` `associate-r/_binary64_6158` `unsub-neg_binary64_72` `distribute-rgt-in_binary64_21170` `sqrt-pow1_binary64_14077` `pow-flip_binary64_16861` `sum-log_binary64_4261` `sum-log_binary64_5966` `sub-neg_binary64_4504` `pow-exp_binary64_5943` `pow-exp_binary64_17537` `pow1/2_binary64_14139` `sqr-pow_binary64_732` `pow-exp_binary64_21288` `sub-div_binary64_11679` `+-commutative_binary64_5805` `associate-+r-_binary64_15698` `un-div-inv_binary64_19513` `unswap-sqr_binary64_4479` `sqr-pow_binary64_22897` `unpow1/3_binary64_4237` `frac-2neg_binary64_3840` `rem-sqrt-square_binary64` `pow-sqr_binary64_17101` `distribute-lft-in_binary64_20146` `associate--l+_binary64_17747` `distribute-lft-out_binary64_12305` `1-exp_binary64_9670` `pow1/3_binary64_25394` `sqrt-div_binary64_17145` `div-sub_binary64_18838` `div-sub_binary64_24976` `clear-num_binary64_8261` `rem-cbrt-cube_binary64_14083` `associate-l/_binary64_4454` `cube-mult_binary64_5905` `flip3-+_binary64_22928` `sqrt-pow1_binary64_437` `cube-mult_binary64_3518` `rec-exp_binary64_5925` `pow-plus_binary64_3892` `1-exp_binary64_17513` `pow-sqr_binary64_23921` `sqrt-pow1_binary64_13395` `sub-neg_binary64_19167` `flip-+_binary64_22899` `cube-mult_binary64_4882` `flip-+_binary64_20512` `frac-2neg_binary64_3158` `rem-sqrt-square_binary64_21574` `distribute-lft-out--_binary64_5486` `frac-sub_binary64_9294` `associate-+l+_binary64_11605` `distribute-rgt-in_binary64_19124` `div-sub_binary64_22248` `cbrt-div_binary64_15455` `diff-log_binary64_22335` `associate-/l/_binary64_6845` `difference-of-sqr-1_binary64_10619` `pow-plus_binary64_11735` `pow2_binary64_3910` `inv-pow_binary64_16872` `cube-div_binary64_17498` `pow-sqr_binary64_10281` `distribute-rgt-in_binary64_24239` `pow1/2_binary64_499` `div-sub_binary64_13723` `sqr-abs_binary64_5549` `pow-prod-up_binary64_20267` `pow-prod-up_binary64_23677` `unpow3_binary64_15489` `frac-2neg_binary64_8273` `distribute-rgt-neg-out_binary64_38` `+-commutative_binary64_8192` `associate-/l/_binary64_5481` `associate--l+_binary64_697` `difference-cubes_binary64_14061` `sqr-pow_binary64_3460` `distribute-rgt-in_binary64_20147` `pow2_binary64_18914` `exp-diff_binary64_21609` `cube-mult_binary64_8633` `inv-pow_binary64_12780` `associate-/l/_binary64_2071` `unsub-neg_binary64_3823` `inv-pow_binary64_13803` `cbrt-undiv_binary64_20231` `+-commutative_binary64_349` `frac-sub_binary64_7930` `cbrt-div_binary64_17842` `neg-mul-1_binary64_14396` `rec-exp_binary64_1492` `pow-to-exp_binary64_5944` `inv-pow_binary64_11075` `associate-+l+_binary64_3762` `pow-plus_binary64_2869` `pow-sqr_binary64_20852` `associate-+l+_binary64_10923` `sum-log_binary64_23016` `associate-*l/_binary64_7523` `unpow-prod-down_binary64_839` `frac-sub_binary64_9635` `pow-sqr_binary64_4484` `rem-square-sqrt_binary64_5546` `sqrt-unprod_binary64_5554` `pow-prod-up_binary64_17198` `pow-pow_binary64_21292` `pow-sqr_binary64_9599` `associate-/r/_binary64_8208` `pow2_binary64_14822` `rem-cube-cbrt_binary64_8626` `rec-exp_binary64_23657` `pow1/2_binary64_21641` `1-exp_binary64_22628` `pow-pow_binary64_1514` `distribute-lft-in_binary64_24238` `pow-prod-up_binary64_10378` `associate--l+_binary64_9904` `sqr-pow_binary64_7552` `rem-cube-cbrt_binary64_18174` `1-exp_binary64_19900` `pow-flip_binary64_20612` `rem-sqrt-square_binary64_432` `flip3-+_binary64_19859` `prod-exp_binary64_4560` `distribute-lft-in_binary64_5142`
1×	`diff-log_binary64_16879` `sum-log_binary64_14150` `pow-sqr_binary64_8235` `div-sub_binary64_16792` `pow-plus_binary64_10712` `+-commutative_binary64_16035` `associate-/l_binary64_20824` `div-inv_binary64_5531` `rem-cbrt-cube_binary64_19198` `exp-diff_binary64_12743` `1-exp_binary64_3532` `sqrt-unprod_binary64` `diff-log_binary64_16538` `diff-log_binary64_9036` `flip-+_binary64_16079` `div-sub_binary64_14746` `un-div-inv_binary64_12693` `pow-sub_binary64_11748` `associate-+l-_binary64_16722` `pow-sqr_binary64_16419` `sum-log_binary64_4602` `sqr-pow_binary64_13690` `log-div_binary64_21648` `associate-l/_binary64_20481` `div-sub_binary64_16451` `rec-exp_binary64_3538` `pow-to-exp_binary64_19243` `rem-sqrt-square_binary64_15777` `exp-prod_binary64_4222` `sqrt-unprod_binary64_2144` `distribute-rgt-out--_binary64_1396` `pow-to-exp_binary64_3557` `pow-plus_binary64_14463` `inv-pow_binary64_1527` `rem-3cbrt-lft_binary64_5218` `sub-neg_binary64_20190` `rem-log-exp_binary64_10349` `distribute-rgt-in_binary64_4461` `distribute-lft-out_binary64_3439` `cbrt-undiv_binary64_2158` `associate-+r-_binary64_1376` `rem-square-sqrt_binary64_12025` `pow-to-exp_binary64_147` `rem-square-sqrt_binary64_15094` `pow-exp_binary64_3215` `rem-cube-cbrt_binary64_4875` `sqrt-pow1_binary64_20556` `sqrt-pow1_binary64_17146` `distribute-lft-out_binary64_2075` `exp-diff_binary64_10356` `neg-mul-1_binary64_9622` `rem-sqrt-square_binary64_20551` `sqrt-unprod_binary64_780` `diff-log_binary64_1875` `inv-pow_binary64_1186` `distribute-rgt-out_binary64_14012` `pow2_binary64_841` `remove-double-div_binary64_15740` `diff-log_binary64_21312` `diff-log_binary64_6308` `rem-cube-cbrt_binary64_5216` `+-commutative_binary64_8874` `associate--l-_binary64_17407` `frac-times_binary64_11000` `exp-to-pow_binary64_4232` `distribute-rgt-neg-out_binary64_13678` `rem-cbrt-cube_binary64_5558` `sqrt-pow1_binary64_1801` `cbrt-div_binary64_17501` `pow-plus_binary64_4574` `cancel-sign-sub-inv_binary64_6182` `un-div-inv_binary64_19854` `frac-2neg_binary64_20890` `pow-plus_binary64_23670` `pow-plus_binary64_16509` `rem-log-exp_binary64_21602` `sqr-pow_binary64_23579` `un-div-inv_binary64_18490` `inv-pow_binary64_24033` `sqrt-undiv_binary64_23287` `distribute-lft-out_binary64_6167` `pow3_binary64_5276` `+-commutative_binary64_13989` `pow-flip_binary64_13451` `pow-pow_binary64_15495` `diff-log_binary64_21653` `unsub-neg_binary64_9961` `rem-square-sqrt_binary64_3500` `distribute-lft-neg-in_binary64_9924` `pow2_binary64_12435` `sum-log_binary64_21311` `pow-pow_binary64_491` `distribute-rgt-out--_binary64_11626` `pow1/2_binary64_20618` `frac-sub_binary64_87` `distribute-lft-out_binary64_1734` `flip3--_binary64_6220` `associate-+l+_binary64_14674` `associate--r-_binary64_18090` `pow-prod-up_binary64_14470` `distribute-rgt-out_binary64_2759` `div-sub_binary64_24294` `difference-of-squares_binary64_6185` `rem-square-sqrt_binary64_2818` `exp-sum_binary64_124` `rem-log-exp_binary64_4211` `distribute-rgt-neg-out_binary64_13337` `exp-neg_binary64_10355` `un-div-inv_binary64_24287` `pow-flip_binary64_22317` `rem-log-exp_binary64_11031` `difference-of-sqr--1_binary64_6869` `distribute-lft-out_binary64_18784` `div-sub_binary64_1447` `inv-pow_binary64_13462` `pow-pow_binary64_2196` `-commutative_binary64_23197` `sub-neg_binary64_1094` `associate--r-_binary64_22182` `associate-+r-_binary64_17744` `rem-cube-cbrt_binary64_19197` `associate--r+_binary64_8198` `+-commutative_binary64_4441` `associate-+r-_binary64_14334` `unpow3_binary64_18217` `distribute-lft-out_binary64_19125` `rem-exp-log_binary64_118` `cbrt-div_binary64_9658` `distribute-lft-out_binary64_23217` `rem-log-exp_binary64_8644` `pow-to-exp_binary64_15492` `associate-+l+_binary64_9559` `distribute-lft-in_binary64_6165` `distribute-lft-out--_binary64_13329` `flip--_binary64_6191` `div-sub_binary64_8267` `sqrt-pow1_binary64_15782` `sub-neg_binary64_24282` `inv-pow_binary64_24715` `rem-cbrt-cube_binary64_2148` `associate-+l+_binary64_693` `unsub-neg_binary64_754` `exp-neg_binary64_12742` `cancel-sign-sub-inv_binary64_24255` `rem-3cbrt-lft_binary64_5559` `associate-+l+_binary64_3080` `frac-times_binary64_5203` `pow-exp_binary64_2192` `unsub-neg_binary64_16099` `unpow1/3_binary64_17877` `div-sub_binary64_20543` `rem-cbrt-cube_binary64_13060` `inv-pow_binary64_14826` `pow-exp_binary64_23675` `pow-plus_binary64_823` `div-exp_binary64_5585` `unpow1/3_binary64_4919` `cube-div_binary64_18180` `div-inv_binary64_6895` `pow-plus_binary64_12076` `associate-+r+_binary64_23198` `div-sub_binary64_7244` `inv-pow_binary64_5960` `rem-square-sqrt_binary64_1113` `pow2_binary64_17209` `pow1/3_binary64_15505` `sqrt-unprod_binary64_7941` `pow-sqr_binary64_14373` `distribute-rgt-neg-out_binary64_16065` `pow1/2_binary64_1863` `pow-to-exp_binary64_3216` `frac-sub_binary64_21570` `rem-exp-log_binary64_2846` `sub-div_binary64_12702` `pow-pow_binary64_18223` `pow-to-exp_binary64_9013` `neg-mul-1_binary64_10645` `sum-log_binary64_16196` `un-div-inv_binary64_23946` `pow2_binary64_15163` `associate--l+_binary64_7517` `frac-2neg_binary64_5545` `+-commutative_binary64_21150` `pow-plus_binary64_15145` `div-sub_binary64_12700` `pow-flip_binary64_15156` `distribute-rgt-out--_binary64_17764` `distribute-rgt-out--_binary64_9239` `rem-cbrt-cube_binary64_16811` `+-commutative_binary64_20468` `rem-sqrt-square_binary64_17141` `cube-mult_binary64_18181` `rem-square-sqrt_binary64_3841` `distribute-rgt-out--_binary64_8216` `associate-+l-_binary64_18086` `1-exp_binary64_21605` `rem-cube-cbrt_binary64_2147` `pow-flip_binary64_5949` `sum-log_binary64` `pow-pow_binary64_150` `distribute-rgt-neg-out_binary64_7199` `pow-flip_binary64_1516` `unpow1/3_binary64_3214` `unpow1/3_binary64_10716` `pow1/3_binary64_17892` `unsub-neg_binary64_9620` `sqr-pow_binary64_18123` `un-div-inv_binary64_23605` `associate-/l_binary64_705` `pow2_binary64_10389` `un-div-inv_binary64_3486` `pow-plus_binary64_4915` `unpow3_binary64_144` `pow-flip_binary64` `associate--l-_binary64_16` `pow-exp_binary64_16855` `pow3_binary64_5617` `pow-pow_binary64_9016` `times-frac_binary64_766` `un-div-inv_binary64_18149` `pow-flip_binary64_22658` `rem-log-exp_binary64_2847` `pow1/2_binary64_15844` `difference-of-squares_binary64_4480` `flip3-+_binary64_16108` `sub-div_binary64_16112` `rem-3cbrt-lft_binary64_5900` `clear-num_binary64_2123` `associate-+r+_binary64_3420` `frac-2neg_binary64_771` `sum-log_binary64_20288` `neg-sub0_binary64_12690` `clear-num_binary64_6897` `distribute-rgt-out--_binary64_16400` `difference-of-squares_binary64_13687` `pow2_binary64_20960` `rec-exp_binary64_24339` `+-commutative_binary64_4100` `associate--l-_binary64_8200` `neg-sub0_binary64_9962` `distribute-lft-in_binary64_18782` `clear-num_binary64_20878` `distribute-rgt-in_binary64_18783` `pow2_binary64_16527` `un-div-inv_binary64_13034` `acos-asin_binary64_21742` `rem-cbrt-cube_binary64_3512` `pow-to-exp_binary64_488` `un-div-inv_binary64_8601` `div-sub_binary64` `pow-exp_binary64_146` `unpow1/3_binary64_7647` `-commutative_binary64_24902` `pow1/2_binary64_17208` `+-commutative_binary64_690` `swap-sqr_binary64_2773` `sum-log_binary64_9035` `sum-log_binary64_12445` `associate--l+_binary64_4107` `neg-mul-1_binary64_756` `rem-cbrt-cube_binary64_5899` `rem-cube-cbrt_binary64_16810` `distribute-lft-out--_binary64_5145` `frac-times_binary64_2816` `sum-cubes_binary64_7922` `inv-pow_binary64_8688` `pow-to-exp_binary64_18220` `unpow1/3_binary64_5260` `div-sub_binary64_2470` `diff-log_binary64_1193` `frac-times_binary64_24981` `pow-to-exp_binary64_22994` `un-div-inv_binary64_8942` `rem-cube-cbrt_binary64_15446` `inv-pow_binary64_10734` `cube-mult_binary64_108` `inv-pow_binary64_21305` `clear-num_binary64_5533` `inv-pow_binary64` `sqrt-unprod_binary64_15102` `rem-cbrt-cube_binary64_8627` `pow2_binary64_23688` `pow-prod-down_binary64_25042` `prod-exp_binary64_23315` `pow2_binary64_10730` `inv-pow_binary64_15167` `pow-flip_binary64_24022` `pow-pow_binary64_19246` `inv-pow_binary64_11416` `unpow1/3_binary64_145` `frac-2neg_binary64_6909` `sqr-abs_binary64_3503` `difference-of-sqr-1_binary64_9937` `diff-log_binary64_12787` `diff-log_binary64_24381` `associate--r-_binary64_17067` `associate-l/_binary64_24914` `frac-add_binary64_13726` `associate--r+_binary64_10244` `distribute-rgt-out--_binary64_9580` `rem-square-sqrt_binary64_2136` `pow-sqr_binary64_12327` `unsub-neg_binary64_7233` `distribute-lft-out_binary64_2757` `div-sub_binary64_5539` `pow2_binary64_14481` `+-commutative_binary64_20127` `pow-plus_binary64_8325` `pow-to-exp_binary64_23676` `distribute-lft-out_binary64_5485` `sub-neg_binary64_6209` `pow-plus_binary64_10371` `distribute-lft-out_binary64_15033` `sqr-abs_binary64_7936` `pow-to-exp_binary64_2193` `neg-log_binary64_10060` `distribute-lft-in_binary64_4460` `pow-pow_binary64_16859` `sub-div_binary64_14407` `associate-+l-_binary64_7856` `pow-prod-up_binary64_12424` `rem-cbrt-cube_binary64_5217` `associate-+r-_binary64_8196` `pow2_binary64_20278` `associate-/l_binary64_6843` `pow2_binary64_2887` `pow-to-exp_binary64_1852` `inv-pow_binary64_6642` `clear-num_binary64_759` `unswap-sqr_binary64_23234` `associate-+r-_binary64_17062` `pow2_binary64_4933` `pow-flip_binary64_6631` `cube-mult_binary64_22955` `un-div-inv_binary64_20536` `pow-pow_binary64_17541` `pow-to-exp_binary64_17538` `pow-exp_binary64_22993` `+-commutative_binary64_12284` `diff-log_binary64_9377` `pow-flip_binary64_1175` `inv-pow_binary64_2550` `pow2_binary64_24029` `frac-sub_binary64_12704` `associate-+l-_binary64_8538` `pow-flip_binary64_14815` `sqr-abs_binary64_2139` `pow-exp_binary64_19242` `pow-exp_binary64_1851` `distribute-rgt1-in_binary64_24245` `inv-pow_binary64_22669` `associate-+r-_binary64_1035` `distribute-rgt-in_binary64_23557` `pow-plus_binary64_17191` `div-sub_binary64_2129` `rem-square-sqrt_binary64` `pow-plus_binary64_9689` `pow-prod-up_binary64_8332` `pow-flip_binary64_24704` `associate-+r-_binary64_15357` `pow-plus_binary64_24011` `unpow3_binary64_22991` `diff-log_binary64_7331` `associate--l-_binary64_3085` `div-sub_binary64_14405` `frac-times_binary64_10659` `+-commutative_binary64` `unpow2_binary64_7645` `distribute-lft-out--_binary64_2758` `inv-pow_binary64_22328` `pow3_binary64_5958` `neg-mul-1_binary64_9963` `sqrt-pow2_binary64_17829` `rem-cbrt-cube_binary64_17493` `pow-sub_binary64_10725` `rem-cbrt-cube_binary64_8968` `div-inv_binary64_2121` `pow1/2_binary64_158` `frac-times_binary64_2475` `associate--l-_binary64_357` `pow-plus_binary64_1505` `associate-/l/_binary64_10596` `associate-/r_binary64_704` `rem-cube-cbrt_binary64_5898` `sqrt-unprod_binary64_1121` `pow2_binary64_4592` `rem-sqrt-square_binary64_1796` `distribute-rgt-in_binary64_6166` `pow2_binary64_8343` `pow-plus_binary64_10030` `pow2_binary64_9707` `rem-square-sqrt_binary64_772` `flip3--_binary64_20201` `sqr-abs_binary64_3844` `1-exp_binary64_24333` `diff-log_binary64_21994` `distribute-lft-in_binary64_23556` `+-commutative_binary64_17740` `pow-plus_binary64_12417` `pow-pow_binary64_3219` `sub-div_binary64_8269` `sub-div_binary64_85` `distribute-rgt-out--_binary64_32` `pow-to-exp_binary64_16856` `pow-pow_binary64_3560` `pow-flip_binary64_21294` `sqr-abs_binary64_15097` `pow-exp_binary64_15491` `pow-flip_binary64_8677` `sqrt-unprod_binary64_12033` `div-exp_binary64_2175` `+-commutative_binary64_19445` `rec-exp_binary64_21611` `associate-+l-_binary64_9902` `pow2_binary64_10048` `cbrt-unprod_binary64_23299` `div-sub_binary64_3834` `sub-div_binary64_21568` `sum-log_binary64_20629` `pow-exp_binary64_487` `cancel-sign-sub-inv_binary64_20163` `sqrt-unprod_binary64_3508` `associate-+l+_binary64_13651` `flip--_binary64_20172` `distribute-lft-out--_binary64_13670` `clear-num_binary64_20196` `pow-plus_binary64_20942` `diff-log_binary64_20289` `distribute-lft-out_binary64_16056` `cbrt-undiv_binary64_5568` `unsub-neg_binary64_13712` `frac-2neg_binary64_2135` `pow-flip_binary64_10723` `pow-pow_binary64_13449` `associate--l+_binary64_14678` `sum-log_binary64_19606` `rem-exp-log_binary64_21601` `un-div-inv_binary64_1099` `frac-times_binary64_20548` `associate-/l/_binary64_12983` `div-sub_binary64_424` `rem-square-sqrt_binary64_7933` `rem-cbrt-cube_binary64_15447` `neg-sub0_binary64_10303` `pow2_binary64_12094` `unsub-neg_binary64_13371` `distribute-rgt1-in_binary64_2762` `rem-cbrt-cube_binary64_4876` `sqrt-unprod_binary64_3849` `frac-2neg_binary64_20208` `difference-of-sqr-1_binary64_1412` `div-inv_binary64_757` `pow-prod-up_binary64_16516` `pow-plus_binary64_20260` `frac-sub_binary64_8271` `un-div-inv_binary64_15080`

Calls

2578 calls:

341.0ms	(.f64 t (/.f64 (.f64 9/2 z) a))
252.0ms	(-.f64 (/.f64 x (-.f64 z y)) (/.f64 (sqrt.f64 y) (/.f64 (-.f64 z y) (sqrt.f64 y))))
166.0ms	(-.f64 (/.f64 y (/.f64 t z)) (/.f64 x (/.f64 t z)))
153.0ms	(/.f64 (.f64 y (.f64 z (-.f64 (.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 t y))) (.f64 (tanh.f64 (/.f64 x y)) (tanh.f64 (/.f64 x y)))))) (+.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
148.0ms	(.f64 (/.f64 y (sqrt.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496))) (.f64 (/.f64 1 (sqrt.f64 (sqrt.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)))) (/.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b) (sqrt.f64 (sqrt.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496))))))

localize17.3s (1%)

bsearch2.9s (0.2%)

Compiler: Compiled 332 to 393 computations (-18.4% saved)

Details

sample8.8min (31%)

series6.4min (22.4%)

prune3.3min (11.7%)

analyze3.3min (11.5%)

simplify3.2min (11.4%)

regimes2.2min (7.6%)

rewrite55.7s (3.3%)

localize17.3s (1%)

bsearch2.9s (0.2%)

end8.0ms (0%)

Profiling