Date:	Thursday, April 8th, 2021
Commit:	919ebe9b on master
Hostname:	warfa with Racket 7.9
Seed:	2021098
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

series8.6min (39.5%)

Counts

680 → 6290

Calls

417 calls:

27.2s	(-.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))))
20.8s	(exp.f64 (-.f64 (log.f64 (+.f64 (pow.f64 (log.f64 (+.f64 (exp.f64 a) 1)) 3) (pow.f64 (/.f64 b (+.f64 (exp.f64 a) 1)) 3))) (log.f64 (+.f64 (exp.f64 (.f64 2 (log.f64 (log.f64 (+.f64 (exp.f64 a) 1))))) (.f64 (/.f64 b (+.f64 (exp.f64 a) 1)) (-.f64 (/.f64 b (+.f64 (exp.f64 a) 1)) (log.f64 (+.f64 (exp.f64 a) 1))))))))
7.4s	(-.f64 (.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale)) (.f64 (.f64 4 (/.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)))
7.3s	(-.f64 (.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale)) (.f64 (.f64 4 (/.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 (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) (cbrt.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))))) (cbrt.f64 (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))))) 2)) y-scale) y-scale)))
6.3s	(sqrt.f64 (+.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))

Compiler

Compiled 699184 to 491605 computations (29.7% saved)

sample6.8min (31.1%)

Algorithm

104×

intervals

Results

57.4s	2524×	body	8192	exit
48.6s	66098×	body	1024	valid
45.1s	7219×	body	4096	valid
28.9s	1610×	body	8192	valid
23.9s	13028×	body	2048	valid
18.3s	256831×	body	128	valid
12.3s	33120×	body	512	valid
5.9s	36852×	body	256	valid
5.5s	861×	body	4096	invalid
5.2s	5208×	body	1024	invalid
4.7s	1173×	body	2048	invalid
3.0s	115945×	pre	128	true
2.9s	1972×	body	1024	overflowed
2.2s	12801×	body	128	overflowed
1.6s	2682×	body	512	invalid
1.6s	5330×	body	2048	nan
1.3s	15350×	body	128	nan
1.3s	3748×	body	1024	nan
1.2s	9415×	body	128	invalid
839.0ms	1055×	body	512	overflowed
636.0ms	2196×	body	512	nan
522.0ms	37×	body	8192	invalid
486.0ms	1269×	body	256	invalid
223.0ms	1181×	body	256	nan
207.0ms	511×	body	256	overflowed
2.0ms	139×	pre	128	false
1.0ms	8×	body	4096	nan

Compiler

Compiled 148328 to 108107 computations (27.1% saved)

analyze2.0min (9.1%)

Algorithm

53×	search
106×	egg-herbie

Rules

2109×	`distribute-lft-out--_binary64_1394`
1929×	`div-sub_binary64_2470`
1887×	`sub-neg_binary64_1094`
1742×	`unsub-neg_binary64_2800`
1740×	`distribute-rgt-in_binary64_2756`
1727×	`distribute-rgt-in_binary64_1051`
1693×	`neg-mul-1_binary64_1097`
1630×	`div-sub_binary64_1447`
1627×	`neg-sub0_binary64_1096`
1525×	`unsub-neg_binary64_1436`
1522×	`times-frac_binary64`
1521×	`div-sub_binary64_1106`
1516×	`times-frac_binary64_2471`
1506×	`sub-neg_binary64_1435`
1452×	`div-sub_binary64_424`
1450×	`distribute-lft-in_binary64_2755`
1435×	`sub-neg_binary64_71`
1430×	`div-sub_binary64_83`
1415×	`sub-neg_binary64_412`
1410×	`distribute-rgt-in_binary64_2074`
1407×	`distribute-rgt-in_binary64_710`
1375×	`sub-neg_binary64_3140`
1371×	`unsub-neg_binary64_1095`
1316×	`distribute-rgt-neg-in_binary64_1059`
1279×	`distribute-lft-in_binary64_709`
1273×	`sub-neg_binary64_2117`
1260×	`times-frac_binary64_1107`
1252×	`neg-mul-1_binary64_2461`
1223×	`sub-neg_binary64_2458` `neg-mul-1_binary64_2120`
1212×	`neg-mul-1_binary64_415`
1198×	`times-frac_binary64_1448`
1191×	`distribute-rgt-in_binary64_2415`
1181×	`neg-mul-1_binary64_74`
1177×	`associate-l_binary64_701`
1146×	`neg-sub0_binary64_2119`
1133×	`associate-/l*_binary64_2410`
1126×	`unsub-neg_binary64_2118`
1088×	`distribute-lft-in_binary64_2414`
1056×	`associate-/r*_binary64_2409`
1055×	`distribute-rgt-neg-in_binary64_2423`
1054×	`associate-/r*_binary64_363`
1042×	`associate-r_binary64_700`
1040×	`distribute-lft-in_binary64_2073`
1032×	`neg-sub0_binary64_414`
1011×	`distribute-rgt-out--_binary64_1396`
1001×	`neg-sub0_binary64_73` `distribute-lft-neg-out_binary64_1060`
982×	`unswap-sqr_binary64_728`
978×	`div-sub_binary64_2129`
960×	`neg-mul-1_binary64_3143`
952×	`associate-/r*_binary64_22`
935×	`associate-/l/_binary64_2412`
927×	`distribute-neg-in_binary64_1403`
925×	`associate-/l*_binary64_1387`
924×	`cancel-sign-sub-inv_binary64_1067`
916×	`unswap-sqr_binary64_46`
912×	`unswap-sqr_binary64_387`
895×	`neg-sub0_binary64_2460`
874×	`distribute-rgt-in_binary64_1392`
868×	`sqr-pow_binary64_391`
856×	`associate-l_binary64_1724`
849×	`distribute-rgt-neg-in_binary64_2082`
845×	`cancel-sign-sub-inv_binary64_2772` `cancel-sign-sub-inv_binary64_3113`
841×	`div-sub_binary64_3152` `+-commutative_binary64_1372`
840×	`cancel-sign-sub-inv_binary64_1408`
839×	`distribute-neg-frac_binary64_2429`
832×	`neg-sub0_binary64_2801`
826×	`distribute-neg-frac_binary64_383`
822×	`distribute-neg-in_binary64_1062`
820×	`neg-mul-1_binary64_2802`
819×	`associate-/r*_binary64_1045` `neg-sub0_binary64_3142`
815×	`cancel-sign-sub-inv_binary64_2431`
812×	`neg-sub0_binary64_1437`
811×	`distribute-rgt-neg-out_binary64_1061`
805×	`distribute-neg-frac_binary64_1065`
804×	`distribute-neg-frac_binary64_42`
803×	`associate-r_binary64_359`
801×	`distribute-rgt-neg-out_binary64_2766`
787×	`neg-mul-1_binary64`
785×	`neg-sub0_binary64`
772×	`unsub-neg_binary64`
765×	`associate-r_binary64_1723`
756×	`neg-mul-1_binary64_4507`
754×	`associate-r_binary64`
752×	`sqr-pow_binary64_50`
750×	`distribute-lft-neg-out_binary64_2083`
744×	`associate-l_binary64_360`
741×	`neg-sub0_binary64_4506`
738×	`associate-l_binary64`
731×	`neg-mul-1_binary64_1438`
729×	`div-sub_binary64_4175`
726×	`distribute-frac-neg_binary64_1064`
721×	`distribute-lft-neg-in_binary64_1058`
696×	`times-frac_binary64_4858` `distribute-rgt-neg-in_binary64_2764`
689×	`distribute-rgt-out_binary64_1395`
686×	`times-frac_binary64_2812`
685×	`distribute-rgt-neg-in_binary64_36`
682×	`associate-/r/_binary64_2411`
676×	`associate-/r/_binary64_1047` `sub-neg_binary64_2799`
672×	`distribute-lft-neg-out_binary64_2765`
671×	`distribute-rgt-out--_binary64_1055`
669×	`associate-l_binary64_3429`
666×	`distribute-rgt-neg-in_binary64_3105`
659×	`associate-r_binary64_3428`
654×	`*-commutative_binary64_691`
653×	`distribute-rgt-neg-in_binary64_377`
644×	`neg-sub0_binary64_755`
643×	`associate-/r*_binary64_2068`
640×	`unswap-sqr_binary64_1751`
638×	`associate-/l*_binary64_4456`
633×	`distribute-neg-in_binary64_2085`
628×	`unsub-neg_binary64_754`
620×	`associate-/l*_binary64_1046`
616×	`associate-/l*_binary64_364`
611×	`neg-mul-1_binary64_756` `remove-double-neg_binary64_1089`
607×	`distribute-rgt-neg-out_binary64_379`
606×	`cancel-sign-sub-inv_binary64_2090`
602×	`distribute-lft-neg-out_binary64_2424` `distribute-lft-neg-in_binary64_2422`
600×	`*-commutative_binary64_1373`
599×	`sub-neg_binary64` `sub-neg_binary64_753`
589×	`distribute-rgt-neg-out_binary64_2084`
588×	`div-sub_binary64`
583×	`*-commutative_binary64_1032`
575×	`*-commutative_binary64_1714`
567×	`distribute-rgt-neg-out_binary64_38` `*-commutative_binary64_2396`
562×	`distribute-rgt-in_binary64_3438`
561×	`associate-/r*_binary64_3091`
552×	`distribute-lft-neg-in_binary64_35`
539×	`associate-*l/_binary64_362`
538×	`distribute-rgt-in_binary64_1733`
533×	`associate-/l/_binary64_1048`
530×	`distribute-lft-in_binary64_3437`
524×	`distribute-lft-in_binary64_1391`
521×	`unsub-neg_binary64_3141`
520×	`associate-r_binary64_2405`
519×	`associate-/r/_binary64_365` `+-commutative_binary64_349`
513×	`distribute-lft-neg-in_binary64_376`
507×	`*-commutative_binary64_350`
506×	`distribute-lft-neg-out_binary64_37` `associate-/r/_binary64_1388`
504×	`distribute-lft-neg-out_binary64_378`
499×	`distribute-lft-neg-out_binary64_719`
497×	`cancel-sign-sub-inv_binary64_726`
495×	`distribute-rgt-in_binary64_369` `associate-+l+_binary64_693`
494×	`div-sub_binary64_2811`
492×	`distribute-lft-neg-out_binary64_3106`
491×	`distribute-rgt-neg-out_binary64_2425`
489×	`distribute-neg-frac_binary64_2088`
488×	`distribute-rgt-neg-out_binary64_720` `+-commutative_binary64_8`
485×	`associate--r+_binary64_2060`
481×	`associate-*l/_binary64_2408` `distribute-neg-frac_binary64_1406` `distribute-rgt-neg-in_binary64_1400`
478×	`distribute-lft-neg-in_binary64_2081`
476×	`associate-/l/_binary64_1389`
475×	`distribute-rgt-out_binary64_1054` `distribute-frac-neg_binary64_2428`
472×	`*-commutative_binary64_2055`
470×	`distribute-frac-neg_binary64_4474`
468×	`div-sub_binary64_4516` `distribute-rgt-in_binary64_28`
460×	`distribute-neg-frac_binary64_3111`
459×	`+-commutative_binary64_1031` `times-frac_binary64_425`
456×	`*-commutative_binary64`
455×	`associate-/r/_binary64_24`
451×	`associate-l_binary64_1042`
450×	`associate-*l/_binary64_1044`
448×	`unsub-neg_binary64_4505`
446×	`associate-/l*_binary64_23`
441×	`associate-l_binary64_2406` `distribute-lft-in_binary64_1732`
437×	`associate-*l/_binary64_21`
432×	`cancel-sign-sub-inv_binary64_4136`
431×	`*-commutative_binary64_2737`
425×	`distribute-neg-in_binary64_3108`
422×	`associate-/l/_binary64_4799` `associate-r_binary64_1041`
420×	`associate-+l-_binary64_13`
418×	`*-commutative_binary64_9`
417×	`associate-/l*_binary64`
413×	`associate-l_binary64_1383`
406×	`distribute-rgt1-in_binary64_1398`
403×	`associate--r+_binary64_1037`
402×	`distribute-lft-neg-in_binary64_2763` `associate-+l-_binary64_354`
401×	`distribute-rgt-in_binary64_3097`
399×	`distribute-rgt-in_binary64_4802`
398×	`distribute-lft-out_binary64_1393`
397×	`associate-r_binary64_1382`
396×	`remove-double-neg_binary64_407` `remove-double-neg_binary64_66`
390×	`distribute-lft-neg-out_binary64_1401`
389×	`cancel-sign-sub-inv_binary64_44`
387×	`unsub-neg_binary64_2459`
386×	`distribute-lft-in_binary64_1050` `distribute-rgt-in_binary64`
385×	`distribute-rgt-out--_binary64_2078`
376×	`cancel-sign-sub-inv_binary64_385`
374×	`distribute-lft-neg-in_binary64_3104`
372×	`associate-/r*_binary64_1386` `unsub-neg_binary64_4164`
368×	`unswap-sqr_binary64_4820` `remove-double-neg_binary64_2453` `div-sub_binary64_5198`
367×	`distribute-neg-out_binary64_1404`
365×	`sqr-pow_binary64_1755`
364×	`associate--r+_binary64_2742`
360×	`cube-prod_binary64_447` `cube-prod_binary64_106`
353×	`distribute-rgt-neg-in_binary64_718` `associate-r_binary64_2746`
352×	`sub-neg_binary64_4504` `exp-prod_binary64_812`
351×	`associate--r+_binary64_1378`
350×	`associate-/r/_binary64_4798`
342×	`distribute-lft-neg-in_binary64_1399` `remove-double-neg_binary64_3135` `associate-/r/_binary64_2070`
341×	`remove-double-neg_binary64_2112`
340×	`unsub-neg_binary64_72`
336×	`unpow3_binary64_485` `unpow3_binary64_144`
335×	`distribute-frac-neg_binary64_2087`
334×	`distribute-neg-frac_binary64_724`
333×	`associate-*r/_binary64_2407`
330×	`associate-l_binary64_19`
328×	`associate-/l/_binary64_2753` `associate-/l/_binary64_707`
326×	`distribute-frac-neg_binary64_3110`
325×	`sqr-pow_binary64`
324×	`distribute-lft-in_binary64`
320×	`cube-mult_binary64_108` `cube-mult_binary64_449`
317×	`+-commutative_binary64_2054` `distribute-lft-in_binary64_368` `distribute-rgt-neg-out_binary64_3107`
314×	`distribute-rgt-neg-out_binary64_1402`
313×	`associate-/l*_binary64_2069`
312×	`exp-prod_binary64_1835`
310×	`associate-l_binary64_4111` `associate-+l+_binary64_1034`
306×	`associate-/l/_binary64_366`
300×	`times-frac_binary64_2130`
297×	`associate-r_binary64_4110` `associate-r_binary64_18` `distribute-lft-neg-in_binary64_717`
291×	`associate-+l-_binary64_1036`
290×	`associate-l_binary64_2747` `unswap-sqr_binary64_4138` `associate-/r/_binary64_706`
288×	`times-frac_binary64_84`
287×	`associate-*r/_binary64_361`
286×	`unswap-sqr_binary64_1069` `distribute-lft-in_binary64_3096`
282×	`unsub-neg_binary64_413`
279×	`sqr-pow_binary64_732`
278×	`associate-/l*_binary64_705`
275×	`sub-neg_binary64_1776` `distribute-neg-in_binary64_2767`
274×	`distribute-lft-in_binary64_27`
273×	`associate-/l*_binary64_1728`
268×	`associate-*l/_binary64_4795`
265×	`associate--r-_binary64_3086` `associate--l+_binary64_1379`
262×	`associate-/l/_binary64_25`
260×	`distribute-rgt-in_binary64_4461`
259×	`associate-+l-_binary64_1377`
257×	`associate-/l/_binary64_2071`
256×	`associate-r_binary64_3087` `times-frac_binary64_4517`
254×	`distribute-frac-neg_binary64` `associate-/l*_binary64_3092`
253×	`swap-sqr_binary64_1750`
252×	`associate--r+_binary64_14` `unswap-sqr_binary64_1410`
251×	`sub-neg_binary64_4845`
248×	`distribute-neg-out_binary64`
241×	`associate-*r/_binary64_20`
239×	`+-commutative_binary64_2395`
238×	`associate--r-_binary64_1381`
236×	`distribute-lft-neg-out_binary64_4470`
235×	`associate-+r-_binary64_1376` `distribute-frac-neg_binary64_1405`
234×	`associate--r+_binary64_355` `distribute-rgt-neg-out_binary64_4471`
232×	`+-commutative_binary64_2736` `distribute-neg-in_binary64_4813`
231×	`associate--r-_binary64_2063` `associate-/r/_binary64_3093`
230×	`unswap-sqr_binary64_3456`
229×	`associate-/r_binary64` `associate-l/_binary64_2067`
228×	`unswap-sqr_binary64_3115`
226×	`associate-r_binary64_2064`
225×	`cancel-sign-sub_binary64_2430` `associate--l-_binary64_1380`
223×	`pow-sqr_binary64_1756`
219×	`associate-+r+_binary64_1033`
218×	`div-sub_binary64_1788` `neg-sub0_binary64_1778`
217×	`associate--r+_binary64_2401`
216×	`distribute-lft-in_binary64_4801` `associate-+l-_binary64_2059` `distribute-rgt-neg-in_binary64_1741`
215×	`associate-l/_binary64` `-commutative_binary64_3078`
213×	`sub-neg_binary64_4163`
211×	`associate-l_binary64_2065`
210×	`neg-mul-1_binary64_1779`
209×	`associate--r-_binary64_1040` `associate-*l/_binary64_3090`
208×	`pow-sqr_binary64_392` `distribute-frac-neg_binary64_382` `associate--l+_binary64_1038` `pow-sqr_binary64_51`
207×	`remove-double-neg_binary64_2794`
206×	`distribute-neg-out_binary64_1063`
203×	`associate-/r*_binary64_1727` `cancel-sign-sub_binary64_1066` `distribute-lft-out_binary64_1052`
202×	`cancel-sign-sub-inv_binary64_1749`
201×	`+-lft-identity_binary64_2449`
200×	`prod-exp_binary64_4901`
199×	`associate-/r/_binary64`
198×	`distribute-neg-out_binary64_2768` `associate-*l/_binary64_4454` `distribute-lft-in_binary64_4460`
197×	`div-exp_binary64_1834`
196×	`associate-/l*_binary64_5138`
194×	`sub0-neg_binary64_65`
192×	`pow-plus_binary64_141` `pow-plus_binary64_482` `neg-mul-1_binary64_4166`
191×	`unsub-neg_binary64_4846` `+-commutative_binary64` `associate-+l+_binary64_2057` `distribute-neg-in_binary64_2426`
190×	`distribute-neg-frac_binary64_1747`
189×	`cancel-sign-sub_binary64_2089`
188×	`associate-+l-_binary64_2741`
187×	`associate-l_binary64_4452`
186×	`distribute-frac-neg_binary64_41` `unswap-sqr_binary64_2433` `associate-l_binary64_3088`
185×	`cancel-sign-sub-inv_binary64_4818`
184×	`associate--r+_binary64_696` `associate--l-_binary64_1039`
180×	`remove-double-neg_binary64_1430`
178×	`associate-/l/_binary64_5140`
177×	`cancel-sign-sub-inv_binary64_4477` `times-frac_binary64_1789`
176×	`sub0-neg_binary64_406` `unsub-neg_binary64_1777` `cancel-sign-sub_binary64_3112` `associate-+r+_binary64_1374`
175×	`associate-/l/_binary64_1730`
173×	`associate-/r_binary64_704` `associate-r/_binary64_4453`
172×	`distribute-neg-frac_binary64_4475`
171×	`associate-+l-_binary64_3082`
170×	`associate-r_binary64_4451`
167×	`associate--l+_binary64_2061` `+-commutative_binary64_690`
166×	`sqr-pow_binary64_4824`
165×	`distribute-rgt1-in_binary64_1057`
164×	`mul0-rgt_binary64_2789`
163×	`sqr-pow_binary64_2437` `sqr-pow_binary64_1073` `associate-+r+_binary64_2056`
162×	`mul0-lft_binary64_2788`
160×	`associate-/r/_binary64_1729` `exp-prod_binary64_4904`
158×	`distribute-rgt-in_binary64_4120`
157×	`distribute-lft-in_binary64_4119` `associate-+r-_binary64_1035`
156×	`+-commutative_binary64_3077` `div-sub_binary64_765` `associate-+l+_binary64` `associate-+l+_binary64_1375`
155×	`associate-/r/_binary64_4457` `associate-*r/_binary64_702`
153×	`*-rgt-identity_binary64_4842`
152×	`associate-+r+_binary64` `cancel-sign-sub_binary64_384` `cancel-sign-sub_binary64_43`
150×	`times-frac_binary64_766` `swap-sqr_binary64_1068`
149×	`sub0-neg_binary64_3134` `associate-/r*_binary64_4455`
148×	`times-frac_binary64_5199` `distribute-neg-frac_binary64`
147×	`associate-*r/_binary64_1043`
146×	`*-rgt-identity_binary64_1432`
144×	`times-frac_binary64_3153` `-lft-identity_binary64_67` `-lft-identity_binary64_408`
143×	`mul0-rgt_binary64_2107` `distribute-lft-neg-in_binary64_1740`
142×	`associate--l-_binary64_16` `associate--l-_binary64_357`
140×	`/-rgt-identity_binary64_1092` `*-lft-identity_binary64_1090`
139×	`associate--l-_binary64_2062`
138×	`sub-neg_binary64_5186`
137×	`associate--l+_binary64_4789` `mul0-lft_binary64_2106` `sub0-neg_binary64_1088`
136×	`sqr-pow_binary64_3119` `distribute-neg-in_binary64_39` `distribute-neg-in_binary64_380` `*-rgt-identity_binary64_1091`
131×	`associate-r_binary64_4792`
130×	`distribute-neg-out_binary64_2086` `associate-/r*_binary64_4796` `sub0-neg_binary64_2793`
129×	`mul0-rgt_binary64_3130` `pow-plus_binary64_823` `div0_binary64_1082` `mul0-lft_binary64_3129`
128×	`*-lft-identity_binary64_2454` `associate-+r-_binary64_2058`
126×	`associate-/l*_binary64_4797`
125×	`associate-+l-_binary64_4787` `associate-/r/_binary64_5139`
124×	`associate-l_binary64_4793` `associate-*r/_binary64`
123×	`distribute-rgt-neg-out_binary64`
122×	`associate--r+_binary64_3083` `+-lft-identity_binary64_403` `*-lft-identity_binary64_4500` `+-lft-identity_binary64_62`
120×	`rem-sqrt-square_binary64_432` `associate-l/_binary64_703` `rem-sqrt-square_binary64_91` `cancel-sign-sub-inv_binary64_5159` `-commutative_binary64_4101`
119×	`associate-/l/_binary64_3094`
117×	`cube-prod_binary64_1811` `associate-/l/_binary64_4458`
115×	`sub0-neg_binary64_2111` `sub0-neg_binary64_2452`
114×	`swap-sqr_binary64` `associate--r-_binary64_358` `+-lft-identity_binary64_1085` `distribute-rgt-out_binary64_2077` `associate--r-_binary64_17` `associate-/l/_binary64`
113×	`*-lft-identity_binary64_4841` `mul0-rgt_binary64_2448`
112×	`associate-+r-_binary64_3081` `-lft-identity_binary64_2113` `-lft-identity_binary64_1431`
110×	`mul0-lft_binary64_2447` `exp-diff_binary64_808` `unpow2_binary64`
108×	`unpow1_binary64` `/-rgt-identity_binary64_69` `/-rgt-identity_binary64_410` `cube-prod_binary64_788`
107×	`unpow1/2_binary64`
106×	`+-rgt-identity_binary64_63` `+-rgt-identity_binary64_404`
105×	`neg-sub0_binary64_4165` `pow-sqr_binary64_733` `div0_binary64_2446`
104×	`-lft-identity_binary64_2795` `associate-/r_binary64_5137`
103×	`-rgt-identity_binary64_4501` `associate-l/_binary64_1385`
102×	`associate-+l+_binary64_352` `associate-+l-_binary64_2400`
101×	`associate-+l+_binary64_3080`
100×	`distribute-rgt-in_binary64_5143` `associate-+r+_binary64_692` `distribute-neg-in_binary64`
99×	`/-rgt-identity_binary64_2456` `*-commutative_binary64_3419` `unpow2_binary64_484`
97×	`associate--r-_binary64_2404` `unpow1_binary64_477` `unpow1/2_binary64_483` `*-commutative_binary64_4442`
96×	`associate-+l+_binary64_4103` `associate-/r/_binary64_2752`
95×	`swap-sqr_binary64_2432`
94×	`+-lft-identity_binary64_2790`
93×	`associate-*l/_binary64_4113`
92×	`distribute-lft-in_binary64_5142`
91×	`associate-+r+_binary64_4102`
90×	`distribute-neg-frac_binary64_2770` `remove-double-neg_binary64_4499`
89×	`--rgt-identity_binary64_1087` `--rgt-identity_binary64_2451` `+-lft-identity_binary64_2108`
88×	`associate-*l/_binary64_2749`
87×	`unpow3_binary64_1849`
86×	`*-rgt-identity_binary64_2114`
84×	`associate--l-_binary64_4790` `neg-mul-1_binary64_4848` `swap-sqr_binary64_386`
83×	`cancel-sign-sub_binary64_1407`
82×	`associate-+r-_binary64_353` `associate-+r-_binary64_12` `distribute-rgt-neg-in_binary64_4469` `+-commutative_binary64_1713`
81×	`distribute-lft-out--_binary64_1053` `sub-neg_binary64_3481` `associate-+l-_binary64`
80×	`associate-+l+_binary64_11` `remove-double-div_binary64_4828` `associate-*r/_binary64_4794`
79×	`+-lft-identity_binary64_3131`
78×	`cancel-sign-sub_binary64_4476`
77×	`/-rgt-identity_binary64_4502` `+-rgt-identity_binary64_3132`
76×	`unsub-neg_binary64_3482` `associate--r-_binary64_2745` `unpow3_binary64_4918` `distribute-neg-in_binary64_721`
75×	`distribute-frac-neg_binary64_2769` `log-div_binary64_2211` `associate-*r/_binary64_1384` `neg-sub0_binary64_3483` `swap-sqr_binary64_727`
74×	`difference-of-squares_binary64_729` `cube-unmult_binary64_4889` `times-frac_binary64_4176`
73×	`associate-+l-_binary64_695`
72×	`pow-plus_binary64_4915` `div-exp_binary64_811` `div0_binary64_59` `pow-sqr_binary64_4825` `--rgt-identity_binary64_2110` `cube-prod_binary64_4880` `/-rgt-identity_binary64_4843` `div0_binary64_400` `associate-+r+_binary64_3079` `pow-plus_binary64_1846` `associate-/l*_binary64_4115`
71×	`+-commutative_binary64_4782` `distribute-lft1-in_binary64_1056`
70×	`unsub-neg_binary64_5187`
69×	`mul0-lft_binary64_1083` `mul0-rgt_binary64_1084` `neg-sub0_binary64_4847`
68×	`*-rgt-identity_binary64_2455` `distribute-neg-frac_binary64_5157` `distribute-lft-neg-out_binary64`
67×	`/-rgt-identity_binary64_1774` `rem-sqrt-square_binary64_773`
66×	`mul0-rgt_binary64_61` `associate-*r/_binary64_2748` `mul0-lft_binary64_60` `--rgt-identity_binary64_64`
65×	`*-lft-identity_binary64_4159`
64×	`associate-r/_binary64_1725` `associate-/l_binary64_2751` `*-rgt-identity_binary64_4160` `distribute-lft-neg-out_binary64_1742` `--rgt-identity_binary64_3133`
63×	`associate-*r/_binary64_4112` `sub0-neg_binary64_747`
62×	`unswap-sqr_binary64` `*-rgt-identity_binary64_2796`
61×	`+-commutative_binary64_3418` `associate-/r*_binary64_4114`
60×	`associate-*r/_binary64_2066` `exp-sqrt_binary64_813` `distribute-rgt-neg-in_binary64_5151` `sqr-pow_binary64_3460` `unpow3_binary64_826`
59×	`+-rgt-identity_binary64_2109` `+-lft-identity_binary64_744` `distribute-lft1-in_binary64_1397`
58×	`distribute-neg-out_binary64_4814` `cancel-sign-sub-inv_binary64_3454` `neg-mul-1_binary64_3484` `--rgt-identity_binary64_2792` `distribute-lft-neg-out_binary64_4811` `associate-+r-_binary64`
57×	`/-rgt-identity_binary64_2115` `associate-+r+_binary64_2738` `+-commutative_binary64_4100`
56×	`associate--r+_binary64_4788` `associate-+l+_binary64_4785` `remove-double-neg_binary64_748` `mul0-rgt_binary64_1425` `associate-+r+_binary64_351`
55×	`log-prod_binary64_2210` `associate-/l*_binary64_3774` `+-rgt-identity_binary64_1086` `distribute-rgt1-in_binary64_2080`
54×	`/-rgt-identity_binary64_3138`
53×	`distribute-rgt-neg-in_binary64_3446` `sub0-neg_binary64_1429` `div0_binary64_1423` `*-lft-identity_binary64_3136` `associate--r-_binary64_699` `div0_binary64_4492`
52×	`associate-l_binary64_5134` `associate-+l+_binary64_2398` `prod-exp_binary64_809` `rem-sqrt-square_binary64_4865` `distribute-rgt-neg-out_binary64_1743` `prod-exp_binary64_1832` `difference-of-sqr--1_binary64_3118`
51×	`associate--l+_binary64` `count-2_binary64_2072`
50×	`associate-*l/_binary64_5136` `associate-+r-_binary64_694` `associate-+l+_binary64_2739` `distribute-rgt-out_binary64`
49×	`sqr-pow_binary64_4142` `mul0-lft_binary64_1424`
48×	`unpow3_binary64_3213` `*-commutative_binary64_4783` `rem-sqrt-square_binary64_1796` `--rgt-identity_binary64_405` `distribute-neg-out_binary64_3109` `cancel-sign-sub-inv_binary64` `div-sub_binary64_4857` `distribute-lft-out--_binary64_3099`
47×	`distribute-lft-neg-in_binary64_3445`
46×	`+-lft-identity_binary64_1426` `div0_binary64_2105` `associate-+l-_binary64_4105` `associate--l-_binary64_698`
45×	`associate--l-_binary64_2403` `associate-+l-_binary64_1718` `swap-sqr_binary64_1409` `associate--l+_binary64_697` `cube-prod_binary64_1129` `exp-sum_binary64_1829`
44×	`+-commutative_binary64_4441` `distribute-lft-neg-in_binary64_4809` `associate--r+_binary64_4447` `mul-1-neg_binary64_1434` `distribute-rgt-out_binary64_4464` `distribute-rgt-neg-in_binary64_4810` `associate-*r/_binary64_3089` `cancel-sign-sub_binary64_2771`
43×	`exp-diff_binary64_1831` `/-rgt-identity_binary64_1433` `+-rgt-identity_binary64_745`
42×	`distribute-lft-neg-in_binary64_4468` `distribute-lft-neg-in_binary64_5150` `distribute-rgt-out--_binary64_2760`
40×	`distribute-rgt-out_binary64_713` `cube-unmult_binary64_456` `cube-unmult_binary64_115` `distribute-neg-in_binary64_1744` `unpow1/2_binary64_142` `unpow1_binary64_136` `swap-sqr_binary64_4137` `distribute-rgt-out--_binary64_4465` `unpow2_binary64_143` `pow-plus_binary64_3210` `difference-of-sqr-1_binary64_3117` `cube-unmult_binary64_3184`
39×	`associate--l+_binary64_3084` `cube-mult_binary64_1813`
38×	`*-rgt-identity_binary64` `cube-unmult_binary64_797`
37×	`associate-l/_binary64_1726` `mul-1-neg_binary64_1093` `-lft-identity_binary64_749`
36×	`div-exp_binary64_4903` `mul0-rgt_binary64_402` `pow-sqr_binary64_2438` `mul0-lft_binary64_401` `div0_binary64_3128` `associate--l+_binary64_356` `associate--l+_binary64_15`
35×	`pow-plus_binary64_4233` `+-rgt-identity_binary64_2450` `sub0-neg_binary64_4157` `sqr-pow_binary64_1414` `distribute-rgt-neg-out_binary64_4130` `distribute-lft-neg-out_binary64_4129`
34×	`rec-exp_binary64_4902` `associate-+r-_binary64_1717` `mul0-lft_binary64_742` `mul0-rgt_binary64_743` `associate-+r+_binary64_10` `+-lft-identity_binary64_4495` `associate--l+_binary64_2743`
33×	`associate-+r-_binary64_2399` `cube-unmult_binary64_1820`
32×	`div-sub_binary64_3493` `sqr-neg_binary64_1456` `neg-mul-1_binary64_5189` `associate-/r/_binary64_3775` `exp-prod_binary64_1153` `associate-+r+_binary64_4443` `distribute-rgt-neg-out_binary64_4812` `associate-+l-_binary64_4446`
31×	`remove-double-div_binary64_2441` `associate--r-_binary64_4791` `sqr-neg_binary64_1115` `exp-sqrt_binary64_1836` `associate-/r*_binary64_3773`
30×	`distribute-lft-out_binary64_2757` `distribute-lft-neg-out_binary64_5152` `neg-sub0_binary64_5188` `associate-+r-_binary64_4104` `associate-r/_binary64_3771` `-rgt-identity_binary64_750`
29×	`distribute-neg-in_binary64_4472` `unpow1_binary64_2523` `associate--l-_binary64_3085` `*-lft-identity_binary64_1772` `unpow2_binary64_2530` `unpow1/2_binary64_2529` `associate-+l+_binary64_1716` `rem-sqrt-square_binary64_2478` `associate-+r+_binary64_1715`
28×	`sub0-neg_binary64_4498` `exp-sum_binary64_4898` `-lft-identity_binary64` `associate-r*_binary64_5133` `associate--r+_binary64_5129` `cube-div_binary64_4881` `distribute-lft-out_binary64_3439` `distribute-rgt-out--_binary64_714` `mul0-rgt_binary64` `distribute-neg-out_binary64_4473` `cube-mult_binary64_790` `mul0-lft_binary64` `exp-neg_binary64_1148` `associate-+r-_binary64_2740` `distribute-rgt-out_binary64_3441` `difference-of-squares_binary64_4139`
27×	`distribute-lft-out--_binary64_4804` `cube-div_binary64_1812`
26×	`exp-lft-sqr_binary64_815` `distribute-lft-neg-in_binary64` `unpow2_binary64_825` `*-commutative_binary64_3760`
25×	`associate-+r+_binary64_4784` `exp-diff_binary64_1149` `distribute-lft-out--_binary64_2076` `cube-prod_binary64_1470` `exp-sum_binary64_1147`
24×	`--rgt-identity_binary64_1428` `distribute-lft-out_binary64_3098` `exp-sqrt_binary64_4905` `associate--r+_binary64_4106` `remove-double-div_binary64_1418` `cube-prod_binary64_4198` `remove-double-div_binary64_1077` `difference-of-squares_binary64` `associate-+r-_binary64_4445` `+-rgt-identity_binary64_1768` `distribute-rgt-out--_binary64_4806`
23×	`distribute-rgt-out_binary64_1736` `distribute-neg-out_binary64_722` `associate--l-_binary64` `distribute-lft-neg-out_binary64_3447` `swap-sqr_binary64_3114` `unpow1/2_binary64_1847` `cube-div_binary64_1130`
22×	`associate-+l+_binary64_4444` `distribute-rgt-neg-in_binary64` `mul0-rgt_binary64_5176` `unpow1_binary64_1841` `/-rgt-identity_binary64` `sqr-neg_binary64_3161` `swap-sqr_binary64_45` `mul-1-neg_binary64_2116`
21×	`exp-prod_binary64_1494` `associate-+r+_binary64_2397` `cube-unmult_binary64_4207` `+-rgt-identity_binary64_2791`
20×	`sub0-neg_binary64_1770` `sin-neg_binary64_2936` `distribute-frac-neg_binary64_5156` `distribute-rgt-neg-out_binary64_5153` `unpow2_binary64_1848` `distribute-frac-neg_binary64_4815` `times-frac_binary64_3835` `associate-/l_binary64_3433` `+-commutative_binary64_5123` `+-rgt-identity_binary64` `div0_binary64_5174` `associate-+l-_binary64_5128` `sub0-neg_binary64` `pow-sqr_binary64_1074` `associate-l/_binary64_3772` `div0_binary64` `associate-/r*_binary64_2750`
19×	`+-rgt-identity_binary64_4496` `pow-plus_binary64_1164` `+-rgt-identity_binary64_1427`
18×	`mul-1-neg_binary64` `-rgt-identity_binary64_3137` `associate-/l/_binary64_3776` `-commutative_binary64_5124` `distribute-rgt-neg-in_binary64_4128` `cube-mult_binary64_4882` `associate--l-_binary64_5131` `*-lft-identity_binary64_5182`
17×	`distribute-frac-neg_binary64_1746` `remove-double-div_binary64_4487` `distribute-rgt-neg-out_binary64_3448` `mul0-lft_binary64_4152` `unpow3_binary64_4236` `mul0-rgt_binary64_4153` `exp-lft-sqr_binary64_1838` `unpow1_binary64_818`
16×	`sub-neg_binary64_3822` `exp-lft-sqr_binary64_4907` `pow-sqr_binary64_1415` `difference-of-squares_binary64_2434` `associate--r-_binary64_4109` `difference-of-squares_binary64_1752` `pow-sqr_binary64_3120` `distribute-rgt-out_binary64_2759` `associate--l+_binary64_4107` `difference-of-squares_binary64_4480` `distribute-lft-out_binary64_2075` `remove-double-div_binary64_1759` `distribute-neg-frac_binary64_4816` `unpow2_binary64_3212`
15×	`remove-double-neg_binary64_1771` `mul0-lft_binary64_4493` `associate--r+_binary64_1719` `pow-plus_binary64_1505` `mul0-rgt_binary64_4494`
14×	`associate--l+_binary64_1720` `difference-of-squares_binary64_1070` `distribute-neg-in_binary64_5154` `cos-neg_binary64_2255` `cancel-sign-sub-inv_binary64_3795` `exp-sum_binary64_806` `associate-+r+_binary64_3420` `exp-diff_binary64_4900` `exp-sum_binary64_1488` `sin-neg_binary64_3277` `associate-+l+_binary64_3421`
13×	`log-rec_binary64_2212` `cube-unmult_binary64_1138`
12×	`cos-neg_binary64_3278` `sin-neg_binary64_2254` `distribute-lft1-in_binary64_2079` `difference-of-squares_binary64_3457` `sqr-neg_binary64` `sqr-neg_binary64_2820` `-rgt-identity_binary64_5183` `sqr-neg_binary64_1797` `associate--r+_binary64` `-rgt-identity_binary64_409` `rec-exp_binary64_1833` `sub0-neg_binary64_5180` `cube-div_binary64_4199` `distribute-lft-neg-in_binary64_4127` `*-rgt-identity_binary64_68` `distribute-lft-out_binary64_4462`
11×	`unpow1/2_binary64_824` `+-lft-identity_binary64_4836` `cos-neg_binary64_891` `mul-1-neg_binary64_752` `sqr-neg_binary64_4184` `+-rgt-identity_binary64_4155` `cos-neg_binary64_2937`
10×	`distribute-rgt-out--_binary64_5147` `distribute-rgt-in_binary64_3779` `unpow1_binary64_3546` `cube-unmult_binary64_3525` `pow-plus_binary64_3551` `cube-prod_binary64_3516` `rem-sqrt-square_binary64_3501` `associate-/r/_binary64_3434` `sin-neg_binary64_890` `associate--r-_binary64_5132` `div0_binary64_3469` `unpow3_binary64_3554` `unpow2_binary64_3553` `unpow1/2_binary64_3552` `associate--r-_binary64_4450` `mul0-lft_binary64_5175` `+-lft-identity_binary64_4154` `rem-sqrt-square_binary64_4183` `associate--l+_binary64_5130` `mul-1-neg_binary64_2457` `associate-*r/_binary64_5135` `distribute-rgt1-in_binary64_716` `distribute-lft-out_binary64_711` `div0_binary64_2787` `+-rgt-identity_binary64_4837` `associate--l+_binary64_2402`
9×	`associate-+r-_binary64_4786` `sub-1-sin_binary64_3247` `cube-unmult_binary64_1479` `log-prod_binary64_1187` `sqr-neg_binary64_774` `unpow3_binary64_1167` `distribute-frac-neg_binary64_3451` `1-sub-sin_binary64_3243` `/-rgt-identity_binary64_4161` `remove-double-neg_binary64_4840` `neg-mul-1_binary64_3825`
8×	`associate--l+_binary64_4448` `--rgt-identity_binary64_4838` `unpow1/2_binary64_3211` `associate--r+_binary64_3765` `remove-double-div_binary64_5169` `difference-of-squares_binary64_388` `associate-/r/_binary64_4116` `/-rgt-identity_binary64_751` `exp-prod_binary64_2517` `associate--l-_binary64_4108` `distribute-lft-out_binary64_4121` `distribute-neg-in_binary64_4131` `sub0-neg_binary64_4839` `associate-+r+_binary64_5125` `unpow2_binary64_4917` `+-commutative_binary64_3759` `unpow1_binary64_3205` `--rgt-identity_binary64_4156` `rem-sqrt-square_binary64_3160` `distribute-rgt-out_binary64_4123` `distribute-rgt1-in_binary64` `cube-prod_binary64_3175` `cube-prod_binary64_2834` `mul-1-neg_binary64_4844` `distribute-rgt-out_binary64_5146` `/-rgt-identity_binary64_5184` `exp-sqrt_binary64_1154` `associate-+l+_binary64_5126`
7×	`cube-neg_binary64_1128` `unpow1_binary64_4228` `unsub-neg_binary64_3823` `exp-sqrt_binary64_1495` `unpow2_binary64_4235` `cancel-sign-sub_binary64_4817` `*-rgt-identity_binary64_1773` `unpow1/2_binary64_4234`
6×	`mul-1-neg_binary64_5185` `associate-+r-_binary64_5127` `exp-diff_binary64_1490` `swap-sqr_binary64_4478` `distribute-lft1-in_binary64` `sqr-neg_binary64_433` `distribute-rgt1-in_binary64_5149` `div0_binary64_1764` `cancel-sign-sub_binary64_725` `--rgt-identity_binary64_5179` `div0_binary64_4151` `remove-double-neg_binary64_5181` `sqr-neg_binary64_92` `sin-neg_binary64_2595` `cube-mult_binary64_1131` `neg-sub0_binary64_3824` `rec-exp_binary64_810` `tan-neg_binary64_2597` `cube-div_binary64_2835`
5×	`distribute-neg-out_binary64_1745` `distribute-rgt-neg-in_binary64_3787` `distribute-lft-in_binary64_3778` `distribute-neg-in_binary64_3790` `*-inverses_binary64_1422` `exp-lft-sqr_binary64_1156` `distribute-lft-neg-out_binary64_3788` `associate--r-_binary64_3768` `unpow3_binary64_1508` `distribute-rgt-out_binary64_4805`
4×	`mul0-lft_binary64_4834` `log-prod_binary64_4938` `-inverses_binary64_2786` `mul0-rgt_binary64_4835` `sub0-neg_binary64_3816` `1-exp_binary64_1486` `sqr-neg_binary64_3502` `distribute-rgt1-in_binary64_4808` `remove-double-neg_binary64` `distribute-lft-out_binary64_4803` `associate-/l/_binary64_4117` `1-exp_binary64_2509` `1-exp_binary64_1145` `exp-neg_binary64_2512` `remove-double-div_binary64_736` `1-exp_binary64_463` `remove-double-neg_binary64_4158` `distribute-lft-out_binary64_1734` `prod-exp_binary64_1150` `distribute-lft-out--_binary64_712` `exp-sum_binary64_2511` `+-inverses_binary64_1421` `+-rgt-identity_binary64_5178` `cube-unmult_binary64_2843` `-lft-identity_binary64_3818` `distribute-neg-out_binary64_4132` `mul-1-neg_binary64_2798` `unpow1/2_binary64_4916` `associate--r-_binary64` `distribute-frac-neg_binary64_4133` `exp-lft-sqr_binary64_1497` `associate-+l-_binary64_3423` `associate-+l-_binary64_3764` `+-lft-identity_binary64_5177` `associate--l-_binary64_4449` `distribute-lft-out--_binary64_2758`
3×	`sqr-neg_binary64_2479` `swap-lambda1-lambda2` `distribute-lft1-in_binary64_4807` `distribute-rgt-neg-out_binary64_3789` `associate-+l+_binary64_3762` `1-exp_binary64_2850` `swap-phi1-phi2` `mul-1-neg_binary64_4162` `1-exp_binary64` `rem-sqrt-square_binary64_1114` `unpow2_binary64_1507` `swap-a-b` `--rgt-identity_binary64_4497` `sqr-neg_binary64_4525` `1-exp_binary64_122` `unpow2_binary64_1166` `cos-neg_binary64_2596` `1-exp_binary64_804` `sqr-neg_binary64_2138` `distribute-rgt-out--_binary64_1737` `cube-neg_binary64_1469` `1-exp_binary64_1827` `swap-sqr_binary64_2091` `cube-mult_binary64_4200` `+-lft-identity_binary64_3813` `1-exp_binary64_2168`
2×	`difference-of-sqr--1_binary64_2777` `distribute-neg-frac_binary64_3793` `sub0-neg_binary64_3475` `exp-sum_binary64_4216` `1-exp_binary64_3532` `rec-exp_binary64_1492` `difference-of-squares_binary64_2775` `1-exp_binary64_3873` `unpow1_binary64_1159` `distribute-neg-out_binary64_5155` `*-rgt-identity_binary64_3819` `associate--l-_binary64_2744` `mul0-rgt_binary64_3471` `div-exp_binary64_1152` `--rgt-identity_binary64_3474` `1-exp_binary64_3191` `/-rgt-identity_binary64_2797` `difference-of-sqr-1_binary64_1412` `swap-A-C` `cube-neg_binary64_787` `--rgt-identity_binary64` `mul-1-neg_binary64_4503` `mul0-lft_binary64_3470` `cube-mult_binary64_1472` `--rgt-identity_binary64_746` `rem-exp-log_binary64_4210` `remove-double-div_binary64` `remove-double-div_binary64_2100` `+-inverses_binary64_2103` `count-2_binary64_708` `rem-square-sqrt_binary64_1795` `distribute-lft1-in_binary64_2761` `unpow-1_binary64_1840` `cube-neg_binary64_2833` `unpow-1_binary64_817` `associate--r+_binary64_3424` `difference-of-sqr-1_binary64_2776` `swap-sqr_binary64_2773`
1×	`exp-1-e_binary64_1826` `+-rgt-identity_binary64_3814` `distribute-rgt1-in_binary64_1739` `exp-1-e_binary64_1144` `prod-exp_binary64_1491` `swap-b1-b2` `remove-double-neg_binary64_3817` `count-2_binary64_4800` `1-exp_binary64_4896` `exp-1-e_binary64_1485` `count-2_binary64_1049` `exp-neg_binary64_1489` `swap-a1-a2` `--rgt-identity_binary64_1769` `-inverses_binary64_2104` `unpow1_binary64_1500` `1-exp_binary64_4214` `exp-1-e_binary64_803` `-inverses_binary64_1081` `distribute-lft-neg-in_binary64_3786` `difference-of-sqr-1_binary64_1071` `associate--l-_binary64_1721` `exp-neg_binary64_1830` `+-inverses_binary64_1080` `1-exp_binary64_5237` `rem-square-sqrt_binary64_1113` `unpow1/2_binary64_1165` `rgt-mult-inverse_binary64_1078` `associate-+r-_binary64_3763` `associate--l+_binary64_3766` `1-exp_binary64_4555` `exp-1-e_binary64_4895` `--rgt-identity_binary64_3815` `associate-+r+_binary64_3761`
0×	`unpow1_binary64_3887` `hang-m-tan_binary64_204` `exp-diff_binary64_2854` `cos-PI/3_binary64` `sin-0_binary64_1569` `-1-add-sin_binary64_4950` `tanh-def-a_binary64_2993` `distribute-rgt-out_binary64_3100` `hang-p-tan_binary64_2931` `not-lte_binary64_1693` `tanh-def-c_binary64_2995` `sin-+PI/2_binary64_2572` `cos-+PI/2_binary64_3261` `distribute-lft1-in_binary64_33` `sin-PI/6_binary64_520` `tan-PI/6_binary64_4967` `unpow1_binary64_5251` `pow-base-0_binary64_2208` `lte-same_binary64_325` `lte-same_binary64_5440` `if-same_binary64_4425` `sin-+PI/2_binary64_867` `prod-exp_binary64_3196` `cos-0_binary64_2593` `cos-PI/4_binary64_5302` `sin-PI/6_binary64_1202` `+-inverses_binary64_3467` `hang-p0-tan_binary64` `unpow0_binary64_3206` `not-lte_binary64_670` `hang-p-tan_binary64_3272` `rem-log-exp_binary64_5234` `cos-+PI_binary64` `sin-neg_binary64_4641` `exp-neg_binary64_2853` `if-not_binary64_334` `erfc-erf_binary64_4774` `rem-cbrt-cube_binary64_3171` `cos-PI_binary64_3941` `exp-cbrt_binary64` `-inverses_binary64_399` `sin-PI/2_binary64_4956` `log-rec_binary64_3917` `exp-sum_binary64_4557` `hang-m-tan_binary64_4296` `not-gt_binary64_5102` `gt-same_binary64_2370` `unpow3_binary64_2190` `log-prod_binary64_2551` `hang-p0-tan_binary64_2929` `1-sub-cos_binary64_3583` `difference-of-sqr--1_binary64_390` `lte-same_binary64_5099` `distribute-lft-out_binary64_29` `sinh-cosh_binary64_950` `rem-exp-log_binary64_1141` `exp-lft-sqr_binary64_2861` `pow-sqr_binary64_2097` `cube-mult_binary64` `exp-to-pow_binary64_822` `rem-square-sqrt_binary64_3841` `cos-PI_binary64_531` `unswap-sqr_binary64_2774` `sin-PI/4_binary64_2567` `sin-PI/2_binary64_3251` `not-lt_binary64_327` `pow-sqr_binary64_4143` `rem-cbrt-cube_binary64_1466` `+-lft-identity_binary64_1767` `sin-+PI/2_binary64_1549` `rem-exp-log_binary64` `pow-base-0_binary64_2549` `cos-+PI_binary64_532` `not-gte_binary64_2035` `rgt-mult-inverse_binary64_1419` `sub-1-sin_binary64_1883` `if-same_binary64_2038` `sin-neg_binary64` `sinh-def_binary64_2650` `tanh-def-b_binary64_5040` `gte-same_binary64_3736` `hang-m0-tan_binary64_4635` `tanh-def-a_binary64_2652` `distribute-lft-out_binary64_3780` `tan-PI/4_binary64_3945` `remove-double-neg_binary64_3476` `distribute-lft-out--_binary64_4122` `if-if-and-not_binary64_679` `lft-mult-inverse_binary64` `tanh-def-a_binary64_2311` `if-if-and-not_binary64_3066` `distribute-rgt-out--_binary64_3783` `hang-m-tan_binary64_886` `erf-odd_binary64_2726` `lt-same_binary64_5438` `sin-PI/3_binary64_2227` `sin-0_binary64_546` `rem-3cbrt-lft_binary64_3513` `sin-+PI_binary64_1889` `cube-prod_binary64_5221` `-inverses_binary64_4491` `log-rec_binary64_507` `if-if-or-not_binary64_2382` `-1-add-sin_binary64_2904` `not-gt_binary64_669` `tanh-def-b_binary64_3335` `rem-exp-log_binary64_4892` `if-same_binary64_5448` `exp-to-pow_binary64_4573` `sinh-cosh_binary64_4360` `and-false-l` `sin-PI/3_binary64_1545` `rem-log-exp_binary64_3870` `prod-exp_binary64_3878` `log-pow_binary64_4259` `mul-1-neg_binary64_1775` `tan-neg_binary64_1574` `distribute-rgt-out--_binary64_373` `cos-PI/3_binary64_1211` `if-if-and-not_binary64` `distribute-lft-out--_binary64` `exp-lft-sqr_binary64` `sin-+PI_binary64` `gte-same_binary64` `log-rec_binary64_3235` `erf-odd_binary64_3408` `hang-p-tan_binary64_2590` `remove-double-div_binary64_3123` `cos-sin-sum_binary64_2218` `cube-prod_binary64` `tan-PI_binary64` `cos-+PI/2_binary64_2920` `exp-sum_binary64` `cos-PI/2_binary64_1212` `cube-unmult_binary64_2161` `if-same_binary64_3402` `+-inverses_binary64_4149` `exp-0_binary64_802` `cos-PI/4_binary64_4620` `tan-PI_binary64_4288` `cos-neg_binary64_1232` `log-div_binary64_1188` `gt-same_binary64_1688` `not-or` `difference-of-sqr-1_binary64` `cos-PI/4_binary64_3256` `tanh-def-b_binary64_607` `exp-sum_binary64_3875` `erf-odd_binary64_4431` `rem-log-exp_binary64_1142` `hang-0m-tan_binary64_541` `sqr-abs_binary64_93` `rem-3cbrt-lft_binary64_3172` `difference-of-sqr--1_binary64_4482` `e-exp-1_binary64_2510` `exp-cbrt_binary64_3201` `if-false_binary64_2037` `tan-PI/6_binary64_3262` `cos-sin-sum_binary64` `1-sub-sin_binary64_515` `hang-p-tan_binary64_885` `cos-PI/6_binary64_1209` `sinh-def_binary64_5037` `sin-0_binary64_5320` `if-same_binary64_674` `rem-3cbrt-rft_binary64_4878` `pow-base-0_binary64_3913` `difference-of-squares_binary64_5162` `1-sub-sin_binary64_1879` `not-gte_binary64_1353` `if-if-and_binary64_1019` `rem-cbrt-cube_binary64` `cos-+PI_binary64_1214` `erfc-erf_binary64_2046` `+-inverses_binary64_398` `sin-PI/2_binary64_4615` `erf-erfc_binary64_1363` `sin-+PI/2_binary64_5300` `erfc-erf_binary64_341` `rem-exp-log_binary64_1482` `-inverses_binary64_2445` `not-lte_binary64_4762` `rgt-mult-inverse_binary64_2442` `hang-0p-tan_binary64_4291` `log-E_binary64_1532` `cos-PI/3_binary64_1552` `lt-same_binary64_323` `if-true_binary64_4764` `1-sub-sin_binary64_856` `if-same_binary64` `cos-PI_binary64_1213` `rem-cbrt-cube_binary64_3512` `if-same_binary64_3061` `and-true-l` `not-gt_binary64` `sinh-cosh_binary64_3337` `rem-exp-log_binary64_4551` `sin-PI/6_binary64_1884` `log-rec_binary64_848` `sin-PI/3_binary64_5296` `sub-1-sin_binary64_4611` `tan-PI/6_binary64_3603` `cos-0_binary64_206` `if-if-and_binary64_337` `lte-same_binary64_666` `distribute-lft1-in_binary64_3102` `not-gte_binary64_1694` `not-lte_binary64_3739` `tan-PI/3_binary64_2923` `div-exp_binary64_4562` `tanh-def-c_binary64_2313` `exp-0_binary64_2848` `log-pow_binary64_4941` `erf-erfc_binary64_3750` `lte-same_binary64_4076` `hang-0m-tan_binary64_1564` `e-exp-1_binary64_1146` `sub-1-sin_binary64_860` `exp-prod_binary64_4563` `pow-plus_binary64_2528` `sin-+PI_binary64_4276` `lft-mult-inverse_binary64_56` `unpow2_binary64_5258` `erf-odd_binary64_3067` `exp-lft-sqr_binary64_5248` `-1-add-cos_binary64_175` `div-exp_binary64_5244` `pow-base-1_binary64_2184` `rem-cube-cbrt_binary64_4193` `sub-1-cos_binary64_3246` `log-E_binary64_2214` `rem-cube-cbrt_binary64_4875` `exp-sqrt_binary64_2859` `if-if-or_binary64_676` `cos-neg_binary64` `cos-PI/3_binary64_2575` `cos-0_binary64_1229` `not-lt_binary64_1350` `exp-cbrt_binary64_5247` `gte-same_binary64_667` `exp-to-pow_binary64_1845` `sqr-pow_binary64_4483` `if-true_binary64` `erfc-erf_binary64_4092` `cos-PI_binary64_1554` `exp-sqrt_binary64_3200` `difference-of-squares_binary64_4821` `tan-0_binary64_3276` `exp-neg_binary64_3535` `tan-0_binary64_548` `hang-m0-tan_binary64_4976` `count-2_binary64_1731` `not-gte_binary64_4763` `hang-p-tan_binary64_3954` `exp-diff_binary64_3195` `rem-square-sqrt_binary64_2136` `/-rgt-identity_binary64_3820` `sin-PI/6_binary64_2225` `e-exp-1_binary64` `erf-erfc_binary64_4432` `difference-of-squares_binary64_47` `erf-erfc_binary64_2045` `exp-to-pow_binary64_3209` `pow-base-1_binary64_4230` `if-if-and-not_binary64_2043` `pow-base-0_binary64_3572` `rgt-mult-inverse_binary64` `exp-sqrt_binary64_3882` `unpow1_binary64_2864` `exp-0_binary64_5235` `exp-diff_binary64_2513` `e-exp-1_binary64_4215` `erf-odd_binary64_5113` `unpow2_binary64_3894` `gte-same_binary64_1349` `gt-same_binary64_324` `erfc-erf_binary64_3751` `tan-+PI_binary64_538` `sinh-def_binary64_1627` `unpow1/3_binary64_1509` `1-sub-cos_binary64_2901` `and-same` `unpow3_binary64_3895` `if-if-or-not_binary64_5451` `-1-add-cos_binary64_3926` `unpow2_binary64_2871` `sinh-+-cosh_binary64_1974` `1-sub-sin_binary64_3925` `difference-of-sqr-1_binary64_48` `tanh-def-a_binary64_4016` `cancel-sign-sub_binary64_5158` `-1-add-cos_binary64_4608` `lte-same_binary64_1007` `distribute-rgt1-in_binary64_375` `log-rec_binary64_4258` `lt-same_binary64_4756` `hang-0p-tan_binary64_1563` `distribute-lft-out--_binary64_2417` `hang-0m-tan_binary64_1223` `cosh-def_binary64_605` `cos-PI/2_binary64_3940` `log-prod_binary64_4597` `rem-cube-cbrt_binary64` `tan-PI_binary64_2924` `1-sub-sin_binary64_3584` `tanh-def-c_binary64_3336` `cube-neg_binary64_3515` `if-if-or_binary64_3404` `cos-+PI_binary64_3601` `rem-log-exp_binary64_119` `erf-odd_binary64_4772` `not-lt_binary64_4078` `hang-m0-tan_binary64_2589` `if-if-or_binary64_4427` `rem-exp-log_binary64_459` `if-if-or-not_binary64_4087` `cos-sin-sum_binary64_4946` `if-if-and-not_binary64_3407` `rem-cube-cbrt_binary64_1465` `exp-lft-sqr_binary64_4225` `+-inverses_binary64_1762` `-1-add-sin_binary64_4268` `rem-cube-cbrt_binary64_2829` `cos-+PI_binary64_1896` `if-false_binary64_1696` `rec-exp_binary64_4561` `hang-m0-tan_binary64_1566` `not-gt_binary64_2374` `-1-add-cos_binary64_1539` `cos-sin-sum_binary64_1877` `not-lte_binary64_5103` `sin-+PI_binary64_1548` `sin-PI/6_binary64_1543` `exp-0_binary64_461` `hang-p-tan_binary64_2249` `rem-exp-log_binary64_800` `rec-exp_binary64` `lt-same_binary64_2369` `tan-+PI_binary64_1902` `exp-lft-cube_binary64_816` `log-E_binary64` `1-sub-sin_binary64_2561` `log-prod_binary64_505` `not-lt_binary64_4419` `sin-PI/6_binary64` `tan-0_binary64_3958` `-1-add-cos_binary64_1198` `if-false_binary64_4765` `cos-PI/4_binary64_1892` `cos-PI/6_binary64_3596` `exp-sqrt_binary64_3541` `sin-neg_binary64_5323` `1-sub-cos_binary64_514` `cos-0_binary64_3616` `sin-PI/3_binary64_2909` `-1-add-cos_binary64_3585` `hang-m-tan_binary64_2591` `hang-m-tan_binary64_5319` `swap-sqr_binary64_3796` `exp-sqrt_binary64_2177` `unpow1/3_binary64_486` `pow-base-1_binary64_479` `exp-0_binary64_2507` `sin-PI/4_binary64_521` `sub-1-cos_binary64_859` `hang-p-tan_binary64_203` `difference-of-squares_binary64_2093` `cube-mult_binary64_2836` `cos-PI/4_binary64_869` `rem-sqrt-square_binary64_1455` `tan-PI/4_binary64_1899` `tan-PI/4_binary64_194` `sinh-cosh_binary64_5383` `-1-add-cos_binary64_5290` `sin-+PI_binary64_2230` `sqr-neg_binary64_4866` `cos-+PI_binary64_191` `if-true_binary64_672` `sinh-cosh_binary64` `log-pow_binary64_2895` `and-false-r` `div-exp_binary64_2516` `if-if-and_binary64_4770` `rem-cbrt-cube_binary64_1807` `tanh-def-a_binary64_947` `if-if-or_binary64_4086` `unpow1/2_binary64_3893` `prod-exp_binary64` `hang-p0-tan_binary64_4293` `sqr-abs_binary64` `tan-PI/3_binary64_4287` `-lft-identity_binary64_3477` `1-sub-sin_binary64` `sinh---cosh_binary64_952` `sinh---cosh_binary64_4021` `sin-PI/4_binary64_4613` `not-lt_binary64_4760` `tan-+PI_binary64_4289` `gt-same_binary64` `hang-m0-tan_binary64_2930` `erf-erfc_binary64_1704` `distribute-neg-out_binary64_3791` `hang-p-tan_binary64_4636` `pow-plus_binary64_4574` `lft-mult-inverse_binary64_4148` `exp-lft-cube_binary64` `exp-to-pow_binary64_481` `hang-0p-tan_binary64_5314` `if-if-or-not_binary64_1700` `if-true_binary64_2377` `mul-1-neg_binary64_411` `difference-of-sqr--1_binary64` `tanh-def-a_binary64_4698` `gte-same_binary64_2713` `prod-exp_binary64_4219` `erf-odd_binary64_1703` `sinh-cosh_binary64_3678` `rem-3cbrt-rft_binary64_2150` `exp-lft-cube_binary64_3885` `sin-0_binary64_1910` `cube-mult_binary64_3518` `sinh---cosh_binary64_1293` `1-sub-cos_binary64_5288` `erf-erfc_binary64_5455` `tan-PI/6_binary64_2921` `hang-p-tan_binary64_3613` `distribute-lft-out--_binary64_30` `cube-neg_binary64_3856` `gt-same_binary64_4757` `erf-erfc_binary64_340` `tan-PI/3_binary64_1559` `not-lte_binary64_3057` `gt-same_binary64_5439` `+-inverses_binary64_739` `log-E_binary64_3237` `or-true-r` `pow-base-0_binary64_4936` `rem-cbrt-cube_binary64_443` `if-if-and_binary64_5452` `cos-neg_binary64_3960` `1-sub-sin_binary64_2220` `count-2_binary64_3436` `sinh---cosh_binary64_5385` `mul-1-neg_binary64_3139` `distribute-lft-out_binary64_5144` `log-pow_binary64_2554` `hang-0m-tan_binary64_4292` `cos-PI/6_binary64_527` `log-E_binary64_509` `rem-cube-cbrt_binary64_442` `div-exp_binary64_3880` `pow-plus_binary64_2187` `lft-mult-inverse_binary64_5171` `cos-neg_binary64_209` `sin-+PI/2_binary64_2231` `prod-exp_binary64_2855` `sin-PI_binary64_3593` `exp-lft-sqr_binary64_133` `unpow1/2_binary64_5257` `e-exp-1_binary64_3192` `gte-same_binary64_1690` `sinh-cosh_binary64_1632` `hang-m0-tan_binary64_884` `hang-p0-tan_binary64_1565` `rem-square-sqrt_binary64_4182` `-1-add-cos_binary64_2903` `not-gt_binary64_3397` `exp-neg_binary64_4558` `lft-mult-inverse_binary64_3466` `tanh-def-a_binary64_1288` `sqr-abs_binary64_5208` `cos-PI/3_binary64_2234` `distribute-lft1-in_binary64_5148` `sinh-+-cosh_binary64_5384` `tan-+PI/2_binary64_539` `cos-0_binary64_2252` `if-if-and-not_binary64_4771` `if-if-and_binary64_3747` `unpow-1_binary64_4568` `lt-same_binary64_3392` `tan-neg_binary64_3961` `tan-PI/4_binary64_1558` `cube-div_binary64_3517` `tanh-def-a_binary64_3334` `exp-prod_binary64_4222` `log-E_binary64_2555` `unpow0_binary64_3547` `sin-PI_binary64_4616` `exp-to-pow_binary64_1504` `if-false_binary64` `distribute-neg-out_binary64_40` `lft-mult-inverse_binary64_2443` `cos-PI/2_binary64_5304` `hang-p0-tan_binary64_3611` `cos-PI/2_binary64` `not-gte_binary64_5104` `if-true_binary64_2718` `rem-log-exp_binary64_1824` `not-lt_binary64_1009` `sin-PI/2_binary64_1205` `sin-+PI/2_binary64_1208` `1-sub-cos_binary64_3924` `tanh-def-c_binary64_1290` `pow-sqr_binary64_5166` `if-if-or_binary64_2040` `not-and` `rem-sqrt-square_binary64_3842` `tan-PI/4_binary64_4627` `cosh-def_binary64_2651` `not-lte_binary64_4080` `hang-m0-tan_binary64_3612` `-1-add-sin_binary64_176` `pow-base-1_binary64_2866` `log-E_binary64_4260` `exp-0_binary64_3530` `1-sub-sin_binary64_5289` `tan-PI/3_binary64_3946` `exp-0_binary64_4894` `sinh-def_binary64_3332` `sin-PI/4_binary64_4272` `sinh-+-cosh_binary64_269` `rem-log-exp_binary64_460` `log-prod_binary64_4256` `gte-same_binary64_326` `sin-PI/3_binary64_3250` `if-if-or-not_binary64_2723` `lt-same_binary64` `rem-cbrt-cube_binary64_4876` `erfc-erf_binary64_2387` `unpow2_binary64_4576` `lft-mult-inverse_binary64_4489` `hang-m0-tan_binary64_202` `cos-PI/6_binary64_1891` `1-sub-sin_binary64_4266` `pow-base-1_binary64_3889` `tan-+PI_binary64_879` `sqr-abs_binary64_775` `lt-same_binary64_3733` `sub-1-cos_binary64` `rem-3cbrt-rft_binary64` `sub-1-sin_binary64_1201` `hang-0p-tan_binary64_4973` `tan-PI/3_binary64` `sqr-abs_binary64_3503` `rem-3cbrt-lft_binary64` `sin-+PI/2_binary64_4959` `cos-PI/2_binary64_3599` `log-div_binary64_4939` `cosh-def_binary64_3333` `cube-prod_binary64_4539` `rem-square-sqrt_binary64_4523` `distribute-rgt1-in_binary64_3785` `if-if-or_binary64_3063` `hang-m0-tan_binary64_543` `exp-lft-sqr_binary64_3884` `cos-PI/3_binary64_3257` `-1-add-sin_binary64_858` `not-gte_binary64_330` `rec-exp_binary64_2856` `-1-add-sin_binary64_1199` `cos-sin-sum_binary64_172` `div0_binary64_4833` `cancel-sign-sub_binary64_1748` `not-gte_binary64_3740` `erf-erfc_binary64_3409` `sinh---cosh_binary64_3680` `times-frac_binary64_3494` `exp-sum_binary64_5239` `or-false-r` `lft-mult-inverse_binary64_397` `sub-1-sin_binary64_2565` `not-false` `cos-+PI/2_binary64_1897` `lt-same_binary64_2710` `sin-+PI_binary64_2571` `if-true_binary64_1013` `hang-0m-tan_binary64_3951` `exp-lft-cube_binary64_4908` `difference-of-sqr-1_binary64_2094` `cos-PI/6_binary64_3255` `log-E_binary64_1191` `hang-0m-tan_binary64_2928` `not-lte_binary64_2375` `erfc-erf_binary64_682` `hang-m0-tan_binary64_3953` `sin-+PI_binary64_5299` `gte-same_binary64_2372` `exp-1-e_binary64_4213` `not-gte_binary64_5445` `hang-p-tan_binary64_1567` `exp-neg_binary64_125` `count-2_binary64_3095` `lt-same_binary64_4074` `log-rec_binary64_166` `rem-exp-log_binary64_3528` `sin-+PI_binary64_866` `rem-log-exp_binary64` `-inverses_binary64_4832` `sin-+PI/2_binary64_3595` `distribute-neg-frac_binary64_4134` `distribute-rgt-out_binary64_3782` `sqr-abs_binary64_434` `+-inverses_binary64_57` `div-exp_binary64_2175` `hang-0p-tan_binary64_881` `cube-prod_binary64_2152` `lft-mult-inverse_binary64_2102` `exp-1-e_binary64_3872` `sinh-+-cosh_binary64_2997` `tan-PI/3_binary64_195` `count-2_binary64` `sin-PI/2_binary64_2910` `unpow1/2_binary64_2188` `cube-neg_binary64_105` `cos-sin-sum_binary64_4264` `exp-prod_binary64_3199` `if-if-and_binary64_2383` `sin-PI/2_binary64_5297` `exp-cbrt_binary64_2519` `tan-0_binary64_4981` `if-if-and-not_binary64_2384` `hang-p-tan_binary64_1908` `unswap-sqr_binary64_4479` `distribute-rgt-out_binary64_31` `rem-3cbrt-rft_binary64_4537` `tan-0_binary64` `cos-PI/3_binary64_4962` `pow-base-0_binary64_1185` `difference-of-sqr-1_binary64_2435` `distribute-rgt-out--_binary64_3101` `exp-diff_binary64_467` `if-if-and-not_binary64_5112` `log-div_binary64_5280` `exp-1-e_binary64_2849` `tan-PI/6_binary64_1216` `unpow1/3_binary64_3214` `rem-3cbrt-rft_binary64_3855` `e-exp-1_binary64_2169` `unpow1_binary64_4569` `-1-add-sin_binary64_3245` `tanh-def-a_binary64_5380` `unpow1/3_binary64_3555` `cosh-def_binary64_3674` `-inverses_binary64_1763` `cos-PI/3_binary64_188` `rec-exp_binary64_2515` `cos-PI/2_binary64_189` `cube-neg_binary64_2151` `unpow0_binary64_3888` `if-if-and-not_binary64_4430` `sinh-cosh_binary64_1973` `unswap-sqr_binary64_5161` `1-sub-sin_binary64_4948` `if-true_binary64_1354` `hang-0p-tan_binary64_4632` `cos-+PI/2_binary64_3602` `exp-prod_binary64_3881` `cube-div_binary64_3858` `lft-mult-inverse_binary64_3807` `tanh-def-a_binary64_1970` `unpow1/3_binary64_2191` `cos-PI/4_binary64_2233` `+-inverses_binary64` `distribute-lft-out_binary64_2416` `exp-prod_binary64` `log-rec_binary64_1189` `remove-double-div_binary64_54` `exp-to-pow_binary64_2186` `rem-cube-cbrt_binary64_2488` `rec-exp_binary64_1151` `sin-0_binary64_4979` `cos-PI/6_binary64_186` `sin-neg_binary64_3618` `hang-0m-tan_binary64_200` `pow-base-0_binary64_3231` `cancel-sign-sub_binary64` `pow-base-1_binary64_4571` `distribute-rgt-out--_binary64` `log-pow_binary64` `cos-PI/3_binary64_529` `exp-lft-sqr_binary64_2179` `cos-PI/2_binary64_530` `sin-PI/3_binary64_181` `cos-PI/6_binary64_2914` `tan-0_binary64_1571` `div-exp_binary64_470` `if-true_binary64_2036` `log-div_binary64_2552` `rem-cube-cbrt_binary64_101` `exp-cbrt_binary64_2178` `sin-PI_binary64_5298` `sin-PI/6_binary64_4953` `gt-same_binary64_3393` `tan-PI/3_binary64_3605` `distribute-rgt-out--_binary64_4124` `exp-diff_binary64_3536` `sinh-cosh_binary64_268` `-inverses_binary64_58` `log-pow_binary64_1190` `-inverses_binary64_3809` `hang-m-tan_binary64_1909` `tan-PI/3_binary64_2241` `sin-PI_binary64_1547` `cos-PI_binary64_4964` `exp-lft-cube_binary64_2180` `distribute-lft-out--_binary64_3440` `cube-unmult_binary64` `if-same_binary64_5107` `1-sub-cos_binary64_4947` `tan-PI/4_binary64_876` `rem-log-exp_binary64_2506` `count-2_binary64_5141` `-1-add-cos_binary64_516` `log-pow_binary64_1872` `prod-exp_binary64_468` `if-if-and_binary64_4088` `cos-neg_binary64_3619` `not-gte_binary64_2376` `sinh---cosh_binary64` `rem-cbrt-cube_binary64_102` `difference-of-squares_binary64_3798` `difference-of-sqr-1_binary64_3799` `1-sub-cos_binary64_4265` `rem-cube-cbrt_binary64_4534` `cube-div_binary64_448` `rem-3cbrt-lft_binary64_3854` `tan-+PI/2_binary64_2585` `tan-+PI/2_binary64_198` `cube-neg_binary64_4538` `-inverses_binary64_740` `erf-erfc_binary64_2386` `erfc-erf_binary64_4433` `unpow-1_binary64_2522` `cos-neg_binary64_5324` `exp-lft-cube_binary64_2521` `hang-0p-tan_binary64_3268` `tanh-def-a_binary64_265` `erf-odd_binary64_3749` `not-gte_binary64_4081` `unpow-1_binary64_2181` `cos-0_binary64_4980` `cube-prod_binary64_3857` `unpow-1_binary64_3204` `cube-mult_binary64_3177` `if-same_binary64_4766` `sinh-def_binary64_1968` `count-2_binary64_4118` `exp-0_binary64_2166` `sin-PI/3_binary64_863` `not-lte_binary64` `if-if-and_binary64_2724` `sinh-+-cosh_binary64` `if-not_binary64_4085` `if-not_binary64_4426` `not-gte_binary64_3399` `-1-add-cos_binary64_857` `sin-PI/2_binary64_864` `sin-neg_binary64_549` `if-not_binary64_1698` `if-if-or_binary64_1358` `pow-base-0_binary64_1526` `gte-same_binary64_4759` `prod-exp_binary64_2514` `rem-3cbrt-lft_binary64_4877` `if-not_binary64_5449` `sin-+PI_binary64_1207` `rem-3cbrt-lft_binary64_103` `-1-add-cos_binary64_4949` `cos-PI_binary64_2918` `count-2_binary64_2413` `gte-same_binary64_5441` `lft-mult-inverse_binary64_1420` `log-rec_binary64_4599` `sinh-cosh_binary64_2996` `tan-0_binary64_2935` `cube-mult_binary64_3859` `if-if-or_binary64_3745` `log-div_binary64_4257` `sin-0_binary64_2251` `distribute-lft-out--_binary64_1735` `hang-m-tan_binary64_545` `distribute-frac-neg_binary64_723` `cube-unmult_binary64_4548` `sin-PI/4_binary64_2908` `unswap-sqr_binary64_2092` `cube-neg_binary64` `tan-PI/3_binary64_877` `not-gte_binary64_3058` `-1-add-sin_binary64_4609` `hang-m0-tan_binary64_4294` `cos-+PI/2_binary64_3943` `prod-exp_binary64_127` `if-if-or_binary64` `exp-sum_binary64_124` `rem-square-sqrt_binary64_772` `not-lt_binary64_5101` `exp-lft-sqr_binary64_2520` `cos-+PI/2_binary64_2238` `sqr-abs_binary64_1116` `remove-double-div_binary64_3464` `if-if-or_binary64_5450` `tanh-def-a_binary64_606` `hang-m0-tan_binary64_5317` `sinh-def_binary64_1286` `lte-same_binary64_4417` `cos-0_binary64` `e-exp-1_binary64_4556` `+-lft-identity_binary64` `distribute-rgt-out_binary64_372` `sin-0_binary64_3615` `not-lt_binary64_3737` `erfc-erf_binary64_1705` `cos-+PI_binary64_4283` `-1-add-sin_binary64_1881` `erf-odd_binary64_2385` `exp-to-pow_binary64_4232` `distribute-rgt1-in_binary64_4126` `rgt-mult-inverse_binary64_4488` `hang-0p-tan_binary64_2927` `cos-PI/3_binary64_5303` `cos-+PI/2_binary64` `exp-1-e_binary64_4554` `sqr-neg_binary64_3843` `lft-mult-inverse_binary64_3125` `gt-same_binary64_4075` `sin-PI/2_binary64_1887` `hang-p0-tan_binary64_5316` `if-false_binary64_4424` `hang-p-tan_binary64_1226` `erf-erfc_binary64_4773` `hang-m-tan_binary64_3955` `sin-PI/4_binary64` `1-sub-sin_binary64_4607` `sqr-pow_binary64_3801` `rem-sqrt-square_binary64_2819` `sin-0_binary64` `rgt-mult-inverse_binary64_4147` `if-if-or_binary64_1699` `pow-base-1_binary64_4912` `rec-exp_binary64_3879` `sin-+PI_binary64_4617` `cube-neg_binary64_4197` `hang-0m-tan_binary64` `-1-add-cos_binary64_2221` `cosh-def_binary64_946` `if-false_binary64_1355` `cos-PI/2_binary64_2576` `rem-3cbrt-rft_binary64_786` `sin-PI_binary64_3252` `erfc-erf_binary64_5115` `sub-1-sin_binary64_2224` `sub-1-cos_binary64_4269` `hang-p0-tan_binary64_2588` `cube-div_binary64_789` `pow-base-1_binary64_3548` `if-false_binary64_3742` `sub-1-sin_binary64_519` `rem-3cbrt-lft_binary64_2831` `cube-div_binary64_1471` `sinh-+-cosh_binary64_1292` `erf-odd_binary64_2044` `sin-neg_binary64_208` `mul0-rgt_binary64_3812` `tan-neg_binary64_1915` `exp-lft-cube_binary64_4226` `if-same_binary64_2379` `exp-neg_binary64_5240` `unpow3_binary64_2872` `sin-+PI_binary64_2912` `tan-neg_binary64_4302` `log-div_binary64_165` `cos-PI/4_binary64_4279` `not-lte_binary64_3398` `sin-+PI/2_binary64_3936` `if-same_binary64_2720` `hang-p0-tan_binary64_3270` `if-true_binary64_1695` `gt-same_binary64_3734` `e-exp-1_binary64_464` `distribute-rgt-out--_binary64_3442` `not-gt_binary64_5443` `hang-m-tan_binary64_4978` `cube-mult_binary64_2495` `rem-3cbrt-rft_binary64_3173` `unpow1/3_binary64_3896` `unpow-1_binary64_4909` `pow-plus_binary64_5256` `if-true_binary64_4082` `tan-PI/6_binary64_4285` `unpow1/3_binary64_5260` `if-false_binary64_3401` `exp-neg_binary64_3876` `exp-sqrt_binary64_5246` `rgt-mult-inverse_binary64_3465` `not-gte_binary64_2717` `hang-p-tan_binary64_4295` `sqr-pow_binary64_5165` `erfc-erf_binary64_5456` `log-div_binary64_3916` `erf-odd_binary64_339` `if-if-or-not_binary64_5110` `1-sub-sin_binary64_2902` `cos-PI_binary64_5305` `tan-+PI_binary64_4630` `unpow0_binary64_1501` `rem-cbrt-cube_binary64_2489` `tan-0_binary64_1912` `sin-+PI/2_binary64_3254` `exp-neg_binary64_807` `unpow0_binary64_4229` `tan-PI/4_binary64` `tan-0_binary64_5322` `hang-p0-tan_binary64_1906` `log-div_binary64_1870` `tanh-def-a_binary64` `sinh-cosh_binary64_4701` `sub-1-cos_binary64_5292` `cube-unmult_binary64_2502` `pow-base-0_binary64_4595` `if-if-and-not_binary64_3748` `tan-PI/4_binary64_535` `cos-+PI_binary64_4965` `gte-same_binary64_4418` `difference-of-sqr-1_binary64_5163` `-1-add-sin_binary64_2563` `if-not_binary64_3744` `sin-PI/4_binary64_1885` `sinh-def_binary64` `if-false_binary64_2719` `rem-sqrt-square_binary64_4524` `log-E_binary64_3919` `cos-+PI_binary64_3260` `cos-+PI_binary64_873` `exp-diff_binary64_3877` `cos-+PI/2_binary64_533` `if-if-or-not_binary64_677` `tan-PI_binary64_537` `cancel-sign-sub_binary64_3453` `if-false_binary64_5106` `tanh-def-a_binary64_4357` `rem-cbrt-cube_binary64_4194` `cos-PI/3_binary64_870` `tan-PI/3_binary64_536` `tanh-def-c_binary64_949` `if-true_binary64_3059` `cube-neg_binary64_2492` `tan-0_binary64_2253` `tan-neg_binary64_551` `tan-+PI/2_binary64_4631` `count-2_binary64_26` `tan-PI_binary64_1560` `tan-+PI/2_binary64_4972` `erf-erfc_binary64_2727` `cos-+PI/2_binary64_4625` `difference-of-sqr--1_binary64_4141` `rem-square-sqrt_binary64_431` `log-E_binary64_168` `cos-0_binary64_547` `rem-3cbrt-lft_binary64_4195` `tan-neg_binary64_4984` `rem-3cbrt-lft_binary64_4536` `cos-0_binary64_1911` `rec-exp_binary64_3197` `gte-same_binary64_4077` `sin-+PI_binary64_184` `if-false_binary64_2378` `-inverses_binary64_3127` `exp-sqrt_binary64_2518` `rem-3cbrt-rft_binary64_2491` `sub-1-cos_binary64_1200` `cosh-def_binary64_264` `difference-of-squares_binary64_1411` `not-gt_binary64_4079` `erf-odd_binary64_4090` `sin-0_binary64_3956` `pow-sqr_binary64` `unpow0_binary64_1160` `sinh---cosh_binary64_2998` `cube-unmult_binary64_3866` `pow-base-1_binary64_820` `sin-PI/2_binary64_182` `unpow0_binary64_4911` `not-gt_binary64_1351` `hang-m-tan_binary64_1568` `cos-PI/4_binary64_1551` `sin-PI_binary64_865` `exp-1-e_binary64_2167` `rem-3cbrt-rft_binary64_3514` `pow-base-1_binary64_1843` `difference-of-sqr-1_binary64_3458` `cube-prod_binary64_2493` `exp-sum_binary64_465` `rec-exp_binary64_3538` `difference-of-sqr--1_binary64_2095` `if-if-or-not_binary64_1359` `rem-3cbrt-lft_binary64_785` `not-gt_binary64_2033` `-inverses_binary64_5173` `sin-+PI/2_binary64_185` `not-lte_binary64_2716` `distribute-rgt1-in_binary64_34` `rem-3cbrt-rft_binary64_1468` `tan-+PI/2_binary64_1221` `cos-sin-sum_binary64_3923` `if-false_binary64_3060` `sub-1-cos_binary64_518` `cos-+PI_binary64_4624` `sin-PI/2_binary64_1546` `exp-neg_binary64_4899` `gt-same_binary64_3052` `unpow0_binary64` `cos-0_binary64_4639` `rem-cube-cbrt_binary64_1806` `sin-PI/4_binary64_180` `sinh-def_binary64_5378` `unpow-1_binary64_1499` `if-if-or-not_binary64` `sin-PI/3_binary64_522` `tanh-def-c_binary64_3677` `cos-0_binary64_4298` `distribute-rgt1-in_binary64_2762` `1-sub-sin_binary64_1538` `tan-+PI/2_binary64_1562` `log-rec_binary64` `cos-sin-sum_binary64_3582` `tan-neg_binary64` `-1-add-cos_binary64_2562` `if-if-or-not_binary64_4769` `cos-PI_binary64_190` `sub-1-sin_binary64_2906` `tan-0_binary64_2594` `not-gte_binary64_671` `if-not_binary64_1016` `log-pow_binary64_3918` `unswap-sqr_binary64_3797` `cos-sin-sum_binary64_1195` `sinh---cosh_binary64_1634` `exp-cbrt_binary64_3542` `unpow-1_binary64_4227` `tan-PI_binary64_4970` `log-E_binary64_1873` `e-exp-1_binary64_1487` `associate-/r_binary64_3432` `tan-PI_binary64_2242` `rgt-mult-inverse_binary64_2101` `rem-cube-cbrt_binary64_2147` `tan-+PI_binary64_3607` `cos-neg_binary64_550` `exp-to-pow_binary64_2527` `lte-same_binary64_2712` `rem-cube-cbrt_binary64_5216` `distribute-lft1-in_binary64_3443` `cos-PI/4_binary64_3597` `pow-base-0_binary64_1867` `if-false_binary64_332` `unpow3_binary64_5259` `hang-m-tan_binary64_3614` `sub-1-cos_binary64_2905` `sin-0_binary64_4297` `tan-neg_binary64_3279` `tan-PI/4_binary64_2240` `sin-neg_binary64_4982` `exp-cbrt_binary64_4906` `not-lt_binary64_2032` `hang-m-tan_binary64_1227` `exp-1-e_binary64_121` `sub-1-cos_binary64_3928` `if-not_binary64_3062` `exp-sum_binary64_2852` `sin-PI/2_binary64` `difference-of-sqr--1_binary64_731` `exp-1-e_binary64_462` `if-if-or-not_binary64_3746` `sin-PI/6_binary64_3930` `cos-+PI/2_binary64_4284` `sqr-abs_binary64_3844` `if-same_binary64_333` `rem-cube-cbrt_binary64_1124` `cos-PI/6_binary64_4960` `cos-PI/3_binary64_3939` `if-if-or_binary64_4768` `-1-add-cos_binary64_1880` `hang-p0-tan_binary64_883` `hang-p0-tan_binary64_4634` `exp-lft-sqr_binary64_3202` `lt-same_binary64_2028` `sin-+PI/2_binary64` `cos-PI_binary64_3600` `cos-neg_binary64_4642` `difference-of-sqr-1_binary64_4140` `cos-PI/4_binary64_528` `not-lte_binary64_1011` `tan-PI_binary64_878` `-1-add-cos_binary64_4267` `sinh-+-cosh_binary64_951` `exp-lft-cube_binary64_1157` `unpow-1_binary64_3545` `cube-div_binary64` `not-gt_binary64_4761` `log-E_binary64_4942` `prod-exp_binary64_3537` `if-true_binary64_3400` `cube-neg_binary64_3174` `sub-1-cos_binary64_3587` `sqr-pow_binary64_2778` `distribute-lft1-in_binary64_374` `difference-of-sqr-1_binary64_730` `lte-same_binary64_1689` `sin-0_binary64_887` `tan-PI/6_binary64_3944` `sinh---cosh_binary64_5044` `tan-+PI_binary64_2584` `not-gt_binary64_2715` `associate--l-_binary64_3767` `if-if-and-not_binary64_338` `exp-lft-sqr_binary64_3543` `tan-PI_binary64_4629` `sinh-cosh_binary64_5042` `hang-m-tan_binary64_2932` `cos-PI/3_binary64_2916` `remove-double-div_binary64_2782` `pow-base-0_binary64_162` `tan-PI/6_binary64_1898` `unpow1/3_binary64_145` `difference-of-sqr-1_binary64_4822` `sin-PI/6_binary64_179` `exp-to-pow_binary64_2868` `cos-PI_binary64_4282` `rgt-mult-inverse_binary64_3806` `1-sub-cos_binary64_173` `sinh-def_binary64_4696` `log-prod_binary64_1869` `unpow-1_binary64_2863` `tanh-def-b_binary64_948` `not-lt_binary64_2373` `sinh-def_binary64_945` `not-lt_binary64_5442` `associate--l-_binary64_3426` `distribute-lft1-in_binary64_715` `difference-of-sqr--1_binary64_4823` `cos-PI/6_binary64` `rem-3cbrt-rft_binary64_1127` `distribute-lft-out_binary64_370` `distribute-lft1-in_binary64_4466` `log-div_binary64_3234` `exp-prod_binary64_5245` `erf-odd_binary64_680` `exp-to-pow_binary64_3550` `lft-mult-inverse_binary64_1761` `rem-cube-cbrt_binary64_3511` `log-pow_binary64_2213` `erf-odd_binary64_5454` `exp-to-pow_binary64` `if-not_binary64_1357` `-inverses_binary64_4150` `if-if-and-not_binary64_2725` `tan-0_binary64_4640` `tanh-def-b_binary64_266` `sin-PI/6_binary64_4271` `difference-of-sqr--1_binary64_5164` `tan-PI/3_binary64_3264` `sinh-def_binary64_2991` `log-rec_binary64_2894` `distribute-lft-out_binary64` `sin-PI/2_binary64_4274` `lt-same_binary64_664` `erfc-erf_binary64_1023` `cos-PI_binary64_872` `sin-0_binary64_2592` `sqr-abs_binary64_1798` `-rgt-identity_binary64_3478` `sinh---cosh_binary64_270` `pow-plus_binary64_2869` `not-lt_binary64_3396` `rem-square-sqrt_binary64_2477` `tanh-def-b_binary64_1289` `cube-neg_binary64_4879` `log-rec_binary64_1871` `pow-base-0_binary64_2890` `distribute-lft-out--_binary64_4463` `cos-+PI/2_binary64_1215` `tan-PI/4_binary64_1217` `exp-lft-cube_binary64_4567` `sqr-abs_binary64_4185` `tan-neg_binary64_5325` `e-exp-1_binary64_123` `sin-+PI/2_binary64_526` `gte-same_binary64_5100` `hang-m-tan_binary64_4637` `cos-+PI_binary64_5306` `tan-neg_binary64_3620` `cos-sin-sum_binary64_2900` `if-if-and_binary64_3065` `tanh-def-c_binary64_2654` `log-rec_binary64_1530` `hang-m-tan_binary64_2250` `hang-0p-tan_binary64_1222` `sin-PI_binary64_1206` `or-same` `log-E_binary64_2896` `tan-+PI_binary64_1561` `exp-cbrt_binary64_1496` `sin-PI/3_binary64` `rem-exp-log_binary64_5233` `rem-sqrt-square_binary64_2137` `log-div_binary64` `exp-to-pow_binary64_140` `exp-to-pow_binary64_1163` `log-rec_binary64_2553` `tan-PI_binary64_1901` `lte-same_binary64_3394` `cos-PI/4_binary64_2574` `+-inverses_binary64_4831` `exp-cbrt_binary64_473` `tan-+PI_binary64_3948` `sinh-cosh_binary64_2655` `log-pow_binary64_4600` `cos-0_binary64_5321` `pow-base-1_binary64` `sqr-abs_binary64_2480` `if-if-or_binary64_335` `cube-div_binary64_5222` `log-div_binary64_506` `cos-PI/4_binary64_4961` `rgt-mult-inverse_binary64_5170` `sin-PI/3_binary64_1886` `cube-mult_binary64_5223` `rem-cube-cbrt_binary64_3852` `cos-+PI_binary64_1555` `if-if-or-not_binary64_3405` `cosh-def_binary64_1969` `tanh-def-c_binary64_5382` `log-prod_binary64_3574` `rgt-mult-inverse_binary64_4829` `log-E_binary64_3578` `sinh---cosh_binary64_1975` `cos-0_binary64_2934` `tan-PI/6_binary64_5308` `if-if-and_binary64` `if-not_binary64_2380` `sin-PI/3_binary64_2568` `sin-PI/6_binary64_3248` `tan-0_binary64_4299` `rem-3cbrt-lft_binary64_444` `sinh-cosh_binary64_4019` `log-prod_binary64_164` `not-gte_binary64_1012` `log-pow_binary64_849` `associate-l_binary64_3770` `sin-PI_binary64_3934` `cos-PI/6_binary64_4278` `unpow-1_binary64` `exp-cbrt_binary64_3883` `lft-mult-inverse_binary64_738` `if-true_binary64_5446` `exp-to-pow_binary64_3891` `lft-mult-inverse_binary64_1079` `cos-sin-sum_binary64_854` `-1-add-cos_binary64_3244` `log-rec_binary64_4940` `+-lft-identity_binary64_3472` `exp-cbrt_binary64_4224` `cosh-def_binary64_4356` `cos-PI/2_binary64_4963` `rem-3cbrt-lft_binary64_1126` `+-inverses_binary64_2785` `difference-of-sqr--1_binary64_2436` `if-if-and-not_binary64_1702` `if-if-or_binary64_2381` `rem-log-exp_binary64_4893` `log-E_binary64_850` `rem-3cbrt-lft_binary64_1467` `tan-+PI_binary64_2243` `erfc-erf_binary64_3410` `unpow-1_binary64_135` `exp-lft-cube_binary64_3203` `gt-same_binary64_2711` `erfc-erf_binary64_1364` `div-exp_binary64_4221` `log-pow_binary64_3577` `tan-PI_binary64_3606` `1-sub-cos_binary64_3242` `if-if-or-not_binary64_336` `sin-PI/6_binary64_3589` `cos-PI_binary64_3259` `unpow1/2_binary64_4575` `exp-lft-cube_binary64_5249` `sub-1-sin_binary64_3929` `if-same_binary64_3743` `cos-0_binary64_3957` `distribute-rgt1-in_binary64_2421` `distribute-lft-out--_binary64_3781` `tanh-def-b_binary64` `cos-+PI/2_binary64_5307` `-1-add-cos_binary64` `hang-0m-tan_binary64_1905` `tanh-def-c_binary64_4018` `tan-+PI/2_binary64_5313` `pow-base-0_binary64_503` `sqr-abs_binary64_2139` `cos-+PI_binary64_2919` `tanh-def-b_binary64_2653` `sqr-neg_binary64_5207` `rem-cbrt-cube_binary64_2148` `sin-+PI_binary64_3594` `tan-+PI_binary64_3266` `tanh-def-c_binary64_4700` `log-div_binary64_2893` `sin-PI/2_binary64_3592` `rem-exp-log_binary64_3187` `distribute-rgt-out--_binary64_32` `hang-0m-tan_binary64_3610` `-1-add-sin_binary64_3586` `gt-same_binary64_1006` `rem-3cbrt-rft_binary64_104` `if-if-or_binary64_5109` `1-sub-cos_binary64_855` `1-sub-cos_binary64_2560` `rem-cbrt-cube_binary64_4535` `log-pow_binary64_508` `pow-sqr_binary64_2779` `log-prod_binary64_2892` `sinh-def_binary64_604` `exp-sum_binary64_3193` `sin-PI/2_binary64_2569` `pow-base-1_binary64_138` `exp-lft-sqr_binary64_4566` `hang-0p-tan_binary64_540` `tanh-def-b_binary64_4017` `tan-+PI/2_binary64_2926` `gte-same_binary64_3054` `rem-square-sqrt_binary64_1454` `log-pow_binary64_167` `hang-0p-tan_binary64_2586` `-1-add-sin_binary64_1540` `pow-base-0_binary64_5277` `rem-cbrt-cube_binary64_2830` `cos-+PI_binary64_2578` `cos-+PI/2_binary64_874` `sin-PI/4_binary64_1203` `cosh-def_binary64_5038` `e-exp-1_binary64_805` `if-true_binary64_4423` `exp-diff_binary64_4218` `pow-base-0_binary64_4254` `e-exp-1_binary64_3533` `rem-exp-log_binary64_118` `count-2_binary64_3777` `tan-PI/4_binary64_3263` `unpow1/3_binary64` `cube-neg_binary64_446` `sinh---cosh_binary64_2316` `sinh-+-cosh_binary64_610` `-1-add-sin_binary64_3927` `cos-+PI_binary64_3942` `rem-log-exp_binary64_1483` `mul0-lft_binary64_1765` `log-E_binary64_4601` `unpow2_binary64_2189` `rem-log-exp_binary64_3188` `tan-PI_binary64_5311` `hang-0m-tan_binary64_5315` `tan-+PI_binary64_197` `rem-cube-cbrt_binary64_3170` `unpow-1_binary64_3886` `exp-0_binary64_1143` `sub-1-cos_binary64_177` `distribute-rgt-out_binary64_2418` `rem-3cbrt-lft_binary64_1808` `difference-of-sqr--1_binary64_49` `rem-exp-log_binary64_2164` `mul-1-neg_binary64_3480` `unpow1/3_binary64_4578` `if-false_binary64_1014` `if-true_binary64_5105` `lte-same_binary64_3735` `exp-to-pow_binary64_4914` `hang-0p-tan_binary64_199` `sin-0_binary64_2933` `not-gt_binary64_328` `not-not` `sin-PI/3_binary64_4273` `cos-PI/4_binary64_3938` `log-pow_binary64_1531` `cos-PI/4_binary64_2915` `tan-neg_binary64_210` `tan-PI/3_binary64_1218` `exp-0_binary64_1825` `exp-lft-cube_binary64_475` `difference-of-sqr-1_binary64_389` `exp-cbrt_binary64_4565` `sub-1-sin_binary64_3588` `if-not_binary64_675` `rem-cbrt-cube_binary64_784` `cos-PI/6_binary64_868` `exp-prod_binary64_130` `remove-double-div_binary64_4146` `tan-PI/6_binary64_193` `sin-PI_binary64_2570` `-inverses_binary64_3468` `exp-lft-cube_binary64_1498` `if-same_binary64_4084` `cos-PI/2_binary64_3258` `difference-of-sqr--1_binary64_1754` `cos-PI/2_binary64_1553` `not-gte_binary64_4422` `if-if-and_binary64_5111` `sqr-abs_binary64_3162` `hang-0p-tan_binary64_1904` `sin-PI/4_binary64_1544` `or-false-l` `+-inverses_binary64_2444` `mul0-lft_binary64_3811` `+-inverses_binary64_3126` `sqr-abs_binary64_2821` `tan-0_binary64_3617` `if-if-and-not_binary64_1361` `cos-PI/2_binary64_1894` `exp-sqrt_binary64_131` `-1-add-sin_binary64` `sinh-def_binary64_263` `tan-+PI/2_binary64_3267` `tan-+PI/2_binary64_880` `tanh-def-a_binary64_1629` `erf-erfc_binary64` `sub-1-cos_binary64_4610` `not-lte_binary64_4421` `div-exp_binary64` `if-if-and_binary64_3406` `hang-0p-tan_binary64` `exp-0_binary64_4212` `associate-r/_binary64_3430` `cube-mult_binary64_4541` `lft-mult-inverse_binary64_2784` `sin-PI/6_binary64_5294` `cube-neg_binary64_5220` `sin-PI/3_binary64_4614` `sinh-+-cosh_binary64_2315` `erfc-erf_binary64_2728` `cos-sin-sum_binary64_1536` `distribute-neg-frac_binary64_3452` `sinh-+-cosh_binary64_2656` `cos-PI_binary64_4623` `exp-neg_binary64_2171` `+-inverses_binary64_4490` `hang-p-tan_binary64` `cos-PI/3_binary64_3598` `tan-+PI_binary64_5312` `exp-sqrt_binary64_4564` `exp-sum_binary64_3534` `lte-same_binary64_1348` `sinh-cosh_binary64_2314` `count-2_binary64_2754` `rem-3cbrt-lft_binary64_2490` `hang-0p-tan_binary64_2245` `tan-PI_binary64_196` `and-true-r` `sin-neg_binary64_1913` `rem-square-sqrt_binary64_5205` `exp-lft-cube_binary64_2862` `if-not_binary64_4767` `lte-same_binary64_2030` `count-2_binary64_367` `erf-erfc_binary64_5114` `if-not_binary64_2721` `rem-3cbrt-lft_binary64_2149` `rem-log-exp_binary64_3529` `rem-3cbrt-rft_binary64_1809` `-inverses_binary64` `cos-0_binary64_3275` `tan-PI/6_binary64_875` `hang-0m-tan_binary64_3269` `mul0-rgt_binary64_1766` `if-if-and-not_binary64_4089` `swap-sqr_binary64_4819` `cos-PI/2_binary64_871` `hang-0m-tan_binary64_882` `hang-m-tan_binary64` `tan-PI/6_binary64_2580` `pow-sqr_binary64_3461` `hang-p-tan_binary64_4977` `distribute-lft1-in_binary64_2420` `associate--r-_binary64_3427` `cos-neg_binary64_4301` `prod-exp_binary64_2173` `if-if-or-not_binary64_1018` `sin-PI_binary64_2229` `sinh-def_binary64_4014` `gte-same_binary64_2031` `prod-exp_binary64_5242` `cos-PI_binary64` `exp-diff_binary64_4559` `associate-/l/_binary64_3435` `cos-PI/3_binary64_1893` `exp-0_binary64_1484` `lt-same_binary64_5097` `cube-neg_binary64_1810` `distribute-lft1-in_binary64_4125` `tan-+PI/2_binary64_3608` `swap-sqr_binary64_3455` `difference-of-sqr--1_binary64_3800` `rem-cube-cbrt_binary64_783` `sin-PI_binary64` `tanh-def-b_binary64_1971` `exp-lft-sqr_binary64_474` `exp-prod_binary64_2858` `unpow1_binary64_2182` `unpow0_binary64_1842` `sin-+PI_binary64_3253` `if-false_binary64_673` `lt-same_binary64_4415` `not-lt_binary64_668` `if-if-and_binary64_678` `tan-PI/3_binary64_1900` `not-gt_binary64_1010` `unpow1/3_binary64_2873` `exp-sqrt_binary64_4223` `count-2_binary64_4459` `tan-PI/6_binary64` `tan-PI/6_binary64_1557` `unpow1/2_binary64_1506` `if-same_binary64_1697` `pow-base-1_binary64_2525` `rec-exp_binary64_4220` `tan-PI/6_binary64_2239` `tan-+PI_binary64` `unpow0_binary64_478` `if-if-or_binary64_2722` `unpow3_binary64_4577` `erf-erfc_binary64_3068` `rec-exp_binary64_469` `exp-lft-cube_binary64_134` `tanh-def-c_binary64_267` `sin-PI/2_binary64_523` `exp-diff_binary64_5241` `distribute-lft-out--_binary64_5145` `tan-neg_binary64_1233` `tan-neg_binary64_892` `sin-neg_binary64_1231` `if-if-or-not_binary64_2041` `cos-PI_binary64_2577` `cosh-def_binary64_2310` `tanh-def-c_binary64_4359` `exp-cbrt_binary64_1155` `sin-PI/4_binary64_3931` `cancel-sign-sub_binary64_3794` `hang-m0-tan_binary64` `+-inverses_binary64_3808` `sinh-+-cosh_binary64_4020` `sub-1-sin_binary64` `sin-PI/6_binary64_2907` `lt-same_binary64_1005` `cos-PI/6_binary64_2573` `div0_binary64_741` `lte-same_binary64_4758` `sin-+PI/2_binary64_4277` `pow-base-0_binary64` `not-gt_binary64_3738` `lte-same_binary64_3053` `unpow1_binary64_4910` `cos-neg_binary64_1914` `unpow0_binary64_2524` `rec-exp_binary64_128` `sin-PI_binary64_524` `associate-r_binary64_3769` `sin-0_binary64_1228` `sinh-def_binary64_2309` `rgt-mult-inverse_binary64_3124` `rem-square-sqrt_binary64_90` `sqr-abs_binary64_1457` `-1-add-sin_binary64_517` `difference-of-sqr--1_binary64_1072` `hang-p0-tan_binary64_4975` `if-if-or-not_binary64_4428` `cos-sin-sum_binary64_2559` `cos-PI/4_binary64_187` `tanh-def-b_binary64_1630` `if-same_binary64_1015` `exp-prod_binary64_471` `log-div_binary64_4598` `e-exp-1_binary64_3874` `rem-3cbrt-rft_binary64_5219` `cosh-def_binary64_4015` `sinh---cosh_binary64_611` `sin-0_binary64_4638` `exp-diff_binary64_2172` `cosh-def_binary64_5379` `rem-exp-log_binary64_2505` `unpow1/3_binary64_1168` `erf-odd_binary64_1021` `exp-cbrt_binary64_132` `unpow-1_binary64_476` `sin-PI/4_binary64_4954` `tan-+PI_binary64_2925` `e-exp-1_binary64_1828` `sinh-+-cosh_binary64_4702` `sin-+PI/2_binary64_2913` `tanh-def-b_binary64_5381` `cos-sin-sum_binary64_5287` `distribute-lft1-in_binary64_3784` `sub-1-sin_binary64_4952` `unpow0_binary64_5252` `cos-PI/4_binary64_1210` `exp-neg_binary64_3194` `if-if-or_binary64_1017` `cos-+PI/2_binary64_192` `/-rgt-identity_binary64_3479` `hang-0m-tan_binary64_4633` `rem-square-sqrt_binary64_4864` `tanh-def-b_binary64_3676` `hang-m0-tan_binary64_1225` `sub-1-cos_binary64_2223` `tan-PI/3_binary64_4628` `mul-1-neg_binary64_3821` `1-sub-cos_binary64_1537` `rem-3cbrt-rft_binary64_2832` `cosh-def_binary64_4697` `if-if-or-not_binary64_3064` `if-true_binary64_3741` `1-sub-cos_binary64_2219` `unpow0_binary64_2865` `exp-0_binary64_3189` `lte-same_binary64` `rem-3cbrt-rft_binary64_445` `if-true_binary64_331` `e-exp-1_binary64_5238` `exp-prod_binary64_2176` `unpow1/3_binary64_4919` `div-exp_binary64_1493` `rem-log-exp_binary64_2847` `sin-0_binary64_3274` `sinh-+-cosh_binary64_5043` `sinh-def_binary64_3673` `sin-PI/4_binary64_3590` `distribute-neg-in_binary64_3449` `rgt-mult-inverse_binary64_396` `e-exp-1_binary64_2851` `rem-exp-log_binary64_2846` `exp-0_binary64` `sub-1-sin_binary64_1542` `cos-PI/3_binary64_4621` `sin-PI/4_binary64_862` `not-lte_binary64_2034` `pow-plus_binary64` `sin-+PI/2_binary64_4618` `1-sub-cos_binary64_1878` `exp-0_binary64_4553` `sin-PI/6_binary64_2566` `tan-PI/3_binary64_2582` `e-exp-1_binary64_4897` `log-pow_binary64_5282` `cos-PI/3_binary64_4280` `hang-p0-tan_binary64_542` `cos-PI/2_binary64_4622` `log-div_binary64_847` `sinh-cosh_binary64_1291` `rem-cbrt-cube_binary64_3853` `1-sub-cos_binary64_1196` `sin-PI/3_binary64_3591` `sin-neg_binary64_1572` `sinh-+-cosh_binary64_1633` `exp-cbrt_binary64_2860` `tanh-def-c_binary64_1972` `cos-sin-sum_binary64_513` `rem-log-exp_binary64_4211` `pow-base-1_binary64_3207` `exp-0_binary64_120` `lt-same_binary64_1346` `log-rec_binary64_5281` `rem-sqrt-square_binary64` `sin-PI_binary64_4957` `rem-exp-log_binary64_3869` `cos-PI/2_binary64_2235` `tan-PI/3_binary64_4969` `div-sub_binary64_3834` `pow-base-0_binary64_844` `if-false_binary64_4083` `sqr-abs_binary64_4526` `+-rgt-identity_binary64_3473` `sin-neg_binary64_3959` `distribute-rgt1-in_binary64_3103` `tan-PI/6_binary64_534` `sub-1-cos_binary64_1541` `sin-+PI_binary64_525` `cosh-def_binary64_1287` `associate-l/_binary64_3431` `tan-neg_binary64_2256` `sin-PI/2_binary64_3933` `tanh-def-c_binary64` `rem-cbrt-cube_binary64_5217` `rem-3cbrt-rft_binary64_4196` `tanh-def-a_binary64_5039` `log-div_binary64_3575` `cos-PI/2_binary64_4281` `if-if-and_binary64_4429` `div-exp_binary64_2857` `log-div_binary64_1529` `tan-PI/4_binary64_4286` `sinh---cosh_binary64_4362` `cube-div_binary64_3176` `sinh-cosh_binary64_609` `not-gt_binary64_4420` `tan-PI/3_binary64_5310` `exp-diff_binary64` `tan-PI/4_binary64_2922` `hang-0m-tan_binary64_2246` `mul-1-neg_binary64_70` `hang-p0-tan_binary64_1224` `if-not_binary64_3403` `sin-PI_binary64_1888` `log-prod_binary64_1528` `if-same_binary64_1356` `tanh-def-c_binary64_608` `tanh-def-b_binary64_4699` `div-exp_binary64_3198` `cos-0_binary64_888` `remove-double-div_binary64_3805` `cosh-def_binary64_2992` `unpow0_binary64_819` `cos-PI/6_binary64_5301` `rem-square-sqrt_binary64` `log-pow_binary64_3236` `log-prod_binary64_3233` `gt-same_binary64_4416` `associate-+r-_binary64_3422` `swap-sqr_binary64_5160` `cos-sin-sum_binary64_4605` `exp-neg_binary64_4217` `div-exp_binary64_3539` `sin-PI/4_binary64_3249` `exp-sum_binary64_2170` `tan-+PI/2_binary64_2244` `sinh-+-cosh_binary64_3679` `cosh-def_binary64_1628` `hang-m-tan_binary64_3273` `tan-neg_binary64_2938` `exp-lft-cube_binary64_3544` `sinh-+-cosh_binary64_4361` `exp-diff_binary64_126` `rem-3cbrt-lft_binary64_5218` `rem-square-sqrt_binary64_2818` `log-prod_binary64` `cube-div_binary64_4540` `if-if-and-not_binary64_1020` `erfc-erf_binary64` `erf-erfc_binary64_1022` `or-true-l` `exp-cbrt_binary64_1837` `cos-neg_binary64_1573` `not-gt_binary64_1692` `not-gt_binary64_3056` `sub-1-cos_binary64_4951` `sqr-pow_binary64_2096` `tan-PI/4_binary64_5309` `pow-sqr_binary64_4484` `1-sub-cos_binary64_4606` `unpow3_binary64_2531` `associate--r-_binary64_1722` `sub-1-cos_binary64_1882` `sin-PI/6_binary64_861` `sin-+PI/2_binary64_1890` `if-if-and-not_binary64_5453` `cos-PI/2_binary64_2917` `erfc-erf_binary64_3069` `log-E_binary64_5283` `sin-PI/3_binary64_4955` `cube-div_binary64_2494` `sin-PI/4_binary64_2226` `distribute-neg-out_binary64_381` `pow-base-1_binary64_1502` `not-lte_binary64_329` `tan-PI/6_binary64_4626` `tan-+PI/2_binary64_1903` `pow-base-1_binary64_5253` `cos-+PI/2_binary64_1556` `div-exp_binary64_129` `tan-PI_binary64_3947` `cos-PI/4_binary64` `exp-to-pow_binary64_5255` `if-not_binary64_5108` `sin-PI/2_binary64_2228` `gt-same_binary64_1347` `distribute-lft1-in_binary64_1738` `not-gte_binary64` `unpow1/3_binary64_4237` `sin-0_binary64_205` `tan-0_binary64_889` `unpow1/3_binary64_2532` `tan-PI_binary64_1219` `sin-+PI_binary64_3935` `distribute-lft-out--_binary64_371` `tanh-def-b_binary64_4358` `log-prod_binary64_5279` `exp-prod_binary64_3540` `exp-1-e_binary64_3531` `hang-0p-tan_binary64_3609` `hang-0m-tan_binary64_2587` `sin-PI_binary64_183` `distribute-frac-neg_binary64_3792` `1-sub-sin_binary64_174` `unpow0_binary64_2183` `tan-PI_binary64_3265` `cos-PI/6_binary64_1550` `hang-p0-tan_binary64_2247` `lft-mult-inverse_binary64_4830` `rec-exp_binary64_2174` `cube-mult_binary64_2154` `exp-lft-cube_binary64_1839` `rgt-mult-inverse_binary64_2783` `rem-log-exp_binary64_2165` `cube-div_binary64_107` `hang-p0-tan_binary64_3952` `rgt-mult-inverse_binary64_1760` `tanh-def-c_binary64_1631` `sinh---cosh_binary64_3339` `difference-of-sqr--1_binary64_1413` `gt-same_binary64_665` `gte-same_binary64_3395` `remove-double-div_binary64_395` `tan-+PI/2_binary64_3949` `exp-1-e_binary64_2508` `cos-sin-sum_binary64_3241` `rgt-mult-inverse_binary64_737` `difference-of-squares_binary64_3116` `hang-p-tan_binary64_5318` `distribute-neg-out_binary64_3450` `lt-same_binary64_1687` `cos-PI_binary64_1895` `associate--l+_binary64_3425` `rem-log-exp_binary64_801` `distribute-neg-out_binary64_2427` `not-true` `hang-m0-tan_binary64_3271` `tan-PI_binary64_2583` `rgt-mult-inverse_binary64_55` `exp-neg_binary64_466` `erf-erfc_binary64_681` `sub-1-cos_binary64_2564` `sub-1-sin_binary64_178` `cos-+PI/2_binary64_2579` `sinh-+-cosh_binary64_3338` `cos-+PI/2_binary64_4966` `cube-unmult_binary64_5230` `cos-0_binary64_1570` `rem-cbrt-cube_binary64_1125` `tan-+PI_binary64_4971` `sinh-def_binary64_4355` `log-prod_binary64_846` `cos-PI_binary64_2236` `sin-PI_binary64_4275` `1-sub-sin_binary64_1197` `cos-PI/6_binary64_2232` `cancel-sign-sub_binary64_4135` `exp-cbrt_binary64_814` `exp-sqrt_binary64` `erf-odd_binary64_1362` `cos-+PI_binary64_2237` `hang-0p-tan_binary64_3950` `if-not_binary64` `tan-0_binary64_207` `not-lt_binary64` `sin-PI/6_binary64_4612` `if-false_binary64_5447` `unpow-1_binary64_5250` `cos-neg_binary64_4983` `if-if-and_binary64_1360` `difference-of-sqr--1_binary64_3459` `not-lt_binary64_3055` `exp-1-e_binary64` `count-2_binary64_1390` `sin-neg_binary64_4300` `cos-PI/6_binary64_4619` `1-sub-cos_binary64` `unpow0_binary64_4570` `cos-PI/6_binary64_3937` `sin-PI/3_binary64_3932` `unpow3_binary64` `pow-base-1_binary64_1161` `lt-same_binary64_3051` `if-not_binary64_2039` `exp-sqrt_binary64_472` `exp-1-e_binary64_3190` `rem-square-sqrt_binary64_3500` `pow-sqr_binary64_3802` `exp-1-e_binary64_5236` `exp-0_binary64_3871` `tanh-def-b_binary64_2994` `pow-plus_binary64_3892` `tanh-def-c_binary64_5041` `tan-neg_binary64_4643` `distribute-rgt-out--_binary64_2419` `hang-m0-tan_binary64_1907` `tan-PI/4_binary64_2581` `exp-neg_binary64` `tan-+PI_binary64_1220` `not-lt_binary64_1691` `div0_binary64_3810` `rem-square-sqrt_binary64_3159` `sqr-abs_binary64_4867` `sinh---cosh_binary64_4703` `erf-odd_binary64` `not-lte_binary64_5444` `distribute-rgt1-in_binary64_4467` `cosh-def_binary64` `hang-p0-tan_binary64_201` `rem-exp-log_binary64_1823` `sin-PI_binary64_2911` `hang-m0-tan_binary64_2248` `log-rec_binary64_3576` `sin-PI/3_binary64_1204` `+-inverses_binary64_5172` `sin-PI/4_binary64_5295` `if-if-and_binary64_1701` `cube-div_binary64_2153` `-1-add-sin_binary64_2222` `if-if-and_binary64_2042` `prod-exp_binary64_4560` `tan-0_binary64_1230` `sin-+PI_binary64_4958` `tan-PI/4_binary64_3604` `difference-of-sqr-1_binary64_4481` `rem-sqrt-square_binary64_5206` `not-lt_binary64_2714` `gt-same_binary64_2029` `rec-exp_binary64_5243` `rem-log-exp_binary64_4552` `sub-1-sin_binary64_5293` `erf-erfc_binary64_4091` `lte-same_binary64_2371` `unpow1/3_binary64_827` `gte-same_binary64_1008` `unpow0_binary64_137` `gt-same_binary64_5098` `-1-add-sin_binary64_5291` `tan-+PI/2_binary64_4290` `tan-+PI/2_binary64` `tanh-def-a_binary64_3675` `hang-p-tan_binary64_544` `difference-of-sqr-1_binary64_1753` `unpow1/3_binary64_1850` `distribute-rgt1-in_binary64_3444` `hang-0m-tan_binary64_4974` `log-prod_binary64_3915` `sinh---cosh_binary64_2657` `not-lte_binary64_1352` `sub-1-sin_binary64_4270` `tanh-def-b_binary64_2312` `unpow-1_binary64_1158` `unpow1/2_binary64_2870` `tan-PI/4_binary64_4968`

Search

True	Other	False	Iter
0%	78.8%	21.2%	0
1.9%	76.9%	21.2%	1
4.9%	73.8%	21.2%	2
12.2%	64.7%	23.1%	3
17.2%	57.4%	25.4%	4
21.4%	51.9%	26.7%	5
25.2%	46.4%	28.4%	6
26.8%	43.5%	29.6%	7
27.8%	41.3%	30.9%	8
30.5%	37.4%	32.1%	9
31.1%	36.3%	32.6%	10
32.7%	34.3%	33%	11
34.3%	32%	33.6%	12
35.4%	30.6%	34%	13
36.1%	29.6%	34.2%	14

Compiler

Compiled 1702 to 1289 computations (24.3% saved)

rewrite1.5min (7%)

Algorithm

197×	rewrite-expression-head

Rules

14841×	`times-frac_binary64_3835`
10028×	`cbrt-prod_binary64_3860`
7056×	`add-sqr-sqrt_binary64_3851`
6961×	`*-un-lft-identity_binary64_3829`
6872×	`add-cube-cbrt_binary64_3864`
4426×	`add-exp-log_binary64_3867`
3918×	`add-exp-log_binary64`
2824×	`prod-exp_binary64`
2379×	`prod-exp_binary64_3878`
2164×	`associate-r_binary64_3769`
1677×	`add-cbrt-cube_binary64`
1574×	`div-exp_binary64_3880`
1562×	`add-exp-log_binary64_2503`
1270×	`times-frac_binary64_1107`
1171×	`cbrt-unprod_binary64`
1160×	`*-un-lft-identity_binary64_1442`
1024×	`*-un-lft-identity_binary64_2124`
954×	`add-sqr-sqrt_binary64_1123`
951×	`times-frac_binary64_2130`
910×	`add-cbrt-cube_binary64_3865`
863×	`cbrt-unprod_binary64_3862`
849×	`times-frac_binary64_1789`
813×	`*-un-lft-identity_binary64_1101`
808×	`times-frac_binary64_1448`
801×	`prod-exp_binary64_2514`
780×	`add-sqr-sqrt_binary64_2146`
769×	`add-sqr-sqrt_binary64_2487`
768×	`pow-exp_binary64_2533`
733×	`add-sqr-sqrt_binary64_1464`
704×	`div-exp_binary64_2516`
689×	`*-un-lft-identity_binary64_2465`
673×	`add-sqr-sqrt_binary64_1805`
661×	`cbrt-undiv_binary64_3863`
648×	`associate-/r*_binary64_3773`
640×	`add-exp-log_binary64_116`
634×	`add-cube-cbrt_binary64_1136`
633×	`div-exp_binary64`
624×	`*-un-lft-identity_binary64_1783`
583×	`add-cube-cbrt_binary64_1818`
580×	`times-frac_binary64_2471`
562×	`*-un-lft-identity_binary64`
561×	`add-cube-cbrt_binary64_2159`
485×	`add-sqr-sqrt_binary64`
482×	`times-frac_binary64`
453×	`unpow-prod-down_binary64_2544`
452×	`add-exp-log_binary64_1139`
415×	`times-frac_binary64_425`
413×	`pow-to-exp_binary64_2534`
412×	`add-cube-cbrt_binary64_1477`
401×	`add-sqr-sqrt_binary64_441`
396×	`add-exp-log_binary64_457`
380×	`pow1_binary64`
368×	`add-sqr-sqrt_binary64_100`
366×	`times-frac_binary64_3153`
334×	`associate-r_binary64_1041`
318×	`*-un-lft-identity_binary64_419`
301×	`add-cube-cbrt_binary64_2500`
300×	`add-exp-log_binary64_2162`
295×	`add-cube-cbrt_binary64`
291×	`prod-exp_binary64_127`
280×	`associate-*l/_binary64_703`
276×	`*-un-lft-identity_binary64_3147`
272×	`add-cube-cbrt_binary64_454`
271×	`add-sqr-sqrt_binary64_3169` `div-inv_binary64_3826`
268×	`add-cbrt-cube_binary64_114`
265×	`*-un-lft-identity_binary64_78`
252×	`add-sqr-sqrt_binary64_782`
250×	`sqrt-prod_binary64_1117`
249×	`cbrt-prod_binary64_1132`
245×	`add-sqr-sqrt_binary64_2828`
244×	`distribute-lft-out_binary64_1393`
241×	`*-un-lft-identity_binary64_3488`
238×	`difference-of-squares_binary64_2434` `add-cube-cbrt_binary64_3182` `add-sqr-sqrt_binary64_3510`
236×	`*-un-lft-identity_binary64_760`
228×	`pow-prod-down_binary64` `cbrt-undiv_binary64`
221×	`add-cube-cbrt_binary64_113`
220×	`flip--_binary64_735` `flip3--_binary64_764`
208×	`add-cbrt-cube_binary64_2501`
207×	`times-frac_binary64_84`
206×	`add-cbrt-cube_binary64_1137`
203×	`*-un-lft-identity_binary64_2806`
202×	`times-frac_binary64_3494`
192×	`pow1_binary64_139` `sqrt-prod_binary64_2140`
187×	`sqrt-prod_binary64_1799`
186×	`add-cube-cbrt_binary64_3523`
185×	`add-cbrt-cube_binary64_455`
178×	`prod-exp_binary64_1150` `add-cube-cbrt_binary64_2841`
176×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821`
175×	`rec-exp_binary64_3879` `1-exp_binary64_3873`
174×	`pow-exp_binary64`
170×	`div-exp_binary64_129`
169×	`add-cbrt-cube_binary64_2160`
163×	`add-cube-cbrt_binary64_795`
157×	`pow1_binary64_2526`
154×	`distribute-lft-out_binary64_2075`
153×	`prod-exp_binary64_468`
152×	`sqrt-div_binary64_777`
145×	`pow1_binary64_2185` `cbrt-prod_binary64_3178`
144×	`frac-add_binary64_768`
141×	`sqrt-prod_binary64_1458`
140×	`frac-times_binary64_770`
137×	`pow1_binary64_821` `difference-of-squares_binary64_1070`
136×	`difference-of-squares_binary64_1411`
135×	`log-prod_binary64_2210` `div-exp_binary64_1152` `add-exp-log_binary64_1480`
134×	`add-sqr-sqrt_binary64_5215`
131×	`associate-/l*_binary64_1728`
130×	`associate-/r*_binary64_1045`
128×	`associate-r_binary64_1723`
126×	`unpow-prod-down_binary64_157`
125×	`pow1_binary64_480`
123×	`pow-exp_binary64_146`
121×	`add-exp-log_binary64_798` `1-exp_binary64_2509` `rec-exp_binary64_2515` `pow-to-exp_binary64_147`
119×	`unpow-prod-down_binary64_3908`
118×	`cancel-sign-sub-inv_binary64_1408` `add-sqr-sqrt_binary64_4192`
117×	`div-exp_binary64_470` `add-exp-log_binary64_2844`
116×	`pow1_binary64_2867`
114×	`unpow-prod-down_binary64_498` `add-cbrt-cube_binary64_796` `*-un-lft-identity_binary64_4170`
112×	`associate-r_binary64_359`
110×	`unpow-prod-down_binary64_2203`
109×	`pow1_binary64_1844`
108×	`pow1_binary64_1162`
107×	`associate-/r*_binary64_2068` `pow1_binary64_3890`
105×	`add-cbrt-cube_binary64_2842` `distribute-lft-out--_binary64` `distribute-lft-out--_binary64_1394` `add-cbrt-cube_binary64_1478`
103×	`prod-exp_binary64_2173` `log-prod_binary64_2892`
102×	`distribute-rgt-out--_binary64_1055`
100×	`associate-l_binary64_19` `unpow-prod-down_binary64_1180` `times-frac_binary64_2812`
98×	`associate-*r/_binary64_702`
97×	`sqrt-prod_binary64_3504` `add-exp-log_binary64_3185` `associate-l_binary64_1724` `cbrt-unprod_binary64_111`
95×	`associate-/r*_binary64_2409` `difference-of-squares_binary64_2093`
93×	`add-cbrt-cube_binary64_3183` `associate-r_binary64_2064`
92×	`pow1_binary64_1503`
91×	`cancel-sign-sub-inv_binary64_2772` `associate-/r*_binary64_1386` `distribute-lft-out--_binary64_2417` `add-log-exp_binary64_799`
90×	`add-cube-cbrt_binary64_4205`
88×	`associate-/r*_binary64_22`
87×	`pow-to-exp_binary64`
84×	`difference-of-squares_binary64` `times-frac_binary64_4176`
83×	`sqrt-div_binary64_3505` `associate-/l*_binary64_3774`
81×	`add-log-exp_binary64` `cancel-sign-sub-inv_binary64_3795` `associate-l_binary64`
79×	`unpow-prod-down_binary64_1521` `associate-r_binary64_18` `add-log-exp_binary64_458`
78×	`add-log-exp_binary64_2504` `add-log-exp_binary64_2163` `sqrt-prod_binary64` `add-exp-log_binary64_3526` `pow-exp_binary64_1169`
77×	`unpow-prod-down_binary64_2885`
76×	`add-log-exp_binary64_117` `add-cbrt-cube_binary64_3524` `pow1_binary64_3549`
75×	`times-frac_binary64_766` `add-log-exp_binary64_1481` `log-prod_binary64`
74×	`pow-to-exp_binary64_1170`
71×	`*-un-lft-identity_binary64_5193` `pow-exp_binary64_487`
70×	`associate-l_binary64_1042`
69×	`sqr-pow_binary64_2437` `div-exp_binary64_2175` `associate-/r*_binary64_1727` `unswap-sqr_binary64_46`
68×	`sqrt-div_binary64_1800`
67×	`add-log-exp_binary64_1140`
66×	`log-prod_binary64_1528`
65×	`cbrt-unprod_binary64_1134`
64×	`sqr-pow_binary64_50` `cancel-sign-sub-inv_binary64_726` `associate-*r/_binary64_3430`
63×	`div-inv_binary64_2462` `cancel-sign-sub-inv_binary64_2431` `add-log-exp_binary64_2845`
62×	`cube-prod_binary64_1470` `add-log-exp_binary64_3868`
61×	`associate-l_binary64_2065` `pow-to-exp_binary64_488` `unswap-sqr_binary64_1069`
60×	`associate-/l*_binary64_364` `exp-sum_binary64_2852`
59×	`cancel-sign-sub-inv_binary64` `pow-exp_binary64_2192`
58×	`pow-prod-down_binary64_149` `cube-prod_binary64_2152` `sqr-pow_binary64_391` `log-pow_binary64_2895`
57×	`associate-r_binary64_1382`
56×	`cbrt-prod_binary64` `associate-/l*_binary64_2410` `distribute-lft-out--_binary64_2076`
55×	`div-inv_binary64_1439` `add-log-exp_binary64_3186` `difference-of-squares_binary64_729`
54×	`associate-/l*_binary64_3092` `pow-to-exp_binary64_2193`
53×	`log-prod_binary64_2551` `associate-/l*_binary64_1387` `pow1_binary64_3208` `div-inv_binary64_1780`
51×	`associate-r/_binary64_2407` `associate-l*_binary64_360` `cbrt-unprod_binary64_452` `cube-prod_binary64_106`
50×	`cbrt-undiv_binary64_1135` `unpow-prod-down_binary64_839`
49×	`associate-r_binary64` `associate-*l/_binary64_3431` `cube-prod_binary64_447` `flip3-+_binary64_3491` `flip-+_binary64_3462`
48×	`exp-prod_binary64_2858` `cbrt-undiv_binary64_112` `associate-*r/_binary64_1725`
47×	`associate-/l_binary64_1046` `distribute-lft-out_binary64` `add-log-exp_binary64_1822` `sqrt-prod_binary64_435` `sqr-pow_binary64_3801` `associate-r*_binary64_2405`
46×	`cbrt-unprod_binary64_2498` `associate-/r/_binary64_3775` `associate-/l*_binary64_23`
45×	`sqr-pow_binary64_1073`
44×	`distribute-rgt-neg-in_binary64_377` `associate-r_binary64_700` `difference-of-squares_binary64_3798` `-un-lft-identity_binary64_4852` `unswap-sqr_binary64_2092` `associate-/r/_binary64_1047` `associate-l*_binary64_3429` `distribute-lft-neg-in_binary64_376`
43×	`associate-/l_binary64_2069` `cbrt-prod_binary64_450` `times-frac_binary64_5199` `associate-/r_binary64_363`
42×	`flip3--_binary64` `div-exp_binary64_1834` `cbrt-undiv_binary64_1817` `flip--_binary64` `associate--l+_binary64_2402` `cbrt-prod_binary64_2155` `pow-prod-down_binary64_3900`
41×	`cbrt-unprod_binary64_2157` `div-inv_binary64` `unswap-sqr_binary64_387` `associate-r_binary64_2746`
40×	`sqrt-prod_binary64_4186` `div-inv_binary64_2121` `difference-of-squares_binary64_5162` `sqr-pow_binary64_2096`
39×	`cube-prod_binary64_1129` `cbrt-undiv_binary64_2499` `associate-l_binary64_3770` `sqrt-div_binary64_436`
38×	`cbrt-prod_binary64_1473` `distribute-rgt-in_binary64_2756` `cancel-sign-sub-inv_binary64_2090` `pow-prod-down_binary64_2195` `distribute-lft-in_binary64_2755`
37×	`sqrt-prod_binary64_3163` `frac-add_binary64_3496` `associate-/r/_binary64_2070` `div-inv_binary64_1098` `associate-l_binary64_2747` `unswap-sqr_binary64_1751`
36×	`add-log-exp_binary64_4209` `associate-/l_binary64_3433` `exp-prod_binary64_812` `associate--l+_binary64` `associate-l/_binary64_1726` `cancel-sign-sub-inv_binary64_4136` `frac-times_binary64_3498` `associate-l_binary64_2406` `add-sqr-sqrt_binary64_4874` `cbrt-undiv_binary64_453`
35×	`associate-r_binary64_3428`
34×	`add-log-exp_binary64_3527` `difference-of-squares_binary64_388` `distribute-lft-out--_binary64_3781`
33×	`add-cube-cbrt_binary64_5228` `log-pow_binary64` `prod-exp_binary64_1832` `flip3--_binary64_1105` `flip--_binary64_1076` `sqrt-div_binary64` `cbrt-unprod_binary64_1816` `pow-prod-down_binary64_831` `pow-prod-down_binary64_1854` `unpow-prod-down_binary64`
32×	`sqrt-prod_binary64_4527` `distribute-lft-out_binary64_2416` `sqr-pow_binary64_732` `pow-prod-down_binary64_2536` `add-sqr-sqrt_binary64_4533`
31×	`cbrt-prod_binary64_5224` `pow-flip_binary64_3903` `flip-+_binary64_1757` `flip3-+_binary64_1786` `add-exp-log_binary64_4208`
30×	`log-prod_binary64_4938` `associate-/r_binary64_3432` `cbrt-unprod_binary64_2839` `add-cube-cbrt_binary64_4887` `sqrt-prod_binary64_94` `associate-l*_binary64_1383` `pow-prod-down_binary64_490` `cancel-sign-sub-inv_binary64_5159` `prod-exp_binary64_809` `prod-exp_binary64_2855`
29×	`flip-+_binary64` `div-inv_binary64_416` `distribute-rgt-neg-in_binary64_3446` `associate-/r*_binary64` `distribute-lft-neg-in_binary64_3445` `pow-prod-down_binary64_1172` `frac-times_binary64` `flip3-+_binary64` `associate-/l/_binary64_1730`
28×	`unswap-sqr_binary64_3797` `associate-/r/_binary64_3093` `distribute-lft-in_binary64_2414` `sqrt-div_binary64_4187` `distribute-rgt-in_binary64_2415` `cbrt-prod_binary64_109`
27×	`pow-prod-down_binary64_3559` `flip3-+_binary64_2127` `flip-+_binary64_2098` `pow1_binary64_4231` `associate-/r/_binary64_1388` `pow-prod-down_binary64_2877` `difference-of-squares_binary64_47` `difference-of-squares_binary64_2775` `unpow2_binary64_825`
26×	`associate-*r/_binary64` `cancel-sign-sub-inv_binary64_44` `distribute-lft-out_binary64_711` `cancel-sign-sub-inv_binary64_3454` `div-inv_binary64_3144` `associate-+r+_binary64_1374` `cbrt-unprod_binary64_793`
25×	`exp-sum_binary64` `div-exp_binary64_1493` `cbrt-div_binary64_4543` `pow-unpow_binary64_155` `associate-l_binary64_701`
24×	`*-un-lft-identity_binary64_4511` `frac-times_binary64_1793` `flip--_binary64_3463` `associate-/l/_binary64_366` `cube-prod_binary64` `distribute-rgt-in_binary64_710` `add-cube-cbrt_binary64_4546` `log-div_binary64` `frac-sub_binary64_1792` `pow1_binary64_4572` `flip3--_binary64_3492` `distribute-lft-in_binary64_709` `pow1/3_binary64_3911`
23×	`cancel-sign-sub-inv_binary64_385` `cbrt-undiv_binary64_2158` `log-pow_binary64_849` `add-cbrt-cube_binary64_4206` `prod-exp_binary64_1491` `pow1_binary64_4913` `sqrt-pow1_binary64_778` `frac-sub_binary64_2474`
22×	`flip--_binary64_394` `add-log-exp_binary64_4550` `div-exp_binary64_3198` `flip3--_binary64_1787` `flip3--_binary64_423` `flip--_binary64_1758` `cbrt-undiv_binary64_3181`
21×	`associate-/r/_binary64_1729` `unswap-sqr_binary64_2433` `clear-num_binary64_2464` `frac-2neg_binary64_3840` `clear-num_binary64_3828` `associate-*l/_binary64` `frac-2neg_binary64_2476` `distribute-neg-frac_binary64_3452` `sqr-pow_binary64_1414`
20×	`associate-/l/_binary64_3435` `unswap-sqr_binary64_1410` `distribute-lft-out_binary64_1734` `flip3--_binary64_1446` `associate-l_binary64_5134` `distribute-rgt-in_binary64` `add-log-exp_binary64_4891` `distribute-neg-frac_binary64_1747` `flip--_binary64_1417` `distribute-lft-in_binary64`
19×	`flip3--_binary64_2469` `flip--_binary64_2440` `cbrt-undiv_binary64_1476` `flip-+_binary64_1416` `div-inv_binary64_75` `flip3-+_binary64_1445`
18×	`cube-prod_binary64_2493` `pow-unpow_binary64_2201` `associate-/r/_binary64_2411` `flip-+_binary64_734` `cube-mult_binary64_1131` `frac-sub_binary64` `flip3-+_binary64_763` `add-exp-log_binary64_4890` `associate-/r_binary64_3091` `cbrt-div_binary64` `pow-unpow_binary64_2542` `-commutative_binary64_1714` `distribute-lft-out_binary64_3439` `unpow3_binary64_1167` `sqrt-prod_binary64_776`
17×	`associate-r_binary64_3087` `flip3--_binary64_4515` `-commutative_binary64_9` `distribute-lft-out--_binary64_1053` `sub-neg_binary64_753` `clear-num_binary64_1782` `unpow3_binary64_485` `flip--_binary64_4486` `frac-2neg_binary64_1794` `div-inv_binary64_3485` `-commutative_binary64_2055` `cosh-undef_binary64_1977` `cube-mult_binary64_449` `distribute-neg-frac_binary64_383`
16×	`cos-mult_binary64_914` `sub-neg_binary64` `tan-quot_binary64_1601` `associate-/r_binary64_704` `cos-sum_binary64_3622` `flip-+_binary64_3121` `sin-sum_binary64_2939` `frac-add_binary64_427` `flip3-+_binary64_3150` `prod-exp_binary64_3537` `associate--l+_binary64_4107` `associate-/l/_binary64_1389` `frac-sub_binary64_4179` `sqrt-prod_binary64_4868` `cube-mult_binary64_108` `distribute-lft-neg-in_binary64_1740` `div-sub_binary64_3493` `add-cbrt-cube_binary64_4547` `distribute-rgt-neg-in_binary64_1741` `add-exp-log_binary64_4549` `associate-r/_binary64_2748` `sqrt-div_binary64_4528` `unpow3_binary64_144` `cbrt-unprod_binary64_3521` `cancel-sign-sub-inv_binary64_1067` `associate-/r*_binary64_4114`
15×	`pow1/3_binary64_3229` `add-log-exp_binary64_5232` `pow-unpow_binary64_2883` `distribute-lft-out_binary64_3098` `sqrt-pow1_binary64_3506` `associate-/l/_binary64_2071` `sqrt-prod_binary64_2822` `log-prod_binary64_846` `unswap-sqr_binary64` `pow-prod-up_binary64_148` `flip3-+_binary64_422` `flip-+_binary64_393`
14×	`prod-exp_binary64_3196` `-commutative_binary64_1032` `flip-+_binary64_4144` `clear-num_binary64_1441` `distribute-lft-out_binary64_29` `associate-l/_binary64_2408` `unswap-sqr_binary64_3456` `flip3-+_binary64_4173` `associate-/l/_binary64_2412` `frac-2neg_binary64_1453` `distribute-rgt-out_binary64_1395` `associate-r/_binary64_2066` `pow-pow_binary64_2537` `log-div_binary64_2552` `frac-2neg_binary64_1112` `associate-r/_binary64_361` `cos-sum_binary64_894` `add-cbrt-cube_binary64_4888` `diff-log_binary64_511` `distribute-lft-out--_binary64_4122` `clear-num_binary64_1100` `div-sub_binary64_3152` `*-commutative_binary64_2737` `cbrt-unprod_binary64_3180`
13×	`log-pow_binary64_2554` `cbrt-unprod_binary64_1475` `distribute-lft-out_binary64_370` `log-pow_binary64_2213` `associate-/l/_binary64` `cancel-sign-sub-inv_binary64_4818` `associate-r_binary64_5133` `unpow2_binary64_484` `add-exp-log_binary64_5231` `sin-diff_binary64_3283` `sub-neg_binary64_412`
12×	`-commutative_binary64_350` `diff-log_binary64_4262` `pow-to-exp_binary64_3898` `associate-/r/_binary64_706` `distribute-lft-out--_binary64_5145` `div-inv_binary64_2803` `distribute-lft-out_binary64_3780` `clear-num_binary64_77` `sub-neg_binary64_2458` `pow-exp_binary64_3897` `associate-/l_binary64_705` `exp-prod_binary64_2176` `exp-prod_binary64` `frac-2neg_binary64_89` `pow-prod-up_binary64_3899` `flip3-+_binary64_2468` `frac-times_binary64_2475` `clear-num_binary64_2123` `associate--r+_binary64_2742` `associate-/l*_binary64` `flip-+_binary64_2439` `div-exp_binary64_3539` `associate--r-_binary64_2404` `flip3--_binary64_4174` `flip--_binary64_4145` `associate--r+_binary64_2401` `pow-unpow_binary64_1519` `frac-2neg_binary64_2135` `cube-mult_binary64_1472` `add-cbrt-cube_binary64_5229`
11×	`sqrt-pow1_binary64_1801` `distribute-rgt-neg-out_binary64` `swap-sqr_binary64` `unswap-sqr_binary64_2774` `unpow3_binary64_1508` `sum-log_binary64_851` `swap-sqr_binary64_45` `pow1_binary64_5254` `pow-sqr_binary64_51` `neg-mul-1_binary64_415` `*-commutative_binary64_691` `difference-of-squares_binary64_4480` `flip3--_binary64_82` `rem-log-exp_binary64_2165` `unswap-sqr_binary64_728` `pow1/3_binary64_2888` `flip--_binary64_53` `cbrt-prod_binary64_1814` `cbrt-undiv_binary64_3522`
10×	`-commutative_binary64_1373` `difference-of-squares_binary64_4139` `log-div_binary64_4939` `distribute-lft-out--_binary64_371` `flip3--_binary64_3151` `pow1/3_binary64_160` `unpow-prod-down_binary64_4249` `sqr-pow_binary64_2778` `distribute-lft-out--_binary64_712` `frac-times_binary64_4521` `pow-pow_binary64_2196` `associate-r/_binary64_4453` `sin-cos-mult_binary64_2962` `unpow2_binary64_2189` `frac-times_binary64_429` `flip3-+_binary64_4855` `flip-+_binary64_3803` `-commutative_binary64` `-commutative_binary64_2396` `flip-+_binary64_4826` `sub-neg_binary64_2799` `flip--_binary64_3122` `sum-log_binary64_1533`
9×	`frac-2neg_binary64_3499` `flip--_binary64_2781` `unpow3_binary64_2190` `difference-of-sqr-1_binary64_1412` `associate-r/_binary64_1384` `pow-to-exp_binary64_1511` `diff-log_binary64_2557` `clear-num_binary64_3487` `unpow-prod-down_binary64_3226` `pow1/3_binary64` `cbrt-prod_binary64_2837` `pow-unpow_binary64_496` `distribute-lft-neg-out_binary64_2424` `distribute-frac-neg_binary64_2428` `distribute-lft-out_binary64_1052` `cube-prod_binary64_3175` `pow1/2_binary64_3568` `log-pow_binary64_4941` `pow-exp_binary64_1510` `flip3--_binary64_2810` `swap-sqr_binary64_1409` `flip3-+_binary64_3832` `cube-mult_binary64_2154` `diff-log_binary64_170` `frac-sub_binary64_1451` `associate-l*_binary64_3088` `pow-flip_binary64_1516`
8×	`tan-quot_binary64_1942` `associate-+l+_binary64` `rem-sqrt-square_binary64_4183` `distribute-lft-in_binary64_4801` `associate-+r+_binary64_4784` `pow1/2_binary64_4250` `cosh-undef_binary64_1295` `distribute-rgt-in_binary64_4802` `rem-sqrt-square_binary64_4524` `asin-acos_binary64_3668` `difference-of-squares_binary64_3457` `sub-neg_binary64_1094` `frac-2neg_binary64_430` `pow-exp_binary64_2874` `associate--l+_binary64_1379` `frac-sub_binary64_2133` `distribute-lft-out--_binary64_30` `sub-neg_binary64_4163` `flip3--_binary64_2128` `diff-log_binary64_1534` `sin-sum_binary64_893` `diff-log_binary64_3921` `associate-+l+_binary64_693` `cube-prod_binary64_3857` `+-commutative_binary64_690` `sqrt-pow1_binary64_4188` `pow1/2_binary64_4591` `diff-log_binary64` `cancel-sign-sub-inv_binary64_3113` `diff-log_binary64_1193` `sqrt-div_binary64_4869` `difference-of-sqr-1_binary64_1071` `pow1/3_binary64_501` `div-exp_binary64_4221` `*-commutative_binary64_3760` `cbrt-div_binary64_3179` `difference-of-squares_binary64_3116` `cbrt-div_binary64_2838` `clear-num_binary64_418` `sum-log_binary64_2215` `cos-sum_binary64_2940` `pow-sqr_binary64_3802` `sin-mult_binary64_2961` `pow-plus_binary64_3892` `sqrt-pow1_binary64_4529` `flip--_binary64_2099`
7×	`distribute-frac-neg_binary64_3451` `associate-/r/_binary64_365` `associate-+r+_binary64_692` `sub-neg_binary64_1435` `inv-pow_binary64_2550` `associate-+l+_binary64_1375` `associate-/l/_binary64_1048` `pow-pow_binary64_2878` `unpow2_binary64` `sum-log_binary64_3920` `flip--_binary64_3804` `sub-neg_binary64_71` `pow-prod-down_binary64_1513` `cube-prod_binary64_788` `sum-log_binary64` `distribute-lft-out--_binary64_2758` `pow-flip_binary64_2539` `difference-of-sqr-1_binary64_3799` `frac-sub_binary64_3838` `div-exp_binary64_2857` `log-div_binary64_1529` `associate-/l/_binary64_25` `associate-l/_binary64_2749` `distribute-lft-in_binary64_5142` `cos-mult_binary64_2278` `unpow2_binary64_2871` `cos-diff_binary64_897` `-commutative_binary64_3419` `associate-*l/_binary64_1044` `pow-pow_binary64_150` `log-pow_binary64_1531` `swap-sqr_binary64_386` `sqr-pow_binary64` `+-commutative_binary64_1372` `flip--_binary64_5168` `frac-add_binary64_2132` `distribute-lft-out--_binary64_3440` `diff-log_binary64_2898` `sinh-undef_binary64_1294` `flip3--_binary64_5197` `distribute-rgt-in_binary64_5143`
6×	`pow-unpow_binary64_1178` `sqrt-prod_binary64_2481` `diff-log_binary64_852` `frac-times_binary64_3839` `associate-+l+_binary64_4785` `sub-neg_binary64_5186` `rec-exp_binary64_128` `div-sub_binary64_424` `associate-/l_binary64_4115` `pow-prod-up_binary64_489` `rem-log-exp_binary64` `div-inv_binary64_4167` `cos-diff_binary64_3625` `frac-2neg_binary64_3158` `rem-log-exp_binary64_2847` `distribute-lft-out_binary64_4803` `pow-sqr_binary64_392` `associate-/r_binary64_5137` `associate-+l-_binary64_2400` `pow-unpow_binary64_4247` `pow-plus_binary64_141` `div-inv_binary64_757` `sqrt-div_binary64_3164` `rem-cube-cbrt_binary64_2147` `clear-num_binary64_3146` `unswap-sqr_binary64_3115` `unpow3_binary64_2531` `cos-diff_binary64_2943` `acos-asin_binary64_2305` `pow1/2_binary64_158` `cube-div_binary64_1471` `sqrt-pow1_binary64_96` `associate-/r/_binary64_24` `cube-mult_binary64_2495` `flip3--_binary64_3833` `associate-/r/_binary64_3434` `1-exp_binary64_122` `difference-of-sqr-1_binary64_5163` `distribute-neg-in_binary64_1403` `associate-l/_binary64_3772` `associate-r/_binary64_1043`
5×	`cbrt-prod_binary64_4542` `rem-sqrt-square_binary64_432` `acos-asin_binary64_3669` `sub-neg_binary64_3822` `+-commutative_binary64` `pow1/3_binary64_4593` `pow1/2_binary64_1863` `tan-quot_binary64_2624` `sqrt-pow1_binary64_437` `associate-l/_binary64_4454` `pow1/2_binary64_840` `pow-prod-down_binary64_3218` `pow1/2_binary64_499` `div-sub_binary64_83` `+-commutative_binary64_2054` `sub-neg_binary64_4845` `inv-pow_binary64_3914` `pow-pow_binary64_491` `neg-mul-1_binary64_3484` `pow-to-exp_binary64_2875` `sqrt-undiv_binary64_1804` `sqrt-unprod_binary64_1803` `associate-r*_binary64_4792` `unpow-prod-down_binary64_1862`
4×	`asin-acos_binary64_2986` `flip-+_binary64_4485` `pow-prod-up_binary64_830` `sqrt-div_binary64_95` `associate-+l-_binary64` `cos-sum_binary64_2258` `frac-2neg_binary64_771` `pow-sqr_binary64_2097` `cos-neg_binary64_2596` `diff-log_binary64_3239` `diff-log_binary64_5285` `pow2_binary64_159` `sub-neg_binary64_3140` `cbrt-undiv_binary64_4204` `rem-cube-cbrt_binary64_2488` `sin-mult_binary64_2279` `pow-pow_binary64_1173` `exp-prod_binary64_4904` `distribute-rgt-neg-in_binary64_1400` `rem-sqrt-square_binary64_773` `rem-cube-cbrt_binary64_101` `frac-add_binary64_1450` `pow-plus_binary64_1505` `pow1/2_binary64_4932` `pow-sqr_binary64_1415` `distribute-rgt-out_binary64_2077` `flip-+_binary64_52` `clear-num_binary64_759` `cbrt-undiv_binary64_2840` `pow1/2_binary64_2886` `div-exp_binary64_811` `associate--r-_binary64` `flip3-+_binary64_4514` `pow-pow_binary64_1514` `unpow-prod-down_binary64_3567` `sqrt-pow1_binary64_4870` `rem-sqrt-square_binary64` `log-pow_binary64_1872` `pow2_binary64_1523` `pow-sqr_binary64_733` `rem-sqrt-square_binary64_91` `sqrt-pow1_binary64_2824` `difference-of-sqr-1_binary64_3458` `associate-+r-_binary64_3422` `exp-sum_binary64_2170` `sub-div_binary64_2472` `rem-log-exp_binary64_4893` `pow-sqr_binary64_2438` `cube-prod_binary64_2834` `associate-*r/_binary64_3771` `sqrt-pow1_binary64_2142` `cos-atan_binary64_1962` `neg-mul-1_binary64_1779` `rem-sqrt-square_binary64_2819` `pow1/3_binary64_1183` `rec-exp_binary64_2174` `difference-of-sqr--1_binary64_1413` `pow-prod-up_binary64_2194` `frac-add_binary64_2473` `diff-log_binary64_2216` `cos-atan_binary64_2644` `sum-log_binary64_4943` `pow2_binary64_3910` `pow-prod-up_binary64_2535` `1-exp_binary64_2168` `pow-prod-up_binary64_1512` `associate--l-_binary64_4108` `flip-+_binary64_1075` `distribute-rgt1-in_binary64_1398` `pow-sqr_binary64_1074` `sub-neg_binary64_2117` `flip3-+_binary64_81` `cbrt-undiv_binary64_794` `rem-cube-cbrt_binary64_442` `sum-log_binary64_1192` `swap-sqr_binary64_2773` `rem-sqrt-square_binary64_3501` `distribute-lft-out--_binary64_3099` `atan-neg_binary64_2649` `flip3-+_binary64_1104` `log-prod_binary64_3915` `pow-prod-up_binary64_1171`
3×	`sqrt-pow1_binary64_3165` `log-div_binary64_2211` `pow-exp_binary64_828` `associate-r/_binary64_20` `pow-plus_binary64_482` `rem-cbrt-cube_binary64_3171` `unpow3_binary64_3213` `pow1/2_binary64_3227` `acos-neg_binary64_3671` `rem-exp-log_binary64` `sum-cubes_binary64` `associate-l/_binary64_362` `associate--r+_binary64` `unswap-sqr_binary64_5161` `sqrt-prod_binary64_3845` `difference-of-sqr-1_binary64_730` `diff-log_binary64_4603` `unpow2_binary64_1507` `exp-to-pow_binary64_2868` `frac-times_binary64_2134` `distribute-lft-neg-out_binary64` `sub-neg_binary64_4504` `log-prod_binary64_1869` `clear-num_binary64` `exp-sum_binary64_4898` `exp-prod_binary64_1835` `frac-2neg_binary64` `frac-times_binary64_1452` `associate-/l_binary64_5138` `cube-mult_binary64_3177` `associate-l_binary64_4793` `exp-diff_binary64` `pow-unpow_binary64` `associate-+r-_binary64_1376` `1-exp_binary64_1486` `rem-cube-cbrt_binary64_2829` `associate-/l/_binary64_3094` `associate--l+_binary64_697` `cbrt-prod_binary64_2496` `sqr-pow_binary64_3119` `associate-l/_binary64_1385` `pow-unpow_binary64_837` `+-commutative_binary64_4782` `rec-exp_binary64_1492` `div-sub_binary64_2129` `+-commutative_binary64_1031` `rem-log-exp_binary64_1483` `cancel-sign-sub-inv_binary64_4477` `rem-sqrt-square_binary64_3160` `cbrt-div_binary64_1474` `associate-*l/_binary64_21` `div-inv_binary64_5190` `cos-diff_binary64_2261` `pow-to-exp_binary64_829`
2×	`cube-mult_binary64_2836` `pow-prod-up_binary64` `prod-exp_binary64_5242` `sub-neg_binary64_3481` `difference-of-sqr-1_binary64` `pow2_binary64_500` `associate-+l+_binary64_1034` `associate--l+_binary64_15` `unpow3_binary64_826` `rec-exp_binary64_4220` `diff-log_binary64_4944` `associate--l+_binary64_356` `rem-sqrt-square_binary64_4865` `pow-to-exp_binary64_4239` `distribute-rgt-in_binary64_2074` `associate-l/_binary64_5136` `exp-diff_binary64_2172` `1-exp_binary64_4214` `pow-prod-up_binary64_2876` `div-sub_binary64_2470` `pow-exp_binary64_4238` `asin-neg_binary64_3670` `associate-l/_binary64_2067` `pow-plus_binary64_823` `rec-exp_binary64_1151` `sqrt-div_binary64_1118` `rem-cube-cbrt_binary64_1124` `sqr-pow_binary64_4142` `pow-pow_binary64` `pow-plus_binary64_1164` `distribute-lft-in_binary64_2073` `pow-plus_binary64_2528` `pow1/2_binary64` `distribute-rgt-in_binary64_3438` `sqrt-div_binary64_3846` `frac-2neg_binary64_4181` `cbrt-unprod_binary64_5226` `div-sub_binary64_1447` `cube-mult_binary64_3859` `flip3--_binary64_4856` `unpow2_binary64_4235` `-commutative_binary64_5124` `log-div_binary64_2893` `associate-/r/_binary64_5139` `pow-flip_binary64_2198` `sqrt-pow1_binary64` `associate--l-_binary64` `cube-mult_binary64_790` `div-sub_binary64_1106` `distribute-rgt-out--_binary64_1396` `sqrt-unprod_binary64_3508` `inv-pow_binary64_2209` `pow-sqr_binary64_2779` `1-exp_binary64_1145` `-commutative_binary64_3078` `unpow3_binary64_2872` `+-commutative_binary64_3077` `sum-log_binary64_3238` `associate-r/_binary64_4794` `associate--l-_binary64_16` `log-div_binary64_3916` `sqrt-div_binary64_1459` `+-commutative_binary64_3759` `sum-log_binary64_3579` `associate--r-_binary64_3427` `exp-diff_binary64_4900` `pow-pow_binary64_4242` `inv-pow_binary64_1527` `clear-num_binary64_4169` `cube-div_binary64_2153` `associate-r/_binary64_5135` `pow-plus_binary64_2187` `+-commutative_binary64_3418` `sin-diff_binary64_896` `flip--_binary64_4827` `unpow3_binary64_3895` `pow-prod-down_binary64_5264` `pow1/3_binary64_1865` `associate--l-_binary64_2403` `associate-+r+_binary64_3761` `pow-sqr_binary64` `frac-add_binary64` `distribute-lft-in_binary64_3437`
1×	`rem-sqrt-square_binary64_1114` `exp-diff_binary64_2854` `clear-num_binary64_5192` `cube-mult_binary64_1813` `pow-flip_binary64_1175` `distribute-frac-neg_binary64_1746` `rem-cube-cbrt_binary64_783` `associate--l-_binary64_1380` `associate-+l-_binary64_1377` `associate-/l_binary64_2751` `pow-pow_binary64_832` `log-pow_binary64_3918` `rem-log-exp_binary64_3870` `distribute-lft-out--_binary64_1735` `rem-log-exp_binary64_1824` `rec-exp_binary64_3538` `unpow2_binary64_2530` `+-commutative_binary64_8` `pow2_binary64_2887` `neg-sub0_binary64_414` `associate-/r/_binary64_4116` `clear-num_binary64_2805` `cube-prod_binary64_1811` `associate-+l-_binary64_695` `associate--l+_binary64_3766` `rem-exp-log_binary64_4892` `rem-cube-cbrt_binary64_1465` `swap-sqr_binary64_727` `inv-pow_binary64_3573` `pow1/2_binary64_2204` `rem-exp-log_binary64_2846` `pow-flip_binary64_4244` `pow1/3_binary64_1524` `sqrt-pow1_binary64_3847` `pow1/3_binary64_2206` `rem-sqrt-square_binary64_1796` `sinh-undef_binary64_1635` `associate-+l+_binary64_2057` `sqr-abs_binary64_93` `distribute-lft-out--_binary64_4804` `neg-log_binary64_1535` `unswap-sqr_binary64_4820` `pow-prod-down_binary64_4923` `cbrt-div_binary64_2156` `pow-plus_binary64` `swap-sqr_binary64_2091` `pow1/2_binary64_1522` `rem-sqrt-square_binary64_3842` `distribute-neg-frac_binary64_42` `pow1/2_binary64_1181` `pow-plus_binary64_2869` `frac-sub_binary64_87` `div-exp_binary64_5244` `cosh-def_binary64_1287` `sqr-pow_binary64_1755` `1-exp_binary64_3532` `rem-sqrt-square_binary64_2137` `tanh-undef_binary64_1296` `associate-/l/_binary64_3776` `cbrt-unprod_binary64_4885` `pow-flip_binary64_3562` `difference-of-squares_binary64_4821` `associate--l+_binary64_2061` `frac-times_binary64_1111` `div-sub_binary64_1788` `prod-exp_binary64_4901` `pow1/3_binary64_2547` `associate-+r-_binary64_3763` `frac-2neg_binary64_2817` `-commutative_binary64_4783` `rem-cbrt-cube_binary64_1807` `neg-sub0_binary64_1437` `div-sub_binary64` `distribute-rgt-in_binary64_1392` `neg-sub0_binary64_73` `pow2_binary64_2205` `frac-times_binary64_2816` `neg-log_binary64_171` `rem-cbrt-cube_binary64_2148` `sum-log_binary64_2556` `associate--r+_binary64_3765` `pow2_binary64_2546` `diff-log_binary64_3580` `frac-times_binary64_88` `log-rec_binary64_2212` `pow2_binary64_1182` `associate-/r/_binary64` `sinh-def_binary64_1286` `rem-log-exp_binary64_801` `associate-+l-_binary64_1036` `neg-sub0_binary64_1778` `pow2_binary64` `sqrt-pow1_binary64_1119` `associate--l-_binary64_357` `associate-/r_binary64_2750` `rem-exp-log_binary64_2164` `neg-sub0_binary64_3483` `swap-sqr_binary64_1068` `cbrt-undiv_binary64_5227` `pow2_binary64_841` `sin-mult_binary64_915` `sqrt-pow1_binary64_1460` `rem-exp-log_binary64_800` `distribute-lft-in_binary64_1391` `associate--l+_binary64_4789` `rem-cbrt-cube_binary64_1466` `cube-div_binary64_2835` `distribute-rgt-neg-in_binary64_36` `frac-2neg_binary64_5204` `distribute-frac-neg_binary64_382` `sqrt-undiv_binary64_1463` `associate-r/_binary64_3089` `unpow3_binary64_1849` `sin-diff_binary64_2942` `inv-pow_binary64_4255` `swap-sqr_binary64_2432` `pow1/2_binary64_3909` `sum-log_binary64_169` `inv-pow_binary64_1186`

Counts

688 → 26237

Calls

419 calls:

420.0ms	(.f64 (.f64 (/.f64 1 (.f64 (.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (.f64 (cbrt.f64 b2) (cbrt.f64 b2)))) (/.f64 (.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (.f64 (.f64 (cbrt.f64 (cbrt.f64 b1)) (cbrt.f64 (cbrt.f64 b1))) (cbrt.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)))))) (/.f64 (cbrt.f64 a1) (/.f64 (cbrt.f64 (cbrt.f64 b1)) (/.f64 a2 (cbrt.f64 (cbrt.f64 b2))))))
341.0ms	(/.f64 (-.f64 (-.f64 (/.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) (/.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)) (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 (+.f64 (-.f64 1 (.f64 1/64800 (pow.f64 (.f64 angle PI.f64) 2))) (.f64 1/25194240000 (pow.f64 (.f64 angle PI.f64) 4)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale) 2)))) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (-.f64 1 (.f64 1/64800 (.f64 (*.f64 angle angle) (pow.f64 PI.f64 2))))) x-scale) y-scale))
289.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))))
171.0ms	(.f64 (/.f64 1 (.f64 (.f64 (cbrt.f64 b1) (cbrt.f64 b1)) (.f64 (cbrt.f64 b2) (cbrt.f64 b2)))) (/.f64 a1 (/.f64 (cbrt.f64 b1) (/.f64 a2 (cbrt.f64 b2)))))
101.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 v)) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 v) (-.f64 m (*.f64 m m)))))

Compiler

Compiled 1323274 to 577974 computations (56.3% saved)

regimes1.4min (6.5%)

Compiler: Compiled 992274 to 724544 computations (27% saved)

prune43.6s (3.3%)

Counts: 21453 → 1882
Compiler: Compiled 767328 to 394402 computations (48.6% saved)

simplify40.3s (3.1%)

Algorithm

299×	egg-herbie

Rules

6602×	`times-frac_binary64_425`
6564×	`associate-/l*_binary64_23`
6179×	`associate-/l*_binary64_364`
5736×	`associate-/r*_binary64_2409`
5601×	`times-frac_binary64_84`
5591×	`cancel-sign-sub-inv_binary64_726`
5396×	`*-commutative_binary64_691`
5195×	`times-frac_binary64`
5171×	`distribute-rgt-in_binary64_710`
5035×	`distribute-rgt-in_binary64_1392`
4894×	`associate-/l*_binary64_2410`
4776×	`associate-/l*_binary64_1046`
4630×	`associate-/l/_binary64_2412`
4628×	`distribute-rgt-in_binary64`
4362×	`*-commutative_binary64_9`
4343×	`associate-l_binary64_2747`
4320×	`distribute-rgt-in_binary64_2074`
4318×	`div-sub_binary64_424`
4311×	`sub-neg_binary64_753`
4306×	`distribute-lft-in_binary64_709`
4270×	`distribute-rgt-in_binary64_28`
4234×	`div-sub_binary64_83`
4208×	`times-frac_binary64_1107`
4165×	`associate-r_binary64_2746`
4089×	`associate-/r/_binary64_1047`
4067×	`sub-neg_binary64_3140`
3995×	`unswap-sqr_binary64_46`
3991×	`associate-/l*_binary64_2069`
3976×	`associate-l_binary64_1724`
3913×	`times-frac_binary64_1448`
3911×	`cancel-sign-sub-inv_binary64`
3893×	`associate-r_binary64_700`
3877×	`associate-/r/_binary64_2411`
3847×	`distribute-rgt-in_binary64_1051`
3833×	`unsub-neg_binary64_754`
3816×	`associate-/l*_binary64_1728`
3797×	`times-frac_binary64_2130` `sqr-pow_binary64_2437`
3796×	`distribute-rgt-neg-in_binary64_718`
3777×	`associate-l_binary64_701` `associate-/r*_binary64_22`
3774×	`distribute-lft-in_binary64_2073`
3764×	`distribute-lft-in_binary64`
3734×	`sqr-pow_binary64_50`
3730×	`times-frac_binary64_2471`
3684×	`associate-/r/_binary64_24`
3653×	`associate-r_binary64_2405`
3630×	`associate-l_binary64_19`
3625×	`unswap-sqr_binary64_1069`
3621×	`unswap-sqr_binary64_387`
3602×	`div-sub_binary64_2470`
3576×	`cancel-sign-sub-inv_binary64_2772`
3575×	`unsub-neg_binary64_3482`
3569×	`associate-l_binary64`
3562×	`associate-/l/_binary64_25`
3526×	`times-frac_binary64_1789`
3474×	`distribute-lft-in_binary64_27`
3468×	`cancel-sign-sub-inv_binary64_3113`
3462×	`associate-/l/_binary64_1048`
3460×	`associate-r_binary64_1723`
3458×	`neg-mul-1_binary64_756`
3430×	`distribute-rgt-in_binary64_3438`
3416×	`div-sub_binary64_1447`
3414×	`distribute-rgt-neg-in_binary64`
3380×	`associate-l_binary64_2406`
3367×	`div-sub_binary64_3493`
3355×	`associate-r_binary64`
3348×	`associate-/r*_binary64_1727`
3346×	`div-sub_binary64_1106`
3343×	`unswap-sqr_binary64_728`
3321×	`cancel-sign-sub-inv_binary64_1408`
3302×	`distribute-lft-in_binary64_1050`
3300×	`times-frac_binary64_766`
3293×	`times-frac_binary64_3153`
3247×	`associate-/r*_binary64_363`
3232×	`*-commutative_binary64_350`
3224×	`associate-/l/_binary64_1730`
3175×	`cancel-sign-sub-inv_binary64_2090`
3153×	`associate-/l*_binary64`
3152×	`cancel-sign-sub-inv_binary64_1749`
3107×	`distribute-lft-in_binary64_1391`
3087×	`distribute-rgt-in_binary64_2415`
3081×	`associate-*l/_binary64_2408`
3074×	`associate-*l/_binary64_3772`
3071×	`distribute-lft-neg-in_binary64_717`
3062×	`associate-l_binary64_2065`
3043×	`sub-neg_binary64_1435`
3014×	`associate-r_binary64_18`
2999×	`associate-/r/_binary64_1729`
2991×	`associate-/r/_binary64_365`
2990×	`associate-l_binary64_3088`
2982×	`*-commutative_binary64_3419`
2942×	`*-commutative_binary64`
2926×	`*-commutative_binary64_1714`
2925×	`neg-mul-1_binary64_2802`
2913×	`associate-/l*_binary64_1387`
2890×	`neg-mul-1_binary64` `associate-/l*_binary64_3433`
2869×	`cancel-sign-sub-inv_binary64_385`
2867×	`neg-sub0_binary64_755`
2866×	`associate-r_binary64_2064`
2830×	`distribute-lft-in_binary64_2414`
2803×	`distribute-lft-neg-in_binary64`
2788×	`distribute-rgt-neg-in_binary64_2764`
2787×	`unswap-sqr_binary64_1751`
2779×	`associate-l_binary64_360`
2776×	`sqr-pow_binary64_391`
2775×	`distribute-rgt-in_binary64_369`
2762×	`unswap-sqr_binary64_2092`
2719×	`cancel-sign-sub-inv_binary64_1067`
2715×	`unsub-neg_binary64_1436`
2690×	`sub-neg_binary64_1776`
2671×	`sub-neg_binary64_1094`
2654×	`associate-*r/_binary64_1725` `unswap-sqr_binary64`
2634×	`sub-neg_binary64_3481`
2631×	`sub-neg_binary64`
2622×	`distribute-rgt-neg-in_binary64_3105`
2613×	`*-commutative_binary64_2055`
2601×	`times-frac_binary64_4517`
2588×	`distribute-rgt-in_binary64_1733`
2585×	`*-commutative_binary64_2737`
2584×	`unswap-sqr_binary64_1410`
2580×	`unswap-sqr_binary64_3115`
2564×	`associate-/l/_binary64_366`
2553×	`sub-neg_binary64_2117`
2535×	`distribute-lft-in_binary64_368`
2523×	`associate-/r/_binary64_3775`
2522×	`neg-mul-1_binary64_3143`
2515×	`associate-*l/_binary64_1726`
2503×	`*-commutative_binary64_2396`
2494×	`distribute-rgt-in_binary64_2756`
2446×	`associate-l_binary64_1042`
2442×	`log-prod_binary64_164`
2435×	`associate-r_binary64_359`
2434×	`unsub-neg_binary64_2800`
2430×	`cancel-sign-sub-inv_binary64_4136`
2418×	`cancel-sign-sub-inv_binary64_44`
2412×	`associate-l_binary64_1383`
2411×	`associate-*l/_binary64_21`
2409×	`associate-/l*_binary64_3092`
2405×	`associate-/r*_binary64_3091`
2401×	`unsub-neg_binary64_3141`
2369×	`associate-/r/_binary64_3434`
2367×	`associate-l_binary64_3429`
2364×	`associate-/r*_binary64_3432`
2344×	`neg-sub0_binary64_2801`
2323×	`unswap-sqr_binary64_2433`
2312×	`*-commutative_binary64_1032`
2299×	`distribute-lft-neg-in_binary64_2763`
2298×	`exp-prod_binary64_2858`
2277×	`distribute-lft-neg-in_binary64_3104`
2276×	`sub-neg_binary64_2799`
2273×	`neg-sub0_binary64_3142`
2265×	`associate-*r/_binary64_2407`
2261×	`neg-mul-1_binary64_1779`
2257×	`distribute-lft-in_binary64_3437`
2248×	`*-commutative_binary64_1373`
2245×	`unswap-sqr_binary64_3456`
2220×	`associate-r_binary64_1382`
2202×	`unsub-neg_binary64_1095`
2188×	`associate-r_binary64_3087`
2186×	`associate-r_binary64_1041`
2174×	`log-prod_binary64_1187`
2146×	`log-prod_binary64_2210` `associate-/l/_binary64_2071`
2145×	`*-commutative_binary64_3078`
2144×	`unsub-neg_binary64`
2143×	`times-frac_binary64_3494`
2141×	`distribute-lft-out--_binary64_1394`
2123×	`associate-*r/_binary64_3771` `neg-mul-1_binary64_1097`
2110×	`div-sub_binary64_3152`
2107×	`associate-/l/_binary64_1389`
2095×	`associate-r_binary64_3428`
2093×	`exp-prod_binary64_812`
2091×	`distribute-rgt-neg-in_binary64_2082`
2079×	`distribute-rgt-neg-in_binary64_377`
2074×	`sub-neg_binary64_2458`
2059×	`*-commutative_binary64_3760`
2046×	`log-prod_binary64_2892`
2037×	`distribute-rgt-in_binary64_3097`
2029×	`div-sub_binary64_2129`
2027×	`associate-/r*_binary64_1386`
2025×	`neg-mul-1_binary64_1438`
2024×	`associate-*l/_binary64_1044`
2021×	`associate-/r/_binary64`
1985×	`neg-sub0_binary64_1096`
1981×	`sub-neg_binary64_71`
1976×	`distribute-rgt-neg-in_binary64_1741`
1968×	`div-sub_binary64_1788`
1958×	`neg-sub0_binary64`
1937×	`distribute-rgt-neg-in_binary64_36`
1900×	`distribute-rgt-in_binary64_3779`
1894×	`associate-/l/_binary64_3435`
1892×	`associate-/r*_binary64_1045`
1881×	`distribute-rgt-neg-in_binary64_1059`
1842×	`associate-/r/_binary64_1388`
1809×	`sub-neg_binary64_412`
1791×	`distribute-lft-in_binary64_2755`
1787×	`distribute-lft-neg-in_binary64_2081`
1785×	`distribute-rgt-neg-in_binary64_2423`
1778×	`cancel-sign-sub-inv_binary64_2431`
1768×	`distribute-lft-neg-in_binary64_376`
1756×	`log-div_binary64_165`
1755×	`pow-sqr_binary64_2438`
1749×	`associate-/l/_binary64_3776`
1741×	`distribute-lft-neg-in_binary64_35`
1722×	`associate-/r*_binary64_3773` `neg-mul-1_binary64_2120`
1714×	`cancel-sign-sub-inv_binary64_3454`
1713×	`associate-*r/_binary64_1043`
1706×	`neg-mul-1_binary64_3484`
1701×	`distribute-rgt-neg-in_binary64_1400`
1691×	`log-prod_binary64_505` `associate-/r/_binary64_2070`
1690×	`associate-+l+_binary64_3421`
1684×	`neg-sub0_binary64_2119`
1676×	`distribute-lft-neg-in_binary64_1740`
1675×	`neg-sub0_binary64_1437`
1674×	`sqr-pow_binary64_2778` `cube-prod_binary64_106` `exp-prod_binary64_471`
1655×	`exp-prod_binary64_130`
1653×	`associate-*l/_binary64_362`
1651×	`associate-+l+_binary64_2057`
1650×	`distribute-lft-in_binary64_1732`
1609×	`associate-*l/_binary64_2067`
1605×	`neg-sub0_binary64_3483`
1601×	`sub-neg_binary64_4163`
1591×	`+-commutative_binary64_1372`
1590×	`+-commutative_binary64_690`
1575×	`associate-*l/_binary64_3431`
1571×	`sqr-pow_binary64_3460`
1560×	`associate-+l+_binary64`
1558×	`times-frac_binary64_2812`
1557×	`neg-sub0_binary64_1778`
1554×	`log-prod_binary64_1528`
1544×	`associate-/r/_binary64_3093`
1533×	`associate-/l/_binary64`
1526×	`sqr-pow_binary64_1755`
1525×	`associate-l_binary64_3770`
1524×	`distribute-lft-neg-in_binary64_1058`
1522×	`unsub-neg_binary64_72`
1508×	`+-commutative_binary64`
1504×	`associate-*l/_binary64_2749` `distribute-lft-in_binary64_3096`
1493×	`unsub-neg_binary64_2118`
1484×	`associate-*r/_binary64_20`
1473×	`sqr-pow_binary64_732`
1470×	`associate-/r*_binary64`
1465×	`associate--l+_binary64_697`
1461×	`pow-sqr_binary64_51`
1456×	`cube-prod_binary64_447`
1447×	`log-prod_binary64_2551`
1442×	`sub-neg_binary64_3822`
1430×	`unsub-neg_binary64_1777`
1429×	`distribute-neg-in_binary64_1403`
1425×	`associate-*l/_binary64_1385`
1420×	`div-sub_binary64`
1394×	`distribute-lft-neg-out_binary64_719` `associate-r_binary64_3769`
1381×	`associate-+l+_binary64_1375`
1378×	`distribute-rgt-out_binary64_3441`
1375×	`distribute-lft-neg-in_binary64_2422`
1374×	`cube-prod_binary64_2493`
1362×	`log-div_binary64_2211`
1354×	`cancel-sign-sub-inv_binary64_4818`
1353×	`log-prod_binary64_3915`
1350×	`distribute-rgt-in_binary64_5143`
1348×	`sqr-pow_binary64_2096`
1347×	`unswap-sqr_binary64_2774`
1337×	`distribute-lft-neg-in_binary64_1399`
1336×	`associate-/r*_binary64_2068`
1311×	`associate-+r+_binary64_692` `associate-*r/_binary64_3430`
1307×	`exp-prod_binary64_1494` `associate-+l+_binary64_693`
1302×	`sqr-pow_binary64_3119`
1298×	`exp-prod_binary64_1153`
1286×	`unswap-sqr_binary64_4820`
1279×	`cancel-sign-sub-inv_binary64_3795`
1275×	`log-div_binary64_2552`
1271×	`associate-+r+_binary64`
1270×	`unswap-sqr_binary64_5161`
1250×	`distribute-neg-frac_binary64_2429`
1240×	`unswap-sqr_binary64_3797`
1230×	`associate-*r/_binary64_2748`
1217×	`distribute-rgt-out_binary64_1395`
1213×	`distribute-rgt-out_binary64_713`
1211×	`exp-sum_binary64_3193`
1209×	`distribute-rgt-neg-out_binary64_720` `associate-+l+_binary64_1716`
1206×	`exp-prod_binary64_2176`
1197×	`+-commutative_binary64_2054`
1194×	`associate-*r/_binary64_361`
1193×	`distribute-rgt-out_binary64_2077`
1191×	`times-frac_binary64_3835`
1190×	`distribute-lft-neg-out_binary64_1060`
1186×	`distribute-rgt-in_binary64_4461`
1171×	`distribute-rgt-out--_binary64_1396`
1165×	`distribute-neg-frac_binary64_1065`
1161×	`associate-l_binary64_4452`
1156×	`distribute-neg-frac_binary64_42`
1153×	`associate-/l*_binary64_4456`
1144×	`associate-+l-_binary64_695` `distribute-neg-in_binary64_1062`
1141×	`distribute-rgt-in_binary64_4802` `sqr-pow_binary64`
1137×	`distribute-rgt-neg-out_binary64`
1124×	`associate-/l*_binary64_3774`
1120×	`swap-sqr_binary64_45`
1118×	`distribute-rgt-out_binary64_5146`
1117×	`associate-r_binary64_4451`
1107×	`*-commutative_binary64_4783`
1100×	`unsub-neg_binary64_2459`
1094×	`distribute-lft-in_binary64_4460`
1092×	`unsub-neg_binary64_413`
1081×	`exp-prod_binary64_3199`
1076×	`exp-diff_binary64_3195`
1072×	`distribute-rgt-neg-in_binary64_3446`
1071×	`neg-sub0_binary64_2460`
1070×	`distribute-neg-frac_binary64_1406`
1065×	`associate-+r+_binary64_2056`
1058×	`associate-*r/_binary64_1384`
1050×	`associate--l+_binary64_2061` `distribute-lft-neg-out_binary64_2424`
1048×	`neg-mul-1_binary64_2461`
1045×	`exp-prod_binary64_2517`
1040×	`distribute-rgt-neg-out_binary64_1061`
1039×	`neg-mul-1_binary64_4166`
1038×	`neg-mul-1_binary64_74` `distribute-lft-neg-out_binary64`
1028×	`div-sub_binary64_5198`
1023×	`associate-*l/_binary64`
1012×	`pow-sqr_binary64_392`
1007×	`associate-/l/_binary64_3094` `distribute-lft-neg-out_binary64_1401` `associate-+r+_binary64_1374`
1003×	`+-commutative_binary64_3077`
996×	`neg-mul-1_binary64_415`
983×	`neg-sub0_binary64_73` `associate-l_binary64_5134`
982×	`associate-+l+_binary64_2739` `sqr-pow_binary64_1073`
975×	`distribute-neg-out_binary64_722`
967×	`distribute-neg-in_binary64_3449`
964×	`distribute-neg-in_binary64_721`
961×	`cube-prod_binary64` `associate-*l/_binary64_3090`
956×	`distribute-neg-in_binary64`
953×	`associate-/l*_binary64_705`
950×	`distribute-lft-neg-out_binary64_3447` `associate--r+_binary64_696`
946×	`cube-prod_binary64_1129` `distribute-lft-in_binary64_5142`
945×	`distribute-lft-in_binary64_3778`
938×	`associate-*r/_binary64_2066`
928×	`associate-/r*_binary64_4796`
927×	`log-prod_binary64`
922×	`neg-sub0_binary64_414` `+-commutative_binary64_1031`
916×	`div-sub_binary64_4516`
905×	`log-prod_binary64_3233`
901×	`distribute-rgt-neg-out_binary64_3448`
896×	`sub-neg_binary64_4504`
891×	`div-sub_binary64_3834`
881×	`log-div_binary64_1188`
880×	`distribute-neg-frac_binary64_383`
874×	`distribute-rgt-neg-in_binary64_3787`
869×	`associate-/l*_binary64_2751`
860×	`difference-of-squares_binary64_729`
853×	`log-prod_binary64_846`
852×	`distribute-lft-neg-out_binary64_2765`
849×	`distribute-rgt-in_binary64_4120` `distribute-lft-neg-in_binary64_3445` `log-prod_binary64_1869` `sqr-pow_binary64_1414`
845×	`associate-*r/_binary64`
844×	`div-sub_binary64_4175`
843×	`distribute-rgt-neg-out_binary64_2425`
834×	`associate--l+_binary64_1720`
825×	`cube-prod_binary64_1470`
823×	`cube-prod_binary64_2834`
822×	`distribute-rgt-neg-out_binary64_1402`
818×	`distribute-lft-in_binary64_4801` `sub-neg_binary64_4845`
817×	`associate-r_binary64_5133`
813×	`associate--r+_binary64_1378`
808×	`distribute-frac-neg_binary64_2428`
804×	`associate-+l+_binary64_3080`
803×	`unsub-neg_binary64_4505`
802×	`distribute-neg-in_binary64_2085`
801×	`+-commutative_binary64_3418`
793×	`distribute-neg-in_binary64_1744`
787×	`+-commutative_binary64_2736`
780×	`times-frac_binary64_4858` `associate--r+_binary64_2060`
777×	`associate--r+_binary64_3083` `associate-+r+_binary64_3420`
772×	`exp-prod_binary64_3881`
767×	`distribute-rgt-out--_binary64_714`
764×	`distribute-lft-neg-out_binary64_1742` `exp-prod_binary64`
763×	`exp-prod_binary64_1835` `neg-sub0_binary64_4165`
760×	`distribute-rgt-out_binary64`
754×	`+-commutative_binary64_4100`
753×	`+-commutative_binary64_2395`
748×	`associate-+l+_binary64_1034`
740×	`pow-sqr_binary64_3461`
735×	`distribute-rgt-out--_binary64_1055`
732×	`+-commutative_binary64_8` `associate-/l/_binary64_4799`
729×	`associate-+l+_binary64_11`
727×	`*-commutative_binary64_4442` `cube-prod_binary64_788`
726×	`associate-*l/_binary64_703`
725×	`distribute-lft-neg-in_binary64_3786`
724×	`*-commutative_binary64_5124`
721×	`associate--l-_binary64_1721`
719×	`log-div_binary64_1870`
717×	`distribute-lft-neg-out_binary64_2083`
715×	`cube-prod_binary64_1811` `unpow3_binary64_2531`
714×	`distribute-rgt-out_binary64_1054`
713×	`associate-l_binary64_4793`
711×	`associate-+l-_binary64_3082` `associate-+l-_binary64_1718`
702×	`associate-*r/_binary64_3089`
694×	`distribute-neg-frac_binary64_2088` `cube-prod_binary64_2152` `distribute-neg-in_binary64_39`
693×	`log-div_binary64_3234`
688×	`distribute-rgt-out--_binary64_2078`
687×	`unsub-neg_binary64_4846`
686×	`times-frac_binary64_5199`
685×	`distribute-rgt-neg-out_binary64_1743`
681×	`distribute-neg-frac_binary64_1747` `distribute-rgt-neg-out_binary64_2766`
678×	`+-commutative_binary64_1713` `swap-sqr_binary64_386`
673×	`log-div_binary64_506`
672×	`associate--l+_binary64` `associate-r_binary64_4792`
671×	`log-prod_binary64_3574`
669×	`distribute-rgt-neg-in_binary64_4810`
666×	`distribute-neg-in_binary64_3108`
665×	`distribute-lft-out_binary64_3439`
662×	`distribute-rgt-out--_binary64` `distribute-lft-neg-out_binary64_4470`
656×	`sqr-pow_binary64_3801` `associate-/l/_binary64_707`
655×	`log-div_binary64_1529`
654×	`times-frac_binary64_4176`
645×	`unpow3_binary64_485`
635×	`cube-div_binary64_107`
633×	`associate-/l*_binary64_5138`
632×	`+-commutative_binary64_349`
630×	`distribute-lft-out_binary64_1393`
629×	`unpow3_binary64_144`
628×	`associate-+l-_binary64_3423`
624×	`distribute-rgt-neg-out_binary64_4471`
620×	`neg-sub0_binary64_3824`
616×	`distribute-rgt-out_binary64_31`
615×	`distribute-lft-neg-in_binary64_4809`
613×	`neg-mul-1_binary64_3825`
611×	`*-rgt-identity_binary64_1773`
610×	`associate-+l+_binary64_3762`
606×	`associate-+r-_binary64_1376`
603×	`associate--r+_binary64_1719`
599×	`associate-+r+_binary64_1033` `associate-+l-_binary64_1377`
595×	`distribute-lft-out_binary64_5144`
592×	`cube-div_binary64_2494`
590×	`distribute-rgt-neg-in_binary64_4128`
589×	`associate-+l-_binary64`
588×	`+-commutative_binary64_4782`
586×	`associate-+r+_binary64_10`
584×	`*-commutative_binary64_4101`
581×	`exp-sum_binary64_2852`
580×	`associate-+r+_binary64_1715`
579×	`unswap-sqr_binary64_4138`
578×	`unsub-neg_binary64_4164`
577×	`associate--r+_binary64` `unpow3_binary64`
576×	`distribute-lft-neg-out_binary64_3106`
574×	`associate--r+_binary64_14`
572×	`distribute-rgt-neg-out_binary64_2084` `distribute-lft-neg-out_binary64_37`
571×	`associate--l+_binary64_1379`
570×	`associate-+r-_binary64_3081`
562×	`exp-sum_binary64_4557`
561×	`cube-mult_binary64_2495`
560×	`associate-+r+_binary64_3079` `distribute-rgt-neg-out_binary64_3107`
558×	`swap-sqr_binary64_1068`
557×	`cube-prod_binary64_3857`
556×	`swap-sqr_binary64_2432`
553×	`associate-r_binary64_4110` `distribute-rgt-neg-out_binary64_38` `swap-sqr_binary64_2091`
547×	`neg-mul-1_binary64_4848`
544×	`distribute-neg-in_binary64_4131`
543×	`log-pow_binary64_2895`
539×	`cube-mult_binary64_449`
533×	`div-sub_binary64_2811` `log-div_binary64_3916`
527×	`cube-prod_binary64_3516` `neg-sub0_binary64_4847`
521×	`cube-mult_binary64_108`
520×	`associate-/r_binary64_704` `distribute-rgt-out_binary64_2759` `-lft-identity_binary64_1772` `swap-sqr_binary64_1750`
517×	`cube-div_binary64_1812`
516×	`distribute-rgt-out_binary64_372`
514×	`distribute-neg-out_binary64`
513×	`associate-/l*_binary64_4797`
512×	`distribute-rgt-neg-in_binary64_4469`
508×	`pow-sqr_binary64_1756` `sqr-pow_binary64_4824`
504×	`log-prod_binary64_5279`
503×	`unsub-neg_binary64_5187`
501×	`neg-mul-1_binary64_4507`
500×	`distribute-rgt-out_binary64_4805`
498×	`distribute-neg-frac_binary64_3452`
496×	`distribute-neg-frac_binary64`
495×	`associate--l+_binary64_3425`
494×	`neg-sub0_binary64_4506` `associate-/r/_binary64_4116`
493×	`associate--l+_binary64_3084`
492×	`distribute-rgt1-in_binary64_1398`
491×	`cancel-sign-sub-inv_binary64_4477` `distribute-lft-out_binary64_711`
488×	`exp-prod_binary64_5245`
485×	`*-lft-identity_binary64_3477` `swap-sqr_binary64` `associate--l+_binary64_15`
483×	`associate-+l-_binary64_1036`
481×	`*-rgt-identity_binary64_1091`
476×	`distribute-neg-frac_binary64_3111`
473×	`swap-sqr_binary64_2773`
472×	`associate-/r*_binary64_2750`
471×	`associate--r+_binary64_3765`
470×	`associate--r-_binary64_3427`
468×	`div-sub_binary64_765`
467×	`associate-l_binary64_4111`
466×	`associate-+l+_binary64_4103` `associate--r+_binary64_3424`
464×	`distribute-neg-out_binary64_1404`
463×	`associate-+l+_binary64_4785`
461×	`*-rgt-identity_binary64_1432`
460×	`cube-div_binary64_1471`
459×	`associate-+r+_binary64_4102`
458×	`associate-/r*_binary64_4114`
457×	`distribute-rgt-neg-out_binary64_379`
453×	`unpow3_binary64_826`
452×	`cube-prod_binary64_3175`
449×	`associate-/r/_binary64_4798` `associate--l+_binary64_3766`
448×	`associate--l+_binary64_4107` `exp-prod_binary64_4563`
447×	`associate-*l/_binary64_5136` `unsub-neg_binary64_3823`
445×	`associate-/l*_binary64_4115`
444×	`distribute-lft-neg-out_binary64_378` `*-lft-identity_binary64_67` `distribute-neg-frac_binary64_4816`
442×	`distribute-neg-frac_binary64_3793` `distribute-lft-in_binary64_4119`
441×	`distribute-rgt-out--_binary64_32` `associate--l-_binary64_3426`
440×	`distribute-rgt-out_binary64_1736`
435×	`associate-+l-_binary64_3764`
433×	`remove-double-neg_binary64_3135` `+-commutative_binary64_3759`
431×	`distribute-rgt-out--_binary64_373`
430×	`distribute-lft-out_binary64_29`
429×	`associate--r+_binary64_4106` `associate--r+_binary64_1037`
428×	`/-rgt-identity_binary64_1774`
426×	`swap-sqr_binary64_727`
424×	`cancel-sign-sub-inv_binary64_5159`
421×	`*-rgt-identity_binary64_68`
418×	`associate-+l+_binary64_5126`
417×	`associate-+r+_binary64_2738` `distribute-frac-neg_binary64_3451`
412×	`exp-prod_binary64_3540`
411×	`associate--r-_binary64_17`
410×	`distribute-frac-neg_binary64_1064` `swap-sqr_binary64_4819`
409×	`div-exp_binary64_4903`
408×	`*-rgt-identity_binary64_3478`
405×	`rem-sqrt-square_binary64_91`
403×	`*-lft-identity_binary64_408`
396×	`distribute-frac-neg_binary64_2769` `distribute-lft-out_binary64_2075`
391×	`sub-neg_binary64_5186`
390×	`distribute-rgt-out--_binary64_4465`
389×	`distribute-neg-out_binary64_4473` `log-div_binary64_3575`
388×	`associate--l-_binary64_3085`
386×	`associate-+l-_binary64_2741` `associate-+r-_binary64`
382×	`*-lft-identity_binary64_1090` `associate--l+_binary64_1038`
381×	`associate-*r/_binary64_702` `associate--r+_binary64_2742`
378×	`distribute-neg-out_binary64_4814`
377×	`sub0-neg_binary64_747`
376×	`associate-+l+_binary64_352`
372×	`pow-sqr_binary64_2779`
370×	`distribute-neg-in_binary64_3790`
369×	`*-lft-identity_binary64_1431`
368×	`associate-/l/_binary64_4117`
367×	`prod-exp_binary64_3196` `exp-sum_binary64_1147`
365×	`associate--r+_binary64_2401`
363×	`*-rgt-identity_binary64_2114`
362×	`log-pow_binary64_3236`
360×	`associate-+r-_binary64_1717` `associate-+r+_binary64_3761`
359×	`exp-sum_binary64_806`
357×	`associate-+r-_binary64_694` `distribute-neg-in_binary64_2426`
356×	`exp-sum_binary64`
353×	`associate--l-_binary64_1380`
352×	`associate-/r*_binary64_5137` `associate-+r-_binary64_1035`
351×	`log-pow_binary64_2213`
350×	`distribute-neg-frac_binary64_2770`
348×	`distribute-neg-frac_binary64_724`
347×	`pow-plus_binary64_141` `swap-sqr_binary64_1409` `distribute-frac-neg_binary64_1405`
346×	`sub0-neg_binary64_3134` `exp-sum_binary64_1488`
345×	`rem-sqrt-square_binary64_3501` `distribute-neg-frac_binary64_4134` `distribute-lft-neg-out_binary64_5152` `+-commutative_binary64_5123`
344×	`+-commutative_binary64_4441` `associate-/r*_binary64_4455`
343×	`unpow3_binary64_1849` `distribute-rgt-out_binary64_4464`
342×	`distribute-rgt-neg-out_binary64_5153`
340×	`pow-sqr_binary64_733` `associate--r+_binary64_355` `log-div_binary64_2893`
337×	`associate-+l-_binary64_2059`
334×	`pow-sqr_binary64_4825`
330×	`swap-sqr_binary64_3796`
327×	`associate-+r-_binary64_3763`
326×	`associate-/l/_binary64_2753`
324×	`associate--r-_binary64_1722` `associate-/r/_binary64_2752` `distribute-lft-out_binary64`
322×	`remove-double-neg_binary64_748` `distribute-lft-neg-in_binary64_4127`
321×	`log-pow_binary64_167`
320×	`exp-sum_binary64_2170` `cube-div_binary64_1130`
318×	`*-rgt-identity_binary64_2455`
315×	`distribute-rgt-out_binary64_3782`
313×	`distribute-neg-out_binary64_1063` `unpow3_binary64_1508`
311×	`/-rgt-identity_binary64_3479` `associate--r-_binary64_1381`
310×	`*-rgt-identity_binary64_409`
308×	`associate--l-_binary64_16` `associate--r-_binary64_3086`
307×	`associate-/r/_binary64_4457`
301×	`associate--l+_binary64_2743`
300×	`log-prod_binary64_4597` `distribute-neg-in_binary64_4813`
299×	`distribute-rgt-out_binary64_3100` `unpow3_binary64_3213`
298×	`distribute-lft-out_binary64_1734` `*-rgt-identity_binary64_2796`
296×	`distribute-neg-in_binary64_2767` `associate-*l/_binary64_4454`
295×	`exp-diff_binary64_4559` `associate-/r/_binary64_706`
294×	`distribute-rgt-out--_binary64_2760`
293×	`distribute-lft-neg-out_binary64_3788`
292×	`*-lft-identity_binary64_2795` `associate-/l/_binary64_4458` `associate-+r+_binary64_351`
291×	`distribute-frac-neg_binary64` `associate-+r-_binary64_3422`
289×	`associate--r-_binary64_3768`
288×	`pow-plus_binary64_482`
286×	`associate-/l/_binary64_5140`
285×	`unpow3_binary64_2872`
284×	`sqr-pow_binary64_5165`
281×	`associate-+r+_binary64_4784`
279×	`exp-prod_binary64_4904`
278×	`log-div_binary64`
277×	`associate-*r/_binary64_4453` `distribute-lft-out_binary64_1052`
276×	`distribute-lft-out_binary64_4803`
275×	`-lft-identity_binary64_2113` `associate-l/_binary64_4113`
274×	`pow-sqr_binary64_2097` `distribute-neg-out_binary64_3450`
272×	`distribute-frac-neg_binary64_41`
271×	`pow-sqr_binary64_3120` `cube-div_binary64_3858` `cube-unmult_binary64_797` `distribute-neg-in_binary64_380`
269×	`distribute-neg-out_binary64_2768`
268×	`cube-div_binary64_2153`
265×	`associate--l+_binary64_4789`
264×	`pow-plus_binary64_823`
261×	`cube-div_binary64_448`
258×	`prod-exp_binary64_4901`
257×	`associate-+r-_binary64_2058`
256×	`*-rgt-identity_binary64` `unpow3_binary64_1167`
255×	`unpow3_binary64_3554` `distribute-lft-out_binary64_370`
254×	`sqr-pow_binary64_4142` `associate-*r/_binary64_4794`
253×	`difference-of-squares_binary64_3116`
252×	`distribute-lft-neg-out_binary64_4811` `cube-unmult_binary64_115`
251×	`swap-sqr_binary64_3455`
250×	`distribute-lft-neg-in_binary64_4468` `log-pow_binary64_508`
249×	`distribute-lft-neg-out_binary64_4129`
248×	`*-lft-identity_binary64` `distribute-rgt-out--_binary64_3101`
247×	`cancel-sign-sub_binary64_725`
246×	`associate--r+_binary64_4788`
245×	`distribute-rgt-neg-out_binary64_4812`
244×	`remove-double-neg_binary64_1089`
243×	`cube-mult_binary64` `+-rgt-identity_binary64_745`
242×	`+-rgt-identity_binary64_3132`
237×	`rem-sqrt-square_binary64_773` `log-pow_binary64_3918`
236×	`associate-*r/_binary64_5135`
235×	`neg-sub0_binary64_5188`
233×	`distribute-lft-out_binary64_2757`
232×	`sqr-pow_binary64_4483` `distribute-neg-out_binary64_40`
231×	`div-exp_binary64_1834` `*-rgt-identity_binary64_3819`
230×	`unpow3_binary64_2190` `/-rgt-identity_binary64_69` `distribute-lft-out--_binary64_712`
229×	`-lft-identity_binary64_2454` `associate-l/_binary64_4795`
228×	`associate-*r/_binary64_4112`
226×	`distribute-rgt-neg-out_binary64_3789`
224×	`cube-div_binary64_3517` `associate--l-_binary64_1039`
223×	`associate-+r+_binary64_2397`
221×	`exp-prod_binary64_4222` `associate--r-_binary64_1040`
219×	`associate--l-_binary64_2062` `mul0-lft_binary64_3129`
218×	`mul0-rgt_binary64_3130` `swap-sqr_binary64_3114` `exp-sum_binary64_465`
217×	`mul0-rgt_binary64_3471` `cube-mult_binary64_1813` `pow-plus_binary64_3210`
216×	`distribute-rgt1-in_binary64_1057` `rem-sqrt-square_binary64_1796`
213×	`distribute-lft-out--_binary64` `distribute-rgt-out--_binary64_3442` `distribute-rgt-out--_binary64_1737` `associate-+l-_binary64_4446`
211×	`distribute-neg-out_binary64_2086`
210×	`/-rgt-identity_binary64_1092`
209×	`cube-prod_binary64_5221`
208×	`unpow3_binary64_3895` `exp-diff_binary64_808` `distribute-rgt-neg-in_binary64_5151`
207×	`distribute-lft-out_binary64_3098` `prod-exp_binary64_809` `div-exp_binary64_3198`
206×	`pow-plus_binary64_1505`
205×	`div0_binary64_1082`
204×	`associate-+l+_binary64_2398` `mul0-rgt_binary64_2789` `mul0-rgt_binary64` `distribute-neg-frac_binary64_4475`
203×	`associate-+l+_binary64_4444` `mul0-lft_binary64_2788` `*-rgt-identity_binary64_750`
202×	`remove-double-neg_binary64_1430`
201×	`log-pow_binary64_1190` `cube-unmult_binary64_1138`
200×	`cube-unmult_binary64_2502`
199×	`mul0-lft_binary64_3470`
198×	`distribute-frac-neg_binary64_4474` `neg-mul-1_binary64_5189` `/-rgt-identity_binary64_1433` `distribute-rgt-out_binary64_2418` `associate-+r-_binary64_2740`
197×	`associate--r-_binary64_2063` `cube-unmult_binary64_2161` `associate-+r-_binary64_4445`
196×	`+-lft-identity_binary64_744` `pow-plus_binary64_2528` `*-lft-identity_binary64_749`
195×	`distribute-neg-in_binary64_4472` `cancel-sign-sub_binary64_2089` `associate--r-_binary64_358`
194×	`associate--l+_binary64_2402`
193×	`associate-+r+_binary64_4443`
192×	`pow-plus_binary64_2869`
191×	`distribute-rgt-neg-out_binary64_4130`
188×	`exp-diff_binary64_1149` `associate-+r-_binary64_12` `/-rgt-identity_binary64_410` `cube-unmult_binary64_456`
187×	`pow-plus_binary64_1164` `cube-unmult_binary64` `div0_binary64_3469` `rem-sqrt-square_binary64_3160` `distribute-lft-neg-in_binary64_5150`
186×	`pow-sqr_binary64` `distribute-rgt-out_binary64_4123`
185×	`difference-of-squares_binary64_1070` `distribute-rgt1-in_binary64_2080`
184×	`unswap-sqr_binary64_4479` `cube-unmult_binary64_1479`
183×	`div0_binary64_1764`
182×	`pow-sqr_binary64_1074`
181×	`associate-+r-_binary64_353`
180×	`cube-mult_binary64_3518` `exp-diff_binary64`
179×	`remove-double-neg_binary64`
178×	`cube-mult_binary64_2836` `cancel-sign-sub_binary64_3453`
175×	`count-2_binary64_2072` `cube-unmult_binary64_2843`
174×	`log-pow_binary64_1531` `sub0-neg_binary64_1088` `cube-unmult_binary64_3184`
173×	`associate--l+_binary64_356`
172×	`distribute-lft-out--_binary64_3099`
171×	`pow-plus_binary64` `associate--l-_binary64_3767`
170×	`distribute-frac-neg_binary64_382`
169×	`mul0-lft_binary64_1083` `mul0-rgt_binary64_1084`
168×	`rem-sqrt-square_binary64_432` `exp-sum_binary64_3875` `rem-sqrt-square_binary64_2819` `pow-plus_binary64_1846`
167×	`sub0-neg_binary64_2793` `distribute-rgt-out--_binary64_4806`
165×	`distribute-lft-out--_binary64_30` `log-rec_binary64_2212`
164×	`sub0-neg_binary64_3475` `pow-plus_binary64_3551`
163×	`mul0-lft_binary64_1765`
162×	`prod-exp_binary64_2173` `distribute-frac-neg_binary64_1746` `cancel-sign-sub_binary64_3112`
161×	`*-rgt-identity_binary64_4842` `cube-mult_binary64_790` `associate-+l-_binary64_13` `distribute-lft-out--_binary64_371`
160×	`log-pow_binary64_2554` `cube-unmult_binary64_1820`
159×	`distribute-neg-out_binary64_1745`
158×	`exp-diff_binary64_1490`
157×	`mul-1-neg_binary64_752`
156×	`distribute-lft-out--_binary64_2076` `associate--l-_binary64_698`
155×	`prod-exp_binary64_2855`
154×	`distribute-lft-out_binary64_2416`
153×	`distribute-lft-out--_binary64_1735` `cancel-sign-sub_binary64_1407`
152×	`pow-sqr_binary64_1415`
151×	`/-rgt-identity_binary64_2456` `cube-prod_binary64_4880` `associate-/r/_binary64_5139` `rem-sqrt-square_binary64_2137`
150×	`mul0-rgt_binary64_402`
149×	`cube-mult_binary64_1472`
148×	`remove-double-neg_binary64_1771` `associate--r-_binary64` `distribute-neg-out_binary64_381`
147×	`distribute-lft-out_binary64_3780` `sub0-neg_binary64_1429` `prod-exp_binary64` `associate-+l-_binary64_4787` `cube-div_binary64_2835`
146×	`cube-mult_binary64_1131` `exp-sum_binary64_4898` `cancel-sign-sub_binary64_1066` `div0_binary64_2446`
145×	`remove-double-neg_binary64_2794` `distribute-rgt-out--_binary64_3783` `associate-+l-_binary64_354`
144×	`div-sub_binary64_4857` `distribute-rgt1-in_binary64`
143×	`*-lft-identity_binary64_3136` `/-rgt-identity_binary64_3138` `log-div_binary64_4598`
142×	`mul0-rgt_binary64_61` `distribute-neg-out_binary64_3109`
141×	`*-lft-identity_binary64_5182`
140×	`distribute-frac-neg_binary64_2087`
139×	`div0_binary64_59` `cube-div_binary64` `sqr-neg_binary64_3161`
138×	`exp-diff_binary64_2854` `+-rgt-identity_binary64_1768`
136×	`pow-plus_binary64_2187` `associate--r-_binary64_699` `associate-+r+_binary64_5125`
135×	`distribute-frac-neg_binary64_3792` `exp-diff_binary64_467` `associate--l-_binary64_357`
134×	`mul0-lft_binary64_401` `unpow1/2_binary64_2870`
133×	`*-rgt-identity_binary64_5183`
132×	`mul0-lft_binary64`
131×	`prod-exp_binary64_1491` `associate--r-_binary64_4450` `sub0-neg_binary64` `cube-mult_binary64_2154`
127×	`*-rgt-identity_binary64_3137` `log-pow_binary64` `cube-mult_binary64_3177`
126×	`mul0-lft_binary64_742` `mul0-rgt_binary64_743` `log-pow_binary64_1872`
125×	`count-2_binary64_26`
124×	`mul0-lft_binary64_60` `cube-unmult_binary64_3866` `unpow3_binary64_5259` `distribute-frac-neg_binary64_3110`
123×	`mul0-rgt_binary64_2448` `/-rgt-identity_binary64_2115` `remove-double-neg_binary64_66`
122×	`sub0-neg_binary64_1770` `exp-sum_binary64_1829`
121×	`log-rec_binary64_166`
120×	`exp-to-pow_binary64_3209` `exp-to-pow_binary64_2868` `div0_binary64_400`
119×	`exp-sum_binary64_2511`
118×	`prod-exp_binary64_1832`
117×	`div-exp_binary64_2175` `difference-of-squares_binary64_1411` `--rgt-identity_binary64_3474`
116×	`distribute-neg-in_binary64_5154`
115×	`unpow3_binary64_4918`
114×	`*-lft-identity_binary64_4841` `swap-sqr_binary64_5160`
113×	`mul0-lft_binary64_2447` `distribute-lft-out--_binary64_3440` `+-rgt-identity_binary64`
112×	`+-rgt-identity_binary64_1427`
111×	`cube-unmult_binary64_3525` `associate--l-_binary64` `mul-1-neg_binary64_1093` `associate-+l-_binary64_2400`
110×	`distribute-rgt1-in_binary64_5149`
109×	`mul0-rgt_binary64_1425`
108×	`exp-diff_binary64_2513` `associate--r-_binary64_4791` `distribute-lft-out--_binary64_4463`
106×	`exp-sum_binary64_124` `mul-1-neg_binary64_2457`
104×	`+-rgt-identity_binary64_1086` `+-rgt-identity_binary64_3473`
103×	`mul0-lft_binary64_1424` `rem-sqrt-square_binary64_1114` `rem-sqrt-square_binary64_4865` `distribute-rgt1-in_binary64_716`
102×	`cancel-sign-sub_binary64_4817` `associate-+r-_binary64_2399`
101×	`pow-plus_binary64_4915` `cube-mult_binary64_3859` `distribute-lft-out--_binary64_4804`
100×	`+-rgt-identity_binary64_404` `remove-double-div_binary64_1759` `log-rec_binary64_1871` `*-lft-identity_binary64_3818`
99×	`associate-+r-_binary64_4786` `log-rec_binary64_1530` `log-pow_binary64_849` `distribute-lft-out--_binary64_1053`
98×	`distribute-rgt-out--_binary64_5147` `mul0-rgt_binary64_1766`
97×	`associate--r+_binary64_4447` `mul-1-neg_binary64_3480` `distribute-rgt1-in_binary64_3444`
96×	`exp-sum_binary64_5239` `*-lft-identity_binary64_4500` `unpow1_binary64_818`
95×	`remove-double-neg_binary64_3476` `unpow2_binary64_825` `cube-div_binary64_3176`
94×	`difference-of-squares_binary64_5162` `difference-of-squares_binary64_4480` `rem-sqrt-square_binary64_1455`
93×	`unpow1_binary64_2864` `distribute-neg-frac_binary64_5157` `associate-+l-_binary64_5128` `pow-sqr_binary64_3802`
92×	`difference-of-squares_binary64_4139`
91×	`div-exp_binary64_811` `unpow2_binary64_2871` `exp-diff_binary64_126`
90×	`exp-sum_binary64_4216` `unpow3_binary64_4236` `distribute-lft-out_binary64_4121` `rem-sqrt-square_binary64_2478` `rem-sqrt-square_binary64`
88×	`difference-of-squares_binary64_388` `unpow1/2_binary64_824`
87×	`sin-neg_binary64_3277` `distribute-lft-out_binary64_4462`
86×	`sub0-neg_binary64_2111` `associate--l-_binary64_2744` `sub0-neg_binary64_406` `cube-prod_binary64_4198` `unpow2_binary64`
85×	`cube-prod_binary64_4539` `+-rgt-identity_binary64_2791`
84×	`cube-div_binary64_5222`
83×	`remove-double-div_binary64_3464` `log-rec_binary64_2553`
82×	`+-rgt-identity_binary64_3814` `sqr-neg_binary64_1456` `exp-diff_binary64_1831`
81×	`exp-diff_binary64_3877` `*-rgt-identity_binary64_4501` `cube-unmult_binary64_4889`
80×	`mul0-rgt_binary64_2107` `remove-double-neg_binary64_2112` `unpow1/2_binary64` `remove-double-div_binary64_3805`
79×	`div-exp_binary64_1493` `--rgt-identity_binary64_3133`
78×	`remove-double-div_binary64_2441` `exp-to-pow_binary64_2186` `log-pow_binary64_3577` `exp-sum_binary64_3534` `+-lft-identity_binary64_3131` `cancel-sign-sub_binary64_43`
77×	`distribute-lft1-in_binary64_1397` `unpow1_binary64` `remove-double-neg_binary64_407`
76×	`unpow1/3_binary64_3214` `unpow1/3_binary64_4578` `pow-plus_binary64_3892`
75×	`div0_binary64_1423` `+-rgt-identity_binary64_2109` `unpow2_binary64_484` `difference-of-squares_binary64` `distribute-lft1-in_binary64_1056`
74×	`sqr-neg_binary64_1115` `unpow1/2_binary64_142`
73×	`remove-double-div_binary64_395`
72×	`unpow1/2_binary64_2188` `+-lft-identity_binary64_1085`
71×	`mul-1-neg_binary64` `/-rgt-identity_binary64_3820` `distribute-rgt-out--_binary64_4124` `sqr-neg_binary64` `div0_binary64_3128` `exp-diff_binary64_4900` `distribute-lft-out--_binary64_2758`
70×	`associate-+r-_binary64_5127` `log-rec_binary64_1189` `mul0-lft_binary64_2106` `exp-diff_binary64_3536` `sqr-neg_binary64_2820` `unpow1/2_binary64_1847` `unpow2_binary64_143` `difference-of-sqr--1_binary64_3118`
69×	`sub0-neg_binary64_65` `sub0-neg_binary64_3816` `+-lft-identity_binary64_62`
68×	`/-rgt-identity_binary64` `div0_binary64_2787`
67×	`exp-to-pow_binary64_4573`
66×	`div0_binary64_2105` `+-lft-identity_binary64_2790`
65×	`unpow1_binary64_2523` `unpow1/2_binary64_483` `--rgt-identity_binary64_1769` `distribute-frac-neg_binary64_4133` `cube-mult_binary64_4882`
64×	`associate--l+_binary64_4448` `associate--r+_binary64_5129` `remove-double-div_binary64_1077` `div0_binary64` `associate--l-_binary64_4449`
63×	`mul-1-neg_binary64_1434`
62×	`swap-sqr_binary64_4478` `unpow2_binary64_2530` `unpow1/2_binary64_2529` `rec-exp_binary64_3197` `unpow2_binary64_3212`
61×	`pow-plus_binary64_4233` `mul0-rgt_binary64_5176` `remove-double-div_binary64_54` `distribute-lft-out--_binary64_3781` `+-rgt-identity_binary64_4837`
60×	`log-rec_binary64_507` `unpow1_binary64_477` `+-lft-identity_binary64_403`
59×	`log-rec_binary64_3917` `count-2_binary64_2754` `remove-double-div_binary64_2100` `pow-sqr_binary64_4484`
58×	`exp-lft-sqr_binary64_815` `difference-of-squares_binary64_1752` `distribute-lft1-in_binary64_2079` `exp-sqrt_binary64_1836` `+-lft-identity_binary64_2108` `log-prod_binary64_4938`
57×	`+-lft-identity_binary64_1426` `difference-of-squares_binary64_2775` `log-rec_binary64_3235`
56×	`remove-double-neg_binary64_4499` `exp-neg_binary64_3194` `distribute-frac-neg_binary64_5156`
55×	`associate--r-_binary64_2745` `distribute-lft1-in_binary64_3443` `exp-diff_binary64_2172` `--rgt-identity_binary64_64`
54×	`cube-unmult_binary64_4207` `exp-neg_binary64_4558` `distribute-rgt-out--_binary64_2419` `unpow1_binary64_136` `distribute-rgt1-in_binary64_2762` `log-pow_binary64_5282`
53×	`log-prod_binary64_4256` `mul-1-neg_binary64_5185` `distribute-rgt1-in_binary64_1739` `distribute-lft1-in_binary64` `rem-exp-log_binary64_2846` `mul-1-neg_binary64_70`
52×	`+-rgt-identity_binary64_63` `exp-neg_binary64_1148` `count-2_binary64_367` `mul0-lft_binary64_5175`
51×	`unpow1/2_binary64_3211` `difference-of-squares_binary64_4821` `rem-sqrt-square_binary64_3842` `--rgt-identity_binary64_746` `cube-unmult_binary64_5230`
50×	`mul-1-neg_binary64_1775` `sin-neg_binary64_208` `cube-div_binary64_4881` `*-rgt-identity_binary64_4160`
49×	`cos-neg_binary64_209` `prod-exp_binary64_2514` `sub0-neg_binary64_5180` `associate-+r-_binary64_4104` `unpow1/2_binary64_1506` `log-div_binary64_847`
48×	`/-rgt-identity_binary64_2797` `mul-1-neg_binary64_411` `log-div_binary64_5280` `distribute-neg-out_binary64_4132` `pow-plus_binary64_5256` `unpow1_binary64_3205` `+-lft-identity_binary64_2449` `sub0-neg_binary64_2452` `rem-sqrt-square_binary64_5206`
47×	`cube-div_binary64_789` `associate-+l-_binary64_4105` `cube-neg_binary64_1128` `cube-mult_binary64_5223`
46×	`associate--l-_binary64_4790` `count-2_binary64_3436` `associate--r-_binary64_2404` `prod-exp_binary64_1150` `distribute-rgt1-in_binary64_4808` `sub0-neg_binary64_4839` `exp-diff_binary64_4218` `unpow2_binary64_2189` `unpow1_binary64_2182`
45×	`exp-diff_binary64_5241` `remove-double-neg_binary64_2453`
44×	`distribute-lft1-in_binary64_5148` `cube-mult_binary64_4200` `exp-sqrt_binary64_813` `unpow3_binary64_4577` `cube-neg_binary64_2833`
43×	`sub0-neg_binary64_4498` `remove-double-div_binary64_3123` `unpow2_binary64_1848`
42×	`distribute-frac-neg_binary64_4815` `/-rgt-identity_binary64_751`
41×	`+-rgt-identity_binary64_2450` `unpow1_binary64_1841` `pow-sqr_binary64_5166` `unpow1/2_binary64_3552` `+-rgt-identity_binary64_4155` `rem-log-exp_binary64_2847` `distribute-neg-out_binary64_2427`
40×	`rem-exp-log_binary64` `--rgt-identity_binary64_405` `remove-double-div_binary64_4828` `swap-sqr_binary64_4137` `distribute-rgt1-in_binary64_2421`
39×	`cos-neg_binary64_3278` `unpow2_binary64_3553` `rem-exp-log_binary64_3187` `unpow1/3_binary64_2873` `cube-neg_binary64_1469` `log-rec_binary64_3576`
38×	`distribute-rgt1-in_binary64_3785` `unpow2_binary64_1507` `remove-double-div_binary64_1418` `--rgt-identity_binary64_2792` `/-rgt-identity_binary64_4843`
37×	`associate--l-_binary64_2403` `cancel-sign-sub_binary64` `distribute-lft1-in_binary64_715` `rem-sqrt-square_binary64_4183`
36×	`unpow1_binary64_3546` `pow-plus_binary64_4574` `cube-neg_binary64` `distribute-rgt1-in_binary64_34` `count-2_binary64_1049`
35×	`exp-sqrt_binary64_2177` `count-2_binary64_1390`
34×	`difference-of-squares_binary64_2434` `unpow2_binary64_1166` `--rgt-identity_binary64_3815`
33×	`sqr-neg_binary64_3502` `difference-of-squares_binary64_2093` `mul-1-neg_binary64_3139` `cancel-sign-sub_binary64_2771` `count-2_binary64_2413` `mul-1-neg_binary64_4503`
32×	`difference-of-squares_binary64_47` `div-exp_binary64_2516` `distribute-neg-out_binary64_3791` `exp-lft-sqr_binary64_2861` `difference-of-squares_binary64_3798` `--rgt-identity_binary64_2110` `rem-cbrt-cube_binary64_2148` `unpow1_binary64_1500` `mul-1-neg_binary64_2798` `count-2_binary64_708`
31×	`exp-neg_binary64_2512` `remove-double-neg_binary64_4840`
30×	`sqr-neg_binary64_433` `unpow2_binary64_4235` `sqr-neg_binary64_774` `distribute-lft1-in_binary64_1738`
29×	`unpow1/2_binary64_1165` `remove-double-neg_binary64_3817` `unpow1_binary64_1159` `count-2_binary64` `exp-lft-sqr_binary64_1838` `+-lft-identity_binary64_3472` `+-rgt-identity_binary64_5178` `--rgt-identity_binary64_1428`
28×	`sqr-neg_binary64_2479` `unpow1_binary64_4228` `exp-neg_binary64_1489` `*-lft-identity_binary64_4159` `unpow1/2_binary64_4234` `/-rgt-identity_binary64_5184` `distribute-rgt1-in_binary64_4467`
27×	`--rgt-identity_binary64_1087` `sub0-neg_binary64_4157` `mul0-rgt_binary64_4494`
26×	`pow-sqr_binary64_4143` `rem-exp-log_binary64_4892` `difference-of-squares_binary64_3457` `rec-exp_binary64_2174`
25×	`count-2_binary64_3095` `cancel-sign-sub_binary64_2430` `mul0-lft_binary64_4493`
24×	`count-2_binary64_1731` `mul-1-neg_binary64_4162` `rec-exp_binary64_1492` `unpow1/2_binary64_3893` `count-2_binary64_3777` `rem-square-sqrt_binary64_90`
23×	`div-exp_binary64_3880` `sin-neg_binary64_3618` `cos-neg_binary64_3619` `exp-neg_binary64_3876` `difference-of-sqr-1_binary64_1412` `difference-of-sqr-1_binary64_730` `--rgt-identity_binary64` `rem-exp-log_binary64_2164` `mul-1-neg_binary64_2116` `rem-log-exp_binary64_801`
22×	`exp-neg_binary64_2853` `div-exp_binary64` `--rgt-identity_binary64_2451` `cube-div_binary64_4199` `sqr-neg_binary64_5207` `rem-square-sqrt_binary64_1454` `unpow2_binary64_4917` `exp-sqrt_binary64_1154`
21×	`mul0-lft_binary64_4834` `distribute-lft1-in_binary64_4807` `rem-cbrt-cube_binary64_1466` `associate--r-_binary64_4109` `difference-of-sqr-1_binary64_1071` `rec-exp_binary64_1833` `div-exp_binary64_1152` `sqr-neg_binary64_1797` `mul0-rgt_binary64_4835` `1-exp_binary64_804` `div0_binary64_3810`
20×	`rec-exp_binary64_4902` `cancel-sign-sub_binary64_4476` `1-exp_binary64` `1-exp_binary64_1486` `1-exp_binary64_2509` `cube-unmult_binary64_4548` `sqr-neg_binary64_4525` `log-pow_binary64_4600` `difference-of-sqr--1_binary64_1413`
19×	`prod-exp_binary64_3878` `log-pow_binary64_4259` `difference-of-sqr--1_binary64_1072` `+-rgt-identity_binary64_4496` `exp-lft-sqr_binary64_3884` `cube-neg_binary64_4538` `rem-square-sqrt_binary64_772` `rem-square-sqrt_binary64_431` `1-exp_binary64_122` `log-rec_binary64` `unpow1_binary64_3887` `1-exp_binary64_1827` `distribute-rgt1-in_binary64_3103` `rem-square-sqrt_binary64_2818` `associate--l-_binary64_5131` `cancel-sign-sub_binary64_4135` `exp-neg_binary64`
18×	`+-lft-identity_binary64_1767` `exp-to-pow_binary64_1845` `rem-square-sqrt_binary64_2136` `log-rec_binary64_4599` `1-exp_binary64_1145` `cube-neg_binary64_3174` `log-rec_binary64_2894` `distribute-lft1-in_binary64_33` `unpow1/2_binary64_4916` `div0_binary64_5174` `/-rgt-identity_binary64_4161` `difference-of-sqr--1_binary64_731` `1-exp_binary64_2168` `div0_binary64_4492`
17×	`rem-log-exp_binary64_2165` `distribute-lft1-in_binary64_3102` `unpow2_binary64_3894` `cos-neg_binary64_891` `1-exp_binary64_463` `exp-to-pow_binary64` `cos-neg_binary64_2937` `sqr-neg_binary64_92` `distribute-lft-out--_binary64_5145` `rem-square-sqrt_binary64_1795`
16×	`1-exp_binary64_3532` `exp-sqrt_binary64_4905` `1-exp_binary64_2850` `unpow1/3_binary64_3896` `sin-neg_binary64_2936` `rem-log-exp_binary64_1824` `sin-neg_binary64_890` `exp-lft-sqr_binary64_2179` `1-exp_binary64_3191` `exp-to-pow_binary64_2527` `associate--l-_binary64_4108` `cube-mult_binary64_4541`
15×	`rem-cube-cbrt_binary64_442` `rem-square-sqrt_binary64_4182` `exp-lft-cube_binary64_1498`
14×	`difference-of-sqr-1_binary64` `distribute-lft-out--_binary64_2417` `associate--r-_binary64_5132` `count-2_binary64_4800` `exp-neg_binary64_807` `exp-sqrt_binary64_131` `difference-of-sqr-1_binary64_3117`
13×	`rem-square-sqrt_binary64_3841` `--rgt-identity_binary64_4838` `prod-exp_binary64_3537` `rem-3cbrt-lft_binary64_3172` `div-exp_binary64_470` `log-div_binary64_4257` `cube-neg_binary64_2492` `rem-square-sqrt_binary64_1113` `exp-cbrt_binary64_3542` `cube-neg_binary64_787` `mul0-rgt_binary64_4153` `associate--l+_binary64_5130` `rem-3cbrt-lft_binary64_2831`
12×	`exp-lft-sqr_binary64_4907` `exp-1-e_binary64_1826` `log-rec_binary64_848` `+-lft-identity_binary64_4836` `exp-neg_binary64_3535` `div-exp_binary64_4221` `1-exp_binary64_3873` `unpow1/2_binary64_5257` `rem-square-sqrt_binary64_3500` `rem-cbrt-cube_binary64_102` `mul0-lft_binary64_4152` `rem-log-exp_binary64_3188` `+-lft-identity_binary64_3813` `rem-square-sqrt_binary64` `mul-1-neg_binary64_4844` `rec-exp_binary64_810`
11×	`unpow1_binary64_4910` `exp-1-e_binary64_1144` `rem-cbrt-cube_binary64_443` `exp-lft-sqr_binary64_133` `log-div_binary64_4939` `cube-neg_binary64_105` `exp-1-e_binary64_2849` `distribute-neg-out_binary64_5155` `*-inverses_binary64_1422` `difference-of-sqr-1_binary64_5163` `rem-square-sqrt_binary64_2477` `exp-lft-sqr_binary64_1156` `rem-3cbrt-lft_binary64_1467` `exp-lft-cube_binary64_3203` `pow-base-1_binary64_138` `exp-neg_binary64_4899` `cube-neg_binary64_1810` `exp-sqrt_binary64_472`
10×	`rem-exp-log_binary64_1482` `cos-neg_binary64_2255` `exp-to-pow_binary64_1504` `rem-3cbrt-lft_binary64` `rem-cube-cbrt_binary64_101` `distribute-rgt1-in_binary64_4126` `exp-neg_binary64_5240` `remove-double-div_binary64_736` `exp-1-e_binary64_2167` `sqr-neg_binary64_4184` `rem-3cbrt-lft_binary64_785` `exp-1-e_binary64_121` `rem-square-sqrt_binary64_3159` `cube-neg_binary64_446` `remove-double-neg_binary64_5181` `exp-1-e_binary64_1485` `cube-neg_binary64_5220` `exp-neg_binary64_1830` `rem-exp-log_binary64_2505` `distribute-lft1-in_binary64_2761`
9×	`+-inverses_binary64` `cube-neg_binary64_3856` `distribute-frac-neg_binary64_723` `+-inverses_binary64_1762` `rem-3cbrt-lft_binary64_3854` `rem-3cbrt-lft_binary64_2490` `div-exp_binary64_2857` `+-lft-identity_binary64_4495` `exp-1-e_binary64`
8×	`rem-cbrt-cube_binary64_3171` `exp-to-pow_binary64_822` `distribute-lft-out--_binary64_4122` `sqr-neg_binary64_2138` `exp-sqrt_binary64_3541` `exp-sqrt_binary64_1495` `difference-of-sqr--1_binary64` `cancel-sign-sub_binary64_1748` `unpow1_binary64_4569` `rem-3cbrt-lft_binary64_103` `sqr-neg_binary64_3843` `rem-sqrt-square_binary64_4524` `rem-3cbrt-lft_binary64_4195` `unpow2_binary64_4576` `exp-1-e_binary64_462` `remove-double-div_binary64_5169` `+-inverses_binary64_1421` `rem-3cbrt-lft_binary64_444` `exp-to-pow_binary64_3891` `unpow1/2_binary64_4575` `unpow1/3_binary64` `/-rgt-identity_binary64_4502` `exp-1-e_binary64_803` `+-inverses_binary64_4490` `exp-lft-sqr_binary64_474` `distribute-lft1-in_binary64_3784` `div-exp_binary64_129` `rem-exp-log_binary64_1823`
7×	`log-pow_binary64_4941` `exp-sqrt_binary64_2859` `sqr-neg_binary64_4866` `rec-exp_binary64_1151` `rem-3cbrt-rft_binary64_1468` `cancel-sign-sub_binary64_384` `rem-3cbrt-rft_binary64_2832` `rem-cube-cbrt_binary64_2147` `exp-1-e_binary64_2508`
6×	`exp-1-e_binary64_3872` `exp-cbrt_binary64_2519` `exp-cbrt_binary64_2178` `exp-lft-cube_binary64_2180` `--rgt-identity_binary64_4497` `prod-exp_binary64_127` `exp-lft-sqr_binary64_3543` `mul0-rgt_binary64_3812` `1-exp_binary64_4896` `remove-double-neg_binary64_4158` `rem-cube-cbrt_binary64_3852` `rem-3cbrt-lft_binary64_1126` `1-exp_binary64_4214` `mul0-lft_binary64_3811` `rem-3cbrt-lft_binary64_2149` `difference-of-sqr--1_binary64_3800` `cancel-sign-sub_binary64_3794` `unpow1/3_binary64_1168` `1-exp_binary64_5237` `mul-1-neg_binary64_3821` `log-rec_binary64_5281` `rem-cbrt-cube_binary64_1125` `1-exp_binary64_4555`
5×	`unpow1_binary64_5251` `exp-cbrt_binary64_3201` `unpow2_binary64_5258` `cube-neg_binary64_3515` `sin-neg_binary64_2254` `exp-neg_binary64_125` `prod-exp_binary64_468` `difference-of-sqr-1_binary64_3799` `unpow1/3_binary64_5260` `rem-cbrt-cube_binary64_2489` `rem-3cbrt-lft_binary64_4536` `--rgt-identity_binary64_5179` `div0_binary64_4151` `rem-cbrt-cube_binary64_784` `distribute-lft1-in_binary64_2420` `pow-base-1_binary64_2525` `rem-cube-cbrt_binary64_1124` `exp-lft-sqr_binary64_1497` `unpow-1_binary64_817` `exp-1-e_binary64_3531` `unpow1/3_binary64_827`
4×	`*-inverses_binary64_399` `div-exp_binary64_5244` `log-rec_binary64_4258` `rem-cube-cbrt_binary64_1465` `rem-cube-cbrt_binary64_2829` `prod-exp_binary64_4219` `rem-square-sqrt_binary64_4523` `difference-of-sqr-1_binary64_2094` `cube-neg_binary64_2151` `+-lft-identity_binary64` `remove-double-div_binary64_2782` `unpow1/3_binary64_145` `difference-of-sqr-1_binary64_4822` `difference-of-sqr--1_binary64_4823` `+-lft-identity_binary64_4154` `rem-cbrt-cube_binary64_2830` `difference-of-sqr--1_binary64_5164` `remove-double-div_binary64_4146` `+-inverses_binary64_3126` `+-inverses_binary64_1080` `rem-cbrt-cube_binary64_3853` `rem-3cbrt-lft_binary64_5218`
3×	`sqr-abs_binary64_93` `+-inverses_binary64_398` `div-exp_binary64_4562` `exp-sqrt_binary64_3200` `rem-cbrt-cube_binary64_1807` `-inverses_binary64_4832` `rem-3cbrt-rft_binary64_3855` `rec-exp_binary64_2515` `rem-cube-cbrt_binary64_2488` `-inverses_binary64_58` `exp-lft-cube_binary64_2521` `difference-of-sqr-1_binary64_3458` `rec-exp_binary64_3538` `difference-of-sqr--1_binary64_2095` `rec-exp_binary64_2856` `exp-lft-cube_binary64_1157` `log-rec_binary64_4940` `+-inverses_binary64_2785` `rem-cube-cbrt_binary64_3170` `exp-to-pow_binary64_4914` `rem-square-sqrt_binary64_5205` `*-inverses_binary64_1081` `count-2_binary64_4459` `exp-cbrt_binary64_1155` `+-inverses_binary64_3808` `--rgt-identity_binary64_4156` `+-inverses_binary64_2103` `rem-square-sqrt_binary64_4864` `rem-3cbrt-rft_binary64_786` `cube-neg_binary64_4879` `exp-neg_binary64_466` `difference-of-sqr--1_binary64_3459` `exp-1-e_binary64_4895` `exp-1-e_binary64_5236`
2×	`difference-of-sqr--1_binary64_2777` `rem-3cbrt-lft_binary64_3513` `exp-lft-sqr_binary64` `unpow-1_binary64_1840` `-inverses_binary64_2445` `cosh-def_binary64_1287` `distribute-rgt1-in_binary64_375` `-inverses_binary64_2104` `cos-PI/6_binary64_3596` `unpow1/3_binary64_486` `+-inverses_binary64_739` `rgt-mult-inverse_binary64_1760` `rem-3cbrt-rft_binary64` `div0_binary64_4833` `rem-3cbrt-lft_binary64_1808` `+-inverses_binary64_57` `unpow1/3_binary64_2191` `count-2_binary64_5141` `exp-lft-sqr_binary64_2520` `sinh-def_binary64_1286` `rec-exp_binary64_3879` `unpow-1_binary64_4909` `-inverses_binary64_3127` `rem-3cbrt-rft_binary64_2150` `unpow-1_binary64_4227` `rem-cube-cbrt_binary64_5216` `rem-log-exp_binary64` `distribute-lft1-in_binary64_4466` `cosh-def_binary64_1969` `difference-of-sqr--1_binary64_2436` `sin-PI/6_binary64_3589` `rem-3cbrt-rft_binary64_104` `exp-lft-sqr_binary64_4566` `e-exp-1_binary64_805` `lft-mult-inverse_binary64_2784` `-inverses_binary64` `rem-exp-log_binary64_4210` `*-inverses_binary64_2786` `rem-cube-cbrt_binary64_783` `rec-exp_binary64_128` `rem-3cbrt-rft_binary64_445` `pow-base-1_binary64_3207` `rgt-mult-inverse_binary64_1078` `rem-cbrt-cube_binary64_5217` `rem-3cbrt-rft_binary64_4196` `rem-exp-log_binary64_800` `unpow1/3_binary64_2532` `exp-1-e_binary64_3190` `+-lft-identity_binary64_5177` `difference-of-sqr-1_binary64_2776` `prod-exp_binary64_4560` `unpow1/3_binary64_1850`
1×	`+-inverses_binary64_3467` `sin-PI_binary64_3593` `cos-neg_binary64_1914` `rem-cbrt-cube_binary64_3512` `sinh-def_binary64_1627` `unpow1/3_binary64_1509` `if-if-or-not_binary64_4087` `rec-exp_binary64` `exp-neg_binary64_2171` `if-if-or-not_binary64_1700` `log-E_binary64_3237` `exp-lft-cube_binary64_4908` `sub-1-sin_binary64_3247` `lft-mult-inverse_binary64_2102` `unpow1/3_binary64_3555` `log-E_binary64` `unpow-1_binary64_3204` `rem-3cbrt-lft_binary64_4877` `log-E_binary64_850` `rem-3cbrt-rft_binary64_2491` `rem-3cbrt-rft_binary64_3514` `if-if-or-not_binary64_4769` `rgt-mult-inverse_binary64_2101` `if-if-or-not_binary64_3746` `exp-lft-sqr_binary64_3202` `cos-PI_binary64_3600` `distribute-lft1-in_binary64_374` `1-sub-sin_binary64_3243` `log-E_binary64_2896` `+-inverses_binary64_4831` `rgt-mult-inverse_binary64_4829` `lft-mult-inverse_binary64_1079` `rem-log-exp_binary64_4893` `sqr-abs_binary64_2139` `rem-log-exp_binary64_1483` `log-E_binary64_1532` `lft-mult-inverse_binary64_1420` `rem-exp-log_binary64_3869` `cos-0_binary64_888` `div-exp_binary64_3539` `sqr-abs_binary64_3162`
0×	`gte-same_binary64_2031` `sin-PI_binary64_524` `hang-m-tan_binary64_204` `cos-PI/3_binary64` `sin-0_binary64_1569` `-1-add-sin_binary64_4950` `tanh-def-a_binary64_2993` `hang-p-tan_binary64_2931` `not-lte_binary64_1693` `tanh-def-c_binary64_2995` `sin-+PI/2_binary64_2572` `cos-+PI/2_binary64_3261` `sin-PI/6_binary64_520` `tan-PI/6_binary64_4967` `pow-base-0_binary64_2208` `lte-same_binary64_325` `lte-same_binary64_5440` `if-same_binary64_4425` `sin-+PI/2_binary64_867` `cos-0_binary64_2593` `sin-PI/6_binary64_1202` `1-sub-cos_binary64_3924` `unpow0_binary64_3206` `not-lte_binary64_670` `hang-p-tan_binary64_3272` `rem-log-exp_binary64_5234` `cos-+PI_binary64` `sin-neg_binary64_4641` `if-not_binary64_334` `erfc-erf_binary64_4774` `cos-PI_binary64_3941` `exp-cbrt_binary64` `tan-PI/4_binary64` `not-gt_binary64_5102` `gt-same_binary64_2370` `hang-p0-tan_binary64_2929` `1-sub-cos_binary64_3583` `difference-of-sqr--1_binary64_390` `sin-+PI/2_binary64_4277` `lte-same_binary64_5099` `sinh-cosh_binary64_950` `rem-exp-log_binary64_1141` `hang-m0-tan_binary64_3953` `sinh---cosh_binary64_1293` `cos-PI_binary64_531` `if-false_binary64_3060` `sin-PI/4_binary64_2567` `sin-PI/2_binary64_3251` `if-same_binary64_1015` `sin-+PI/2_binary64_1549` `tan-neg_binary64_210` `pow-base-0_binary64_2549` `cos-+PI_binary64_532` `not-gte_binary64_2035` `rgt-mult-inverse_binary64_1419` `sub-1-sin_binary64_1883` `if-same_binary64_2038` `sin-neg_binary64` `sinh-def_binary64_2650` `tanh-def-b_binary64_5040` `gte-same_binary64_3736` `hang-m0-tan_binary64_4635` `tanh-def-a_binary64_2652` `tan-PI/4_binary64_3945` `lt-same_binary64_3733` `if-if-and-not_binary64_679` `lft-mult-inverse_binary64` `if-if-and-not_binary64_3066` `hang-m-tan_binary64_886` `erf-odd_binary64_2726` `lt-same_binary64_5438` `sin-PI/3_binary64_2227` `sin-0_binary64_546` `sin-+PI/2_binary64_4959` `-inverses_binary64_4491` `-1-add-sin_binary64_2904` `exp-0_binary64_120` `not-gt_binary64_669` `tanh-def-b_binary64_3335` `if-same_binary64_5448` `sinh-cosh_binary64_4360` `and-false-l` `rem-log-exp_binary64_3870` `tan-neg_binary64_1574` `cos-PI/3_binary64_1211` `lt-same_binary64_2710` `cos-+PI/2_binary64_1215` `gte-same_binary64` `hang-p-tan_binary64_2590` `cos-sin-sum_binary64_2218` `tan-PI_binary64` `-inverses_binary64_4150` `cos-+PI/2_binary64_2920` `tan-+PI/2_binary64_1562` `cos-PI/2_binary64_1212` `if-same_binary64_3402` `+-inverses_binary64_4149` `cos-PI/4_binary64_4620` `sinh---cosh_binary64_611` `sub-1-cos_binary64` `tan-PI_binary64_4288` `sub-1-cos_binary64_2223` `if-if-or-not_binary64_2041` `gt-same_binary64_1688` `not-or` `sin-+PI_binary64_2571` `cos-PI/4_binary64_3256` `tanh-def-b_binary64_607` `erf-odd_binary64_4431` `rem-log-exp_binary64_1142` `hang-0m-tan_binary64_541` `difference-of-sqr--1_binary64_4482` `e-exp-1_binary64_2510` `if-false_binary64_2037` `cos-+PI_binary64_4624` `cos-sin-sum_binary64` `1-sub-sin_binary64_515` `hang-p-tan_binary64_885` `sinh-def_binary64_5037` `sin-0_binary64_5320` `if-same_binary64_674` `rem-3cbrt-rft_binary64_4878` `pow-base-0_binary64_3913` `1-sub-sin_binary64_1879` `not-gte_binary64_1353` `rem-cbrt-cube_binary64` `sin-PI/2_binary64_2910` `erfc-erf_binary64_2046` `sin-PI/2_binary64_4615` `erf-erfc_binary64_1363` `sin-+PI/2_binary64_5300` `not-lte_binary64_4762` `hang-0p-tan_binary64_4291` `cos-PI/3_binary64_1552` `tan-PI/6_binary64_875` `if-true_binary64_4764` `1-sub-sin_binary64_856` `if-same_binary64` `cos-PI_binary64_1213` `if-same_binary64_3061` `and-true-l` `remove-double-div_binary64_4487` `not-gt_binary64` `sinh-cosh_binary64_3337` `rem-exp-log_binary64_4551` `sin-PI/6_binary64_1884` `sin-PI/3_binary64_5296` `sub-1-sin_binary64_4611` `tan-PI/6_binary64_3603` `cos-0_binary64_206` `if-if-and_binary64_337` `lte-same_binary64_666` `if-not_binary64_3403` `not-gte_binary64_1694` `not-lte_binary64_3739` `tan-PI/3_binary64_2923` `rgt-mult-inverse_binary64_3465` `tanh-def-c_binary64_2313` `tan-+PI_binary64_3607` `exp-0_binary64_2848` `erf-erfc_binary64_3750` `lte-same_binary64_4076` `exp-0_binary64_1825` `hang-0m-tan_binary64_1564` `e-exp-1_binary64_1146` `sin-+PI_binary64_4276` `lft-mult-inverse_binary64_56` `erf-odd_binary64_3067` `exp-lft-sqr_binary64_5248` `-1-add-cos_binary64_175` `pow-base-1_binary64_2184` `sub-1-cos_binary64_3246` `log-E_binary64_2214` `rem-cube-cbrt_binary64_4875` `if-if-or_binary64_676` `cos-neg_binary64` `cos-PI/3_binary64_2575` `cos-0_binary64_1229` `not-lt_binary64_1350` `exp-cbrt_binary64_5247` `gte-same_binary64_667` `if-true_binary64` `erfc-erf_binary64_4092` `cos-PI_binary64_1554` `tan-0_binary64_3276` `tan-0_binary64_548` `hang-m0-tan_binary64_4976` `not-gte_binary64_4763` `hang-p-tan_binary64_3954` `sin-PI/6_binary64_2225` `e-exp-1_binary64` `erf-erfc_binary64_4432` `pow-base-1_binary64_4230` `if-if-and-not_binary64_2043` `pow-base-0_binary64_3572` `rgt-mult-inverse_binary64` `exp-sqrt_binary64_3882` `exp-0_binary64_5235` `e-exp-1_binary64_4215` `rgt-mult-inverse_binary64_2442` `erf-odd_binary64_5113` `gte-same_binary64_1349` `gt-same_binary64_324` `erfc-erf_binary64_3751` `tan-PI/3_binary64_2241` `tan-+PI_binary64_538` `1-sub-cos_binary64_2901` `and-same` `if-if-or-not_binary64_5451` `-1-add-cos_binary64_3926` `sinh-+-cosh_binary64_1974` `1-sub-sin_binary64_3925` `tan-+PI_binary64_2584` `tan-+PI/2_binary64_2585` `tanh-def-a_binary64_4016` `cancel-sign-sub_binary64_5158` `-1-add-cos_binary64_4608` `lte-same_binary64_1007` `lt-same_binary64_4756` `hang-0p-tan_binary64_1563` `-1-add-cos_binary64_4949` `sin-PI_binary64_1547` `tan-+PI/2_binary64_198` `hang-0m-tan_binary64_1223` `cosh-def_binary64_605` `cos-PI/2_binary64_3940` `rem-cube-cbrt_binary64` `sub-1-cos_binary64_1882` `tan-PI/3_binary64_3264` `1-sub-sin_binary64_3584` `tanh-def-c_binary64_3336` `if-if-or_binary64_3404` `-1-add-cos_binary64_3244` `cos-+PI_binary64_3601` `rem-log-exp_binary64_119` `erf-odd_binary64_4772` `hang-m0-tan_binary64_2589` `if-if-or_binary64_4427` `rem-exp-log_binary64_459` `cos-sin-sum_binary64_4946` `cos-PI_binary64_4623` `exp-lft-sqr_binary64_4225` `not-gt_binary64_1351` `-1-add-sin_binary64_4268` `if-if-or_binary64_335` `cos-+PI_binary64_1896` `if-false_binary64_1696` `rec-exp_binary64_4561` `not-gt_binary64_2374` `not-gte_binary64_3058` `-1-add-cos_binary64_1539` `cos-sin-sum_binary64_1877` `not-lte_binary64_5103` `sin-PI/6_binary64_1543` `exp-0_binary64_461` `sin-PI/6_binary64_4612` `hang-p-tan_binary64_2249` `if-false_binary64_4424` `lt-same_binary64_2369` `tan-+PI_binary64_1902` `exp-lft-cube_binary64_816` `1-sub-sin_binary64_2561` `tanh-def-b_binary64_4358` `sin-PI/6_binary64` `tan-0_binary64_1230` `-1-add-cos_binary64_1198` `cos-PI/4_binary64_1892` `sin-neg_binary64_5323` `1-sub-cos_binary64_514` `cos-0_binary64_3616` `sin-PI/3_binary64_2909` `-1-add-cos_binary64_3585` `hang-m-tan_binary64_2591` `hang-m-tan_binary64_5319` `pow-base-1_binary64_479` `rem-log-exp_binary64_3529` `exp-0_binary64_2507` `sin-PI/4_binary64_521` `sub-1-cos_binary64_859` `hang-p-tan_binary64_203` `tan-PI/4_binary64_1899` `if-false_binary64_5447` `sinh-cosh_binary64_5383` `-1-add-cos_binary64_5290` `sin-+PI_binary64_2230` `cos-+PI_binary64_191` `if-true_binary64_672` `sinh-cosh_binary64` `and-false-r` `if-if-and_binary64_4770` `tanh-def-a_binary64_947` `if-if-or_binary64_4086` `hang-p0-tan_binary64_4293` `sqr-abs_binary64` `tan-PI/3_binary64_4287` `1-sub-sin_binary64` `sinh---cosh_binary64_952` `sin-+PI_binary64_4958` `sin-PI/4_binary64_4613` `not-lt_binary64_4760` `tan-+PI_binary64_4289` `gt-same_binary64` `hang-m0-tan_binary64_2930` `erf-erfc_binary64_1704` `tan-PI/4_binary64_3604` `lft-mult-inverse_binary64_4148` `exp-lft-cube_binary64` `exp-to-pow_binary64_481` `hang-0p-tan_binary64_5314` `if-true_binary64_2377` `tanh-def-a_binary64_4698` `gte-same_binary64_2713` `erf-odd_binary64_1703` `sinh-cosh_binary64_3678` `sin-0_binary64_1910` `1-sub-cos_binary64_5288` `erf-erfc_binary64_5455` `tan-PI/6_binary64_2921` `hang-p-tan_binary64_3613` `gt-same_binary64_4757` `erf-erfc_binary64_340` `tan-PI/3_binary64_1559` `not-lte_binary64_3057` `gt-same_binary64_5098` `gt-same_binary64_5439` `or-true-r` `pow-base-0_binary64_4936` `if-if-and_binary64_5452` `cos-neg_binary64_3960` `1-sub-sin_binary64_2220` `hang-0m-tan_binary64_4292` `cos-PI/6_binary64_527` `log-E_binary64_509` `sin-+PI/2_binary64_2231` `e-exp-1_binary64_3192` `gte-same_binary64_1690` `sinh-cosh_binary64_1632` `hang-m0-tan_binary64_884` `hang-p0-tan_binary64_1565` `-1-add-cos_binary64_2903` `not-gt_binary64_3397` `exp-sqrt_binary64_2518` `lft-mult-inverse_binary64_3466` `cos-sin-sum_binary64_3582` `tanh-def-a_binary64_1288` `sqr-abs_binary64_5208` `cos-PI/3_binary64_2234` `sinh-+-cosh_binary64_5384` `tan-+PI/2_binary64_539` `cos-0_binary64_2252` `if-if-and-not_binary64_4771` `if-if-and_binary64_3747` `unpow-1_binary64_4568` `lt-same_binary64_3392` `tan-neg_binary64_3961` `tan-PI/4_binary64_1558` `log-E_binary64_2555` `unpow0_binary64_3547` `sin-PI_binary64_4616` `if-false_binary64` `lft-mult-inverse_binary64_2443` `cos-PI/2_binary64_5304` `hang-p0-tan_binary64_3611` `cos-PI/2_binary64` `not-gte_binary64_5104` `if-true_binary64_2718` `not-lt_binary64_1009` `sin-PI/2_binary64_1205` `sin-+PI/2_binary64_1208` `if-if-or_binary64_2040` `not-and` `tan-PI/4_binary64_4627` `cosh-def_binary64_2651` `not-lte_binary64_4080` `hang-m0-tan_binary64_3612` `-1-add-sin_binary64_176` `pow-base-1_binary64_2866` `log-E_binary64_4260` `exp-0_binary64_3530` `1-sub-sin_binary64_5289` `tan-PI/3_binary64_3946` `exp-0_binary64_4894` `sinh-def_binary64_3332` `sin-+PI_binary64_1889` `sin-PI/4_binary64_4272` `sinh-+-cosh_binary64_269` `rem-log-exp_binary64_460` `gte-same_binary64_326` `sin-PI/3_binary64_3250` `if-if-or-not_binary64_2723` `lt-same_binary64` `erfc-erf_binary64_2387` `lft-mult-inverse_binary64_4489` `hang-m0-tan_binary64_202` `1-sub-sin_binary64_4266` `unpow0_binary64_1160` `pow-base-1_binary64_3889` `tan-+PI_binary64_879` `sqr-abs_binary64_775` `rgt-mult-inverse_binary64_3806` `hang-0p-tan_binary64_4973` `tan-PI/3_binary64` `sqr-abs_binary64_3503` `sin-PI/3_binary64_1545` `cos-PI/2_binary64_3599` `if-if-or_binary64_3063` `hang-m0-tan_binary64_543` `cos-PI/3_binary64_3257` `-1-add-sin_binary64_858` `not-gte_binary64_330` `-1-add-sin_binary64_1199` `cos-sin-sum_binary64_172` `erf-erfc_binary64_3409` `sinh---cosh_binary64_3680` `or-false-r` `sub-1-sin_binary64_2565` `erf-odd_binary64_3408` `if-true_binary64_1013` `hang-0m-tan_binary64_3951` `cos-PI/6_binary64_3255` `log-E_binary64_1191` `hang-0m-tan_binary64_2928` `not-lte_binary64_2375` `erfc-erf_binary64_682` `sin-+PI_binary64_5299` `gte-same_binary64_2372` `exp-1-e_binary64_4213` `not-gte_binary64_5445` `hang-p-tan_binary64_1567` `sub-1-cos_binary64_3928` `lt-same_binary64_4074` `rem-exp-log_binary64_3528` `sin-+PI_binary64_866` `sinh---cosh_binary64_5044` `tan-PI/6_binary64_3262` `cos-PI/6_binary64_1209` `sqr-abs_binary64_434` `hang-0p-tan_binary64_881` `sinh-+-cosh_binary64_2997` `cos-sin-sum_binary64_4264` `if-if-and_binary64_2383` `sin-PI/2_binary64_5297` `tan-0_binary64_4981` `if-if-and-not_binary64` `e-exp-1_binary64_1487` `if-if-and-not_binary64_2384` `hang-p-tan_binary64_1908` `rem-3cbrt-rft_binary64_4537` `tan-0_binary64` `cos-PI/3_binary64_4962` `pow-base-0_binary64_1185` `if-if-and-not_binary64_5112` `tan-PI/6_binary64_1216` `e-exp-1_binary64_2169` `lte-same_binary64_1689` `-1-add-sin_binary64_3245` `tanh-def-a_binary64_5380` `if-not_binary64_3062` `cos-sin-sum_binary64_2900` `-inverses_binary64_1763` `cos-PI/3_binary64_188` `cos-PI/2_binary64_189` `unpow0_binary64_3888` `tan-neg_binary64` `sinh-cosh_binary64_1973` `1-sub-sin_binary64_4948` `if-true_binary64_1354` `hang-0p-tan_binary64_4632` `cos-+PI/2_binary64_3602` `lft-mult-inverse_binary64_3807` `tanh-def-a_binary64_1970` `cos-PI/4_binary64_2233` `tanh-def-b_binary64_1289` `sin-0_binary64_4979` `cos-PI/6_binary64_186` `hang-0m-tan_binary64_200` `pow-base-0_binary64_3231` `pow-base-1_binary64_4571` `cos-PI/2_binary64_530` `sin-PI/3_binary64_181` `cos-PI/6_binary64_2914` `tan-0_binary64_1571` `if-true_binary64_2036` `sin-PI_binary64_5298` `sin-PI/6_binary64_4953` `gt-same_binary64_3393` `tan-PI/3_binary64_3605` `if-if-and-not_binary64_1702` `-inverses_binary64_3809` `hang-m-tan_binary64_1909` `if-same_binary64_5107` `1-sub-cos_binary64_4947` `tan-PI/4_binary64_876` `rem-log-exp_binary64_2506` `-1-add-cos_binary64_516` `if-if-and_binary64_4088` `not-gte_binary64_2376` `sinh---cosh_binary64` `1-sub-cos_binary64_4265` `rem-cube-cbrt_binary64_4534` `cos-PI_binary64_4282` `erf-erfc_binary64_2045` `-inverses_binary64_740` `erf-erfc_binary64_2386` `erfc-erf_binary64_4433` `unpow-1_binary64_2522` `cos-neg_binary64_5324` `hang-0p-tan_binary64_3268` `tanh-def-a_binary64_265` `erf-odd_binary64_3749` `not-gte_binary64_4081` `unpow-1_binary64_2181` `cos-0_binary64_4980` `not-lt_binary64_4078` `not-lt_binary64_3396` `sinh-def_binary64_1968` `count-2_binary64_4118` `exp-0_binary64_2166` `sin-PI/3_binary64_863` `not-lte_binary64` `sinh-+-cosh_binary64` `if-not_binary64_4085` `if-not_binary64_4426` `not-gte_binary64_3399` `-1-add-cos_binary64_857` `sin-neg_binary64_549` `if-not_binary64_1698` `if-if-or_binary64_1358` `gte-same_binary64_4759` `if-not_binary64_5449` `gte-same_binary64_5441` `exp-cbrt_binary64_3883` `sinh-cosh_binary64_2996` `if-if-or_binary64_3745` `sin-0_binary64_2251` `hang-m-tan_binary64_545` `sin-PI/4_binary64_2908` `tan-PI/3_binary64_877` `-1-add-sin_binary64_4609` `hang-m0-tan_binary64_4294` `cos-+PI/2_binary64_3943` `if-if-or_binary64` `not-lt_binary64_5101` `cos-+PI/2_binary64_2238` `sqr-abs_binary64_1116` `if-if-or_binary64_5450` `tanh-def-a_binary64_606` `hang-m0-tan_binary64_5317` `cos-0_binary64` `e-exp-1_binary64_4556` `1-sub-cos_binary64_3242` `sin-0_binary64_3615` `not-lt_binary64_3737` `erfc-erf_binary64_1705` `cos-+PI_binary64_4283` `erf-odd_binary64_2385` `exp-to-pow_binary64_4232` `rgt-mult-inverse_binary64_4488` `cos-PI/3_binary64_5303` `cos-+PI/2_binary64` `exp-1-e_binary64_4554` `lft-mult-inverse_binary64_3125` `gt-same_binary64_4075` `sin-PI/2_binary64_1887` `hang-p0-tan_binary64_5316` `hang-p-tan_binary64_1226` `erf-erfc_binary64_4773` `hang-m-tan_binary64_3955` `sin-PI/4_binary64` `1-sub-sin_binary64_4607` `sin-0_binary64` `rgt-mult-inverse_binary64_4147` `if-if-or_binary64_1699` `pow-base-1_binary64_4912` `-1-add-sin_binary64_3586` `sin-+PI_binary64_4617` `cube-neg_binary64_4197` `hang-0m-tan_binary64` `-1-add-cos_binary64_2221` `cosh-def_binary64_946` `if-false_binary64_1355` `cos-PI/2_binary64_2576` `if-false_binary64_4765` `sin-PI_binary64_3252` `erfc-erf_binary64_5115` `sub-1-sin_binary64_2224` `sub-1-cos_binary64_4269` `hang-p0-tan_binary64_2588` `pow-base-1_binary64_3548` `if-false_binary64_3742` `if-if-and-not_binary64_1361` `sinh-+-cosh_binary64_1292` `erf-odd_binary64_2044` `tan-neg_binary64_1915` `exp-lft-cube_binary64_4226` `if-same_binary64_2379` `sin-+PI_binary64_2912` `tan-neg_binary64_4302` `cos-PI/4_binary64_4279` `not-lte_binary64_3398` `sin-+PI/2_binary64_3936` `if-same_binary64_2720` `hang-p0-tan_binary64_3270` `if-true_binary64_1695` `gt-same_binary64_3734` `e-exp-1_binary64_464` `not-gt_binary64_5443` `hang-m-tan_binary64_4978` `rem-3cbrt-rft_binary64_3173` `if-true_binary64_4082` `tan-PI/6_binary64_4285` `if-false_binary64_3401` `tan-+PI_binary64_3266` `exp-sqrt_binary64_5246` `if-if-and-not_binary64_3407` `not-gte_binary64_2717` `hang-p-tan_binary64_4295` `erfc-erf_binary64_5456` `erf-odd_binary64_339` `if-if-or-not_binary64_5110` `1-sub-sin_binary64_2902` `exp-lft-cube_binary64_2862` `lte-same_binary64_3735` `cos-PI_binary64_5305` `tan-+PI_binary64_4630` `unpow0_binary64_1501` `tan-0_binary64_1912` `sin-+PI/2_binary64_3254` `unpow0_binary64_4229` `tan-0_binary64_5322` `hang-p0-tan_binary64_1906` `tanh-def-a_binary64` `sinh-cosh_binary64_4701` `sub-1-cos_binary64_5292` `pow-base-0_binary64_4595` `if-if-and-not_binary64_3748` `tan-PI/4_binary64_535` `cos-+PI_binary64_4965` `gte-same_binary64_4418` `-1-add-sin_binary64_2563` `if-not_binary64_3744` `sin-PI/4_binary64_1885` `sinh-def_binary64` `if-false_binary64_2719` `log-E_binary64_3919` `cos-+PI_binary64_3260` `cos-+PI_binary64_873` `cos-+PI/2_binary64_533` `if-if-or-not_binary64_677` `tan-PI_binary64_537` `if-false_binary64_5106` `tanh-def-a_binary64_4357` `rem-cbrt-cube_binary64_4194` `cos-PI/3_binary64_870` `tan-PI/3_binary64_536` `tanh-def-c_binary64_949` `if-true_binary64_3059` `tan-0_binary64_2253` `tan-neg_binary64_551` `tan-+PI/2_binary64_4631` `tan-PI_binary64_1560` `tan-+PI/2_binary64_4972` `erf-erfc_binary64_2727` `cos-+PI/2_binary64_4625` `difference-of-sqr--1_binary64_4141` `log-E_binary64_168` `cos-0_binary64_547` `tan-neg_binary64_4984` `cos-0_binary64_1911` `gte-same_binary64_4077` `sin-+PI_binary64_184` `if-false_binary64_2378` `hang-p-tan_binary64_4977` `sub-1-cos_binary64_1200` `not-gt_binary64_4079` `erf-odd_binary64_4090` `sin-0_binary64_3956` `sinh---cosh_binary64_2998` `pow-base-1_binary64_820` `sin-PI/2_binary64_182` `unpow0_binary64_4911` `hang-m-tan_binary64_1568` `sin-PI_binary64_865` `tan-+PI/2_binary64_880` `not-gt_binary64_2033` `-inverses_binary64_5173` `sin-+PI/2_binary64_185` `tanh-def-a_binary64_3334` `exp-lft-cube_binary64_3885` `sin-PI/3_binary64_4614` `tan-+PI/2_binary64_1221` `cos-sin-sum_binary64_3923` `hang-m0-tan_binary64_2248` `tanh-def-a_binary64_3675` `sin-PI/2_binary64_1546` `gt-same_binary64_3052` `unpow0_binary64` `rem-cube-cbrt_binary64_1806` `sinh-def_binary64_5378` `unpow-1_binary64_1499` `if-if-or-not_binary64` `cos-+PI_binary64_1214` `tanh-def-c_binary64_3677` `cos-0_binary64_4298` `cos-+PI/2_binary64_1897` `1-sub-sin_binary64_1538` `not-gte_binary64_3740` `sub-1-sin_binary64_1201` `tan-0_binary64_3617` `cosh-def_binary64_3333` `-1-add-cos_binary64_2562` `cos-PI_binary64_190` `not-false` `tan-0_binary64_2594` `not-gte_binary64_671` `if-not_binary64_1016` `tan-PI/3_binary64_195` `cos-neg_binary64_2596` `cos-sin-sum_binary64_1195` `sinh---cosh_binary64_1634` `if-if-and_binary64_678` `tan-PI_binary64_4970` `log-E_binary64_1873` `sin-+PI/2_binary64_3595` `tan-PI_binary64_2242` `sinh---cosh_binary64_2657` `cos-neg_binary64_550` `lte-same_binary64_2712` `cos-PI/4_binary64_3597` `pow-base-0_binary64_1867` `hang-m-tan_binary64_3614` `sub-1-cos_binary64_2905` `sin-0_binary64_4297` `tan-neg_binary64_3279` `tan-PI/4_binary64_2240` `tanh-def-c_binary64_267` `exp-cbrt_binary64_4906` `not-lt_binary64_2032` `hang-m-tan_binary64_1227` `if-if-or-not_binary64_3064` `sin-PI/2_binary64` `sin-PI/6_binary64_3930` `cos-+PI/2_binary64_4284` `sqr-abs_binary64_3844` `if-same_binary64_333` `tan-PI/6_binary64_1557` `if-if-or_binary64_4768` `-1-add-cos_binary64_1880` `hang-p0-tan_binary64_883` `lt-same_binary64_2028` `sin-+PI/2_binary64` `cos-neg_binary64_4642` `difference-of-sqr-1_binary64_4140` `cos-PI/4_binary64_528` `not-lte_binary64_1011` `tan-PI_binary64_878` `-1-add-cos_binary64_4267` `sinh-+-cosh_binary64_951` `cos-PI/3_binary64_529` `not-gt_binary64_4761` `log-E_binary64_4942` `if-true_binary64_3400` `sinh-+-cosh_binary64_5043` `sub-1-cos_binary64_3587` `cosh-def_binary64_3674` `cos-PI_binary64_4964` `sin-0_binary64_887` `not-gt_binary64_3738` `tan-PI/6_binary64_3944` `rem-cbrt-cube_binary64_4876` `not-gt_binary64_2715` `if-if-and-not_binary64_338` `tan-PI_binary64_4629` `sinh-cosh_binary64_5042` `hang-m-tan_binary64_2932` `cos-PI/3_binary64_2916` `pow-base-0_binary64_162` `tan-PI/6_binary64_1898` `sin-PI/6_binary64_179` `lft-mult-inverse_binary64_5171` `1-sub-cos_binary64_173` `sinh-def_binary64_4696` `unpow-1_binary64_2863` `not-lt_binary64_2373` `sinh-def_binary64_945` `not-lt_binary64_5442` `cos-PI/6_binary64` `rem-3cbrt-rft_binary64_1127` `erf-odd_binary64_680` `exp-to-pow_binary64_3550` `lft-mult-inverse_binary64_1761` `rem-cube-cbrt_binary64_3511` `erf-odd_binary64_5454` `if-not_binary64_1357` `if-if-and_binary64_1019` `if-if-and-not_binary64_2725` `tan-0_binary64_4640` `tanh-def-b_binary64_266` `cos-PI/4_binary64_1210` `tan-0_binary64_2935` `sinh-def_binary64_2991` `sin-PI/2_binary64_4274` `lt-same_binary64_664` `erfc-erf_binary64_1023` `cos-PI_binary64_872` `sin-0_binary64_2592` `sqr-abs_binary64_1798` `sinh---cosh_binary64_270` `sin-PI/2_binary64_864` `pow-base-0_binary64_2890` `tan-PI/4_binary64_1217` `exp-lft-cube_binary64_4567` `sqr-abs_binary64_4185` `tan-neg_binary64_5325` `e-exp-1_binary64_123` `sinh-cosh_binary64_268` `hang-m-tan_binary64_4637` `cos-+PI_binary64_5306` `tan-neg_binary64_3620` `sin-+PI_binary64_1207` `if-if-and-not_binary64_1020` `if-if-and_binary64_3065` `cos-neg_binary64_1232` `tanh-def-c_binary64_2654` `hang-m-tan_binary64_2250` `hang-0p-tan_binary64_1222` `sin-PI_binary64_1206` `or-same` `exp-cbrt_binary64_1496` `sin-PI/3_binary64` `rem-exp-log_binary64_5233` `exp-to-pow_binary64_140` `exp-to-pow_binary64_1163` `tan-PI_binary64_1901` `lte-same_binary64_3394` `cos-PI/4_binary64_2574` `tan-+PI_binary64_3948` `sinh-cosh_binary64_2655` `cos-0_binary64_5321` `tan-PI/3_binary64_2582` `pow-base-1_binary64` `sqr-abs_binary64_2480` `if-if-and-not_binary64_4430` `if-if-and_binary64_2724` `cos-PI/4_binary64_4961` `lt-same_binary64_1346` `rgt-mult-inverse_binary64_5170` `sin-PI/3_binary64_1886` `cos-+PI_binary64_1555` `if-if-or-not_binary64_3405` `tanh-def-c_binary64_5382` `log-E_binary64_3578` `sinh---cosh_binary64_1975` `cos-0_binary64_2934` `tan-PI/6_binary64_5308` `if-if-and_binary64` `if-not_binary64_2380` `sin-PI/3_binary64_2568` `sin-PI/6_binary64_3248` `tan-0_binary64_4299` `sinh-cosh_binary64_4019` `not-gte_binary64_1012` `sin-PI_binary64_3934` `cos-PI/6_binary64_4278` `cos-PI/2_binary64_2235` `unpow-1_binary64` `pow-base-0_binary64_1526` `lft-mult-inverse_binary64_738` `if-true_binary64_5446` `cos-sin-sum_binary64_854` `exp-cbrt_binary64_4224` `cosh-def_binary64_4356` `cos-PI/2_binary64_4963` `if-if-or_binary64_2381` `tan-+PI_binary64_2243` `erfc-erf_binary64_3410` `unpow-1_binary64_135` `tan-PI/6_binary64_534` `gt-same_binary64_2711` `lte-same_binary64_4417` `tan-PI_binary64_3606` `if-if-or-not_binary64_336` `cos-PI_binary64_3259` `exp-lft-cube_binary64_5249` `sub-1-sin_binary64_3929` `if-same_binary64_3743` `cos-0_binary64_3957` `-1-add-sin_binary64_1881` `tanh-def-b_binary64` `cos-+PI/2_binary64_5307` `-1-add-cos_binary64` `hang-0m-tan_binary64_1905` `tanh-def-c_binary64_4018` `tan-+PI/2_binary64_5313` `pow-base-0_binary64_503` `cos-+PI_binary64_2919` `tanh-def-b_binary64_2653` `tan-neg_binary64_2938` `sin-+PI_binary64_3594` `tanh-def-c_binary64_4700` `sin-PI/2_binary64_3592` `sub-1-sin_binary64_519` `hang-0m-tan_binary64_3610` `gt-same_binary64_1006` `if-if-or_binary64_5109` `1-sub-cos_binary64_855` `1-sub-cos_binary64_2560` `rem-cbrt-cube_binary64_4535` `sinh-def_binary64_604` `sin-PI/2_binary64_2569` `hang-0p-tan_binary64_540` `tanh-def-b_binary64_4017` `tan-+PI/2_binary64_2926` `exp-0_binary64_802` `cos-PI/4_binary64_5302` `hang-0p-tan_binary64_2586` `-1-add-sin_binary64_1540` `pow-base-0_binary64_5277` `tan-+PI/2_binary64_1903` `hang-0p-tan_binary64_2927` `cos-+PI_binary64_2578` `cos-+PI/2_binary64_874` `1-sub-sin_binary64_174` `sin-PI/4_binary64_1203` `cosh-def_binary64_5038` `sin-PI/4_binary64_2226` `if-same_binary64_4766` `if-true_binary64_4423` `pow-base-0_binary64_4254` `e-exp-1_binary64_3533` `rem-exp-log_binary64_118` `tan-PI/4_binary64_3263` `sinh---cosh_binary64_2316` `sinh-+-cosh_binary64_610` `-1-add-sin_binary64_3927` `cos-+PI_binary64_3942` `log-E_binary64_4601` `tan-PI_binary64_5311` `hang-0m-tan_binary64_5315` `tan-+PI_binary64_197` `unpow-1_binary64_3886` `exp-0_binary64_1143` `sub-1-cos_binary64_177` `difference-of-sqr--1_binary64_49` `if-false_binary64_1014` `if-true_binary64_5105` `hang-0p-tan_binary64_199` `sin-0_binary64_2933` `not-gt_binary64_328` `not-not` `sin-PI/3_binary64_4273` `cos-PI/4_binary64_3938` `cos-PI/4_binary64_2915` `tan-PI/3_binary64_1218` `exp-lft-cube_binary64_475` `difference-of-sqr-1_binary64_389` `exp-cbrt_binary64_4565` `sub-1-sin_binary64_3588` `if-not_binary64_675` `cos-PI/6_binary64_868` `tan-PI/6_binary64_193` `sin-PI_binary64_2570` `*-inverses_binary64_3468` `cos-0_binary64_4639` `if-same_binary64_4084` `cos-PI/2_binary64_3258` `difference-of-sqr--1_binary64_1754` `cos-PI/2_binary64_1553` `not-gte_binary64_4422` `erf-erfc_binary64_4091` `if-if-and_binary64_5111` `hang-0p-tan_binary64_1904` `sin-PI/4_binary64_1544` `or-false-l` `+-inverses_binary64_2444` `sqr-abs_binary64_2821` `cos-PI/6_binary64_1891` `cos-PI/4_binary64_1551` `-1-add-sin_binary64` `tan-+PI/2_binary64_3267` `tanh-def-a_binary64_1629` `erf-erfc_binary64` `sub-1-cos_binary64_4610` `not-lte_binary64_4421` `if-if-and_binary64_3406` `hang-0p-tan_binary64` `exp-0_binary64_4212` `cosh-def_binary64_264` `sin-PI/6_binary64_5294` `sin-PI/4_binary64_180` `sinh-+-cosh_binary64_2315` `erfc-erf_binary64_2728` `cos-sin-sum_binary64_1536` `sinh-+-cosh_binary64_2656` `not-lt_binary64_4419` `hang-p-tan_binary64` `cos-PI/3_binary64_3598` `tan-+PI_binary64_5312` `exp-sqrt_binary64_4564` `lte-same_binary64_1348` `sinh-cosh_binary64_2314` `hang-0p-tan_binary64_2245` `tan-PI_binary64_196` `and-true-r` `sin-neg_binary64_1913` `if-not_binary64_4767` `lte-same_binary64_2030` `erf-erfc_binary64_5114` `if-not_binary64_2721` `rem-3cbrt-rft_binary64_1809` `cos-0_binary64_3275` `hang-0m-tan_binary64_3269` `if-if-and-not_binary64_4089` `cos-PI/2_binary64_871` `hang-0m-tan_binary64_882` `sub-1-cos_binary64_518` `hang-m-tan_binary64` `tan-PI/6_binary64_2580` `hang-0p-tan_binary64_3950` `hang-m-tan_binary64_4296` `cos-neg_binary64_4301` `if-if-or-not_binary64_1018` `sin-PI_binary64_2229` `sinh-def_binary64_4014` `prod-exp_binary64_5242` `cos-PI_binary64` `cos-PI/3_binary64_1893` `exp-0_binary64_1484` `lt-same_binary64_5097` `distribute-lft1-in_binary64_4125` `tan-+PI/2_binary64_3608` `sin-PI_binary64` `if-not_binary64` `tanh-def-b_binary64_1971` `unpow0_binary64_1842` `sin-+PI_binary64_3253` `if-false_binary64_673` `lt-same_binary64_4415` `not-lt_binary64_668` `sub-1-sin_binary64_2906` `tan-PI/3_binary64_1900` `not-gt_binary64_1010` `exp-sqrt_binary64_4223` `tan-PI/6_binary64` `cos-PI/6_binary64_4960` `cos-PI/3_binary64_3939` `tanh-def-c_binary64_1290` `if-false_binary64_332` `if-same_binary64_1697` `rec-exp_binary64_4220` `tan-PI/6_binary64_2239` `tan-+PI_binary64` `unpow0_binary64_478` `difference-of-sqr-1_binary64_2435` `if-if-or_binary64_2722` `hang-p0-tan_binary64` `erf-erfc_binary64_3068` `rec-exp_binary64_469` `exp-lft-cube_binary64_134` `sin-PI/2_binary64_523` `tan-neg_binary64_1233` `tan-neg_binary64_892` `tanh-def-a_binary64_2311` `sin-neg_binary64_1231` `or-true-l` `cos-PI_binary64_2577` `cosh-def_binary64_2310` `difference-of-sqr-1_binary64_48` `tanh-def-c_binary64_4359` `sin-PI/4_binary64_3931` `hang-m0-tan_binary64` `sinh-+-cosh_binary64_4020` `sub-1-sin_binary64` `remove-double-div_binary64` `sin-PI/6_binary64_2907` `lt-same_binary64_1005` `sin-PI/2_binary64_4956` `cos-PI/6_binary64_2573` `div0_binary64_741` `lte-same_binary64_4758` `pow-base-0_binary64` `unpow-1_binary64_3545` `lte-same_binary64_3053` `unpow0_binary64_2524` `sin-neg_binary64_2595` `sin-0_binary64_1228` `sinh-def_binary64_2309` `rgt-mult-inverse_binary64_3124` `sqr-abs_binary64_1457` `-1-add-sin_binary64_517` `hang-p0-tan_binary64_4975` `if-if-or-not_binary64_4428` `cos-sin-sum_binary64_2559` `cos-PI/4_binary64_187` `tanh-def-b_binary64_1630` `e-exp-1_binary64_3874` `rem-3cbrt-rft_binary64_5219` `cosh-def_binary64_4015` `sin-0_binary64_4638` `not-lte_binary64_2716` `cosh-def_binary64_5379` `erf-odd_binary64_1021` `exp-cbrt_binary64_132` `unpow-1_binary64_476` `sin-PI/4_binary64_4954` `tan-+PI_binary64_2925` `rem-cube-cbrt_binary64_4193` `e-exp-1_binary64_1828` `sinh-+-cosh_binary64_4702` `sin-+PI/2_binary64_2913` `not-lt_binary64_327` `tanh-def-b_binary64_5381` `cos-sin-sum_binary64_5287` `sub-1-sin_binary64_4952` `unpow0_binary64_5252` `cos-PI_binary64_2918` `if-if-or_binary64_1017` `cos-+PI/2_binary64_192` `sin-PI/6_binary64_4271` `hang-0m-tan_binary64_4633` `hang-p0-tan_binary64_4634` `tanh-def-b_binary64_3676` `hang-m0-tan_binary64_1225` `tan-PI/3_binary64_4628` `1-sub-cos_binary64_1537` `cosh-def_binary64_4697` `tan-+PI_binary64_1561` `if-true_binary64_3741` `1-sub-cos_binary64_2219` `unpow0_binary64_2865` `exp-0_binary64_3189` `lte-same_binary64` `if-true_binary64_331` `e-exp-1_binary64_5238` `unpow1/3_binary64_4919` `sin-0_binary64_3274` `tanh-def-b_binary64_948` `sinh-def_binary64_3673` `sin-PI/4_binary64_3590` `rgt-mult-inverse_binary64_396` `e-exp-1_binary64_2851` `exp-0_binary64` `sub-1-sin_binary64_1542` `cos-PI/3_binary64_4621` `sin-PI/4_binary64_862` `not-lte_binary64_2034` `sin-+PI/2_binary64_4618` `sin-neg_binary64_4982` `1-sub-cos_binary64_1878` `exp-0_binary64_4553` `sin-PI/6_binary64_2566` `e-exp-1_binary64_4897` `gte-same_binary64_5100` `cos-PI/3_binary64_4280` `hang-p0-tan_binary64_542` `cos-PI/2_binary64_4622` `sinh-cosh_binary64_1291` `1-sub-cos_binary64_1196` `sin-PI/3_binary64_3591` `erfc-erf_binary64_341` `sin-neg_binary64_1572` `sinh-+-cosh_binary64_1633` `exp-cbrt_binary64_2860` `tanh-def-c_binary64_1972` `cos-sin-sum_binary64_513` `rem-log-exp_binary64_4211` `exp-cbrt_binary64_473` `sin-PI_binary64_4957` `tan-PI/3_binary64_4969` `pow-base-0_binary64_844` `if-false_binary64_4083` `sqr-abs_binary64_4526` `sin-PI/3_binary64_522` `sin-neg_binary64_3959` `sub-1-sin_binary64_860` `lt-same_binary64_323` `sub-1-cos_binary64_1541` `sin-+PI_binary64_525` `tan-neg_binary64_2256` `sin-PI/2_binary64_3933` `tanh-def-c_binary64` `tanh-def-a_binary64_5039` `cos-PI/2_binary64_4281` `if-if-and_binary64_4429` `tan-PI/4_binary64_4286` `sinh---cosh_binary64_4362` `sinh-cosh_binary64_609` `sin-+PI_binary64` `not-gt_binary64_4420` `tan-PI/3_binary64_5310` `tan-PI/4_binary64_2922` `hang-0m-tan_binary64_2246` `hang-p0-tan_binary64_1224` `sin-PI_binary64_1888` `if-same_binary64_1356` `tanh-def-c_binary64_608` `tanh-def-b_binary64_4699` `cosh-def_binary64_2992` `unpow0_binary64_819` `cos-PI/6_binary64_5301` `gt-same_binary64_4416` `cos-sin-sum_binary64_4605` `exp-neg_binary64_4217` `sin-PI/4_binary64_3249` `tan-+PI/2_binary64_2244` `sinh-+-cosh_binary64_3679` `cosh-def_binary64_1628` `hang-m-tan_binary64_3273` `erfc-erf_binary64_1364` `exp-lft-cube_binary64_3544` `sinh-+-cosh_binary64_4361` `cube-div_binary64_4540` `erfc-erf_binary64` `erf-erfc_binary64_1022` `hang-m0-tan_binary64_1566` `if-if-or-not_binary64_2382` `exp-cbrt_binary64_1837` `cos-neg_binary64_1573` `not-gt_binary64_1692` `not-gt_binary64_3056` `sub-1-cos_binary64_4951` `tan-PI/4_binary64_5309` `1-sub-cos_binary64_4606` `sin-PI/6_binary64_861` `sin-+PI/2_binary64_1890` `if-if-and-not_binary64_5453` `cos-PI/2_binary64_2917` `erfc-erf_binary64_3069` `log-E_binary64_5283` `sin-PI/3_binary64_4955` `pow-base-1_binary64_1502` `not-lte_binary64_329` `tan-PI/6_binary64_4626` `pow-base-1_binary64_5253` `cos-+PI/2_binary64_1556` `tan-PI_binary64_3947` `cos-PI/4_binary64` `exp-to-pow_binary64_5255` `if-not_binary64_5108` `sin-PI/2_binary64_2228` `gt-same_binary64_1347` `not-gte_binary64` `unpow1/3_binary64_4237` `sin-0_binary64_205` `tan-0_binary64_889` `tan-PI_binary64_1219` `sin-+PI_binary64_3935` `hang-0p-tan_binary64_3609` `hang-0m-tan_binary64_2587` `sin-PI_binary64_183` `gte-same_binary64_3054` `unpow0_binary64_2183` `tan-PI_binary64_3265` `cos-PI/6_binary64_1550` `hang-p0-tan_binary64_2247` `lft-mult-inverse_binary64_4830` `exp-lft-cube_binary64_1839` `rgt-mult-inverse_binary64_2783` `hang-p0-tan_binary64_3952` `tanh-def-c_binary64_1631` `sinh---cosh_binary64_3339` `gt-same_binary64_665` `gte-same_binary64_3395` `tan-+PI/2_binary64_3949` `cos-sin-sum_binary64_3241` `rgt-mult-inverse_binary64_737` `hang-p-tan_binary64_5318` `lt-same_binary64_1687` `sinh---cosh_binary64_4021` `cos-PI_binary64_1895` `sin-+PI/2_binary64_526` `tan-PI_binary64_2924` `not-true` `hang-m0-tan_binary64_3271` `if-if-or-not_binary64_1359` `tan-PI_binary64_2583` `rgt-mult-inverse_binary64_55` `erf-erfc_binary64_681` `sub-1-cos_binary64_2564` `sub-1-sin_binary64_178` `cos-+PI/2_binary64_2579` `sinh-+-cosh_binary64_3338` `cos-+PI/2_binary64_4966` `cos-0_binary64_1570` `tan-+PI_binary64_4971` `sinh-def_binary64_4355` `cos-PI_binary64_2236` `sin-PI_binary64_4275` `hang-p-tan_binary64_4636` `1-sub-sin_binary64_1197` `cos-PI/6_binary64_2232` `exp-cbrt_binary64_814` `cos-PI/2_binary64_1894` `exp-sqrt_binary64` `erf-odd_binary64_1362` `cos-+PI_binary64_2237` `lft-mult-inverse_binary64_397` `tan-0_binary64_207` `not-lt_binary64` `unpow-1_binary64_5250` `cos-neg_binary64_4983` `if-if-and_binary64_1360` `not-lt_binary64_3055` `sin-+PI_binary64_1548` `sin-neg_binary64_4300` `cos-PI/6_binary64_4619` `1-sub-cos_binary64` `unpow0_binary64_4570` `cos-PI/6_binary64_3937` `sin-PI/3_binary64_3932` `sinh---cosh_binary64_5385` `pow-base-1_binary64_1161` `lt-same_binary64_3051` `if-not_binary64_2039` `sinh-def_binary64_263` `exp-0_binary64_3871` `tanh-def-b_binary64_2994` `tanh-def-c_binary64_5041` `tan-neg_binary64_4643` `hang-m0-tan_binary64_1907` `tan-PI/4_binary64_2581` `tan-+PI_binary64_1220` `not-lt_binary64_1691` `sqr-abs_binary64_4867` `sinh---cosh_binary64_4703` `erf-odd_binary64` `not-lte_binary64_5444` `cos-PI/4_binary64_869` `cosh-def_binary64` `hang-p0-tan_binary64_201` `tan-PI/4_binary64_194` `sin-PI_binary64_2911` `tan-neg_binary64_2597` `sin-PI/3_binary64_1204` `+-inverses_binary64_5172` `sin-PI/4_binary64_5295` `if-if-and_binary64_1701` `tan-0_binary64_3958` `-1-add-sin_binary64_2222` `if-if-and_binary64_2042` `difference-of-sqr-1_binary64_4481` `not-lt_binary64_2714` `gt-same_binary64_2029` `rec-exp_binary64_5243` `rem-log-exp_binary64_4552` `sub-1-sin_binary64_5293` `pow-base-1_binary64_1843` `lte-same_binary64_2371` `gte-same_binary64_1008` `unpow0_binary64_137` `-1-add-sin_binary64_5291` `tan-+PI/2_binary64_4290` `tan-+PI/2_binary64` `hang-p-tan_binary64_544` `difference-of-sqr-1_binary64_1753` `hang-0m-tan_binary64_4974` `not-lte_binary64_1352` `sub-1-sin_binary64_4270` `tanh-def-b_binary64_2312` `unpow-1_binary64_1158` `tan-PI/4_binary64_4968`

Counts

32095 → 20027

Compiler

Compiled 2428 to 1582 computations (34.8% saved)

localize4.0s (0.3%)

bsearch804.0ms (0.1%)

Compiler: Compiled 281 to 231 computations (17.8% saved)

Details

series8.6min (39.5%)

sample6.8min (31.1%)

analyze2.0min (9.1%)

rewrite1.5min (7%)

regimes1.4min (6.5%)

prune43.6s (3.3%)

simplify40.3s (3.1%)

localize4.0s (0.3%)

bsearch804.0ms (0.1%)

end1.0ms (0%)

Profiling