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

Details

series31.6min (34.7%)

Counts

4706 → 56327

Calls

3272 calls:

2.2min	(/.f64 (.f64 (cbrt.f64 (+.f64 (.f64 z (+.f64 y x)) (-.f64 (.f64 a (+.f64 y t)) (.f64 y b)))) (cbrt.f64 (+.f64 (.f64 z (+.f64 y x)) (-.f64 (.f64 a (+.f64 y t)) (.f64 y b))))) (.f64 (cbrt.f64 (+.f64 y (+.f64 t x))) (cbrt.f64 (+.f64 y (+.f64 t x)))))
2.1min	(.f64 (cbrt.f64 (/.f64 (+.f64 x (/.f64 (-.f64 (.f64 z y) x) (-.f64 (.f64 t z) x))) (+.f64 x 1))) (cbrt.f64 (/.f64 (+.f64 x (/.f64 (-.f64 (.f64 z y) x) (-.f64 (*.f64 t z) x))) (+.f64 x 1))))
39.5s	(-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (.f64 (cos.f64 (.f64 (/.f64 angle 180) PI.f64)) (.f64 (sin.f64 (.f64 (/.f64 angle 180) PI.f64)) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 x-scale y-scale)) 2))))
10.2s	(/.f64 (/.f64 (.f64 (.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (.f64 beta alpha) (.f64 i (+.f64 (+.f64 alpha beta) i)))) (.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) (+.f64 (+.f64 alpha beta) (.f64 2 i)))) (-.f64 (.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) (+.f64 (+.f64 alpha beta) (.f64 2 i))) 1))
9.4s	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))

Compiler

Compiled 4637597 to 3129456 computations (32.5% saved)

sample27.0min (29.6%)

Algorithm

978×

intervals

Results

3.1min	3361168×	body	128	valid
2.5min	277317×	body	1024	valid
1.8min	15734×	body	8192	exit
1.4min	90068×	body	2048	valid
1.2min	15327×	body	4096	valid
45.5s	147862×	body	512	valid
38.0s	358913×	body	128	invalid
27.0s	2324×	body	8192	valid
17.2s	101314×	body	256	valid
16.7s	33555×	body	1024	invalid
15.5s	164470×	body	128	nan
12.5s	2112×	body	4096	invalid
9.6s	351808×	pre	128	true
9.3s	2706×	body	2048	invalid
8.3s	17672×	body	1024	nan
6.0s	18381×	body	512	invalid
3.0s	9448×	body	512	nan
2.3s	13536×	body	128	overflowed
2.2s	9572×	body	256	invalid
2.0s	5357×	body	2048	nan
1.6s	1555×	body	1024	overflowed
996.0ms	5022×	body	256	nan
625.0ms	34×	body	8192	invalid
506.0ms	835×	body	512	overflowed
225.0ms	374×	body	2048	overflowed
129.0ms	419×	body	256	overflowed
15.0ms	309×	pre	128	false
2.0ms	1×	body	8192	nan
2.0ms	5×	body	4096	nan

Compiler

Compiled 616553 to 449222 computations (27.1% saved)

analyze8.5min (9.3%)

Algorithm

493×	search
990×	egg-herbie
2×	random

Search

True	Other	False	Iter
0%	92.2%	7.8%	0
3%	89.2%	7.8%	1
6%	85.6%	8.4%	2
13.7%	76.3%	9.9%	3
18.5%	69.7%	11.8%	4
25.5%	61.8%	12.6%	5
30.1%	55.7%	14.2%	6
35.4%	48.5%	16%	7
38.8%	44.1%	17.1%	8
42.8%	38.9%	18.4%	9
45.6%	34.7%	19.6%	10
48.3%	31.3%	20.4%	11
50.5%	28.4%	21.1%	12
53%	24.9%	22.1%	13
54.4%	23.2%	22.5%	14

Compiler

Compiled 8773 to 6943 computations (20.9% saved)

regimes6.9min (7.6%)

Compiler: Compiled 3932561 to 2890070 computations (26.5% saved)

rewrite6.8min (7.4%)

Algorithm

1629×

rewrite-expression-head

Rules

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

Counts

4718 → 144834

Calls

3275 calls:

389.0ms	(-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (.f64 (cos.f64 (.f64 (/.f64 angle 180) PI.f64)) (.f64 (sin.f64 (.f64 (/.f64 angle 180) PI.f64)) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (.f64 x-scale y-scale)) 2))))
285.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
249.0ms	(.f64 3 (.f64 x x))
236.0ms	(cbrt.f64 (pow.f64 (+.f64 (*.f64 841/108 x) 4/29) 3))
205.0ms	(-.f64 1 (pow.f64 (/.f64 (/.f64 (+.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 -5125037576950889/18014398509481984 (+.f64 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496) 1))) (/.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 (-.f64 1 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) (-.f64 1 (.f64 (.f64 x x) 2176625624901896097756115991881/20282409603651670423947251286016))) 4780145094533421/4503599627370496)) (+.f64 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496) 1))) (+.f64 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496) 1)) (+.f64 (.f64 (fabs.f64 x) 1475339155889891/4503599627370496) 1))) (+.f64 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496) 1)) (pow.f64 (exp.f64 x) x)) 3))

Compiler

Compiled 5099079 to 2584769 computations (49.3% saved)

prune6.2min (6.8%)

Counts: 210100 → 11850
Compiler: Compiled 6013563 to 2904228 computations (51.7% saved)

simplify3.6min (4%)

Algorithm

2600×

egg-herbie

Counts

200836 → 200836

Compiler

Compiled 8644 to 5938 computations (31.3% saved)

localize23.2s (0.4%)

Compiler: Compiled 6120 to 10200 computations (-66.7% saved)

bsearch9.8s (0.2%)

Compiler: Compiled 863 to 903 computations (-4.6% saved)

Details

series31.6min (34.7%)

sample27.0min (29.6%)

analyze8.5min (9.3%)

regimes6.9min (7.6%)

rewrite6.8min (7.4%)

prune6.2min (6.8%)

simplify3.6min (4%)

localize23.2s (0.4%)

bsearch9.8s (0.2%)

end10.0ms (0%)

Profiling