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

Details

series9.0min (32.1%)

Counts

2504 → 34070

Calls

1771 calls:

6.1s	(/.f64 (+.f64 2737158995491925/4503599627370496 (.f64 z (+.f64 3360836715704971/281474976710656 (.f64 z (+.f64 4428869650076171/140737488355328 (.f64 z (+.f64 z 4288183283079449/281474976710656))))))) (+.f64 b (.f64 z (+.f64 a (.f64 z (+.f64 t (.f64 z (+.f64 3143161857605767/281474976710656 (*.f64 z 7049496828096731/2251799813685248)))))))))
5.1s	(.f64 (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a))))))) (/.f64 1 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x))))))))))
5.0s	(cbrt.f64 y)
5.0s	(/.f64 (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a))))))) (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (*.f64 y x)))))))))
4.9s	(cbrt.f64 (+.f64 (+.f64 (.f64 i c) (+.f64 (.f64 t z) (.f64 a b))) (.f64 x y)))

Compiler

Compiled 2448690 to 1580731 computations (35.4% saved)

sample7.0min (24.9%)

Algorithm

539×

intervals

Results

1.3min	2104073×	body	128	valid
21.6s	277482×	body	128	invalid
15.7s	50737×	body	1024	valid
7.3s	35281×	body	512	valid
6.4s	88970×	body	128	nan
4.3s	10430×	body	2048	valid
2.3s	18475×	body	256	valid
1.8s	9109×	body	1024	invalid
782.0ms	5449×	body	512	invalid
383.0ms	335×	body	4096	valid
297.0ms	3062×	body	256	invalid
222.0ms	1286×	body	1024	nan
123.0ms	933×	body	512	nan
44.0ms	854×	body	128	overflowed
44.0ms	550×	body	256	nan
0.0ms	1×	body	2048	nan

Compiler

Compiled 236033 to 177913 computations (24.6% saved)

regimes2.8min (10.1%)

Compiler: Compiled 1885782 to 1389256 computations (26.3% saved)

analyze2.7min (9.5%)

Algorithm

270×	search
540×	egg-herbie

Search

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

Compiler

Compiled 3201 to 2770 computations (13.5% saved)

prune2.3min (8.3%)

Counts: 118761 → 5951
Compiler: Compiled 3011214 to 1230796 computations (59.1% saved)

rewrite2.3min (8.3%)

Algorithm

893×	rewrite-expression-head

Rules

4517×	`times-frac_binary64_14406`
3198×	`add-sqr-sqrt_binary64_14422`
3052×	`*-un-lft-identity_binary64_14400`
2757×	`times-frac_binary64_15088`
2562×	`times-frac_binary64_1448`
2467×	`times-frac_binary64_9291`
2262×	`add-sqr-sqrt_binary64_15104`
2216×	`*-un-lft-identity_binary64_15082`
2169×	`*-un-lft-identity_binary64_1442`
1896×	`times-frac_binary64_18157`
1887×	`add-cube-cbrt_binary64_14435`
1845×	`times-frac_binary64_13042`
1780×	`times-frac_binary64_14065`
1760×	`*-un-lft-identity_binary64_14059`
1638×	`*-un-lft-identity_binary64_13036`
1621×	`times-frac_binary64_22249`
1469×	`times-frac_binary64_15429`
1400×	`*-un-lft-identity_binary64_9285`
1335×	`add-sqr-sqrt_binary64_1464`
1328×	`*-un-lft-identity_binary64_18151`
1314×	`add-sqr-sqrt_binary64_18173`
1276×	`add-sqr-sqrt_binary64_14081`
1239×	`add-sqr-sqrt_binary64_13058`
1219×	`add-sqr-sqrt_binary64_22265`
1198×	`add-sqr-sqrt_binary64_9307`
1187×	`*-un-lft-identity_binary64_22243`
1173×	`add-cube-cbrt_binary64_9320`
1107×	`add-cube-cbrt_binary64_1477`
1105×	`*-un-lft-identity_binary64_14741`
1104×	`*-un-lft-identity_binary64_15423`
1092×	`add-sqr-sqrt_binary64_14763`
1061×	`sqrt-prod_binary64_1458`
1057×	`times-frac_binary64_14747`
1033×	`times-frac_binary64_17816`
1025×	`*-un-lft-identity_binary64_3147`
993×	`add-sqr-sqrt_binary64_15445`
990×	`add-cube-cbrt_binary64_15117`
979×	`*-un-lft-identity_binary64_12013`
976×	`add-sqr-sqrt_binary64_3169`
961×	`times-frac_binary64_17475`
949×	`times-frac_binary64_11337`
916×	`add-sqr-sqrt_binary64_12035`
909×	`times-frac_binary64_12019`
883×	`add-cube-cbrt_binary64_13071`
872×	`add-cube-cbrt_binary64_14094`
831×	`add-cube-cbrt_binary64_18186`
811×	`times-frac_binary64_3153`
793×	`add-exp-log_binary64_16825`
765×	`*-un-lft-identity_binary64_18833`
764×	`*-un-lft-identity_binary64_2124`
752×	`add-sqr-sqrt_binary64_11353`
748×	`sqrt-prod_binary64_14075`
720×	`times-frac_binary64_18839`
718×	`add-sqr-sqrt_binary64_9989`
713×	`add-sqr-sqrt_binary64_2146`
703×	`times-frac_binary64_9973`
693×	`cbrt-prod_binary64_9316`
659×	`add-cube-cbrt_binary64_22278`
653×	`add-sqr-sqrt_binary64_17832` `*-un-lft-identity_binary64_20879`
643×	`*-un-lft-identity_binary64_9967`
632×	`times-frac_binary64_20544`
629×	`*-un-lft-identity_binary64_11331`
626×	`add-cube-cbrt_binary64_15458`
625×	`times-frac_binary64_12360`
623×	`times-frac_binary64_20885`
622×	`add-sqr-sqrt_binary64_18855`
621×	`add-sqr-sqrt_binary64_16809`
617×	`*-un-lft-identity_binary64_19174`
614×	`times-frac_binary64_11678`
613×	`distribute-lft-out--_binary64_15034`
607×	`add-sqr-sqrt_binary64_20901`
604×	`difference-of-squares_binary64_15051`
601×	`add-sqr-sqrt_binary64_9648`
600×	`*-un-lft-identity_binary64_17810`
593×	`add-sqr-sqrt_binary64_11694`
591×	`add-cube-cbrt_binary64_17845`
586×	`add-sqr-sqrt_binary64_17491`
579×	`times-frac_binary64_19180`
572×	`difference-of-squares_binary64_14369`
571×	`add-cube-cbrt_binary64_11366`
569×	`distribute-lft-out--_binary64_14352`
562×	`times-frac_binary64_4858`
559×	`*-un-lft-identity_binary64_12354`
544×	`*-un-lft-identity_binary64_16787`
539×	`add-cube-cbrt_binary64_12048`
532×	`*-un-lft-identity_binary64_11672`
526×	`cancel-sign-sub-inv_binary64_14366`
522×	`*-un-lft-identity_binary64_9626`
505×	`*-un-lft-identity_binary64_16446`
500×	`times-frac_binary64_19521`
498×	`add-sqr-sqrt_binary64_19196`
492×	`*-un-lft-identity_binary64_2806`
489×	`*-un-lft-identity_binary64_17469`
485×	`add-sqr-sqrt_binary64_12376`
484×	`add-sqr-sqrt_binary64_19537`
483×	`add-cube-cbrt_binary64_17504`
481×	`add-cube-cbrt_binary64_18868`
480×	`associate-r_binary64_14340`
479×	`add-exp-log_binary64_11369`
477×	`add-cube-cbrt_binary64_14776`
474×	`add-sqr-sqrt_binary64_4874`
459×	`cbrt-div_binary64_7612`
448×	`times-frac_binary64_2130`
445×	`*-un-lft-identity_binary64_4852`
442×	`add-cube-cbrt_binary64_19209`
425×	`add-cube-cbrt_binary64_12389`
418×	`add-sqr-sqrt_binary64_16127` `*-un-lft-identity_binary64_20538`
415×	`frac-times_binary64_7590`
409×	`add-cbrt-cube_binary64_16823` `*-un-lft-identity_binary64_19515`
408×	`times-frac_binary64_16793`
407×	`associate-*r/_binary64_7522`
405×	`add-exp-log_binary64_14438` `add-cube-cbrt_binary64_11707`
404×	`add-sqr-sqrt_binary64_7261`
402×	`add-sqr-sqrt_binary64_100`
398×	`add-sqr-sqrt_binary64_20560`
394×	`add-sqr-sqrt_binary64_2828`
386×	`*-un-lft-identity_binary64_16105`
383×	`add-sqr-sqrt_binary64_441`
381×	`add-cube-cbrt_binary64_2159`
378×	`*-un-lft-identity_binary64_10308`
377×	`add-sqr-sqrt_binary64_20219`
376×	`prod-exp_binary64_16836`
375×	`add-cube-cbrt_binary64_10002`
374×	`cbrt-unprod_binary64_16820` `add-cube-cbrt_binary64_19550`
372×	`times-frac_binary64_7245` `times-frac_binary64`
371×	`add-exp-log_binary64_17507`
367×	`*-un-lft-identity_binary64_7239`
366×	`add-cube-cbrt_binary64_20573`
364×	`add-exp-log_binary64_11028`
363×	`*-un-lft-identity_binary64_78`
360×	`sqrt-prod_binary64_15439`
357×	`add-sqr-sqrt_binary64_5556` `*-un-lft-identity_binary64_419`
355×	`add-sqr-sqrt_binary64_2487`
353×	`add-sqr-sqrt_binary64_16468`
351×	`add-cube-cbrt_binary64_3182` `times-frac_binary64_16452`
347×	`sqrt-prod_binary64_3163`
345×	`add-sqr-sqrt_binary64_13740`
344×	`add-sqr-sqrt_binary64_11012` `add-cube-cbrt_binary64_20914`
341×	`-un-lft-identity_binary64` `-un-lft-identity_binary64_20197`
340×	`times-frac_binary64_2812`
337×	`add-exp-log_binary64_12733`
335×	`frac-sub_binary64_7589`
334×	`add-exp-log_binary64_12051`
332×	`unpow-prod-down_binary64_12433`
328×	`distribute-lft-out_binary64_1393`
327×	`add-cube-cbrt_binary64_4887`
319×	`add-sqr-sqrt_binary64_10671`
318×	`cbrt-prod_binary64_14772`
317×	`distribute-lft-out_binary64_14010` `*-un-lft-identity_binary64_2465`
315×	`sqrt-prod_binary64_2822`
313×	`difference-of-squares_binary64_3116`
309×	`add-sqr-sqrt_binary64_8625`
308×	`cbrt-prod_binary64_109` `add-sqr-sqrt_binary64_10330`
306×	`*-un-lft-identity_binary64_10990`
304×	`distribute-lft-out--_binary64_1394`
303×	`distribute-lft-out--_binary64_14693`
302×	`cbrt-prod_binary64_16818`
301×	`add-sqr-sqrt_binary64_21924`
298×	`cancel-sign-sub-inv_binary64_9933`
297×	`times-frac_binary64_16111` `add-sqr-sqrt_binary64_3851`
295×	`*-un-lft-identity_binary64_8603`
293×	`*-un-lft-identity_binary64_23266`
292×	`*-un-lft-identity_binary64_21902`
291×	`times-frac_binary64_9632` `add-sqr-sqrt_binary64_1805`
290×	`add-cbrt-cube_binary64_11367` `*-un-lft-identity_binary64_13718`
287×	`add-cube-cbrt_binary64_2500`
286×	`cbrt-prod_binary64_450` `times-frac_binary64_20203`
284×	`times-frac_binary64_21908`
283×	`add-exp-log_binary64_10687` `distribute-lft-out--_binary64_3099`
281×	`add-exp-log_binary64_13074`
280×	`cbrt-div_binary64_5566`
278×	`times-frac_binary64_10314`
277×	`*-un-lft-identity_binary64_10649`
275×	`add-cube-cbrt_binary64_11025`
272×	`add-cube-cbrt_binary64_16822`
271×	`pow1_binary64_12756`
270×	`difference-of-squares_binary64_14710`
269×	`sqrt-prod_binary64_12029` `times-frac_binary64_10996` `add-cube-cbrt_binary64_7274`
264×	`add-cube-cbrt_binary64_10343`
263×	`add-exp-log_binary64_21258` `difference-of-squares_binary64_22212` `distribute-lft-out--_binary64_22195`
258×	`difference-of-squares_binary64_18120` `add-exp-log_binary64_19894`
255×	`pow1_binary64_19235`
254×	`add-cube-cbrt_binary64_113` `times-frac_binary64_10655`
253×	`add-cbrt-cube_binary64_13072`
252×	`add-cube-cbrt_binary64_9661`
250×	`add-exp-log_binary64_11710`
246×	`add-cbrt-cube_binary64_11026`
245×	`add-cube-cbrt_binary64_10684`
244×	`add-sqr-sqrt_binary64_19878`
243×	`*-un-lft-identity_binary64_1783` `add-cube-cbrt_binary64_20232`
242×	`*-un-lft-identity_binary64_3829`
241×	`add-exp-log_binary64_19553`
240×	`sqrt-div_binary64_5551` `add-sqr-sqrt_binary64`
237×	`add-cbrt-cube_binary64_12049`
236×	`*-un-lft-identity_binary64_5534`
234×	`add-exp-log_binary64_20917`
233×	`add-cube-cbrt_binary64_13753`
232×	`associate-/r*_binary64_9229`
231×	`distribute-lft-out_binary64_12987` `add-sqr-sqrt_binary64_3510`
230×	`add-sqr-sqrt_binary64_7602` `add-sqr-sqrt_binary64_12717`
229×	`unpow-prod-down_binary64_12092`
227×	`add-cbrt-cube_binary64_17505` `add-cube-cbrt_binary64_2841`
225×	`add-exp-log_binary64_2162`
224×	`tanh-def-b_binary64_7768` `tanh-def-a_binary64_7767` `tanh-def-c_binary64_7769` `div-exp_binary64_16838`
223×	`add-sqr-sqrt_binary64_23288`
222×	`cbrt-undiv_binary64_16821` `associate-r_binary64_12976` `add-exp-log_binary64_17848`
221×	`add-cube-cbrt_binary64`
220×	`add-exp-log_binary64_19212` `times-frac_binary64_13724` `add-cbrt-cube_binary64_20915` `add-cube-cbrt_binary64_16481`
219×	`add-exp-log_binary64_18189`
218×	`add-exp-log_binary64_18530` `add-cube-cbrt_binary64_16140` `add-sqr-sqrt_binary64_13399`
213×	`add-cube-cbrt_binary64_1818`
212×	`add-exp-log_binary64_9323` `div-inv_binary64_14397`
210×	`add-cbrt-cube_binary64_14436` `pow1_binary64_18553`
209×	`cbrt-prod_binary64_3519` `add-cbrt-cube_binary64_21256` `add-exp-log_binary64_15120`
208×	`add-sqr-sqrt_binary64_5215` `add-cube-cbrt_binary64_454`
207×	`associate-/r_binary64_14003` `times-frac_binary64_84` `-un-lft-identity_binary64_24630`
206×	`pow1_binary64_14802` `add-cube-cbrt_binary64_8638` `distribute-lft-out_binary64_2757`
205×	`*-un-lft-identity_binary64_13377`
203×	`times-frac_binary64_23272` `sqrt-prod_binary64`
202×	`*-un-lft-identity_binary64_12695` `add-exp-log_binary64_13756` `add-cbrt-cube_binary64_12731` `distribute-lft-out--_binary64_18103`
198×	`associate-l_binary64_11272` `add-cbrt-cube_binary64_19892`
197×	`*-un-lft-identity_binary64_6898` `prod-exp_binary64_11380`
196×	`add-cbrt-cube_binary64_18528` `times-frac_binary64_2471`
194×	`*-un-lft-identity_binary64_8944` `div-exp_binary64_14451`
193×	`cbrt-unprod_binary64_11364` `pow1_binary64_21281`
192×	`pow1_binary64_15484` `add-sqr-sqrt_binary64_17150`
191×	`add-cbrt-cube_binary64_19210` `associate-/r*_binary64_14344` `cbrt-prod_binary64_4883` `add-cbrt-cube_binary64_11708` `pow1_binary64_5595`
184×	`add-cbrt-cube_binary64_18187` `times-frac_binary64_8609`
183×	`add-sqr-sqrt_binary64_22606` `add-cube-cbrt_binary64_5569` `add-exp-log_binary64_15461`
182×	`add-cbrt-cube_binary64_13754` `pow1_binary64_139`
180×	`*-un-lft-identity_binary64_22584`
179×	`add-exp-log_binary64_10005` `associate-r_binary64_11271`
177×	`add-exp-log_binary64_14097`
176×	`associate-r_binary64_14681` `add-sqr-sqrt_binary64_21583`
175×	`*-un-lft-identity_binary64_7580` `add-exp-log_binary64_17166`
173×	`add-cube-cbrt_binary64_3864` `add-cbrt-cube_binary64_17846` `distribute-lft-out--_binary64_15375` `*-un-lft-identity_binary64_19856`
172×	`associate-/r/_binary64_12982` `*-un-lft-identity_binary64_5193`
171×	`*-un-lft-identity_binary64_3488` `add-cbrt-cube_binary64_2160` `cbrt-div_binary64_9999`
170×	`add-cube-cbrt_binary64_12730` `add-cube-cbrt_binary64_19891` `add-cube-cbrt_binary64_3523` `associate-/r*_binary64_15026`
169×	`associate-*l/_binary64_7523` `cbrt-prod_binary64_1814` `sqrt-prod_binary64_9301` `difference-of-squares_binary64_11982` `distribute-lft-out_binary64_11964` `add-sqr-sqrt_binary64_8966`
168×	`add-cbrt-cube_binary64_17164`
167×	`add-sqr-sqrt_binary64_1123` `pow1_binary64_9687` `add-cbrt-cube_binary64_14095`
166×	`cancel-sign-sub-inv_binary64_17435` `*-un-lft-identity_binary64_8262` `difference-of-squares_binary64_14028`
165×	`difference-of-squares_binary64_15392` `add-cbrt-cube_binary64_9321` `add-sqr-sqrt_binary64_21242` `distribute-lft-out--_binary64_14011`
164×	`add-cbrt-cube_binary64_15459` `add-exp-log_binary64_20235`
163×	`associate-/r*_binary64_22187`
162×	`cbrt-prod_binary64_2155` `div-exp_binary64_17520` `pow1_binary64_9005`
161×	`add-cbrt-cube_binary64_19551` `associate-r_binary64_2064` `*-un-lft-identity_binary64_21561`
160×	`flip3-+_binary64_7583` `add-cube-cbrt_binary64_5228` `flip-+_binary64_7554` `cbrt-prod_binary64_12385`
159×	`associate-/r/_binary64_15028` `cancel-sign-sub-inv_binary64_19481`
158×	`add-cbrt-cube_binary64_10685` `difference-of-squares_binary64_9936`
157×	`cbrt-prod_binary64_7270` `add-exp-log_binary64_18871` `add-cbrt-cube_binary64_15118` `times-frac_binary64_24295` `prod-exp_binary64_12744` `difference-of-squares_binary64_9595`
156×	`add-exp-log_binary64_20576` `cube-prod_binary64_4880` `frac-times_binary64_5544` `unpow-prod-down_binary64_4931` `*-un-lft-identity_binary64_17128` `cbrt-prod_binary64_9657`
155×	`add-cube-cbrt_binary64_23301`
154×	`add-exp-log_binary64_9664`
151×	`pow1_binary64_11051` `cbrt-prod_binary64_5565` `pow1_binary64_10028`
150×	`add-cube-cbrt_binary64_21937` `add-cube-cbrt_binary64_7615`
149×	`pow1_binary64_19917`
148×	`add-cube-cbrt_binary64_21596` `*-un-lft-identity_binary64_7921`
147×	`add-sqr-sqrt_binary64_7943` `distribute-lft-out--_binary64_12988`
146×	`pow1_binary64_16848`
145×	`add-exp-log_binary64_7618` `pow1_binary64_15825`
144×	`associate-/r*_binary64_18095` `add-sqr-sqrt_binary64_24311`
143×	`distribute-lft-out--_binary64_2076` `flip-+_binary64_5508` `associate-*r/_binary64_9909` `times-frac_binary64_1789` `flip3-+_binary64_5537`
142×	`associate-/l*_binary64_12981` `prod-exp_binary64_21269`
141×	`associate-/r*_binary64_12980` `add-sqr-sqrt_binary64_22947` `add-sqr-sqrt_binary64_15786`
140×	`cbrt-prod_binary64_11362` `add-cbrt-cube_binary64_20233` `difference-of-squares_binary64_2093` `add-exp-log_binary64_4890` `times-frac_binary64_1107`
139×	`pow1_binary64_480` `*-un-lft-identity_binary64_1101`
138×	`add-cube-cbrt_binary64_22619` `add-cube-cbrt_binary64_1136` `add-cbrt-cube_binary64_10003` `log-prod_binary64_505`
137×	`pow1_binary64_2185` `pow1_binary64_7641`
136×	`add-cbrt-cube_binary64_18869` `times-frac_binary64_21567` `add-sqr-sqrt_binary64_6920`
135×	`associate-r_binary64_3087` `times-frac_binary64_8268` `add-exp-log_binary64_116` `associate-/r*_binary64_17754`
134×	`associate-r_binary64_21160` `associate-r_binary64_13658`
133×	`div-exp_binary64_11382` `associate-l_binary64_12977` `associate-/r/_binary64_14346`
132×	`associate-l_binary64_16728` `associate-r_binary64_11612` `difference-of-squares_binary64_13005`
131×	`cbrt-prod_binary64_1473` `add-exp-log_binary64_14779`
130×	`associate-l_binary64_5475` `cbrt-prod_binary64_8634`
129×	`times-frac_binary64_3835` `sqrt-prod_binary64_11006` `sqrt-prod_binary64_2140` `add-exp-log_binary64_13415`
128×	`pow1_binary64_17189`
127×	`add-exp-log_binary64_8641` `add-exp-log_binary64_8982` `add-sqr-sqrt_binary64_6579`
126×	`-un-lft-identity_binary64_22925` `add-cube-cbrt_binary64_8979` `associate-r*_binary64_18` `add-cube-cbrt_binary64_17163`
125×	`times-frac_binary64_5540` `flip-+_binary64_13010` `add-cbrt-cube_binary64_7616` `difference-of-squares_binary64_16756` `flip3-+_binary64_13039`
124×	`add-cbrt-cube_binary64_114` `distribute-lft-out--_binary64_20831`
123×	`pow1_binary64_6618` `-un-lft-identity_binary64_21220` `pow1_binary64_3549` `pow1_binary64_4231` `associate-/r_binary64_19118` `add-cube-cbrt_binary64_21255`
122×	`prod-exp_binary64_19905`
121×	`associate-l_binary64_9567` `associate-/r*_binary64_1386` `times-frac_binary64_5199`
120×	`prod-exp_binary64_11039` `associate-r_binary64_13999` `cbrt-undiv_binary64_11365` `add-exp-log_binary64_15802` `log-prod_binary64_12781` `associate-r_binary64_16727`
119×	`associate-/r_binary64_14685` `associate-r_binary64_16045` `add-exp-log_binary64_457` `associate-/r_binary64_11957` `associate-r_binary64_10930` `add-cbrt-cube_binary64_9662` `cbrt-prod_binary64_22956` `*-un-lft-identity_binary64_24289`
118×	`add-log-exp_binary64_458` `associate-r_binary64_10589` `log-prod_binary64_2210` `add-cbrt-cube_binary64_16141` `add-exp-log_binary64_16143`
117×	`prod-exp_binary64_18541` `pow-prod-down_binary64_12766` `cbrt-unprod_binary64_18525`
116×	`add-exp-log_binary64_1821` `add-exp-log_binary64_12392`
115×	`pow-prod-down_binary64_18563` `pow1_binary64_1844` `add-cube-cbrt_binary64_24324`
114×	`flip--_binary64_15057` `flip3--_binary64_15086` `times-frac_binary64_13383` `associate-r_binary64_7520` `associate-r_binary64_18773` `*-un-lft-identity_binary64_760` `add-sqr-sqrt_binary64_4192`
113×	`times-frac_binary64_22590` `times-frac_binary64_19862` `associate-/l*_binary64_15368`
112×	`pow1_binary64_2526`
111×	`log-prod_binary64_2551` `add-cube-cbrt_binary64_13412` `add-cbrt-cube_binary64_15800` `add-exp-log_binary64_2503` `associate-/r*_binary64_18777` `pow1_binary64_8664` `cbrt-prod_binary64_15113`
110×	`add-exp-log_binary64_16484` `*-un-lft-identity_binary64_18492`
109×	`add-cbrt-cube_binary64_14777` `distribute-rgt-in_binary64_2074` `flip--_binary64_16080` `distribute-lft-in_binary64_2073` `flip3--_binary64_16109` `associate-l_binary64_19456`
108×	`flip3--_binary64_7584` `add-exp-log_binary64_6595` `flip--_binary64_7555` `difference-of-squares_binary64_20848` `cancel-sign-sub-inv_binary64_5500` `pow1_binary64_10710` `add-exp-log_binary64_7277` `add-exp-log_binary64_1139`
107×	`add-cbrt-cube_binary64_4888` `distribute-rgt-in_binary64_369` `distribute-lft-in_binary64_368` `pow1_binary64_12415` `pow-prod-down_binary64_19245` `add-exp-log_binary64_10346` `associate-/l*_binary64_11958`
106×	`div-inv_binary64_15079` `add-sqr-sqrt_binary64_8284` `add-cbrt-cube_binary64_455`
105×	`-un-lft-identity_binary64_6557` `times-frac_binary64_22931` `add-sqr-sqrt_binary64_18514` `-un-lft-identity_binary64_15764` `associate-/l*_binary64_14345` `pow1_binary64_3890`
104×	`times-frac_binary64_3494` `unpow-prod-down_binary64_23345` `distribute-lft-out_binary64_9236` `cube-prod_binary64_23294` `cbrt-prod_binary64_10339` `cbrt-unprod_binary64_21253` `associate-l_binary64_360`
103×	`distribute-lft-out_binary64_18784` `add-cbrt-cube_binary64_8639` `cbrt-prod_binary64_24320` `*-un-lft-identity_binary64_5875` `pow1_binary64_11392`
102×	`associate-r_binary64_15022` `add-cbrt-cube_binary64_1819` `associate-r_binary64_9566` `add-sqr-sqrt_binary64_5897` `div-exp_binary64_13087` `associate-r_binary64_19796`
101×	`add-log-exp_binary64_9665` `add-cube-cbrt_binary64_15799` `div-exp_binary64_12064` `pow1_binary64_13779`
100×	`add-cube-cbrt_binary64_6592` `distribute-lft-in_binary64_12644` `distribute-rgt-in_binary64_12645`
99×	`distribute-lft-in_binary64_9916` `distribute-rgt-in_binary64_9917` `associate-r_binary64_19114` `-un-lft-identity_binary64_4170` `prod-exp_binary64_10698` `associate-/r_binary64_20823` `add-exp-log_binary64_22281` `associate-/r/_binary64_9231` `pow1_binary64_13438`
98×	`add-log-exp_binary64_2504` `div-inv_binary64_9282` `add-cube-cbrt_binary64_8297`
97×	`difference-of-squares_binary64_1411` `add-cbrt-cube_binary64_2501` `sqrt-prod_binary64_7596` `div-exp_binary64_11041` `times-frac_binary64_6904`
96×	`cbrt-unprod_binary64_19889` `cbrt-prod_binary64_2496` `add-cbrt-cube_binary64_13413` `add-cube-cbrt_binary64_6933` `div-inv_binary64_13033` `cancel-sign-sub-inv_binary64_23232`
95×	`cancel-sign-sub-inv_binary64_20163` `associate-r_binary64_2405` `add-exp-log_binary64_22622` `distribute-lft-out--_binary64_16398` `add-cbrt-cube_binary64_10344`
94×	`cancel-sign-sub-inv_binary64_9592` `cbrt-prod_binary64_23297` `pow1_binary64_12074` `add-log-exp_binary64_2163`
93×	`pow1_binary64_17530`
92×	`pow-prod-down_binary64_14812` `distribute-lft-out_binary64_19125` `associate-r_binary64_11953` `add-cbrt-cube_binary64_12390` `associate-/r/_binary64_22189`
91×	`flip--_binary64_394` `flip3--_binary64_423` `add-cube-cbrt_binary64_22960` `associate-/l_binary64_18096` `associate-r_binary64_19455` `associate-r*_binary64_359`
90×	`associate-r_binary64_18432` `distribute-lft-in_binary64_2414` `pow1_binary64_20599` `associate-/l*_binary64_14004` `pow1_binary64_18894` `div-inv_binary64_15420` `distribute-rgt-in_binary64_2415`
89×	`sqrt-prod_binary64_23964` `pow1_binary64_11733` `associate-r_binary64_17750`
88×	`prod-exp_binary64_12062` `distribute-lft-out--_binary64_9578` `add-cbrt-cube_binary64_16482` `distribute-lft-out_binary64_24581`
87×	`distribute-lft-out--_binary64_9919` `associate-l_binary64_2065` `associate-r_binary64_4792` `frac-times_binary64_9977` `add-exp-log_binary64_3526` `cbrt-prod_binary64_11703` `associate-r_binary64_20819` `pow1_binary64_16166` `associate-l_binary64_14341` `div-exp_binary64_12746` `sqrt-prod_binary64_1799`
86×	`associate-r_binary64_15363` `associate-*l/_binary64_362` `cancel-sign-sub-inv_binary64_11979` `times-frac_binary64_24636` `add-cube-cbrt_binary64_18527` `pow-prod-down_binary64_21291`
85×	`associate-l_binary64_18092` `cbrt-undiv_binary64_13070` `cbrt-prod_binary64_20910` `flip3--_binary64_14404` `add-exp-log_binary64_5231` `pow-prod-down_binary64_15494` `add-log-exp_binary64_7619` `associate-l_binary64_11613` `associate-r_binary64_17409` `flip--_binary64_14375` `pow1_binary64_20258` `associate-r_binary64_20137`
84×	`add-cbrt-cube_binary64_7275` `associate-l_binary64_21161` `sqrt-prod_binary64_5550` `add-log-exp_binary64_12052` `frac-times_binary64_13046`
83×	`add-log-exp_binary64_19213` `prod-exp_binary64_2173` `add-cbrt-cube_binary64_22620` `add-cbrt-cube_binary64_20574` `associate-/l_binary64_15027` `associate-/r_binary64_11275` `div-exp_binary64_9336`
82×	`add-exp-log_binary64_3867` `add-cbrt-cube_binary64_8980` `add-exp-log_binary64_5913` `cancel-sign-sub-inv_binary64_7546` `add-log-exp_binary64_8642` `associate-r_binary64_8543`
81×	`add-exp-log_binary64_21599` `add-log-exp_binary64_12734` `pow1_binary64_19576` `add-log-exp_binary64_20236` `associate-/r*_binary64_15367`
80×	`distribute-rgt-in_binary64_19465` `cbrt-prod_binary64_6588` `add-log-exp_binary64_16826` `cancel-sign-sub-inv_binary64_9251` `distribute-lft-in_binary64_19464` `add-cbrt-cube_binary64_24666` `add-exp-log_binary64_24668` `add-cbrt-cube_binary64_6593` `cbrt-prod_binary64_3860`
79×	`associate-r_binary64_1723` `add-cube-cbrt_binary64_5910` `add-sqr-sqrt_binary64_782` `associate-r/_binary64_8886` `pow1/3_binary64_5616` `cancel-sign-sub-inv_binary64_2431` `associate-/r_binary64_11616` `associate-/r*_binary64_17413` `div-inv_binary64_18148` `add-log-exp_binary64_117`
78×	`cbrt-div_binary64_8976` `associate-l_binary64_12636` `associate-/r_binary64_3091` `add-exp-log_binary64_5572` `associate-r_binary64_16386` `prod-exp_binary64_17518` `associate-r_binary64_2746` `associate-/l_binary64_12299` `div-exp_binary64_10700`
77×	`cbrt-prod_binary64_17159` `pow1_binary64_10369` `pow1_binary64_14461` `prod-exp_binary64_14449` `cbrt-undiv_binary64_14434` `pow1_binary64_18212` `add-exp-log_binary64_4208`
76×	`add-log-exp_binary64_19554` `pow1_binary64_13097` `add-cbrt-cube_binary64_5229` `pow1_binary64` `pow-prod-down_binary64_10038` `prod-exp_binary64_20928` `div-exp_binary64_15133` `associate-l_binary64_17069` `cbrt-div_binary64_451`
75×	`add-log-exp_binary64_15803` `pow1_binary64_14120` `pow1_binary64_15143` `add-log-exp_binary64_11029` `cbrt-undiv_binary64_17503` `add-log-exp_binary64_10688` `associate-r/_binary64_15365` `prod-exp_binary64_10016` `add-cube-cbrt_binary64_4205` `add-cbrt-cube_binary64_4206` `add-log-exp_binary64_5914` `add-cbrt-cube_binary64_22279` `associate-r*_binary64_17068` `cbrt-unprod_binary64_10000`
74×	`add-log-exp_binary64_17167` `flip--_binary64_15398` `cbrt-unprod_binary64_20912` `add-log-exp_binary64_17508` `associate-r_binary64_9907` `difference-of-squares_binary64_16074` `distribute-lft-out--_binary64_16057` `associate-/r/_binary64_14005` `cbrt-prod_binary64_8975` `add-exp-log_binary64_3185` `flip3--_binary64_15427` `distribute-lft-out_binary64_16738` `cbrt-unprod_binary64_11023` `add-log-exp_binary64_8983`
73×	`associate-l_binary64_19` `pow1_binary64_5254` `cbrt-prod_binary64_18864` `cbrt-div_binary64_9658`
72×	`associate-l_binary64_16046` `cbrt-undiv_binary64_12047`
71×	`pow1_binary64_17871` `associate-l_binary64_15023` `add-cbrt-cube_binary64_3524` `difference-of-squares_binary64_21871` `prod-exp_binary64_11721` `div-exp_binary64_19566` `difference-of-squares_binary64_388` `sqrt-pow1_binary64_12713` `distribute-lft-out--_binary64_21854` `associate-r_binary64_18091` `associate--l+_binary64_2402`
70×	`add-log-exp_binary64_13757` `cbrt-prod_binary64_2837` `frac-times_binary64_16115` `distribute-rgt-in_binary64_7530` `add-exp-log_binary64_1480` `associate-r_binary64_22524` `sqrt-div_binary64_11007` `add-log-exp_binary64_18872` `associate-l_binary64_19797` `distribute-lft-in_binary64_7529` `associate-+r+_binary64_23198`
69×	`distribute-lft-out_binary64_15374` `add-cbrt-cube_binary64_5911` `associate-r_binary64_5133` `div-inv_binary64_17466` `cancel-sign-sub-inv_binary64_16753` `add-log-exp_binary64_1481` `associate-/r*_binary64_2068` `add-cbrt-cube_binary64_3865` `cbrt-unprod_binary64_12728` `add-cbrt-cube_binary64_21597` `div-exp_binary64_11723`
68×	`swap-sqr_binary64_14708` `add-cbrt-cube_binary64_3183` `associate-r_binary64_13317` `cbrt-unprod_binary64_12046` `cbrt-prod_binary64_22615` `associate-+l+_binary64_352` `distribute-lft-out--_binary64_11965` `associate-*r/_binary64_5476` `add-log-exp_binary64_11711`
67×	`associate-r_binary64_5474` `add-sqr-sqrt_binary64_24652` `associate-/r_binary64_12298` `associate-r/_binary64_10591` `swap-sqr_binary64_3114` `associate-l_binary64_13659` `distribute-lft-out_binary64_2075` `distribute-lft-out_binary64_16397` `add-sqr-sqrt_binary64_23970` `add-cbrt-cube_binary64_1137`
66×	`pow1_binary64_1503` `log-prod_binary64_10394` `sqrt-pow1_binary64_19192` `times-frac_binary64_6563` `sqrt-pow1_binary64_15441` `sqrt-pow1_binary64_14759` `log-prod_binary64_164` `div-exp_binary64_18202` `unpow-prod-down_binary64_498` `cancel-sign-sub-inv_binary64_21527`
65×	`associate-l_binary64_7521` `add-sqr-sqrt_binary64_6238` `div-inv_binary64_14056` `cbrt-undiv_binary64_9319` `associate-l_binary64_19115` `add-cube-cbrt_binary64_7956` `associate-/r/_binary64_11959` `div-exp_binary64_20930`
64×	`flip--_binary64_20513` `pow1_binary64_4913` `associate-l_binary64_10931` `flip3--_binary64_20542` `cancel-sign-sub-inv_binary64_10615` `div-exp_binary64_17861` `associate-r_binary64_15704` `prod-exp_binary64_19564` `pow1_binary64_21622` `associate-l_binary64_1724` `associate-l_binary64_11954`
63×	`flip3--_binary64_9971` `unpow-prod-down_binary64_19935` `add-log-exp_binary64_14439` `distribute-lft-out_binary64_12305` `associate-r_binary64_3428` `cancel-sign-sub-inv_binary64_3113` `pow1_binary64_20940` `flip--_binary64_9942` `add-cbrt-cube_binary64_1478`
62×	`pow-prod-down_binary64_9015` `pow-prod-down_binary64_19927` `sqrt-prod_binary64_21236` `associate-/l_binary64_17414` `add-exp-log_binary64_21940` `associate-l_binary64_9908` `distribute-rgt-in_binary64_21511` `add-cbrt-cube_binary64_5570` `distribute-lft-in_binary64_21510` `add-log-exp_binary64_15462` `associate-r/_binary64_10932`
61×	`cbrt-prod_binary64_18182` `prod-exp_binary64_13085` `associate-/l*_binary64_18778` `associate--l+_binary64_9222`
60×	`add-log-exp_binary64_4891` `associate-r_binary64_12635` `cbrt-div_binary64_20570` `add-log-exp_binary64_20918` `associate-/r_binary64_24574` `prod-exp_binary64_13426` `associate-l_binary64_3088` `associate-+l+_binary64_2398` `cbrt-undiv_binary64_18185` `cbrt-undiv_binary64_20913` `add-log-exp_binary64_10006` `cbrt-div_binary64_22616` `associate-/r/_binary64_15369` `associate-l*_binary64_15705` `prod-exp_binary64_17177` `add-cube-cbrt_binary64_24665`
59×	`associate-l_binary64_14682` `prod-exp_binary64_17859` `add-exp-log_binary64_2844` `associate-l_binary64_20820` `associate-r_binary64_7179` `add-log-exp_binary64_1822` `add-log-exp_binary64_17849` `prod-exp_binary64_8993` `cbrt-prod_binary64_7611` `associate-r/_binary64_20480` `associate-r/_binary64_9568`
58×	`associate-/l_binary64_10935` `associate-+l+_binary64_2057` `difference-of-squares_binary64_4821` `prod-exp_binary64_13767` `flip3-+_binary64_3832` `associate-l*_binary64_10249` `log-prod_binary64_9712` `distribute-lft-out_binary64` `cbrt-prod_binary64_14431` `cbrt-prod_binary64_9998` `pow1_binary64_7300` `cbrt-unprod_binary64_17161` `flip-+_binary64_3803`
57×	`add-log-exp_binary64_3527` `associate-r_binary64_22183` `cbrt-unprod_binary64_13069` `cbrt-unprod_binary64_8977` `associate-/r_binary64_10252` `flip3-+_binary64_9629` `associate-l_binary64_10590` `frac-sub_binary64_9976` `flip-+_binary64_9600` `pow-prod-up_binary64_5604` `associate-+r+_binary64_2397` `cbrt-unprod_binary64_2157` `frac-times_binary64_15433` `div-inv_binary64_17807` `associate-/r/_binary64_19120` `div-exp_binary64_15474` `pow1_binary64_22645` `add-log-exp_binary64_10347` `associate-/r_binary64_2750` `associate-r_binary64_23888`
56×	`flip3--_binary64_22247` `difference-of-squares_binary64_11641` `div-exp_binary64_14110` `cube-prod_binary64_16815` `unpow-prod-down_binary64_16866` `div-inv_binary64_22240` `prod-exp_binary64_7629` `distribute-lft-out--_binary64_11624` `associate-l/_binary64_5477` `cbrt-unprod_binary64_11705` `flip--_binary64_22218` `add-log-exp_binary64_14098` `add-log-exp_binary64_7278` `flip--_binary64_18808` `associate-+r+_binary64_19447` `associate-r/_binary64_16047` `associate-l_binary64_17751` `distribute-lft-out--_binary64_4804` `flip3--_binary64_18837` `cbrt-prod_binary64_12726`
55×	`cbrt-prod_binary64_5224` `sqrt-prod_binary64_17144` `add-log-exp_binary64_11370` `associate-l_binary64_13318` `associate-l_binary64_14000` `flip--_binary64_8919` `flip3--_binary64_8948` `cbrt-undiv_binary64_15457` `associate-/l_binary64_9230` `associate-/r/_binary64_3093` `associate-/r/_binary64_17415` `associate-r/_binary64_13660`
54×	`difference-of-squares_binary64_16415` `cbrt-undiv_binary64_11706` `div-inv_binary64_11328` `sqrt-prod_binary64_3845` `frac-add_binary64_15431` `cbrt-prod_binary64_19887` `associate-+r+_binary64_2056` `cbrt-unprod_binary64_13410` `prod-exp_binary64_18200` `cancel-sign-sub-inv_binary64_19140` `pow1_binary64_16507` `associate-l_binary64_18774`
53×	`associate-/r/_binary64_12300` `add-log-exp_binary64_5573` `cancel-sign-sub-inv_binary64_13684` `associate-l_binary64_17410` `associate-/r/_binary64_14687` `associate-/r*_binary64_20141` `flip--_binary64_2099` `pow-prod-down_binary64_16858` `flip3--_binary64_2128` `pow1_binary64_2867` `add-log-exp_binary64_3868` `pow-prod-down_binary64_6628` `unswap-sqr_binary64_14368`
52×	`pow-prod-down_binary64_9697` `log-prod_binary64_22670` `associate-l_binary64_8885` `unpow3_binary64_4918` `cube-mult_binary64_4882` `associate-/l_binary64_19119` `difference-of-squares_binary64_7208` `associate-r*_binary64_21842` `log-prod_binary64_11076` `sqr-pow_binary64_4824`
51×	`add-log-exp_binary64_16144` `flip3--_binary64_3151` `add-log-exp_binary64_15121` `associate-l_binary64_20138` `flip--_binary64_3122` `cancel-sign-sub-inv_binary64_385` `add-log-exp_binary64_18531` `cbrt-undiv_binary64_17844` `associate-/r_binary64_21846` `pow1_binary64_9346` `pow-prod-down_binary64_15835` `associate-/r_binary64_20482` `times-frac_binary64_5881` `distribute-lft-out_binary64_10259` `log-prod_binary64_9030` `div-exp_binary64_19225`
50×	`associate-r_binary64_8884` `cbrt-unprod_binary64_13751` `add-log-exp_binary64_9324` `cbrt-undiv_binary64_15116` `pow-prod-down_binary64_5605` `cbrt-undiv_binary64_14093` `add-cbrt-cube_binary64_21938` `prod-exp_binary64_6606` `associate-l_binary64_7180` `add-cbrt-cube_binary64_2842` `associate-l_binary64_2406` `associate-/l_binary64_22188` `pow1_binary64_3208` `add-log-exp_binary64_21259` `cbrt-unprod_binary64_6590` `associate-r*_binary64_3769`
49×	`pow-prod-down_binary64_20609` `associate-l_binary64_8544` `pow-prod-down_binary64_13448` `1-exp_binary64_14444` `cbrt-prod_binary64_6247` `add-log-exp_binary64_18190` `add-exp-log_binary64_6936` `unswap-sqr_binary64_11299` `associate-/r/_binary64_18779` `distribute-rgt-in_binary64_10258` `distribute-lft-in_binary64_10257` `rec-exp_binary64_14450` `prod-exp_binary64_9675` `associate-r_binary64_6497`
48×	`distribute-lft-in_binary64_5483` `associate-l_binary64_3429` `flip3--_binary64_4856` `flip--_binary64_4827` `cbrt-unprod_binary64_17502` `div-inv_binary64_1439` `pow1_binary64_5936` `cbrt-unprod_binary64_9659` `distribute-rgt-in_binary64_5484` `associate-/r/_binary64_4798` `associate-/r*_binary64_19459` `cancel-sign-sub-inv_binary64_15389` `log-prod_binary64_3915`
47×	`cbrt-prod_binary64_15454` `div-inv_binary64_18830` `pow-prod-down_binary64_149` `difference-of-squares_binary64_18802` `prod-exp_binary64_20587` `associate-/r_binary64_16731` `cbrt-undiv_binary64_11024` `associate-r/_binary64_19116` `swap-sqr_binary64_2773`
46×	`associate-r/_binary64_22526` `prod-exp_binary64_19223` `distribute-lft-out--_binary64_371` `add-log-exp_binary64_799` `cbrt-div_binary64_1474` `cbrt-div_binary64_3861` `div-inv_binary64_11669` `add-log-exp_binary64_12393` `pow-prod-down_binary64_11061` `flip3-+_binary64_22587` `flip-+_binary64_22558` `div-exp_binary64_20589` `add-cube-cbrt_binary64_23983` `add-log-exp_binary64_5232` `distribute-lft-out--_binary64_16739` `div-inv_binary64_12010` `cbrt-div_binary64_15455` `-un-lft-identity_binary64_23948`
45×	`associate-l_binary64_5134` `flip-+_binary64_11987` `cbrt-unprod_binary64_20571` `cbrt-prod_binary64_7952` `cbrt-unprod_binary64_10682` `cbrt-unprod_binary64_17843` `div-inv_binary64_19171` `add-exp-log_binary64_6254` `associate-l/_binary64_12979` `swap-sqr_binary64_17436` `flip3-+_binary64_12016` `cancel-sign-sub-inv_binary64_2090` `distribute-lft-out--_binary64_30` `difference-of-squares_binary64_20166` `add-log-exp_binary64_16485` `cancel-sign-sub-inv_binary64_22209` `associate-r*_binary64_6838` `difference-of-squares_binary64_17438` `div-inv_binary64_19512` `add-cube-cbrt_binary64_795`
44×	`associate-l_binary64_15364` `cbrt-unprod_binary64_7613` `associate-/r_binary64_7183` `pow1_binary64_1162` `add-log-exp_binary64_19895` `sqrt-prod_binary64_9642` `-un-lft-identity_binary64_6216` `difference-of-squares_binary64_13346` `difference-of-squares_binary64_3798` `flip3--_binary64_17473` `flip--_binary64_17444` `associate-/r/_binary64_20484` `associate-/l_binary64_10594` `distribute-lft-out--_binary64_13329` `cbrt-div_binary64_18865` `add-cube-cbrt_binary64_6251` `associate-r/_binary64_21162` `cube-prod_binary64_12382` `distribute-lft-out--_binary64_20149` `cbrt-unprod_binary64_18184` `cbrt-prod_binary64_17841`
43×	`distribute-lft-in_binary64_19123` `cbrt-div_binary64_3520` `cbrt-prod_binary64_20228` `distribute-rgt-in_binary64_19124` `unpow-prod-down_binary64_2544` `associate-r_binary64_4110` `associate-/l_binary64_19460` `flip3--_binary64_20201` `flip3-+_binary64_10652` `div-inv_binary64_14738` `flip-+_binary64_10623` `cbrt-prod_binary64_6929` `flip--_binary64_20172` `associate-/l_binary64_4797` `sqr-pow_binary64_11985`
42×	`flip-+_binary64_19148` `associate-/r/_binary64_10936` `cbrt-div_binary64_16819` `add-log-exp_binary64_21600` `add-sqr-sqrt_binary64_23629` `cbrt-unprod_binary64_15797` `associate-/l_binary64_20824` `associate-r_binary64_10248` `associate-+r+_binary64_21493` `distribute-lft-out_binary64_23217` `sqrt-div_binary64_7597` `associate-l_binary64_2747` `add-log-exp_binary64_20577` `pow1/3_binary64_501` `associate-r/_binary64_12978` `pow1/3_binary64_3570` `unpow-prod-down_binary64_10728` `flip3-+_binary64_19177` `prod-exp_binary64_15813`
41×	`pow-prod-down_binary64_4241` `distribute-lft-out--_binary64_7191` `difference-of-squares_binary64_47` `associate-l_binary64_4111` `distribute-rgt-in_binary64_16055` `associate-/r_binary64_13662` `div-inv_binary64_12351` `associate-/r_binary64_16049` `associate-/r*_binary64_16390` `distribute-rgt-in_binary64_20147` `cbrt-prod_binary64_15795` `div-inv_binary64_20535` `distribute-lft-in_binary64_16054` `pow-sqr_binary64_5507` `frac-times_binary64_16797` `distribute-lft-in_binary64_20146` `frac-times_binary64_9636` `add-cbrt-cube_binary64_6934` `pow-prod-down_binary64_2195`
40×	`difference-of-squares_binary64_7890` `distribute-rgt-in_binary64_28` `associate-l_binary64_21502` `add-log-exp_binary64_14780` `div-exp_binary64_18884` `prod-exp_binary64_127` `difference-of-squares_binary64_5503` `times-frac_binary64_12701` `add-log-exp_binary64_4209` `associate-r/_binary64_15706` `prod-exp_binary64_4901` `distribute-lft-out--_binary64_18785` `swap-sqr_binary64_9593` `pow-prod-down_binary64_7651` `associate-l/_binary64_8887` `pow1/3_binary64_1865` `associate-*r/_binary64_20139` `add-sqr-sqrt_binary64_4533` `div-exp_binary64_22294` `distribute-lft-in_binary64_27` `cbrt-unprod_binary64_19207`
39×	`flip3-+_binary64_2809` `prod-exp_binary64_20246` `associate-/l_binary64_3092` `unswap-sqr_binary64_5502` `cbrt-div_binary64_21593` `unswap-sqr_binary64_16755` `cbrt-prod_binary64_4542` `div-exp_binary64_20248` `cancel-sign-sub-inv_binary64_8910` `associate-l_binary64_12295` `cbrt-prod_binary64_21592` `distribute-rgt-in_binary64_23216` `distribute-lft-in_binary64_23215` `flip-+_binary64_2780` `associate-r*_binary64_1041` `cbrt-undiv_binary64_19208` `frac-times_binary64_22594`
38×	`swap-sqr_binary64_3455` `div-exp_binary64_13769` `distribute-lft-out_binary64_6849` `associate-l/_binary64_16048` `associate-r/_binary64_16729` `unswap-sqr_binary64_19824` `cbrt-div_binary64_2838` `cbrt-unprod_binary64_111` `prod-exp_binary64_15472` `associate-l/_binary64_11615` `prod-exp_binary64_9334` `cbrt-unprod_binary64_19548` `associate-l/_binary64_9910` `cbrt-div_binary64_17160` `prod-exp_binary64_15131`
37×	`rec-exp_binary64_17519` `add-exp-log_binary64_22963` `pow-exp_binary64_12763` `add-log-exp_binary64_13075` `associate-l/_binary64_15366` `associate-l_binary64_18433` `associate-/r_binary64_9911` `1-exp_binary64_17513` `frac-times_binary64_2134` `cbrt-unprod_binary64_14433` `sqrt-prod_binary64_4186` `distribute-lft-out_binary64_20830` `associate-l_binary64_6498` `associate-*r/_binary64_3771`
36×	`cbrt-undiv_binary64_19549` `cbrt-unprod_binary64_15456` `-un-lft-identity_binary64_23607` `add-exp-log_binary64_23986` `times-frac_binary64_7927` `log-prod_binary64_11417` `-un-lft-identity_binary64_4511` `flip-+_binary64_9259` `flip3-+_binary64_9288` `associate-l_binary64_1042` `associate-l_binary64_4793` `pow-to-exp_binary64_12764` `frac-add_binary64_427` `sub-neg_binary64_7573` `sqrt-div_binary64_3846` `add-cbrt-cube_binary64_23984` `associate-/l_binary64_17755` `add-cube-cbrt_binary64_4546` `add-log-exp_binary64_6596` `associate-/l_binary64` `difference-of-squares_binary64_13687` `log-pow_binary64_167` `swap-sqr_binary64_386` `cbrt-prod_binary64_8293` `frac-sub_binary64_10658`
35×	`flip3-+_binary64_10993` `distribute-lft-in_binary64_15713` `add-cbrt-cube_binary64_796` `swap-sqr_binary64_5501` `cbrt-div_binary64_15114` `flip3--_binary64_9630` `flip--_binary64_16762` `div-exp_binary64_14792` `add-exp-log_binary64_798` `flip3--_binary64_16791` `pow1_binary64_7982` `flip--_binary64_9601` `associate-+r+_binary64_8876` `pow1_binary64_24009` `associate-r_binary64_22865` `pow1/3_binary64_2547` `flip-+_binary64_10964` `distribute-rgt-in_binary64_15714` `cbrt-prod_binary64_13408` `pow-prod-down_binary64_17199` `sqrt-prod_binary64_94`
34×	`associate-r_binary64_1382` `cancel-sign-sub-inv_binary64_18799` `cbrt-undiv_binary64_18867` `associate-l_binary64_1383` `associate-r_binary64_21501` `associate-l/_binary64_9569` `unswap-sqr_binary64_1751` `pow1/3_binary64_8685` `associate-+l+_binary64_12628` `cbrt-unprod_binary64_15115` `cbrt-undiv_binary64_13752` `flip-+_binary64_17102` `frac-times_binary64_18843` `pow-prod-down_binary64_11402` `cbrt-prod_binary64_13749` `associate-+r+_binary64_351` `cbrt-undiv_binary64_10683` `flip3-+_binary64_17131` `unswap-sqr_binary64_9594` `sqrt-prod_binary64_8619` `cbrt-div_binary64_4543` `-commutative_binary64_21151` `sqrt-div_binary64_14076` `add-log-exp_binary64_2845`
33×	`distribute-lft-out_binary64_8213` `div-exp_binary64_4903` `div-exp_binary64_2175` `pow1_binary64_6959` `sqrt-pow1_binary64_12372` `div-exp_binary64_7290` `cbrt-unprod_binary64_8636` `cbrt-unprod_binary64_20230` `cbrt-prod_binary64_11021` `prod-exp_binary64_8652` `associate-l_binary64_22525` `add-exp-log_binary64_8300` `associate-r/_binary64_2407` `cancel-sign-sub-inv_binary64_16071` `associate-/l_binary64_2069` `sub-neg_binary64_16098` `associate-l_binary64_3770` `associate-*r/_binary64_4794` `div-inv_binary64_16784` `unswap-sqr_binary64_46` `swap-sqr_binary64_45` `associate-/r/_binary64_2070`
32×	`add-cbrt-cube_binary64` `unswap-sqr_binary64_11640` `pow-prod-down_binary64_490` `flip3-+_binary64_11675` `associate-r/_binary64_11273` `add-log-exp_binary64_22623` `add-exp-log_binary64_7959` `pow-prod-down_binary64_3559` `associate-/r/_binary64_9572` `frac-times_binary64_8954` `flip-+_binary64_11646` `associate-l_binary64_22184` `associate-/l_binary64_14686` `associate-/r_binary64_9570` `associate-l/_binary64_21163` `add-log-exp_binary64_7960` `cbrt-unprod_binary64_4885` `sqrt-div_binary64_4187` `div-exp_binary64_12405` `flip-+_binary64_18807` `add-log-exp_binary64_22964` `cbrt-unprod_binary64_9318` `flip3-+_binary64_18836` `associate-r_binary64_20478` `sqrt-pow1_binary64` `cbrt-div_binary64_110` `swap-sqr_binary64_1750` `add-exp-log_binary64`
31×	`flip-+_binary64_1757` `sqrt-prod_binary64_5891` `flip-+_binary64_13692` `flip3-+_binary64_15426` `cancel-sign-sub-inv_binary64_7887` `flip3-+_binary64_1786` `pow1_binary64_23668` `div-exp_binary64_1152` `associate-/l_binary64_20142` `frac-times_binary64_21571` `add-cbrt-cube_binary64_22961` `pow1/3_binary64_1524` `add-log-exp_binary64_3186` `add-cbrt-cube_binary64_23643` `flip3-+_binary64_13721` `pow1/3_binary64_6639` `associate--r+_binary64_10585` `associate-r_binary64_12294` `associate-/l_binary64_11617` `associate-/r_binary64_1045` `associate-l/_binary64_2067` `flip3--_binary64_14745` `flip--_binary64_14716` `add-exp-log_binary64_23645` `flip-+_binary64_15397`
30×	`prod-exp_binary64_16154` `associate-/l_binary64_11276` `associate-r/_binary64_4453` `associate-/l/_binary64_22531` `unswap-sqr_binary64_17096` `cbrt-div_binary64_14432` `associate-r_binary64_6156` `add-cbrt-cube_binary64_7957` `associate-/r*_binary64_8206` `pow-prod-down_binary64_1854` `cbrt-unprod_binary64_16138` `flip-+_binary64_1416` `div-inv_binary64_10987` `flip3-+_binary64_1445` `frac-times_binary64_20548`
29×	`unswap-sqr_binary64_10617` `log-pow_binary64_9033` `cbrt-unprod_binary64_4203` `associate-l/_binary64_16730` `associate-r_binary64_9225` `cbrt-undiv_binary64_19890` `flip--_binary64_14034` `cbrt-unprod_binary64_452` `associate-/l_binary64_7184` `associate-/r_binary64_8547` `prod-exp_binary64_4219` `add-exp-log_binary64_23304` `distribute-lft-in_binary64_3778` `distribute-lft-out_binary64_8895` `associate-r/_binary64_21503` `flip3--_binary64_14063` `times-frac_binary64_18498` `associate-r_binary64_24229` `prod-exp_binary64_468` `associate-/r_binary64_2409` `distribute-lft-in_binary64_8893` `associate-/r/_binary64_2752` `pow1_binary64_4572` `pow1_binary64_6277` `associate-/l_binary64_16391` `distribute-rgt-in_binary64_8894` `associate-l/_binary64_21` `cbrt-undiv_binary64_12729` `div-inv_binary64_20876` `associate-/l_binary64_20483` `div-exp_binary64_19907` `associate-r_binary64_700` `distribute-rgt-in_binary64_3779`
28×	`pow1_binary64_22986` `sqrt-div_binary64_9643` `distribute-lft-in_binary64_21169` `swap-sqr_binary64_3796` `distribute-lft-out_binary64_20489` `flip-+_binary64_14033` `times-frac_binary64_766` `distribute-rgt-in_binary64_10599` `div-inv_binary64_3144` `distribute-rgt-in_binary64_10940` `distribute-lft-in_binary64_10939` `distribute-rgt-in_binary64_21170` `sqrt-prod_binary64_19872` `cbrt-undiv_binary64_20231` `pow1_binary64_821` `flip-+_binary64_8918` `associate-/r/_binary64_20825` `flip3-+_binary64_14062` `distribute-lft-in_binary64_10598` `add-log-exp_binary64_13416` `cbrt-unprod_binary64_1816` `prod-exp_binary64_1832` `div-inv_binary64_9964` `swap-sqr_binary64_7206` `flip3-+_binary64_8947` `cbrt-prod_binary64_5906`
27×	`unswap-sqr_binary64_19483` `add-exp-log_binary64_24327` `associate-/r_binary64_4796` `flip-+_binary64_10282` `associate-/r_binary64_1727` `flip-+_binary64_3462` `associate-/l/_binary64_15029` `flip3--_binary64_19178` `cube-prod_binary64_106` `flip--_binary64_21195` `exp-sum_binary64_2511` `flip3--_binary64_21224` `unswap-sqr_binary64_387` `pow-prod-down_binary64_12425` `cancel-sign-sub-inv_binary64_21186` `associate-r/_binary64_11614` `cancel-sign-sub-inv_binary64_5841` `associate-/r/_binary64_1047` `distribute-lft-out--_binary64_8555` `unpow-prod-down_binary64_157` `associate-/r_binary64_10934` `unswap-sqr_binary64_3456` `flip--_binary64_19149` `cancel-sign-sub-inv_binary64_17776` `add-cbrt-cube_binary64_23302` `distribute-rgt-in_binary64_11281` `prod-exp_binary64_14790` `flip3-+_binary64_3491` `distribute-lft-in_binary64_11280` `associate-/r/_binary64_11618` `flip3-+_binary64_10311` `distribute-lft-out--_binary64_23218`
26×	`cbrt-undiv_binary64_22277` `flip3--_binary64_18155` `associate-/l/_binary64_11960` `div-inv_binary64_20194` `pow-prod-down_binary64` `frac-sub_binary64_15432` `unswap-sqr_binary64_13004` `difference-of-squares_binary64_23235` `associate-/r_binary64_5137` `associate-/r/_binary64_24576` `cbrt-div_binary64_1815` `unswap-sqr_binary64_13686` `swap-sqr_binary64_1409` `add-log-exp_binary64_1140` `1-exp_binary64_11034` `prod-exp_binary64_1150` `pow1/3_binary64_9708` `associate-l/_binary64_21504` `unpow-prod-down_binary64_19594` `add-cbrt-cube_binary64_6252` `pow1/3_binary64_160` `prod-exp_binary64_18882` `cbrt-prod_binary64_19546` `pow1/3_binary64_10390` `flip--_binary64_18126` `cbrt-undiv_binary64_14775` `rec-exp_binary64_11040` `sub-neg_binary64_19167` `unpow-prod-down_binary64_12774`
25×	`associate-r/_binary64_5135` `frac-times_binary64_4862` `associate-l/_binary64_11274` `unswap-sqr_binary64_2092` `cbrt-prod_binary64_4201` `add-cbrt-cube_binary64_24325` `flip--_binary64_13693` `add-cbrt-cube_binary64_8298` `unswap-sqr_binary64_19142` `unswap-sqr_binary64_16073` `associate-/l/_binary64_15370` `cbrt-unprod_binary64_14092` `flip--_binary64_11647` `pow1_binary64_22304` `associate-/r/_binary64_18097` `associate-/r*_binary64_10593` `cbrt-prod_binary64_20569` `cbrt-prod_binary64_17500` `unswap-sqr_binary64_7548` `sqrt-div_binary64_1800` `diff-log_binary64_511` `cbrt-div_binary64_10340` `flip3--_binary64_11676` `pow1_binary64_21963` `flip-+_binary64_4144` `flip3-+_binary64_4173` `flip3-+_binary64_1104` `pow-prod-down_binary64_13789` `sub-neg_binary64_20190` `flip3--_binary64_13722` `pow-prod-down_binary64_10720` `div-inv_binary64_7236` `flip-+_binary64_1075` `prod-exp_binary64_14108` `add-log-exp_binary64_6937`
24×	`cbrt-unprod_binary64_5567` `distribute-rgt-in_binary64_15373` `unpow-prod-down_binary64_17207` `distribute-lft-in_binary64_13326` `div-exp_binary64_24681` `-commutative_binary64_19787` `associate-r_binary64_7861` `sqrt-div_binary64_3164` `cancel-sign-sub-inv_binary64_13343` `cancel-sign-sub-inv_binary64_726` `cancel-sign-sub-inv_binary64_13002` `associate-r/_binary64_11955` `associate-/r/_binary64_16733` `cbrt-prod_binary64_10680` `exp-sum_binary64_3875` `add-log-exp_binary64_4550` `frac-add_binary64_8952` `frac-add_binary64_10657` `frac-times_binary64_3839` `prod-exp_binary64_5583` `associate-l/_binary64_17071` `sqrt-prod_binary64_18849` `distribute-lft-in_binary64_15372` `associate-+r+_binary64_12627` `clear-num_binary64_12012` `flip3-+_binary64_16108` `add-exp-log_binary64_4549` `cancel-sign-sub-inv_binary64_14025` `distribute-rgt-neg-in_binary64_14017` `associate-r/_binary64` `frac-sub_binary64_428` `add-cube-cbrt_binary64_23642` `flip3-+_binary64_763` `prod-exp_binary64_21610` `associate-r_binary64_24570` `flip-+_binary64_734` `cbrt-unprod_binary64_21594` `associate-r/_binary64_6499` `associate-+l+_binary64_10241` `prod-exp_binary64_16495` `associate-/l_binary64_10253` `div-inv_binary64_10646` `unswap-sqr_binary64_17778` `flip--_binary64_13352` `frac-2neg_binary64_12024` `log-prod_binary64_19601` `distribute-lft-out_binary64_711` `sqrt-prod_binary64_18508` `flip-+_binary64_16079` `cbrt-undiv_binary64_24664` `flip3--_binary64_13381` `distribute-rgt-in_binary64_13327` `div-exp_binary64_16497` `distribute-lft-neg-in_binary64_14016`
23×	`flip3--_binary64_19519` `difference-of-squares_binary64_11300` `unswap-sqr_binary64_2433` `flip-+_binary64_12328` `cbrt-unprod_binary64_14774` `flip-+_binary64_16761` `associate-/l_binary64_13663` `pow-prod-down_binary64_20268` `associate-/l_binary64_16050` `-commutative_binary64_18423` `unswap-sqr_binary64_8571` `pow1_binary64_23327` `unswap-sqr_binary64_5161` `add-log-exp_binary64_24669` `swap-sqr_binary64_8570` `associate-l/_binary64_18776` `unswap-sqr_binary64_14709` `associate-l_binary64_6839` `distribute-lft-out--_binary64_11283` `distribute-lft-in_binary64_13667` `pow-prod-down_binary64_21632` `flip3--_binary64_15768` `cancel-sign-sub-inv_binary64_7205` `flip3-+_binary64_16790` `flip--_binary64_15739` `associate-r/_binary64_17070` `difference-of-squares_binary64_8572` `pow-prod-down_binary64_16176` `associate-/l_binary64_2410` `prod-exp_binary64_3537` `sub-neg_binary64_2458` `div-inv_binary64_13715` `pow1/3_binary64_3911` `distribute-rgt-in_binary64_13668` `frac-2neg_binary64_13047` `flip--_binary64_19490` `associate-r/_binary64_13319` `-commutative_binary64_16036` `associate-/l*_binary64_1387` `associate-/l/_binary64_18098` `clear-num_binary64_13035` `pow-unpow_binary64_12772` `flip3-+_binary64_12357` `pow1/3_binary64_9026`
22×	`associate-/l_binary64_2751` `associate-r/_binary64_10250` `distribute-lft-out--_binary64_7873` `flip-+_binary64_2439` `associate-/l/_binary64_18780` `prod-exp_binary64_22633` `distribute-lft-in_binary64_3096` `difference-of-squares_binary64_5844` `-commutative_binary64_7511` `unpow-prod-down_binary64_5954` `distribute-rgt-in_binary64_4802` `difference-of-squares_binary64_19484` `associate-/r/_binary64_20143` `flip-+_binary64_9941` `-commutative_binary64_9557` `cube-prod_binary64_5903` `cbrt-undiv_binary64_2158` `associate-l_binary64_20479` `cbrt-unprod_binary64_22617` `distribute-lft-out--_binary64_3781` `distribute-lft-in_binary64_4801` `distribute-rgt-in_binary64_3097` `flip--_binary64_53` `associate-l/_binary64_14343` `sum-log_binary64_2215` `associate-/r/_binary64_9913` `div-exp_binary64_10359` `flip3-+_binary64_9970` `unswap-sqr_binary64_17437` `sub-neg_binary64_21554` `flip3-+_binary64_2468` `flip3--_binary64_82` `associate-l/_binary64_20481` `distribute-lft-out--_binary64_5486` `pow-plus_binary64_5597`
21×	`-commutative_binary64_350` `pow-prod-down_binary64_8674` `cbrt-div_binary64_9317` `flip3--_binary64_20883` `times-frac_binary64_17134` `associate-r_binary64` `associate-/r/_binary64_21848` `sum-log_binary64_1533` `cbrt-unprod_binary64_3521` `associate-l/_binary64_22527` `cancel-sign-sub-inv_binary64` `cancel-sign-sub-inv_binary64_44` `pow-prod-up_binary64_14811` `flip--_binary64_13011` `add-cbrt-cube_binary64_4547` `flip--_binary64_20854` `cbrt-undiv_binary64_12388` `pow1/3_binary64_7662` `distribute-rgt-out_binary64_12989` `cancel-sign-sub-inv_binary64_12661` `pow-prod-down_binary64_18222` `associate-+r+_binary64_7512` `associate-/r_binary64_21505` `frac-times_binary64_3157` `frac-times_binary64_11682` `associate-l_binary64_22866` `unswap-sqr_binary64_11981` `sqrt-prod_binary64_20895` `flip3--_binary64_13040` `unpow3_binary64_13102` `-commutative_binary64_12626` `associate-/r/_binary64_17756` `sum-log_binary64_20288` `add-log-exp_binary64_21941` `distribute-lft-out--_binary64_13670` `-commutative_binary64_15695` `pow1/3_binary64_2206` `cbrt-undiv_binary64_4886` `associate-/l_binary64_1046` `associate-l/_binary64_13320` `associate-/r_binary64_3773`
20×	`flip--_binary64_10965` `unswap-sqr_binary64_2774` `frac-2neg_binary64_19185` `distribute-lft-out_binary64_8554` `unswap-sqr_binary64_15732` `flip3--_binary64_10994` `cube-prod_binary64_7949` `pow1_binary64_24691` `pow-prod-down_binary64_3900` `associate-l_binary64_23207` `unswap-sqr_binary64_21188` `associate-*r/_binary64_19457` `frac-2neg_binary64_14070` `flip3-+_binary64_17813` `cbrt-div_binary64_7953` `distribute-lft-in_binary64_22533` `pow1/3_binary64_5275` `unswap-sqr_binary64_20847` `distribute-rgt-in_binary64_22534` `flip-+_binary64_16420` `prod-exp_binary64_2514` `flip-+_binary64_17784` `flip3-+_binary64_16449` `unswap-sqr_binary64_18801` `clear-num_binary64_19173` `unswap-sqr_binary64_3797` `pow1/2_binary64_3909` `clear-num_binary64_14058` `sqrt-pow1_binary64_3847` `flip3-+_binary64_23269` `sqrt-div_binary64_18509` `pow-prod-down_binary64_2536` `div-exp_binary64_5926` `cancel-sign-sub-inv_binary64_4818` `cbrt-unprod_binary64_18866` `unpow-prod-down_binary64_8000` `flip-+_binary64_23240`
19×	`frac-2neg_binary64_14411` `prod-exp_binary64_6265` `-commutative_binary64_9` `associate-/l_binary64_9571` `pow-prod-down_binary64_4923` `associate-/r_binary64_6842` `sum-log_binary64_9035` `unswap-sqr_binary64_10958` `flip3-+_binary64_24633` `pow-prod-down_binary64_11743` `pow1_binary64_24350` `div-exp_binary64_17179` `sub-neg_binary64_19508` `unswap-sqr_binary64_22893` `sub-neg_binary64_17462` `times-frac_binary64_23954` `cbrt-div_binary64_6589` `flip-+_binary64_24604` `associate-r/_binary64_17411` `-commutative_binary64_17059` `-commutative_binary64_10921` `clear-num_binary64_14399` `pow-prod-up_binary64_19244` `associate-l_binary64_16387` `associate-r/_binary64_14001` `sqrt-prod_binary64_12711` `frac-times_binary64_11341` `associate-+r+_binary64_20129` `unswap-sqr_binary64_20165` `sub-neg_binary64_21213` `associate-l_binary64_24230` `distribute-lft-out_binary64_18102` `sub-neg_binary64_15757` `-commutative_binary64_19105` `flip3--_binary64_2469` `flip--_binary64_2440` `cbrt-undiv_binary64_17162` `unpow-prod-down_binary64_6295` `distribute-lft-out_binary64_22535` `add-log-exp_binary64` `associate-/r/_binary64_13664` `cbrt-div_binary64_23298` `div-exp_binary64_3198` `-commutative_binary64_11262` `frac-times_binary64_15092` `pow1/3_binary64_17210` `div-inv_binary64_10305` `pow1/3_binary64_14823` `associate-l*_binary64_7862` `cancel-sign-sub-inv_binary64_15730` `sub-neg_binary64_412`
18×	`cube-div_binary64_15452` `-commutative_binary64_2055` `associate-r/_binary64_18775` `swap-sqr_binary64_18800` `sum-log_binary64_8694` `sqrt-div_binary64_5210` `cbrt-div_binary64_11704` `pow-prod-down_binary64_19586` `div-inv_binary64_2121` `sum-log_binary64_851` `cbrt-div_binary64_6930` `associate-r/_binary64_4112` `cbrt-unprod_binary64_2498` `div-exp_binary64_2516` `associate-l_binary64` `distribute-rgt-in_binary64_710` `associate-l_binary64_23548` `flip3-+_binary64_5196` `sqrt-div_binary64_13735` `associate-/l_binary64_16732` `pow1/3_binary64_4593` `flip-+_binary64_5167` `unpow-prod-down_binary64_21299` `cbrt-div_binary64_20229` `flip3--_binary64_12017` `associate-l_binary64_701` `rec-exp_binary64_10699` `unswap-sqr_binary64_3115` `cancel-sign-sub-inv_binary64_11638` `associate-/l/_binary64_14006` `associate-r_binary64_23547` `cancel-sign-sub-inv_binary64_20845` `pow-prod-down_binary64_15153` `flip--_binary64_11988` `unswap-sqr_binary64_14027` `unpow-prod-down_binary64_8682` `associate--l+_binary64_356` `distribute-lft-in_binary64_709` `swap-sqr_binary64_19823` `distribute-lft-in_binary64_22192` `-commutative_binary64_13649` `swap-sqr_binary64_22892` `difference-of-sqr-1_binary64_20849` `cbrt-div_binary64_13750` `prod-exp_binary64_5242` `flip--_binary64_21877` `pow-unpow_binary64_496` `div-exp_binary64_22635` `cbrt-div_binary64_8294` `cbrt-undiv_binary64_10342` `sqr-pow_binary64_12326` `associate-r/_binary64_361` `cancel-sign-sub-inv_binary64_15048` `flip3--_binary64_21906` `1-exp_binary64_10693` `cbrt-div_binary64_19206` `diff-log_binary64_9718` `distribute-rgt-in_binary64_22193` `div-inv_binary64_16443` `associate-/r/_binary64_7185` `add-log-exp_binary64_23646`
17×	`pow2_binary64_5615` `flip-+_binary64_4485` `1-exp_binary64_19559` `flip3--_binary64_10653` `flip3-+_binary64_8606` `swap-sqr_binary64_15049` `pow1/3_binary64_11754` `prod-exp_binary64_3878` `flip-+_binary64` `pow-prod-up_binary64_12765` `flip-+_binary64_8577` `associate-l/_binary64_12638` `div-exp_binary64_8654` `flip--_binary64_10624` `pow1/2_binary64_12775` `clear-num_binary64_18832` `cbrt-undiv_binary64_7273` `add-log-exp_binary64_22282` `rec-exp_binary64_19565` `associate-l/_binary64_15025` `sqrt-prod_binary64_5209` `pow1_binary64_8323` `div-inv_binary64_4849` `add-log-exp_binary64_6255` `prod-exp_binary64_21951` `cbrt-undiv_binary64_8637` `flip3-+_binary64` `pow-prod-down_binary64_20950` `associate-/r_binary64_5819` `associate-/l_binary64_9912` `flip3--_binary64_1446` `pow-prod-down_binary64_17881` `cbrt-prod_binary64_16477` `flip3-+_binary64_4514` `unswap-sqr_binary64_12663` `cbrt-undiv_binary64_16480` `sum-log_binary64_2556` `sum-log_binary64_4943` `sqr-pow_binary64_19828` `-commutative_binary64_9898` `pow-prod-up_binary64_15493` `frac-2neg_binary64_18844` `flip3--_binary64_21565` `flip--_binary64_1417` `associate-/l/_binary64_14347` `sum-log_binary64_5966` `swap-sqr_binary64_17095` `flip--_binary64_21536` `associate-/l_binary64_12640`
16×	`pow-to-exp_binary64_19925` `unswap-sqr_binary64_8912` `sqrt-div_binary64_8620` `associate-r/_binary64_2066` `sqrt-pow1_binary64_7598` `distribute-rgt-in_binary64_17760` `flip3-+_binary64_4855` `unswap-sqr_binary64_9935` `distribute-lft-in_binary64_17759` `frac-times_binary64_429` `flip3-+_binary64_7242` `associate-+r+_binary64_18765` `flip-+_binary64_4826` `associate-/r/_binary64_6844` `difference-of-squares_binary64_729` `associate--r+_binary64_9562` `sum-log_binary64_12786` `unswap-sqr_binary64_7207` `sqrt-div_binary64_18850` `associate-/l/_binary64_11619` `associate-/l/_binary64_19121` `associate-l_binary64_6157` `cbrt-undiv_binary64_22618` `add-log-exp_binary64_24328` `associate-r/_binary64_20821` `associate-/l/_binary64_16734` `sum-log_binary64_15855` `distribute-rgt-in_binary64_18783` `associate-/l_binary64_6843` `cbrt-unprod_binary64_5226` `flip3--_binary64_5879` `associate-+l+_binary64_7513` `cancel-sign-sub-inv_binary64_20504` `sqrt-div_binary64` `div-inv_binary64_9623` `associate-/r_binary64_24233` `distribute-rgt-in_binary64_16737` `associate-+r+_binary64_17742` `distribute-lft-in_binary64_18782` `swap-sqr_binary64_24256` `associate-/r_binary64_19800` `frac-2neg_binary64_18162` `-commutative_binary64_11603` `unswap-sqr_binary64_18119` `pow1/3_binary64_10049` `distribute-lft-out_binary64_7872` `associate-/r/_binary64_22530` `associate-+r+_binary64_19106` `cbrt-prod_binary64_21251` `unswap-sqr_binary64_15050` `frac-times_binary64_10659` `associate-r/_binary64_702` `sqrt-div_binary64_17145` `cancel-sign-sub-inv_binary64_14707` `swap-sqr_binary64_2432` `clear-num_binary64_18150` `difference-of-sqr--1_binary64_14030` `associate-+l+_binary64_20130` `pow-pow_binary64_19928` `cbrt-undiv_binary64_20572` `add-log-exp_binary64_23305` `sqrt-div_binary64_5892` `unswap-sqr_binary64_1410` `frac-times_binary64_17479` `flip-+_binary64_5849` `frac-2neg_binary64_9296` `associate-r/_binary64_15024` `sqrt-div_binary64_15440` `-commutative_binary64_16718` `flip-+_binary64_7213` `clear-num_binary64_9284` `flip--_binary64_5850` `pow-exp_binary64_19924` `associate-l/_binary64_17412` `flip3-+_binary64_5878` `distribute-lft-in_binary64_16736`
15×	`distribute-rgt-in_binary64_11622` `frac-2neg_binary64_15093` `associate-/l_binary64_21847` `swap-sqr_binary64_8911` `unpow-prod-down_binary64_2203` `cancel-sign-sub-inv_binary64_23573` `clear-num_binary64_15422` `prod-exp_binary64_10357` `pow-prod-down_binary64_24019` `times-frac_binary64_15770` `cbrt-unprod_binary64_10341` `prod-exp_binary64_23997` `distribute-lft-out_binary64_9577` `flip--_binary64_5509` `difference-of-squares_binary64_12664` `flip3-+_binary64_15767` `div-inv_binary64_23263` `cbrt-unprod_binary64_3862` `div-inv_binary64_2803` `frac-2neg_binary64_17480` `distribute-rgt-out_binary64_20491` `times-frac_binary64_4176` `pow1/3_binary64_18915` `pow-prod-down_binary64_5264` `prod-exp_binary64_7288` `associate-/r/_binary64_19461` `pow1/3_binary64_16869` `cbrt-unprod_binary64_23981` `unswap-sqr_binary64_22552` `clear-num_binary64_15081` `cbrt-undiv_binary64_16139` `flip-+_binary64_15738` `cbrt-undiv_binary64_3181` `associate-l/_binary64_3090` `sqr-pow_binary64_2437` `frac-times_binary64_14410` `flip3-+_binary64_422` `div-exp_binary64_16156` `cbrt-unprod_binary64_7272` `unswap-sqr_binary64_10276` `associate-/r_binary64` `distribute-lft-in_binary64_11621` `flip3-+_binary64_21564` `pow1/3_binary64_15846` `pow-prod-down_binary64_13107` `distribute-rgt-out--_binary64_12990` `cancel-sign-sub-inv_binary64_6523` `clear-num_binary64_17468` `-commutative_binary64_1714` `-commutative_binary64_2396` `pow-sqr_binary64_14714` `associate-r/_binary64_14342` `swap-sqr_binary64_4137` `associate-/r/_binary64_16392` `associate-/r_binary64_13321` `flip3--_binary64_5538` `cube-prod_binary64_12041` `sqrt-prod_binary64_10665` `cbrt-div_binary64_2156` `pow-prod-down_binary64_12084` `swap-sqr_binary64_2091` `pow1/3_binary64_19938` `associate-/r/_binary64_2411` `flip-+_binary64_393` `div-inv_binary64_16102` `frac-2neg_binary64_15434` `flip-+_binary64_21535` `associate-r/_binary64_3089`
14×	`frac-times_binary64_13728` `cancel-sign-sub-inv_binary64_3795` `sub-neg_binary64_16780` `-commutative_binary64_20128` `associate-r/_binary64_7181` `sub-neg_binary64_5527` `sub-neg_binary64_8937` `associate-/l/_binary64_17757` `pow-prod-down_binary64_17540` `associate-/l_binary64_8207` `unswap-sqr_binary64_15391` `pow1/2_binary64_14821` `unswap-sqr_binary64_1069` `div-exp_binary64_21953` `pow-exp_binary64_12422` `clear-num_binary64_17809` `div-exp_binary64_10018` `associate-r/_binary64_1384` `flip--_binary64_17103` `flip3--_binary64_17132` `associate-+l+_binary64_19448` `distribute-lft-neg-in_binary64_12993` `cbrt-unprod_binary64_24663` `cbrt-unprod_binary64_16479` `unpow-prod-down_binary64_5272` `div-inv_binary64_24286` `associate-r/_binary64_18093` `pow1/2_binary64_19254` `pow1/3_binary64_6298` `distribute-rgt-neg-in_binary64_12994` `unswap-sqr_binary64_4820` `associate-/l_binary64_5138` `associate-/r/_binary64_3775` `pow-prod-down_binary64_18904` `pow-prod-up_binary64_3899` `prod-exp_binary64_5924` `associate-/l_binary64_24575` `associate-/r/_binary64_10254` `pow-prod-down_binary64_14471` `distribute-lft-out_binary64_17079` `frac-2neg_binary64_17821` `associate-r/_binary64_12637` `pow1/2_binary64_15503` `prod-exp_binary64_24679` `*-commutative_binary64_6488` `prod-exp_binary64_22292` `sub-neg_binary64_2117`
13×	`associate-/r/_binary64_1729` `associate-r_binary64_23206` `div-exp_binary64_1834` `associate-/r_binary64_22528` `pow1/2_binary64_12434` `frac-add_binary64_17477` `pow-sqr_binary64_19147` `cube-prod_binary64_16474` `distribute-rgt-in_binary64_7189` `distribute-lft-out--_binary64_8896` `distribute-lft-out--_binary64_9237` `sum-log_binary64_19265` `div-inv_binary64_24627` `unpow-prod-down_binary64_16525` `sqrt-prod_binary64_13734` `associate-+l+_binary64_8877` `frac-times_binary64_11000` `clear-num_binary64_12353` `pow-prod-up_binary64_3558` `sub-neg_binary64_13711` `flip3-+_binary64_2127` `flip3-+_binary64_6901` `-commutative_binary64_10580` `cbrt-prod_binary64_14090` `unswap-sqr_binary64_4138` `frac-times_binary64_3498` `unpow-prod-down_binary64_4590` `difference-of-sqr-1_binary64_389` `-commutative_binary64_19446` `div-sub_binary64_15087` `sum-log_binary64_510` `frac-2neg_binary64_12365` `associate-/r/_binary64_16051` `distribute-lft-out_binary64_1734` `flip--_binary64_735` `flip-+_binary64_6872` `flip3--_binary64_764` `associate-+l+_binary64_11264` `cbrt-undiv_binary64_2840` `sum-log_binary64_19606` `flip-+_binary64_2098` `associate-l_binary64_9226` `div-exp_binary64_2857` `cbrt-undiv_binary64_5909` `unpow-prod-down_binary64_22663` `div-inv_binary64_22581` `sqrt-prod_binary64_17826` `sub-neg_binary64_9619` `pow-sqr_binary64_3461` `cube-prod_binary64_22612` `associate-l/_binary64_4795` `associate-/l_binary64_1728` `flip--_binary64_6873` `swap-sqr_binary64_22551` `distribute-lft-in_binary64_7188` `div-inv_binary64_75` `swap-sqr_binary64_10275` `-commutative_binary64_5465` `-commutative_binary64_8875` `flip3--_binary64_6902` `diff-log_binary64_17561` `cbrt-undiv_binary64_1135` `associate-r/_binary64_18434`
12×	`flip-+_binary64_22899` `associate-r/_binary64_21844` `prod-exp_binary64_3196` `clear-num_binary64_24629` `rec-exp_binary64_12063` `swap-sqr_binary64_6524` `difference-of-squares_binary64_12323` `distribute-rgt-in_binary64_14009` `flip3-+_binary64_7924` `flip--_binary64_6532` `associate-r/_binary64_19798` `prod-exp_binary64_23656` `cbrt-unprod_binary64_5908` `distribute-rgt-in_binary64_9576` `div-inv_binary64_22922` `cbrt-div_binary64_21252` `div-inv_binary64_1780` `frac-times_binary64_1452` `-commutative_binary64_4101` `pow-unpow_binary64_155` `flip-+_binary64_11305` `associate-r/_binary64_22185` `associate-/l/_binary64_3094` `flip-+_binary64_7895` `frac-add_binary64_2473` `pow-prod-down_binary64_10379` `-commutative_binary64_14331` `clear-num_binary64_19514` `flip3--_binary64_6561` `associate-l_binary64_23889` `rec-exp_binary64_20588` `distribute-lft-in_binary64_15031` `flip3-+_binary64_8265` `associate-r/_binary64_1725` `sum-log_binary64_20970` `cancel-sign-sub-inv_binary64_22891` `frac-2neg_binary64_24641` `-commutative_binary64_18082` `associate-/r/_binary64_13323` `sqrt-pow1_binary64_17146` `associate-/l/_binary64_2753` `flip--_binary64_7214` `clear-num_binary64_20878` `rem-sqrt-square_binary64_11003` `cbrt-div_binary64_15796` `distribute-lft-in_binary64_9575` `associate-/r_binary64_17072` `rec-exp_binary64_1151` `1-exp_binary64_12057` `cbrt-undiv_binary64_1476` `difference-of-sqr-1_binary64_5504` `cbrt-unprod_binary64_23640` `div-exp_binary64_9677` `cbrt-unprod_binary64_3180` `associate-+r+_binary64_10581` `1-exp_binary64_1145` `frac-times_binary64_770` `associate-/r/_binary64_1388` `frac-sub_binary64_14409` `cancel-sign-sub-inv_binary64_21868` `cbrt-unprod_binary64_1134` `swap-sqr_binary64_13003` `difference-of-squares_binary64_7549` `distribute-rgt-in_binary64_7871` `flip-+_binary64_8236` `unpow-prod-down_binary64_9023` `associate-/r_binary64_12639` `pow1/3_binary64_15164` `sqrt-pow1_binary64_11008` `pow-flip_binary64_10723` `unswap-sqr_binary64_6525` `pow1/3_binary64_13800` `sqrt-prod_binary64_16462` `pow1/3_binary64_22666` `times-frac_binary64_8950` `distribute-lft-in_binary64_7870` `-commutative_binary64_5124` `associate-/r/_binary64_23212` `unswap-sqr_binary64_6184` `distribute-lft-in_binary64_14008` `frac-2neg_binary64_20890` `sub-neg_binary64_18826` `sum-log_binary64_9717` `prod-exp_binary64_12403` `associate-l_binary64_21843` `flip3-+_binary64_11334` `associate-+r+_binary64_10240` `cancel-sign-sub-inv_binary64_11297` `flip3-+_binary64_22928` `distribute-lft-out--_binary64_2417` `associate--l+_binary64_11268` `associate-l/_binary64_3772` `frac-2neg_binary64_19526` `distribute-rgt-in_binary64_15032` `swap-sqr_binary64_7547` `div-exp_binary64_1493` `cancel-sign-sub-inv_binary64_18117` `div-exp_binary64_8313` `flip3--_binary64_7243` `pow-prod-down_binary64_23678` `sqr-pow_binary64_391` `1-exp_binary64_20582` `div-inv_binary64_1098` `associate-/l_binary64_3774` `pow1/2_binary64` `cbrt-prod_binary64_18523` `associate-/l/_binary64_20826`
11×	`associate-/l_binary64_13322` `frac-sub_binary64_15091` `-commutative_binary64_20810` `div-sub_binary64_14405` `sum-log_binary64_10740` `pow-exp_binary64_12081` `frac-2neg_binary64_13729` `add-log-exp_binary64_23987` `associate-l/_binary64_19458` `sub-neg_binary64_7232` `sqrt-pow1_binary64_4188` `difference-of-squares_binary64_2434` `sub-neg_binary64_12006` `associate-l/_binary64_11956` `frac-2neg_binary64_20208` `-commutative_binary64_17741` `sub-neg_binary64_10642` `clear-num_binary64_20196` `-commutative_binary64_13308` `div-inv_binary64_3485` `diff-log_binary64_16879` `div-inv_binary64_21899` `div-inv_binary64_21558` `pow1/2_binary64_17208` `sub-neg_binary64_12688` `diff-log_binary64_12105` `distribute-lft-out_binary64_22876` `distribute-lft-out--_binary64_7532` `pow1/3_binary64_20620` `frac-add_binary64_19182` `sqrt-pow1_binary64_96` `clear-num_binary64_10989` `diff-log_binary64_5967` `clear-num_binary64_10648` `sub-neg_binary64_17803` `clear-num_binary64_11671` `frac-2neg_binary64_10660` `pow1/2_binary64_4250` `pow1/3_binary64_2888` `-commutative_binary64_12967` `pow-prod-up_binary64_4240` `unswap-sqr_binary64_6866` `sqrt-pow1_binary64_2824` `associate-/r/_binary64_8549` `associate-r/_binary64_16388` `cbrt-unprod_binary64_21935` `sub-neg_binary64_15416` `unswap-sqr_binary64_24257` `+-commutative_binary64_2395` `frac-2neg_binary64_11001` `pow-sqr_binary64_12668` `frac-2neg_binary64_11683` `cancel-sign-sub-inv_binary64_8569` `pow-prod-up_binary64_9696` `sinh-def_binary64_5378` `pow-to-exp_binary64_10718` `pow1/2_binary64_2886` `clear-num_binary64_13717` `pow-exp_binary64_10717` `-commutative_binary64_8534` `-commutative_binary64_11944` `pow-sqr_binary64_15396` `div-inv_binary64_2462` `pow1/2_binary64_158` `div-inv_binary64_5872` `cbrt-undiv_binary64_21936` `pow1/3_binary64_11072` `associate-*r/_binary64_8545` `associate-/r/_binary64_21507` `diff-log_binary64_9377`
10×	`cube-div_binary64_4881` `unswap-sqr_binary64_12322` `sum-log_binary64_15514` `associate-r/_binary64_20` `flip3-+_binary64_81` `sqr-pow_binary64_10621` `flip-+_binary64_52` `flip--_binary64_3804` `clear-num_binary64_22242` `+-commutative_binary64_2054` `associate--l+_binary64_697` `associate-l/_binary64_18094` `sqrt-pow1_binary64_18851` `distribute-lft-out_binary64_4121` `unswap-sqr_binary64_22211` `distribute-lft-out_binary64_10941` `sub-neg_binary64_20531` `cbrt-unprod_binary64_12387` `+-commutative_binary64_11602` `sinh-def_binary64_12539` `flip3--_binary64_3833` `frac-2neg_binary64_22254` `sqr-pow_binary64_12667` `cube-prod_binary64_19543` `pow-prod-up_binary64` `div-inv_binary64_8600` `exp-prod_binary64_19908` `div-inv_binary64` `1-exp_binary64_9329` `pow-prod-up_binary64_12424` `pow-prod-down_binary64_1513` `associate-/l/_binary64_16052` `cancel-sign-sub-inv_binary64_4136` `distribute-lft-out_binary64_18443` `distribute-lft-out--_binary64_6850` `associate-+l+_binary64_19107` `sum-log_binary64_23016` `cbrt-unprod_binary64_22276` `distribute-lft-in_binary64_17418` `sum-log_binary64_16878` `div-exp_binary64_21612` `distribute-rgt-in_binary64_4120` `frac-2neg_binary64_14752` `sqrt-pow1_binary64_21238` `associate-l/_binary64_20822` `swap-sqr_binary64_6865` `swap-sqr_binary64_20164` `associate-/l/_binary64_16393` `div-exp_binary64_13428` `div-inv_binary64_5190` `distribute-lft-in_binary64_4119` `pow-unpow_binary64_12431` `associate-/l_binary64_23211` `sqrt-pow1_binary64_3165` `sum-log_binary64_169` `-commutative_binary64_3419` `pow1/3_binary64_23348` `sub-neg_binary64_7914` `pow-flip_binary64_14133` `flip3--_binary64_8607` `flip-+_binary64_18466` `associate-+r+_binary64_7171` `sqrt-div_binary64_10666` `distribute-lft-out_binary64_370` `sqrt-pow1_binary64_8621` `pow1/3_binary64_8003` `pow-prod-down_binary64_7310` `associate-l/_binary64_24573` `pow1/2_binary64_8683` `pow-flip_binary64_11064` `clear-num_binary64_14740` `div-inv_binary64_19853` `swap-sqr_binary64_5160` `associate-l/_binary64_1044` `pow-pow_binary64_491` `cbrt-unprod_binary64_6249` `cbrt-undiv_binary64_10001` `associate-/r_binary64_704` `associate-l/_binary64_15707` `associate-/l/_binary64_707` `log-pow_binary64_2554` `pow1/2_binary64_3227` `cbrt-div_binary64_16478` `associate-l_binary64_5816` `1-exp_binary64_7283` `cube-prod_binary64_14769` `flip--_binary64_16421` `associate-l/_binary64_23550` `sub-neg_binary64_753` `rec-exp_binary64_9335` `log-pow_binary64_10738` `associate-+r+_binary64_22857` `sum-log_binary64_11763` `sqrt-div_binary64_12030` `rec-exp_binary64_7289` `pow1/2_binary64_18913` `unpow-prod-down_binary64_14820` `flip3--_binary64_16450` `flip3-+_binary64_18495` `distribute-rgt-in_binary64_17419` `flip--_binary64_8578` `associate-r/_binary64_1043` `sum-log_binary64_3579` `pow-sqr_binary64_3802` `diff-log_binary64_9036` `swap-sqr_binary64_14367` `-commutative_binary64_10239` `*-commutative_binary64_21492`
9×	`pow1/3_binary64_20279` `sqr-pow_binary64_50` `pow1/2_binary64_9706` `associate-r/_binary64_9227` `unswap-sqr_binary64_16414` `pow-exp_binary64_21288` `+-commutative_binary64_8` `pow1/2_binary64_14139` `distribute-lft-in_binary64_19805` `div-inv_binary64_8259` `cbrt-prod_binary64_1132` `associate-/l_binary64_21506` `div-inv_binary64_6895` `pow-to-exp_binary64_21289` `cbrt-undiv_binary64_1817` `sqrt-pow1_binary64_14077` `pow1/3_binary64_8344` `clear-num_binary64_2123` `-commutative_binary64_4783` `distribute-lft-out_binary64_16056` `sqrt-div_binary64_2823` `-commutative_binary64_13990` `pow1/3_binary64_24371` `prod-exp_binary64_22974` `exp-sum_binary64_8990` `flip3--_binary64_7925` `pow-prod-down_binary64_1172` `unswap-sqr_binary64_9253` `div-exp_binary64_5244` `prod-exp_binary64_809` `pow-exp_binary64_6284` `pow-prod-down_binary64_14130` `pow1/3_binary64_6980` `pow1/3_binary64_7321` `frac-2neg_binary64_2135` `associate-/r_binary64_3432` `distribute-rgt-in_binary64_19806` `associate-l/_binary64_13661` `frac-times_binary64_22253` `sqrt-prod_binary64_12370` `sum-log_binary64_21652` `unpow-prod-down_binary64_3567` `pow-prod-down_binary64_3218` `cancel-sign-sub-inv_binary64_10956` `sqrt-pow1_binary64_9644` `frac-2neg_binary64_10319` `sum-log_binary64_17219` `sum-log_binary64_7671` `sub-neg_binary64_5868` `associate-/l_binary64_5820` `-commutative_binary64_1032` `pow-sqr_binary64_4143` `pow1/3_binary64_23007` `exp-prod_binary64_2517` `associate-/l_binary64_7866` `cbrt-prod_binary64_12044` `+-commutative_binary64_19104` `frac-2neg_binary64_3158` `associate-l/_binary64_12297` `frac-times_binary64_18161` `sub-neg_binary64_71` `flip--_binary64_7896` `1-exp_binary64_11716` `unpow-prod-down_binary64_1521` `-commutative_binary64_18764` `pow1/3_binary64_17551` `frac-times_binary64_2816` `distribute-lft-out--_binary64_12647` `pow1/3_binary64_18233` `cbrt-undiv_binary64_5227` `log-pow_binary64_22673` `add-log-exp_binary64_8301` `frac-times_binary64_10318` `distribute-lft-in_binary64` `frac-times_binary64_20207` `pow1/3_binary64_19256` `prod-exp_binary64_6947` `unswap-sqr_binary64_23916` `pow-prod-up_binary64_8673` `clear-num_binary64_10307` `swap-sqr_binary64_23233` `pow-prod-down_binary64_9356` `distribute-lft-out_binary64_5144` `pow-sqr_binary64_9599` `clear-num_binary64_3146` `associate--l+_binary64_12632` `swap-sqr_binary64_8229` `cbrt-div_binary64_14773` `div-exp_binary64_6949` `distribute-rgt-in_binary64` `pow1/3_binary64_4252` `cbrt-unprod_binary64_793` `pow-unpow_binary64_19933` `div-sub_binary64_18838` `-commutative_binary64_15013` `associate-+r-_binary64_20131`
8×	`frac-times_binary64_4180` `cbrt-unprod_binary64_1475` `distribute-lft-in_binary64_6506` `associate-/r_binary64_23210` `sqrt-div_binary64_16463` `sqr-pow_binary64_7893` `associate-/l/_binary64_1048` `unpow3_binary64_144` `1-exp_binary64_15126` `div-exp_binary64_3880` `rem-sqrt-square_binary64_2819` `difference-of-squares_binary64_6867` `flip3-+_binary64_19518` `associate-+r+_binary64_7853` `frac-add_binary64_768` `log-pow_binary64_9715` `frac-2neg_binary64_11342` `diff-log_binary64_10741` `unpow-prod-up_binary64_12773` `flip3--_binary64_12699` `sub-neg_binary64_4845` `unpow-prod-down_binary64_13797` `cbrt-div_binary64_13409` `flip--_binary64_12670` `diff-log_binary64_14492` `distribute-rgt-out--_binary64_10603` `frac-times_binary64_17138` `pow-flip_binary64_14474` `pow-prod-down_binary64_5946` `cos-sum_binary64_20331` `unswap-sqr_binary64_13345` `rem-sqrt-square_binary64_3842` `+-commutative_binary64_21491` `pow-sqr_binary64_1756` `distribute-lft-in_binary64_12985` `sub-neg_binary64_19849` `distribute-lft-in_binary64_21851` `sqrt-pow1_binary64_19874` `associate-/l_binary64_3433` `sub-neg_binary64_13370` `frac-2neg_binary64_16798` `frac-times_binary64_16456` `associate-/l/_binary64_5140` `1-exp_binary64_19218` `cube-mult_binary64_108` `associate-/l/_binary64_2071` `rec-exp_binary64_15132` `associate-/l/_binary64_7186` `unpow3_binary64_7987` `associate--r+_binary64_3765` `pow-prod-down_binary64_7992` `frac-add_binary64_16113` `div-inv_binary64_5531` `frac-2neg_binary64_7250` `associate-r/_binary64_3430` `flip3--_binary64_23611` `distribute-rgt-out_binary64_713` `frac-add_binary64_13044` `+-commutative_binary64_1372` `cbrt-undiv_binary64_8296` `frac-times_binary64_19184` `rem-sqrt-square_binary64_3160` `sum-log_binary64_17901` `associate-l/_binary64_1385` `associate-+r+_binary64_10` `associate-r/_binary64_2748` `-commutative_binary64_17400` `pow-prod-up_binary64_148` `frac-times_binary64_23276` `distribute-rgt-in_binary64_6507` `swap-sqr_binary64_19141` `cube-div_binary64_13065` `associate--r+_binary64_17405` `associate-/l/_binary64_12983` `flip-+_binary64_20853` `log-div_binary64_9031` `flip--_binary64_22559` `-commutative_binary64_14672` `associate-/r/_binary64_11277` `associate-l/_binary64_4113` `cube-div_binary64_23295` `pow-prod-up_binary64_1853` `+-commutative_binary64_8533` `difference-of-squares_binary64_20507` `pow1/3_binary64_13459` `cbrt-undiv_binary64_2499` `distribute-rgt-in_binary64_21852` `frac-add_binary64_20205` `cube-prod_binary64_8972` `log-div_binary64_10736` `distribute-neg-frac_binary64_13000` `associate-+l+_binary64_11605` `associate-l/_binary64_8546` `frac-times_binary64` `cancel-sign-sub-inv_binary64_22550` `sqrt-pow1_binary64_2142` `associate-/l/_binary64_10255` `rec-exp_binary64_19224` `flip--_binary64_23582` `associate-/l/_binary64_13665` `log-pow_binary64_508` `flip3--_binary64_22588` `distribute-rgt-in_binary64_12986` `unswap-sqr_binary64_20506` `pow-prod-down_binary64_831` `frac-times_binary64_19525` `associate-/l/_binary64_14688` `cancel-sign-sub-inv_binary64_19822` `distribute-lft-out_binary64_11623` `distribute-neg-frac_binary64_724` `sqrt-div_binary64_12371` `clear-num_binary64_11330` `distribute-lft-out--_binary64_19467` `pow1/2_binary64_7660` `distribute-lft-in_binary64_22874` `flip3-+_binary64_20882` `+-commutative_binary64_17058` `pow1/3_binary64_14482` `exp-prod_binary64_7291` `pow-sqr_binary64_51` `flip-+_binary64_19489` `associate-l/_binary64_17753` `pow-flip_binary64_17543` `frac-times_binary64_5885` `associate-r_binary64_5815` `flip-+_binary64_20171` `pow1/2_binary64_11070` `associate-/l/_binary64_17416` `associate-/r*_binary64_18436` `rem-sqrt-square_binary64_7593` `clear-num_binary64_7238` `distribute-rgt-in_binary64_22875` `prod-exp_binary64_1491` `div-inv_binary64_3826` `flip3-+_binary64_20200` `clear-num_binary64_16786` `diff-log_binary64_7672`
7×	`flip--_binary64_9260` `clear-num_binary64_16104` `associate-l_binary64_24571` `pow-unpow_binary64_12090` `unswap-sqr_binary64_21529` `unswap-sqr_binary64_7889` `1-exp_binary64_13080` `flip3--_binary64_9289` `associate-+r+_binary64_15355` `difference-of-squares_binary64_15733` `+-commutative_binary64_15353` `cosh-def_binary64_14586` `sum-log_binary64_11422` `-commutative_binary64_20469` `swap-sqr_binary64_15731` `pow-plus_binary64_3551` `frac-2neg_binary64_2817` `distribute-lft-in_binary64_20487` `associate-l_binary64_4452` `associate-r_binary64_4451` `associate-/l_binary64_8548` `pow-pow_binary64_150` `+-commutative_binary64_7510` `associate-/l/_binary64_22190` `cbrt-prod_binary64_19205` `sub-neg_binary64_9278` `-commutative_binary64_3760` `frac-times_binary64_12023` `flip3--_binary64_11335` `sum-log_binary64_15173` `-commutative_binary64_22515` `cbrt-undiv_binary64_6932` `cube-mult_binary64_23296` `tan-quot_binary64_16605` `sum-log_binary64_1874` `div-inv_binary64_12692` `cube-mult_binary64_16817` `-commutative_binary64_1373` `pow-prod-up_binary64_17198` `associate--l+_binary64_8881` `cbrt-div_binary64_24321` `difference-of-squares_binary64_21530` `cancel-sign-sub-inv_binary64_10274` `diff-log_binary64_19607` `cancel-sign-sub-inv_binary64_5159` `cbrt-unprod_binary64_22958` `cbrt-undiv_binary64_13411` `+-commutative_binary64_8874` `clear-num_binary64_2805` `associate-r_binary64_8202` `prod-exp_binary64_7970` `-commutative_binary64_7170` `rem-cube-cbrt_binary64_101` `frac-2neg_binary64_1112` `div-inv_binary64_17125` `pow-prod-up_binary64_2876` `associate-l/_binary64_10933` `clear-num_binary64_16445` `flip3-+_binary64_12698` `pow-exp_binary64_146` `associate-+l+_binary64_8536` `frac-times_binary64_8613` `-commutative_binary64_15354` `sub-neg_binary64_9960` `rec-exp_binary64_13086` `prod-exp_binary64_2855` `sqrt-prod_binary64_9983` `1-exp_binary64_17854` `pow1/3_binary64_11413` `sub-neg_binary64_14052` `log-pow_binary64_12784` `distribute-lft-out--_binary64_20490` `pow-prod-down_binary64_22655` `flip-+_binary64_14374` `pow-prod-down_binary64_16517` `pow-to-exp_binary64_4921` `associate-r/_binary64_17752` `flip3-+_binary64_14403` `associate-+r+_binary64_8535` `frac-2neg_binary64_16116` `pow-to-exp_binary64_12082` `sum-log_binary64_16196` `cbrt-unprod_binary64_6931` `clear-num_binary64_1100` `pow-exp_binary64_4920` `flip-+_binary64_12669` `frac-times_binary64_88` `unpow-prod-down_binary64_7659` `+-commutative_binary64_12625` `pow-prod-down_binary64_2877` `associate-l/_binary64_10251` `flip--_binary64_18467` `associate-/r_binary64_22` `sqr-pow_binary64_16759` `neg-mul-1_binary64_13032` `pow-prod-up_binary64_18903` `associate-+l-_binary64_8879` `associate--l+_binary64_15` `sum-log_binary64_10399` `diff-log_binary64_2557` `distribute-rgt-in_binary64_20488` `+-commutative_binary64_19445` `cbrt-div_binary64_7271` `associate-l_binary64_8203` `cbrt-unprod_binary64_2839` `associate-l/_binary64_10592` `pow-sqr_binary64_8576` `+-commutative_binary64_15694` `frac-2neg_binary64_16457` `associate-l/_binary64_3431` `cbrt-div_binary64_22957` `+-commutative_binary64_1713` `flip3--_binary64_18496` `associate-/l_binary64_22870` `cbrt-unprod_binary64_7954` `flip--_binary64_11306` `unpow3_binary64_16853` `rec-exp_binary64_2174` `sum-log_binary64_7330` `distribute-lft-out--_binary64_712` `1-exp_binary64_2168` `associate-/l/_binary64_10596` `inv-pow_binary64_17554` `rec-exp_binary64_17860` `diff-log_binary64_20630` `+-commutative_binary64_5805` `pow-flip_binary64_9359`
6×	`pow-prod-up_binary64_6627` `associate-+r+_binary64_4784` `distribute-lft-out_binary64_29` `swap-sqr_binary64_16072` `sum-log_binary64_13809` `cube-div_binary64_16816` `sum-log_binary64_10058` `flip--_binary64_10283` `+-commutative_binary64_13648` `sub-neg_binary64_11665` `associate-+l+_binary64_16038` `associate-r/_binary64_7863` `difference-of-squares_binary64_10618` `un-div-inv_binary64_16444` `sum-log_binary64_18583` `pow-sqr_binary64_1415` `distribute-rgt-in_binary64_8553` `associate-l/_binary64_6841` `frac-times_binary64_6908` `-commutative_binary64_23538` `inv-pow_binary64_12098` `div-sub_binary64_15428` `sqrt-prod_binary64_19190` `associate-l/_binary64` `frac-2neg_binary64_20549` `pow-pow_binary64_12767` `sub-neg_binary64_4163` `cos-sum_binary64_21354` `pow-flip_binary64_16861` `pow-unpow_binary64_4588` `distribute-lft-out--_binary64_23559` `cbrt-undiv_binary64_21595` `+-commutative_binary64_20127` `associate--l+_binary64_23203` `frac-2neg_binary64_4863` `unpow-prod-down_binary64_3908` `associate-/l_binary64_23` `pow1/3_binary64_9367` `+-commutative_binary64_15012` `unswap-sqr_binary64_728` `inv-pow_binary64_11075` `+-commutative_binary64_9897` `associate-/r_binary64_15708` `sum-log_binary64_14150` `associate-/l/_binary64_20144` `sqr-pow_binary64_23238` `distribute-rgt-neg-in_binary64_17768` `pow-unpow_binary64_8680` `sqrt-div_binary64_1459` `div-sub_binary64_10654` `unpow3_binary64_23332` `diff-log_binary64_5626` `associate-l/_binary64_19117` `associate-/l_binary64_22529` `pow-sqr_binary64_12327` `frac-sub_binary64_16796` `pow-exp_binary64_487` `pow-sqr_binary64_15737` `div-sub_binary64_11677` `associate-l/_binary64_703` `frac-sub_binary64_9294` `pow-unpow_binary64_23343` `unpow-prod-down_binary64_10387` `+-commutative_binary64_7169` `pow-to-exp_binary64_12423` `cbrt-div_binary64_14091` `cube-prod_binary64_4539` `cbrt-undiv_binary64_24323` `pow-prod-down_binary64_21973` `flip3--_binary64_12358` `cbrt-undiv_binary64_9660` `distribute-rgt-out--_binary64_3101` `+-commutative_binary64_17740` `flip3--_binary64_17814` `flip3-+_binary64_15085` `clear-num_binary64_20537` `swap-sqr_binary64_11639` `pow-sqr_binary64_392` `pow-prod-down_binary64_6969` `cube-prod_binary64_3857` `pow-to-exp_binary64_488` `-commutative_binary64_23879` `pow-sqr_binary64_2438` `1-exp_binary64_22287` `difference-of-squares_binary64_10959` `-commutative_binary64_12285` `exp-prod_binary64_21272` `distribute-lft-out--_binary64_10260` `cosh-def_binary64_14245` `-commutative_binary64_691` `associate-/r/_binary64_5139` `associate--r+_binary64_10244` `pow-prod-up_binary64_1512` `flip-+_binary64_15056` `diff-log_binary64_20971` `associate-+r+_binary64_16378` `inv-pow_binary64_14485` `pow-sqr_binary64` `swap-sqr_binary64_6183` `swap-sqr_binary64_13685` `sqr-pow_binary64_5165` `difference-of-squares_binary64_23576` `associate-l/_binary64_16389` `clear-num_binary64_12694` `pow-prod-up_binary64_489` `sum-log_binary64_14491` `pow-flip_binary64_12087` `sub-neg_binary64_15075` `diff-log_binary64_8013` `pow1/3_binary64_10731` `associate-+l+_binary64_18425` `pow-pow_binary64_10721` `+-commutative_binary64_13989` `sum-log_binary64_3920` `flip3--_binary64_10312` `log-pow_binary64_2213` `log-pow_binary64_10397` `sqrt-prod_binary64_14757` `neg-log_binary64_853` `sqrt-div_binary64_12712` `pow-prod-up_binary64_2535` `pow-flip_binary64_7313` `pow1/3_binary64_21302` `distribute-lft-neg-in_binary64_17767` `pow-div_binary64_14134` `distribute-lft-out--_binary64_21513` `pow1/3_binary64_4934` `pow-prod-up_binary64_15834` `distribute-rgt-out--_binary64_7875` `+-commutative_binary64_3759` `unswap-sqr_binary64_18460` `difference-of-squares_binary64_8913` `div-inv_binary64_13374` `pow-prod-down_binary64_22996` `pow-unpow_binary64_5952` `distribute-lft-out_binary64_2416` `distribute-lft-in_binary64_8552` `flip--_binary64_17785` `associate-r/_binary64_23208` `flip--_binary64_12329` `difference-of-squares_binary64_10277` `clear-num_binary64_4851` `distribute-lft-out_binary64_11282` `sqrt-prod_binary64_10324` `associate--l+_binary64_7517` `associate-/r/_binary64_18438` `log-prod_binary64_10735` `rem-exp-log_binary64_2505` `div-exp_binary64_24340` `+-commutative_binary64_22855` `pow2_binary64_3569` `associate-/l/_binary64_1389` `unswap-sqr_binary64_23234` `rec-exp_binary64_22293` `div-exp_binary64_3539` `frac-2neg_binary64_12706` `+-commutative_binary64_10579` `pow-unpow_binary64_9021` `+-commutative_binary64_9556` `associate-/l/_binary64_9914` `diff-log_binary64_18925` `frac-times_binary64_13387` `distribute-lft-neg-in_binary64_717` `swap-sqr_binary64_7888` `log-pow_binary64_8692` `associate-*r/_binary64_23549` `pow-sqr_binary64_6530` `sub-neg_binary64_14393`
5×	`clear-num_binary64_5192` `pow-sqr_binary64_18806` `associate-/l/_binary64_20485` `distribute-lft-out_binary64_7190` `frac-2neg_binary64_5886` `associate-/l/_binary64_11278` `distribute-rgt-in_binary64_23557` `log-div_binary64_9713` `associate-/l_binary64_705` `cube-prod_binary64_7267` `pow-to-exp_binary64_19584` `pow-pow_binary64_5947` `rec-exp_binary64_20247` `rec-exp_binary64_11381` `pow-prod-up_binary64_16857` `distribute-lft-in_binary64_18100` `pow-flip_binary64_19589` `-commutative_binary64_16377` `flip--_binary64` `flip-+_binary64_17443` `frac-2neg_binary64_2476` `+-commutative_binary64_349` `-commutative_binary64_7852` `pow1/3_binary64_16528` `sub-neg_binary64_6550` `distribute-lft1-in_binary64_20493` `cbrt-undiv_binary64_3863` `1-exp_binary64_20241` `cbrt-div_binary64_4884` `sqr-pow_binary64_7211` `sum-cubes_binary64_4171` `pow-exp_binary64_19583` `1-exp_binary64_11375` `difference-of-squares_binary64_18461` `frac-2neg_binary64_1794` `pow-plus_binary64_16850` `sqr-pow_binary64_6188` `+-commutative_binary64_4782` `sub-neg_binary64_23600` `prod-exp_binary64` `difference-of-squares_binary64_22553` `div-exp_binary64_22976` `exp-sum_binary64_12741` `associate-/l_binary64_4115` `distribute-lft-in_binary64_1391` `sum-log_binary64_4261` `frac-2neg_binary64_5204` `frac-2neg_binary64_9978` `+-commutative_binary64_18763` `flip3--_binary64` `cbrt-unprod_binary64` `exp-lft-sqr_binary64_10704` `pow-sqr_binary64_17442` `distribute-lft-in_binary64_23556` `distribute-lft-in_binary64_16395` `rem-sqrt-square_binary64_4183` `distribute-lft-in_binary64_17077` `associate-l/_binary64_20140` `div-exp_binary64_23317` `count-2_binary64_20486` `distribute-rgt-in_binary64_16396` `frac-add_binary64_22933` `+-commutative_binary64_16035` `distribute-rgt-in_binary64_17078` `clear-num_binary64_21901` `-commutative_binary64_6829` `associate-/r/_binary64_8208` `cbrt-undiv_binary64` `clear-num_binary64_8261` `-commutative_binary64_3078` `pow-to-exp_binary64_6285` `unpow3_binary64_12079` `distribute-rgt-in_binary64_18101` `rec-exp_binary64_14791` `distribute-rgt1-in_binary64_20494` `frac-2neg_binary64_9637` `unpow2_binary64_10714` `frac-sub_binary64_9635` `1-exp_binary64_16490` `difference-of-squares_binary64_3457` `div-sub_binary64_18156` `sub-neg_binary64_20872` `+-commutative_binary64_16376` `pow1/3_binary64_12777` `associate-l/_binary64_2749` `cbrt-undiv_binary64_3522` `clear-num_binary64_2464` `1-exp_binary64_14785` `diff-log_binary64_7331` `distribute-lft-out_binary64_15033` `distribute-rgt-in_binary64_1051` `frac-2neg_binary64_6909` `distribute-lft-in_binary64_1050` `sub-neg_binary64_22236` `sum-log_binary64_16537` `associate-/l/_binary64_12642` `e-exp-1_binary64_9671` `frac-times_binary64_14069` `frac-2neg_binary64_21913` `distribute-rgt-in_binary64_1392` `clear-num_binary64_5874` `sqr-pow_binary64_19487` `sqrt-pow1_binary64_5893` `associate-l/_binary64_22186` `pow-sqr_binary64_2779` `pow-prod-up_binary64_17539` `unswap-sqr_binary64` `rec-exp_binary64_16496` `-commutative_binary64` `frac-2neg_binary64_8273` `flip3-+_binary64_17472` `frac-sub_binary64_23275` `div-exp_binary64` `unpow-prod-down_binary64_7318` `clear-num_binary64_9625` `associate-/l_binary64_15709` `difference-of-squares_binary64` `distribute-lft-out_binary64_9918` `+-commutative_binary64_4100` `sub-neg_binary64_8596` `-commutative_binary64_6147` `diff-log_binary64_11082` `sub-neg_binary64_10983` `clear-num_binary64_1782` `diff-log_binary64_13810` `pow-prod-up_binary64_3217` `exp-prod_binary64_8996` `cube-mult_binary64_12043` `associate-/l/_binary64` `sqr-pow_binary64_2096` `sum-log_binary64_18924` `div-exp_binary64_129` `exp-prod_binary64_12747` `cbrt-undiv_binary64_23300` `clear-num_binary64_9966` `clear-num_binary64_6897` `log-pow_binary64_7328` `pow-sqr_binary64_17101` `pow-prod-down_binary64_6287` `distribute-lft-out_binary64_12646` `distribute-lft-out_binary64_10600`
4×	`sqrt-pow1_binary64_1801` `pow2_binary64_3910` `rem-log-exp_binary64_11031` `sub-neg_binary64` `clear-num_binary64_1441` `pow-sqr_binary64_5166` `distribute-rgt-in_binary64_5825` `rec-exp_binary64_18883` `pow-plus_binary64_4233` `div-sub_binary64_16451` `associate-l/_binary64_5136` `frac-add_binary64_5201` `associate-r/_binary64_12296` `frac-2neg_binary64_3840` `flip-+_binary64_18125` `associate-l/_binary64_21845` `cbrt-unprod_binary64_24322` `distribute-lft-out--_binary64_10942` `rec-exp_binary64_4902` `associate--l+_binary64_9563` `cube-div_binary64_14429` `clear-num_binary64_22583` `associate-r/_binary64_22867` `sum-log_binary64_2897` `sub-neg_binary64_11324` `pow-pow_binary64_17200` `associate-/r/_binary64_15710` `sqr-pow_binary64_17100` `unpow2_binary64_5258` `pow-pow_binary64_12426` `associate-l/_binary64_14002` `sum-log_binary64_18242` `associate-/l/_binary64_15711` `rem-sqrt-square_binary64_17141` `frac-times_binary64_17820` `distribute-lft-out--_binary64_10601` `associate-+l-_binary64_9561` `distribute-lft-out--_binary64_19126` `div-sub_binary64_16110` `un-div-inv_binary64_12011` `distribute-lft-in_binary64_20828` `associate-l/_binary64_5818` `distribute-lft-out_binary64_19466` `cancel-sign-sub-inv_binary64_18458` `inv-pow_binary64_14144` `associate--r+_binary64_15700` `div-sub_binary64_14064` `log-div_binary64_10395` `-commutative_binary64_2737` `swap-sqr_binary64_4478` `associate--l+_binary64_18770` `-commutative_binary64_22174` `log-prod_binary64_7325` `pow1/2_binary64_2204` `+-commutative_binary64_3077` `associate-/l_binary64_19801` `frac-times_binary64_5203` `associate-/l/_binary64_21849` `associate-r/_binary64_5817` `rem-sqrt-square_binary64_18846` `diff-cos_binary64_5685` `pow2_binary64_17550` `1-exp_binary64_4896` `swap-sqr_binary64` `frac-times_binary64_6567` `frac-sub_binary64_5884` `rem-cube-cbrt_binary64_23289` `log-pow_binary64_11420` `pow2_binary64_1864` `sum-log_binary64_21993` `cube-prod_binary64_5221` `rem-sqrt-square_binary64_14072` `1-exp_binary64_14103` `rem-sqrt-square_binary64_1796` `cbrt-undiv_binary64_18526` `distribute-lft-out_binary64_13669` `-commutative_binary64_9216` `un-div-inv_binary64_18831` `exp-prod_binary64_3881` `cube-div_binary64_3858` `swap-sqr_binary64_12662` `1-exp_binary64_18195` `associate-/l/_binary64_25` `+-commutative_binary64_11261` `frac-times_binary64_21912` `prod-exp_binary64_24338` `associate-/l/_binary64_23213` `sqr-pow_binary64_22556` `associate--l+_binary64_7858` `sub-neg_binary64_21895` `+-commutative_binary64_21832` `pow-pow_binary64_8675` `unswap-sqr_binary64_21870` `associate-/l_binary64_24234` `diff-log_binary64_15515` `div-sub_binary64_9631` `flip-+_binary64_21876` `flip--_binary64_4145` `div-sub_binary64_3152` `frac-times_binary64_7931` `swap-sqr_binary64_12321` `associate-r/_binary64_6840` `distribute-rgt-out--_binary64_373` `pow1/3_binary64_15505` `frac-2neg_binary64_17139` `inv-pow_binary64_19259` `pow-plus_binary64_9689` `+-commutative_binary64_10238` `pow-sqr_binary64_7553` `1-exp_binary64_13762` `frac-add_binary64_2132` `rem-log-exp_binary64_22625` `associate-/l/_binary64_1730` `pow-prod-down_binary64_22314` `associate--l-_binary64_8882` `diff-log_binary64_8695` `frac-add_binary64_10998` `pow-prod-up_binary64_10378` `frac-sub_binary64_17137` `difference-of-sqr--1_binary64_12666` `associate-/r_binary64_7865` `distribute-lft-in_binary64_1732` `diff-log_binary64_18584` `frac-add_binary64_1450` `associate-/l/_binary64_9573` `flip3--_binary64_4515` `associate-/l_binary64_18437` `associate-l/_binary64_23209` `frac-times_binary64_1793` `distribute-lft-in_binary64_14349` `flip--_binary64_3463` `associate-/l/_binary64_19462` `cube-div_binary64_14770` `flip3-+_binary64_21905` `pow1/2_binary64_16526` `rec-exp_binary64_14109` `flip3--_binary64_4174` `flip3-+_binary64_3150` `flip3-+_binary64_18154` `sub-neg_binary64_22577` `cube-prod_binary64_1129` `rem-log-exp_binary64_9667` `frac-times_binary64_4521` `associate--r-_binary64_9565` `clear-num_binary64_3828` `rem-sqrt-square_binary64_2137` `+-commutative_binary64_2736` `distribute-lft-out_binary64_15715` `associate-l/_binary64_7864` `sqr-pow_binary64_8916` `neg-mul-1_binary64_14055` `associate--l+_binary64_14337` `cube-div_binary64_15111` `associate-/l/_binary64_22872` `frac-add_binary64_24638` `cube-div_binary64_5904` `associate-/l/_binary64_6845` `cbrt-undiv_binary64_112` `flip--_binary64_4486` `sum-log_binary64_3238` `pow-to-exp_binary64_147` `unpow-prod-down_binary64_19253` `cube-div_binary64_7950` `distribute-rgt-in_binary64_20829` `pow-exp_binary64_7648` `associate-+l+_binary64_10582` `pow-flip_binary64_19248` `sum-log_binary64_5625` `associate-/l_binary64_17073` `rem-sqrt-square_binary64_16459` `frac-times_binary64_8272` `exp-prod_binary64_10360` `pow-plus_binary64_17532` `clear-num_binary64_17127` `frac-add_binary64_4860` `pow-flip_binary64_1175` `associate-/l/_binary64_4799` `distribute-lft-in_binary64_5824` `pow-sqr_binary64_10281` `cube-mult_binary64_15453` `associate-/r/_binary64_706` `pow-unpow_binary64_10726` `diff-log_binary64_5285` `flip-+_binary64_3121` `pow-plus_binary64_1846` `inv-pow_binary64_19600` `div-exp_binary64_18543` `cube-div_binary64_12724` `sqrt-pow1_binary64_16464` `distribute-rgt-in_binary64_1733` `frac-2neg_binary64_1453` `-commutative_binary64_21833` `diff-log_binary64_20289` `associate-/l_binary64_8889` `rec-exp_binary64_13768` `inv-pow_binary64_7324` `rem-sqrt-square_binary64_8616` `frac-times_binary64_1111` `sqr-pow_binary64_13690` `sub-neg_binary64_22918` `pow-plus_binary64_141` `sub-neg_binary64_18144` `inv-pow_binary64_9370` `swap-sqr_binary64_15390` `pow-exp_binary64_23334` `cube-prod_binary64_19202` `associate-/l/_binary64_2412` `cbrt-undiv_binary64_22959` `distribute-rgt-in_binary64_14350` `distribute-lft-out--_binary64_5827` `difference-of-squares_binary64_19143` `cube-div_binary64_4540` `flip3--_binary64_19860` `pow-prod-up_binary64_7650` `unswap-sqr_binary64_8230` `rec-exp_binary64_18201` `pow2_binary64_9707` `associate-+l+_binary64_1375` `cube-div_binary64_107` `frac-2neg_binary64_22595` `unpow-prod-down_binary64_1180` `associate-+l+_binary64_9559` `associate-l/_binary64_4454` `associate-+l+_binary64_14674` `flip--_binary64_19831` `sub-neg_binary64_18485` `un-div-inv_binary64_2122` `1-exp_binary64_18877` `diff-log_binary64_170` `diff-log_binary64_17220` `div-inv_binary64_6554` `pow-to-exp_binary64_7649` `swap-sqr_binary64_18118` `pow-plus_binary64_3892` `associate-/r_binary64_22869` `flip3--_binary64_3492` `distribute-lft-out--_binary64_12306` `pow-prod-up_binary64_5263` `distribute-rgt-out_binary64_16058` `diff-log_binary64_18243` `sum-log_binary64_11081` `frac-add_binary64_19523` `pow1/2_binary64_5955` `frac-times_binary64_18502` `div-sub_binary64_14746`
3×	`frac-2neg_binary64_8614` `associate-+r+_binary64_15696` `pow-prod-up_binary64_10719` `pow-unpow_binary64_19592` `pow-flip_binary64_13110` `pow-unpow_binary64_6293` `clear-num_binary64` `1-exp_binary64_21946` `pow2_binary64_159` `frac-2neg_binary64_13388` `sub-neg_binary64_5186` `pow2_binary64_16868` `un-div-inv_binary64_14398` `clear-num_binary64_3487` `frac-add_binary64_16795` `pow-plus_binary64_15827` `div-sub_binary64_7244` `div-exp_binary64_811` `diff-log_binary64_10059` `sqr-pow_binary64_5847` `sub-neg_binary64_10301` `associate--l+_binary64_10586` `pow-plus_binary64_2528` `frac-2neg_binary64` `sum-log_binary64_24380` `pow2_binary64_1523` `flip3-+_binary64_21223` `sqr-pow_binary64_4483` `difference-of-squares_binary64_9254` `neg-log_binary64_20290` `1-exp_binary64_12398` `pow-unpow_binary64_15159` `sum-log_binary64_12104` `pow-unpow_binary64_3565` `associate-/l_binary64_23893` `associate-+r+_binary64_16037` `pow2_binary64_2546` `flip3-+_binary64_24292` `pow-unpow_binary64_14477` `clear-num_binary64_8602` `diff-log_binary64_15856` `associate--l+_binary64_20475` `+-commutative_binary64_24219` `rec-exp_binary64_13427` `+-commutative_binary64_17399` `pow-prod-down_binary64_4582` `log-prod_binary64_8689` `+-commutative_binary64_3418` `associate-/l/_binary64_10937` `associate-+l+_binary64_4785` `pow-sqr_binary64_19829` `associate-/r_binary64_4114` `frac-2neg_binary64_3499` `distribute-lft-neg-out_binary64_17769` `pow2_binary64_500` `pow-sqr_binary64_3120` `pow-sqr_binary64_8917` `associate--l-_binary64_9564` `exp-sum_binary64_10354` `pow-unpow_binary64_7998` `frac-times_binary64_7249` `sub-neg_binary64_1094` `associate-+r-_binary64_15357` `flip3--_binary64_5197` `unsub-neg_binary64_20191` `unpow3_binary64_22650` `distribute-lft-out_binary64_4803` `sqrt-prod_binary64_16803` `distribute-rgt-out_binary64_19127` `distribute-rgt-out--_binary64_15377` `rec-exp_binary64_21952` `sum-log_binary64_6989` `pow1/3_binary64_17892` `pow-unpow_binary64_5270` `rem-cbrt-cube_binary64_102` `pow-unpow_binary64_16864` `cancel-sign-sub-inv_binary64_1067` `pow-prod-down_binary64_23337` `pow-unpow_binary64_17205` `distribute-rgt1-in_binary64_15379` `associate-+l+_binary64_20812` `pow-plus_binary64_6620` `unpow2_binary64_3553` `+-commutative_binary64_11943` `cube-mult_binary64_5905` `sum-log_binary64_8012` `pow-pow_binary64_4583` `associate-+l-_binary64_8538` `pow-to-exp_binary64_9013` `-commutative_binary64_5806` `distribute-neg-in_binary64_721` `+-commutative_binary64_6828` `div-exp_binary64_15815` `associate-+r+_binary64_692` `sqr-pow_binary64_21192` `sqr-pow_binary64_7552` `inv-pow_binary64_1186` `sub-neg_binary64_17121` `distribute-rgt-out_binary64_6851` `pow-to-exp_binary64_2534` `pow-prod-down_binary64_24360` `associate-+l-_binary64_354` `pow2_binary64_6638` `pow-plus_binary64_8666` `inv-pow_binary64_10734` `inv-pow_binary64_13121` `flip--_binary64_23241` `frac-times_binary64_22935` `rem-exp-log_binary64_8984` `flip3-+_binary64_20541` `pow-unpow_binary64_2201` `difference-of-sqr-1_binary64_10960` `sum-log_binary64_12445` `sum-log_binary64_13468` `sum-log_binary64_14832` `associate-+l+_binary64_5808` `pow2_binary64_14822` `diff-log_binary64_17902` `un-div-inv_binary64_17467` `cbrt-unprod_binary64_23299` `diff-log_binary64_10400` `+-commutative_binary64_690` `pow1/3_binary64_21643` `pow1/3_binary64_1183` `cos-diff_binary64_20334` `flip3--_binary64_23270` `flip-+_binary64_24263` `unpow3_binary64_19581` `prod-exp_binary64_23315` `pow-unpow_binary64_14818` `1-exp_binary64_5919` `cancel-sign-sub-inv_binary64_17094` `associate-/r_binary64_8888` `sqr-pow_binary64_3460` `associate-+r-_binary64_15016` `associate--r+_binary64_20815` `sqrt-prod_binary64_1117` `rec-exp_binary64_11722` `unpow2_binary64_484` `1-exp_binary64_13421` `associate-l/_binary64_22868` `cube-mult_binary64_22614` `pow-unpow_binary64_4929` `unswap-sqr_binary64_23575` `1-exp_binary64_20923` `associate-/r_binary64_23892` `cbrt-undiv_binary64_15798` `exp-prod_binary64_10701` `sub-neg_binary64_13029` `pow2_binary64_8684` `rec-exp_binary64_12404` `distribute-lft-out_binary64_13328` `difference-of-squares_binary64_17779` `+-commutative_binary64_12284` `rem-sqrt-square_binary64_9639` `pow1/3_binary64_18574` `pow-plus_binary64_14804` `pow-unpow_binary64_22661` `pow-sqr_binary64_16760` `log-pow_binary64_11079` `pow-plus_binary64_482` `pow-unpow_binary64_3906` `associate--l-_binary64_9223` `frac-2neg_binary64_21572` `associate--r+_binary64_8880` `clear-num_binary64_13376` `pow-exp_binary64_9012` `pow-unpow_binary64_10385` `difference-of-squares_binary64_6526` `pow-plus_binary64_1505` `rem-exp-log_binary64_12735` `distribute-lft-out_binary64_14351` `unpow3_binary64_5941` `pow-exp_binary64_2533` `+-commutative_binary64_20809` `+-commutative_binary64_18422` `flip-+_binary64_20512` `pow1/2_binary64_21300` `distribute-lft-out_binary64_5826` `rec-exp_binary64_20929` `pow-prod-up_binary64_9014` `cube-mult_binary64_19545` `associate-+l-_binary64_18427` `flip-+_binary64_21194` `pow-pow_binary64_12085` `associate-r/_binary64_14683` `unpow2_binary64_6281` `pow2_binary64_4251` `sum-log_binary64_17560` `pow-prod-up_binary64_19926` `div-inv_binary64_18489` `pow1/3_binary64_12095` `div-sub_binary64_12018` `pow-unpow_binary64_10044` `pow-unpow_binary64_1519` `+-commutative_binary64_5464` `neg-sub0_binary64_20192` `rec-exp_binary64_5925` `div-sub_binary64_2129` `associate-+r+_binary64_1374` `diff-log_binary64_23699` `pow-unpow_binary64_16523` `sub-neg_binary64_23259` `clear-num_binary64_21560` `flip--_binary64_5168` `sub-neg_binary64_3140` `-commutative_binary64_22856` `unswap-sqr_binary64_24598` `cbrt-undiv_binary64_794` `distribute-rgt-out_binary64_15376` `un-div-inv_binary64_19513`
2×	`frac-sub_binary64_19524` `un-div-inv_binary64_13716` `un-div-inv_binary64_1099` `pow-plus_binary64_13099` `associate-+l+_binary64_16379` `pow1/3_binary64_5957` `clear-num_binary64_15763` `neg-sub0_binary64_755` `sub-neg_binary64_3822` `rem-log-exp_binary64_10690` `associate--r+_binary64_7516` `associate-l/_binary64_2408` `pow-sqr_binary64_2097` `+-commutative_binary64_7851` `frac-sub_binary64_13045` `frac-times_binary64_9295` `rem-sqrt-square_binary64_5888` `associate-/l/_binary64_7868` `flip-+_binary64_6531` `pow-exp_binary64_5943` `associate--l+_binary64_4107` `unpow3_binary64_14807` `distribute-rgt-neg-in_binary64_718` `pow2_binary64_10389` `associate--l+_binary64_3425` `rem-log-exp_binary64_3870` `distribute-lft-out--_binary64` `pow-sqr_binary64_7894` `diff-log_binary64_12787` `rec-exp_binary64_6948` `pow2_binary64_7661` `associate-/l/_binary64_23895` `pow-to-exp_binary64_17197` `associate-/l/_binary64_24577` `associate-l/_binary64_1726` `rec-exp_binary64_10358` `pow-prod-up_binary64_11742` `pow-pow_binary64_1514` `sinh-def_binary64_5037` `cancel-sign-sub-inv_binary64_12320` `frac-sub_binary64_20888` `pow-prod-up_binary64_18221` `rem-cube-cbrt_binary64_14423` `sum-log_binary64_20629` `sum-log_binary64_5284` `rec-exp_binary64_2515` `rec-exp_binary64_1833` `pow-to-exp_binary64_4580` `distribute-lft-in_binary64_11962` `pow-prod-up_binary64_4581` `sqrt-unprod_binary64_3849` `clear-num_binary64_18491` `associate-+r-_binary64_694` `sqrt-pow2_binary64_19875` `cbrt-unprod_binary64_8295` `associate-/l/_binary64_3776` `flip--_binary64_24605` `pow2_binary64_13117` `distribute-lft-out--_binary64_17762` `unpow3_binary64_3895` `div-sub_binary64_23271` `distribute-lft-out--_binary64_18444` `pow-prod-up_binary64_6968` `unpow1/3_binary64_6283` `flip3-+_binary64_6560` `associate-/l/_binary64_21508` `pow-flip_binary64_1857` `rem-cube-cbrt_binary64_16469` `frac-sub_binary64_22252` `associate-+r+_binary64_2738` `pow-sqr_binary64_7212` `div-sub_binary64_83` `associate--l-_binary64_357` `sqr-pow_binary64_19146` `frac-2neg_binary64_15775` `pow-flip_binary64_14815` `distribute-lft-out_binary64_20148` `inv-pow_binary64_14826` `difference-of-sqr--1_binary64_23237` `div-sub_binary64_20884` `pow-exp_binary64_10035` `distribute-lft-in_binary64_5142` `flip-+_binary64_19830` `associate-/l/_binary64_3435` `clear-num_binary64_24288` `cube-mult_binary64_12384` `pow-to-exp_binary64_5262` `pow-prod-up_binary64_7991` `frac-sub_binary64_17819` `pow2_binary64_18914` `unpow1/3_binary64_486` `rem-sqrt-square_binary64_23961` `rem-sqrt-square_binary64_1455` `flip-+_binary64_23922` `pow-plus_binary64_9007` `pow-prod-up_binary64_22995` `1-exp_binary64_3873` `sqrt-pow1_binary64_5211` `1-exp_binary64_6942` `cube-mult_binary64_7951` `log-div_binary64_3916` `flip3-+_binary64_19859` `exp-diff_binary64_10356` `associate--l+_binary64_4789` `rem-sqrt-square_binary64_21233` `frac-2neg_binary64_18503` `flip3-+_binary64_14744` `flip3-+_binary64_23951` `1-exp_binary64_3191` `pow1/2_binary64_5273` `distribute-rgt-in_binary64_5143` `pow-prod-up_binary64_7309` `sub-div_binary64_3154` `rem-sqrt-square_binary64_18505` `associate-l/_binary64_7182` `-commutative_binary64_24220` `associate-+l+_binary64_15697` `associate-/r/_binary64_3434` `diff-log_binary64_4262` `distribute-rgt-out_binary64_16740` `sub-neg_binary64_1435` `flip3-+_binary64_23610` `frac-2neg_binary64_771` `div-sub_binary64_22248` `sub-neg_binary64_4504` `frac-2neg_binary64_19867` `diff-log_binary64_4944` `pow-exp_binary64_16514` `unpow-prod-down_binary64_10046` `pow-pow_binary64_23338` `pow1/2_binary64_1863` `distribute-neg-frac_binary64_14023` `inv-pow_binary64_20623` `associate-/l/_binary64_13324` `clear-num_binary64_77` `sqr-abs_binary64_3844` `cbrt-unprod_binary64_4544` `unswap-sqr_binary64_4479` `1-exp_binary64_16831` `diff-log_binary64_4603` `diff-log_binary64_19266` `-commutative_binary64_24561` `unpow3_binary64_14466` `rec-exp_binary64_21611` `sub-div_binary64_13043` `pow-prod-up_binary64_15152` `sum-log_binary64_22675` `log-div_binary64_2552` `cube-mult_binary64_14771` `diff-log_binary64_3921` `pow2_binary64_19937` `pow-plus_binary64_18896` `associate-/r/_binary64_8890` `cube-mult_binary64_9997` `flip3--_binary64_1105` `exp-diff_binary64_8992` `associate-l/_binary64_18435` `diff-log_binary64` `div-sub_binary64_1447` `pow-flip_binary64_20612` `associate--r-_binary64_358` `1-exp_binary64_2509` `frac-sub_binary64_3156` `log-div_binary64_19602` `pow-sqr_binary64_22898` `frac-2neg_binary64_24300` `unpow-prod-down_binary64_15161` `cube-mult_binary64_3859` `pow-plus_binary64_7643` `pow-flip_binary64_15156` `pow1/3_binary64_12436` `rem-exp-log_binary64_7279` `distribute-lft-out--_binary64_6509` `cancel-sign-sub-inv_binary64_3454` `sqr-pow_binary64_14713` `diff-log_binary64_3580` `sqr-pow_binary64_3801` `rec-exp_binary64_3879` `associate-+l+_binary64_15356` `pow-pow_binary64_14472` `pow-prod-up_binary64_2194` `associate-+r-_binary64_11606` `pow-sqr_binary64_15055` `pow-plus_binary64_17191` `pow-plus_binary64_5256` `associate-/l/_binary64_8550` `distribute-rgt-out_binary64_21514` `log-div_binary64_11077` `diff-log_binary64_2216` `associate-l/_binary64_6500` `+-commutative_binary64_10920` `pow2_binary64_17209` `log-pow_binary64_19604` `associate-/r/_binary64_4116` `cube-prod_binary64_14428` `distribute-rgt-in_binary64_11963` `un-div-inv_binary64_13375` `sqrt-pow1_binary64_1460` `1-exp_binary64_10352` `div-inv_binary64_23945` `1-exp_binary64_15467` `sum-log_binary64_6648` `pow-plus_binary64_10371` `associate-r/_binary64_8204` `cbrt-div_binary64_12727` `+-commutative_binary64_18081` `cancel-sign-sub-inv_binary64_4477` `unpow3_binary64_15489` `div-sub_binary64_20202` `pow-pow_binary64_9016` `pow-sqr_binary64_14373` `rec-exp_binary64_3197` `-commutative_binary64_4442` `frac-times_binary64_19866` `associate-r/_binary64_24231` `associate-+l-_binary64_19450` `+-commutative_binary64_6487` `pow2_binary64_5274` `pow-prod-up_binary64_20267` `pow-sqr_binary64_6871` `diff-log_binary64_14833` `sqrt-pow1_binary64_13736` `rec-exp_binary64_10017` `rec-exp_binary64_15473` `clear-num_binary64_23265` `1-exp_binary64_8306` `pow-exp_binary64_14468` `difference-of-squares_binary64_4139` `log-pow_binary64_3918` `diff-log_binary64_852` `pow-flip_binary64_12428` `cbrt-undiv_binary64_5568` `associate-l/_binary64_8205` `pow-pow_binary64_19587` `exp-sum_binary64_7285` `pow-sqr_binary64_13009` `pow-exp_binary64_8671` `pow2_binary64_2887` `pow-sqr_binary64_13691` `frac-sub_binary64_14750` `rem-cube-cbrt_binary64_9990` `pow1/2_binary64_18572` `rem-cube-cbrt_binary64_15105` `rem-cube-cbrt_binary64_5898` `sub-div_binary64_10656` `associate--l+_binary64_18088` `pow-prod-up_binary64_6286` `pow1/3_binary64_14141` `pow-sqr_binary64_8235` `frac-2neg_binary64_23277` `cube-mult_binary64_12725` `distribute-lft-out_binary64_24240` `div-sub_binary64_17474` `pow-flip_binary64_22317` `rem-cube-cbrt_binary64_8967` `pow1/2_binary64_1522` `frac-2neg_binary64_89` `pow-plus_binary64_2869` `unpow3_binary64_12420` `pow-sqr_binary64_11645` `pow-prod-up_binary64_13788` `associate-+l+_binary64_693` `1-exp_binary64_21605` `div-exp_binary64_5585` `inv-pow_binary64_15167` `sqr-pow_binary64_8575` `log-div_binary64_506` `distribute-rgt-in_binary64_2756` `flip-+_binary64_23581` `sub-div_binary64_22250` `pow-to-exp_binary64_23335` `associate-l/_binary64_19799` `flip--_binary64_1076` `cube-mult_binary64_15112` `flip3--_binary64_24634` `inv-pow_binary64_1868` `unpow3_binary64_15148` `associate-/l/_binary64_4117` `pow-to-exp_binary64_5944` `+-commutative_binary64_14671` `associate-+r-_binary64_8878` `pow-prod-up_binary64_14470` `rec-exp_binary64_8312` `sqr-pow_binary64_1073` `unsub-neg_binary64_754` `rem-square-sqrt_binary64_3841` `pow-prod-up_binary64_23336` `pow-sqr_binary64_6189` `associate-/l/_binary64_8209` `frac-add_binary64_5883` `pow2_binary64_19255` `cube-prod_binary64_9995` `pow1/2_binary64_13798` `pow-to-exp_binary64_8672` `clear-num_binary64_22924` `associate-/r/_binary64_24` `sqrt-div_binary64_17827` `sqr-abs_binary64_2821` `pow-prod-down_binary64_24701` `cbrt-div_binary64_5907` `cube-mult_binary64_4541` `pow1/2_binary64_19936` `pow-flip_binary64_4926` `rem-sqrt-square_binary64_13731` `exp-diff_binary64_12743` `difference-of-sqr-1_binary64_22554` `distribute-lft-in_binary64_2755` `pow-pow_binary64_15154` `pow-plus_binary64_19237` `associate-+l+_binary64_5467` `unpow3_binary64_10033` `distribute-rgt1-in_binary64_716` `sub-neg_binary64_3481` `associate--l+_binary64_12973` `pow2_binary64_9025` `prod-exp_binary64_8311` `pow-prod-up_binary64_8332` `cancel-sign-sub-inv_binary64_1408` `diff-log_binary64_12446` `frac-2neg_binary64_22936` `unpow3_binary64_4577` `rem-cube-cbrt_binary64_12718` `unpow-prod-up_binary64_10727` `associate-+r+_binary64_1715` `pow-exp_binary64_17196` `associate-+l+_binary64_13651` `associate--l+_binary64_5812` `diff-log_binary64_11423` `cube-prod_binary64_12723` `sub-neg_binary64_14734` `un-div-inv_binary64_19172` `inv-pow_binary64_12439` `sub-neg_binary64_12347` `pow-sqr_binary64_18124` `sqr-pow_binary64_14372` `1-exp_binary64_1827` `sqrt-unprod_binary64_12715` `distribute-rgt-out_binary64_1395` `sqr-pow_binary64_10280` `clear-num_binary64_759` `pow-prod-up_binary64_24359` `pow-prod-up_binary64_13106` `difference-of-squares_binary64_22894` `-commutative_binary64_23197` `pow-sqr_binary64_24262` `sum-log_binary64_24721` `pow-sqr_binary64_23239` `cube-mult_binary64_14430` `sqr-pow_binary64_15054` `distribute-rgt-in_binary64_3438` `unpow-prod-down_binary64_14479` `associate-+r-_binary64_18767` `div-inv_binary64_757` `pow-exp_binary64_4579` `1-exp_binary64_10011` `unpow3_binary64_9010` `div-sub_binary64_19179` `pow-exp_binary64_5261` `diff-log_binary64_24722` `pow1/3_binary64_19597` `associate-l/_binary64_9228` `unswap-sqr_binary64_5843` `pow-prod-down_binary64_8333` `pow-sqr_binary64_4484` `pow-pow_binary64_10039` `rec-exp_binary64_16837` `cube-mult_binary64_8974` `associate-/r/_binary64_7867` `cube-prod_binary64_15110` `unpow-prod-down_binary64_17548` `sqr-pow_binary64_17441` `flip-+_binary64_14715` `log-div_binary64_12782` `div-inv_binary64_15761` `distribute-lft-neg-in_binary64_21518` `sqrt-pow1_binary64_18510` `sqr-abs_binary64_3162` `clear-num_binary64_19855` `pow-exp_binary64_15150` `sqr-pow_binary64_9939` `frac-add_binary64_18159` `distribute-rgt-out--_binary64_22197` `inv-pow_binary64_22328` `associate-+r+_binary64_13650` `distribute-lft-in_binary64_3437` `associate-/l/_binary64_8891` `pow-sqr_binary64_20170` `unpow3_binary64_12761` `associate-+l+_binary64_3421` `prod-exp_binary64_4560` `pow2_binary64_15845` `rem-sqrt-square_binary64_5206` `+-commutative_binary64_22514` `sqrt-div_binary64_20896` `associate--r-_binary64_14339` `associate-+r+_binary64_3761` `distribute-neg-frac_binary64_19479` `log-div_binary64_22671`
1×	`associate-+r-_binary64_14334` `div-sub_binary64_20543` `inv-pow_binary64_18236` `difference-of-sqr-1_binary64_7891` `pow-plus_binary64_19919` `pow-exp_binary64_10376` `pow-to-exp_binary64_16515` `cancel-sign-sub-inv_binary64_6864` `associate-+l-_binary64_2400` `difference-of-sqr--1_binary64_390` `un-div-inv_binary64_3486` `sqrt-unprod_binary64_12374` `pow2_binary64_7320` `distribute-lft-neg-in_binary64_20154` `div-sub_binary64_9972` `pow-flip_binary64_3903` `pow2_binary64_14481` `neg-log_binary64_12788` `difference-of-sqr-1_binary64_6527` `div-inv_binary64_7918` `pow-sqr_binary64_16078` `sum-log_binary64_9376` `associate-+l-_binary64_2059` `frac-2neg_binary64_7932` `distribute-lft-out_binary64_3780` `associate--l-_binary64_7859` `distribute-lft-out--_binary64_4122` `distribute-lft-out--_binary64_22536` `associate-+r+_binary64_5807` `pow-prod-up_binary64_22654` `pow2_binary64_11753` `pow-plus_binary64_15486` `rem-log-exp_binary64_12736` `pow-plus_binary64_6279` `associate-/r/_binary64_5821` `distribute-lft-out--_binary64_22877` `pow2_binary64_6297` `rem-log-exp_binary64_119` `associate-/r/_binary64_24235` `cube-mult_binary64_16476` `sum-log_binary64_4602` `distribute-rgt-out--_binary64_8557` `un-div-inv_binary64_22241` `distribute-rgt-out_binary64_14353` `sqrt-div_binary64_23965` `distribute-lft-out_binary64_3098` `difference-of-squares_binary64_5162` `pow-plus_binary64_23329` `sqrt-unprod_binary64_3167` `distribute-rgt-out_binary64_4123` `pow2_binary64_24370` `sqrt-unprod_binary64_19194` `distribute-rgt-out_binary64_15035` `pow2_binary64_13799` `inv-pow_binary64_8347` `sum-log_binary64` `pow-exp_binary64_1510` `sqrt-unprod_binary64_15443` `associate-+l+_binary64_17743` `+-commutative_binary64_23196` `inv-pow_binary64_11416` `associate-+r-_binary64_5468` `pow2_binary64_15163` `inv-pow_binary64_13803` `pow-to-exp_binary64_22653` `sqrt-prod_binary64_4868` `associate-+r-_binary64_21495` `rem-exp-log_binary64_19896` `pow-exp_binary64_7989` `associate-+r-_binary64_17062` `pow-pow_binary64_2196` `associate-+l+_binary64_13310` `pow-to-exp_binary64_1170` `cube-mult_binary64_5223` `div-sub_binary64_21907` `diff-log_binary64_13128` `cbrt-div_binary64_19547` `associate--l+_binary64_17065` `neg-sub0_binary64_12008` `remove-double-div_binary64_14376` `pow-pow_binary64_22656` `pow-exp_binary64_2192` `associate-+l-_binary64_11266` `pow-to-exp_binary64_10377` `sqrt-unprod_binary64_4190` `associate-/r/_binary64_12641` `diff-log_binary64_22335` `distribute-rgt-out_binary64_19809` `pow-pow_binary64_3901` `inv-pow_binary64_2209` `un-div-inv_binary64_4850` `inv-pow_binary64_18918` `cancel-sign-sub-inv_binary64_24596` `div-sub_binary64_17815` `associate-/r/_binary64_6503` `frac-times_binary64_14751` `sqrt-pow1_binary64_23966` `associate--r+_binary64_7857` `pow-pow_binary64_16518` `cube-mult_binary64_19204` `difference-of-squares_binary64_2775` `flip3--_binary64_2810` `pow2_binary64_2205` `associate--l+_binary64_10245` `pow-flip_binary64_8336` `distribute-lft-in_binary64_9234` `inv-pow_binary64_4937` `pow-to-exp_binary64_19243` `sqrt-pow1_binary64_20897` `distribute-lft-neg-in_binary64_15039` `remove-double-div_binary64_7215` `rem-cube-cbrt_binary64_14764` `pow-flip_binary64_6972` `div-exp_binary64_7972` `exp-diff_binary64_3877` `neg-sub0_binary64_14395` `pow-plus_binary64_2187` `associate--r+_binary64_5811` `neg-sub0_binary64_21556` `rem-square-sqrt_binary64_4182` `pow2_binary64_15504` `sqrt-pow2_binary64_5894` `flip3-+_binary64_13380` `pow-pow_binary64_14813` `associate-+l-_binary64_11607` `pow-flip_binary64_5949` `1-exp_binary64_22969` `unsub-neg_binary64_17804` `diff-log_binary64_2898` `rem-sqrt-square_binary64_1114` `rem-sqrt-square_binary64_20892` `associate-/r/_binary64_19802` `div-sub_binary64_7926` `rem-log-exp_binary64_460` `distribute-frac-neg_binary64_5838` `pow-plus_binary64_6961` `associate-l/_binary64_14684` `diff-log_binary64_3239` `rem-cbrt-cube_binary64_15106` `rem-square-sqrt_binary64_14753` `diff-log_binary64_14151` `distribute-rgt1-in_binary64_3785` `sqrt-unprod_binary64_18853` `pow-to-exp_binary64_1511` `inv-pow_binary64_17895` `associate--l+_binary64_16724` `associate-r/_binary64_24572` `pow2_binary64_10730` `flip-+_binary64_6190` `pow-exp_binary64_3556` `associate-+l-_binary64_5810` `rem-cube-cbrt_binary64_4875` `rem-square-sqrt_binary64_3159` `associate-+l-_binary64_16381` `diff-log_binary64_21312` `distribute-rgt-out_binary64_3782` `rec-exp_binary64_22975` `cancel-sign-sub-inv_binary64_2772` `rem-sqrt-square_binary64_17823` `neg-log_binary64_15175` `+-commutative_binary64` `div-exp_binary64_8995` `rem-square-sqrt_binary64_12707` `pow-plus_binary64_18214` `+-commutative_binary64_19786` `inv-pow_binary64_10052` `+-commutative_binary64_4441` `unpow1/3_binary64_2191` `pow2_binary64_23347` `cube-mult_binary64_1131` `pow2_binary64_20278` `div-sub_binary64_19520` `rem-square-sqrt_binary64_17140` `un-div-inv_binary64_10988` `+-commutative_binary64_5123` `pow-flip_binary64_2539` `rem-log-exp_binary64_2506` `distribute-lft1-in_binary64_1397` `pow1/2_binary64_12093` `rem-cube-cbrt_binary64_16810` `frac-2neg_binary64_4181` `sub-neg_binary64_6891` `cube-div_binary64_16475` `inv-pow_binary64_6983` `rem-log-exp_binary64_19556` `distribute-lft-neg-in_binary64_12652` `pow-to-exp_binary64_14810` `cbrt-undiv_binary64_23982` `neg-sub0_binary64_5529` `sqr-abs_binary64_9641` `pow-pow_binary64_3560` `inv-pow_binary64_20964` `inv-pow_binary64_21646` `associate--l+_binary64_24567` `pow2_binary64_16186` `un-div-inv_binary64_14739` `inv-pow_binary64_21987` `distribute-rgt1-in_binary64_4126` `difference-of-sqr-1_binary64_13006` `inv-pow_binary64_10393` `distribute-lft-out_binary64_19807` `distribute-rgt-out_binary64_20150` `rem-cube-cbrt_binary64_7944` `associate--r+_binary64_16723` `+-commutative_binary64_14330` `pow2_binary64_8002` `pow2_binary64` `rem-square-sqrt_binary64_8615` `rem-square-sqrt_binary64_19186` `pow1/2_binary64_10729` `pow2_binary64_3228` `sqr-pow_binary64_16418` `+-commutative_binary64_13307` `sqrt-pow1_binary64_10667` `pow-to-exp_binary64_10036` `distribute-rgt-neg-out_binary64_5835` `pow-flip_binary64_17884` `diff-log_binary64_6990` `associate-+l-_binary64_14676` `sum-log_binary64_19947` `rem-cbrt-cube_binary64_23290` `div-exp_binary64_23999` `pow-flip_binary64_20271` `rem-cbrt-cube_binary64_7945` `rem-cbrt-cube_binary64_9991` `rem-cbrt-cube_binary64_12719` `sqr-abs_binary64_17143` `sum-log_binary64_23357` `pow-plus_binary64_13781` `unpow3_binary64_1167` `rem-square-sqrt_binary64_18845` `pow-plus_binary64_16168` `pow-plus_binary64_12417` `pow-flip_binary64_13451` `neg-sub0_binary64_12690` `unsub-neg_binary64_12689` `sum-log_binary64_1192` `pow1/2_binary64_24028` `pow-plus_binary64_22647` `pow1/2_binary64_20959` `inv-pow_binary64_16531` `distribute-rgt-out_binary64_12648` `pow-to-exp_binary64_3557` `rec-exp_binary64_3538` `pow2_binary64_23006` `pow-pow_binary64_10380` `difference-of-sqr-1_binary64_12665` `unpow3_binary64_19240` `pow-to-exp_binary64_3898` `inv-pow_binary64_2550` `pow-plus_binary64_15145` `associate--r-_binary64_10588` `pow-plus_binary64_14463` `rem-square-sqrt_binary64_9638` `pow-sqr_binary64_10622` `cbrt-undiv_binary64_4204` `unpow3_binary64_5259` `pow-plus_binary64_7302` `diff-log_binary64_6649` `flip-+_binary64_13351` `un-div-inv_binary64_22923` `flip--_binary64_22900` `exp-diff_binary64_12061` `div-sub_binary64_13723` `div-sub_binary64_10313` `difference-of-sqr-1_binary64_4140` `associate-+r-_binary64_12629` `sqrt-unprod_binary64_9646` `rem-sqrt-square_binary64_12367` `rem-cbrt-cube_binary64_4876` `pow-exp_binary64_16855` `rem-square-sqrt_binary64_15435` `neg-log_binary64_21654` `pow2_binary64_6979` `rem-cbrt-cube_binary64_16811` `pow2_binary64_12776` `+-commutative_binary64_16717` `associate-+r-_binary64_12` `inv-pow_binary64_11757` `sqrt-unprod_binary64_8623` `sqrt-unprod_binary64_2826` `pow-plus_binary64_10712` `frac-times_binary64_12705` `sqr-abs_binary64_4185` `sqr-abs_binary64_18848` `rem-cbrt-cube_binary64_22608` `rem-cbrt-cube_binary64_5899` `pow-pow_binary64_4924` `frac-times_binary64_24299` `distribute-rgt-in_binary64_9235` `neg-log_binary64_14493` `pow-pow_binary64_7993` `pow-prod-up_binary64_16175` `inv-pow_binary64_5960` `associate-+r-_binary64_19108` `rem-cbrt-cube_binary64_14765` `rem-sqrt-square_binary64_10662` `frac-sub_binary64_3838` `diff-log_binary64_1193` `pow2_binary64_12435` `rem-cube-cbrt_binary64_3852` `pow-to-exp_binary64_7990` `div-sub_binary64_15769` `pow-exp_binary64_22652` `inv-pow_binary64_3232` `pow-plus_binary64_7984` `div-exp_binary64_4221` `pow-plus_binary64_8325` `frac-add_binary64_14067` `+-commutative_binary64_1031` `frac-times_binary64_12364` `inv-pow_binary64_15508` `un-div-inv_binary64_3827` `rem-cube-cbrt_binary64_4534` `diff-log_binary64_16197` `rem-cbrt-cube_binary64_4535` `rem-log-exp_binary64_10349` `associate--l+_binary64_5130` `associate--l-_binary64_18771` `neg-log_binary64_5627` `pow-flip_binary64_18225` `inv-pow_binary64_16872` `sqrt-pow2_binary64_17147` `sqrt-pow1_binary64_1119` `div-sub_binary64_6903` `1-exp_binary64_122` `pow-exp_binary64_19242` `div-sub_binary64_13041` `pow-plus_binary64_12758` `pow-plus_binary64_4574` `div-sub_binary64_17133` `1-exp_binary64_3532` `distribute-lft1-in_binary64_19811` `pow1/2_binary64_17890` `un-div-inv_binary64_21900` `unsub-neg_binary64_21555` `pow-flip_binary64_10041` `unpow3_binary64_16512` `+-commutative_binary64_23878` `neg-sub0_binary64_15077` `pow-plus_binary64_22988` `frac-2neg_binary64_8955` `distribute-lft-out_binary64_17420` `cbrt-undiv_binary64_8978` `sqr-pow_binary64_1414` `unsub-neg_binary64_5528` `pow-flip_binary64_16520` `sqrt-unprod_binary64_17148` `flip--_binary64_2781` `pow-plus_binary64_3210` `pow-to-exp_binary64_14469` `-commutative_binary64_8193` `div-sub_binary64_24635` `sub-div_binary64_15430` `rem-log-exp_binary64_7280` `distribute-lft-out--_binary64_5145` `pow-flip_binary64_21635` `sub-div_binary64_9633` `flip3--_binary64_22929` `distribute-lft-out_binary64_14692` `pow-plus_binary64_24352` `sqrt-unprod_binary64` `flip3-+_binary64_6219` `div-sub_binary64_13382` `+-commutative_binary64_20468` `pow-flip_binary64_20953` `rec-exp_binary64_128` `associate-+l-_binary64_10584` `div-inv_binary64_4167` `rem-cbrt-cube_binary64_12378` `sum-log_binary64_24039` `frac-add_binary64_6906` `clear-num_binary64_8943` `pow-to-exp_binary64_16856` `exp-to-pow_binary64_19918` `rem-sqrt-square_binary64_12026` `pow-flip_binary64_10382` `exp-neg_binary64_12060` `pow-flip_binary64_18907` `div-inv_binary64_8941` `frac-2neg_binary64_23959` `pow-exp_binary64_3897` `pow-plus_binary64` `pow2_binary64_22665` `rem-cube-cbrt_binary64_22607` `+-commutative_binary64_23537` `pow1/2_binary64_1181` `sqr-abs_binary64_8618` `rem-cbrt-cube_binary64_3853` `inv-pow_binary64_20282` `associate-+r+_binary64_10922` `rem-exp-log_binary64_3869` `div-sub_binary64_3834` `pow-pow_binary64_6288` `frac-add_binary64_15090` `inv-pow_binary64_13462` `pow-flip_binary64_15497` `pow-pow_binary64_16859` `diff-log_binary64_23358` `rem-square-sqrt_binary64_12366` `pow-pow_binary64_5265` `un-div-inv_binary64_20536` `distribute-lft-out_binary64_7531` `unsub-neg_binary64_5869` `pow-plus_binary64_11735` `rem-square-sqrt_binary64` `pow2_binary64_18232` `pow-sqr_binary64_22557` `pow-flip_binary64_11746` `pow-exp_binary64_14809` `rem-square-sqrt_binary64_2818` `pow-flip_binary64_2198` `inv-pow_binary64_3914` `associate-+r-_binary64_8537` `sum-log_binary64_6307` `un-div-inv_binary64_17808` `div-sub_binary64_3493` `rem-cube-cbrt_binary64_12377` `pow-to-exp_binary64_2193` `un-div-inv_binary64_12352` `sqrt-unprod_binary64_14761` `sqrt-pow1_binary64_17828` `difference-of-sqr-1_binary64_730` `sum-log_binary64_23698` `pow-flip_binary64_3221` `pow-plus_binary64_20260` `+-commutative_binary64_6146` `distribute-lft-neg-in_binary64_14357` `un-div-inv_binary64_76` `associate-/l/_binary64_12301` `un-div-inv_binary64_15421` `+-commutative_binary64_24560` `rem-cbrt-cube_binary64_14424` `unsub-neg_binary64_15076` `distribute-lft-out_binary64_5485` `associate-l/_binary64_24232` `pow-exp_binary64_1169` `clear-num_binary64_7920` `pow-to-exp_binary64_15151` `pow-flip_binary64_13792` `sub-neg_binary64_2799` `unsub-neg_binary64_14394` `cbrt-undiv_binary64_7955` `pow-flip_binary64_21976` `pow2_binary64_8343` `clear-num_binary64_4169` `rem-exp-log_binary64_10348` `sqrt-pow1_binary64_12031` `associate-/l/_binary64_9232` `un-div-inv_binary64_6896` `pow-flip_binary64_11405` `pow2_binary64_4592` `clear-num_binary64_23947` `neg-mul-1_binary64_17806` `sub-neg_binary64_24623`

Counts

2504 → 79718

Calls

1771 calls:

219.0ms	(-.f64 (.f64 (.f64 (-.f64 z x) (/.f64 1 y)) (+.f64 x z)) y)
192.0ms	(log.f64 (/.f64 x (-.f64 1 x)))
192.0ms	(log.f64 (-.f64 1 y))
168.0ms	(+.f64 x (/.f64 (/.f64 (-.f64 y x) (-.f64 a t)) (/.f64 1 (-.f64 z t))))
159.0ms	(-.f64 (+.f64 x y) (/.f64 (/.f64 (-.f64 z t) (-.f64 a t)) (/.f64 1 y)))

Compiler

Compiled 2380765 to 1039366 computations (56.3% saved)

simplify1.6min (5.7%)

Algorithm

1432×

egg-herbie

Counts

114058 → 114058

Compiler

Compiled 4134 to 2996 computations (27.5% saved)

localize8.8s (0.5%)

bsearch5.9s (0.3%)

Compiler: Compiled 412 to 488 computations (-18.4% saved)

Details

series9.0min (32.1%)

sample7.0min (24.9%)

regimes2.8min (10.1%)

analyze2.7min (9.5%)

prune2.3min (8.3%)

rewrite2.3min (8.3%)

simplify1.6min (5.7%)

localize8.8s (0.5%)

bsearch5.9s (0.3%)

end5.0ms (0%)

Profiling