Date:	Monday, December 21st, 2020
Commit:	171b8bea on symmetry
Hostname:	warfa with Racket 7.9
Seed:	2020356
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

sample20.0min (36%)

Algorithm

982×

intervals

Results

3.2min	20693×	body	8192	exit
2.6min	3380183×	body	128	valid
2.1min	277546×	body	1024	valid
1.2min	90068×	body	2048	valid
1.1min	16326×	body	4096	valid
37.3s	147596×	body	512	valid
30.9s	2873×	body	8192	valid
30.3s	358604×	body	128	invalid
14.9s	101907×	body	256	valid
14.2s	33883×	body	1024	invalid
13.3s	164279×	body	128	nan
10.0s	400501×	pre	128	true
9.9s	2226×	body	4096	invalid
7.5s	2704×	body	2048	invalid
7.1s	17632×	body	1024	nan
6.3s	4781×	body	1024	overflowed
5.5s	32696×	body	128	overflowed
5.0s	18318×	body	512	invalid
2.6s	9598×	body	512	nan
1.9s	2633×	body	512	overflowed
1.8s	5389×	body	2048	nan
1.7s	9503×	body	256	invalid
865.0ms	5105×	body	256	nan
495.0ms	1317×	body	256	overflowed
483.0ms	33×	body	8192	invalid
185.0ms	385×	body	2048	overflowed
7.0ms	236×	pre	128	false
5.0ms	2×	body	8192	nan
4.0ms	11×	body	4096	nan

Compiler

Compiled 339754 to 247143 computations (27.3% saved)

series13.8min (24.9%)

Calls

4935 calls:

1.8min	(log.f64 (/.f64 (/.f64 (-.f64 1 (pow.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3) 3)) (+.f64 1 (+.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3) (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 6)))) (+.f64 1 (*.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))))
32.6s	(+.f64 1 (.f64 (/.f64 -1 (pow.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) (.f64 (.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))) (pow.f64 (exp.f64 (*.f64 x x)) -2))))
11.7s	(-.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))))
4.4s	(/.f64 (.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1)) (.f64 (-.f64 (exp.f64 (.f64 a eps)) 1) (+.f64 (.f64 b eps) (.f64 (.f64 b b) (+.f64 (.f64 b (.f64 1/6 (pow.f64 eps 3))) (.f64 1/2 (*.f64 eps eps)))))))
3.9s	(-.f64 (.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (pow.f64 (.f64 (tan.f64 x) (tan.f64 eps)) 3))) (+.f64 (.f64 1 1) (+.f64 (/.f64 (.f64 (tan.f64 x) (.f64 (sin.f64 x) (pow.f64 (sin.f64 eps) 2))) (.f64 (cos.f64 x) (pow.f64 (cos.f64 eps) 2))) (.f64 1 (.f64 (tan.f64 x) (tan.f64 eps)))))) (tan.f64 x))

prune7.3min (13.2%)

Compiler: Compiled 5690680 to 2859103 computations (49.8% saved)

analyze6.6min (11.9%)

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.6%	69.7%	11.8%	4
25.6%	61.8%	12.6%	5
30.2%	55.6%	14.2%	6
35.4%	48.5%	16%	7
38.8%	44.1%	17.1%	8
42.8%	38.8%	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)

simplify3.1min (5.6%)

Algorithm

2623×

egg-herbie

Compiler

Compiled 7404 to 5212 computations (29.6% saved)

regimes2.9min (5.2%)

Accuracy

Total 414.6b remaining (22.8%)

Threshold costs 60.2b (3.3%)

16.4b	53.4%	math.sqrt on complex, real part
13.0b	58.7%	Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.2b	63.7%	Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
10.6b	65.5%	FRP.Yampa.Vector3:vector3Rho from Yampa-0.10.2
10.0b	10.6%	Simplification of discriminant from scale-rotated-ellipse

Compiler

Compiled 1984305 to 1444494 computations (27.2% saved)

rewrite1.3min (2.3%)

Algorithm

1647×

rewrite-expression-head

Rules

14583×	`frac-times_binary64`
13545×	`associate-*r/_binary64`
10924×	`flip3-+_binary64` `flip-+_binary64`
7879×	`frac-add_binary64`
7348×	`times-frac_binary64_84`
6150×	`times-frac_binary64_425`
5818×	`times-frac_binary64_5540`
5219×	`times-frac_binary64_19180`
5195×	`times-frac_binary64_9973`
5018×	`associate-/l/_binary64`
5006×	`add-sqr-sqrt_binary64_100`
5005×	`*-un-lft-identity_binary64_78`
4901×	`associate-*l/_binary64`
4553×	`times-frac_binary64`
4545×	`*-un-lft-identity_binary64_419`
4462×	`times-frac_binary64_12701`
4394×	`*-un-lft-identity_binary64_1442`
4352×	`*-un-lft-identity_binary64`
4310×	`add-sqr-sqrt_binary64`
4294×	`add-sqr-sqrt_binary64_441`
4191×	`add-sqr-sqrt_binary64_12717`
4174×	`*-un-lft-identity_binary64_12695`
4170×	`*-un-lft-identity_binary64_1783`
3955×	`add-cube-cbrt_binary64_113`
3876×	`times-frac_binary64_1448`
3585×	`times-frac_binary64_1789`
3298×	`add-sqr-sqrt_binary64_1464`
3240×	`add-cube-cbrt_binary64_454`
3201×	`add-exp-log_binary64`
3118×	`times-frac_binary64_13383`
3086×	`add-sqr-sqrt_binary64_1805`
3056×	`*-un-lft-identity_binary64_9967`
3048×	`times-frac_binary64_1107`
3025×	`flip3--_binary64` `flip--_binary64`
3001×	`*-un-lft-identity_binary64_1101`
2964×	`add-sqr-sqrt_binary64_5556`
2793×	`*-un-lft-identity_binary64_5534`
2758×	`add-cube-cbrt_binary64`
2693×	`add-cube-cbrt_binary64_5569`
2658×	`add-sqr-sqrt_binary64_9989`
2586×	`cbrt-prod_binary64_5565`
2565×	`add-sqr-sqrt_binary64_19196`
2556×	`*-un-lft-identity_binary64_13377`
2528×	`add-sqr-sqrt_binary64_1123`
2438×	`*-un-lft-identity_binary64_19174`
2433×	`add-sqr-sqrt_binary64_13399`
2432×	`add-cube-cbrt_binary64_19209`
2401×	`add-exp-log_binary64_457`
2343×	`times-frac_binary64_15088`
2291×	`*-un-lft-identity_binary64_2124`
2245×	`add-cube-cbrt_binary64_10002`
2194×	`add-exp-log_binary64_798`
2172×	`add-sqr-sqrt_binary64_15104`
2158×	`add-cube-cbrt_binary64_1477`
2128×	`add-sqr-sqrt_binary64_2146`
2065×	`*-un-lft-identity_binary64_15082`
2059×	`*-un-lft-identity_binary64_2465`
2044×	`add-cube-cbrt_binary64_1818`
2029×	`times-frac_binary64_13042`
2006×	`*-un-lft-identity_binary64_13036`
1956×	`add-sqr-sqrt_binary64_3169`
1932×	`times-frac_binary64_18498`
1906×	`add-exp-log_binary64_1480`
1883×	`add-cube-cbrt_binary64_1136`
1880×	`times-frac_binary64_2130`
1868×	`times-frac_binary64_6904`
1842×	`add-sqr-sqrt_binary64_782`
1807×	`*-un-lft-identity_binary64_760`
1806×	`add-cbrt-cube_binary64`
1796×	`add-sqr-sqrt_binary64_2487`
1729×	`sqrt-prod_binary64_94`
1718×	`cbrt-prod_binary64_19205`
1639×	`prod-exp_binary64`
1602×	`add-cube-cbrt_binary64_12730`
1563×	`add-cbrt-cube_binary64_796`
1545×	`times-frac_binary64_2471`
1535×	`difference-of-squares_binary64_12664`
1473×	`add-cube-cbrt_binary64_2159`
1456×	`times-frac_binary64_12019`
1446×	`times-frac_binary64_11678` `*-un-lft-identity_binary64_18151`
1430×	`add-sqr-sqrt_binary64_18514`
1421×	`times-frac_binary64_21226`
1416×	`*-un-lft-identity_binary64_18492`
1387×	`add-cbrt-cube_binary64_455`
1376×	`add-exp-log_binary64_3867`
1357×	`*-un-lft-identity_binary64_12013`
1313×	`add-cbrt-cube_binary64_1478`
1307×	`add-exp-log_binary64_1139`
1300×	`times-frac_binary64_2812`
1276×	`add-exp-log_binary64_116`
1272×	`add-cube-cbrt_binary64_795`
1260×	`pow1_binary64_139`
1253×	`times-frac_binary64_13724`
1244×	`times-frac_binary64_766`
1239×	`add-sqr-sqrt_binary64_6920`
1234×	`add-sqr-sqrt_binary64_2828` `add-sqr-sqrt_binary64_13058`
1220×	`add-sqr-sqrt_binary64_13740`
1209×	`*-un-lft-identity_binary64_6898`
1201×	`*-un-lft-identity_binary64_2806`
1192×	`times-frac_binary64_18157`
1174×	`add-cube-cbrt_binary64_13412`
1172×	`times-frac_binary64_3153`
1146×	`*-un-lft-identity_binary64_13718`
1130×	`times-frac_binary64_6222`
1124×	`pow1_binary64`
1123×	`add-cbrt-cube_binary64_1137`
1121×	`add-cube-cbrt_binary64_2500`
1119×	`sqrt-prod_binary64`
1103×	`add-sqr-sqrt_binary64_18173`
1086×	`add-sqr-sqrt_binary64_12035`
1082×	`times-frac_binary64_17475`
1043×	`add-sqr-sqrt_binary64_6238`
1041×	`times-frac_binary64_4176` `add-sqr-sqrt_binary64_21242`
1040×	`distribute-lft-out_binary64_1393`
1022×	`associate-r_binary64_1382`
1019×	`sqrt-prod_binary64_2140`
1017×	`*-un-lft-identity_binary64_3147`
1013×	`add-cbrt-cube_binary64_114`
1004×	`times-frac_binary64_10655`
1003×	`sqrt-prod_binary64_435`
984×	`*-un-lft-identity_binary64_21220`
979×	`*-un-lft-identity_binary64_6216`
964×	`add-cube-cbrt_binary64_2841`
957×	`add-exp-log_binary64_1821`
949×	`prod-exp_binary64_468`
934×	`add-exp-log_binary64_9323`
924×	`unpow-prod-down_binary64_12774` `cube-prod_binary64_12723` `add-cube-cbrt_binary64_15117`
911×	`add-cube-cbrt_binary64_13071`
909×	`prod-exp_binary64_809`
901×	`times-frac_binary64_9291`
899×	`associate-r_binary64_19114` `cbrt-unprod_binary64`
885×	`add-cbrt-cube_binary64_1819`
880×	`*-un-lft-identity_binary64_11672`
875×	`add-sqr-sqrt_binary64_4192` `associate-r_binary64_5474`
873×	`pow1_binary64_480`
870×	`cbrt-div_binary64_4543` `cbrt-prod_binary64`
863×	`add-cube-cbrt_binary64_18527`
858×	`times-frac_binary64_17134`
851×	`add-sqr-sqrt_binary64_11694`
824×	`associate-r_binary64`
821×	`add-cube-cbrt_binary64_6933`
815×	`add-cube-cbrt_binary64_12048`
800×	`times-frac_binary64_17816`
795×	`sqrt-prod_binary64_19190`
790×	`*-un-lft-identity_binary64_4170`
788×	`distribute-lft-out_binary64_12646`
775×	`add-cube-cbrt_binary64_11707`
773×	`add-sqr-sqrt_binary64_17491`
772×	`add-exp-log_binary64_2162`
767×	`sqrt-prod_binary64_1117`
760×	`*-un-lft-identity_binary64_18833`
745×	`add-sqr-sqrt_binary64_10671`
732×	`add-cube-cbrt_binary64_4205`
727×	`*-un-lft-identity_binary64_3488`
720×	`pow1_binary64_821`
718×	`prod-exp_binary64_3878`
711×	`add-cube-cbrt_binary64_3182`
707×	`sqrt-prod_binary64_1458`
705×	`times-frac_binary64_6563`
703×	`*-un-lft-identity_binary64_3829`
701×	`*-un-lft-identity_binary64_10649`
696×	`add-sqr-sqrt_binary64_14081`
695×	`prod-exp_binary64_1491`
693×	`*-un-lft-identity_binary64_17469` `pow-exp_binary64_3897`
686×	`unpow-prod-down_binary64_3226`
680×	`add-sqr-sqrt_binary64_18855`
668×	`div-exp_binary64_470`
663×	`cbrt-prod_binary64_109`
662×	`pow1_binary64_2185`
661×	`times-frac_binary64_14065`
660×	`times-frac_binary64_18839` `sqrt-prod_binary64_18167`
659×	`*-un-lft-identity_binary64_9285`
650×	`frac-times_binary64_4521`
649×	`add-cube-cbrt_binary64_13753`
647×	`difference-of-squares_binary64_3116`
641×	`*-un-lft-identity_binary64_14059`
640×	`add-cube-cbrt_binary64_6251` `add-sqr-sqrt_binary64_3851`
637×	`add-cube-cbrt_binary64_10684` `associate-r_binary64_2405`
632×	`associate-r_binary64_359`
630×	`div-exp_binary64`
629×	`add-cbrt-cube_binary64_2160`
626×	`*-un-lft-identity_binary64_14741` `div-exp_binary64_811`
625×	`*-un-lft-identity_binary64_17128`
621×	`add-cube-cbrt_binary64_17504` `cbrt-unprod_binary64_793`
618×	`div-exp_binary64_3880`
617×	`pow1_binary64_1503`
616×	`*-un-lft-identity_binary64_17810`
606×	`*-un-lft-identity_binary64_16787`
605×	`add-sqr-sqrt_binary64_14763`
602×	`add-cube-cbrt_binary64_21255`
601×	`add-sqr-sqrt_binary64_17832`
600×	`add-sqr-sqrt_binary64_9307`
598×	`associate-*r/_binary64_1384`
594×	`distribute-lft-out_binary64_1734`
591×	`*-un-lft-identity_binary64_4511`
590×	`add-exp-log_binary64_2503`
589×	`add-sqr-sqrt_binary64_3510`
587×	`add-sqr-sqrt_binary64_17150` `difference-of-squares_binary64_13346`
586×	`times-frac_binary64_7586`
578×	`associate-r_binary64_18`
577×	`log-prod_binary64_12781` `*-un-lft-identity_binary64_6557`
569×	`add-cbrt-cube_binary64_2501`
558×	`log-pow_binary64_167`
556×	`add-cube-cbrt_binary64_18186` `pow1_binary64_1844`
555×	`pow1_binary64_2526`
553×	`*-un-lft-identity_binary64_12354`
552×	`*-un-lft-identity_binary64_9626`
549×	`add-sqr-sqrt_binary64_12376`
540×	`difference-of-squares_binary64`
539×	`times-frac_binary64_14747`
538×	`times-frac_binary64_16793`
535×	`times-frac_binary64_11337`
534×	`associate-l_binary64_1383`
531×	`add-exp-log_binary64_2844`
529×	`add-cube-cbrt_binary64_17163` `associate-/l*_binary64_364`
523×	`*-un-lft-identity_binary64_11331`
511×	`add-sqr-sqrt_binary64_16809`
510×	`add-cube-cbrt_binary64_9320`
504×	`add-sqr-sqrt_binary64_4533`
502×	`associate-r_binary64_2064` `sqrt-div_binary64_5210`
498×	`add-sqr-sqrt_binary64_6579`
497×	`div-exp_binary64_1493`
496×	`add-log-exp_binary64_1822`
493×	`difference-of-squares_binary64_388`
491×	`add-log-exp_binary64` `add-sqr-sqrt_binary64_22947`
489×	`add-sqr-sqrt_binary64_9648`
485×	`add-cube-cbrt_binary64_17845`
482×	`times-frac_binary64_9632`
481×	`pow1_binary64_1162` `difference-of-squares_binary64_15051`
480×	`associate-l_binary64`
476×	`prod-exp_binary64_9334`
475×	`*-un-lft-identity_binary64_10308`
469×	`pow-prod-down_binary64`
468×	`distribute-lft-out_binary64_1052`
466×	`cube-prod_binary64_3175`
464×	`cbrt-prod_binary64_6247`
461×	`prod-exp_binary64_1150`
457×	`add-sqr-sqrt_binary64_14422`
456×	`cbrt-unprod_binary64_1475`
454×	`distribute-lft-out--_binary64_1735`
452×	`add-sqr-sqrt_binary64_11353`
451×	`cbrt-unprod_binary64_452` `sqrt-prod_binary64_1799`
448×	`times-frac_binary64_22931`
447×	`add-cube-cbrt_binary64_18868` `associate-r_binary64_1723`
445×	`unpow-prod-down_binary64_157` `add-cube-cbrt_binary64_6592`
441×	`times-frac_binary64_3835`
438×	`cbrt-div_binary64_13750`
436×	`div-exp_binary64_9336` `add-log-exp_binary64_117`
433×	`add-exp-log_binary64_5572`
429×	`distribute-lft-out_binary64_370`
428×	`*-un-lft-identity_binary64_14400`
420×	`add-sqr-sqrt_binary64_20219` `add-cube-cbrt_binary64_3864`
413×	`difference-of-squares_binary64_1752`
412×	`cbrt-undiv_binary64`
408×	`add-log-exp_binary64_2163`
406×	`associate-l/_binary64_703` `associate-/r_binary64`
404×	`cbrt-div_binary64_1474`
400×	`add-cube-cbrt_binary64_11366` `times-frac_binary64_15429` `cbrt-prod_binary64_1473` `*-un-lft-identity_binary64_22925`
398×	`frac-times_binary64_1452`
396×	`associate-/r*_binary64_363`
395×	`exp-prod_binary64_1835`
393×	`cbrt-unprod_binary64_1134`
391×	`times-frac_binary64_20544`
387×	`add-sqr-sqrt_binary64_15445`
386×	`associate-/r*_binary64_22`
385×	`add-cube-cbrt_binary64_16822`
382×	`times-frac_binary64_14406`
381×	`add-cube-cbrt_binary64_3523`
380×	`*-un-lft-identity_binary64_20197` `distribute-lft-out--_binary64_18103`
379×	`add-cube-cbrt_binary64_14094` `associate-l_binary64_1724`
378×	`sqr-pow_binary64_3119`
373×	`distribute-lft-out_binary64_29`
372×	`associate-l_binary64_360`
368×	`cbrt-undiv_binary64_794`
367×	`sqrt-prod_binary64_2481` `distribute-lft-out--_binary64`
366×	`*-un-lft-identity_binary64_20538` `unpow-prod-down_binary64_839`
365×	`add-cbrt-cube_binary64_2842` `*-un-lft-identity_binary64_15423`
362×	`cbrt-prod_binary64_13067`
361×	`add-sqr-sqrt_binary64_7602`
359×	`associate-l_binary64_701`
357×	`sqrt-prod_binary64_13393`
356×	`add-exp-log_binary64_12733` `*-un-lft-identity_binary64_7580`
354×	`cancel-sign-sub-inv_binary64_1067`
353×	`times-frac_binary64_4517`
351×	`add-log-exp_binary64_458` `add-cube-cbrt_binary64_9661`
350×	`associate-l_binary64_19` `flip3-+_binary64_1786` `flip-+_binary64_1757` `add-sqr-sqrt_binary64_11012`
349×	`add-sqr-sqrt_binary64_10330`
347×	`associate-/r*_binary64_1386`
345×	`pow-to-exp_binary64_3898`
344×	`sqrt-prod_binary64_15098` `add-sqr-sqrt_binary64_20560`
342×	`times-frac_binary64_20203` `prod-exp_binary64_127` `distribute-lft-out_binary64_12987` `sqrt-div_binary64_1459`
341×	`add-log-exp_binary64_799` `log-prod_binary64_505` `pow1_binary64_2867`
340×	`pow1_binary64_3549`
339×	`add-exp-log_binary64_12051`
337×	`add-log-exp_binary64_1140` `associate-/r/_binary64_1388`
336×	`times-frac_binary64_12360` `associate-r_binary64_1041`
333×	`cbrt-undiv_binary64_1476` `div-inv_binary64_75`
332×	`add-log-exp_binary64_1481`
330×	`unpow-prod-down_binary64_498` `cbrt-undiv_binary64_453`
329×	`add-cube-cbrt_binary64_7615`
328×	`add-exp-log_binary64_19212` `add-exp-log_binary64_10687` `associate-r_binary64_700`
322×	`sqrt-prod_binary64_12711`
321×	`flip3--_binary64_1446` `flip--_binary64_1417`
320×	`add-cube-cbrt_binary64_15458` `sqrt-prod_binary64_776` `*-un-lft-identity_binary64_25653`
319×	`distribute-lft-out_binary64` `associate-/l_binary64_23` `-un-lft-identity_binary64_20879`
317×	`distribute-lft-out--_binary64_15034`
316×	`add-exp-log_binary64_13756`
315×	`distribute-lft-out_binary64_2416`
313×	`cbrt-unprod_binary64_111` `cancel-sign-sub-inv_binary64_13684`
312×	`unpow-prod-down_binary64_11410`
311×	`difference-of-squares_binary64_1411`
310×	`add-exp-log_binary64_17166`
309×	`*-un-lft-identity_binary64_10990`
308×	`div-inv_binary64_416`
307×	`associate-*r/_binary64_4453`
305×	`cbrt-prod_binary64_1814` `associate-/l*_binary64_12640`
304×	`distribute-lft-out--_binary64_13329`
302×	`associate-/r/_binary64_1729` `distribute-lft-out_binary64_2075` `distribute-lft-out_binary64_13328`
301×	`cancel-sign-sub-inv_binary64_9933`
299×	`add-cube-cbrt_binary64_12389`
298×	`div-exp_binary64_1152`
297×	`add-cube-cbrt_binary64_22960`
296×	`add-exp-log_binary64_3526` `add-exp-log_binary64_3185`
295×	`unpow-prod-down_binary64`
294×	`distribute-lft-out--_binary64_12647` `cbrt-prod_binary64_791`
292×	`flip--_binary64_4486` `flip3--_binary64_4515`
291×	`add-log-exp_binary64_2504`
290×	`difference-of-squares_binary64_47` `add-sqr-sqrt_binary64_7261`
289×	`div-exp_binary64_129`
286×	`associate-r_binary64_9907`
285×	`frac-times_binary64_770`
284×	`associate-r_binary64_13317` `add-cube-cbrt_binary64_20573`
283×	`add-exp-log_binary64_4208` `associate-/l*_binary64`
279×	`*-un-lft-identity_binary64_5193`
278×	`distribute-lft-out--_binary64_12988`
277×	`cbrt-prod_binary64_12044`
275×	`associate-l_binary64_1042` `associate-/r*_binary64_1727` `cbrt-prod_binary64_2837`
274×	`times-frac_binary64_25659`
273×	`distribute-lft-out_binary64_9918`
272×	`difference-of-squares_binary64_18461` `distribute-lft-out--_binary64_18444`
271×	`associate-/r*_binary64_1045`
270×	`associate-/r*_binary64_15026`
269×	`add-sqr-sqrt_binary64_21583` `add-cube-cbrt_binary64_4546`
268×	`difference-of-squares_binary64_2434`
267×	`add-sqr-sqrt_binary64_16468`
266×	`add-sqr-sqrt_binary64_5215` `cbrt-prod_binary64_18523`
264×	`sqr-pow_binary64_12667` `flip--_binary64_735` `flip3--_binary64_764`
262×	`cbrt-prod_binary64_12726`
261×	`associate-r_binary64_11953`
260×	`div-exp_binary64_1834`
259×	`associate-*r/_binary64_1725`
258×	`cancel-sign-sub-inv_binary64_1749`
257×	`*-un-lft-identity_binary64_4852`
256×	`add-cbrt-cube_binary64_12049` `associate-l_binary64_2065` `associate-/r*_binary64_2068` `add-cube-cbrt_binary64_14776`
255×	`difference-of-squares_binary64_18120`
253×	`associate-*l/_binary64_4454`
252×	`frac-times_binary64_1793` `difference-of-squares_binary64_13687` `add-log-exp_binary64_3527` `add-exp-log_binary64_11710`
251×	`pow1_binary64_6959` `cbrt-prod_binary64_15113`
250×	`add-exp-log_binary64_15461` `cbrt-prod_binary64_3519` `associate-/l*_binary64_1387`
248×	`difference-of-squares_binary64_6185` `sqrt-prod_binary64_11688` `-un-lft-identity_binary64_7239` `associate-/r_binary64_9911` `sqrt-prod_binary64_3163`
247×	`add-exp-log_binary64_10005`
245×	`times-frac_binary64_20885`
244×	`add-cbrt-cube_binary64_3524` `distribute-lft-out--_binary64_13670`
243×	`cancel-sign-sub-inv_binary64` `add-cube-cbrt_binary64_20232` `add-cbrt-cube_binary64_4206`
241×	`sqrt-prod_binary64_6232`
240×	`add-cbrt-cube_binary64_3183` `add-exp-log_binary64_15120` `div-inv_binary64_1098`
239×	`add-exp-log_binary64_16143` `add-sqr-sqrt_binary64_15786` `add-sqr-sqrt_binary64_16127`
237×	`associate-r_binary64_12635` `prod-exp_binary64_1832`
236×	`associate-/l*_binary64_1046`
235×	`add-cube-cbrt_binary64_11025` `associate-/r*_binary64_5478` `add-sqr-sqrt_binary64_20901` `add-exp-log_binary64_9664`
234×	`add-cbrt-cube_binary64_9321` `*-un-lft-identity_binary64_21561` `add-cbrt-cube_binary64_12731`
233×	`add-cube-cbrt_binary64_10343`
232×	`add-cbrt-cube_binary64_16141`
231×	`associate-/l*_binary64_9912` `add-cbrt-cube_binary64_19210`
230×	`distribute-lft-out--_binary64_1394`
228×	`add-exp-log_binary64_17848` `add-cbrt-cube_binary64_5570` `add-cube-cbrt_binary64_14435` `*-un-lft-identity_binary64_16446` `cbrt-prod_binary64_2155`
227×	`cbrt-undiv_binary64_1135`
225×	`cbrt-undiv_binary64_1817` `cancel-sign-sub-inv_binary64_2772` `add-sqr-sqrt_binary64_4874`
224×	`cbrt-prod_binary64_12385` `associate-/r/_binary64_9913`
222×	`div-inv_binary64_1439`
221×	`add-sqr-sqrt_binary64_25675`
220×	`cancel-sign-sub-inv_binary64_1408` `cbrt-prod_binary64_11362` `associate-*r/_binary64_702` `add-exp-log_binary64_18189`
219×	`add-exp-log_binary64_4549` `add-cbrt-cube_binary64_10003`
217×	`add-cube-cbrt_binary64_5228` `associate-r_binary64_13999`
216×	`difference-of-squares_binary64_9936` `associate-*r/_binary64_9568`
215×	`add-cbrt-cube_binary64_15118` `associate-l/_binary64_1385` `sqr-pow_binary64_391` `associate-r*_binary64_18773`
213×	`add-cbrt-cube_binary64_13754`
212×	`cbrt-prod_binary64_4883` `sqrt-prod_binary64_10324` `cbrt-unprod_binary64_1816`
211×	`cbrt-prod_binary64_450`
210×	`associate-r_binary64_13658`
208×	`-un-lft-identity_binary64_16105` `distribute-rgt-in_binary64_12304` `distribute-lft-in_binary64_12303` `associate-r*_binary64_3428` `log-prod_binary64_12440` `add-cube-cbrt_binary64_16481`
207×	`flip-+_binary64_2098`
206×	`flip3-+_binary64_2127` `sqrt-prod_binary64_9642`
205×	`log-pow_binary64_508` `associate-l_binary64_2406` `add-cbrt-cube_binary64_17164`
204×	`sqrt-div_binary64_2482` `cancel-sign-sub-inv_binary64_44`
203×	`distribute-lft-out_binary64_11964` `associate-/r*_binary64_6842`
202×	`frac-add_binary64_1791` `times-frac_binary64_5199` `associate-/l*_binary64_1728`
201×	`div-inv_binary64_1780`
200×	`log-prod_binary64_1187` `prod-exp_binary64_2173` `pow1_binary64_3208` `div-inv_binary64`
199×	`sqrt-prod_binary64_7255` `prod-exp_binary64_2855` `add-exp-log_binary64_18871`
198×	`add-cbrt-cube_binary64_10685`
197×	`cbrt-prod_binary64_13408`
196×	`add-sqr-sqrt_binary64_8284` `difference-of-squares_binary64_729` `sqrt-div_binary64_1800` `associate-r_binary64_15363` `add-log-exp_binary64_2845` `add-cube-cbrt_binary64_7274`
194×	`pow-prod-down_binary64_490` `associate-r_binary64_4451` `difference-of-squares_binary64_6867` `pow1_binary64_3890`
193×	`distribute-lft-out--_binary64_6850`
191×	`times-frac_binary64_16452`
190×	`swap-sqr_binary64` `cbrt-undiv_binary64_112`
189×	`pow-prod-down_binary64_1513` `cancel-sign-sub-inv_binary64_22891` `frac-times_binary64_21571` `associate-r_binary64_3087` `add-cbrt-cube_binary64_17846`
188×	`add-exp-log_binary64_6936` `distribute-lft-in_binary64_1050` `distribute-rgt-in_binary64_1051` `add-cbrt-cube_binary64_15459` `add-cbrt-cube_binary64_11708` `associate-*r/_binary64_2407`
187×	`flip3--_binary64_1787` `sqrt-div_binary64_1118` `add-cbrt-cube_binary64_18187` `flip--_binary64_1758`
186×	`unpow-prod-down_binary64_12092` `add-cbrt-cube_binary64_3865` `div-exp_binary64_5585` `unswap-sqr_binary64` `times-frac_binary64_10996` `pow-prod-down_binary64_149` `cbrt-undiv_binary64_5568`
185×	`difference-of-squares_binary64_21189`
184×	`associate-/r*_binary64_13321` `flip-+_binary64_5167` `unpow-prod-down_binary64_1862` `flip3-+_binary64_5196` `add-exp-log_binary64_13415` `distribute-lft-out--_binary64_21172`
183×	`associate-/r_binary64_19118` `associate-/l_binary64_705` `add-exp-log_binary64_21258` `associate-/r/_binary64_13323`
182×	`add-exp-log_binary64_16484` `flip3--_binary64_21565` `associate-*r/_binary64_5135` `flip--_binary64_21536`
181×	`times-frac_binary64_3494` `add-exp-log_binary64_14097` `add-exp-log_binary64_17507`
180×	`add-exp-log_binary64_11369`
177×	`flip3-+_binary64_1104` `flip-+_binary64_1075`
176×	`add-sqr-sqrt_binary64_8625` `associate-r_binary64_4110` `cbrt-div_binary64_21593`
175×	`difference-of-squares_binary64_1070`
174×	`add-exp-log_binary64_7277` `cancel-sign-sub-inv_binary64_12320`
173×	`add-cbrt-cube_binary64_17505` `associate-r_binary64_15022` `*-un-lft-identity_binary64_8262`
172×	`pow1_binary64_18212` `sqrt-prod_binary64_2822` `associate-/r_binary64_18436` `-un-lft-identity_binary64_23607`
171×	`associate-l_binary64_3429` `associate-r_binary64_2746` `pow1_binary64_17189` `add-cbrt-cube_binary64_18869` `distribute-lft-out_binary64_15033`
170×	`add-cube-cbrt_binary64_20914` `div-inv_binary64_9964` `pow-prod-down_binary64_831` `associate-/r*_binary64_704` `add-sqr-sqrt_binary64_7943`
169×	`flip-+_binary64_1416` `flip3-+_binary64_1445` `associate-/r*_binary64_2750` `add-cube-cbrt_binary64_16140` `add-exp-log_binary64_6595`
168×	`frac-times_binary64_13728` `cancel-sign-sub-inv_binary64_5500` `cbrt-unprod_binary64_2157` `add-cbrt-cube_binary64_9662` `add-exp-log_binary64_13074` `unswap-sqr_binary64_46`
167×	`distribute-lft-out--_binary64_1053` `*-un-lft-identity_binary64_15764` `cbrt-prod_binary64_1132`
166×	`associate-/l*_binary64_2069` `flip3--_binary64_13722` `flip--_binary64_13693`
165×	`associate-/r/_binary64_24` `prod-exp_binary64_2514`
164×	`sqrt-prod_binary64_18849` `add-log-exp_binary64_3186`
163×	`distribute-lft-neg-in_binary64_2422` `pow1_binary64_12415` `times-frac_binary64_10314` `distribute-rgt-neg-in_binary64_2423`
162×	`swap-sqr_binary64_1750` `distribute-lft-out--_binary64_2417` `add-cbrt-cube_binary64_7275` `associate-/l*_binary64_2410`
161×	`cbrt-unprod_binary64_2498` `add-cube-cbrt_binary64_25688` `unpow-prod-down_binary64_1521`
160×	`add-cube-cbrt_binary64_4887` `pow1_binary64_16507` `difference-of-squares_binary64_2093` `add-cbrt-cube_binary64_16482`
159×	`pow1_binary64_17871` `add-exp-log_binary64_20576`
158×	`add-cbrt-cube_binary64_20574` `associate-r_binary64_10589` `distribute-lft-out--_binary64_30`
157×	`pow-prod-down_binary64_2195` `associate-/r/_binary64_2070` `add-cbrt-cube_binary64_4547` `add-cube-cbrt_binary64_15799`
156×	`add-exp-log_binary64_14779`
155×	`distribute-lft-out_binary64_3439` `pow1_binary64_4231` `associate-/r/_binary64_18438` `associate-/r*_binary64_11616` `sqrt-prod_binary64_4186`
154×	`associate-/r/_binary64_11959` `add-exp-log_binary64_19894`
153×	`distribute-lft-out--_binary64_14693` `pow1_binary64_16166` `distribute-lft-out--_binary64_371` `difference-of-squares_binary64_14710` `log-prod_binary64_846`
152×	`times-frac_binary64_21567` `frac-times_binary64_5203` `add-exp-log_binary64_18530` `associate-r_binary64_7179`
151×	`add-cbrt-cube_binary64_14095` `cancel-sign-sub-inv_binary64_726` `associate-/r/_binary64_365` `pow-exp_binary64_487`
150×	`flip3--_binary64_423` `flip--_binary64_394` `pow-prod-down_binary64_2536`
149×	`associate-l_binary64_13659`
148×	`pow1_binary64_19235` `log-prod_binary64_164`
147×	`difference-of-sqr-1_binary64_1753`
146×	`difference-of-squares_binary64_13005` `add-exp-log_binary64_10346` `add-cube-cbrt_binary64_8297`
145×	`div-inv_binary64_5531` `associate-/r/_binary64` `associate-r_binary64_14681` `associate-l_binary64_3088` `associate-l_binary64_11954` `associate-/l*_binary64_4115` `cbrt-unprod_binary64_2839`
144×	`cancel-sign-sub-inv_binary64_385` `exp-sum_binary64_10013` `associate-*l/_binary64_5136`
143×	`associate-/r_binary64_17413` `add-sqr-sqrt_binary64_19878` `add-exp-log_binary64_15802` `cbrt-prod_binary64_3178` `flip3-+_binary64_2468` `associate-r/_binary64_361` `flip-+_binary64_2439`
142×	`add-exp-log_binary64_23645`
141×	`add-cbrt-cube_binary64_15800` `associate-*l/_binary64_1726` `add-cube-cbrt_binary64_21596` `unswap-sqr_binary64_1410`
140×	`unswap-sqr_binary64_2092` `distribute-lft-out--_binary64_2076` `associate-r_binary64_18091` `unpow-prod-down_binary64_1180` `div-exp_binary64_2175`
138×	`add-cbrt-cube_binary64_6934` `associate-*r/_binary64_3430` `distribute-lft-out--_binary64_4463`
137×	`pow1_binary64_11392` `log-prod_binary64` `cancel-sign-sub-inv_binary64_12661` `pow1_binary64_7300` `*-un-lft-identity_binary64_7921`
136×	`-un-lft-identity_binary64_8944` `associate-r_binary64_17750` `-un-lft-identity_binary64_8603` `sqrt-div_binary64_17827` `sqrt-div_binary64_777`
135×	`cancel-sign-sub-inv_binary64_2090` `unswap-sqr_binary64_387` `cancel-sign-sub-inv_binary64_11638`
134×	`add-cbrt-cube_binary64_14777` `flip3-+_binary64_763` `flip-+_binary64_734` `times-frac_binary64_7927` `cbrt-prod_binary64_18182` `associate-r_binary64_16386` `pow1_binary64_12756`
133×	`add-sqr-sqrt_binary64_8966` `add-cbrt-cube_binary64_13072` `times-frac_binary64_22590` `add-cbrt-cube_binary64_19892`
132×	`pow1_binary64_10710` `pow-exp_binary64` `log-pow_binary64_849`
131×	`associate-l_binary64_9567` `pow1_binary64_4572` `prod-exp_binary64_5583` `cbrt-unprod_binary64_5567` `associate-/l*_binary64_10594`
130×	`add-log-exp_binary64_3868` `cbrt-div_binary64_3520` `associate-/r/_binary64_15028` `add-exp-log_binary64_12392`
129×	`prod-exp_binary64_19223` `cbrt-prod_binary64_13749` `pow-prod-down_binary64_6969`
128×	`add-cbrt-cube_binary64_23643` `pow1_binary64_15825` `difference-of-squares_binary64_14028` `div-exp_binary64_10700` `distribute-lft-out--_binary64_14011`
127×	`associate-/r/_binary64_1047` `cbrt-unprod_binary64_19207` `associate-/r/_binary64_13664` `add-exp-log_binary64_21599` `associate-l_binary64_12636` `*-un-lft-identity_binary64_21902`
126×	`log-prod_binary64_13804` `unpow-prod-down_binary64_18571` `distribute-lft-out_binary64_711` `flip-+_binary64_52` `cbrt-prod_binary64_6588` `cube-prod_binary64_18520` `flip3-+_binary64_81`
125×	`associate-/r*_binary64_6160` `distribute-lft-out_binary64_18102`
124×	`associate-/r*_binary64_17072` `div-inv_binary64_15079` `pow-exp_binary64_9353` `pow-to-exp_binary64_9354`
123×	`add-cbrt-cube_binary64_18528` `associate-+l+_binary64_12287` `pow1_binary64_5254`
122×	`add-exp-log_binary64_20235` `log-prod_binary64_3915` `distribute-lft-out--_binary64_6168` `associate-/r/_binary64_6844` `cube-prod_binary64_1811` `pow1_binary64_9687` `add-exp-log_binary64_19553`
121×	`add-cbrt-cube_binary64_10344` `add-exp-log_binary64_22963` `add-cbrt-cube_binary64_11367`
120×	`distribute-lft-out--_binary64_712` `frac-sub_binary64_5202` `associate-l_binary64_4452` `associate-*r/_binary64_1043`
119×	`flip3-+_binary64_3491` `sum-log_binary64_1874` `flip-+_binary64_3462` `cbrt-prod_binary64_16136`
118×	`1-exp_binary64_3873` `cancel-sign-sub-inv_binary64_15048` `rec-exp_binary64_3879` `cbrt-div_binary64_2156` `cbrt-prod_binary64_4542`
117×	`pow1_binary64_19917` `associate-/r_binary64_12980` `add-exp-log_binary64_6254` `associate-/l_binary64_15027` `frac-sub_binary64_9635` `difference-of-squares_binary64_3798`
116×	`add-exp-log_binary64_16825` `sqrt-div_binary64`
115×	`div-inv_binary64_19171` `pow1_binary64_10369` `add-cube-cbrt_binary64_8979` `pow-prod-down_binary64_1854` `sqrt-div_binary64_2141` `add-cbrt-cube_binary64_13413`
114×	`cbrt-div_binary64_451` `associate-r_binary64_17068` `add-cbrt-cube_binary64_20233` `flip-+_binary64_9941` `associate-/r*_binary64_12639` `flip3-+_binary64_9970` `pow1_binary64_6618`
113×	`associate-/r_binary64_18777` `add-cbrt-cube_binary64_12390` `add-exp-log_binary64_8300` `associate-r*_binary64_20478` `times-frac_binary64_8268`
112×	`sqrt-pow1_binary64_1801` `add-log-exp_binary64_10347` `unpow-prod-down_binary64_2885` `unpow-prod-down_binary64_2544` `associate-r_binary64_8543`
111×	`prod-exp_binary64_12744` `cancel-sign-sub-inv_binary64_3795` `add-cube-cbrt_binary64_8638` `add-cbrt-cube_binary64_22961`
110×	`cancel-sign-sub-inv_binary64_3113` `add-sqr-sqrt_binary64_22606` `associate-r/_binary64_20` `associate-/l_binary64_2751` `cbrt-div_binary64_18183`
109×	`add-sqr-sqrt_binary64_23629` `pow1_binary64_4913` `add-log-exp_binary64_7278` `log-prod_binary64_2551`
108×	`flip-+_binary64_2780` `add-log-exp_binary64_12393` `sqrt-prod_binary64_3845` `add-exp-log_binary64_11028` `flip3-+_binary64_2809` `associate-*r/_binary64_2066` `pow-prod-down_binary64_1172` `cbrt-prod_binary64_2496`
107×	`associate-l_binary64_2747` `pow1_binary64_15484` `associate-/l_binary64_11958` `flip--_binary64_2440` `flip3--_binary64_2469` `associate-r*_binary64_14340` `add-cbrt-cube_binary64_21597` `div-inv_binary64_2121` `pow1_binary64_23668` `sqr-pow_binary64` `prod-exp_binary64_17177`
106×	`associate-/r*_binary64_3091` `add-cbrt-cube_binary64_11026`
105×	`associate-r_binary64_3769`
104×	`unpow-prod-down_binary64_2203` `distribute-rgt-in_binary64_710` `add-cbrt-cube_binary64_8298` `distribute-lft-in_binary64_709` `add-log-exp_binary64_4209`
103×	`flip3-+_binary64_12016` `pow-prod-down_binary64_2877` `add-exp-log_binary64_5231` `pow1_binary64_12074` `flip-+_binary64_11987`
102×	`flip3--_binary64_18496` `sqr-pow_binary64_50` `flip--_binary64_18467` `sqrt-div_binary64_95` `cbrt-div_binary64_16137`
101×	`add-cube-cbrt_binary64_7956` `div-exp_binary64_12064` `cancel-sign-sub-inv_binary64_10274` `prod-exp_binary64_3537` `unswap-sqr_binary64_1069` `distribute-lft-out--_binary64_9919` `distribute-lft-out_binary64_10259`
100×	`difference-of-squares_binary64_14369` `sqrt-pow1_binary64` `cbrt-prod_binary64_7270`
99×	`associate-r_binary64_21160` `cbrt-unprod_binary64_17161` `distribute-lft-out_binary64_18784` `cbrt-prod_binary64_17500` `-un-lft-identity_binary64_22584` `pow1_binary64_14120` `pow-to-exp_binary64_488` `associate-r*_binary64_10930`
98×	`unswap-sqr_binary64_728` `distribute-lft-out--_binary64_3099` `sqrt-pow1_binary64_2142` `associate-l/_binary64_2408` `associate-r_binary64_12976` `cbrt-prod_binary64_15795` `distribute-lft-out--_binary64_14352` `cancel-sign-sub-inv_binary64_11979` `associate-/l_binary64_3092` `add-cube-cbrt_binary64_22619`
97×	`add-cbrt-cube_binary64_6593` `pow1_binary64_11733` `div-inv_binary64_13374` `pow-unpow_binary64_155` `prod-exp_binary64_9675`
96×	`cbrt-undiv_binary64_2158` `div-exp_binary64_10018` `log-prod_binary64_11076` `-un-lft-identity_binary64_19856` `associate-/r_binary64_17754`
95×	`div-exp_binary64_12746` `distribute-rgt-in_binary64_369` `associate-/r*_binary64_11957` `pow1_binary64_17530` `distribute-lft-in_binary64_368` `flip3--_binary64_1105` `flip--_binary64_1076`
94×	`associate-l/_binary64_362` `sqr-pow_binary64_732` `associate-/r_binary64_16731` `add-cube-cbrt_binary64_23642`
93×	`add-exp-log_binary64_8641` `sqr-pow_binary64_2437` `add-cube-cbrt_binary64_19891` `frac-add_binary64_768` `associate-r_binary64_15704` `times-frac_binary64_15770` `cube-prod_binary64_106` `pow1_binary64_8323` `prod-exp_binary64_13767`
92×	`associate-*r/_binary64_17070` `frac-sub_binary64_769` `difference-of-squares_binary64_4480` `distribute-lft-in_binary64_5483` `pow1_binary64_13438` `difference-of-squares_binary64_12323` `distribute-rgt-in_binary64_5484`
91×	`flip--_binary64_15739` `add-log-exp_binary64_11029` `difference-of-squares_binary64_2775` `cbrt-prod_binary64_8975` `associate-/r_binary64_2409` `sqrt-prod_binary64_5209` `flip--_binary64_2099` `associate-r*_binary64_22865` `add-exp-log_binary64_7959` `flip3--_binary64_15768` `sum-log_binary64_3579` `unswap-sqr_binary64_1751`
90×	`flip3--_binary64_2128` `difference-of-sqr-1_binary64_2435` `associate-l_binary64_9226` `distribute-rgt-in_binary64_10940` `add-exp-log_binary64_14438` `div-exp_binary64_13769` `prod-exp_binary64_12062` `sqrt-pow1_binary64_6916` `add-cbrt-cube_binary64_16823` `distribute-lft-in_binary64_10939`
89×	`associate-r_binary64_12294` `exp-sum_binary64_1829` `difference-of-squares_binary64_11982` `add-log-exp_binary64_4550` `add-cbrt-cube_binary64_21256` `div-exp_binary64_19225` `times-frac_binary64_16111` `cbrt-undiv_binary64_19208` `div-inv_binary64_757`
88×	`pow1_binary64_11051` `associate-l_binary64_4111` `associate-/l/_binary64_1389` `pow-exp_binary64_828` `add-cbrt-cube_binary64_6252` `associate-l_binary64_3770` `div-exp_binary64_11723` `div-inv_binary64_13033` `pow1_binary64_10028` `times-frac_binary64_23272`
87×	`unpow-prod-down_binary64_3567` `pow1_binary64_22986` `swap-sqr_binary64_2432` `pow-exp_binary64_1510` `add-cbrt-cube_binary64_8639`
86×	`prod-exp_binary64_18200` `unpow-prod-down_binary64_9364` `distribute-lft-out--_binary64_11965` `associate-/l_binary64_13322` `-commutative_binary64` `times-frac_binary64_7245`
85×	`prod-exp_binary64_17859` `cube-prod_binary64_788` `add-cbrt-cube_binary64_5229` `associate-r_binary64_7861` `add-sqr-sqrt_binary64_5897` `cbrt-unprod_binary64_9659`
84×	`add-exp-log_binary64_4890` `div-exp_binary64_21271` `add-log-exp_binary64_15121` `cbrt-div_binary64_9658` `add-sqr-sqrt_binary64_21924` `div-inv_binary64_18489` `flip3--_binary64_15086` `pow1_binary64_13779` `associate-r_binary64_19796` `pow-prod-down_binary64_3559` `flip--_binary64_15057` `cbrt-unprod_binary64_18184`
83×	`associate-l/_binary64_21504` `associate-r*_binary64_21501` `log-prod_binary64_17555` `add-cbrt-cube_binary64_14436` `flip--_binary64_6873` `add-log-exp_binary64_16144` `flip3--_binary64_6902` `pow-prod-down_binary64_17199` `cbrt-unprod_binary64_13751` `swap-sqr_binary64_2091` `add-exp-log_binary64_7618`
82×	`exp-neg_binary64_807` `cancel-sign-sub-inv_binary64_2431` `associate-l_binary64_15023` `frac-times_binary64_2134` `cube-prod_binary64` `sqrt-prod_binary64_3504`
81×	`times-frac_binary64_8950` `add-log-exp_binary64_14098` `associate-r_binary64_16045` `associate-l_binary64_12295` `associate-r_binary64_20137` `cbrt-div_binary64_12727` `add-log-exp_binary64_16485` `prod-exp_binary64_16154`
80×	`sqrt-prod_binary64_16121` `frac-sub_binary64_8612` `cbrt-undiv_binary64_10001` `frac-times_binary64_12705` `add-log-exp_binary64_12734` `tanh-def-a_binary64_9813` `tanh-def-c_binary64_9815` `unswap-sqr_binary64_2433` `pow1_binary64_15143` `cbrt-undiv_binary64_13752` `tanh-def-b_binary64_9814`
79×	`cbrt-unprod_binary64_17843` `cbrt-div_binary64_110` `add-sqr-sqrt_binary64_19537` `cbrt-unprod_binary64_16138` `associate-r_binary64_9566` `-commutative_binary64_350` `associate-r_binary64_9225` `add-exp-log_binary64_24668` `associate-l*_binary64_21502` `cbrt-undiv_binary64_12047` `sqrt-pow1_binary64_778` `prod-exp_binary64_4560`
78×	`flip-+_binary64_16079` `cbrt-prod_binary64_14431` `associate-/r_binary64_10593` `flip--_binary64_53` `cbrt-div_binary64_19206` `associate-l_binary64_14000` `-commutative_binary64_1373` `flip3-+_binary64_16108` `associate-/l/_binary64_5140` `div-exp_binary64_17179` `associate-/r_binary64_4114` `associate-l*_binary64_18774` `flip3--_binary64_82` `exp-prod_binary64_16839`
77×	`associate-r/_binary64_21503` `associate-/r_binary64_9229` `frac-times_binary64_12023` `add-log-exp_binary64_18190` `cbrt-unprod_binary64_3521` `div-exp_binary64_15133` `distribute-lft-out_binary64_3780` `div-inv_binary64_12692` `add-cbrt-cube_binary64_19551` `tan-quot_binary64_1601` `*-un-lft-identity_binary64_25312`
76×	`distribute-neg-frac_binary64_5157` `pow-to-exp_binary64` `times-frac_binary64_8609` `div-exp_binary64_13428` `cbrt-unprod_binary64_12728` `difference-of-squares_binary64_22894` `log-prod_binary64_1869` `add-log-exp_binary64_13757` `associate-l_binary64_10931` `distribute-rgt-in_binary64_22875` `distribute-lft-in_binary64_22874` `pow1_binary64_6277` `add-cbrt-cube_binary64_4888`
75×	`flip3-+_binary64_3832` `associate-r_binary64_6156` `unpow-prod-down_binary64_15161` `cube-prod_binary64_15110` `flip-+_binary64_3803` `sqrt-pow1_binary64_96` `div-exp_binary64_2516` `cube-prod_binary64_2834` `distribute-lft-out--_binary64_18785` `associate-+r+_binary64_12286` `associate-/r*_binary64_14003` `log-prod_binary64_10053` `div-inv_binary64_2462` `difference-of-squares_binary64_18802` `prod-exp_binary64_15472`
74×	`add-sqr-sqrt_binary64_24993` `div-inv_binary64_12010` `cbrt-undiv_binary64_2499` `associate-/l*_binary64_12981` `add-log-exp_binary64_11370`
73×	`-commutative_binary64_9` `pow1_binary64_9346` `pow-prod-down_binary64_17881` `unpow2_binary64_484` `associate-l_binary64_15705` `div-exp_binary64_2857` `pow1_binary64_18894` `associate-r/_binary64_2748`
72×	`associate-r/_binary64_13660` `div-inv_binary64_6895` `log-prod_binary64_10394` `div-inv_binary64_4167` `associate-r_binary64_6497` `log-prod_binary64_2892` `sqrt-div_binary64_16122` `div-inv_binary64_11669` `-commutative_binary64_691`
71×	`add-sqr-sqrt_binary64_23288` `associate-l_binary64_5475` `cbrt-unprod_binary64_12046` `distribute-lft-out--_binary64_12306` `prod-exp_binary64_3196` `cbrt-unprod_binary64_9318`
70×	`pow1/3_binary64_501` `prod-exp_binary64_10698` `associate-l/_binary64_13661` `associate-l/_binary64_17753` `prod-exp_binary64_19905` `cbrt-prod_binary64_11021` `-un-lft-identity_binary64_23266` `add-log-exp_binary64_12052` `add-log-exp_binary64_17167` `pow1_binary64_18553` `add-sqr-sqrt_binary64_24652` `cbrt-unprod_binary64_19889` `associate-/l_binary64_18096` `*-un-lft-identity_binary64_24971`
69×	`associate-/l/_binary64_2412` `clear-num_binary64_1441` `cancel-sign-sub-inv_binary64_3454` `difference-of-squares_binary64_20166` `frac-2neg_binary64_1453` `associate-/r_binary64_14685` `associate-r_binary64_11612` `add-log-exp_binary64_5232` `pow1/3_binary64_160` `pow-prod-down_binary64_18222` `div-exp_binary64_4221` `associate-l*_binary64_15364`
68×	`flip3--_binary64_5197` `flip--_binary64_5168` `cbrt-undiv_binary64_9319` `pow1_binary64_13097` `distribute-rgt-in_binary64_3438` `distribute-lft-in_binary64_3437` `distribute-lft-out--_binary64_20149` `prod-exp_binary64_19564` `associate-/r/_binary64_17074`
67×	`associate-r/_binary64_19116` `div-inv_binary64_2803` `difference-of-squares_binary64_17438` `associate-l/_binary64_2067` `cbrt-prod_binary64_16818` `distribute-lft-out_binary64_20830` `distribute-lft-out_binary64_9236` `frac-times_binary64_1111` `pow1_binary64_24009`
66×	`times-frac_binary64_23613` `associate-/r_binary64_13662` `pow-prod-up_binary64_2194` `cbrt-unprod_binary64_4544` `div-inv_binary64_13715` `add-exp-log_binary64_20917` `add-log-exp_binary64_16826` `div-inv_binary64_10646` `add-cube-cbrt_binary64_23301` `cbrt-div_binary64_22275` `associate-l*_binary64_10590` `distribute-lft-out_binary64_6508`
65×	`add-log-exp_binary64_22964` `add-log-exp_binary64_4891` `cbrt-undiv_binary64_15116` `add-cbrt-cube_binary64_7957` `pow1/2_binary64` `clear-num_binary64` `add-log-exp_binary64_23646` `associate-l_binary64_20138` `distribute-rgt-in_binary64_28` `times-frac_binary64_21908` `associate-/r/_binary64_21166` `associate-r/_binary64_8545` `distribute-lft-neg-in_binary64_1058` `pow1_binary64_8664` `prod-exp_binary64_16495` `distribute-lft-in_binary64_27` `distribute-rgt-neg-in_binary64_1059` `associate-/r_binary64_21164` `frac-2neg_binary64` `associate-*l/_binary64_1044` `pow1_binary64_16848`
64×	`add-sqr-sqrt_binary64_22265` `add-cbrt-cube_binary64_20915` `div-exp_binary64_15474` `-commutative_binary64_2396` `prod-exp_binary64_4219` `div-exp_binary64_6949` `exp-diff_binary64_808` `pow1_binary64_20599` `pow1_binary64_19576` `associate-/r_binary64_7524` `associate-*l/_binary64_22186` `add-log-exp_binary64_17849` `pow1/3_binary64_1865` `add-cube-cbrt_binary64_25006` `frac-times_binary64_2475`
63×	`associate-l_binary64_8203` `sqrt-prod_binary64_17826` `distribute-rgt-in_binary64_13668` `add-log-exp_binary64_10006` `distribute-lft-in_binary64_13667` `pow1_binary64_20258`
62×	`clear-num_binary64_418` `div-inv_binary64_21217` `associate-r/_binary64_17752` `flip--_binary64_12670` `add-log-exp_binary64_9665` `frac-2neg_binary64_430` `add-log-exp_binary64_11711` `associate-r_binary64_19455` `rec-exp_binary64_9335` `neg-sub0_binary64_755` `sqrt-pow1_binary64_2483` `associate-/l_binary64_18437` `associate-l_binary64_20820` `sqrt-pow1_binary64_437` `1-exp_binary64_9329` `flip3--_binary64_12699`
61×	`add-cbrt-cube_binary64_7616` `cancel-sign-sub-inv_binary64_8569` `frac-times_binary64_15774` `-commutative_binary64_1032` `cbrt-undiv_binary64_12729` `swap-sqr_binary64_45` `cbrt-unprod_binary64_16479` `associate-l_binary64_19797` `sqr-pow_binary64_1414` `add-cube-cbrt_binary64_21937` `unpow-prod-down_binary64_4931` `associate-l*_binary64_20479`
60×	`sub-neg_binary64` `flip--_binary64_12329` `associate-r/_binary64_18093` `unswap-sqr_binary64_3456` `cbrt-prod_binary64_14090` `flip-+_binary64_17784` `-commutative_binary64_2055` `pow-unpow_binary64_496` `pow-prod-down_binary64_16517` `distribute-lft-in_binary64_9575` `associate-l_binary64_7180` `flip3-+_binary64_17813` `associate-r/_binary64_12637` `associate-/l_binary64_6161` `cbrt-div_binary64_17160` `flip3--_binary64_12358` `distribute-rgt-in_binary64_9576` `cancel-sign-sub-inv_binary64_9592` `add-log-exp_binary64_15462` `associate-l_binary64_16046`
59×	`add-cube-cbrt_binary64_19550` `flip3-+_binary64_422` `distribute-lft-out_binary64_16738` `add-log-exp_binary64_8301` `-un-lft-identity_binary64_19515` `associate-l/_binary64_17071` `log-prod_binary64_3574` `cbrt-undiv_binary64_10683` `prod-exp_binary64_7288` `unpow-prod-down_binary64_3908` `cbrt-undiv_binary64_4204` `flip-+_binary64_393` `*-un-lft-identity_binary64_5875` `log-prod_binary64_5620` `distribute-lft-out--_binary64_2758` `times-frac_binary64_19862`
58×	`associate-/l/_binary64_1730` `associate-/r/_binary64_14687` `flip-+_binary64_3121` `frac-times_binary64_17820` `cancel-sign-sub-inv_binary64_7887` `distribute-lft-out_binary64_25604` `div-inv_binary64_17466` `flip3-+_binary64_3150` `associate-+r+_binary64_22857` `add-sqr-sqrt_binary64_25334` `tan-quot_binary64_919` `associate-r_binary64_8202` `*-un-lft-identity_binary64_22243` `add-log-exp_binary64_10688` `pow1_binary64_5595`
57×	`unswap-sqr_binary64_3115` `associate-l_binary64_14682` `associate-/r/_binary64_12641` `flip-+_binary64_13351` `distribute-rgt-in_binary64_10599` `flip3-+_binary64_13380` `distribute-lft-in_binary64_10598` `associate-/r_binary64_20141` `associate-l_binary64_17751` `cbrt-prod_binary64_14772` `times-frac_binary64_25318` `associate-l*_binary64_18092` `associate-/r/_binary64_11277`
56×	`pow-prod-down_binary64_19245` `pow1/3_binary64_6639` `frac-2neg_binary64_89` `exp-sum_binary64_5580` `clear-num_binary64_77` `associate-/r/_binary64_10595` `unswap-sqr_binary64_5502` `add-log-exp_binary64_5573` `associate-/l_binary64_11617` `pow-unpow_binary64_837` `associate-r_binary64_6838` `frac-times_binary64_3498` `associate-/r_binary64_14344` `associate-+r+_binary64_10` `associate-l/_binary64_2749` `associate-r*_binary64_23547`
55×	`flip-+_binary64_19148` `pow-prod-down_binary64_19927` `distribute-lft-in_binary64_2755` `associate-l_binary64_8544` `pow1_binary64_20940` `prod-exp_binary64_23656` `associate-+l+_binary64_1034` `cbrt-unprod_binary64_15456` `associate-l_binary64_17069` `flip3-+_binary64_19177` `distribute-lft-out_binary64_11282` `add-log-exp_binary64_6255` `cbrt-div_binary64_12045` `distribute-rgt-in_binary64_2756`
54×	`add-sqr-sqrt_binary64_26016` `add-exp-log_binary64_22281` `exp-prod_binary64_812` `cube-prod_binary64_20225` `add-log-exp_binary64_13075` `cancel-sign-sub-inv_binary64_25619` `cbrt-unprod_binary64_4203` `pow1/2_binary64_1863` `swap-sqr_binary64_3796` `distribute-rgt-in_binary64_8553` `log-prod_binary64_11758` `div-inv_binary64_9282` `distribute-lft-in_binary64_8552` `frac-times_binary64_18161` `frac-times_binary64_429` `difference-of-squares_binary64_21530` `unpow-prod-down_binary64_20276` `associate-/r/_binary64_2411` `associate-*r/_binary64_15365` `cbrt-undiv_binary64_11706` `flip3-+_binary64_11334` `cbrt-prod_binary64_4201` `flip-+_binary64_11305`
53×	`prod-exp_binary64_18882` `pow1/2_binary64_2204` `diff-log_binary64` `flip3--_binary64_6220` `distribute-rgt-in_binary64_1392` `log-pow_binary64_1872` `associate-l_binary64_21161` `flip--_binary64_6191` `cbrt-undiv_binary64_2840` `associate-l/_binary64_12297` `times-frac_binary64_4858` `distribute-lft-in_binary64_1391` `distribute-rgt-in_binary64_2415` `diff-log_binary64_2216` `distribute-lft-in_binary64_2414` `cbrt-unprod_binary64_7272` `associate-l/_binary64_12638` `associate-l_binary64_6498` `cbrt-unprod_binary64_23640` `pow1/2_binary64_2545` `distribute-lft-out_binary64_9577` `add-exp-log_binary64_22622` `add-log-exp_binary64_17508` `pow1_binary64_21622` `associate-l_binary64_10249`
52×	`associate-/l_binary64_9230` `associate-/l_binary64_18778` `difference-of-squares_binary64_16756` `pow1_binary64_22304` `flip-+_binary64_18125` `associate--l+_binary64_3766` `pow1/3_binary64_2547` `prod-exp_binary64_11721` `add-log-exp_binary64_18531` `distribute-lft-out_binary64_12305` `sum-log_binary64_2215` `flip3-+_binary64_22928` `flip-+_binary64_22899` `associate-/r_binary64_22869` `pow1/2_binary64_158` `associate-l*_binary64_16387` `flip3-+_binary64_18154` `swap-sqr_binary64_20505`
51×	`cancel-sign-sub-inv_binary64_6182` `div-exp_binary64_16156` `associate-/r/_binary64_6162` `associate-r_binary64_24570` `associate-/l/_binary64_1048` `distribute-lft-out--_binary64_16739` `cube-prod_binary64_4880` `associate-r_binary64_18432` `sqrt-pow1_binary64_1119` `cbrt-prod_binary64_7952`
50×	`flip3--_binary64_8607` `associate-r/_binary64_22867` `add-log-exp_binary64_19213` `prod-exp_binary64_24679` `flip--_binary64_13352` `clear-num_binary64_1100` `frac-2neg_binary64_1112` `cbrt-prod_binary64_9657` `div-exp_binary64_18543` `distribute-lft-out_binary64_2757` `flip3--_binary64_13381` `sqrt-div_binary64_3846` `sub-neg_binary64_1776` `flip--_binary64_8578` `cbrt-undiv_binary64_16139` `associate-r/_binary64_3089`
49×	`difference-of-squares_binary64_3457` `add-log-exp_binary64_9324` `associate-r_binary64_11271` `associate-r/_binary64_14001` `distribute-rgt-neg-in_binary64` `add-log-exp_binary64_15803` `prod-exp_binary64_14108` `associate-/l_binary64_21165` `associate-/r*_binary64_3773` `associate-/r/_binary64_12982` `cancel-sign-sub-inv_binary64_17094` `cube-prod_binary64_1470` `add-log-exp_binary64_6596`
48×	`sqrt-div_binary64_436` `distribute-lft-in_binary64_10257` `log-prod_binary64_11417` `frac-2neg_binary64_1794` `distribute-rgt-in_binary64_10258` `add-cbrt-cube_binary64_21938` `cbrt-unprod_binary64_3180` `flip3--_binary64_2810` `cbrt-div_binary64_6248` `difference-of-squares_binary64_5503` `div-exp_binary64_13087` `associate-+r+_binary64_2738` `add-cbrt-cube_binary64_22279` `distribute-rgt-in_binary64_3779` `associate-/r/_binary64_3775` `pow1/3_binary64_2206` `frac-add_binary64_22933` `flip--_binary64_2781` `associate-/l_binary64_3774` `clear-num_binary64_1782` `distribute-lft-in_binary64_3778` `add-exp-log_binary64_21940` `associate-l*_binary64_19115` `frac-times_binary64_22935` `cbrt-div_binary64_15455` `unpow-prod-down_binary64_6295`
47×	`pow-to-exp_binary64_829` `flip--_binary64_5509` `flip-+_binary64_4826` `distribute-lft-out_binary64_4462` `frac-times_binary64_8613` `add-log-exp_binary64_18872` `div-inv_binary64_17125` `distribute-lft-out--_binary64_9578` `difference-of-squares_binary64_9595` `flip3-+_binary64_4855` `div-exp_binary64_18884` `unpow-prod-down_binary64_9023` `flip-+_binary64_22217` `associate-/l*_binary64_16732` `flip3--_binary64_5538` `pow-prod-down_binary64_11402` `add-log-exp_binary64_13416` `sqrt-prod_binary64_9983` `pow1/2_binary64_1181` `flip3-+_binary64_22246` `times-frac_binary64_24977` `cbrt-div_binary64_2497` `pow-to-exp_binary64_1511`
46×	`associate-l/_binary64_3431` `associate-/r_binary64_10252` `exp-sum_binary64_124` `prod-exp_binary64_11380` `distribute-lft-out_binary64_23558` `cbrt-div_binary64_1815` `associate-/r/_binary64_3093` `flip3-+_binary64_13039` `associate-l_binary64_11613` `add-cube-cbrt_binary64_25347` `pow-prod-down_binary64_23678` `add-cube-cbrt_binary64_22278` `associate-/r_binary64_18095` `flip-+_binary64_13010` `associate-/r/_binary64_9231` `associate-/l_binary64_13663` `sub-neg_binary64_753` `associate-/r/_binary64_2752` `difference-of-squares_binary64_10277` `unswap-sqr_binary64_4138` `add-exp-log_binary64_8982`
45×	`add-cube-cbrt_binary64_5910` `flip--_binary64_22900` `add-log-exp_binary64_8642` `distribute-lft-out--_binary64_3781` `cancel-sign-sub-inv_binary64_9251` `associate-/l_binary64_11276` `cbrt-unprod_binary64_15797` `frac-times_binary64_19184` `cbrt-prod_binary64_6929` `flip-+_binary64_4144` `sqrt-prod_binary64_5550` `prod-exp_binary64_15813` `flip3-+_binary64_4173` `-commutative_binary64_1714` `pow1_binary64_14461` `prod-exp_binary64_10016` `associate-*r/_binary64_3771` `cbrt-div_binary64_12386` `frac-add_binary64_1109` `associate-/r/_binary64_706` `distribute-lft-out--_binary64_3440` `cbrt-div_binary64_8976` `cbrt-unprod_binary64_14092` `log-prod_binary64_10735` `flip3--_binary64_22929`
44×	`1-exp_binary64_463` `pow1_binary64_26055` `pow1/3_binary64_3229` `distribute-lft-in_binary64_6165` `associate-/r/_binary64_14005` `flip-+_binary64_10623` `distribute-neg-frac_binary64_2429` `cbrt-div_binary64_4884` `associate-/l_binary64_9571` `flip3-+_binary64_10652` `cbrt-undiv_binary64_18867` `associate--l+_binary64_3425` `div-exp_binary64_20589` `distribute-rgt-in_binary64_6166` `pow1_binary64_14802` `sub-neg_binary64_71` `cbrt-undiv_binary64_20572` `add-exp-log_binary64_26032` `cancel-sign-sub-inv_binary64_10956` `associate-r/_binary64_11955`
43×	`swap-sqr_binary64_13344` `add-cube-cbrt_binary64_24665` `flip--_binary64_3804` `flip3--_binary64_21224` `flip--_binary64_21195` `div-exp_binary64_6608` `associate-l_binary64_9908` `cbrt-unprod_binary64_14774` `flip3-+_binary64_17131` `-un-lft-identity_binary64_24630` `associate-r_binary64_4792` `add-log-exp_binary64_20236` `add-log-exp_binary64_14780` `associate-+l+_binary64_1716` `associate-r_binary64_10248` `pow1/3_binary64_3570` `associate-r_binary64_17409` `cancel-sign-sub-inv_binary64_16753` `add-cbrt-cube_binary64_8980` `prod-exp_binary64_14790` `sub-neg_binary64_2117` `flip--_binary64_14716` `associate-l/_binary64_11956` `associate-/l_binary64_6843` `flip-+_binary64_17102` `flip3--_binary64_14745` `frac-add_binary64_2132` `associate-r*_binary64_20819` `flip3--_binary64_3833`
42×	`cbrt-div_binary64_2838` `cbrt-unprod_binary64_11364` `div-exp_binary64_14792` `associate-r/_binary64_10591` `pow-prod-down_binary64_9697` `frac-2neg_binary64_771` `div-inv_binary64_6554` `pow-unpow_binary64` `associate-l*_binary64_11272` `pow-sqr_binary64_2097` `clear-num_binary64_759` `sqrt-pow1_binary64_16123` `frac-add_binary64_2473`
41×	`distribute-rgt-in_binary64_1733` `distribute-lft-out_binary64_3098` `associate-l/_binary64_21` `prod-exp_binary64_20587` `cbrt-unprod_binary64_20571` `distribute-lft-in_binary64_1732` `sub-neg_binary64_1435` `prod-exp_binary64_6947` `prod-exp_binary64_21610` `flip3--_binary64_12017` `cbrt-undiv_binary64_15457` `div-inv_binary64_17807` `difference-of-squares_binary64_17779` `div-exp_binary64_17520` `flip--_binary64_17103` `cbrt-undiv_binary64_17503` `associate-l_binary64_4793` `add-log-exp_binary64_20577` `associate-/r_binary64_15367` `cbrt-prod_binary64_19887` `associate-/r/_binary64_14346` `flip3--_binary64_17132` `associate-/l*_binary64_17755` `log-pow_binary64_3918` `associate-/r/_binary64_16733` `pow-prod-down_binary64_15835` `cbrt-prod_binary64_20228` `flip--_binary64_11988` `cbrt-undiv_binary64_14775` `cbrt-unprod_binary64_18866` `frac-times_binary64_88`
40×	`cbrt-div_binary64_3179` `sub-neg_binary64_412` `cbrt-unprod_binary64_11705` `sqrt-div_binary64_4187` `sum-log_binary64_1192` `prod-exp_binary64_21269` `pow-prod-up_binary64_3558` `flip--_binary64_3122` `associate-/r_binary64_20482` `associate-r/_binary64_12296` `flip3--_binary64_3151` `add-cbrt-cube_binary64_23984` `frac-times_binary64_16115` `associate-/r_binary64_6501` `cbrt-div_binary64_14773` `distribute-lft-out_binary64_20489` `associate-l*_binary64_6839` `add-exp-log_binary64_23986`
39×	`sqrt-pow1_binary64_19192` `prod-exp_binary64_6606` `flip3--_binary64_18155` `associate-/r_binary64_25597` `rec-exp_binary64_128` `+-commutative_binary64_1713` `div-inv_binary64_18830` `associate-l_binary64_12977` `1-exp_binary64_122` `pow-flip_binary64_1857` `flip--_binary64_14375` `flip3--_binary64_14404` `log-prod_binary64_25057` `associate-/r/_binary64_18779` `pow-prod-down_binary64_12766` `associate-l*_binary64_22866` `sub-neg_binary64_2458` `clear-num_binary64_2123` `associate-+r+_binary64_3420` `flip--_binary64_18126` `cbrt-prod_binary64_20569` `rem-sqrt-square_binary64_1114` `pow-prod-down_binary64_4582` `cbrt-undiv_binary64_13411` `sqrt-prod_binary64_19531` `add-log-exp_binary64_8983` `frac-2neg_binary64_2135` `cbrt-prod_binary64_16477`
38×	`sqr-pow_binary64_9257` `swap-sqr_binary64_3455` `cbrt-prod_binary64_8634` `flip3--_binary64_3492` `associate-l/_binary64_18094` `distribute-lft-out--_binary64_22877` `associate-r_binary64_25252` `associate-/l_binary64_5138` `distribute-lft-out--_binary64_21513` `log-pow_binary64_12443` `sqrt-pow1_binary64_3506` `prod-exp_binary64_17518` `associate-l_binary64_13318` `flip--_binary64_3463` `cube-prod_binary64_8972` `cbrt-undiv_binary64_6932` `rem-sqrt-square_binary64_773` `rec-exp_binary64_469` `cbrt-prod_binary64_17159` `associate-r_binary64_5133` `frac-times_binary64_2816` `rec-exp_binary64_810` `cbrt-unprod_binary64_17502` `cbrt-unprod_binary64_3862` `associate-+l+_binary64_3421` `1-exp_binary64_804`
37×	`associate-/r_binary64_20823` `div-exp_binary64_14110` `cbrt-unprod_binary64_10000` `cancel-sign-sub-inv_binary64_15730` `pow1_binary64_9005` `pow1/2_binary64_840` `rem-sqrt-square_binary64_91` `associate-+l+_binary64_693` `associate-/l_binary64_15368` `associate--l+_binary64_10245` `frac-times_binary64_6908` `associate-/r_binary64_11275` `prod-exp_binary64_13085` `distribute-lft-in_binary64_11621` `rem-sqrt-square_binary64_2137` `pow1/3_binary64_1524` `cbrt-prod_binary64_5906` `add-cbrt-cube_binary64_26030` `cbrt-undiv_binary64_17162` `pow1_binary64_25032` `associate-r/_binary64_5476` `distribute-rgt-in_binary64_11622` `distribute-lft-out_binary64_11623` `unswap-sqr_binary64_2774` `tan-quot_binary64` `add-cbrt-cube_binary64_22620`
36×	`unpow-prod-up_binary64_9363` `div-inv_binary64_20535` `prod-exp_binary64_22974` `cancel-sign-sub-inv_binary64_21527` `exp-prod_binary64_25705` `pow-prod-down_binary64_7310` `div-exp_binary64_17861` `associate--r+_binary64_8539` `distribute-lft-out_binary64_4803` `associate-/r_binary64_10934` `add-exp-log_binary64_25350` `sqr-pow_binary64_2096` `cbrt-undiv_binary64_13070` `pow-prod-down_binary64_12425` `cbrt-unprod_binary64_10682` `distribute-rgt-in_binary64` `log-div_binary64_3916` `swap-sqr_binary64_1409` `add-cube-cbrt_binary64_26029` `unswap-sqr_binary64_10617` `pow1/2_binary64_499` `rem-sqrt-square_binary64_1796` `difference-of-sqr--1_binary64_1413` `cbrt-prod_binary64_20910` `distribute-lft-in_binary64` `sum-log_binary64_169` `-un-lft-identity_binary64_25994`
35×	`distribute-rgt-in_binary64_14009` `flip-+_binary64_4485` `flip3-+_binary64_4514` `distribute-lft-out--_binary64_10260` `add-exp-log_binary64_25691` `sqrt-prod_binary64_4868` `cbrt-div_binary64_15114` `prod-exp_binary64_15131` `distribute-lft-in_binary64_14008` `cancel-sign-sub-inv_binary64_10615` `div-exp_binary64_16838` `distribute-lft-out_binary64_17079` `div-inv_binary64_3144` `associate-l_binary64_18433` `sqr-pow_binary64_3801` `difference-of-squares_binary64_10959` `unswap-sqr_binary64_15732` `pow1/3_binary64_842` `cbrt-prod_binary64_10680` `exp-sum_binary64_3534` `associate-l/_binary64_15707` `cbrt-div_binary64` `pow1/3_binary64_1183` `associate-r_binary64_22524` `-commutative_binary64_3419` `cancel-sign-sub-inv_binary64_16412`
34×	`div-inv_binary64_3826` `sqrt-div_binary64_19191` `cbrt-unprod_binary64_19548` `flip3--_binary64_15427` `distribute-rgt-in_binary64_17419` `flip--_binary64_15398` `cbrt-div_binary64_1133` `prod-exp_binary64_7970` `sin-mult_binary64_574` `cbrt-undiv_binary64_18526` `associate-*l/_binary64_18435` `cbrt-unprod_binary64_7954` `pow-exp_binary64_146` `pow1/3_binary64_4934` `cbrt-div_binary64_792` `distribute-lft-in_binary64_17418` `sqrt-div_binary64_3505` `associate-/r/_binary64_6503` `div-exp_binary64_4562` `sqrt-div_binary64_9984`
33×	`prod-exp_binary64_12403` `cbrt-unprod_binary64_12387` `add-log-exp_binary64_14439` `associate-r/_binary64_15706` `-commutative_binary64_2737` `div-exp_binary64_6267` `distribute-lft-out--_binary64_10942` `associate-/r/_binary64_18097` `add-log-exp_binary64_22282` `pow-prod-down_binary64_4241` `associate-/r_binary64_5137` `cbrt-unprod_binary64_15115` `associate-l_binary64_5134` `associate-/l_binary64_17414` `div-exp_binary64_3198` `rem-sqrt-square_binary64` `unswap-sqr_binary64_19142` `associate--l+_binary64_11609` `flip3--_binary64_16450` `sub-neg_binary64_8596` `log-pow_binary64_2895` `distribute-lft-out--_binary64_17762` `flip--_binary64_16421` `sqrt-prod_binary64_8619`
32×	`distribute-lft-out_binary64_17761` `add-log-exp_binary64_7619` `prod-exp_binary64_10357` `cbrt-undiv_binary64_21254` `frac-add_binary64_3496` `cbrt-undiv_binary64_3181` `cbrt-div_binary64_7271` `sqrt-div_binary64_7256` `diff-log_binary64_2557` `frac-2neg_binary64_15093` `pow1_binary64_21281` `div-exp_binary64_9677` `prod-exp_binary64_20246` `distribute-rgt-in_binary64_7871` `pow-prod-down_binary64_3218` `unswap-sqr_binary64_9253` `associate-/l/_binary64_366` `clear-num_binary64_15081` `associate-+r+_binary64_17060` `associate-/r/_binary64_4116` `distribute-rgt-neg-in_binary64_5151` `distribute-lft-in_binary64_7870` `sub-neg_binary64_2799` `swap-sqr_binary64_4819` `sqr-pow_binary64_6188` `unswap-sqr_binary64_12663` `flip--_binary64_9601` `sqr-pow_binary64_2778` `div-exp_binary64_7631` `pow-prod-down_binary64_15494` `flip3--_binary64_9630` `sqrt-pow1_binary64_13395` `distribute-lft-neg-in_binary64_5150` `swap-sqr_binary64_6524` `associate-/l*_binary64_14004` `unswap-sqr_binary64_11981` `unswap-sqr_binary64_18801` `pow-prod-up_binary64_1853`
31×	`div-inv_binary64_22922` `associate-r_binary64_16727` `pow-prod-down_binary64_14130` `prod-exp_binary64_11039` `cbrt-unprod_binary64_21594` `distribute-lft-in_binary64_15713` `sub-neg_binary64_15757` `flip3-+_binary64_15426` `cbrt-prod_binary64_10339` `prod-exp_binary64_8311` `add-log-exp_binary64_6937` `1-exp_binary64_1486` `exp-sum_binary64_2511` `associate-l_binary64_6157` `flip--_binary64_17785` `sqrt-prod_binary64_17485` `distribute-rgt-in_binary64_15714` `div-inv_binary64_15420` `associate-/l_binary64_6502` `frac-times_binary64_17138` `sqrt-pow1_binary64_5211` `associate-+r+_binary64_1033` `log-pow_binary64` `pow-prod-down_binary64_16176` `1-exp_binary64_10693` `sum-log_binary64_12445` `rec-exp_binary64_10699` `cancel-sign-sub-inv_binary64_7205` `rem-sqrt-square_binary64_2478` `associate-l_binary64_14341` `frac-times_binary64_5544` `associate-r/_binary64_10932` `flip3--_binary64_17814` `div-inv_binary64_7577` `associate-r/_binary64_4112` `associate--l+_binary64_2743` `associate-/r_binary64_4455` `flip-+_binary64_15397` `rec-exp_binary64_1492` `div-inv_binary64_16784` `cbrt-unprod_binary64_8295`
30×	`+-commutative_binary64_8` `cbrt-unprod_binary64_10341` `associate-+r+_binary64_692` `cbrt-div_binary64_25344` `flip3--_binary64_10994` `diff-log_binary64_1875` `sqr-pow_binary64_1755` `flip-+_binary64_20853` `rec-exp_binary64` `1-exp_binary64` `pow-unpow_binary64_1860` `associate-/r/_binary64_5480` `pow-unpow_binary64_3224` `frac-sub_binary64_428` `cancel-sign-sub-inv_binary64_21186` `associate-r_binary64_24911` `cube-prod_binary64_14428` `div-exp_binary64_11382` `unpow-prod-down_binary64_14479` `flip--_binary64_10965` `associate-l_binary64_19456` `swap-sqr_binary64_20846` `associate-l_binary64_17410` `flip3-+_binary64_20882` `cbrt-div_binary64_23639` `frac-times_binary64_15433` `associate--r+_binary64_3765` `cbrt-div_binary64_22616` `associate-l_binary64_7862` `cancel-sign-sub-inv_binary64_20163` `cbrt-unprod_binary64_22958` `exp-prod_binary64_471` `add-log-exp_binary64_19895`
29×	`flip3--_binary64_7243` `cbrt-unprod_binary64_6931` `associate-/l/_binary64_15029` `distribute-rgt-in_binary64_17078` `pow1/3_binary64_2888` `add-cbrt-cube_binary64_24666` `associate-/l/_binary64_707` `add-sqr-sqrt_binary64_24311` `unpow3_binary64_826` `log-div_binary64_2893` `swap-sqr_binary64_386` `pow1/3_binary64_16187` `associate-/r_binary64_8206` `associate-/l/_binary64_25` `exp-sum_binary64_465` `associate-r/_binary64_9909` `associate-/l_binary64_17073` `distribute-lft-neg-in_binary64` `sum-log_binary64` `cbrt-undiv_binary64_14093` `associate-/l_binary64_5479` `add-cbrt-cube_binary64_25689` `flip--_binary64_14034` `cube-mult_binary64_790` `unpow-prod-down_binary64_24709` `cbrt-undiv_binary64_9660` `flip3--_binary64_8948` `flip--_binary64_8919` `unswap-sqr_binary64_15391` `frac-sub_binary64_2815` `log-pow_binary64_16876` `distribute-lft-out_binary64_5144` `flip3--_binary64_14063` `distribute-lft-in_binary64_17077` `flip--_binary64_7214` `cbrt-unprod_binary64_20230`
28×	`pow-prod-down_binary64_3900` `cbrt-div_binary64_18524` `pow-to-exp_binary64_147` `cube-mult_binary64_3177` `frac-times_binary64_22253` `sqrt-div_binary64_18168` `div-exp_binary64_21612` `associate-/l_binary64_10253` `diff-log_binary64_170` `div-inv_binary64_11328` `pow-prod-up_binary64_2535` `div-inv_binary64_14056` `cbrt-div_binary64_13068` `cbrt-prod_binary64_15454` `associate-r*_binary64_25934` `cancel-sign-sub-inv_binary64_17435` `flip3--_binary64_16791` `unswap-sqr_binary64_6525` `cos-mult_binary64_573` `add-sqr-sqrt_binary64_23970` `swap-sqr_binary64_727` `pow-prod-down_binary64_8333` `pow-plus_binary64_2187` `log-div_binary64_847` `cube-prod_binary64_2152` `distribute-rgt-in_binary64_2074` `pow1/3_binary64_12436` `flip3-+_binary64_10311` `pow-pow_binary64_16859` `pow-prod-down_binary64_10379` `cbrt-unprod_binary64_6590` `flip--_binary64_16762` `sqr-pow_binary64_1073` `associate-+r+_binary64_7853` `pow-prod-down_binary64_24019` `associate--l+_binary64_12291` `distribute-lft-in_binary64_2073` `associate--l+_binary64_13655` `pow1/2_binary64_16185` `flip-+_binary64_10282`
27×	`associate-/r_binary64_3432` `pow-plus_binary64_3551` `unswap-sqr_binary64_9935` `pow-prod-down_binary64_22996` `pow1_binary64_7641` `unpow3_binary64_3213` `unswap-sqr_binary64_7207` `unswap-sqr_binary64_13345` `pow1/3_binary64_18233` `unpow-prod-down_binary64_10046` `distribute-lft-out_binary64_14692` `div-inv_binary64_6213` `-commutative_binary64_3078` `exp-diff_binary64_1831` `sqrt-prod_binary64_20554` `pow1/3_binary64_16528` `associate-l_binary64_23548` `unswap-sqr_binary64_8571` `diff-log_binary64_2898` `associate-+l+_binary64_10923` `cancel-sign-sub-inv_binary64_7546` `div-exp_binary64_10359`
26×	`pow-prod-down_binary64_5264` `unswap-sqr_binary64_13686` `div-inv_binary64_18148` `associate-l/_binary64_19458` `flip-+_binary64_14033` `pow-exp_binary64_3215` `pow1/3_binary64_4593` `flip-+_binary64_23581` `cbrt-div_binary64_5907` `sub-neg_binary64_12347` `flip3-+_binary64_23610` `associate-r/_binary64_22185` `associate-l/_binary64_23550` `flip--_binary64_22559` `sqrt-prod_binary64_24987` `cbrt-unprod_binary64_8636` `flip3--_binary64_22588` `associate-r_binary64_7520` `pow-sqr_binary64_1756` `times-frac_binary64_22249` `diff-log_binary64_852` `associate-+r+_binary64_10922` `cube-div_binary64_1812` `add-cbrt-cube_binary64_25348` `prod-exp_binary64_8652` `distribute-lft-out_binary64_21853` `associate-/l_binary64_7525` `associate-/l/_binary64_2071` `flip3-+_binary64_14062` `associate-*l/_binary64_15366` `pow-prod-down_binary64_11743` `cbrt-undiv_binary64_4545`
25×	`associate-l_binary64_25935` `add-log-exp_binary64_24328` `+-commutative_binary64_1031` `cbrt-undiv_binary64_3863` `sum-log_binary64_851` `unswap-sqr_binary64_14027` `cbrt-undiv_binary64_17844` `pow-prod-up_binary64_148` `add-cbrt-cube_binary64_23302` `distribute-lft-out_binary64_15374` `pow1_binary64_24691` `pow1/3_binary64` `cancel-sign-sub-inv_binary64_18458` `flip-+_binary64_12669` `associate-/l/_binary64_3094` `associate-/l/_binary64_13665` `associate-l_binary64_7521` `swap-sqr_binary64_16072` `pow1/2_binary64_5273` `associate-/l_binary64_22870` `associate-/r_binary64_9570` `cbrt-unprod_binary64_13069` `add-exp-log_binary64_23304` `pow-exp_binary64_1169` `sqr-pow_binary64_9939` `cbrt-prod_binary64_25343` `cbrt-unprod_binary64_11023` `diff-log_binary64_1534` `associate-/l_binary64_14686` `flip3-+_binary64_12698` `+-commutative_binary64_2054` `cancel-sign-sub-inv_binary64_6864` `sub-neg_binary64_10301` `distribute-lft-out_binary64_5485` `associate-r_binary64_21842` `associate-/r/_binary64_25599` `associate--l+_binary64_2402` `unpow-prod-down_binary64_6636` `cbrt-prod_binary64_8293` `diff-log_binary64_511` `flip3--_binary64_17473` `flip--_binary64_17444` `associate-/r_binary64_16390`
24×	`associate-r/_binary64_16388` `distribute-rgt-in_binary64_12645` `pow-prod-down_binary64_6628` `cbrt-div_binary64_17501` `sqrt-prod_binary64_20895` `associate-+r+_binary64_10240` `associate-/l_binary64_21506` `log-pow_binary64_25060` `distribute-rgt-in_binary64_21511` `flip-+_binary64_16761` `distribute-rgt-neg-in_binary64_3787` `associate-/r_binary64_22528` `associate-r/_binary64_11273` `times-frac_binary64_5881` `flip3-+_binary64_12357` `associate-/r_binary64_21846` `cbrt-prod_binary64_25002` `associate-r/_binary64_14342` `unswap-sqr_binary64_21188` `pow1/3_binary64_7321` `distribute-lft-in_binary64_21510` `associate-+r+_binary64_6148` `swap-sqr_binary64_4137` `associate-r/_binary64_19798` `associate-+r+_binary64_351` `difference-of-sqr-1_binary64_22895` `add-log-exp_binary64_21600` `flip-+_binary64_12328` `pow-unpow_binary64_2201` `associate-/l_binary64_25598` `sin-sum_binary64_211` `pow-prod-down_binary64_10720` `associate-/r/_binary64_16392` `clear-num_binary64_2805` `pow-pow_binary64` `unswap-sqr_binary64_10958` `distribute-lft-out_binary64_4121` `distribute-lft-neg-in_binary64_3786` `rec-exp_binary64_21270` `frac-2neg_binary64_2817` `flip3-+_binary64_16790` `distribute-lft-in_binary64_12644` `1-exp_binary64_21264`
23×	`flip3-+_binary64_8265` `cbrt-unprod_binary64_22276` `cbrt-undiv_binary64_21595` `flip-+_binary64_8236` `unswap-sqr_binary64_16073` `cbrt-undiv_binary64_7955` `pow1_binary64_5936` `div-inv_binary64_14738` `frac-2neg_binary64_2476` `pow-prod-down_binary64_22314` `sub-neg_binary64_3822` `sub-neg_binary64_3140` `neg-mul-1_binary64` `associate-l/_binary64_19117` `add-log-exp_binary64_19554` `flip-+_binary64_9259` `distribute-lft-out--_binary64_10601` `associate-l/_binary64_16048` `pow-prod-down_binary64_17540` `associate-r/_binary64_18434` `div-exp_binary64_7972` `associate-l/_binary64_8546` `associate-*r/_binary64_17411` `flip3-+_binary64_9288` `log-div_binary64` `+-commutative_binary64` `pow-prod-down_binary64_4923` `flip--_binary64_23582` `prod-exp_binary64_22292` `clear-num_binary64_2464` `flip3--_binary64_23611` `sub-neg_binary64_3481`
22×	`associate-r/_binary64_10250` `div-exp_binary64_18202` `unswap-sqr_binary64_3797` `pow-flip_binary64_13451` `distribute-lft-out--_binary64_17080` `difference-of-sqr-1_binary64_2776` `associate-r/_binary64_25936` `swap-sqr_binary64_3114` `associate-/r/_binary64_20825` `associate-/l_binary64_20483` `pow1_binary64_24350` `cbrt-div_binary64_14091` `pow-pow_binary64_150` `cbrt-prod_binary64_24661` `distribute-lft-in_binary64_3096` `div-exp_binary64_22976` `-commutative_binary64_15695` `cube-div_binary64_789` `unswap-sqr_binary64_9594` `exp-prod_binary64_130` `associate--l+_binary64_2061` `pow-flip_binary64_2198` `difference-of-squares_binary64_20848` `unswap-sqr_binary64_4479` `unswap-sqr_binary64_12322` `associate-*r/_binary64_8204` `diff-log_binary64_10400` `associate-+l+_binary64_10241` `add-log-exp_binary64_5914` `1-exp_binary64_2168` `distribute-rgt-in_binary64_3097` `associate-/l/_binary64_4117` `un-div-inv_binary64_758` `add-log-exp_binary64_20918` `rec-exp_binary64_2174` `frac-times_binary64_14751` `rem-sqrt-square_binary64_432` `sub-neg_binary64_5527`
21×	`sum-log_binary64_14150` `cbrt-undiv_binary64_16821` `associate-r/_binary64_16047` `div-inv_binary64_20194` `prod-exp_binary64_13426` `pow1/2_binary64_19254` `rem-sqrt-square_binary64_1455` `clear-num_binary64_3146` `sum-log_binary64_1533` `pow-prod-up_binary64_16175` `distribute-lft-out--_binary64_17421` `associate-/l/_binary64_21508` `div-exp_binary64_20248` `sqrt-prod_binary64_14416` `log-pow_binary64_2554` `sub-neg_binary64_1094` `cbrt-div_binary64_14432` `flip-+_binary64_14715` `rec-exp_binary64_17178` `pow-unpow_binary64_1519` `swap-sqr_binary64_19141` `difference-of-squares_binary64_25622` `-commutative_binary64_16377` `-commutative_binary64_18082` `pow-unpow_binary64_11408` `associate-/r/_binary64_22871` `flip3-+_binary64_18836` `+-commutative_binary64_3418` `associate-/r_binary64_7183` `pow1_binary64_7982` `pow1_binary64_21963` `sqrt-prod_binary64_16462` `add-log-exp_binary64_21941` `neg-mul-1_binary64_2461` `frac-2neg_binary64_3158` `distribute-lft-out--_binary64_5486` `sum-log_binary64_7330` `-commutative_binary64_17741` `pow2_binary64_2205` `1-exp_binary64_17172` `flip-+_binary64_18807` `sqrt-prod_binary64_11006` `flip3-+_binary64_14744` `associate-/l_binary64_14345` `associate-/r/_binary64_10254` `associate-+r+_binary64_10581`
20×	`flip3-+_binary64_7242` `associate-l/_binary64_5477` `cube-prod_binary64_1129` `flip--_binary64_10283` `flip-+_binary64_7213` `unswap-sqr_binary64_19824` `sub-neg_binary64_9619` `associate-l_binary64_24571` `distribute-lft-in_binary64_21169` `distribute-lft-out--_binary64_11624` `cos-sum_binary64_894` `cbrt-undiv_binary64_22959` `sum-log_binary64_2556` `div-exp_binary64_14451` `sqrt-div_binary64_17486` `associate-/r/_binary64_19120` `clear-num_binary64_12012` `add-exp-log_binary64_5913` `pow-prod-down_binary64_19586` `pow1/3_binary64_12095` `flip3--_binary64_10312` `frac-add_binary64_12362` `unswap-sqr_binary64_17096` `cbrt-div_binary64_16819` `log-pow_binary64_25742` `prod-exp_binary64_18541` `associate-r/_binary64_9227` `associate-r/_binary64_6840` `diff-log_binary64_1193` `sqrt-pow1_binary64_7257` `distribute-rgt-in_binary64_21170` `cbrt-undiv_binary64_14434` `pow1_binary64_22645` `distribute-lft-in_binary64_20146` `cbrt-div_binary64_19888` `add-log-exp_binary64_21259` `frac-2neg_binary64_12024` `unswap-sqr_binary64_20506` `add-exp-log_binary64_25009` `associate-l/_binary64_4795` `distribute-rgt-in_binary64_20147` `pow-sqr_binary64_2438` `cbrt-undiv_binary64_20231` `associate-r_binary64_23888` `inv-pow_binary64_2209` `cbrt-undiv_binary64_18185` `associate-*l/_binary64_12979`
19×	`-commutative_binary64_15354` `flip3-+_binary64_8606` `pow-prod-down_binary64_12084` `cbrt-unprod_binary64_14433` `tan-quot_binary64_237` `flip3-+_binary64_25315` `clear-num_binary64_10648` `pow-pow_binary64_1855` `prod-exp_binary64_14449` `associate-/r/_binary64_17756` `unswap-sqr_binary64_16414` `frac-sub_binary64_15091` `clear-num_binary64_4169` `+-commutative_binary64_1372` `associate-/l/_binary64_12642` `frac-2neg_binary64_4181` `flip-+_binary64_8577` `cbrt-prod_binary64_22615` `sqr-pow_binary64_11303` `flip-+_binary64_6190` `rec-exp_binary64_13427` `cbrt-div_binary64_11363` `cbrt-prod_binary64_5224` `associate-/l_binary64_3433` `cbrt-unprod_binary64_23981` `div-exp_binary64_16497` `unswap-sqr_binary64_11640` `associate-/r/_binary64_20143` `1-exp_binary64_13421` `unswap-sqr_binary64_20165` `div-inv_binary64_25650` `sum-log_binary64_2897` `cbrt-undiv_binary64_7614` `sub-neg_binary64_6209` `-commutative_binary64_9557` `prod-exp_binary64_23997` `flip-+_binary64_25286` `associate-l/_binary64_6841` `div-exp_binary64_3539` `-commutative_binary64_12285` `flip3-+_binary64_6219` `associate-/l/_binary64_10596` `flip3--_binary64_20201` `associate-/r_binary64_23551` `pow-prod-down_binary64_11061` `frac-2neg_binary64_10660` `flip--_binary64_20172` `distribute-lft-out_binary64_16056` `pow-exp_binary64_11399` `pow-exp_binary64_12081` `pow-prod-down_binary64_9356`
18×	`sum-log_binary64_11081` `div-sub_binary64_3152` `unswap-sqr_binary64_17778` `associate-/r_binary64_12298` `associate-/r/_binary64_23553` `flip3-+_binary64_6560` `unswap-sqr_binary64_4820` `unpow-prod-down_binary64_17548` `pow-exp_binary64_3556` `sub-neg_binary64_10983` `associate-r/_binary64_7181` `log-div_binary64_3575` `distribute-lft-neg-in_binary64_717` `cbrt-unprod_binary64_4885` `unpow-prod-down_binary64_19594` `-commutative_binary64_19787` `cbrt-div_binary64_5225` `sqrt-prod_binary64_15780` `add-cbrt-cube_binary64_5911` `distribute-rgt-neg-in_binary64_718` `pow-pow_binary64_491` `pow-div_binary64_1858` `unpow3_binary64_1849` `associate-+l+_binary64_2398` `pow-exp_binary64_2192` `associate-/r/_binary64_9572` `pow1/2_binary64_3568` `-un-lft-identity_binary64_23948` `pow-to-exp_binary64_3216` `sum-log_binary64_16196` `cancel-sign-sub-inv_binary64_19140` `swap-sqr_binary64_15731` `distribute-lft-out--_binary64_25605` `log-div_binary64_1870` `sqrt-div_binary64_14417` `associate-/r/_binary64_15369` `-commutative_binary64_7170` `difference-of-sqr-1_binary64_730` `sqrt-div_binary64_11007` `sqr-pow_binary64_11985` `add-log-exp_binary64_26033` `sqrt-pow1_binary64_19533` `sqrt-prod_binary64_24305` `add-log-exp_binary64_22623` `cbrt-unprod_binary64_18525` `sqrt-div_binary64_2823` `flip-+_binary64_6531` `prod-exp_binary64_4901` `cbrt-prod_binary64_22274` `neg-mul-1_binary64_1097` `pow-to-exp_binary64_2193` `cbrt-div_binary64_20911` `-commutative_binary64_4101` `add-cube-cbrt_binary64_23983` `add-log-exp_binary64_25692` `pow-exp_binary64_1851` `sqrt-div_binary64_16463` `cancel-sign-sub-inv_binary64_8228` `difference-of-sqr-1_binary64_2094` `frac-times_binary64_22594` `sqr-pow_binary64_3460` `frac-times_binary64_25322` `pow-sqr_binary64_3461` `log-prod_binary64_16873` `pow1/3_binary64_9708` `pow1/2_binary64_6978` `div-inv_binary64_14397` `*-commutative_binary64_10580`
17×	`-commutative_binary64_8534` `distribute-rgt-in_binary64_16396` `div-sub_binary64_1788` `distribute-lft-out--_binary64_7873` `cancel-sign-sub-inv_binary64_14366` `inv-pow_binary64_1868` `exp-sum_binary64_11036` `cbrt-undiv_binary64_6250` `unswap-sqr_binary64_14709` `pow1/3_binary64_8344` `frac-sub_binary64_87` `difference-of-squares_binary64_11300` `pow-sqr_binary64_51` `inv-pow_binary64_13462` `unswap-sqr_binary64_18119` `1-exp_binary64_1827` `unpow3_binary64_2872` `unpow2_binary64_1166` `pow1/3_binary64_13800` `sub-neg_binary64_9278` `frac-sub_binary64_1451` `sub-neg_binary64_16439` `cbrt-unprod_binary64_13410` `pow-prod-down_binary64_8674` `sub-neg_binary64_11665` `associate-/l/_binary64_23554` `log-div_binary64_506` `difference-of-squares_binary64_5844` `pow-prod-down_binary64_18904` `sub-neg_binary64_22918` `-un-lft-identity_binary64_24289` `div-exp_binary64_5244` `frac-2neg_binary64_18844` `log-pow_binary64_10738` `div-sub_binary64` `rem-sqrt-square_binary64_5206` `associate-/r/_binary64_5139` `difference-of-squares_binary64_7890` `sqrt-prod_binary64_24646` `distribute-lft-out--_binary64_7191` `add-log-exp_binary64_7960` `sqrt-div_binary64_6233` `associate-/l_binary64_4456` `sub-neg_binary64_17121` `distribute-lft-in_binary64_16395` `rem-log-exp_binary64_460` `cube-mult_binary64_2836` `pow-prod-up_binary64_6968` `pow-prod-up_binary64_830` `frac-2neg_binary64_12706` `associate-r/_binary64_12978` `distribute-neg-frac_binary64_1065` `associate-/l/_binary64_18780` `associate-r/_binary64_20139` `-commutative_binary64_10921` `add-cbrt-cube_binary64_25007` `div-sub_binary64_4516` `pow-exp_binary64_24698` `pow-pow_binary64_3219` `clear-num_binary64_12694` `clear-num_binary64_18832` `pow-prod-down_binary64_10038` `swap-sqr_binary64_12321` `associate-/l/_binary64_12983` `diff-log_binary64_3921`
16×	`-commutative_binary64_11262` `associate-+r+_binary64_7512` `frac-sub_binary64_1792` `associate-l/_binary64_22868` `pow-exp_binary64_2874` `div-exp_binary64_7290` `cube-prod_binary64_447` `flip--_binary64_25969` `div-exp_binary64_20930` `flip--_binary64_13011` `unswap-sqr_binary64_20847` `swap-sqr_binary64_18118` `frac-times_binary64_4862` `clear-num_binary64_13376` `sqrt-div_binary64_4869` `cbrt-undiv_binary64_20913` `-commutative_binary64_8193` `associate-+r+_binary64_21152` `associate-r/_binary64_20480` `difference-of-sqr-1_binary64_3117` `1-exp_binary64_12739` `associate-/l/_binary64_11278` `-commutative_binary64_19105` `associate-/r/_binary64_8890` `distribute-rgt-in_binary64_7530` `add-log-exp_binary64_23305` `sum-log_binary64_11422` `distribute-lft-in_binary64_15372` `cbrt-unprod_binary64_26027` `cbrt-prod_binary64_26025` `associate-/r/_binary64_21848` `associate--l+_binary64_10586` `pow1/3_binary64_6298` `1-exp_binary64_11716` `sqrt-div_binary64_20896` `unswap-sqr_binary64_8230` `div-inv_binary64_16102` `log-pow_binary64_4600` `associate-/r_binary64_21505` `frac-times_binary64_3839` `unpow-prod-down_binary64_20617` `-commutative_binary64_12626` `pow-flip_binary64_1516` `frac-2neg_binary64_13388` `difference-of-squares_binary64_21871` `unpow3_binary64_144` `associate-/r_binary64_23210` `cbrt-undiv_binary64_7273` `pow-prod-down_binary64_26065` `flip--_binary64_19831` `distribute-lft-in_binary64_7529` `flip3--_binary64_19860` `frac-times_binary64_14069` `associate-+r+_binary64_1715` `cube-mult_binary64_108` `cube-div_binary64_21590` `associate-+r+_binary64_16719` `-commutative_binary64_17059` `prod-exp_binary64_26043` `-commutative_binary64_3760` `difference-of-squares_binary64_11641` `associate-/l/_binary64_16734` `pow-to-exp_binary64_1170` `flip3--_binary64_25998` `flip3--_binary64_13040` `associate-r/_binary64_23549` `div-inv_binary64_9623` `distribute-rgt-in_binary64_15373` `distribute-rgt-in_binary64_16737` `diff-log_binary64_3239` `pow-prod-down_binary64_20268` `div-inv_binary64_4508` `rec-exp_binary64_11722` `associate-l/_binary64_6159` `pow1/3_binary64_11072` `pow-pow_binary64_832` `swap-sqr_binary64_7206` `distribute-lft-in_binary64_16736`
15×	`associate-l/_binary64_9569` `associate-/r/_binary64_4457` `associate-/l_binary64_20824` `distribute-rgt-neg-in_binary64_3105` `associate-l/_binary64_20481` `sin-diff_binary64_4647` `rem-exp-log_binary64_1823` `pow1/3_binary64_9026` `associate--l+_binary64_1379` `distribute-lft-in_binary64_8211` `distribute-lft-neg-in_binary64_3104` `flip-+_binary64_15056` `associate-/l_binary64_20142` `div-exp_binary64_22635` `distribute-lft-in_binary64_11280` `associate-r/_binary64_18775` `pow1/3_binary64_18574` `+-commutative_binary64_2395` `frac-add_binary64_86` `distribute-rgt-in_binary64_11281` `cancel-sign-sub-inv_binary64_4477` `frac-2neg_binary64_9978` `pow-prod-down_binary64_18563` `rem-log-exp_binary64` `pow-unpow_binary64_12090` `unswap-sqr_binary64_24598` `distribute-rgt-out--_binary64_15036` `-commutative_binary64_4442` `log-prod_binary64_4597` `frac-sub_binary64` `flip3-+_binary64_15085` `cbrt-unprod_binary64_5226` `pow1_binary64_25714` `associate-/l_binary64_8889` `distribute-rgt-out_binary64_18786` `flip--_binary64_5850` `pow-prod-down_binary64_5605` `cbrt-prod_binary64_21592` `pow1/2_binary64_4250` `add-cube-cbrt_binary64_24324` `cube-prod_binary64_16815` `distribute-rgt-in_binary64_8212` `sqrt-pow1_binary64_4188` `pow-to-exp_binary64_2875` `cancel-sign-sub-inv_binary64_25960` `associate-l/_binary64_8205` `swap-sqr_binary64_1068` `-commutative_binary64_6488` `frac-times_binary64_3157` `pow-unpow_binary64_3565` `prod-exp_binary64_5242` `associate-/l_binary64_12299` `associate-l_binary64_16728` `associate-r/_binary64_6158` `associate-l_binary64_21843` `associate-/r_binary64_4796` `frac-2neg_binary64_11683` `flip3--_binary64_5879` `rem-sqrt-square_binary64_16118` `associate-l/_binary64_14684` `pow-to-exp_binary64_1852` `associate-/r_binary64_8888` `frac-sub_binary64_12363` `unpow-prod-down_binary64_16866` `clear-num_binary64_9966` `pow1_binary64_25373` `clear-num_binary64_11671` `pow-prod-up_binary64` `cancel-sign-sub-inv_binary64_22209` `sum-log_binary64_23016` `distribute-rgt-out--_binary64_3101` `sub-neg_binary64_25987` `associate-*r/_binary64_20821` `associate-/r/_binary64_8208` `add-log-exp_binary64_23987` `unswap-sqr_binary64_21529` `pow-prod-down_binary64_13107` `cbrt-undiv_binary64_10342`
14×	`distribute-lft-in_binary64_19123` `swap-sqr_binary64_13003` `sum-log_binary64_10399` `div-inv_binary64_20876` `-commutative_binary64_18764` `log-prod_binary64_2210` `distribute-rgt-in_binary64_24921` `flip--_binary64_18808` `log-prod_binary64_9371` `unswap-sqr_binary64_13004` `associate-/r/_binary64_11618` `log-div_binary64_1188` `frac-times_binary64_15092` `associate-l/_binary64_9228` `associate-/l/_binary64_3776` `log-pow_binary64_3577` `exp-prod_binary64_3881` `cbrt-unprod_binary64_21253` `cancel-sign-sub-inv_binary64_23573` `pow1/2_binary64_13457` `log-pow_binary64_10397` `associate--l+_binary64_15` `distribute-lft-in_binary64_24920` `cube-div_binary64_1471` `distribute-rgt-in_binary64_25944` `frac-2neg_binary64_16798` `prod-exp_binary64_6265` `-commutative_binary64_23538` `pow-prod-down_binary64_6287` `clear-num_binary64_16786` `associate-/l/_binary64_14688` `distribute-lft-in_binary64_25943` `exp-prod_binary64_10019` `associate-l/_binary64_25255` `associate-/l/_binary64_6163` `sinh-def_binary64_14244` `1-exp_binary64_1145` `rec-exp_binary64_1151` `frac-2neg_binary64_9296` `+-commutative_binary64_690` `sqrt-pow1_binary64_1460` `flip3--_binary64_18837` `pow1/2_binary64_1522` `cbrt-undiv_binary64_6591` `clear-num_binary64_18491` `swap-sqr_binary64_16413` `swap-sqr_binary64_15049` `clear-num_binary64_9284` `pow1/3_binary64_16869` `cbrt-unprod_binary64_6249` `distribute-rgt-in_binary64_19124` `div-inv_binary64_10305` `cbrt-undiv_binary64_3522` `frac-times_binary64_6226` `associate-/l_binary64_16050` `sub-div_binary64_426` `associate-l/_binary64_22527` `div-exp_binary64_23658` `associate--l+_binary64_8540` `swap-sqr_binary64_10616` `frac-2neg_binary64_18503` `pow-pow_binary64_1514` `pow-prod-down_binary64_21632` `*-commutative_binary64_13990`
13×	`flip-+_binary64_25627` `pow1/3_binary64_19597` `frac-times_binary64_4180` `sqrt-div_binary64_13394` `flip3-+_binary64_25656` `associate-/l_binary64_19119` `difference-of-squares_binary64_10618` `rem-sqrt-square_binary64_13390` `sub-neg_binary64_16780` `cube-mult_binary64_1813` `pow-to-exp_binary64_24699` `associate-r_binary64_22183` `frac-2neg_binary64_17480` `flip--_binary64_11647` `pow-plus_binary64_1846` `div-inv_binary64_15761` `pow-pow_binary64_12085` `distribute-lft-in_binary64_9234` `distribute-rgt-in_binary64_9235` `unswap-sqr_binary64_10276` `prod-exp_binary64_20928` `associate-/l/_binary64_11960` `unswap-sqr_binary64_11299` `clear-num_binary64_17468` `pow1/3_binary64_13118` `associate-r/_binary64_14683` `div-inv_binary64_16443` `associate-/l_binary64_10935` `flip3--_binary64_11676` `associate-/r/_binary64_10936` `rem-sqrt-square_binary64_19187` `div-sub_binary64_2470` `cancel-sign-sub-inv_binary64_17776` `pow-flip_binary64_493` `unswap-sqr_binary64_15050` `difference-of-squares_binary64_7208` `log-pow_binary64_1190` `sub-neg_binary64_10642` `div-exp_binary64_25704` `rem-log-exp_binary64_801` `-commutative_binary64_16036` `sum-log_binary64_4261` `pow-prod-down_binary64_13789` `-commutative_binary64_20128` `add-log-exp_binary64_25010` `associate-l/_binary64_14002` `associate-r_binary64_23206` `sinh-def_binary64_4355` `+-commutative_binary64_12284` `cancel-sign-sub-inv_binary64_14025` `pow-sqr_binary64_733` `*-commutative_binary64_11603` `unswap-sqr_binary64_14368` `frac-add_binary64_20546` `add-log-exp_binary64_24669` `frac-sub_binary64_2133` `pow1/3_binary64_5957` `distribute-lft-out_binary64_25263` `associate-/r/_binary64_17415` `pow2_binary64_1864` `cbrt-unprod_binary64_20912` `unswap-sqr_binary64_6866` `frac-times_binary64_20548` `frac-times_binary64_20889`
12×	`rem-sqrt-square_binary64_7252` `cbrt-undiv_binary64_23641` `sum-log_binary64_4602` `clear-num_binary64_13035` `cube-prod_binary64_15792` `pow-to-exp_binary64_3557` `associate--l+_binary64_356` `cbrt-prod_binary64_23297` `-commutative_binary64_19446` `sub-neg_binary64_21554` `sub-neg_binary64_17462` `pow1/2_binary64_7319` `pow-prod-down_binary64_13448` `associate-/l/_binary64_14347` `flip--_binary64_9942` `diff-log_binary64_5626` `cbrt-undiv_binary64_19890` `pow-prod-up_binary64_6627` `diff-log_binary64_12446` `sqrt-div_binary64_24306` `inv-pow_binary64_163` `cancel-sign-sub-inv_binary64_21868` `pow1/3_binary64_4252` `1-exp_binary64_6942` `pow-sqr_binary64_6530` `sum-log_binary64_23698` `associate-l/_binary64_3090` `frac-times_binary64_23617` `associate--r+_binary64_1719` `unswap-sqr_binary64_7889` `pow1/2_binary64_10047` `associate-l_binary64_23889` `flip3-+_binary64_21905` `unpow-prod-down_binary64_15843` `log-pow_binary64_2213` `flip3--_binary64_9971` `pow-plus_binary64_2528` `sqrt-pow1_binary64_9985` `cbrt-div_binary64_26026` `diff-log_binary64_15174` `difference-of-sqr-1_binary64` `cube-prod_binary64_5562` `clear-num_binary64_3828` `rec-exp_binary64_6948` `div-inv_binary64_7918` `associate-/l_binary64_21847` `cosh-def_binary64_13904` `cbrt-undiv_binary64_5227` `log-div_binary64_12441` `associate-+l+_binary64_10582` `pow1_binary64_23327` `associate-l/_binary64_21845` `distribute-lft-in_binary64_18441` `associate-/l/_binary64_22872` `pow-flip_binary64` `unpow-prod-down_binary64_18912` `associate-/l/_binary64_2753` `pow-prod-up_binary64_2876` `associate-*r/_binary64_11614` `frac-add_binary64_427` `pow1/3_binary64_10731` `associate-+r+_binary64_11604` `sub-neg_binary64_15075` `swap-sqr_binary64_5160` `swap-sqr_binary64_2773` `associate--r-_binary64_3427` `flip3-+_binary64_24292` `pow1/2_binary64_3909` `cbrt-prod_binary64_23638` `flip-+_binary64_21876` `associate-+l-_binary64_12289` `exp-prod_binary64_19567` `unswap-sqr_binary64_22893` `cbrt-prod_binary64_21933` `cbrt-prod_binary64_11703` `log-div_binary64_165` `prod-exp_binary64_7629` `sum-log_binary64_3920` `cbrt-div_binary64_10681` `flip-+_binary64_24263` `distribute-frac-neg_binary64_1405` `distribute-lft-neg-out_binary64_1401` `exp-prod_binary64_2176` `frac-2neg_binary64_3840` `associate--r+_binary64_16382` `distribute-rgt-in_binary64_18442` `pow-unpow_binary64_4929` `pow-prod-up_binary64_1512` `sum-log_binary64_5284` `sub-neg_binary64_23600` `unswap-sqr_binary64_6184` `pow1/3_binary64_5275` `sqrt-pow1_binary64_3847` `unswap-sqr_binary64_5161` `frac-times_binary64_13046` `frac-2neg_binary64_13047` `unpow-prod-down_binary64_11069` `unpow-prod-down_binary64_5613` `frac-add_binary64_23615` `div-inv_binary64_3485` `pow-sqr_binary64_1415` `pow-flip_binary64_152` `cancel-sign-sub-inv_binary64_13343` `associate--r-_binary64_3768` `sum-log_binary64_3238` `div-exp_binary64_19907`
11×	`div-exp_binary64_8654` `diff-log_binary64_16538` `associate-/l/_binary64_18439` `associate-/l/_binary64_13324` `difference-of-squares_binary64_4821` `cbrt-prod_binary64_19546` `flip3-+_binary64_20541` `pow-exp_binary64_6625` `associate-/l_binary64_8207` `div-inv_binary64_12351` `pow-sqr_binary64_6871` `rec-exp_binary64_6607` `distribute-rgt-neg-out_binary64` `sum-log_binary64_18242` `pow1/3_binary64_17551` `flip--_binary64_21877` `-commutative_binary64_13649` `-commutative_binary64_9216` `cbrt-undiv_binary64_16480` `div-exp_binary64_21953` `pow1/3_binary64_10390` `associate-/r/_binary64_22530` `associate-/l_binary64_23552` `pow-plus_binary64_141` `cbrt-undiv_binary64_11365` `diff-log_binary64_11082` `distribute-lft-out_binary64_8554` `pow-sqr_binary64_16078` `swap-sqr_binary64_9934` `unswap-sqr_binary64_18460` `div-inv_binary64_5190` `exp-prod_binary64_9337` `sum-log_binary64_510` `pow-prod-up_binary64_4922` `div-sub_binary64_12700` `unswap-sqr_binary64_17437` `div-exp_binary64_11041` `associate-l/_binary64_4113` `associate-/r/_binary64_20484` `cbrt-undiv_binary64_8296` `div-exp_binary64_8313` `clear-num_binary64_15422` `pow-prod-up_binary64_10719` `exp-sum_binary64_3875` `rec-exp_binary64_15473` `prod-exp_binary64_22633` `clear-num_binary64_6897` `unpow3_binary64_2190` `+-commutative_binary64_3077` `cbrt-undiv_binary64_8637` `+-commutative_binary64_3759` `frac-2neg_binary64_6909` `rem-sqrt-square_binary64_4183` `difference-of-sqr-1_binary64_5504` `clear-num_binary64_17127` `div-inv_binary64_10987` `pow-prod-up_binary64_19244` `associate-+r+_binary64_7171` `frac-2neg_binary64_15434` `pow1/3_binary64_15164` `1-exp_binary64_15467` `pow-sqr_binary64` `pow-to-exp_binary64_12082` `flip-+_binary64_20512` `div-inv_binary64_21558` `cbrt-undiv_binary64_11024` `pow-sqr_binary64_392` `prod-exp_binary64_25361` `-commutative_binary64_10239` `cbrt-unprod_binary64_24663` `cbrt-undiv_binary64_21936` `pow-prod-up_binary64_489` `pow-pow_binary64_3560` `log-pow_binary64_17558` `difference-of-sqr-1_binary64_20849` `difference-of-squares_binary64_16415` `frac-2neg_binary64_17139` `+-commutative_binary64_2736` `1-exp_binary64_6601` `diff-log_binary64_11764` `*-commutative_binary64_9898` `flip3--_binary64_21906`
10×	`unpow2_binary64_12078` `rem-log-exp_binary64_9326` `pow-pow_binary64_4924` `frac-times_binary64_21230` `clear-num_binary64_20537` `sub-neg_binary64_20190` `frac-2neg_binary64_13729` `-commutative_binary64_17400` `sin-cos-mult_binary64_2621` `pow1/2_binary64_4932` `associate-r/_binary64_21162` `associate-/r/_binary64_7185` `clear-num_binary64_6215` `associate--r+_binary64_2742` `associate-/l_binary64_22529` `flip3--_binary64_8266` `log-div_binary64_17556` `sub-neg_binary64_12688` `log-prod_binary64_1528` `1-exp_binary64_6260` `rem-log-exp_binary64_13759` `cbrt-undiv_binary64_22618` `div-sub_binary64_1447` `pow-pow_binary64_2196` `sqrt-pow1_binary64_4870` `pow-flip_binary64_11746` `pow1/3_binary64_12777` `flip3--_binary64_19178` `unpow2_binary64_143` `div-inv_binary64_22581` `distribute-lft-in_binary64_14349` `rec-exp_binary64_1833` `inv-pow_binary64_504` `swap-sqr_binary64_4478` `distribute-rgt-out_binary64_24924` `distribute-lft-out_binary64_10600` `flip--_binary64_19149` `-commutative_binary64_11944` `associate-r/_binary64_7863` `unpow-prod-down_binary64_16184` `sub-neg_binary64_21213` `frac-2neg_binary64_20549` `pow1/3_binary64_21643` `associate-l/_binary64_11274` `associate-+l+_binary64_7172` `associate-l/_binary64_3772` `sqr-pow_binary64_4824` `associate-/l/_binary64_21849` `-commutative_binary64_4783` `clear-num_binary64_13717` `sqrt-div_binary64_3164` `div-sub_binary64_15087` `-commutative_binary64_6829` `frac-2neg_binary64_6227` `associate-+r+_binary64_3079` `associate-l/_binary64_10592` `flip3--_binary64_10653` `rec-exp_binary64_12745` `frac-2neg_binary64_14070` `rec-exp_binary64_6266` `div-inv_binary64_7236` `inv-pow_binary64` `pow1/3_binary64_17210` `associate-/l_binary64_16391` `difference-of-squares_binary64_9254` `frac-add_binary64_2814` `pow-prod-up_binary64_13447` `associate-/l_binary64_15709` `pow2_binary64_2546` `flip--_binary64_10624` `flip--_binary64_8237` `associate-l/_binary64_18776` `cube-prod_binary64_13064` `distribute-rgt-in_binary64_14350` `associate-r/_binary64_4794` `+-commutative_binary64_7169` `-commutative_binary64_21492` `pow-flip_binary64_1175` `-commutative_binary64_12967` `div-inv_binary64_8259` `unpow-prod-down_binary64_13115` `associate-/l/_binary64_15370` `diff-log_binary64_7331` `frac-times_binary64_10659` `sum-log_binary64_24380` `pow1/2_binary64_20959` `div-sub_binary64_13723` `exp-sum_binary64_9331` `pow-unpow_binary64_1178` `add-log-exp_binary64_25351` `sum-log_binary64_13127` `associate-l/_binary64_10933` `difference-of-squares_binary64_8231` `exp-sum_binary64_1488` `associate-r*_binary64_5815` `sqrt-prod_binary64_6914` `clear-num_binary64_14058` `associate--l+_binary64` `div-sub_binary64_424` `sqrt-pow1_binary64_20897` `div-inv_binary64_8941`
9×	`associate-l/_binary64_10251` `+-commutative_binary64_16035` `associate-l_binary64_22184` `sub-neg_binary64_14393` `pow-to-exp_binary64_19584` `frac-times_binary64_9977` `cbrt-undiv_binary64_25687` `frac-times_binary64_12364` `inv-pow_binary64_1527` `pow1/3_binary64_19938` `distribute-rgt-in_binary64_4461` `unswap-sqr_binary64_7548` `cbrt-prod_binary64_18864` `cbrt-undiv_binary64_15798` `rem-sqrt-square_binary64_3842` `associate--l-_binary64` `distribute-lft-out_binary64_7190` `pow-prod-down_binary64_14471` `pow-sqr_binary64_4825` `sub-neg_binary64_7573` `frac-times_binary64_14410` `exp-prod_binary64_4563` `unpow2_binary64_1507` `clear-num_binary64_17809` `pow-pow_binary64_1173` `add-cbrt-cube_binary64_24325` `associate-/l/_binary64_9914` `-commutative_binary64_22856` `frac-2neg_binary64_14752` `pow-prod-down_binary64_20609` `clear-num_binary64_10307` `unpow3_binary64_4918` `sub-neg_binary64_13711` `clear-num_binary64_21219` `frac-times_binary64_9636` `sqrt-div_binary64_18850` `cube-mult_binary64_2154` `diff-cos_binary64_5685` `frac-2neg_binary64_5545` `add-exp-log_binary64_24327` `associate-/l_binary64_4797` `frac-2neg_binary64_21231` `pow-sqr_binary64_3120` `pow-unpow_binary64_2542` `associate-+r+_binary64_4443` `cancel-sign-sub-inv_binary64_19822` `-commutative_binary64_5124` `pow-plus_binary64_16168` `unpow-prod-down_binary64_12433` `pow2_binary64_159` `sub-neg_binary64_18485` `rem-log-exp_binary64_2847` `associate-r_binary64_8884` `-commutative_binary64_18423` `+-commutative_binary64_4100` `cancel-sign-sub-inv_binary64_11297` `cbrt-unprod_binary64_25345` `tan-quot_binary64_4329` `pow-exp_binary64_19583` `pow2_binary64_3569` `associate-/l/_binary64_9232` `clear-num_binary64_5533` `associate-l_binary64_8885` `frac-2neg_binary64_17821` `pow-prod-up_binary64_3217` `sub-neg_binary64_19849` `associate-+r-_binary64_12288` `associate-/l/_binary64_18098` `distribute-lft-in_binary64_4460` `unswap-sqr_binary64_16755` `log-pow_binary64_6646` `cube-mult_binary64_1472` `pow-prod-down_binary64_20950` `sqr-pow_binary64_24602` `unpow3_binary64_1508` `cube-mult_binary64_4882` `frac-2neg_binary64_10319` `unswap-sqr_binary64_25962` `-commutative_binary64_25925` `pow-unpow_binary64_9021` `cbrt-unprod_binary64_22617` `pow1/3_binary64_20961` `associate-l_binary64_5816` `unpow-prod-down_binary64_13456` `div-sub_binary64_1106` `div-exp_binary64_15815` `sqrt-div_binary64_15099` `associate-*l/_binary64_20140` `clear-num_binary64_14740`
8×	`pow-prod-down_binary64_15153` `pow-plus_binary64_10712` `div-sub_binary64_9972` `distribute-rgt-out--_binary64_3783` `cos-sum_binary64_15898` `1-exp_binary64_10352` `associate-+r+_binary64_19106` `cbrt-unprod_binary64_21935` `unpow2_binary64_825` `+-commutative_binary64_22855` `frac-2neg_binary64_22936` `associate-/r/_binary64_7526` `flip-+_binary64_14374` `+-commutative_binary64_13989` `pow1/2_binary64_25051` `rem-log-exp_binary64_17510` `distribute-rgt-in_binary64_20829` `associate-+r+_binary64_20129` `div-exp_binary64_8995` `flip3-+_binary64_14403` `clear-num_binary64_22924` `frac-times_binary64_11341` `rec-exp_binary64_2856` `associate--r+_binary64_12631` `associate-/l/_binary64_14006` `cosh-undef_binary64_3682` `diff-log_binary64_23699` `neg-mul-1_binary64_3825` `rec-exp_binary64_16837` `distribute-rgt-in_binary64_19806` `flip3-+_binary64_17472` `sqrt-prod_binary64_23964` `log-div_binary64_12782` `pow1/3_binary64_25053` `1-exp_binary64_15126` `div-inv_binary64_21899` `log-pow_binary64_10056` `associate-/l/_binary64_12301` `rec-exp_binary64_15132` `-commutative_binary64_5465` `unpow-prod-down_binary64_9705` `sqrt-pow1_binary64_24648` `associate-/r/_binary64_12300` `frac-sub_binary64_22252` `frac-2neg_binary64_11342` `neg-mul-1_binary64_5189` `exp-prod_binary64_7632` `sqrt-prod_binary64_12370` `+-commutative_binary64_5123` `associate-+l+_binary64_20130` `flip--_binary64_9260` `unswap-sqr_binary64_19483` `1-exp_binary64_16831` `associate--l-_binary64_2744` `sqrt-pow1_binary64_24307` `exp-prod_binary64_1153` `sqrt-div_binary64_15781` `sqrt-pow1_binary64_24989` `distribute-lft-out_binary64_7531` `frac-add_binary64_18841` `pow-prod-up_binary64_20949` `flip-+_binary64_10964` `flip3--_binary64_19519` `associate-/r_binary64_15708` `associate--l-_binary64_3767` `rem-log-exp_binary64_119` `difference-of-squares_binary64_22212` `prod-exp_binary64_21951` `1-exp_binary64_2850` `cos-sum_binary64_2599` `div-inv_binary64_8600` `associate-+r+_binary64_21493` `rec-exp_binary64_10358` `flip3--_binary64_9289` `flip3-+_binary64_10993` `associate-/l/_binary64_17075` `pow1/2_binary64_24369` `associate-+l+_binary64_18084` `cbrt-unprod_binary64_7613` `flip-+_binary64_9600` `exp-prod_binary64_6609` `sum-log_binary64_17219` `rem-log-exp_binary64_3870` `acos-asin_binary64_3328` `associate-+l+_binary64_12628` `swap-sqr_binary64_24256` `sum-log_binary64_8353` `distribute-lft-in_binary64_19805` `associate--l+_binary64_13996` `frac-times_binary64_7249` `sub-neg_binary64_19167` `associate-l/_binary64_15025` `distribute-rgt-in_binary64_23557` `div-sub_binary64_83` `exp-diff_binary64_1149` `associate-r/_binary64_13319` `flip-+_binary64_17443` `distribute-lft-in_binary64_20828` `exp-sum_binary64_8649` `frac-times_binary64_8954` `flip--_binary64_19490` `distribute-lft-in_binary64_23556` `+-commutative_binary64_349` `pow-plus_binary64_2869` `clear-num_binary64_11330` `pow-to-exp_binary64_11400` `associate-+r+_binary64_9558` `associate-/r/_binary64_3434` `associate-/l*_binary64_5820` `exp-diff_binary64_11038` `sum-log_binary64_4943` `distribute-lft-in_binary64_6847` `distribute-rgt-in_binary64_6848` `flip3-+_binary64_9629` `sqrt-pow1_binary64_4529` `distribute-rgt-out--_binary64_2419` `associate-+r+_binary64_1374` `distribute-lft-out_binary64_24922`
7×	`distribute-lft-out--_binary64_4804` `sqrt-unprod_binary64` `pow1/2_binary64_2886` `rem-cube-cbrt_binary64_1465` `associate-r/_binary64_16729` `frac-times_binary64_11000` `associate-/l/_binary64_17757` `associate-l/_binary64_19799` `cube-div_binary64_107` `frac-2neg_binary64_14411` `+-commutative_binary64_12625` `sqr-pow_binary64_6529` `clear-num_binary64_14399` `associate-/l/_binary64_9573` `sum-log_binary64_10740` `div-exp_binary64_25363` `pow1/3_binary64_15846` `sub-neg_binary64_9960` `+-commutative_binary64_4441` `unpow2_binary64` `exp-prod_binary64_24682` `sqrt-pow1_binary64_2824` `prod-exp_binary64_16836` `associate-+l+_binary64_16038` `frac-2neg_binary64_25664` `pow-plus_binary64_823` `associate-/l_binary64_25257` `flip-+_binary64_16420` `pow-unpow_binary64_9362` `sqrt-prod_binary64_8278` `cancel-sign-sub-inv_binary64_4818` `pow-prod-down_binary64_14812` `flip-+_binary64_7554` `div-inv_binary64_23263` `pow1/3_binary64_19256` `frac-2neg_binary64_5204` `clear-num_binary64_5192` `associate-l/_binary64_20822` `sum-log_binary64_15514` `sqrt-prod_binary64_9301` `cube-div_binary64_3176` `associate-+r+_binary64` `associate-+r+_binary64_2056` `unswap-sqr_binary64_23575` `flip3-+_binary64_16449` `+-commutative_binary64_14671` `+-commutative_binary64_10920` `distribute-lft-out_binary64_8895` `pow-prod-up_binary64_5263` `+-commutative_binary64_18081` `pow-sqr_binary64_19147` `sum-log_binary64_12786` `-commutative_binary64_20469` `pow-flip_binary64_17202` `pow-to-exp_binary64_6626` `diff-log_binary64_13810` `-commutative_binary64_14672` `rem-cbrt-cube_binary64_1807` `-commutative_binary64_24561` `+-commutative_binary64_11261` `sin-mult_binary64_233` `pow-prod-down_binary64_21291` `sub-neg_binary64_4504` `sqrt-prod_binary64_20213` `sum-log_binary64_16537` `rem-log-exp_binary64_12736` `div-sub_binary64_13041` `sum-log_binary64_16878` `associate-/l/_binary64_11619` `-commutative_binary64_14331` `sqr-abs_binary64_2139` `sub-neg_binary64_7232` `sum-log_binary64_14832` `distribute-lft-out--_binary64_9237` `pow-pow_binary64_11403` `pow-plus_binary64_1505` `log-pow_binary64_13807` `cbrt-undiv_binary64_8978` `associate-r/_binary64_15024` `div-sub_binary64_3834` `exp-prod_binary64_3540` `pow1/3_binary64_24712` `clear-num_binary64_20196` `frac-sub_binary64_2474` `sinh-undef_binary64_3681` `flip3-+_binary64_7583` `clear-num_binary64_25652` `-commutative_binary64_6147` `sqrt-prod_binary64_15439` `frac-2neg_binary64_20208` `+-commutative_binary64_10238`
6×	`associate--r+_binary64_2401` `sqr-pow_binary64_10962` `rec-exp_binary64_18542` `diff-log_binary64_10059` `flip--_binary64_20854` `pow-sqr_binary64_16419` `+-commutative_binary64_4782` `distribute-lft-out--_binary64_11283` `cbrt-undiv_binary64_25346` `-commutative_binary64_23879` `pow1/3_binary64_26076` `swap-sqr_binary64_9593` `pow1/3_binary64_14823` `pow1/3_binary64_8003` `swap-sqr_binary64_10275` `inv-pow_binary64_1186` `pow2_binary64_841` `associate-r/_binary64_22526` `flip3--_binary64_20883` `div-inv_binary64_25309` `sum-log_binary64_17901` `inv-pow_binary64_11757` `frac-2neg_binary64_3499` `frac-times_binary64_7931` `associate-/l/_binary64_4458` `associate-r_binary64_24229` `log-pow_binary64_11761` `rem-cube-cbrt_binary64_1806` `1-exp_binary64_4214` `pow-unpow_binary64_3906` `associate-l/_binary64_7182` `pow-unpow_binary64_16864` `flip3--_binary64_4174` `log-div_binary64_10395` `associate--r+_binary64_10926` `flip3--_binary64_11335` `log-pow_binary64_11079` `flip3-+_binary64_13721` `div-sub_binary64_765` `exp-diff_binary64_467` `associate-/l/_binary64_20826` `distribute-lft-in_binary64_11962` `neg-sub0_binary64` `distribute-lft-out_binary64_8213` `cbrt-prod_binary64_3860` `cube-mult_binary64_449` `pow1/3_binary64_22325` `inv-pow_binary64_10393` `+-commutative_binary64_10579` `sqrt-div_binary64_12371` `frac-sub_binary64_11681` `swap-sqr_binary64_6183` `swap-sqr_binary64_5842` `1-exp_binary64_18536` `diff-log_binary64_3580` `sqr-pow_binary64_18464` `pow-plus_binary64_6620` `unswap-sqr_binary64_22552` `associate-+l+_binary64_2739` `exp-prod_binary64_2517` `associate-+l+_binary64_15356` `pow1/3_binary64_15505` `un-div-inv_binary64_15421` `flip-+_binary64_13692` `associate-/l/_binary64_20485` `pow1/3_binary64_23689` `unpow3_binary64_18558` `cube-div_binary64_20226` `cancel-sign-sub-inv_binary64_14707` `pow2_binary64_500` `rec-exp_binary64_4220` `cbrt-div_binary64_15796` `swap-sqr_binary64_16754` `pow-flip_binary64_15156` `unpow3_binary64` `+-commutative_binary64_9556` `pow-flip_binary64_10382` `+-commutative_binary64_12966` `distribute-lft-in_binary64_4801` `pow-pow_binary64_24702` `distribute-frac-neg_binary64_2428` `cube-mult_binary64` `sinh-def_binary64_4696` `div-sub_binary64_18156` `associate-+r+_binary64_3761` `rem-exp-log_binary64_459` `associate-/l/_binary64_16393` `sinh-def_binary64_945` `sin-mult_binary64_1597` `distribute-rgt-out_binary64` `rem-log-exp_binary64_1824` `cbrt-div_binary64_21934` `cube-div_binary64` `pow-sqr_binary64_2779` `pow-plus_binary64_482` `associate-r/_binary64_25254` `frac-2neg_binary64_21913` `difference-of-sqr--1_binary64_2436` `diff-log_binary64_4603` `pow-flip_binary64_6290` `sum-log_binary64_20288` `pow-unpow_binary64_2883` `+-commutative_binary64_17058` `cube-div_binary64_8973` `1-exp_binary64_4555` `cube-prod_binary64_3516` `-commutative_binary64_20810` `div-inv_binary64_23604` `clear-num_binary64_3487` `swap-sqr_binary64_8911` `pow-prod-up_binary64_4240` `pow1/2_binary64_19595` `neg-mul-1_binary64_756` `pow-unpow_binary64_20274` `pow2_binary64_1523` `inv-pow_binary64_21305` `associate-/l/_binary64_10937` `pow1/3_binary64_14141` `associate-l_binary64_24230` `div-exp_binary64_23317` `cos-sum_binary64_212` `rec-exp_binary64_13086` `associate-/l/_binary64_20144` `associate--r+_binary64_10244` `cbrt-undiv_binary64_23300` `swap-sqr_binary64_15390` `clear-num_binary64_18150` `+-commutative_binary64_20127` `associate-/r_binary64_16049` `distribute-rgt-in_binary64_4802` `swap-sqr_binary64_24597` `log-pow_binary64_12784` `pow-sqr_binary64_13350` `associate-l_binary64_24912` `cbrt-prod_binary64_17841` `clear-num_binary64_21901` `unpow3_binary64_485` `+-commutative_binary64_24219` `frac-2neg_binary64_18162` `associate--r+_binary64_355` `rem-log-exp_binary64_1142` `sum-log_binary64_9717` `sum-log_binary64_7671` `div-sub_binary64_2129` `flip--_binary64_4145` `clear-num_binary64_21560` `1-exp_binary64_13080` `associate-+l+_binary64_2057` `cancel-sign-sub-inv_binary64_20845` `unswap-sqr_binary64_23916` `distribute-rgt-in_binary64_11963` `unswap-sqr_binary64_25280` `cube-mult_binary64_18522` `rem-sqrt-square_binary64_9980` `cos-sum_binary64_19308` `associate-/r/_binary64_4798` `+-commutative_binary64_8192` `frac-2neg_binary64_21572` `distribute-rgt-out--_binary64` `+-commutative_binary64_17740` `sqrt-prod_binary64_4527` `sub-neg_binary64_8255` `pow-flip_binary64_21294` `distribute-lft-out--_binary64_8214` `flip3-+_binary64_20200` `pow-sqr_binary64_20852` `sub-neg_binary64_12006` `pow-unpow_binary64_6634` `pow-unpow_binary64_17546` `cancel-sign-sub-inv_binary64_18799` `flip-+_binary64_20171` `flip--_binary64_11306` `rem-sqrt-square_binary64_3501` `log-prod_binary64_25739` `pow-flip_binary64_10723` `pow2_binary64_6638` `pow-pow_binary64_3901` `pow-exp_binary64_20265` `pow-prod-up_binary64_16516` `sqrt-prod_binary64_16803` `sum-log_binary64_13809` `associate-/l/_binary64_8209` `swap-sqr_binary64_11980` `associate-*l/_binary64_21163` `cos-diff_binary64_2602` `sub-neg_binary64_7914` `associate--r+_binary64_14`
5×	`difference-of-squares_binary64_17097` `diff-log_binary64_16879` `div-sub_binary64_16792` `pow1/3_binary64_8685` `clear-num_binary64_12353` `sqr-pow_binary64_8916` `pow1/3_binary64_11413` `diff-log_binary64_9036` `sqr-abs_binary64_93` `sqrt-pow1_binary64_17487` `distribute-rgt-in_binary64_4120` `unpow2_binary64_6622` `cube-mult_binary64_15112` `flip3--_binary64_4856` `pow-to-exp_binary64_2534` `rem-sqrt-square_binary64_6229` `+-commutative_binary64_13307` `1-exp_binary64_17854` `pow-sqr_binary64_10622` `associate-l_binary64_25253` `distribute-lft-out--_binary64_16398` `diff-log_binary64_23017` `rem-cube-cbrt_binary64_101` `associate-/l_binary64_7184` `sqrt-undiv_binary64` `pow-exp_binary64_2533` `diff-log_binary64_6308` `sqr-pow_binary64_15054` `distribute-lft-out--_binary64_5827` `frac-times_binary64_19866` `frac-2neg_binary64_20890` `cbrt-unprod_binary64_16820` `cube-mult_binary64_16817` `div-inv_binary64_24968` `frac-2neg_binary64_12365` `count-2_binary64_18781` `diff-log_binary64_17220` `frac-2neg_binary64_23618` `frac-2neg_binary64_7591` `flip3-+_binary64_5878` `distribute-rgt-out--_binary64_1737` `cbrt-undiv_binary64_12388` `distribute-lft1-in_binary64_18788` `clear-num_binary64_8943` `sqrt-unprod_binary64_1803` `unpow-prod-down_binary64_14138` `distribute-lft-out_binary64_18443` `associate-+l+_binary64_22858` `distribute-lft-in_binary64_9916` `cos-mult_binary64_1596` `neg-mul-1_binary64_3143` `frac-2neg_binary64_9637` `div-inv_binary64_19853` `frac-add_binary64_4860` `flip--_binary64_4827` `clear-num_binary64_10989` `distribute-lft-out_binary64_10941` `rem-cube-cbrt_binary64_783` `flip-+_binary64_11646` `associate-/l/_binary64_21167` `flip3-+_binary64_11675` `distribute-rgt-in_binary64_9917` `unpow3_binary64_16853` `pow-prod-down_binary64_16858` `unpow3_binary64_15148` `+-commutative_binary64_20468` `frac-times_binary64_18843` `flip--_binary64_20513` `-commutative_binary64_21151` `associate-+r-_binary64_3081` `pow-prod-up_binary64_10037` `pow2_binary64_16186` `clear-num_binary64_4510` `associate-+l-_binary64_10243` `frac-2neg_binary64_8955` `sub-neg_binary64_6891` `pow-prod-up_binary64_24359` `exp-diff_binary64_126` `rem-exp-log_binary64_9325` `associate-l/_binary64_14343` `+-commutative_binary64_15353` `pow-plus_binary64_3210` `clear-num_binary64_20878` `diff-log_binary64_17902` `rem-sqrt-square_binary64_2819` `pow-flip_binary64_2880` `frac-2neg_binary64_11001` `-commutative_binary64_22174` `distribute-lft-in_binary64_4119` `flip-+_binary64_5849` `clear-num_binary64_23606` `-commutative_binary64_13308` `pow2_binary64_3228` `cancel-sign-sub-inv_binary64_4136` `unswap-sqr_binary64_5843` `inv-pow_binary64_15167` `1-exp_binary64_7624` `sqr-pow_binary64_20169` `distribute-rgt1-in_binary64_18789` `clear-num_binary64_6556` `associate-+r+_binary64_2397` `pow-exp_binary64_17537` `associate-l/_binary64_9910` `-commutative_binary64_15013` `cos-diff_binary64_897` `frac-2neg_binary64_4522` `unpow2_binary64_2189` `pow-sub_binary64_9361` `rec-exp_binary64_17860` `associate--r-_binary64_13657` `unswap-sqr_binary64_8912` `clear-num_binary64_8261` `frac-2neg_binary64_6568` `associate-r/_binary64_7522` `diff-log_binary64_9377` `pow1/2_binary64_17549` `rec-exp_binary64_7630` `rem-cube-cbrt_binary64_3170` `+-commutative_binary64_16717` `sub-neg_binary64_17803` `associate-+l+_binary64_23540` `diff-log_binary64_22335` `clear-num_binary64_9625` `clear-num_binary64_7579` `frac-2neg_binary64_8273` `associate-/l/_binary64_5481` `div-exp_binary64_12405` `distribute-lft-out--_binary64_22195` `difference-cubes_binary64_3831` `sum-log_binary64_13468` `difference-of-squares_binary64_7549` `associate-/l*_binary64_22188` `sub-neg_binary64_4163` `sum-log_binary64_20629` `exp-prod_binary64_11042` `log-div_binary64_13805` `diff-log_binary64_8695` `inv-pow_binary64_17213` `log-pow_binary64_7669` `sqr-pow_binary64_16759` `flip3--_binary64_20542` `pow-sqr_binary64_5166` `+-commutative_binary64_7510`
4×	`associate-+r-_binary64_2740` `associate-+r+_binary64_23539` `exp-prod_binary64_1494` `cbrt-div_binary64_8635` `cube-div_binary64_13065` `associate-+l-_binary64_2400` `sqrt-div_binary64_16804` `cube-div_binary64_15793` `pow-prod-up_binary64_4581` `div-sub_binary64_14746` `rec-exp_binary64_16496` `distribute-rgt-out--_binary64_2760` `swap-sqr_binary64_6865` `associate-r/_binary64_8886` `frac-sub_binary64_13727` `frac-2neg_binary64_19185` `acos-asin_binary64_1623` `clear-num_binary64_19173` `distribute-lft-out--_binary64_7532` `frac-add_binary64_15431` `distribute-rgt-in_binary64_13327` `distribute-rgt-out_binary64_1054` `sum-log_binary64_18583` `sin-mult_binary64_2620` `log-prod_binary64_7666` `log-div_binary64_2552` `pow-prod-down_binary64_7651` `cancel-sign-sub-inv_binary64_18117` `flip-+_binary64_18466` `+-commutative_binary64_16376` `diff-log_binary64_18243` `rec-exp_binary64_14109` `exp-sum_binary64_806` `pow1/3_binary64_14482` `frac-times_binary64_18502` `distribute-neg-frac_binary64_2770` `pow-sqr_binary64_18124` `exp-prod_binary64_4904` `distribute-lft-in_binary64_17759` `pow1/3_binary64_23348` `frac-times_binary64_24299` `difference-of-sqr-1_binary64_3799` `div-sub_binary64_21566` `flip3-+_binary64_15767` `flip--_binary64_7555` `cube-prod_binary64_5903` `associate--r+_binary64` `+-commutative_binary64_13648` `associate-/l/_binary64_3435` `+-commutative_binary64_18422` `pow-plus_binary64_11394` `sqr-pow_binary64_17441` `associate-/l/_binary64_17416` `sqrt-pow1_binary64_17828` `1-exp_binary64_16490` `cube-div_binary64_5563` `frac-add_binary64_10998` `swap-sqr_binary64_19482` `-commutative_binary64_7852` `sqrt-prod_binary64_12029` `clear-num_binary64_16445` `rem-sqrt-square_binary64_24984` `1-exp_binary64_10011` `associate--r-_binary64_9906` `cancel-sign-sub-inv_binary64_20504` `pow-prod-up_binary64_24018` `flip3-+_binary64_5537` `sin-sum_binary64_2598` `frac-times_binary64_9295` `unpow2_binary64_3894` `swap-sqr_binary64_21528` `pow-exp_binary64_4920` `div-sub_binary64_6221` `sum-log_binary64_18924` `pow-prod-down_binary64_24701` `swap-sqr_binary64_8229` `diff-log_binary64_19266` `rec-exp_binary64_10017` `pow-prod-down_binary64_22655` `flip--_binary64_22218` `cbrt-div_binary64_11022` `frac-2neg_binary64_16116` `flip3--_binary64_25657` `associate-+l+_binary64_20812` `pow-sqr_binary64_7212` `pow1/2_binary64_6296` `un-div-inv_binary64_17808` `distribute-lft-out--_binary64_8896` `pow-prod-up_binary64_11401` `inv-pow_binary64_845` `clear-num_binary64_22583` `div-inv_binary64_4849` `distribute-lft-in_binary64_13326` `tan-quot_binary64_578` `associate-/l_binary64_23211` `rem-sqrt-square_binary64_4865` `frac-add_binary64_15090` `frac-add_binary64_10316` `log-pow_binary64_9374` `frac-times_binary64_17479` `associate-/r_binary64_8547` `pow-prod-up_binary64_20608` `pow-sqr_binary64_4143` `associate-l/_binary64_8887` `sum-log_binary64_19265` `cos-neg_binary64_1573` `exp-diff_binary64_9333` `associate-/l/_binary64_25600` `associate-+l-_binary64_18086` `un-div-inv_binary64_22923` `sqr-abs_binary64_775` `associate-+l+_binary64_19107` `associate-/r_binary64_25256` `unpow1/3_binary64_3214` `pow-flip_binary64_834` `distribute-rgt-out_binary64_25265` `cos-diff_binary64_3284` `cube-div_binary64_448` `distribute-lft-out_binary64_16397` `cube-div_binary64_16816` `pow-plus_binary64_4915` `-commutative_binary64_7511` `flip-+_binary64_8918` `associate-+l+_binary64` `cancel-sign-sub-inv_binary64_5841` `pow-pow_binary64_9016` `flip3--_binary64_22247` `frac-add_binary64_21569` `cube-mult_binary64_8974` `frac-2neg_binary64_15775` `+-commutative_binary64_23537` `unpow3_binary64_9010` `unswap-sqr_binary64_24257` `distribute-lft-out--_binary64_4122` `sqrt-div_binary64_8620` `flip3-+_binary64_8947` `difference-of-squares_binary64_19143` `pow-flip_binary64_6972` `rem-sqrt-square_binary64_20892` `distribute-lft-neg-out_binary64_16746` `pow-exp_binary64_9012` `cube-mult_binary64_1131` `unpow3_binary64_20263` `frac-sub_binary64_1110` `distribute-lft-in_binary64_18782` `distribute-rgt-in_binary64_18783` `+-commutative_binary64_9897` `flip-+_binary64_5508` `flip3--_binary64_7925` `clear-num_binary64_15763` `sqrt-pow1_binary64_6234` `sum-log_binary64_10058` `pow2_binary64_20619` `sub-neg_binary64_18144` `pow-to-exp_binary64_4921` `cube-prod_binary64_2493` `difference-of-squares_binary64_4139` `unpow3_binary64_1167` `+-commutative_binary64_18763` `associate--l+_binary64_10927` `sqr-abs_binary64_19189` `pow-plus_binary64` `inv-pow_binary64_10734` `difference-of-sqr--1_binary64_4823` `log-div_binary64_11759` `unpow-prod-down_binary64_5954` `pow-prod-up_binary64_18221` `frac-times_binary64_5885` `pow2_binary64_10730` `cube-div_binary64_3517` `neg-log_binary64` `sqr-pow_binary64_5847` `distribute-rgt-out_binary64_15376` `diff-log_binary64_12787` `sub-neg_binary64_8937` `pow-flip_binary64_16861` `cos-sum_binary64_1576` `frac-times_binary64_16797` `inv-pow_binary64_2891` `unpow2_binary64_2871` `associate--l+_binary64_20475` `difference-of-squares_binary64_8913` `distribute-rgt-neg-out_binary64_2425` `atan-neg_binary64_1626` `associate-/l_binary64_8548` `cbrt-div_binary64_3861` `associate-r/_binary64_5817` `difference-of-sqr-1_binary64_4822` `pow-prod-up_binary64_22995` `pow2_binary64_2887` `diff-log_binary64_12105` `frac-2neg_binary64_22595` `pow2_binary64_4933` `flip-+_binary64_15738` `pow-pow_binary64_17541` `distribute-neg-in_binary64_2767` `log-pow_binary64_5623` `pow-plus_binary64_20601` `cancel-sign-sub-inv_binary64_8910` `cube-div_binary64_14088` `pow-prod-down_binary64_25383` `unpow2_binary64_1848` `sqr-abs_binary64_1798` `pow-sqr_binary64_23921` `rem-cube-cbrt_binary64_20220` `log-pow_binary64_1531` `1-exp_binary64_14103` `associate--l-_binary64_2062` `unpow2_binary64_3553` `inv-pow_binary64_3914` `div-sub_binary64_14405` `frac-2neg_binary64_16457` `inv-pow_binary64_16872` `associate-l_binary64_22525` `rem-sqrt-square_binary64_19528` `cube-div_binary64_17498` `distribute-rgt-in_binary64_17760` `flip--_binary64_7896` `associate--r+_binary64_3424` `inv-pow_binary64_6301` `flip3-+_binary64_18495` `pow-sqr_binary64_20511` `un-div-inv_binary64` `difference-of-sqr-1_binary64_48` `pow-sqr_binary64_22898` `unpow-prod-down_binary64_5272` `cos-atan_binary64_1621` `rem-log-exp_binary64_2506` `associate-l/_binary64_25937` `pow-flip_binary64_3903` `pow2_binary64` `sin-sum_binary64` `pow-prod-down_binary64_7992` `pow-sqr_binary64_4484` `unswap-sqr_binary64_21870` `distribute-lft-in_binary64_14690` `sum-log_binary64_22334` `swap-sqr_binary64_10957` `frac-times_binary64_16456` `distribute-rgt-in_binary64_14691` `pow-prod-up_binary64_7309` `div-exp_binary64_4903` `*-commutative_binary64_16718` `associate-+l+_binary64_352` `cube-mult_binary64_20227` `associate-+r+_binary64_13991` `clear-num_binary64_16104` `flip--_binary64_25628` `unpow-prod-up_binary64_497` `swap-sqr_binary64_18459` `flip3--_binary64_7584` `exp-to-pow_binary64_4914`
3×	`div-sub_binary64_17815` `sum-log_binary64_23357` `rem-log-exp_binary64_4552` `pow-unpow_binary64_12431` `1-exp_binary64_3532` `rem-cube-cbrt_binary64_8967` `pow1/3_binary64_6980` `pow-unpow_binary64_18569` `distribute-rgt-neg-out_binary64_720` `associate--r-_binary64_12634` `rem-sqrt-square_binary64_17482` `rem-cbrt-cube_binary64_102` `rec-exp_binary64_3538` `+-commutative_binary64_19104` `sqrt-unprod_binary64_2144` `sqr-abs_binary64_13392` `distribute-lft-neg-in_binary64_2763` `inv-pow_binary64_9370` `+-commutative_binary64_11943` `pow-prod-up_binary64_12083` `cos-diff_binary64_15901` `sinh-def_binary64_604` `rem-cube-cbrt_binary64_4875` `rem-cbrt-cube_binary64_784` `diff-log_binary64_20630` `sqr-pow_binary64_12326` `1-exp_binary64_13762` `pow-unpow_binary64_24707` `sin-mult_binary64_2279` `difference-of-sqr-1_binary64_8232` `rec-exp_binary64_9676` `exp-sum_binary64` `pow-plus_binary64_16509` `pow-to-exp_binary64_11059` `associate-+r+_binary64_15355` `pow1/3_binary64_18915` `unpow1/3_binary64_6624` `sub-neg_binary64_11324` `diff-log_binary64_18584` `associate-/l/_binary64_7527` `div-sub_binary64_12018` `pow-sub_binary64_495` `pow-prod-up_binary64_1171` `diff-log_binary64_14492` `pow-prod-up_binary64_3899` `distribute-frac-neg_binary64_3110` `pow-prod-down_binary64_5946` `distribute-lft-out_binary64_13669` `pow-unpow_binary64_16182` `div-sub_binary64_13382` `cos-atan_binary64_4349` `sum-log_binary64_12104` `associate-+l+_binary64_13992` `pow-unpow_binary64_14477` `flip3-+_binary64_23951` `sum-log_binary64_11763` `acos-neg_binary64_3330` `pow-pow_binary64_15836` `difference-of-sqr-1_binary64_389` `inv-pow_binary64_6983` `associate-/r_binary64_5819` `pow-sqr_binary64_9940` `pow-unpow_binary64_20615` `pow-flip_binary64_12769` `distribute-rgt-out--_binary64_25607` `pow-unpow_binary64_13113` `un-div-inv_binary64_10647` `sqrt-pow1_binary64_15782` `rec-exp_binary64_22634` `pow1/3_binary64_20279` `associate-l/_binary64_13320` `cbrt-undiv_binary64_4886` `diff-log_binary64_4262` `sqrt-unprod_binary64_2485` `associate-/r_binary64_7865` `cos-diff_binary64_215` `cube-prod_binary64_4539` `log-div_binary64_4598` `distribute-lft-out--_binary64_21854` `pow-to-exp_binary64_9013` `sub-neg_binary64_4845` `clear-num_binary64_7238` `associate-l/_binary64_7864` `rem-exp-log_binary64_3528` `asin-acos_binary64_2304` `associate-+l-_binary64_1718` `pow-exp_binary64_11058` `sum-log_binary64_6307` `pow-unpow_binary64_12772` `-commutative_binary64_21833` `1-exp_binary64_21605` `exp-prod_binary64` `cos-diff_binary64_1579` `sqr-sin-a_binary64_226` `cbrt-div_binary64_18865` `acos-asin_binary64_2305` `clear-num_binary64_4851` `sum-log_binary64_24039` `unpow-prod-down_binary64_4590` `associate--l-_binary64_16` `distribute-rgt-neg-out_binary64_11973` `+-commutative_binary64_6146` `log-prod_binary64_6643` `pow1/2_binary64_15844` `rem-exp-log_binary64_3869` `unsub-neg_binary64_12007` `un-div-inv_binary64_21559` `distribute-lft-neg-in_binary64_12311` `frac-times_binary64_13387` `cbrt-div_binary64_4202` `sub-neg_binary64_21895` `pow-sqr_binary64_1074` `pow2_binary64_20960` `pow-sqr_binary64_24262` `rem-log-exp_binary64_3529` `associate--l-_binary64_11610` `associate-l_binary64_23207` `pow-unpow_binary64_15841` `pow2_binary64_16527` `rem-cube-cbrt_binary64_17492` `1-exp_binary64_5237` `sub-neg_binary64_22577` `pow1/3_binary64_20620` `sum-log_binary64_9035` `associate-r/_binary64_21844` `rec-exp_binary64_13768` `associate-+r-_binary64_7173` `cube-div_binary64_18521` `associate--l+_binary64_25590` `unpow3_binary64_3554` `diff-log_binary64_25745` `pow-prod-down_binary64_21973` `rem-cube-cbrt_binary64` `prod-exp_binary64_23315` `pow-pow_binary64_2537` `sub-neg_binary64_22236` `sub-neg_binary64_14052` `sqr-pow_binary64_14031` `associate--r+_binary64_696` `sum-log_binary64_9376` `+-commutative_binary64_23196` `cancel-sign-sub-inv_binary64_22550` `sin-cos-mult_binary64` `pow-unpow_binary64_5611` `rec-exp_binary64_5243` `div-sub_binary64_14064` `pow-to-exp_binary64_20266` `sqr-abs_binary64_2480` `flip-+_binary64_23240` `1-exp_binary64_9670` `pow1/3_binary64_25394` `pow-sqr_binary64_3802` `cbrt-div_binary64_6930` `pow-flip_binary64_9359` `pow-sub_binary64_1859` `pow-prod-down_binary64_24360` `pow-to-exp_binary64_17538` `prod-exp_binary64_8993` `pow-sqr_binary64_11986` `frac-add_binary64_1450` `cube-mult_binary64_3518` `pow-plus_binary64_3892` `pow1/3_binary64_21984` `pow-prod-down_binary64_9015` `+-commutative_binary64_23878` `rec-exp_binary64_18883` `diff-log_binary64_22676` `sub-div_binary64` `associate-/l/_binary64_6845` `pow2_binary64_3910` `pow3_binary64_3571` `distribute-frac-neg_binary64` `sqrt-unprod_binary64_1121` `exp-diff_binary64_4559` `pow-unpow_binary64_13454` `rem-exp-log_binary64_11030` `pow-unpow_binary64_21638` `diff-log_binary64_21994` `associate-/l/_binary64_6504` `pow-unpow_binary64_6293` `rem-square-sqrt_binary64_2477` `sub-div_binary64_85` `associate--l+_binary64_23544` `div-sub_binary64_18497` `frac-2neg_binary64_4863` `rec-exp_binary64_21611` `frac-2neg_binary64_7250` `sqr-pow_binary64_19487` `cbrt-unprod_binary64_23299` `sub-neg_binary64_13370` `flip3-+_binary64_23269` `distribute-rgt-neg-in_binary64_12312` `1-exp_binary64_18877` `cbrt-unprod_binary64_8977` `pow-unpow_binary64_14136` `associate-+r+_binary64_8194` `distribute-rgt-neg-in_binary64_2764` `associate-l/_binary64_7523` `associate-/r_binary64_22187` `pow-plus_binary64_20942` `cbrt-div_binary64_20229` `unpow-prod-down_binary64_7318` `pow-pow_binary64_13449` `neg-sub0_binary64_2460` `1-exp_binary64_22628` `flip-+_binary64_23922` `sub-neg_binary64_25646` `pow1/3_binary64_22666` `distribute-lft-neg-out_binary64` `asin-acos_binary64_599` `associate-*l/_binary64_11615`
2×	`pow1/2_binary64_24710` `pow-sqr_binary64_8235` `pow-exp_binary64_18901` `difference-of-squares_binary64_5162` `1-exp_binary64_22969` `pow-plus_binary64_5256` `pow-sqr_binary64_6189` `sqrt-div_binary64_4528` `1-exp_binary64_18195` `pow-sqr_binary64_19488` `1-exp_binary64_23651` `unpow3_binary64_14125` `cos-mult_binary64_2619` `cube-mult_binary64_5564` `+-commutative_binary64_7851` `sub-div_binary64_15089` `distribute-lft-out--_binary64_19126` `rem-sqrt-square_binary64_16459` `rem-sqrt-square_binary64_16800` `div-sub_binary64_16451` `frac-add_binary64_14749` `rem-exp-log_binary64_4892` `rem-sqrt-square_binary64_15777` `distribute-lft-neg-in_binary64_1399` `associate-/l/_binary64_22531` `distribute-lft-out_binary64_17420` `associate-l/_binary64_17412` `distribute-lft-in_binary64_12985` `pow-exp_binary64_14127` `rem-log-exp_binary64_10349` `pow-to-exp_binary64_18902` `sqrt-div_binary64_24988` `cos-2_binary64_561` `div-sub_binary64_21225` `un-div-inv_binary64_4168` `pow-plus_binary64_1164` `-commutative_binary64_25243` `unpow-prod-down_binary64_21640` `tan-quot_binary64_15923` `rem-log-exp_binary64_2165` `+-commutative_binary64_8874` `sqrt-unprod_binary64_6918` `1-exp_binary64_11375` `sqrt-pow1_binary64_10326` `sin-sum_binary64_2257` `pow1/2_binary64_3227` `pow-plus_binary64_4574` `cube-prod_binary64_17497` `associate--r+_binary64_4106` `rem-exp-log_binary64_7620` `frac-2neg_binary64_8614` `associate-+r+_binary64_5807` `pow-plus_binary64_4233` `cube-mult_binary64_12725` `rem-square-sqrt_binary64_16117` `unpow3_binary64_15830` `pow-pow_binary64_6629` `distribute-neg-frac_binary64_3111` `associate-r/_binary64_23890` `diff-log_binary64_9718` `sum-log_binary64_15173` `+-commutative_binary64_20809` `inv-pow_binary64_15508` `pow-flip_binary64_15497` `associate-+l+_binary64_17743` `pow1/2_binary64_16867` `rec-exp_binary64_18201` `rec-exp_binary64_25703` `pow-prod-up_binary64_16857` `sum-log_binary64_21311` `exp-to-pow_binary64_2527` `sum-log_binary64_20970` `sqrt-pow1_binary64_11008` `frac-2neg_binary64_23277` `rec-exp_binary64_11381` `associate-/l/_binary64_10255` `pow-prod-up_binary64_9696` `neg-sub0_binary64_1778` `rem-sqrt-square_binary64_14413` `clear-num_binary64_25311` `rem-log-exp_binary64_11372` `pow1/2_binary64_11070` `pow-to-exp_binary64_9695` `rem-log-exp_binary64_16828` `rem-cbrt-cube_binary64` `pow-plus_binary64_22988` `rem-square-sqrt_binary64_1795` `un-div-inv_binary64_1440` `pow-flip_binary64_5267` `+-commutative_binary64_15012` `associate-/l/_binary64_7868` `pow2_binary64_5274` `frac-sub_binary64_25662` `pow2_binary64_1182` `cbrt-unprod_binary64_5908` `distribute-lft-out_binary64_14351` `prod-exp_binary64_25020` `frac-sub_binary64_5543` `clear-num_binary64_23265` `sqrt-unprod_binary64_16125` `pow-prod-up_binary64_6286` `unpow-prod-up_binary64_1179` `pow-to-exp_binary64_7308` `sub-neg_binary64_15416` `associate-+l+_binary64_4103` `associate-/l/_binary64_5822` `associate-/l/_binary64_4799` `distribute-lft-out_binary64_23217` `pow-sqr_binary64_5848` `div-inv_binary64_22240` `cube-div_binary64_14429` `div-sub_binary64_15428` `pow-sqr_binary64_16760` `rem-sqrt-square_binary64_18846` `rem-log-exp_binary64_1483` `sqrt-pow1_binary64_16464` `unpow3_binary64_21627` `unswap-sqr_binary64_24939` `rem-cbrt-cube_binary64_2148` `sqrt-pow1_binary64_16805` `inv-pow_binary64_5278` `unsub-neg_binary64_754` `rem-cube-cbrt_binary64_14082` `distribute-rgt-in_binary64_7189` `diff-log_binary64_8354` `associate-/l/_binary64_22190` `sqr-abs_binary64_16120` `cube-mult_binary64_14089` `rem-exp-log_binary64_800` `sqr-pow_binary64_15736` `cube-mult_binary64_17499` `distribute-rgt1-in_binary64_24927` `rem-cube-cbrt_binary64_3511` `distribute-lft-in_binary64_16054` `pow-plus_binary64_12076` `exp-sum_binary64_7626` `-commutative_binary64_22515` `pow-pow_binary64_16177` `sub-div_binary64_7928` `rem-log-exp_binary64_11713` `sin-diff_binary64_214` `associate-/r/_binary64_5821` `cube-mult_binary64_21591` `unpow3_binary64_5600` `distribute-rgt-in_binary64_16055` `sum-log_binary64_8694` `pow-pow_binary64_2878` `neg-sub0_binary64_1096` `pow-exp_binary64_21629` `sub-neg_binary64_23941` `sqr-pow_binary64_9598` `frac-times_binary64_8272` `associate-l/_binary64_5818` `pow-sqr_binary64_18465` `associate-+l+_binary64_16379` `cancel-sign-sub-inv_binary64_15389` `exp-to-pow_binary64_1845` `distribute-frac-neg_binary64_1064` `+-commutative_binary64_21150` `distribute-rgt-in_binary64_5825` `unsub-neg_binary64_2800` `difference-of-squares_binary64_19825` `cube-mult_binary64_13066` `pow-exp_binary64_12763` `associate-+l+_binary64_11264` `rem-cbrt-cube_binary64_16811` `sqr-pow_binary64_14372` `+-commutative_binary64_11602` `distribute-frac-neg_binary64_5156` `associate--r-_binary64_2745` `pow1/2_binary64_14480` `rem-cube-cbrt_binary64_2829` `rem-cube-cbrt_binary64_2147` `associate-/l/_binary64_16052` `cube-mult_binary64_15794` `+-commutative_binary64_22173` `pow2_binary64_4251` `distribute-lft-in_binary64_5824` `associate--l+_binary64_9222` `pow-prod-up_binary64_13106` `distribute-lft-neg-out_binary64_2765` `sqrt-undiv_binary64_2145` `sum-cubes_binary64` `sum-log_binary64_17560` `associate--l+_binary64_22180` `frac-sub_binary64_7248` `distribute-rgt-neg-out_binary64_1402` `pow-exp_binary64_16855` `exp-to-pow_binary64_5596` `pow1/2_binary64_16526` `pow-pow_binary64_20269` `pow-sqr_binary64_8917` `associate-r/_binary64_24913` `diff-log_binary64_15515` `pow-sqr_binary64_15737` `associate-+l+_binary64_4444` `rem-exp-log_binary64` `cube-div_binary64_15111` `difference-of-squares_binary64_8572` `pow-sqr_binary64_21534` `cos-sum_binary64_553` `cube-mult_binary64_14430` `distribute-rgt-out--_binary64_373` `cbrt-div_binary64_9999` `sqrt-pow1_binary64_18169` `sqr-pow_binary64_18805` `distribute-lft-out_binary64_5826` `pow-prod-up_binary64_5945` `tan-sum_binary64` `diff-log_binary64_17561` `exp-neg_binary64_1830` `rem-sqrt-square_binary64_18164` `associate--l+_binary64_12632` `un-div-inv_binary64_13034` `un-div-inv_binary64_17126` `-commutative_binary64_24902` `frac-add_binary64_7247` `un-div-inv_binary64_9624` `pow1/3_binary64_3911` `pow-plus_binary64_18214` `cancel-sign-sub-inv_binary64_23914` `frac-times_binary64_21912` `div-sub_binary64_23612` `associate-/l/_binary64_25259` `rem-cube-cbrt_binary64_16810` `distribute-lft-out--_binary64_5145` `cbrt-div_binary64_20570` `associate-+r+_binary64_17742` `distribute-lft1-in_binary64_24926` `-commutative_binary64_8875` `neg-mul-1_binary64_1438` `rem-sqrt-square_binary64_3160` `sqrt-pow1_binary64_14418` `pow-pow_binary64_20610` `pow2_binary64_7320` `associate-/l/_binary64_19121` `pow1/3_binary64_13459` `difference-of-sqr-1_binary64_9255` `associate--r+_binary64_2060` `distribute-rgt-in_binary64_12986` `associate-+r-_binary64_12` `unpow3_binary64_17535` `sqrt-pow1_binary64_3165` `pow2_binary64_18232` `pow-prod-down_binary64_25042` `unpow3_binary64_13102` `neg-sub0_binary64_5188` `pow-prod-up_binary64_19585` `cube-prod_binary64_14087` `unpow1/3_binary64_145` `inv-pow_binary64_18577` `unsub-neg_binary64_72` `rem-sqrt-square_binary64_24302` `rem-square-sqrt_binary64_2136` `sum-log_binary64_5966` `rem-cube-cbrt_binary64_14423` `pow-flip_binary64_18566` `pow-sqr_binary64_11304` `distribute-lft-in_binary64_7188` `pow-sqr_binary64_12327` `+-commutative_binary64_17399` `unpow3_binary64_12761` `associate-+l+_binary64_4785` `prod-exp_binary64_5924` `pow2_binary64_13458` `flip3-+_binary64_7924` `sqr-pow_binary64_5506` `+-commutative_binary64_5805` `pow-exp_binary64_14468` `rem-cube-cbrt_binary64_12718` `pow1/3_binary64_11754` `sinh-undef_binary64_953` `associate-r/_binary64_24231` `distribute-rgt-in_binary64_23898` `un-div-inv_binary64_2122` `sqr-abs_binary64_4185` `pow-prod-up_binary64_15152` `associate-+l-_binary64_4446` `pow2_binary64_19255` `frac-sub_binary64_19183` `sub-neg_binary64_14734` `exp-diff_binary64_10015` `pow-prod-up_binary64_12424` `pow-pow_binary64_14131` `div-sub_binary64_18838` `pow-prod-up_binary64_18562` `inv-pow_binary64_6642` `associate--l+_binary64_17065` `pow-plus_binary64_7302` `unswap-sqr_binary64_23234` `sum-log_binary64_8012` `rem-log-exp_binary64_25012` `pow-flip_binary64_6631` `pow-plus_binary64_19237` `sub-neg_binary64_20531` `pow-sqr_binary64_15055` `rem-cube-cbrt_binary64_18515` `sub-neg_binary64_5868` `pow-prod-up_binary64_15834` `pow-sqr_binary64_13009` `pow-prod-up_binary64_21631` `distribute-rgt-neg-in_binary64_1400` `associate--r-_binary64` `pow1/2_binary64_18231` `difference-of-sqr--1_binary64_2095` `cube-prod_binary64_21589` `rem-square-sqrt_binary64` `unpow3_binary64_14466` `pow-prod-up_binary64_8332` `pow-pow_binary64_6288` `pow-plus_binary64_24011` `pow1/2_binary64_4591` `frac-times_binary64_20207` `+-commutative_binary64_9215` `frac-times_binary64_10318` `pow-prod-up_binary64_24700` `pow-exp_binary64_9694` `unsub-neg_binary64_16781` `rem-cbrt-cube_binary64_8968` `pow-pow_binary64_21633` `frac-add_binary64_17136` `pow-sqr_binary64_10281` `pow-prod-up_binary64_11060` `pow2_binary64_4592` `associate--l+_binary64_7176` `sqr-pow_binary64_21533` `distribute-rgt-neg-out_binary64_38` `associate-l/_binary64_16389` `rem-exp-log_binary64_2505` `distribute-rgt-out--_binary64_17082` `associate--l+_binary64_697` `rem-sqrt-square_binary64_11003` `cbrt-unprod_binary64_25004` `diff-log_binary64_5967` `-commutative_binary64_5806` `pow-sqr_binary64_10963` `inv-pow_binary64_12780` `rem-sqrt-square_binary64_17823` `distribute-rgt-out--_binary64_32` `flip-+_binary64_7895` `pow1/2_binary64_10388` `frac-sub_binary64_7930` `pow-to-exp_binary64_16856` `pow2_binary64_11412` `distribute-lft-out_binary64_14010` `+-commutative_binary64_8533` `sub-neg_binary64_20872` `associate-l/_binary64_16730` `rec-exp_binary64_22975` `pow-exp_binary64_18560` `flip-+_binary64_21194` `pow-exp_binary64_7307` `clear-num_binary64_8602` `sub-neg_binary64_18826` `pow1/2_binary64_17890` `exp-sum_binary64_2170` `associate-*l/_binary64_24232` `flip3-+_binary64_21223` `div-sub_binary64_10313` `pow-plus_binary64_13440` `sqr-pow_binary64_13008` `rem-sqrt-square_binary64_15095` `tan-sum_binary64_1577` `pow-sqr_binary64_9599` `associate-/l/_binary64_8550` `exp-diff_binary64_3877` `rec-exp_binary64_23657` `frac-2neg_binary64_25323` `pow-sqr_binary64_24603` `associate-+l+_binary64_8195` `pow-prod-up_binary64_9014` `rem-exp-log_binary64_10007` `rem-cube-cbrt_binary64_21584` `1-exp_binary64_25697` `pow2_binary64_12094` `div-sub_binary64_22930` `distribute-lft-in_binary64_23897` `pow-prod-up_binary64_10378` `cube-div_binary64_2835` `cbrt-div_binary64_5566` `rem-cbrt-cube_binary64_4876` `associate-+l-_binary64_2741` `difference-of-sqr-1_binary64_1412` `div-sub_binary64_2811` `div-sub_binary64_5198`
1×	`associate-+r-_binary64_15016` `sqrt-unprod_binary64_4872` `frac-2neg_binary64_5886` `associate--l-_binary64_4449` `rem-square-sqrt_binary64_4182` `un-div-inv_binary64_6896` `log-div_binary64_10054` `pow2_binary64_15845` `exp-neg_binary64_12060` `difference-cubes_binary64_3149` `diff-atan_binary64_2622` `distribute-rgt1-in_binary64_3103` `un-div-inv_binary64_16444` `rem-exp-log_binary64_2164` `un-div-inv_binary64_12693` `sin-cos-mult_binary64_2280` `log-div_binary64_9372` `associate-+l-_binary64_10584` `distribute-rgt-out--_binary64_13672` `count-2_binary64` `pow2_binary64_9025` `rec-exp_binary64_25362` `+-commutative_binary64_21491` `sqrt-unprod_binary64_20899` `rem-exp-log_binary64_24670` `associate-+r-_binary64_1376` `pow2_binary64_23006` `rem-square-sqrt_binary64_19186` `associate--r-_binary64_2404` `pow-plus_binary64_6279` `neg-mul-1_binary64_12350` `rem-square-sqrt_binary64_90` `pow-sqr_binary64_15396` `log-div_binary64_11418` `pow-flip_binary64_4926` `associate--l-_binary64_20476` `pow-plus_binary64_24352` `inv-pow_binary64_9029` `inv-pow_binary64_18236` `associate-+l-_binary64_16381` `+-commutative_binary64_25242` `sqrt-unprod_binary64_780` `distribute-lft-neg-out_binary64_3788` `neg-mul-1_binary64_2802` `un-div-inv_binary64_16785` `pow-to-exp_binary64_13105` `distribute-rgt1-in_binary64` `div-sub_binary64_10995` `cbrt-undiv_binary64_5909` `pow-exp_binary64_12422` `associate-+l-_binary64` `log-div_binary64_25058` `unpow3_binary64_2531` `pow1/3_binary64_10049` `pow2_binary64_18573` `frac-2neg_binary64_22254` `pow-exp_binary64_13104` `rem-cbrt-cube_binary64_5558` `pow2_binary64_24370` `un-div-inv_binary64_25310` `un-div-inv_binary64_21218` `sub-div_binary64_25660` `neg-sub0_binary64_3824` `rem-square-sqrt_binary64_13389` `rem-3cbrt-lft_binary64_2831` `distribute-lft-out_binary64_24240` `pow-plus_binary64_21624` `flip3--_binary64_23952` `rec-exp_binary64_16155` `rem-square-sqrt_binary64_3500` `unpow3_binary64_3895` `un-div-inv_binary64_13716` `pow2_binary64_12435` `1-exp_binary64_16149` `associate-+r+_binary64_24221` `pow-flip_binary64_11405` `pow-flip_binary64_17884` `sqrt-pow2_binary64_15783` `associate-+r+_binary64_12968` `unpow3_binary64_4577` `sqrt-pow2_binary64` `sqr-pow_binary64_7211` `pow2_binary64_6979` `rem-cbrt-cube_binary64_18516` `associate-+r-_binary64` `rem-cube-cbrt_binary64_1124` `cube-mult_binary64_3859` `remove-double-div_binary64_6192` `1-exp_binary64_4896` `pow-plus_binary64_6961` `inv-pow_binary64_16531` `pow-pow_binary64_13108` `rem-cbrt-cube_binary64_20221` `pow-exp_binary64_13445` `pow-to-exp_binary64_21630` `rem-square-sqrt_binary64_5205` `associate-+r-_binary64_22859` `associate-/r/_binary64_23212` `rem-cbrt-cube_binary64_4535` `frac-times_binary64_11682` `-commutative_binary64_23197` `un-div-inv_binary64_13375` `pow-exp_binary64_16173` `rem-cbrt-cube_binary64_14424` `pow-flip_binary64_16520` `associate-+l+_binary64_16720` `pow-pow_binary64_5606` `pow-pow_binary64_12767` `pow-to-exp_binary64_6285` `pow-plus_binary64_16850` `rem-log-exp_binary64_6598` `distribute-rgt-in_binary64_5143` `rem-square-sqrt_binary64_6910` `distribute-rgt1-in_binary64_3785` `rem-exp-log_binary64_118` `exp-to-pow_binary64_24692` `pow-flip_binary64_14133` `pow-flip_binary64_23681` `rem-exp-log_binary64_16827` `div-sub_binary64_11336` `distribute-lft-out_binary64_7872` `associate-+l-_binary64_354` `un-div-inv_binary64_76` `rem-cbrt-cube_binary64_15788` `div-sub_binary64_19179` `inv-pow_binary64_4937` `cos-mult_binary64` `rem-square-sqrt_binary64_20891` `unpow2_binary64_3212` `difference-of-sqr-1_binary64_1071` `pow-to-exp_binary64_14128` `sqr-pow_binary64_20510` `pow1/2_binary64_15162` `inv-pow_binary64_7665` `associate-+l+_binary64_24222` `1-exp_binary64_14785` `distribute-lft-out--_binary64_8555` `pow-plus_binary64_11053` `rem-cbrt-cube_binary64_13060` `frac-add_binary64_11680` `inv-pow_binary64_14826` `exp-diff_binary64_2172` `sqr-abs_binary64_434` `div-inv_binary64_5872` `div-sub_binary64_16110` `sqr-abs_binary64_24304` `diff-log_binary64_6990` `diff-log_binary64_11423` `distribute-rgt1-in_binary64_25268` `distribute-rgt1-in_binary64_15379` `distribute-lft-out--_binary64_19808` `clear-num_binary64_5874` `div-sub_binary64_22589` `rem-cube-cbrt_binary64_5557` `inv-pow_binary64_14144` `swap-sqr_binary64_22892` `cube-prod_binary64_3857` `un-div-inv_binary64_22582` `rem-log-exp_binary64_10008` `pow-to-exp_binary64_14469` `div-exp_binary64_25022` `sqrt-pow2_binary64_1120` `div-sub_binary64_3493` `pow-pow_binary64_9357` `-commutative_binary64_24220` `pow-pow_binary64_18564` `pow-prod-down_binary64_23337` `sin-cos-mult_binary64_15920` `tanh-def-a_binary64_3675` `rem-square-sqrt_binary64_9979` `1-exp_binary64_19218` `frac-sub_binary64_6907` `sum-log_binary64_6648` `diff-log_binary64_19948` `pow-plus_binary64_18555` `rem-log-exp_binary64_7621` `pow2_binary64_15163` `associate--r-_binary64_11952` `pow-to-exp_binary64_13446` `associate--l-_binary64_10246` `pow-plus_binary64_15145` `distribute-lft-out--_binary64_20831` `distribute-frac-neg_binary64_3792` `tanh-def-c_binary64_3677` `associate-+r+_binary64_5125` `diff-sin_binary64_2274` `div-sub_binary64_21907` `associate-+r+_binary64_11263` `rem-cbrt-cube_binary64_1125` `distribute-rgt-out--_binary64_7875` `neg-log_binary64_2899` `difference-of-sqr-1_binary64_11301` `pow-prod-up_binary64_15493` `sqrt-pow2_binary64_13396` `pow-to-exp_binary64_12764` `pow3_binary64_16188` `difference-of-sqr-1_binary64_12665` `un-div-inv_binary64_23605` `pow2_binary64_10389` `un-div-inv_binary64_3486` `sqrt-pow1_binary64_15100` `flip3--_binary64_6561` `rem-cbrt-cube_binary64_2830` `unsub-neg_binary64_8597` `pow-flip_binary64_7654` `frac-add_binary64_25320` `associate--l+_binary64_1038` `sqrt-unprod_binary64_17489` `sin-mult_binary64_15919` `pow1/2_binary64_18913` `cancel-sign-sub-inv_binary64_6523` `tanh-def-b_binary64_3676` `frac-2neg_binary64_7932` `flip3-+_binary64_24974` `diff-log_binary64_26086` `cos-sum_binary64_3281` `rem-cbrt-cube_binary64_443` `un-div-inv_binary64_18149` `pow-to-exp_binary64_5603` `rem-exp-log_binary64_25693` `sqr-abs_binary64_9982` `sqrt-unprod_binary64_4190` `pow-flip_binary64_22658` `neg-sub0_binary64_12008` `associate-+r-_binary64_12629` `sqrt-pow2_binary64_2143` `sqrt-undiv_binary64_6237` `cbrt-prod_binary64_9998` `clear-num_binary64_22242` `pow-plus_binary64_15486` `associate-+l+_binary64_12969` `rem-log-exp_binary64_25694` `exp-diff_binary64` `flip--_binary64_23923` `pow-flip_binary64_25727` `flip3-+_binary64_21564` `pow2_binary64_16868` `distribute-lft-in_binary64_21851` `associate--r-_binary64_1722` `associate-/l/_binary64_15711` `pow-flip_binary64_9700` `distribute-lft1-in_binary64` `associate--r+_binary64_1037` `flip-+_binary64_24945` `inv-pow_binary64_18918` `pow2_binary64_13117` `pow-exp_binary64_6284` `div-exp_binary64_5926` `cube-mult_binary64_2495` `distribute-lft-out_binary64_22876` `pow-to-exp_binary64_20607` `rem-cbrt-cube_binary64_3512` `pow-pow_binary64_12426` `unpow1/3_binary64_486` `diff-log_binary64_14151` `sinh-undef_binary64_612` `associate-+l-_binary64_12971` `+-commutative_binary64_14330` `sin-diff_binary64_2601` `pow-plus_binary64_19578` `rem-cbrt-cube_binary64_3171` `pow2_binary64_5956` `un-div-inv_binary64_14057` `pow-to-exp_binary64_16174` `unpow1/3_binary64_17536` `pow2_binary64_6297` `distribute-lft-out--_binary64_20490` `flip-+_binary64_21535` `pow2_binary64_11071` `diff-log_binary64_13469` `associate-+r-_binary64_16039` `pow-exp_binary64_15832` `diff-log_binary64_6649` `pow-flip_binary64_18225` `distribute-rgt-out_binary64_2077` `rec-exp_binary64_4902` `rem-cbrt-cube_binary64_21585` `distribute-rgt-out--_binary64_2078` `sqrt-unprod_binary64_19535` `div-sub_binary64_6903` `exp-to-pow_binary64_1504` `flip--_binary64_6532` `cube-div_binary64_12724` `inv-pow_binary64_11416` `associate-+r-_binary64_10242` `count-2_binary64_24919` `pow-plus_binary64_13099` `associate-+r-_binary64_2058` `associate-/l_binary64_7866` `sqrt-undiv_binary64_440` `unpow1/3_binary64_12421` `sum-log_binary64_25403` `distribute-rgt-in_binary64_21852` `pow-plus_binary64_24693` `exp-prod_binary64_5586` `div-sub_binary64_5880` `associate-+r+_binary64_4784` `tanh-undef_binary64_3683` `pow-plus_binary64_8325` `cube-mult_binary64_4541` `pow3_binary64_2889` `pow-plus_binary64_15827` `distribute-rgt-out_binary64_3782` `difference-of-sqr-1_binary64_5163` `rem-3cbrt-lft_binary64_10674` `pow-plus_binary64_10371` `associate--l+_binary64_5471` `cbrt-unprod_binary64_24322` `rem-exp-log_binary64_1141` `associate-+l+_binary64_5126` `rem-cbrt-cube_binary64_15106` `+-commutative_binary64_6487` `exp-sum_binary64_1147` `neg-sub0_binary64_2801` `pow2_binary64_15504` `sqrt-unprod_binary64_439` `cos-mult_binary64_15918` `unpow1/3_binary64_2532` `rem-cube-cbrt_binary64_15787` `associate-+l-_binary64_2059` `distribute-rgt-neg-out_binary64_8563` `sqr-pow_binary64_4483` `div-sub_binary64_20202` `rem-cbrt-cube_binary64_14083` `associate--l+_binary64_8881` `unsub-neg_binary64_1436` `clear-num_binary64_7920` `rem-cube-cbrt_binary64_13059` `associate-+l-_binary64_10925` `associate--l+_binary64_3084` `frac-times_binary64_7590` `sum-log_binary64_14491` `rec-exp_binary64_14791` `un-div-inv_binary64_417` `sqrt-pow2_binary64_1802` `sqr-abs_binary64_4867` `associate-+l-_binary64_19109` `rem-sqrt-square_binary64_24643` `associate--l-_binary64_2403` `un-div-inv_binary64_2804` `pow2_binary64_24029` `pow-flip_binary64_14815` `rem-log-exp_binary64_5575` `inv-pow_binary64_22669` `diff-log_binary64_4944` `pow-flip_binary64_4244` `pow-plus_binary64_9689` `sqrt-unprod_binary64_9987` `sqrt-pow1_binary64_18851` `distribute-rgt1-in_binary64_1057` `div-sub_binary64_22248` `div-sub_binary64_25658` `sqrt-unprod_binary64_98` `pow-exp_binary64_20606` `exp-to-pow_binary64_3550` `pow-exp_binary64_5602` `sqrt-unprod_binary64_19194` `sqrt-unprod_binary64_24309` `distribute-rgt-out_binary64_3100` `inv-pow_binary64_9711` `pow-to-exp_binary64_18561` `rem-cbrt-cube_binary64_17493` `pow1/3_binary64_5616` `sqrt-unprod_binary64_5213` `sqr-pow_binary64_16077` `rem-square-sqrt_binary64_24301` `inv-pow_binary64_25738` `associate--l-_binary64_357` `unpow2_binary64_2530` `associate-+r-_binary64_12970` `exp-diff_binary64_12061` `log-pow_binary64_11420` `pow-plus_binary64_5938` `associate-+r-_binary64_18085` `swap-sqr_binary64_23915` `pow2_binary64_8343` `pow-plus_binary64_10030` `mul0-rgt_binary64` `pow2_binary64_9707` `rem-square-sqrt_binary64_772` `cos-sum_binary64` `associate--l-_binary64_17748` `pow-plus_binary64_9007` `exp-diff_binary64_3536` `1-exp_binary64_25356` `rem-square-sqrt_binary64_4864` `log-div_binary64_2211` `pow2_binary64_19596` `pow-plus_binary64_12417` `inv-pow_binary64_4255` `distribute-lft-in_binary64_18100` `associate-r/_binary64_23208` `distribute-lft1-in_binary64_15378` `sqrt-unprod_binary64_13397` `pow-to-exp_binary64_15833` `rec-exp_binary64_8994` `pow-flip_binary64_18907` `distribute-lft1-in_binary64_2079` `difference-of-squares_binary64_20507` `prod-exp_binary64_24338` `cbrt-undiv_binary64_22277` `remove-double-div_binary64_17104` `associate-+l-_binary64_7174` `pow2_binary64_10048` `div-exp_binary64_22294` `pow2_binary64_21642` `associate-+r-_binary64_23541` `pow3_binary64_10732` `inv-pow_binary64_23692` `sum-log_binary64_21652` `sub-div_binary64_2813` `distribute-rgt-in_binary64_18101` `pow-pow_binary64_14472` `sqrt-unprod_binary64_3508` `pow-to-exp_binary64_12423` `associate-/l/_binary64_7186` `div-sub_binary64_9631` `exp-diff_binary64_2513` `associate--l+_binary64_4448` `associate-/r/_binary64_15710` `count-2_binary64_15371` `sqr-abs_binary64_20894` `associate-+r-_binary64_14675` `pow-flip_binary64_9018` `rem-cbrt-cube_binary64_1466` `unswap-sqr_binary64_22211` `diff-cos_binary64_229` `sqr-abs_binary64_5208` `sqrt-pow2_binary64_24649` `un-div-inv_binary64_18831` `1-exp_binary64_8988` `diff-log_binary64_7672` `sqrt-unprod_binary64_3849` `associate--r-_binary64_16726` `inv-pow_binary64_17895` `sqr-pow_binary64_13349` `diff-log_binary64_10741` `sum-log_binary64_5625` `un-div-inv_binary64_15080` `sub-neg_binary64_6550` `distribute-lft-in_binary64_5142` `pow2_binary64_24711` `sin-cos-mult_binary64_234`

Calls

4943 calls:

549.0ms	(/.f64 (+.f64 (.f64 (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (-.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (.f64 x1 (.f64 x1 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1))))) (.f64 3 (+.f64 (.f64 x1 x1) -1))) (.f64 (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (.f64 x1 x1) 1)) (.f64 (+.f64 x1 (+.f64 (.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (/.f64 (.f64 x1 (+.f64 (.f64 2 (-.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 x1 4))) (+.f64 (.f64 x1 x1) 1))) (.f64 (.f64 x1 x1) -6))) (+.f64 (pow.f64 x1 4) -1)))) (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (pow.f64 x1 4) -1)))
314.0ms	(-.f64 (pow.f64 (/.f64 (pow.f64 x0 3) (pow.f64 (-.f64 1 x1) 6)) 3) (pow.f64 (pow.f64 x0 3) 3))
302.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))))
288.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (/.f64 (.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (.f64 (cbrt.f64 a1) (cbrt.f64 a1)))) (/.f64 (cbrt.f64 a2) (/.f64 (cbrt.f64 b2) (/.f64 (cbrt.f64 a1) b1))))
265.0ms	(log.f64 (/.f64 (/.f64 (-.f64 1 (pow.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3) 3)) (+.f64 1 (+.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3) (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 6)))) (+.f64 1 (*.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))))

Details

sample20.0min (36%)

series13.8min (24.9%)

prune7.3min (13.2%)

analyze6.6min (11.9%)

simplify3.1min (5.6%)

regimes2.9min (5.2%)

rewrite1.3min (2.3%)

localize21.1s (0.6%)

bsearch10.1s (0.3%)

end9.0ms (0%)

Profiling