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

Details

Time bar (total: 33.2min)

series12.2min (36.8%)

Calls

2472 calls:

1.8min
(*.f64 (cbrt.f64 (/.f64 (+.f64 x (/.f64 (-.f64 (*.f64 y z) x) (-.f64 (*.f64 z t) x))) (+.f64 x 1))) (cbrt.f64 (/.f64 (+.f64 x (/.f64 (-.f64 (*.f64 y z) x) (-.f64 (*.f64 z t) x))) (+.f64 x 1))))
56.5s
(log.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3)) (+.f64 1 (*.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))))
37.2s
(cbrt.f64 (/.f64 (+.f64 (*.f64 x (+.f64 (*.f64 x (+.f64 (*.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (+.f64 (*.f64 x (+.f64 (*.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328)))
7.9s
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 (+.f64 y a) y) b)) (cbrt.f64 (+.f64 (*.f64 (+.f64 y a) y) b))) (*.f64 y (cbrt.f64 (+.f64 (*.f64 y (+.f64 y a)) b)))) c) y) i))
7.8s
(*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (/.f64 1 (+.f64 (*.f64 y (+.f64 (*.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)) i)))
Compiler

Compiled 1603535 to 1230067 computations (23.3% saved)

regimes6.3min (18.9%)

Accuracy

Total 287.6b remaining (63.1%)

Threshold costs 29.1b (6.4%)

27.2b27.2%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
24.9b33.1%FRP.Yampa.Vector3:vector3Rho from Yampa-0.10.2
17.0b45%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
14.5b31.5%Data.HyperLogLog.Type:size from hyperloglog-0.3.4, A
13.7b-11.4%Linear.Matrix:det44 from linear-1.19.1.3

Compiler

Compiled 1744410 to 1635008 computations (6.3% saved)

sample6.2min (18.8%)

Algorithm
540×intervals
Results
1.3min2113831×body128valid
24.4s291784×body128invalid
15.9s51158×body1024valid
7.3s35395×body512valid
6.4s91029×body128nan
4.3s10232×body2048valid
2.3s18147×body256valid
1.8s8953×body1024invalid
809.0ms5625×body512invalid
426.0ms357×body4096valid
317.0ms3153×body256invalid
192.0ms1221×body1024nan
120.0ms953×body512nan
47.0ms851×body128overflowed
45.0ms557×body256nan
1.0ms4×body2048invalid
0.0ms2×body2048nan
Compiler

Compiled 187534 to 139712 computations (25.5% saved)

prune2.4min (7.3%)

Compiler

Compiled 2937715 to 1230588 computations (58.1% saved)

simplify2.1min (6.4%)

Algorithm
1691×egg-herbie

analyze1.8min (5.5%)

Algorithm
270×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
2.2%97.6%0.1%1
4.3%95.4%0.3%2
10.5%88.3%1.3%3
15.4%81.8%2.8%4
23.4%72.8%3.7%5
29.2%65.4%5.4%6
36.4%56.3%7.3%7
40.6%51%8.4%8
45.6%44.6%9.8%9
49.5%39.2%11.4%10
52.9%34.9%12.2%11
55.6%31.3%13%12
58.6%27.3%14.1%13
60.5%25.1%14.4%14
Compiler

Compiled 3201 to 2770 computations (13.5% saved)

bsearch1.4min (4.2%)

Compiler

Compiled 57114 to 38649 computations (32.3% saved)

rewrite31.6s (1.6%)

Algorithm
881×rewrite-expression-head
Rules
3050×times-frac_binary64_21226
2525×times-frac_binary64_6222
1748×times-frac_binary64_12019
1699×times-frac_binary64_10996
1688×add-sqr-sqrt_binary64_12035
1570×times-frac_binary64_7586
1558×*-un-lft-identity_binary64_12013
1522×*-un-lft-identity_binary64_21220
1483×times-frac_binary64_13042
1469×times-frac_binary64_15770
1449×add-sqr-sqrt_binary64_21242
1424×add-cube-cbrt_binary64_21255
1383×*-un-lft-identity_binary64_16787
1332×add-sqr-sqrt_binary64_11012
1276×*-un-lft-identity_binary64_15764
1274×*-un-lft-identity_binary64_10990
1238×add-sqr-sqrt_binary64_16809
1208×add-sqr-sqrt_binary64_6238
1205×times-frac_binary64_16793
1200×add-sqr-sqrt_binary64_7602
1183×add-cube-cbrt_binary64_6251 *-un-lft-identity_binary64_6216
1182×*-un-lft-identity_binary64_7580
1089×*-un-lft-identity_binary64_14059
1080×times-frac_binary64_1107
1069×*-un-lft-identity_binary64_13036
1038×*-un-lft-identity_binary64_1101
1035×add-sqr-sqrt_binary64_13058
1022×add-sqr-sqrt_binary64_3851
995×add-sqr-sqrt_binary64_15786
980×*-un-lft-identity_binary64_3829
958×times-frac_binary64_14065
932×add-sqr-sqrt_binary64_14081
920×*-un-lft-identity_binary64_4852
908×times-frac_binary64_10655
904×times-frac_binary64_3835
896×add-sqr-sqrt_binary64_11353
872×times-frac_binary64_5881
847×add-sqr-sqrt_binary64_12376
839×times-frac_binary64_11337
831×add-cube-cbrt_binary64_12048
827×add-cube-cbrt_binary64_11025
815×*-un-lft-identity_binary64_11331
795×times-frac_binary64_12701
779×times-frac_binary64_17134
766×add-sqr-sqrt_binary64_17150
761×add-sqr-sqrt_binary64_1123
757×*-un-lft-identity_binary64_12354
754×*-un-lft-identity_binary64_17128
753×add-sqr-sqrt_binary64_12717
748×add-sqr-sqrt_binary64_5897
734×add-sqr-sqrt_binary64_10671
731×add-sqr-sqrt_binary64_16468
723×*-un-lft-identity_binary64_12695
722×add-cube-cbrt_binary64_15799
711×times-frac_binary64_11678
708×add-sqr-sqrt_binary64_4874
701×add-sqr-sqrt_binary64_15104
695×*-un-lft-identity_binary64_14741
692×times-frac_binary64_14747
688×*-un-lft-identity_binary64_10649
684×*-un-lft-identity_binary64_5875
678×add-cube-cbrt_binary64_7615
668×times-frac_binary64_8609
645×times-frac_binary64_4858
644×add-cube-cbrt_binary64_13071
643×times-frac_binary64_12360 add-exp-log_binary64_12733
628×*-un-lft-identity_binary64_16446
627×times-frac_binary64_2812
618×times-frac_binary64_19862
600×add-cube-cbrt_binary64_14094
599×add-cube-cbrt_binary64_16822 add-sqr-sqrt_binary64_18173
597×times-frac_binary64_15088
593×*-un-lft-identity_binary64_13718
591×add-cube-cbrt_binary64_1136
586×add-sqr-sqrt_binary64_2828
563×*-un-lft-identity_binary64_18151
562×*-un-lft-identity_binary64_15082
554×add-sqr-sqrt_binary64_14763
547×*-un-lft-identity_binary64_13377
530×add-sqr-sqrt_binary64_13399
529×*-un-lft-identity_binary64_23266
526×times-frac_binary64_18157
520×times-frac_binary64_14406
516×add-sqr-sqrt_binary64_14422
514×add-sqr-sqrt_binary64_3169
508×*-un-lft-identity_binary64_11672
502×add-sqr-sqrt_binary64_11694 add-cube-cbrt_binary64_3864
501×*-un-lft-identity_binary64_2806
499×*-un-lft-identity_binary64_3147
498×times-frac_binary64_6904
496×add-cube-cbrt_binary64_5910
483×add-cube-cbrt_binary64_11366
481×*-un-lft-identity_binary64_6898
479×sqrt-prod_binary64_14075
478×add-cube-cbrt_binary64_10684
475×times-frac_binary64_13383
471×add-cube-cbrt_binary64_2841
464×add-exp-log_binary64_14438
461×times-frac_binary64_3494
457×add-sqr-sqrt_binary64_8625
456×difference-of-squares_binary64_11982 times-frac_binary64_24295 add-sqr-sqrt_binary64_6920
455×add-sqr-sqrt_binary64_3510
454×add-cube-cbrt_binary64_17163 cbrt-prod_binary64_17159 *-un-lft-identity_binary64_24289
453×add-cube-cbrt_binary64_14776
444×add-sqr-sqrt_binary64_5215
440×add-cube-cbrt_binary64_12389
437×*-un-lft-identity_binary64_760
433×add-cube-cbrt_binary64_11707
431×sqrt-prod_binary64_5891
427×*-un-lft-identity_binary64_8603
425×*-un-lft-identity_binary64_14400
417×times-frac_binary64_3153
411×add-exp-log_binary64_16484
409×*-un-lft-identity_binary64_3488
408×add-cube-cbrt_binary64_14435
407×add-sqr-sqrt_binary64_13740
404×times-frac_binary64_16452 add-cube-cbrt_binary64_12730
402×times-frac_binary64_13724
399×add-sqr-sqrt_binary64_23288
391×add-sqr-sqrt_binary64_782
385×*-un-lft-identity_binary64_5193
378×add-sqr-sqrt_binary64_24311
368×add-cube-cbrt_binary64_8638
367×add-cube-cbrt_binary64_3523 add-sqr-sqrt_binary64_20901
363×add-sqr-sqrt_binary64_19878
361×add-cube-cbrt_binary64_19891 *-un-lft-identity_binary64_19856
359×add-cbrt-cube_binary64_12731
354×add-cube-cbrt_binary64_16481
349×add-cube-cbrt_binary64_3182
348×add-sqr-sqrt_binary64_17832
347×times-frac_binary64_5199 *-un-lft-identity_binary64_19174
335×times-frac_binary64_20885
333×associate-*r*_binary64_16386
331×add-exp-log_binary64_21599 pow1_binary64_21622
328×distribute-lft-out--_binary64_16739
327×add-sqr-sqrt_binary64_23970
326×*-un-lft-identity_binary64_17810
323×cbrt-prod_binary64_15795
321×add-cube-cbrt_binary64_13412
320×add-cube-cbrt_binary64_4887
318×add-exp-log_binary64_11028
317×*-un-lft-identity_binary64
314×log-prod_binary64_12099
313×add-cube-cbrt_binary64_6933
311×add-cube-cbrt_binary64_13753
303×add-cbrt-cube_binary64_14436
302×times-frac_binary64_8950 times-frac_binary64_766 add-cube-cbrt_binary64_18186
298×associate-*r*_binary64_11271 add-sqr-sqrt_binary64_19196
296×div-exp_binary64_12746 times-frac_binary64_19180 add-sqr-sqrt_binary64_10330
295×add-cbrt-cube_binary64_21597
292×*-un-lft-identity_binary64_19515
290×add-sqr-sqrt_binary64_22265 *-un-lft-identity_binary64_20879
285×add-exp-log_binary64_20917
284×add-exp-log_binary64_3185
282×times-frac_binary64_23272
280×add-sqr-sqrt_binary64_17491
279×add-cube-cbrt_binary64_15117
277×difference-of-squares_binary64_16756
276×add-sqr-sqrt_binary64_8966
272×add-cube-cbrt_binary64_20914
269×*-un-lft-identity_binary64_22243 *-un-lft-identity_binary64_9285 associate-*r*_binary64_5815
268×add-cube-cbrt_binary64_24324
267×*-un-lft-identity_binary64_9626 *-un-lft-identity_binary64_15423
266×add-sqr-sqrt_binary64_2487
265×*-un-lft-identity_binary64_10308
260×*-un-lft-identity_binary64_23948
259×add-cbrt-cube_binary64_11026 add-cbrt-cube_binary64_16482
258×add-exp-log_binary64_11369
255×add-cbrt-cube_binary64_20915
254×add-sqr-sqrt_binary64_6579
253×times-frac_binary64_22249
251×add-sqr-sqrt_binary64_1805
249×add-exp-log_binary64_11710
247×prod-exp_binary64_12744
245×add-sqr-sqrt_binary64_18514
243×add-cube-cbrt_binary64_795 add-exp-log_binary64_21258 add-cube-cbrt_binary64_19209
242×add-sqr-sqrt_binary64
238×distribute-lft-out--_binary64_7532 difference-of-squares_binary64_7549
237×distribute-lft-out--_binary64_4804 *-un-lft-identity_binary64_2465 times-frac_binary64_15429
236×add-exp-log_binary64_14097 *-un-lft-identity_binary64_18492
235×pow1_binary64_6277
234×*-un-lft-identity_binary64_8944 times-frac_binary64_17816
232×add-cube-cbrt_binary64_8979
229×*-un-lft-identity_binary64_16105 times-frac_binary64_20203 cbrt-prod_binary64_3519
228×times-frac_binary64
227×add-sqr-sqrt_binary64_20219 difference-of-squares_binary64_13005 associate-*r*_binary64_14340
226×*-un-lft-identity_binary64_9967
225×add-cube-cbrt_binary64_2500
224×*-un-lft-identity_binary64_6557
222×add-sqr-sqrt_binary64_8284
221×prod-exp_binary64_16495 associate-*r*_binary64_3087
220×difference-of-squares_binary64_3798
219×add-sqr-sqrt_binary64_9648
216×distribute-lft-out--_binary64_3781 associate-*l*_binary64_4793 *-un-lft-identity_binary64_24971
215×sqrt-prod_binary64_16121 associate-*r*_binary64_2746
214×sqrt-prod_binary64_15098
213×times-frac_binary64_18498
212×add-sqr-sqrt_binary64_23629 add-sqr-sqrt_binary64_16127
211×add-exp-log_binary64_13756 add-sqr-sqrt_binary64_9307 cbrt-prod_binary64_16477
210×associate-*r*_binary64_15704 sqrt-prod_binary64_14757
209×*-un-lft-identity_binary64_1783
206×*-un-lft-identity_binary64_17469
205×*-un-lft-identity_binary64_20197
204×add-exp-log_binary64_12051 add-exp-log_binary64_6254 distribute-lft-out--_binary64_11965
203×add-cube-cbrt_binary64_6592 add-sqr-sqrt_binary64_7261
202×add-cube-cbrt_binary64_20232 add-exp-log_binary64_12392 add-exp-log_binary64_8982
201×add-sqr-sqrt_binary64_4533 sqrt-prod_binary64_3163
199×associate-*l*_binary64_12636
198×*-un-lft-identity_binary64_8262
197×add-sqr-sqrt_binary64_19537 add-exp-log_binary64_16825
196×associate-*r*_binary64_10930 distribute-lft-out_binary64_14010
195×add-cube-cbrt_binary64
192×times-frac_binary64_9291 add-cube-cbrt_binary64_17504
191×cbrt-unprod_binary64_21594 prod-exp_binary64_21610 pow-prod-down_binary64_21632
190×distribute-lft-out--_binary64_10942 difference-of-squares_binary64_10959
189×associate-*r*_binary64_13999 times-frac_binary64_23954
184×add-sqr-sqrt_binary64_15445 add-cbrt-cube_binary64_14095
183×associate-/r*_binary64_21164 times-frac_binary64_10314
182×times-frac_binary64_21908
180×add-cube-cbrt_binary64_5228 add-cube-cbrt_binary64_10343 times-frac_binary64_9973 add-cbrt-cube_binary64_12390
179×associate-*r*_binary64_3769
178×add-cube-cbrt_binary64_23301 add-exp-log_binary64_19553
177×add-cube-cbrt_binary64_17845
176×add-sqr-sqrt_binary64_20560
175×difference-of-squares_binary64_5162 pow1_binary64_4572
174×associate-*l*_binary64_3770 add-exp-log_binary64_13074 times-frac_binary64_17475 add-cbrt-cube_binary64_11708
173×add-cube-cbrt_binary64_19550 sqrt-div_binary64_1118 add-cube-cbrt_binary64_23983 times-frac_binary64_24977
172×add-exp-log_binary64_14779 associate-*r*_binary64_12294 pow1_binary64_16507 *-un-lft-identity_binary64_7239 *-un-lft-identity_binary64_7921
171×cbrt-prod_binary64_13749 cancel-sign-sub-inv_binary64_10956
170×add-cbrt-cube_binary64_16823 add-cube-cbrt_binary64_9661
169×add-sqr-sqrt_binary64_21924 add-exp-log_binary64_2844 cbrt-prod_binary64
168×add-exp-log_binary64_20235 times-frac_binary64_6563
167×times-frac_binary64_9632 add-cube-cbrt_binary64_9320
166×difference-of-squares_binary64_4821
165×div-inv_binary64_21217 *-un-lft-identity_binary64_419 prod-exp_binary64_14449 associate-/r*_binary64_10934 add-cbrt-cube_binary64_11367
164×unpow-prod-down_binary64_12774
163×times-frac_binary64_19521
162×distribute-lft-out_binary64_15715
160×add-sqr-sqrt_binary64_100 add-exp-log_binary64_3867 add-cbrt-cube_binary64_20233 add-sqr-sqrt_binary64_9989
159×sqrt-prod_binary64_1117 sqrt-prod_binary64_16462
158×add-cbrt-cube_binary64_3183
157×add-cube-cbrt_binary64_18527 add-cube-cbrt_binary64_1818 add-exp-log_binary64_15802 associate-/r*_binary64_7524 distribute-lft-out--_binary64_15034 *-un-lft-identity_binary64_21902
156×add-cbrt-cube_binary64_13754 distribute-lft-out--_binary64_12988 add-exp-log_binary64_19894 difference-of-squares_binary64_12323
155×add-exp-log_binary64_17507 add-sqr-sqrt_binary64_441
154×cbrt-prod_binary64_11021 *-un-lft-identity_binary64_23607
153×add-cube-cbrt_binary64_15458 distribute-lft-out--_binary64_12306
152×times-frac_binary64_7927 add-cube-cbrt_binary64_22278 add-sqr-sqrt_binary64_22947 frac-times_binary64_1111 associate-/r*_binary64_16731
151×add-cbrt-cube_binary64_17505 *-un-lft-identity_binary64_4511 add-cbrt-cube_binary64_8980 pow1_binary64_1844
149×distribute-lft-out_binary64_12646 cbrt-prod_binary64_3860 cbrt-prod_binary64_13408
148×*-un-lft-identity_binary64_20538 pow1_binary64_15143
147×pow1_binary64_2867 cbrt-prod_binary64_2496
146×add-exp-log_binary64_1821 cancel-sign-sub-inv_binary64_11979 add-cube-cbrt_binary64_10002
145×cbrt-unprod_binary64_16479 *-un-lft-identity_binary64_78
144×distribute-lft-out--_binary64_11283 add-cbrt-cube_binary64_14777 add-cbrt-cube_binary64_19551 add-cube-cbrt_binary64_4546
143×associate-/r*_binary64_11957
142×add-cbrt-cube_binary64_12049 add-exp-log_binary64_19212 associate-*r*_binary64_12635 difference-of-squares_binary64_11300 cancel-sign-sub-inv_binary64_14025 add-sqr-sqrt_binary64_7943
141×add-exp-log_binary64_4549 sqrt-prod_binary64_23964
140×distribute-lft-out--_binary64_23218
139×log-prod_binary64_1187 add-sqr-sqrt_binary64_5556
138×add-exp-log_binary64_8300
137×add-cbrt-cube_binary64_21256 sqrt-prod_binary64_11688 add-exp-log_binary64_18189
136×distribute-lft-out--_binary64_16398 add-cbrt-cube_binary64_2842 div-exp_binary64_14451 cbrt-prod_binary64_22956 distribute-lft-out--_binary64_1053 associate-*l*_binary64_16728 difference-of-squares_binary64_16415 add-cube-cbrt_binary64_7274
135×div-inv_binary64_6213
134×frac-add_binary64_13044 cbrt-prod_binary64_14090 pow1_binary64_13779
133×div-exp_binary64_21271 times-frac_binary64_20544
132×add-exp-log_binary64_6936 times-frac_binary64_8268
131×pow1_binary64_1162 pow1_binary64_12415 add-sqr-sqrt_binary64_1464
130×add-exp-log_binary64_10687 add-exp-log_binary64_116
129×add-exp-log_binary64_7277 add-cbrt-cube_binary64_1819
128×associate-/r*_binary64_15708
127×difference-of-squares_binary64_18120 distribute-lft-out--_binary64_18103 pow1_binary64_20258 sqrt-prod_binary64_3504
126×difference-of-squares_binary64_17097 add-cbrt-cube_binary64_15800 distribute-lft-out--_binary64_17080 distribute-lft-out_binary64_13669 add-exp-log_binary64_23645 pow1_binary64_14802 cancel-sign-sub-inv_binary64_13343 add-exp-log_binary64_20576
125×pow1_binary64_14120 unpow-prod-down_binary64_16525 add-exp-log_binary64_6595 pow1_binary64_14461 add-cbrt-cube_binary64_4547 associate-*r*_binary64_13658 sqrt-prod_binary64_23282
124×unpow-prod-down_binary64_3567 times-frac_binary64_2471 sqrt-prod_binary64_2822 difference-of-squares_binary64_15051
123×add-cbrt-cube_binary64_6593 add-exp-log_binary64_15120 add-cbrt-cube_binary64_19210
122×add-cbrt-cube_binary64_114 flip3--_binary64_16450 distribute-lft-out_binary64_1052 add-cube-cbrt_binary64_113 pow1_binary64_23668 flip--_binary64_16421
121×sqrt-prod_binary64_7255 associate-*l*_binary64_12295 add-exp-log_binary64_17166
120×cbrt-unprod_binary64_14433 add-cube-cbrt_binary64_7956 cbrt-prod_binary64_12385 add-cbrt-cube_binary64_6252
119×unpow-prod-down_binary64_12092 associate-*l*_binary64_14000 associate-/r*_binary64_12980 associate-*r*_binary64_23888
118×associate-/r*_binary64_6160 distribute-lft-in_binary64_11962 add-cube-cbrt_binary64_16140 associate-*r*_binary64_4792 div-exp_binary64_11041 times-frac_binary64_24636 pow1_binary64_3208 distribute-rgt-in_binary64_11963
117×pow1_binary64_11733 add-sqr-sqrt_binary64_24993 add-cbrt-cube_binary64_13072 add-cube-cbrt_binary64_20573
116×associate-*r*_binary64_7179 add-exp-log_binary64_7618 associate-*r*_binary64_20819
115×add-exp-log_binary64_3526 add-exp-log_binary64_24327 associate-*l*_binary64_16387
114×add-sqr-sqrt_binary64_21583 associate-*r*_binary64_10589 log-prod_binary64_2551
113×distribute-lft-in_binary64_1050 pow1_binary64_3549 add-cbrt-cube_binary64_18187 distribute-rgt-in_binary64_1051 add-exp-log_binary64_1139
112×distribute-lft-out_binary64_3098 *-un-lft-identity_binary64_18833 distribute-lft-out--_binary64_15716
111×associate-*r*_binary64_16727 cbrt-prod_binary64_5906
110×times-frac_binary64_1789 associate-*r*_binary64_18091 cube-prod_binary64_3516
109×pow1_binary64_11392 cbrt-undiv_binary64_12729 add-exp-log_binary64_798 flip-+_binary64_12669 pow-prod-down_binary64_6287 flip3-+_binary64_12698 add-cube-cbrt_binary64_21937
108×difference-of-squares_binary64_12664 associate-*l*_binary64_14341 add-cube-cbrt_binary64_25006
107×associate-/r*_binary64_10593 pow1_binary64_9005 add-cbrt-cube_binary64_3865 cbrt-unprod_binary64_12728 pow1_binary64_16166 associate-*r*_binary64_15022 pow1_binary64_3890
106×pow1_binary64_6959 distribute-lft-out_binary64_14692 add-cbrt-cube_binary64_17164
105×add-exp-log_binary64_4890 add-exp-log_binary64_8641 associate-/l*_binary64_11617 prod-exp_binary64_3196 add-sqr-sqrt_binary64_18855 add-cbrt-cube_binary64_19892
104×cancel-sign-sub-inv_binary64_16753 cube-prod_binary64_12041 add-cbrt-cube_binary64_3524 pow1_binary64_2526 pow1_binary64_12756 add-exp-log_binary64_2503
103×pow1_binary64_17530 difference-of-squares_binary64_13346 times-frac_binary64_4517 associate-*r*_binary64_8202 unpow-prod-down_binary64_13115 add-cbrt-cube_binary64_7275 log-prod_binary64_22670
102×add-cube-cbrt_binary64_454 *-un-lft-identity_binary64_5534 add-cbrt-cube_binary64_6934 add-exp-log_binary64_17848 cbrt-prod_binary64_22615 add-log-exp_binary64_18190 add-log-exp_binary64_458 add-cube-cbrt_binary64_8297 cbrt-undiv_binary64_11024 add-cbrt-cube_binary64_796
101×add-cbrt-cube_binary64_24325 distribute-lft-out--_binary64_10601 add-exp-log_binary64_13415
100×add-cbrt-cube_binary64_18528 add-exp-log_binary64_22281 difference-of-squares_binary64_10618 associate-*r*_binary64_21501 div-exp_binary64_6267 add-exp-log_binary64_18530 add-cbrt-cube_binary64_1137 *-un-lft-identity_binary64_22925
99×cbrt-prod_binary64_5565 add-cbrt-cube_binary64_10685 add-exp-log_binary64_5913 add-cbrt-cube_binary64_23643 add-sqr-sqrt_binary64_22606 cbrt-prod_binary64_18182 associate-/r/_binary64_11959 pow1_binary64_18894
98×add-cbrt-cube_binary64_15118 add-cbrt-cube_binary64_7616 associate-*r*_binary64_7520
97×pow1_binary64_10369 add-log-exp_binary64_11711 cancel-sign-sub-inv_binary64_11638 *-un-lft-identity_binary64_1442 add-cbrt-cube_binary64_20574 *-un-lft-identity_binary64_22584 add-exp-log_binary64_18871 add-cbrt-cube_binary64_18869 difference-of-squares_binary64_15733 associate-*l*_binary64_13659 associate-*l*_binary64_11272 add-sqr-sqrt_binary64_2146 associate-*l/_binary64_16389
96×distribute-lft-out_binary64_4803 add-cube-cbrt_binary64_1477 pow1_binary64_139
95×cancel-sign-sub-inv_binary64_6523 cube-prod_binary64_16474 add-cbrt-cube_binary64_8639 add-cube-cbrt_binary64_22619
94×associate-/r/_binary64_12641 sqrt-prod_binary64_3845 add-cube-cbrt_binary64_21596 associate-*r/_binary64_12978 *-un-lft-identity_binary64_21561
93×distribute-lft-out--_binary64_5827 difference-of-squares_binary64_5844 add-exp-log_binary64_10346 add-log-exp_binary64_11370 cancel-sign-sub-inv_binary64_7546
92×add-cbrt-cube_binary64_2501 associate-/r*_binary64_14003 cancel-sign-sub-inv_binary64_6864 add-cube-cbrt_binary64_23642 log-prod_binary64_13463 *-un-lft-identity_binary64_2124 associate-*r*_binary64_1723
91×pow1_binary64_12074 pow1_binary64_16848
90×add-exp-log_binary64_15461 distribute-rgt-in_binary64_14009 associate-/r*_binary64_12298 distribute-lft-in_binary64_14008 add-cbrt-cube_binary64_10344 add-cube-cbrt_binary64_22960 div-exp_binary64_11723 cbrt-prod_binary64_6588 associate-*l*_binary64_10931 flip3--_binary64_1105 flip--_binary64_1076
89×pow1_binary64_19917 prod-exp_binary64_20928 add-log-exp_binary64_12052 associate-/r*_binary64_11275 associate-*r*_binary64_17409 sqrt-prod_binary64_17826 sqrt-prod_binary64_1799
88×flip--_binary64_7555 add-log-exp_binary64_2504 associate-*l*_binary64_15705 distribute-rgt-in_binary64_2415 distribute-lft-in_binary64_2414 add-exp-log_binary64_9664 div-inv_binary64_10987 associate-/r*_binary64_3773 pow1_binary64_821 associate-/r*_binary64_24233 flip3--_binary64_7584
87×pow1_binary64_22986 associate-*r*_binary64_19114 add-sqr-sqrt_binary64_24652
86×associate-/r/_binary64_7526 pow1_binary64_11051 pow1_binary64_19576 add-cbrt-cube_binary64_8298 div-exp_binary64_11382 cbrt-prod_binary64_4542
85×div-exp_binary64_20930 cbrt-prod_binary64_9316 add-log-exp_binary64_10347 add-cbrt-cube_binary64_22279 difference-of-squares_binary64_14028 cbrt-undiv_binary64_14434 add-cbrt-cube_binary64_17846 add-cbrt-cube_binary64_4888
84×flip3-+_binary64_1104 associate-*r*_binary64_8884 distribute-lft-out--_binary64_5145 flip-+_binary64_1075 add-exp-log_binary64_23986
83×associate-*r*_binary64_17068 add-cube-cbrt_binary64_18868 add-exp-log_binary64_22963
82×add-cube-cbrt_binary64_24665 distribute-lft-out_binary64_16738 difference-of-squares_binary64_23235 *-un-lft-identity_binary64_24630
81×frac-times_binary64_12705 add-exp-log_binary64_16143 pow1_binary64_7300 div-inv_binary64_12010 times-frac_binary64_22590 associate-*l*_binary64_15023 pow1_binary64_6618 cbrt-unprod_binary64_20912
80×associate-/l*_binary64_11958 frac-sub_binary64_7589 associate-/r*_binary64_8547 associate-/r*_binary64_14685 cbrt-div_binary64_23639
79×add-log-exp_binary64_12393
78×add-log-exp_binary64_14098 associate-*l*_binary64_9567 distribute-rgt-in_binary64_13327 distribute-lft-in_binary64_13326 add-cube-cbrt_binary64_2159 associate-*r*_binary64_6497 add-cube-cbrt_binary64_5569
77×add-exp-log_binary64_457 difference-of-squares_binary64_729 add-cbrt-cube_binary64_9662 associate-*l*_binary64_17069 add-exp-log_binary64_23304 associate-*r*_binary64_20478 pow1_binary64_9687 cbrt-prod_binary64_2837 associate-*l*_binary64_23548
76×pow1_binary64_18212 add-cbrt-cube_binary64_5911 pow1_binary64_4913 pow1_binary64_20940 pow1_binary64_17189 add-cbrt-cube_binary64_455 add-cbrt-cube_binary64_15459
75×associate-+l+_binary64_11946 associate-/r*_binary64_3432 add-log-exp_binary64_4550 cancel-sign-sub-inv_binary64_14707 pow1_binary64_13438
74×associate-*r*_binary64_16045 associate-*r*_binary64_17750 distribute-rgt-in_binary64_7530 add-log-exp_binary64_14780 pow1_binary64_480 distribute-lft-out_binary64_11964 distribute-lft-in_binary64_7529 swap-sqr_binary64_15049 add-exp-log_binary64_1480
73×prod-exp_binary64_11039 associate-/r*_binary64_19118 cbrt-undiv_binary64_20913 add-cbrt-cube_binary64_13413
72×flip-+_binary64_19830 associate-*r*_binary64_6838 cbrt-prod_binary64_9657 sqrt-pow1_binary64_6234 log-prod_binary64_12440 log-prod_binary64_846 flip3-+_binary64_19859
71×add-log-exp_binary64_18872 add-log-exp_binary64_19554 cancel-sign-sub-inv_binary64_385 add-cbrt-cube_binary64_22961 cbrt-prod_binary64_23979 cbrt-unprod_binary64_11023 associate-*l*_binary64_701 associate-*r*_binary64_23206 associate-*l*_binary64_1724 add-log-exp_binary64_1822
70×difference-of-squares_binary64_1070 add-log-exp_binary64_9665 distribute-lft-out_binary64_19466 distribute-lft-out--_binary64_13329 cbrt-prod_binary64_8975 add-log-exp_binary64_13757 cbrt-div_binary64_21252 add-log-exp_binary64_117 frac-times_binary64_13046 prod-exp_binary64_13767
69×pow1_binary64_5936 add-log-exp_binary64_23305 associate-/r*_binary64_2750 associate-*l*_binary64_20820 associate-/r*_binary64_6842 add-cbrt-cube_binary64_23984
68×associate-/r*_binary64_1045 add-log-exp_binary64_12734 add-cbrt-cube_binary64_16141
67×add-log-exp_binary64_3868 add-log-exp_binary64_1140 div-exp_binary64_12064 associate-*l*_binary64_8203 associate-/l*_binary64_12981 cancel-sign-sub-inv_binary64_20163 associate-/r/_binary64_15710
66×associate-/r*_binary64_17072 add-exp-log_binary64 add-log-exp_binary64_16485 add-exp-log_binary64_5572 pow1_binary64_17871 div-inv_binary64_15079 log-prod_binary64_14145
65×add-cbrt-cube_binary64_23302 prod-exp_binary64_20246 associate-/r*_binary64_18095 add-log-exp_binary64_16144 cbrt-prod_binary64_10680 log-pow_binary64_2895 sqrt-prod_binary64_6914 distribute-lft-out_binary64_16056 associate-*r*_binary64_23547
64×pow1_binary64 distribute-rgt-in_binary64_12304 div-exp_binary64_13087 flip3-+_binary64_13039 distribute-rgt-in_binary64_710 div-inv_binary64_14056 distribute-lft-in_binary64_12303 flip-+_binary64_13010 associate-*l*_binary64_21502 add-log-exp_binary64_21600 distribute-lft-in_binary64_709 div-exp_binary64_3198 associate-*l*_binary64_19115 add-log-exp_binary64_17508 pow1_binary64_24009 distribute-lft-out_binary64_24922
63×associate-*r/_binary64_13660 add-sqr-sqrt_binary64_4192 pow-prod-down_binary64_16517 sqrt-prod_binary64_12370 pow1_binary64_8664 associate-*r*_binary64_10248 associate-+l+_binary64_1034 associate-/r/_binary64_10936 add-log-exp_binary64_2845 cbrt-prod_binary64_1132 frac-sub_binary64_13045 associate-*l*_binary64_6839 cbrt-unprod_binary64_20230
62×add-cbrt-cube_binary64_1478 sqrt-prod_binary64_6573 distribute-lft-out_binary64_24240 prod-exp_binary64_11380 cbrt-prod_binary64_17500 prod-exp_binary64_23656 associate-*r*_binary64_20137 log-prod_binary64_11758 associate-/r*_binary64_14344 associate-/r*_binary64_12639 associate-/l*_binary64_16732 associate-/r/_binary64_12982 cbrt-unprod_binary64_23640 cancel-sign-sub-inv_binary64_20845 associate-*r*_binary64_2405 add-log-exp_binary64_3186 add-exp-log_binary64_10005
61×cbrt-prod_binary64_14431 div-exp_binary64_14110 unpow-prod-down_binary64_23004 swap-sqr_binary64_15731 associate-/r*_binary64_18436 associate-/r/_binary64_12300 associate-*l*_binary64_17410 distribute-lft-out--_binary64_14011 cancel-sign-sub-inv_binary64_23232 frac-times_binary64_16456 associate-*r*_binary64_18773
60×flip3--_binary64_18155 cbrt-prod_binary64_12044 prod-exp_binary64_8311 add-log-exp_binary64_11029 pow-prod-down_binary64_23678 cbrt-prod_binary64_21251 flip--_binary64_18126 cbrt-prod_binary64_791 pow-prod-down_binary64_4582 associate--l+_binary64_2743 cbrt-prod_binary64_15113 cbrt-div_binary64_19888 add-log-exp_binary64_21259 difference-of-squares_binary64_18461 cbrt-div_binary64_14773 div-inv_binary64_16784 pow1_binary64_5595
59×associate-*r*_binary64_13317 associate-*r*_binary64_19455 flip3--_binary64_12017 add-exp-log_binary64_5231 add-log-exp_binary64_16826 add-log-exp_binary64_7278 cbrt-div_binary64_17160 distribute-rgt-in_binary64_13668 times-frac_binary64_1448 frac-times_binary64_7590 flip--_binary64_11988 distribute-lft-in_binary64_13667
58×pow1_binary64_21281 unpow-prod-down_binary64_14138 associate-*l*_binary64_3088 pow-exp_binary64_12763 difference-of-squares_binary64_22212 associate-*r*_binary64_1041 associate--r+_binary64_11949 prod-exp_binary64_14108 associate-*l/_binary64_1044 add-log-exp_binary64_6596 distribute-lft-out--_binary64_22195 pow-prod-down_binary64_20268 difference-of-squares_binary64_10277 cbrt-div_binary64_18183 div-exp_binary64_15815 associate-/r/_binary64_11277
57×pow1_binary64_19235 distribute-rgt-in_binary64_369 associate-*r*_binary64_359 sqrt-prod_binary64_13734 associate-/r*_binary64_3091 associate-*r/_binary64_1043 distribute-lft-in_binary64_368 cbrt-prod_binary64_23638 associate-/l*_binary64_12640
56×exp-prod_binary64_2858 flip--_binary64_13011 sqrt-div_binary64_11689 distribute-lft-out_binary64 associate-*r*_binary64 associate-*r*_binary64_5474 cancel-sign-sub-inv_binary64_12661 associate-*r/_binary64_21503 associate-+l+_binary64_2398 add-cbrt-cube_binary64 pow1_binary64_15825 associate-*l*_binary64_23207 unswap-sqr_binary64_12663 add-cbrt-cube_binary64_10003 prod-exp_binary64_8993 cbrt-prod_binary64_16136 flip3--_binary64_13040 flip--_binary64_23582 flip3--_binary64_23611
55×associate-/r*_binary64_13662 div-inv_binary64_15761 pow-to-exp_binary64_12764 div-inv_binary64_1098 times-frac_binary64_2130 associate-/l*_binary64_21165 cbrt-prod_binary64_7270 associate-*l/_binary64_12638 associate-/r/_binary64_16733 div-inv_binary64_13033
54×associate-*l*_binary64_19 flip--_binary64_12329 associate-/r*_binary64_19800 add-log-exp_binary64_14439 unpow-prod-down_binary64_17207 distribute-lft-out_binary64_23217 cube-prod_binary64_17156 associate-*r/_binary64_11273 associate-/r*_binary64_5137 associate-*r/_binary64_11614 flip3--_binary64_12358 distribute-lft-in_binary64_6506 distribute-rgt-in_binary64_6507 sqrt-div_binary64_16122 associate-*r/_binary64_2748 cbrt-unprod_binary64_13751
53×cbrt-prod_binary64_11362 div-exp_binary64_8995 associate-/l*_binary64_10935 associate-*r*_binary64_700 associate-/l*_binary64_12299 associate-/r*_binary64_4796 associate-*r*_binary64_18 associate-*l*_binary64_16046 distribute-lft-out--_binary64_17762 associate-*l*_binary64_10249
52×prod-exp_binary64_12403 cbrt-undiv_binary64_21254 cbrt-unprod_binary64_12387 associate-*l*_binary64_2747 log-prod_binary64_164 difference-of-squares_binary64_24258 sqr-pow_binary64_12667 distribute-lft-in_binary64_2755 div-inv_binary64_14738 distribute-lft-out_binary64_21171 associate-*l*_binary64_22866 difference-of-squares_binary64_23576 associate-*l*_binary64_24230 prod-exp_binary64_11721 div-inv_binary64_7577 log-prod_binary64_2892 associate-*l*_binary64_10590 associate-*r/_binary64_23549 div-inv_binary64_11669 distribute-rgt-in_binary64_2756
51×sqrt-prod_binary64_20895 cbrt-prod_binary64_4883 unpow-prod-down_binary64_16184 associate-*l*_binary64_2406 add-log-exp_binary64_17167 associate-*r*_binary64_11953 associate-/r/_binary64_14005 flip3--_binary64_16791 add-cbrt-cube_binary64_5229 unpow-prod-down_binary64_1180 cbrt-undiv_binary64_11706 flip--_binary64_16762 swap-sqr_binary64_17436 unpow-prod-down_binary64_5272 add-log-exp_binary64_8983
50×pow-prod-down_binary64_15153 difference-of-squares_binary64_3457 associate-/r*_binary64_20823 pow-prod-down_binary64_1854 add-log-exp_binary64_15121 prod-exp_binary64_16836 prod-exp_binary64_17518 flip-+_binary64_11646 flip3-+_binary64_11675 associate-*r/_binary64_14342 associate-*l*_binary64 distribute-lft-out_binary64_6849 cbrt-unprod_binary64_17502 add-exp-log_binary64_7959 add-log-exp_binary64_5914 prod-exp_binary64_1832 add-log-exp_binary64_20918 add-log-exp_binary64_23987 add-log-exp_binary64_19895
49×pow1_binary64_9346 times-frac_binary64_23613 associate-*r*_binary64_1382 add-log-exp_binary64_6937 add-exp-log_binary64_4208 pow1_binary64_22304 cbrt-unprod_binary64_4544 associate-*l*_binary64_7180 associate-*r/_binary64_12637 prod-exp_binary64_7288 associate-*l*_binary64_8885 add-log-exp_binary64_5232 add-exp-log_binary64_9323 associate-/l*_binary64_7525 prod-exp_binary64_4560
48×distribute-rgt-neg-in_binary64_11971 add-cbrt-cube_binary64_7957 distribute-lft-neg-in_binary64_11970 add-log-exp_binary64_799 frac-add_binary64_11680 pow1_binary64_24350 associate-/l*_binary64_14686 distribute-lft-out--_binary64_8214 difference-of-squares_binary64_8231 div-exp_binary64_19907 associate-*l/_binary64_11615
47×associate-/r/_binary64_24235 distribute-lft-out_binary64_15374 flip--_binary64_23241 flip3--_binary64_23270 pow-prod-down_binary64_13789 add-log-exp_binary64_3527 associate-*r*_binary64_22865 pow1_binary64_8323 associate-/r*_binary64_19459 associate-/r*_binary64_704 times-frac_binary64_7245 sqrt-prod_binary64
46×add-log-exp_binary64_4891 cbrt-div_binary64_2838 associate-*r*_binary64_6156 unswap-sqr_binary64_14027 associate-*r*_binary64_24229 add-log-exp_binary64_13075 sqrt-prod_binary64_4868 associate-/r/_binary64_3775 cancel-sign-sub-inv_binary64_10274 unswap-sqr_binary64_11299 associate-*r*_binary64_9566 prod-exp_binary64_19564 associate-/r*_binary64_15026 div-exp_binary64_10700 add-log-exp_binary64_13416 div-inv_binary64_12692 log-prod_binary64_16873 div-inv_binary64_14397
45×cbrt-undiv_binary64_15798 prod-exp_binary64_127 pow1_binary64_7641 cbrt-prod_binary64_450 pow1_binary64_13097 cancel-sign-sub-inv_binary64 associate-+r+_binary64_11604 associate-/l*_binary64_15709 swap-sqr_binary64_13685 add-log-exp_binary64_10688 associate-*r/_binary64_7522 associate-/r*_binary64_8888 distribute-lft-in_binary64_22533 unswap-sqr_binary64_10958 pow1_binary64_5254 cbrt-prod_binary64_4201 associate-/l*_binary64_5820 distribute-rgt-in_binary64_22534
44×add-log-exp_binary64_7619 associate-/r/_binary64_1047 div-exp_binary64_14792 associate-*l*_binary64_5475 unswap-sqr_binary64_16414 *-un-lft-identity_binary64_4170 div-inv_binary64_19853 difference-of-squares_binary64_17779 cancel-sign-sub-inv_binary64_15048 cancel-sign-sub-inv_binary64_19140 div-exp_binary64_16838 associate-/l*_binary64_1046 cbrt-unprod_binary64_1816 cbrt-unprod_binary64_14092 add-cube-cbrt_binary64_4205 pow1_binary64_10028 cbrt-unprod_binary64_8977
43×cbrt-unprod_binary64_111 add-log-exp_binary64_19213 pow1_binary64_10710 associate-*r*_binary64_22183 difference-of-squares_binary64_2775 flip--_binary64_11647 associate-*l/_binary64_23550 prod-exp_binary64_15131 add-cbrt-cube_binary64_5570 pow1_binary64_23327 associate-/r/_binary64_13664 cbrt-prod_binary64_15454 cbrt-unprod_binary64_15115 flip3--_binary64_11676 cancel-sign-sub-inv_binary64_17776 swap-sqr_binary64_14026 unswap-sqr_binary64_12322 distribute-lft-out_binary64_11623
42×distribute-lft-out_binary64_711 unswap-sqr_binary64_16073 flip3-+_binary64_13721 associate-*l*_binary64_4452 flip-+_binary64_13692 sqrt-prod_binary64_11347 associate-*l*_binary64_11954 associate-/r/_binary64_19802 cbrt-undiv_binary64_14093 associate-*r*_binary64_4451 cbrt-prod_binary64_9998 div-inv_binary64_10646 add-log-exp_binary64_18531 distribute-lft-out--_binary64_23900 log-prod_binary64_505 difference-of-squares_binary64_14710 add-exp-log_binary64_25009 pow1_binary64_1503
41×flip3-+_binary64 prod-exp_binary64_6606 flip--_binary64_10283 flip3--_binary64_10312 cbrt-div_binary64_15796 add-log-exp_binary64_17849 add-cbrt-cube_binary64_9321 associate-/r*_binary64_15367 distribute-lft-out_binary64_9236 cbrt-unprod_binary64_6590 distribute-lft-out_binary64_9577 flip-+_binary64
40×cube-div_binary64_13065 associate-*l*_binary64_3429 unswap-sqr_binary64_3115 associate-*l/_binary64_19799 cube-prod_binary64_16133 associate-+r+_binary64_11945 difference-of-squares_binary64_23917 distribute-rgt-in_binary64_28 cube-prod_binary64_6585 pow-prod-down_binary64_2877 add-log-exp_binary64_20236 prod-exp_binary64_2855 associate-/r*_binary64_23210 div-exp_binary64_19566 distribute-lft-in_binary64_27 associate-/l*_binary64_18437 cbrt-undiv_binary64_13070 associate-*l*_binary64_360 unpow-prod-down_binary64_6636 associate-/l*_binary64_19801
39×associate-/l*_binary64_20824 unswap-sqr_binary64_13686 pow-prod-down_binary64_14471 cbrt-unprod_binary64_3180 frac-times_binary64_14410 sqrt-pow1_binary64_17828 associate-*r*_binary64_14681 associate-/r/_binary64_18438 add-log-exp_binary64_23646 div-exp_binary64_6949 cancel-sign-sub-inv_binary64_23573 associate-*l*_binary64_1383 associate-/l/_binary64_12301 div-exp_binary64_19225 cancel-sign-sub-inv_binary64_17435 cbrt-prod_binary64_24661 unpow-prod-down_binary64_3908 associate-*r*_binary64_3428 associate-*r*_binary64_11612 associate-*r*_binary64_8543 flip3-+_binary64_11334 associate-/l*_binary64_2751 cbrt-prod_binary64_8293 flip-+_binary64_11305
38×distribute-lft-out--_binary64_712 cbrt-undiv_binary64_16821 flip--_binary64_15739 cancel-sign-sub-inv_binary64_2772 cbrt-unprod_binary64_11364 cbrt-unprod_binary64_16820 pow-prod-down_binary64_19927 associate-*l*_binary64_1042 div-inv_binary64_2803 associate-/r/_binary64_18097 associate-/r*_binary64_13321 flip-+_binary64_14715 pow1_binary64_20599 associate-*l*_binary64_6157 prod-exp_binary64_19905 associate-/l*_binary64_3433 associate--l+_binary64_1038 associate-/l*_binary64_6161 associate-*r/_binary64_10932 div-exp_binary64_7631 associate-/l*_binary64_8548 cbrt-unprod_binary64_19889 sqrt-pow1_binary64_1119 flip3--_binary64_15768 associate-/r/_binary64_2752 distribute-rgt-in_binary64_16737 flip3-+_binary64_14744 cbrt-div_binary64_2497 associate-/l*_binary64_14004 distribute-lft-in_binary64_16736
37×div-inv_binary64_20876 add-log-exp_binary64_22964 associate-*r/_binary64_16388 distribute-lft-out_binary64_9918 associate-*l*_binary64_23889 pow1/3_binary64_2547 cbrt-undiv_binary64_12047 sqrt-prod_binary64_7596 unswap-sqr_binary64_14368 sqr-pow_binary64_5165
36×distribute-lft-in_binary64_19123 cube-prod_binary64_1129 log-prod_binary64_11417 associate-*r/_binary64_16047 cbrt-prod_binary64_19205 flip3--_binary64_423 flip3--_binary64_21565 associate-/l*_binary64_20142 prod-exp_binary64_20587 flip3--_binary64_2810 flip--_binary64_394 frac-times_binary64_23617 cbrt-prod_binary64_1814 difference-of-squares_binary64_17438 times-frac_binary64_84 cube-prod_binary64_9995 cbrt-div_binary64_15114 prod-exp_binary64_3878 prod-exp_binary64_13085 unpow-prod-down_binary64_10046 distribute-rgt-in_binary64_10940 unpow-prod-down_binary64_9364 pow1/3_binary64_3911 pow-prod-down_binary64_12425 associate--r+_binary64_7516 associate-*r*_binary64_7861 flip--_binary64_2781 unswap-sqr_binary64_22893 cbrt-prod_binary64_2155 associate-+r+_binary64_2397 associate-/l*_binary64_10594 *-commutative_binary64_21492 pow-prod-down_binary64_1172 associate-*l*_binary64_17751 cube-prod_binary64_9313 difference-of-squares_binary64_6867 distribute-rgt-in_binary64_19124 unswap-sqr_binary64_1751 pow1/3_binary64_5957 associate-*l*_binary64_18092 distribute-lft-in_binary64_10939 flip--_binary64_21536
35×distribute-lft-in_binary64_10257 associate-/r*_binary64_10252 div-exp_binary64_3880 distribute-rgt-in_binary64_10258 div-exp_binary64_24340 log-pow_binary64_11761 sum-log_binary64_11763 distribute-lft-out_binary64_19125 distribute-lft-out_binary64_10941 associate-*r/_binary64_14001 distribute-rgt-in_binary64 pow1_binary64_7982 div-exp_binary64_2857 associate-/l*_binary64_13663 div-exp_binary64_13769 associate-/r/_binary64_706 associate-*l*_binary64_6498 associate-+r+_binary64_10 div-exp_binary64_20589 sqrt-pow1_binary64_6916 distribute-lft-in_binary64 associate-*l/_binary64_12979
34×associate-*l*_binary64_22184 associate-/r/_binary64_14687 associate-*r/_binary64_16729 unswap-sqr_binary64_20847 cbrt-div_binary64_5907 associate-+l+_binary64_13992 flip3-+_binary64_763 distribute-lft-out--_binary64_10260 cbrt-undiv_binary64_12388 associate-*l*_binary64_12977 associate-*l*_binary64_20138 cbrt-undiv_binary64_11365 flip3-+_binary64_12357 associate-/l*_binary64_15368 flip-+_binary64_734 *-commutative_binary64_16377 cbrt-unprod_binary64_2839 pow1_binary64_18553 sqrt-div_binary64_17827 sqrt-pow1_binary64_14077 flip-+_binary64_12328 cancel-sign-sub-inv_binary64_1067 cbrt-prod_binary64_109 associate-*l*_binary64_18774 associate-+l+_binary64_11605 div-exp_binary64_12405 cbrt-undiv_binary64_8978 flip-+_binary64_21194 associate-*l*_binary64_5816 flip3-+_binary64_21223 cbrt-unprod_binary64_8295 cancel-sign-sub-inv_binary64_1749
33×add-log-exp_binary64_8642 add-log-exp_binary64_24328 pow1_binary64_4231 flip--_binary64_3804 unswap-sqr_binary64_3797 flip3--_binary64_10994 cancel-sign-sub-inv_binary64_14366 add-cbrt-cube_binary64_21938 associate-*l*_binary64_14682 flip-+_binary64_4826 flip-+_binary64_19489 associate-*l*_binary64_8544 associate-*l*_binary64_13318 cancel-sign-sub-inv_binary64_18458 associate-/r/_binary64_10595 flip3-+_binary64_19518 cbrt-undiv_binary64_10683 flip3--_binary64_15086 flip3-+_binary64_4855 flip--_binary64_14034 div-inv_binary64_8600 add-exp-log_binary64_24668 add-log-exp_binary64_2163 flip--_binary64_10965 add-exp-log_binary64_21940 add-log-exp_binary64_25010 associate-/l*_binary64_3092 associate-*l*_binary64_20479 flip--_binary64_15057 cancel-sign-sub-inv_binary64_9592 associate-/l*_binary64_14345 flip3--_binary64_14063 associate-*r*_binary64_4110 cbrt-undiv_binary64_19208 div-inv_binary64_8941 flip3--_binary64_3833
32×associate-*l/_binary64_362 associate-*l/_binary64_703 prod-exp_binary64_18882 cbrt-prod_binary64_6247 cbrt-unprod_binary64_19548 cbrt-undiv_binary64_6250 div-exp_binary64_15474 distribute-lft-in_binary64_11280 distribute-rgt-in_binary64_20829 flip3--_binary64_11335 cbrt-unprod_binary64_11705 distribute-rgt-in_binary64_11281 associate-+r+_binary64_20811 flip3-+_binary64_1786 flip-+_binary64_1757 flip--_binary64_14375 flip--_binary64_22218 exp-sum_binary64_7626 associate-+r+_binary64_22516 distribute-lft-out--_binary64_14693 associate-/r*_binary64_21846 flip3--_binary64_14404 flip3-+_binary64_3491 div-inv_binary64_17125 associate-/r*_binary64_24915 flip3--_binary64_22247 associate-/l*_binary64_24234 cbrt-prod_binary64_16818 flip-+_binary64_3462 associate-*r/_binary64_12296 associate-/r/_binary64_22189 distribute-lft-in_binary64_20828 add-exp-log_binary64_2162 prod-exp_binary64_12062 cancel-sign-sub-inv_binary64_16412 add-log-exp_binary64_6255 associate-/l*_binary64_22188 add-cbrt-cube_binary64_2160 flip--_binary64_735 flip--_binary64_11306 flip3--_binary64_764 cbrt-unprod_binary64_18866
31×associate-/l*_binary64_19119 cbrt-prod_binary64_19546 swap-sqr_binary64 cbrt-prod_binary64_10339 prod-exp_binary64_22974 div-inv_binary64_11328 cancel-sign-sub-inv_binary64_4818 associate-/r/_binary64_6844 associate-*l*_binary64_7521 frac-times_binary64_18161 pow-prod-down_binary64_18904 associate-*r*_binary64_15363 associate-/l*_binary64_19460 add-log-exp_binary64_15803 cbrt-div_binary64 associate-/r*_binary64_17754 cbrt-unprod_binary64_7272 pow-prod-down_binary64_3559 pow-prod-down_binary64_9015 sqrt-pow1_binary64_16123 cancel-sign-sub-inv_binary64_9933 associate-*r/_binary64_13319 associate-/r/_binary64_13323 frac-add_binary64_21228 cbrt-prod_binary64_7611 associate-/r*_binary64_16390 cbrt-unprod_binary64_22958
30×associate-*l/_binary64_10251 associate-*r*_binary64_21160 distribute-rgt-in_binary64_16396 pow1/3_binary64_14823 pow1_binary64_15484 sqrt-div_binary64_4869 associate-/r/_binary64_11618 cancel-sign-sub-inv_binary64_726 associate-/l*_binary64_11276 unpow-prod-down_binary64_2203 distribute-lft-out--_binary64_6850 cbrt-unprod_binary64_15797 associate-/r*_binary64_9229 cbrt-div_binary64_11022 cube-prod_binary64_788 cbrt-unprod_binary64_14774 pow-prod-down_binary64_14812 prod-exp_binary64_15813 flip3-+_binary64_2468 prod-exp_binary64_14790 cube-prod_binary64_2152 distribute-lft-in_binary64_16395 cbrt-div_binary64_10681 sqrt-div_binary64_3846 add-cbrt-cube_binary64_25007 associate-/r/_binary64_4798 associate-*r/_binary64_5135 prod-exp_binary64_22292 div-inv_binary64_3485 associate-*l*_binary64_7862 unpow-prod-down_binary64_839 unpow-prod-down_binary64_7318 frac-times_binary64_14751 flip-+_binary64_2439
29×pow1/3_binary64_9026 sub-neg_binary64_21554 prod-exp_binary64_19223 cbrt-undiv_binary64_19549 associate-*r/_binary64_18775 prod-exp_binary64_809 associate-/l*_binary64_5138 cancel-sign-sub-inv_binary64_21527 pow-prod-down_binary64_22996 associate-/r*_binary64_11616 flip--_binary64_2440 swap-sqr_binary64_3796 sum-log_binary64_510 associate-*l*_binary64_11613 unswap-sqr_binary64_7207 unswap-sqr_binary64_17096 associate-+r+_binary64_1033 flip3--_binary64_2469 cancel-sign-sub-inv_binary64_11297 flip3--_binary64_10653 unswap-sqr_binary64_15732 unswap-sqr_binary64_5843 flip--_binary64_10624 associate-/l*_binary64_3774 cbrt-undiv_binary64_7614 sqr-pow_binary64_22897 cbrt-unprod_binary64_793 associate-*l/_binary64_14002 pow-prod-down_binary64_6969 associate-*l/_binary64_16730 associate-*l/_binary64_7523 associate-*l/_binary64 cbrt-undiv_binary64_14775
28×cbrt-undiv_binary64_24323 add-log-exp_binary64 cbrt-undiv_binary64_3181 frac-times_binary64_19866 div-inv_binary64_12351 cbrt-unprod_binary64_20571 prod-exp_binary64_17859 flip--_binary64_13352 cbrt-undiv_binary64_16480 distribute-lft-in_binary64_9916 associate-/r*_binary64_7865 div-inv_binary64_6895 associate-/r/_binary64_21166 sub-neg_binary64_16439 cancel-sign-sub-inv_binary64_10615 div-exp_binary64_17520 distribute-rgt-in_binary64_9917 sqrt-div_binary64_14758 div-exp_binary64_16497 cbrt-undiv_binary64_17503 add-log-exp_binary64_20577 cbrt-div_binary64_4884 associate-*l/_binary64_24914 pow-prod-down_binary64_17540 flip3--_binary64_13381 associate-/r/_binary64_16392 prod-exp_binary64_8652 pow-prod-down_binary64_831 pow1/3_binary64_5616 associate-*r/_binary64_15024
27×div-exp_binary64_18202 distribute-rgt-in_binary64_12645 sub-neg_binary64_7573 cbrt-unprod_binary64_19207 associate-*r/_binary64 cbrt-undiv_binary64_18526 cbrt-unprod_binary64_8636 add-log-exp_binary64_5573 div-inv_binary64_3144 associate-*l*_binary64_18433 div-exp_binary64_18543 pow1/3_binary64_13459 cancel-sign-sub-inv_binary64_7205 unswap-sqr_binary64_15050 prod-exp_binary64_5924 pow-prod-down_binary64_149 associate-*r*_binary64_21842 pow1/3_binary64_15164 div-exp_binary64_1152 associate-/l*_binary64_6843 associate-/r/_binary64_15028 unswap-sqr_binary64_23916 sinh-def_binary64_14926 associate-/r*_binary64_9911 distribute-lft-in_binary64_12644
26×prod-exp_binary64_10698 1-exp_binary64_11375 cbrt-div_binary64_17501 add-log-exp_binary64_8301 associate-+r+_binary64_10240 rec-exp_binary64_11381 div-inv_binary64_13374 cancel-sign-sub-inv_binary64_20504 distribute-lft-out_binary64_7872 div-inv_binary64_19512 associate-/l*_binary64_17073 prod-exp_binary64_6265 prod-exp_binary64_18200 sinh-def_binary64_2991 add-log-exp_binary64_1481 flip--_binary64_6873 prod-exp_binary64_5583 div-exp_binary64_8313 flip-+_binary64_10964 distribute-lft-in_binary64_11621 associate-/r*_binary64_20141 flip3--_binary64_6902 distribute-rgt-in_binary64_22193 flip3-+_binary64_24292 pow1_binary64_2185 associate-*r/_binary64_19798 sqrt-div_binary64_6915 flip3-+_binary64_10993 difference-of-sqr-1_binary64_24259 prod-exp_binary64_4901 flip-+_binary64_24263 associate-*l*_binary64_19456 distribute-lft-in_binary64_22192 flip3--_binary64_13722 cbrt-unprod_binary64_6249 distribute-rgt-in_binary64_11622 flip--_binary64_13693 add-cbrt-cube_binary64_4206 cbrt-undiv_binary64_20572 prod-exp_binary64_17177 associate--l+_binary64_13314
25×div-inv_binary64_3826 div-inv_binary64_19171 flip3--_binary64_4856 flip3--_binary64_18496 associate-/r*_binary64 flip-+_binary64_14033 add-log-exp_binary64_9324 associate-/r/_binary64 div-inv_binary64_20194 add-cbrt-cube_binary64_24666 sum-log_binary64_18242 flip-+_binary64_2780 prod-exp_binary64_6947 flip-+_binary64_5167 associate-/r/_binary64_19461 flip--_binary64_18467 cbrt-undiv_binary64_15457 flip--_binary64_4827 flip3-+_binary64_17131 div-inv_binary64_13715 flip3--_binary64_6561 cbrt-undiv_binary64_6932 cbrt-prod_binary64_3178 flip3-+_binary64_5196 difference-of-squares_binary64_8572 unpow-prod-down_binary64_4249 associate--l+_binary64_19111 add-log-exp_binary64_22623 cbrt-prod_binary64_24320 1-exp_binary64_14444 div-inv_binary64_24286 associate-+r+_binary64_351 flip--_binary64_6532 flip3-+_binary64_2809 associate-*r/_binary64_20 associate-*r/_binary64_24231 flip-+_binary64_17102 pow-prod-down_binary64_11402 cbrt-prod_binary64_20228 flip3-+_binary64_14062 unswap-sqr_binary64_2774 rec-exp_binary64_21270 cbrt-prod_binary64_20910 pow1/3_binary64_11072 unswap-sqr_binary64_6866 1-exp_binary64_21264 cbrt-prod_binary64_7952
24×flip-+_binary64_16079 cancel-sign-sub-inv_binary64_3795 cbrt-unprod_binary64_22276 pow-prod-down_binary64_14130 distribute-rgt-in_binary64_21511 associate-/r/_binary64_17756 associate-*l*_binary64_21161 cbrt-div_binary64_13750 associate-*r/_binary64_22185 associate-+l+_binary64_693 associate-/r/_binary64_19120 1-exp_binary64_3191 associate-/r*_binary64_2409 div-inv_binary64_15420 rec-exp_binary64_3197 distribute-lft-out--_binary64_21854 flip-+_binary64_7554 associate-/r/_binary64_8549 cbrt-div_binary64_13409 associate-+r+_binary64_11263 associate-+l+_binary64_12287 sqrt-prod_binary64_9301 difference-of-squares_binary64_21871 sqrt-pow1_binary64_15100 flip3-+_binary64_16108 distribute-lft-in_binary64_21510 cbrt-div_binary64_23980 associate-*r/_binary64_361 pow1/3_binary64_17210 sqrt-pow1_binary64_3165 associate-*l/_binary64_6841 *-commutative_binary64_12285 sqr-pow_binary64_3460 add-log-exp_binary64_15462 sqrt-prod_binary64_4527 add-log-exp_binary64_10006 cbrt-unprod_binary64_18184 prod-exp_binary64_9675 associate-/r*_binary64_22187 flip3-+_binary64_7583 sub-neg_binary64_6550
23×flip3-+_binary64_7242 frac-times_binary64_12364 cbrt-prod_binary64_23297 flip-+_binary64_7213 flip3-+_binary64_422 pow-prod-down_binary64_6628 tanh-def-b_binary64_11519 cbrt-unprod_binary64_17161 cbrt-div_binary64_14432 associate-/r/_binary64_20825 tanh-def-a_binary64_11518 distribute-lft-out--_binary64_23559 div-inv_binary64_18489 pow-prod-down_binary64_3218 unswap-sqr_binary64_5502 associate-*r*_binary64_9907 pow-prod-down_binary64_8674 pow-prod-down_binary64_12766 associate-/l*_binary64_705 sqr-pow_binary64_11985 flip3-+_binary64_18836 distribute-lft-out_binary64_13328 associate-*l/_binary64_14343 tanh-def-c_binary64_11520 associate-*r*_binary64_5133 associate-*l*_binary64_5134 flip-+_binary64_393 pow1_binary64_22645 unswap-sqr_binary64_16755 cbrt-prod_binary64_14772 cbrt-div_binary64_3520 associate-/l*_binary64_17755 unswap-sqr_binary64_10617 add-exp-log_binary64_22622 flip-+_binary64_18807 associate-/l*_binary64_18096
22×cbrt-unprod_binary64_17843 flip3--_binary64_5197 cbrt-unprod_binary64_10341 flip--_binary64_5168 prod-exp_binary64_10357 unswap-sqr_binary64_4820 cbrt-unprod_binary64_4885 associate-/r/_binary64_6162 pow1/3_binary64_17551 cancel-sign-sub-inv_binary64_2090 associate-/r/_binary64_23212 sum-log_binary64_2556 add-log-exp_binary64_22282 swap-sqr_binary64_5501 swap-sqr_binary64_4478 cbrt-undiv_binary64_2840 associate-/r*_binary64_1727 div-exp_binary64_17861 prod-exp_binary64_3537 distribute-lft-out_binary64_17079 difference-of-squares_binary64_9595 associate-*l/_binary64_11274 swap-sqr_binary64_16072 flip--_binary64_5850 cbrt-unprod_binary64_3521 pow-prod-down_binary64_16176 associate-/r/_binary64_20143 prod-exp_binary64_21269 sqrt-div_binary64_1800 associate-*r/_binary64_3430 associate-*r*_binary64_9225 flip3--_binary64_5879 cancel-sign-sub-inv_binary64_13002 pow-prod-down_binary64_10379 add-log-exp_binary64_4209 associate-/r*_binary64_4455 cbrt-unprod_binary64_3862 prod-exp_binary64_16154 cbrt-undiv_binary64_18185 cbrt-unprod_binary64_9659 div-exp_binary64_4903
21×div-exp_binary64_8654 unswap-sqr_binary64_17778 frac-times_binary64_21230 div-inv_binary64_18148 associate-*l/_binary64_18094 swap-sqr_binary64_1750 flip3--_binary64_23952 associate-*r/_binary64_6499 distribute-lft-out_binary64_12987 flip3--_binary64_8266 flip-+_binary64_1416 difference-of-squares_binary64_388 flip3-+_binary64_1445 associate-*r/_binary64_19116 cancel-sign-sub-inv_binary64_4477 prod-exp_binary64_4219 flip3--_binary64_19178 pow-prod-up_binary64_6286 flip--_binary64_19149 unswap-sqr_binary64_17437 distribute-lft-out_binary64_370 log-prod_binary64_10394 cancel-sign-sub-inv_binary64_5159 flip--_binary64_23923 swap-sqr_binary64_17095 cbrt-undiv_binary64_8637 associate-/r*_binary64_23892 sqrt-pow1_binary64_7257 div-exp_binary64_17179 flip--_binary64_8237 difference-of-squares_binary64_11641 prod-exp_binary64_23997 unswap-sqr_binary64_8912 *-commutative_binary64_14331 pow-prod-down_binary64_2536 prod-exp_binary64_24338 cbrt-undiv_binary64_13752 pow1/2_binary64_17890 swap-sqr_binary64_10957
20×distribute-lft-out_binary64_17761 flip3-+_binary64_3832 associate-*r/_binary64_10250 cancel-sign-sub-inv_binary64_12320 associate-/l/_binary64_18439 cbrt-undiv_binary64_17844 prod-exp_binary64_13426 cbrt-unprod_binary64_16138 flip-+_binary64_20853 flip-+_binary64_3803 distribute-lft-out_binary64_1734 div-exp_binary64_20248 *-commutative_binary64_13649 1-exp_binary64_6260 unswap-sqr_binary64_18119 flip-+_binary64_17784 pow1/3_binary64 associate-+r+_binary64_2738 associate-*l*_binary64_9908 associate-+r+_binary64_23198 associate-*r*_binary64_2064 swap-sqr_binary64_22892 cbrt-unprod_binary64_452 prod-exp_binary64_468 associate-/l*_binary64_23211 pow-prod-down_binary64_16858 sqrt-div_binary64_23965 associate-*l*_binary64_9226 distribute-lft-in_binary64_4801 flip3-+_binary64_17813 flip--_binary64_9260 sqrt-div_binary64_3164 flip3-+_binary64_24974 associate-/r*_binary64_9570 cbrt-unprod_binary64_13069 pow-prod-down_binary64_9697 associate-*l/_binary64_2408 flip-+_binary64_24945 swap-sqr_binary64_4819 rec-exp_binary64_6266 cbrt-unprod_binary64_10682 flip3--_binary64_9289 cbrt-prod_binary64_20569 associate-*r/_binary64_702 prod-exp_binary64_1491 distribute-rgt-in_binary64_4802 cbrt-undiv_binary64_17162 flip--_binary64_16080 associate-/l/_binary64_16734 cbrt-prod_binary64_17841 unswap-sqr_binary64_23234 flip3-+_binary64_20882 pow1/3_binary64_160 div-exp_binary64_3539 flip3--_binary64_16109 div-exp_binary64_22294 cancel-sign-sub-inv_binary64_22209 associate-/r/_binary64_3434 sqrt-div_binary64 associate-/r/_binary64_8208 pow1/2_binary64_16185 add-cbrt-cube_binary64_22620
19×sum-log_binary64_4602 distribute-lft-out--_binary64_19126 unswap-sqr_binary64_7548 cbrt-undiv_binary64_3863 distribute-rgt-in_binary64_20488 sub-neg_binary64_16098 cbrt-undiv_binary64_19890 associate-*r/_binary64_18093 flip-+_binary64_52 distribute-lft-in_binary64_20487 cbrt-div_binary64_9317 pow1/3_binary64_16187 times-frac_binary64_18839 rec-exp_binary64_14450 flip3-+_binary64_17472 distribute-lft-in_binary64_16054 div-inv_binary64_5872 associate-/l/_binary64_12642 div-inv_binary64_17807 pow-prod-down_binary64_7310 distribute-rgt-in_binary64_16055 flip-+_binary64_18125 associate-/l*_binary64_4797 associate-*l/_binary64_12297 cbrt-unprod_binary64_2498 cancel-sign-sub-inv_binary64_16071 unswap-sqr_binary64_2433 *-commutative_binary64_3078 add-log-exp_binary64_7960 unpow-prod-down_binary64_5954 associate-/l*_binary64_16391 associate-*l*_binary64_21843 associate-/l*_binary64_9571 unswap-sqr_binary64_4479 cbrt-unprod_binary64_24322 pow-prod-up_binary64_15152 cancel-sign-sub-inv_binary64_13684 distribute-rgt-in_binary64_23557 flip-+_binary64_17443 prod-exp_binary64_2514 associate-*l/_binary64_4795 distribute-lft-in_binary64_23556 unpow-prod-down_binary64_5613 associate-/l*_binary64_13322 difference-of-squares_binary64_20507 flip3-+_binary64_18154 associate-/l/_binary64_12983 flip3-+_binary64_81
18×pow-prod-down_binary64_490 *-commutative_binary64_11262 rem-sqrt-square_binary64_14072 sub-neg_binary64_412 associate-/r*_binary64_1386 frac-times_binary64_4862 cbrt-undiv_binary64_1135 pow1/2_binary64_3227 pow1/3_binary64_4593 cbrt-div_binary64_5225 cbrt-div_binary64_7953 frac-sub_binary64_11340 unpow-prod-down_binary64_157 cbrt-unprod_binary64_5908 associate-/r*_binary64_5819 cbrt-unprod_binary64_21253 cbrt-unprod_binary64_12046 distribute-rgt-in_binary64_23216 swap-sqr_binary64_5842 cbrt-div_binary64_1815 distribute-rgt-in_binary64_7189 distribute-lft-in_binary64_23215 distribute-lft-out_binary64_8554 pow1/3_binary64_6298 cbrt-div_binary64_10340 pow-prod-down_binary64_19586 cbrt-div_binary64_8294 div-inv_binary64_16443 div-inv_binary64_17466 associate-/l*_binary64_23893 associate-+r+_binary64_3761 associate-*r*_binary64_24911 frac-add_binary64_427 distribute-lft-out_binary64_3780 pow-exp_binary64_16514 swap-sqr_binary64_9252 cbrt-prod_binary64_19887 sub-neg_binary64_10301 prod-exp_binary64_7629 cbrt-unprod_binary64_7613 associate-/r*_binary64_20482 distribute-lft-in_binary64_7188 sqrt-prod_binary64_6232 cbrt-prod_binary64_22274 cbrt-div_binary64_20911 pow-prod-down_binary64_20950 pow1_binary64_25032 distribute-lft-out_binary64_11282 sub-neg_binary64_19167 distribute-lft-out--_binary64_24241 cbrt-div_binary64_15455 flip3--_binary64_20201 cbrt-undiv_binary64_20231 cbrt-undiv_binary64_4545 sub-neg_binary64_20872 flip--_binary64_20172 div-exp_binary64_4562 unswap-sqr_binary64_1410 cbrt-div_binary64_5566
17×pow-prod-down_binary64 sum-log_binary64_10399 pow-prod-up_binary64_4581 pow-prod-down_binary64_3900 flip-+_binary64_18466 cbrt-unprod_binary64_6931 associate-*r/_binary64_7181 exp-prod_binary64_22977 distribute-lft-out_binary64_7190 associate-*r/_binary64_23890 prod-exp_binary64_1150 cbrt-unprod_binary64_1134 associate-/l*_binary64_9230 flip3-+_binary64_23951 pow1/3_binary64_15846 pow1_binary64_24691 associate-/l*_binary64_20483 clear-num_binary64_12012 associate-/r/_binary64_3093 associate-+l+_binary64_2739 clear-num_binary64_10989 1-exp_binary64_12057 *-commutative_binary64_12626 associate-/r/_binary64_24917 prod-exp_binary64_18541 frac-2neg_binary64_11001 associate-/r/_binary64_5139 cbrt-unprod_binary64_18525 frac-times_binary64_2816 cbrt-unprod_binary64_5567 associate-/l*_binary64_4456 cbrt-div_binary64_12386 pow-to-exp_binary64_16515 associate-/r*_binary64_24574 associate-/r/_binary64_2411 flip3-+_binary64_10311 rec-exp_binary64_12063 frac-add_binary64_11339 frac-2neg_binary64_12706 frac-2neg_binary64_12024 pow-prod-down_binary64_4923 flip3-+_binary64_18495 diff-log_binary64_511 pow1/3_binary64_23007 pow-prod-down_binary64_11743 clear-num_binary64_12694 frac-times_binary64 pow-prod-down_binary64_11061 associate-*r/_binary64_20821 distribute-lft-out--_binary64_18444 flip-+_binary64_23922 cosh-def_binary64_9130 flip-+_binary64_10282
16×associate-+r+_binary64_23539 sub-neg_binary64_23259 sqrt-div_binary64_4528 associate-+r+_binary64_7512 pow1/3_binary64_14482 pow-prod-down_binary64_13448 pow1/3_binary64_2888 distribute-rgt-in_binary64_17419 flip3-+_binary64_12016 flip-+_binary64_4485 *-commutative_binary64_2737 flip3-+_binary64_4514 sum-log_binary64_12104 sum-log_binary64_11422 pow-flip_binary64_14133 distribute-lft-in_binary64_14349 sqrt-div_binary64_6574 flip-+_binary64_2098 swap-sqr_binary64_2432 flip3-+_binary64_2127 associate-/l*_binary64_1387 inv-pow_binary64_14144 pow1/2_binary64_6296 distribute-rgt-in_binary64_3779 frac-2neg_binary64_16798 pow-prod-down_binary64_22314 cbrt-unprod_binary64_13410 div-inv_binary64_4849 *-commutative_binary64_23538 frac-sub_binary64_428 clear-num_binary64_16786 associate-/l/_binary64_13665 *-commutative_binary64_7170 associate-/l*_binary64_8889 cbrt-undiv_binary64_8296 cbrt-prod_binary64_21592 associate-/l/_binary64_2753 frac-add_binary64_21569 associate-*l*_binary64_2065 frac-times_binary64_770 distribute-lft-in_binary64_18782 distribute-rgt-in_binary64_18783 flip-+_binary64_11987 *-commutative_binary64_1714 swap-sqr_binary64_8911 div-exp_binary64_1834 sqrt-div_binary64_9302 div-exp_binary64_23317 sub-neg_binary64_22236 pow-unpow_binary64_155 sqrt-pow1_binary64_14759 distribute-rgt-in_binary64_14350 associate-+r+_binary64_4784 distribute-lft-in_binary64_3778 associate-*r/_binary64_4794 distribute-lft-in_binary64_17418 unswap-sqr_binary64_19142 associate-*r*_binary64_18432 associate-+l+_binary64_10241 associate-+l+_binary64_2057 pow1/2_binary64_1181 associate-+r+_binary64_20470 *-commutative_binary64_691 associate-+r+_binary64_12627 *-commutative_binary64_13990
15×sum-log_binary64_23357 flip-+_binary64_6872 clear-num_binary64_12353 pow-sqr_binary64_6189 distribute-rgt-in_binary64_1733 *-commutative_binary64_18764 sub-neg_binary64_17462 cbrt-unprod_binary64_10000 prod-exp_binary64 frac-2neg_binary64_12365 div-inv_binary64_20535 associate-*r/_binary64_20480 distribute-lft-in_binary64_1732 distribute-lft-out_binary64_18784 associate-/r*_binary64_8206 log-pow_binary64_10397 div-exp_binary64_6608 flip3-+_binary64_6901 unswap-sqr_binary64_10276 1-exp_binary64_11716 difference-of-squares_binary64_6526 associate-*l/_binary64_18435 cbrt-unprod_binary64_23981 associate-*r/_binary64_1725 pow-prod-down_binary64_8333 associate-*r*_binary64_12976 unswap-sqr_binary64 swap-sqr_binary64_17777 associate-*r/_binary64_6840 *-commutative_binary64_8875 associate-*r*_binary64_19796 associate-/l/_binary64_10937 prod-exp_binary64_10016 cbrt-unprod_binary64 flip-+_binary64_9600 cbrt-undiv_binary64_6591 distribute-rgt-out_binary64_15717 associate-/l/_binary64_18098 associate-*l/_binary64_14684 pow-prod-down_binary64_17199 sub-neg_binary64_23600 cbrt-undiv_binary64_3522 *-commutative_binary64_10239 associate-/r*_binary64_6501 cancel-sign-sub-inv_binary64_44 frac-sub_binary64_13386 sqrt-prod_binary64_19531 associate-*l/_binary64_2749 div-inv_binary64_4508 flip3--_binary64_17473 distribute-lft-out_binary64_10259 rec-exp_binary64_11722 cbrt-undiv_binary64_22277 pow-prod-down_binary64_10038 flip--_binary64_17444 pow-sqr_binary64_4484 associate-*l/_binary64_23209 diff-log_binary64_11764 pow1/2_binary64_6978 flip3-+_binary64_9629 div-inv_binary64_757
14×unswap-sqr_binary64_728 flip--_binary64_20854 associate-/r/_binary64_1729 frac-times_binary64_15774 flip--_binary64_18808 flip3--_binary64_20883 unpow-prod-down_binary64_498 frac-times_binary64_11000 frac-times_binary64_13728 cbrt-unprod_binary64_1475 *-commutative_binary64_2396 flip3--_binary64_8607 associate-*l*_binary64_4111 sub-neg_binary64_16780 sum-log_binary64_21311 div-exp_binary64_13428 associate-/l*_binary64_24916 frac-2neg_binary64_14752 swap-sqr_binary64_6183 cbrt-undiv_binary64_4886 pow-pow_binary64_16177 sum-log_binary64_16196 associate-/l/_binary64_21167 swap-sqr_binary64_21187 swap-sqr_binary64_23574 cbrt-div_binary64_11363 pow-prod-down_binary64_5605 distribute-lft-out_binary64_7531 sub-neg_binary64_2799 associate-/l/_binary64_5140 +-commutative_binary64_18081 associate-+l-_binary64_11607 sum-log_binary64_1874 swap-sqr_binary64_2773 frac-2neg_binary64_14070 associate-/l*_binary64_17414 log-div_binary64_11759 prod-exp_binary64_23315 flip3--_binary64_18837 unswap-sqr_binary64_9594 clear-num_binary64_18491 *-commutative_binary64_20128 log-pow_binary64_6646 associate-/l/_binary64_24236 div-inv_binary64 flip--_binary64_8578 sum-log_binary64_9717 div-exp_binary64_811 pow-prod-down_binary64_24019 pow1/3_binary64_9708 clear-num_binary64_14058 frac-2neg_binary64_18503 distribute-lft-in_binary64_6847 distribute-rgt-in_binary64_6848 sum-log_binary64_169 *-commutative_binary64_16718 associate-/l*_binary64_2410 associate-*l*_binary64_15364 prod-exp_binary64_15472 clear-num_binary64_14740
13×clear-num_binary64_19514 *-commutative_binary64_9 associate-*l/_binary64_22868 frac-2neg_binary64_19185 flip3-+_binary64_8606 clear-num_binary64_19173 associate-/l/_binary64_19803 flip-+_binary64_19148 clear-num_binary64_13035 associate-+r+_binary64_692 pow-prod-down_binary64_12084 distribute-lft-in_binary64_12985 associate-*r/_binary64_19457 flip--_binary64_5509 unpow-prod-down_binary64_3226 flip3-+_binary64_15767 associate-*r/_binary64_15706 frac-2neg_binary64_20890 flip3--_binary64_21224 frac-2neg_binary64_14411 distribute-lft-out--_binary64_12647 clear-num_binary64_14399 flip--_binary64_21195 sub-neg_binary64_12688 unswap-sqr_binary64_3456 div-inv_binary64_22240 sqrt-pow1_binary64_16464 associate-*r*_binary64_24570 associate-*l/_binary64_13320 div-exp_binary64_25022 flip-+_binary64_8577 swap-sqr_binary64_16754 div-inv_binary64_9282 associate-*l*_binary64_19797 associate-*r/_binary64_14683 associate-/r/_binary64_9913 pow1/3_binary64_3570 associate-/l*_binary64_15027 associate-/l*_binary64_9912 unswap-sqr_binary64_24257 *-commutative_binary64_20810 clear-num_binary64_20878 frac-times_binary64_14069 associate-*l/_binary64_15707 flip3-+_binary64_19177 distribute-rgt-in_binary64_12986 associate-/r/_binary64_9231 sub-neg_binary64_14052 frac-times_binary64_23276 *-commutative_binary64_16036 flip--_binary64_14716 distribute-rgt-in_binary64_2074 exp-prod_binary64_6609 frac-times_binary64_16797 frac-2neg_binary64_11683 sub-neg_binary64_14734 pow1_binary64_21963 flip-+_binary64_15738 pow-sqr_binary64_15055 unswap-sqr_binary64_20506 unswap-sqr_binary64_6184 pow1/3_binary64_16528 flip3--_binary64_5538 flip3--_binary64_14745 frac-2neg_binary64_13047 clear-num_binary64_11671 rem-sqrt-square_binary64_17823 associate-*r/_binary64_23208 pow-prod-up_binary64_14811 frac-2neg_binary64_19526 associate-/r/_binary64_10254 distribute-lft-in_binary64_2073 *-commutative_binary64_6147
12×pow1/3_binary64_11413 pow-prod-down_binary64_17881 distribute-neg-frac_binary64_11295 pow-exp_binary64_3215 cancel-sign-sub-inv_binary64_8569 flip3--_binary64_24293 cancel-sign-sub-inv_binary64_9251 associate-*l/_binary64_13661 pow-unpow_binary64_3906 cancel-sign-sub-inv_binary64_3113 pow1/3_binary64_4252 distribute-lft-out--_binary64_11624 associate-/r/_binary64_1388 associate-/l/_binary64_11278 swap-sqr_binary64_3114 pow1/3_binary64_10390 div-exp_binary64_9336 flip--_binary64_17785 frac-times_binary64_5203 associate-*r/_binary64_10591 cbrt-unprod_binary64_4203 pow1/3_binary64_21302 clear-num_binary64_21219 associate-/l/_binary64_23213 associate-+r+_binary64_12286 distribute-rgt-in_binary64_15032 associate-/l*_binary64_21847 frac-times_binary64_3839 associate-*l/_binary64_8887 frac-2neg_binary64_21231 unswap-sqr_binary64_13345 flip--_binary64_17103 cbrt-unprod_binary64_15456 distribute-lft-in_binary64_15031 unswap-sqr_binary64_23575 div-exp_binary64_23999 swap-sqr_binary64_12662 div-exp_binary64_5244 div-exp_binary64_15133 *-commutative_binary64_350 associate-/r/_binary64_2070 pow1/3_binary64_4934 sqrt-prod_binary64_22941 rem-sqrt-square_binary64_3160 flip--_binary64_9601 associate-+l+_binary64_19448 *-commutative_binary64_17059 pow-prod-down_binary64_21291 unswap-sqr_binary64_1069 log-prod_binary64_12781 div-inv_binary64_9964 cube-prod_binary64_13064 *-commutative_binary64_3760 associate--l+_binary64_2061 flip3--_binary64_17814 pow1/2_binary64_14139 *-commutative_binary64_15013 flip3--_binary64_17132 associate-*l/_binary64_23891 flip3--_binary64_9630 associate-+l+_binary64_21494 unswap-sqr_binary64_46 clear-num_binary64_2805 associate--l+_binary64_13996 *-commutative_binary64_10921 pow-prod-down_binary64_18222 log-prod_binary64_10735 sum-log_binary64_7330 div-inv_binary64_9623 pow-pow_binary64_22997 pow-prod-down_binary64_15835 frac-times_binary64_2475 associate-/l/_binary64_19462 frac-add_binary64_24979 frac-2neg_binary64_2817 unswap-sqr_binary64_22211 flip--_binary64_24264 associate-+r+_binary64_13991 cbrt-div_binary64_16137 +-commutative_binary64_10238
11×div-inv_binary64_24627 sub-neg_binary64_14393 pow1/3_binary64_19597 associate-*r/_binary64_17070 frac-2neg_binary64_13729 cbrt-undiv_binary64_1817 cube-prod_binary64_447 rec-exp_binary64_14109 flip--_binary64_53 cbrt-undiv_binary64_5909 *-commutative_binary64_1032 div-exp_binary64_129 sub-neg_binary64_11324 rec-exp_binary64_19906 flip-+_binary64_3121 pow-prod-up_binary64_3899 +-commutative_binary64_2395 pow-prod-down_binary64_5946 sqr-pow_binary64_7211 div-exp_binary64_10018 div-exp_binary64_2516 *-commutative_binary64_22856 sub-neg_binary64_9960 distribute-lft-in_binary64_19464 associate-/r/_binary64_21848 pow1/3_binary64_13800 prod-exp_binary64_7970 pow-flip_binary64_12087 distribute-lft-out--_binary64_8555 *-commutative_binary64_4442 pow-to-exp_binary64_3216 sub-neg_binary64_4845 associate-/l/_binary64_11960 sub-neg_binary64_11665 pow-flip_binary64_15156 div-inv_binary64_23263 frac-times_binary64_17479 cbrt-unprod_binary64_7954 distribute-lft-in_binary64_18441 clear-num_binary64_13717 frac-2neg_binary64_24300 sum-log_binary64_24039 flip3-+_binary64_3150 sub-neg_binary64_6891 associate-+l+_binary64_4444 difference-of-squares_binary64_4480 distribute-rgt-in_binary64_19465 associate-/r/_binary64_7867 clear-num_binary64_24288 div-inv_binary64_6554 div-exp_binary64_5926 diff-log_binary64_14833 *-commutative_binary64_6488 inv-pow_binary64_15167 associate-/l*_binary64_1728 flip--_binary64_24946 associate-/l*_binary64_7866 cbrt-undiv_binary64_23300 associate-*l/_binary64_11956 sum-log_binary64_3920 pow1/3_binary64_12436 flip3-+_binary64_7924 distribute-rgt-in_binary64_18442 diff-log_binary64_12105 *-commutative_binary64_3419 div-inv_binary64_23945 1-exp_binary64_14103 distribute-lft-out--_binary64_5486 distribute-lft-out--_binary64_2758 flip3--_binary64_82 pow1/3_binary64_24030 flip-+_binary64_7895 associate-*l/_binary64_10933 +-commutative_binary64_19445 unswap-sqr_binary64_4138 sub-neg_binary64_12006 cancel-sign-sub-inv_binary64_18799 sum-log_binary64_19606 unswap-sqr_binary64_11981 flip3--_binary64_24975 pow1/3_binary64_22666 1-exp_binary64_19900 pow-prod-up_binary64_1853
10×sqrt-prod_binary64_94 +-commutative_binary64_8 cbrt-undiv_binary64_794 *-commutative_binary64_17400 pow1/2_binary64_4932 associate-/l*_binary64_7184 pow-prod-down_binary64_19245 distribute-lft-out--_binary64_15375 flip3--_binary64_1787 sub-neg_binary64_10983 flip3--_binary64_15427 pow-exp_binary64_13104 sqrt-pow1_binary64_1801 frac-2neg_binary64_3499 clear-num_binary64_3146 pow1/3_binary64_3229 associate-/l/_binary64_3435 flip3-+_binary64_15426 associate-/l/_binary64_707 pow-prod-up_binary64_1171 frac-2neg_binary64_7591 *-commutative_binary64_19105 associate-/r/_binary64_23894 sub-neg_binary64_12347 sqrt-pow1_binary64_4870 sub-neg_binary64_1094 associate--r+_binary64_17405 unpow-prod-down_binary64_18230 sqrt-div_binary64_12371 unswap-sqr_binary64_7889 associate-/l/_binary64_25 flip--_binary64_15398 associate-/r/_binary64_9572 div-inv_binary64_21899 pow-prod-down_binary64_1513 associate-/l*_binary64 diff-log_binary64_11423 frac-2neg_binary64_19867 sum-log_binary64_1192 associate-*r/_binary64_9909 frac-times_binary64_23958 pow1/2_binary64_1863 unswap-sqr_binary64_8230 associate-*l/_binary64_1385 distribute-rgt-in_binary64_10599 *-commutative_binary64_5465 pow-exp_binary64_4238 div-inv_binary64_7918 frac-2neg_binary64_11342 div-exp_binary64_1493 log-pow_binary64_12102 unswap-sqr_binary64_9253 frac-add_binary64_19523 unswap-sqr_binary64_21188 *-commutative_binary64_4783 *-commutative_binary64_1373 distribute-lft-in_binary64_10598 difference-of-squares_binary64_19143 unswap-sqr_binary64_11640 clear-num_binary64_6897 clear-num_binary64_3487 sqrt-div_binary64_11348 flip3--_binary64_7925 associate-*l/_binary64_8205 distribute-rgt-in_binary64_3438 sqrt-div_binary64_23283 pow1/3_binary64_9367 distribute-lft-in_binary64_3437 distribute-lft-out--_binary64_371 pow1/2_binary64_3909 associate-/l/_binary64_19121 unpow3_binary64_3554 associate-/l/_binary64_17075 cbrt-undiv_binary64_112 distribute-lft-out--_binary64_6509 diff-log_binary64_6649 associate-/r/_binary64_14346 frac-2neg_binary64_6909 +-commutative_binary64_11261 swap-sqr_binary64_15390 div-exp_binary64_24681 *-commutative_binary64_9557 pow-prod-up_binary64_6968 clear-num_binary64_19855 cbrt-div_binary64_3861 sub-neg_binary64_1776 pow-prod-down_binary64_24360 associate-*l/_binary64_8546 sub-neg_binary64_20531 cube-mult_binary64_3518 associate-*r/_binary64_17411 sqrt-pow1_binary64_9303 pow1/2_binary64_9365 sqrt-div_binary64_16463 frac-2neg_binary64_3158 associate-/r/_binary64_6503 pow1/2_binary64_4591 sqrt-pow1_binary64_3847 frac-times_binary64_10659 distribute-lft-out--_binary64_9237 sqrt-div_binary64_19532 clear-num_binary64_7579 swap-sqr_binary64_23915 flip--_binary64_7896 flip--_binary64_1758 flip-+_binary64_15397 sum-log_binary64_13127 associate-*r/_binary64_3089 swap-sqr_binary64_10616 cbrt-unprod_binary64_23299 cube-prod_binary64_18179 clear-num_binary64_11330 clear-num_binary64_20196 sqr-pow_binary64_13008 associate--l+_binary64_13655 difference-of-sqr-1_binary64_9596 sqrt-pow1_binary64_4529 frac-2neg_binary64_20208 unswap-sqr_binary64_21529 frac-times_binary64_88
9×swap-sqr_binary64_11298 rem-sqrt-square_binary64_7252 div-sub_binary64_16792 *-commutative_binary64_8534 cbrt-undiv_binary64_15116 sqrt-prod_binary64_18849 cancel-sign-sub-inv_binary64_18117 times-frac_binary64_425 associate--l+_binary64_356 *-commutative_binary64_19446 exp-prod_binary64_16498 frac-times_binary64_1793 flip--_binary64_12670 associate-/r*_binary64_17413 pow1/3_binary64_8003 pow1/2_binary64_7319 pow-prod-up_binary64_17880 diff-log_binary64_18925 flip3--_binary64_3492 sub-neg_binary64_9619 associate-/l*_binary64_8207 cbrt-undiv_binary64_7955 div-inv_binary64_24968 *-commutative_binary64_8193 associate-/l/_binary64_7527 cosh-def_binary64_14586 frac-times_binary64_15092 div-exp_binary64_9677 pow-unpow_binary64_16182 flip-+_binary64_16761 div-exp_binary64_21953 associate-/l*_binary64_10253 difference-of-squares_binary64_5503 rem-log-exp_binary64_13418 div-inv_binary64_22581 frac-sub_binary64_15091 sum-log_binary64_18924 distribute-lft-out_binary64_18443 pow-prod-down_binary64_20609 unswap-sqr_binary64_387 cancel-sign-sub-inv_binary64_24255 1-exp_binary64_14785 pow1/3_binary64_20279 flip-+_binary64_9941 associate-*l/_binary64_17071 flip--_binary64_3463 pow1/3_binary64_15505 *-commutative_binary64_11944 associate-*r/_binary64_7863 div-inv_binary64_5190 associate-*r/_binary64_8545 cancel-sign-sub-inv_binary64_3454 +-commutative_binary64_11602 associate-*l/_binary64_20822 pow1/3_binary64_18233 unswap-sqr_binary64_19483 associate-/r*_binary64_363 clear-num_binary64_15422 frac-2neg_binary64_15775 pow-sqr_binary64_1756 diff-log_binary64_17561 flip-+_binary64_9259 clear-num_binary64_15763 flip--_binary64_3122 *-commutative_binary64_22174 distribute-lft-out--_binary64_20490 unswap-sqr_binary64_20165 pow-unpow_binary64_3565 cbrt-prod_binary64_11703 cube-div_binary64_3517 *-commutative_binary64_14672 pow-exp_binary64_5943 pow1/3_binary64_1865 pow1/3_binary64_24371 div-inv_binary64_2462 associate-*r/_binary64_8204 flip3-+_binary64_9970 distribute-lft-out--_binary64_3440 frac-2neg_binary64_15434 sum-cubes_binary64_1102 associate-*l*_binary64_24912 div-exp_binary64_7972 pow-sqr_binary64_3802 rem-sqrt-square_binary64_16118 flip3--_binary64_3151 cbrt-prod_binary64_13067 associate-*r*_binary64_22524 rec-exp_binary64_14791 cbrt-undiv_binary64_23982 sqr-pow_binary64_16418 flip3-+_binary64_9288 div-exp_binary64 associate-/l/_binary64_15370 pow-flip_binary64_24704 pow1/3_binary64_5275 *-commutative_binary64_11603 sqrt-prod_binary64_435 pow-exp_binary64_5602 flip3--_binary64_12699 div-sub_binary64_13723 cbrt-prod_binary64_1473 *-commutative_binary64_5806 cbrt-undiv_binary64_21936 sub-neg_binary64_13370 pow-unpow_binary64_23002 pow1/3_binary64_20961 pow1/3_binary64_24712 pow-prod-down_binary64_7992 flip3-+_binary64_16790 diff-log_binary64_23358 *-commutative_binary64 exp-sum_binary64_10695 unswap-sqr_binary64_18801 difference-of-sqr-1_binary64_23577 sum-log_binary64_13809 pow-prod-up_binary64_14129 associate-*r/_binary64_2407
8×associate-/l/_binary64_23895 associate-*l/_binary64_3431 associate-/l/_binary64_1730 div-exp_binary64_7290 unpow-prod-down_binary64_18571 pow1/3_binary64_501 *-commutative_binary64_23879 pow-prod-down_binary64_7651 cbrt-undiv_binary64_1476 associate-+r+_binary64_17401 cbrt-prod_binary64_18864 sub-neg_binary64 associate-*r/_binary64_17752 unpow-prod-down_binary64_17548 1-exp_binary64_13762 +-commutative_binary64_1713 flip3--_binary64 clear-num_binary64_10648 rec-exp_binary64_20929 frac-2neg_binary64_8614 pow-prod-up_binary64_16175 cos-sum_binary64_20331 frac-add_binary64_12021 frac-times_binary64_22253 sqr-pow_binary64_17441 pow-plus_binary64_14804 cancel-sign-sub-inv_binary64_15730 cbrt-div_binary64_23298 1-exp_binary64_6942 associate-/l/_binary64_1389 difference-of-squares_binary64_14369 sqrt-pow1_binary64_22943 associate-/l/_binary64_3776 associate-/l/_binary64_9573 flip--_binary64_21877 frac-times_binary64_11682 frac-times_binary64_9295 distribute-rgt-in_binary64_5143 associate-/l/_binary64_14006 1-exp_binary64_3873 associate-/l*_binary64_23552 frac-add_binary64_768 pow1/2_binary64_15162 sqr-pow_binary64_18464 associate-+r+_binary64_6830 frac-times_binary64_19184 pow-exp_binary64_3897 associate-+l+_binary64_20812 frac-sub_binary64_21570 associate-+r-_binary64_11606 sub-neg_binary64_3822 rec-exp_binary64_6948 pow-plus_binary64_15145 associate--r+_binary64_18428 frac-add_binary64_10316 cbrt-undiv_binary64_5227 cbrt-undiv_binary64_9319 frac-times_binary64_17138 associate-/r/_binary64_15369 cube-div_binary64_16134 cbrt-div_binary64_14091 associate-*l/_binary64_3772 *-commutative_binary64_18082 flip--_binary64 *-commutative_binary64_7511 associate-/l/_binary64_16393 frac-times_binary64_429 cbrt-undiv_binary64_7273 sub-neg_binary64_18485 pow-prod-up_binary64_2876 *-commutative_binary64_6829 pow-sqr_binary64_2779 flip3--_binary64_19519 unswap-sqr_binary64_6525 cbrt-div_binary64_16819 associate-+r+_binary64_6489 swap-sqr_binary64_14708 pow1/3_binary64_10731 associate-/l/_binary64_15711 times-frac_binary64_22931 associate-/r*_binary64_7183 rec-exp_binary64_3879 sub-neg_binary64_15075 associate-+r+_binary64_13650 associate-+r+_binary64_21493 rec-exp_binary64_13768 diff-log_binary64_1193 *-commutative_binary64_13308 *-commutative_binary64_15695 associate-*l/_binary64_16048 cbrt-undiv_binary64_9660 difference-of-squares_binary64_9254 frac-sub_binary64_19865 associate-*r/_binary64_3771 associate-+r+_binary64_16719 frac-sub_binary64_16796 sub-neg_binary64_2117 sqrt-pow1_binary64_23966 associate-*r/_binary64_2066 associate--l+_binary64_21498 sqrt-div_binary64_3505 cos-sum_binary64_18967 associate-+r+_binary64_15014 associate-/r/_binary64_17074 1-exp_binary64_20923 diff-log_binary64_10400 cbrt-undiv_binary64_13411 difference-of-squares_binary64_15392 frac-times_binary64_10318 cube-prod_binary64_1470 frac-times_binary64_16115 associate-*l/_binary64_5136 frac-times_binary64_8954 cbrt-div_binary64_16478 cbrt-undiv_binary64_24664 flip--_binary64_19490 difference-of-squares_binary64_18802 distribute-lft-in_binary64_18100 frac-add_binary64_2473 cube-prod_binary64_7267 unswap-sqr_binary64_8571 clear-num_binary64_8602 sub-neg_binary64_18826 distribute-rgt-in_binary64_18101 frac-2neg_binary64_10660 cube-prod_binary64_18520 unpow-prod-down_binary64_1521 sum-log_binary64_4943 sqr-pow_binary64_3119 associate-+l+_binary64_352 associate-*r/_binary64_11955 flip3--_binary64_21906 distribute-lft-in_binary64_5142
7×pow-prod-down_binary64_5264 sum-log_binary64_14150 flip--_binary64_22900 sub-neg_binary64_5186 pow-sqr_binary64_14714 cbrt-div_binary64_4543 associate-*l/_binary64_17412 swap-sqr_binary64_3455 associate-*r/_binary64_21162 pow-prod-up_binary64_9355 flip3-+_binary64_20541 pow-plus_binary64_4574 *-commutative_binary64_19787 sqr-pow_binary64_1755 pow-prod-up_binary64_17539 +-commutative_binary64_13648 distribute-rgt-neg-in_binary64_8220 cancel-sign-sub-inv_binary64_5500 sqr-pow_binary64_23579 cbrt-undiv_binary64_10001 associate-/l/_binary64_4458 diff-log_binary64_9718 unswap-sqr_binary64_14709 clear-num_binary64_17809 div-inv_binary64_1439 frac-times_binary64_17820 distribute-rgt-out--_binary64_16741 associate-/l/_binary64_20826 sub-neg_binary64_13029 rec-exp_binary64_2856 associate-/l*_binary64_24575 cbrt-div_binary64_24662 pow-to-exp_binary64_7308 associate-/l/_binary64_5822 rem-sqrt-square_binary64_23961 associate-*r/_binary64_4453 sqr-pow_binary64_4142 pow-sqr_binary64_17442 div-inv_binary64_1780 inv-pow_binary64_14826 clear-num_binary64_1100 pow-prod-down_binary64_4241 frac-2neg_binary64_1112 swap-sqr_binary64_19141 pow1/3_binary64_23689 frac-times_binary64_6908 *-commutative_binary64_24220 frac-times_binary64_8272 clear-num_binary64_3828 associate-/l/_binary64_1048 cbrt-unprod_binary64_5226 pow1/3_binary64_21643 pow-prod-up_binary64_4922 cbrt-prod_binary64_5224 pow-unpow_binary64_12772 sum-log_binary64_17560 flip-+_binary64_8918 clear-num_binary64_4510 pow1/2_binary64_24028 unpow-prod-down_binary64_1862 sqrt-prod_binary64_5550 flip3-+_binary64_8947 difference-of-sqr-1_binary64_16757 frac-times_binary64_13387 sqrt-prod_binary64_24305 diff-log_binary64_14151 1-exp_binary64_2850 sum-log_binary64_12786 sum-log_binary64_12445 *-commutative_binary64_20469 div-inv_binary64_7236 cbrt-undiv_binary64_2499 prod-exp_binary64_5242 +-commutative_binary64_3759 rec-exp_binary64_13086 frac-2neg_binary64_17821 cube-prod_binary64_23635 pow-prod-up_binary64_3217 difference-of-squares_binary64_47 clear-num_binary64_18150 clear-num_binary64_17127 unswap-sqr_binary64_15391 frac-2neg_binary64_3840 flip-+_binary64_23240 frac-2neg_binary64_4522 distribute-lft-neg-in_binary64_8219 1-exp_binary64_19559 pow-prod-down_binary64_10720 associate-*l/_binary64_4454 add-log-exp_binary64_21941 flip3-+_binary64_22928 sum-log_binary64_5284 distribute-lft-out_binary64_29 unpow2_binary64_7304 frac-2neg_binary64_18162 +-commutative_binary64_23878 pow-flip_binary64_14815 div-inv_binary64_8259 flip-+_binary64_22899 associate-*l/_binary64_15025 flip-+_binary64_20512 pow-pow_binary64_16518 un-div-inv_binary64_14398 flip3--_binary64_22929 div-inv_binary64_10305 1-exp_binary64_13080 distribute-lft-out_binary64_2416 unpow-prod-down_binary64_23686 sqr-pow_binary64_16077 add-log-exp_binary64_24669 associate-/l/_binary64_10596 distribute-lft-out--_binary64_30 cbrt-undiv_binary64_25005 sqrt-prod_binary64_8960 unpow-prod-down_binary64_13797 +-commutative_binary64_349 rec-exp_binary64_8994 rec-exp_binary64_19565 flip3-+_binary64_23269 pow-exp_binary64_7307 associate-*l/_binary64_24232 frac-2neg_binary64_17139 pow-flip_binary64_13110 1-exp_binary64_8988 frac-times_binary64_20889 *-commutative_binary64_9898 pow-pow_binary64_3901 pow-prod-down_binary64_13107 pow-prod-down_binary64_9356 sqrt-prod_binary64_8619 *-commutative_binary64_10580 associate-*l/_binary64_21163
6×associate-/l/_binary64_8891 associate-*l/_binary64_5477 sum-log_binary64_11081 +-commutative_binary64_16035 pow-to-exp_binary64_4239 distribute-lft-neg-in_binary64_35 swap-sqr_binary64_13344 associate-*r/_binary64_8886 +-commutative_binary64_4782 clear-num_binary64_20537 pow-unpow_binary64_4247 pow1/3_binary64_19938 +-commutative_binary64_1031 +-commutative_binary64_11943 cbrt-unprod_binary64_21935 swap-sqr_binary64_9593 associate-/l/_binary64_13324 sum-log_binary64_851 cbrt-div_binary64_7271 distribute-lft-in_binary64_15713 associate-/r/_binary64_7185 swap-sqr_binary64_10275 pow-exp_binary64_3556 flip--_binary64_9942 flip-+_binary64_15056 associate-*l/_binary64_21 clear-num_binary64_6215 frac-2neg_binary64_22254 sqrt-div_binary64_14076 distribute-lft-out--_binary64_17421 pow-unpow_binary64_16523 frac-times_binary64_7931 pow-sqr_binary64_6871 cancel-sign-sub-inv_binary64_21868 +-commutative_binary64_12625 cbrt-div_binary64_1474 sum-log_binary64_15173 +-commutative_binary64_13989 diff-log_binary64_13128 pow-flip_binary64_11405 sum-log_binary64_20970 frac-2neg_binary64_23277 swap-sqr_binary64_19482 1-exp_binary64_12739 diff-log_binary64_5285 swap-sqr_binary64_386 prod-exp_binary64_24679 *-commutative_binary64_7852 sum-log_binary64_10740 frac-times_binary64_11341 +-commutative_binary64_15012 swap-sqr_binary64_20164 associate-/r/_binary64_8890 pow1/3_binary64_6639 *-commutative_binary64_23197 clear-num_binary64_8943 clear-num_binary64_23265 +-commutative_binary64_4441 associate-/l/_binary64_4799 sqr-pow_binary64_50 associate-+l+_binary64_9559 pow-sqr_binary64_5848 cbrt-div_binary64_22957 pow-unpow_binary64_13113 rec-exp_binary64_16837 pow-to-exp_binary64_3898 sum-log_binary64_25062 associate--l+_binary64_15 pow-unpow_binary64_12090 associate-/l*_binary64_2069 pow-prod-up_binary64_5604 rem-cube-cbrt_binary64_3511 associate-/l/_binary64_2412 pow-unpow_binary64_7316 +-commutative_binary64_6828 cube-div_binary64_18180 pow-exp_binary64_17196 frac-times_binary64_9636 flip3--_binary64_9971 frac-sub_binary64_10999 clear-num_binary64_1441 associate-/l/_binary64_20485 distribute-rgt-in_binary64_15714 frac-times_binary64_12023 flip3-+_binary64_15085 1-exp_binary64_11034 pow-prod-down_binary64_23337 pow-prod-up_binary64_2535 swap-sqr_binary64_18800 cube-prod_binary64_8972 cancel-sign-sub-inv_binary64_15389 frac-2neg_binary64_20549 pow2_binary64_15163 sqr-pow_binary64_391 distribute-rgt-out--_binary64_17764 flip--_binary64_20513 sub-div_binary64_16794 associate-*l/_binary64_19117 difference-of-sqr-1_binary64_730 diff-log_binary64_25063 1-exp_binary64_16831 sqrt-prod_binary64_5209 *-commutative_binary64_5124 frac-2neg_binary64_8955 1-exp_binary64_8306 pow-sqr_binary64_8917 frac-2neg_binary64_6227 clear-num_binary64_22242 unpow-prod-down_binary64_9023 pow-sqr_binary64_5507 pow-prod-up_binary64_5945 frac-2neg_binary64_1453 frac-2neg_binary64_771 pow-sqr_binary64_1074 associate-*l/_binary64_10592 +-commutative_binary64_17058 rec-exp_binary64_8312 prod-exp_binary64_21951 rec-exp_binary64_12745 swap-sqr_binary64_4137 cancel-sign-sub-inv_binary64_23914 pow-unpow_binary64_17205 associate-*r/_binary64_9227 distribute-lft-out--_binary64_14352 pow-prod-up_binary64_3558 associate-/l*_binary64_23 cube-prod_binary64_2493 associate-/r*_binary64_2068 log-div_binary64_16874 sum-log_binary64_2897 rec-exp_binary64_11040 sub-neg_binary64_10642 cube-div_binary64_17157 associate-*r/_binary64_18434 +-commutative_binary64_23196 sqrt-prod_binary64_20213 distribute-rgt-neg-in_binary64_36 +-commutative_binary64_7169 sum-log_binary64_17219 unpow-prod-down_binary64_2544 swap-sqr_binary64_24256 rem-sqrt-square_binary64_1114 sum-log_binary64_6989 swap-sqr_binary64_20846 associate-*r/_binary64_5817 associate-*r/_binary64_5476 clear-num_binary64_759 sum-log_binary64_2215 cbrt-div_binary64_22275 +-commutative_binary64_12284 associate-/l/_binary64_11619 log-pow_binary64_16876 sum-log_binary64_19947 sub-neg_binary64_753 un-div-inv_binary64_3145 associate-/l/_binary64_6845 unswap-sqr_binary64_5161 associate-*l*_binary64_22525 div-inv_binary64_2121 swap-sqr_binary64_14367 cbrt-div_binary64_6589 distribute-rgt-in_binary64_24239 *-commutative_binary64_17741 pow-prod-up_binary64_11060 log-pow_binary64_11420 pow-sqr_binary64_10963 pow-sqr_binary64_2438 pow-sqr_binary64_3461 swap-sqr_binary64_7888 cbrt-div_binary64_21593 associate-+r+_binary64_10581 rem-sqrt-square_binary64_15095 associate-+r+_binary64_18083 distribute-lft-in_binary64_14690 swap-sqr_binary64_12321 distribute-rgt-in_binary64_14691 pow-prod-up_binary64_9014 distribute-lft-in_binary64_24238 div-exp_binary64_10359 flip3--_binary64_20542 cbrt-undiv_binary64_10342
5×associate-*r/_binary64_1384 flip--_binary64_4486 sub-neg_binary64_20190 frac-2neg_binary64_1794 distribute-rgt1-in_binary64_15720 pow-prod-down_binary64_2195 clear-num_binary64_13376 +-commutative_binary64_8874 diff-log_binary64_12446 sqr-pow_binary64_17100 flip-+_binary64_23581 pow-sqr_binary64_4825 unswap-sqr_binary64_2092 frac-2neg_binary64_15093 +-commutative_binary64_20809 diff-log_binary64_21653 difference-of-squares_binary64 pow1/3_binary64_8344 cancel-sign-sub-inv_binary64_2431 clear-num_binary64_16445 flip3--_binary64_4515 log-pow_binary64_2554 prod-exp_binary64_25020 pow-flip_binary64_11746 log-pow_binary64_12443 frac-2neg_binary64_17480 unpow2_binary64_4235 cbrt-undiv_binary64 1-exp_binary64_20582 diff-log_binary64_23699 flip3-+_binary64_23610 exp-prod_binary64_12747 diff-log_binary64_19266 sub-neg_binary64_13711 associate-/l/_binary64_22190 *-commutative_binary64_2055 frac-2neg_binary64_9637 div-sub_binary64_12359 pow-sqr_binary64_16078 associate-/l*_binary64_6502 pow1/3_binary64_12095 distribute-lft-in_binary64_9575 distribute-rgt-in_binary64_8553 associate-*l/_binary64_7864 diff-log_binary64_19948 cbrt-unprod_binary64_2157 +-commutative_binary64_21150 +-commutative_binary64_9556 clear-num_binary64_17468 count-2_binary64_15712 associate-*l/_binary64_1726 exp-prod_binary64_10701 pow-sqr_binary64_3120 exp-sum_binary64_12741 +-commutative_binary64_5123 frac-2neg_binary64_5204 clear-num_binary64_5192 *-commutative_binary64_21151 sinh-def_binary64_4696 clear-num_binary64_15081 frac-2neg_binary64_13388 distribute-lft-in_binary64_8552 pow-sqr_binary64_14032 pow1/3_binary64_7321 sqrt-pow1_binary64_19533 clear-num_binary64_23947 pow-to-exp_binary64_5603 log-pow_binary64_849 pow-flip_binary64_6972 div-sub_binary64_17133 sub-neg_binary64_2458 prod-exp_binary64_2173 diff-log_binary64_4603 pow2_binary64_17550 sum-cubes_binary64_2466 sum-log_binary64_22675 1-exp_binary64_10693 diff-log_binary64_17902 rem-sqrt-square_binary64_2819 pow-flip_binary64_20953 frac-2neg_binary64_9296 sub-neg_binary64_18144 pow1/2_binary64_19595 sum-log_binary64_9035 pow-flip_binary64_3221 associate-*r/_binary64_21844 sqrt-div_binary64_2823 +-commutative_binary64_18763 rec-exp_binary64_10699 log-div_binary64_12100 pow1/3_binary64_14141 pow1/3_binary64_1183 rec-exp_binary64_15814 log-pow_binary64_1190 sqr-pow_binary64_5847 clear-num_binary64_1782 distribute-lft1-in_binary64_15719 sqr-pow_binary64_5506 associate-*r/_binary64_15365 *-commutative_binary64_4101 distribute-lft-out_binary64_12305 log-pow_binary64_9715 pow-pow_binary64_14131 clear-num_binary64_9284 distribute-rgt-in_binary64_9576 pow-plus_binary64_17532 unpow3_binary64_485 1-exp_binary64_15808 frac-times_binary64_4521 frac-2neg_binary64_16457 clear-num_binary64_9625 rem-sqrt-square_binary64_19528 pow2_binary64_4592 rec-exp_binary64_20588 inv-pow_binary64_12098 sqr-pow_binary64_1073 frac-2neg_binary64_23959 pow-sqr_binary64_17783 distribute-rgt-neg-out_binary64_8222 associate-*r/_binary64_9568 sub-neg_binary64_71 pow-to-exp_binary64_5944 sub-neg_binary64_3481 unswap-sqr_binary64_21870 pow-sqr_binary64_9258 associate-/l/_binary64_8550 sum-log_binary64_3238 diff-log_binary64_10741
4×associate-*l/_binary64_9569 diff-log_binary64_16879 associate-/r/_binary64_4457 frac-2neg_binary64_5886 log-pow_binary64_22673 diff-cos_binary64_6708 associate--l+_binary64_16042 swap-sqr_binary64_6865 sum-log_binary64_18583 associate-/r/_binary64_23553 frac-sub_binary64_16114 difference-of-squares_binary64_1752 cbrt-prod_binary64_8634 distribute-lft-out_binary64_2075 diff-log_binary64_1875 pow-to-exp_binary64_13105 associate-/l/_binary64_14347 pow1/3_binary64_23348 sub-neg_binary64_15757 unswap-sqr_binary64_13004 sum-log_binary64_17901 rem-sqrt-square_binary64_3842 associate-*l/_binary64_21504 associate-/l/_binary64_17757 +-commutative_binary64_18422 associate-/l/_binary64_17416 associate-*r/_binary64_22867 associate-*l/_binary64_7182 rem-sqrt-square_binary64_9298 diff-log_binary64_18584 div-sub_binary64_12018 associate-*l/_binary64_9228 associate-/l/_binary64_10255 frac-times_binary64_8613 1-exp_binary64_4896 *-commutative_binary64_9216 pow-pow_binary64_13108 cbrt-undiv_binary64_22959 log-pow_binary64_13466 distribute-rgt-neg-out_binary64_9927 rem-log-exp_binary64_12054 log-pow_binary64_18922 associate-/l/_binary64_7868 swap-sqr_binary64_45 pow-exp_binary64_16173 pow1/3_binary64_22325 distribute-lft-in_binary64_15372 prod-exp_binary64_9334 1-exp_binary64_25015 +-commutative_binary64_10579 frac-2neg_binary64_9978 log-div_binary64_9713 sqrt-div_binary64_7597 pow-plus_binary64_1846 unswap-sqr_binary64_24939 pow-prod-down_binary64_18563 difference-of-squares_binary64_9936 associate-*l/_binary64_17753 diff-log_binary64_11082 distribute-lft-in_binary64_9234 cbrt-div_binary64_19547 distribute-rgt-in_binary64_9235 cube-prod_binary64_22271 sub-neg_binary64_9278 pow1/2_binary64_11752 distribute-lft-neg-out_binary64_4811 pow-flip_binary64_13792 frac-2neg_binary64_2476 +-commutative_binary64_19786 sqrt-div_binary64_18850 clear-num_binary64_5874 difference-of-sqr-1_binary64_18462 unswap-sqr_binary64_18460 clear-num_binary64_7238 div-exp_binary64_470 1-exp_binary64_19218 associate--l+_binary64_7517 rem-sqrt-square_binary64_4865 associate--r+_binary64_16041 associate-*l/_binary64_22186 distribute-lft-out--_binary64_20831 clear-num_binary64_24970 cube-mult_binary64_13066 associate-+l+_binary64_11264 +-commutative_binary64_20468 associate-/r/_binary64_18779 cbrt-undiv_binary64_453 frac-times_binary64_18843 difference-of-squares_binary64_22894 associate-/l/_binary64_366 associate-/l/_binary64_21849 cbrt-div_binary64_18865 sqrt-pow1_binary64_11690 sqr-pow_binary64_18123 clear-num_binary64_4851 sqrt-div_binary64_5892 div-sub_binary64_18156 distribute-rgt-neg-in_binary64_1741 distribute-rgt-neg-out_binary64_1743 frac-sub_binary64_7248 associate-/r/_binary64_24576 cancel-sign-sub-inv_binary64_5841 frac-2neg_binary64_7932 pow1/2_binary64_16526 sqr-pow_binary64_3801 associate-/r/_binary64_22871 frac-add_binary64_18841 pow-sqr_binary64_15737 sqrt-div_binary64_5210 associate-/r/_binary64_365 flip-+_binary64_10623 +-commutative_binary64_3418 frac-2neg_binary64_21913 *-commutative_binary64_18423 distribute-lft-in_binary64_5483 +-commutative_binary64_10920 distribute-rgt-out--_binary64_373 associate-+l+_binary64_18766 distribute-lft-in_binary64_21851 cube-div_binary64_8973 frac-times_binary64_3498 associate-/r*_binary64_22 sub-neg_binary64_19508 unpow-prod-down_binary64_10728 distribute-lft-neg-in_binary64_1740 frac-add_binary64_7247 div-exp_binary64_22976 swap-sqr_binary64_1068 rec-exp_binary64_25021 swap-sqr_binary64_5160 +-commutative_binary64_2054 sqr-pow_binary64_1414 rem-sqrt-square_binary64_11685 pow-to-exp_binary64_16174 difference-of-squares_binary64_2093 diff-log_binary64_2216 associate--l+_binary64_10927 associate-/l/_binary64_9232 frac-times_binary64_3157 frac-times_binary64_5885 cancel-sign-sub-inv_binary64_19481 frac-sub_binary64_17819 rec-exp_binary64_4902 unpow3_binary64_13102 frac-add_binary64_2814 inv-pow_binary64_11416 frac-times_binary64_5544 diff-log_binary64_12787 sum-log_binary64_4261 sum-log_binary64_5966 +-commutative_binary64_17399 distribute-rgt-in_binary64_21852 div-sub_binary64_5880 flip3-+_binary64_10652 cube-mult_binary64_17158 difference-of-squares_binary64_20848 frac-add_binary64_1109 un-div-inv_binary64_19513 pow-prod-down_binary64_15494 associate-+l+_binary64_5126 pow-sqr_binary64_17101 distribute-rgt-in_binary64_23898 cbrt-unprod_binary64_9318 unpow-prod-down_binary64_22322 frac-sub_binary64_2815 clear-num_binary64_21901 unpow3_binary64_17194 pow-prod-up_binary64_22995 pow1/3_binary64_16869 sum-log_binary64_16878 clear-num_binary64_7920 cube-div_binary64_2494 pow-plus_binary64_3892 pow-sqr_binary64 sqr-abs_binary64_17825 pow-prod-up_binary64_15834 clear-num_binary64_9966 associate-*r/_binary64_20139 sum-log_binary64_7671 associate--l+_binary64_2402 associate-/r*_binary64_22869 +-commutative_binary64_16717 associate-+l+_binary64_17402 sum-log_binary64_3579 distribute-rgt-in_binary64_15373 pow2_binary64_3910 frac-times_binary64_15433 pow-prod-up_binary64 diff-log_binary64_3239 frac-2neg_binary64_24982 rec-exp_binary64_19224 cbrt-unprod_binary64_24663 rem-sqrt-square_binary64_4524 frac-add_binary64_23274 associate-/l/_binary64_2071 sub-neg_binary64_8596 div-sub_binary64_18497 pow-sqr_binary64_22898 distribute-rgt-out_binary64_21173 pow-pow_binary64_3560 associate-/r/_binary64_17415 inv-pow_binary64_3232 frac-2neg_binary64_4863 associate-/l/_binary64_24918 frac-2neg_binary64_7250 diff-log_binary64_2898 div-sub_binary64_3834 pow-plus_binary64_2869 clear-num_binary64_2464 sum-log_binary64_20629 sum-log_binary64_21652 associate-/l/_binary64_7186 div-sub_binary64_9631 diff-log_binary64_20289 +-commutative_binary64_2736 pow-prod-up_binary64_17198 pow2_binary64_14822 rem-cube-cbrt_binary64_17151 distribute-lft-in_binary64_23897 cube-div_binary64_7268 sqrt-div_binary64_15099 frac-add_binary64_14067 distribute-rgt-in_binary64_5484 div-inv_binary64_75 associate-/l/_binary64_8209 +-commutative_binary64_7510
3×*-commutative_binary64_15354 log-prod_binary64_18919 unpow2_binary64_5599 exp-diff_binary64_12743 1-exp_binary64_3532 cbrt-undiv_binary64_23641 log-pow_binary64_508 inv-pow_binary64_20964 1-exp_binary64_18195 pow2_binary64_5615 clear-num_binary64_24629 sqr-pow_binary64_13690 rem-sqrt-square_binary64_16459 div-sub_binary64_16451 rec-exp_binary64_3538 associate-/r*_binary64_18777 pow2_binary64_9025 pow-to-exp_binary64_3557 +-commutative_binary64_24901 flip3--_binary64_2128 cbrt-undiv_binary64_2158 +-commutative_binary64_16376 distribute-rgt-out--_binary64_15718 exp-prod_binary64_18885 pow-unpow_binary64_5952 diff-log_binary64_18243 distribute-rgt-out--_binary64_20151 cube-mult_binary64_3177 pow-plus_binary64_6279 rec-exp_binary64_22293 pow-unpow_binary64_18228 rem-exp-log_binary64_12735 div-sub_binary64_10995 diff-log_binary64_21312 flip3-+_binary64_22587 associate--l+_binary64_24908 associate-+l-_binary64_11266 distribute-lft-out_binary64_18102 pow-plus_binary64_3551 associate-*l*_binary64_24571 sum-log_binary64_1533 1-exp_binary64_22287 unswap-sqr_binary64_9935 associate-+r+_binary64_21152 difference-of-sqr--1_binary64_13689 diff-log_binary64_14492 sqrt-pow1_binary64_6575 rec-exp_binary64_18201 div-sub_binary64_4857 pow-plus_binary64_5597 cube-mult_binary64_1813 distribute-rgt-in_binary64_1392 clear-num_binary64 cube-div_binary64_16475 associate-/l*_binary64_18778 distribute-rgt-out--_binary64_18446 distribute-rgt-neg-in_binary64_11289 distribute-lft-neg-in_binary64_11288 rem-log-exp_binary64_16828 pow-unpow_binary64_14477 flip3-+_binary64_5878 sqrt-pow2_binary64_16124 cube-mult_binary64_449 inv-pow_binary64_6983 pow-pow_binary64_12767 frac-2neg_binary64_24641 unpow3_binary64_18217 1-exp_binary64_1827 cbrt-div_binary64_9658 pow-prod-down_binary64_24701 div-sub_binary64_19179 unpow3_binary64_1849 sub-neg_binary64_24282 sqrt-pow1_binary64_2824 associate--l+_binary64_5130 rec-exp_binary64_1833 clear-num_binary64_10307 associate--r+_binary64_18769 pow-flip_binary64_14474 pow-flip_binary64_1857 cancel-sign-sub-inv_binary64_7887 flip-+_binary64_22558 log-pow_binary64_14148 pow-plus_binary64_11053 rem-sqrt-square_binary64_6570 1-exp_binary64_15126 associate-+r-_binary64_23200 diff-log_binary64_6990 flip-+_binary64_16420 pow-plus_binary64_2528 pow-unpow_binary64_1860 pow-unpow_binary64_9362 pow-unpow_binary64_496 pow-unpow_binary64_3224 rec-exp_binary64_15132 flip-+_binary64_13351 sum-log_binary64_8694 unpow3_binary64_3213 neg-mul-1_binary64_8258 cube-mult_binary64_16476 sub-neg_binary64_21213 flip3-+_binary64_13380 distribute-lft-neg-out_binary64_37 associate-+r+_binary64_18765 sqr-pow_binary64_14372 cube-mult_binary64_18181 *-commutative_binary64_21833 pow1/3_binary64_13118 distribute-rgt-out_binary64_11966 cos-diff_binary64_20334 distribute-lft-neg-in_binary64_1058 sum-log_binary64_15514 pow1/3_binary64_17892 associate-/l/_binary64_14688 pow-unpow_binary64_10044 pow-unpow_binary64_2542 cancel-sign-sub-inv_binary64_24937 associate-/r/_binary64_20484 cancel-sign-sub-inv_binary64_19822 pow-unpow_binary64_837 cancel-sign-sub-inv_binary64_21186 cube-prod_binary64_1811 log-prod_binary64_6643 unpow3_binary64_16171 sub-neg_binary64_22918 rec-exp_binary64_15473 cancel-sign-sub-inv_binary64_22891 flip3-+_binary64_16449 1-exp_binary64_23310 +-commutative_binary64_15353 sqr-abs_binary64_14074 rem-exp-log_binary64_10689 difference-of-squares_binary64_3116 rec-exp_binary64_23998 rec-exp_binary64_24339 unpow-prod-down_binary64_11751 flip--_binary64_19831 distribute-lft-out_binary64_22876 1-exp_binary64_1145 rem-cbrt-cube_binary64_3512 rec-exp_binary64_1151 distribute-lft-in_binary64_1391 sqrt-prod_binary64_1458 sum-log_binary64_10058 pow-flip_binary64_2880 +-commutative_binary64_690 pow1/3_binary64_20620 pow1/3_binary64_842 pow2_binary64_5956 flip-+_binary64_5849 distribute-rgt-neg-in_binary64_1059 flip--_binary64_2099 flip3--_binary64_19860 pow2_binary64_6297 pow2_binary64_11071 +-commutative_binary64_3077 pow-to-exp_binary64_22994 diff-log_binary64_852 diff-log_binary64_13469 inv-pow_binary64_21305 distribute-lft-out--_binary64_7191 tan-quot_binary64_18310 pow-prod-down_binary64_21973 diff-log_binary64_13810 pow1/3_binary64_1524 1-exp_binary64_7624 sqrt-prod_binary64_10324 associate-/l/_binary64_20144 clear-num_binary64_6556 pow2_binary64_2546 sqr-pow_binary64_14031 sub-neg_binary64_19849 unsub-neg_binary64_72 rem-cube-cbrt_binary64_14423 distribute-lft-out--_binary64_9919 associate-+r+_binary64_16037 sub-neg_binary64_4504 frac-2neg_binary64 distribute-lft-out_binary64_2757 distribute-rgt-out--_binary64_23220 pow-unpow_binary64_2201 inv-pow_binary64_2891 sum-log_binary64_16537 pow-unpow_binary64_5611 +-commutative_binary64_5805 pow-exp_binary64_14468 pow1/3_binary64_11754 log-prod_binary64_9712 div-sub_binary64_13041 1-exp_binary64_15467 rec-exp_binary64_23316 pow2_binary64_2887 clear-num_binary64_8261 frac-2neg_binary64_6568 unpow3_binary64_16512 1-exp_binary64_23992 pow-unpow_binary64_11749 pow-exp_binary64_22993 +-commutative_binary64_24219 pow1/2_binary64_6637 *-commutative_binary64_12967 log-pow_binary64_167 rec-exp_binary64_7630 un-div-inv_binary64_2804 associate--l+_binary64_11609 sub-neg_binary64_7232 pow-exp_binary64_1851 cube-mult_binary64_16135 sub-neg_binary64_17803 sub-neg_binary64_24964 cancel-sign-sub-inv_binary64_8228 frac-2neg_binary64_10319 sum-log_binary64_24380 inv-pow_binary64_14485 pow-to-exp_binary64_17197 pow-unpow_binary64_9021 frac-2neg_binary64_8273 pow-plus_binary64_5938 rem-sqrt-square_binary64_1796 pow-flip_binary64_3562 cbrt-unprod_binary64_25004 pow-plus_binary64_9007 diff-log_binary64_5967 1-exp_binary64_24333 pow-unpow_binary64_1178 inv-pow_binary64_13803 sqrt-pow1_binary64_13736 associate-/r*_binary64_23551 sub-neg_binary64_8255 cube-prod_binary64_3175 pow-flip_binary64_21294 sqr-abs_binary64_15097 +-commutative_binary64_8533 unpow2_binary64_5940 div-exp_binary64_23658 div-exp_binary64_2175 log-div_binary64_13464 pow2_binary64_1864 pow-unpow_binary64_14136 pow-pow_binary64_14472 associate-+l+_binary64_13651 pow-unpow_binary64_6634 pow-flip_binary64_23340 distribute-lft-out--_binary64_13670 rem-sqrt-square_binary64_13731 frac-times_binary64_20548 +-commutative_binary64_22514 pow-exp_binary64_12081 diff-log_binary64_7672 pow-unpow_binary64_8680 div-sub_binary64_5198 sub-neg_binary64_5527
2×div-sub_binary64_17815 distribute-rgt-out_binary64_9920 rem-sqrt-square_binary64_6911 sqr-pow_binary64_9257 un-div-inv_binary64_6896 div-inv_binary64_22922 pow2_binary64_15845 clear-num_binary64_418 exp-diff_binary64_10697 sqr-pow_binary64_8916 pow-sqr_binary64_19488 un-div-inv_binary64_22241 inv-pow_binary64_13121 flip3--_binary64_7243 associate-*l/_binary64_20481 flip3-+_binary64_8265 associate-/l/_binary64 frac-add_binary64_15431 cube-mult_binary64_9315 frac-times_binary64_1452 +-commutative_binary64_21491 pow-sqr_binary64_20170 pow2_binary64_23006 pow-to-exp_binary64_147 distribute-rgt-out--_binary64_11967 +-commutative_binary64_22855 associate-+l+_binary64_18425 frac-times_binary64_18502 pow-sqr_binary64_15396 associate-+l+_binary64_23881 1-exp_binary64_17854 pow-sqr_binary64_10622 flip-+_binary64_8236 pow-prod-up_binary64_12765 inv-pow_binary64_19941 distribute-lft-in_binary64_8211 cube-mult_binary64_9997 distribute-lft-out--_binary64_3099 inv-pow_binary64_1186 un-div-inv_binary64_16785 pow-sqr_binary64_23580 associate--l+_binary64_19793 unpow1/3_binary64_5601 pow-prod-up_binary64_148 unpow3_binary64_2531 associate-*l/_binary64_6500 pow-exp_binary64_6625 cancel-sign-sub-inv_binary64_1408 1-exp_binary64_24674 un-div-inv_binary64_11329 sqr-pow_binary64_2437 sqrt-pow1_binary64_10326 inv-pow_binary64_11757 distribute-lft-out--_binary64_22877 diff-log_binary64_19607 exp-sum_binary64_2852 pow-pow_binary64_1855 inv-pow_binary64_25056 un-div-inv_binary64_12011 rem-cube-cbrt_binary64_12036 diff-log_binary64 rem-cube-cbrt_binary64_1806 div-inv_binary64_18830 pow1/3_binary64_18915 associate--r+_binary64_2742 inv-pow_binary64_15849 cube-mult_binary64_7269 distribute-lft-out_binary64_4462 unsub-neg_binary64_9961 unpow3_binary64_826 associate-/r/_binary64_24 associate-+r+_binary64_12968 sub-neg_binary64_1435 sum-log_binary64_23698 rec-exp_binary64 log-div_binary64_2893 div-sub_binary64_13382 pow1/2_binary64 pow-prod-up_binary64_14470 frac-2neg_binary64_430 pow-prod-up_binary64_9696 pow-sqr_binary64_13691 div-sub_binary64_765 1-exp_binary64_10011 pow-plus_binary64_22988 pow-sqr_binary64_51 associate-/l/_binary64_9914 distribute-rgt-out--_binary64_9921 associate-*l/_binary64_3090 pow-prod-up_binary64_24018 distribute-lft-out--_binary64 1-exp_binary64_1486 sqr-pow_binary64_22215 1-exp_binary64 sub-neg_binary64_15416 div-inv_binary64_416 associate-+r-_binary64_13652 distribute-lft-out--_binary64_2076 cube-mult_binary64_12043 rec-exp_binary64_9335 div-sub_binary64_11336 associate-+r+_binary64_19447 sqrt-pow1_binary64_3506 pow-exp_binary64_828 associate-+l-_binary64_354 frac-sub_binary64_4520 frac-2neg_binary64_89 pow-pow_binary64_12085 distribute-rgt-in_binary64_7871 rec-exp_binary64_10017 associate-+l-_binary64_21496 pow-exp_binary64_2192 pow-prod-down_binary64_22655 unswap-sqr_binary64_24598 unswap-sqr_binary64_22552 associate--l+_binary64_10586 pow-prod-up_binary64_13788 distribute-neg-frac_binary64_11977 associate-+r+_binary64_15696 unpow3_binary64_12079 clear-num_binary64_77 pow1/2_binary64_3568 exp-neg_binary64_2853 pow-plus_binary64_12758 *-commutative_binary64_22515 distribute-lft-out_binary64_10600 pow2_binary64_17209 frac-add_binary64_4860 div-sub_binary64_17474 distribute-rgt-neg-out_binary64_1061 cube-mult_binary64_2154 diff-log_binary64_15174 pow-sqr_binary64_14373 rem-cube-cbrt_binary64_783 rem-exp-log_binary64_22965 cube-div_binary64_9314 pow-sqr_binary64_7894 distribute-rgt-out--_binary64_23561 associate--r-_binary64_17749 sub-neg_binary64_23941 pow-prod-up_binary64_11401 associate-*l/_binary64_5818 un-div-inv_binary64_23946 rem-sqrt-square_binary64_22938 diff-log_binary64_20971 sub-neg_binary64_3140 associate--r-_binary64_11952 associate-/l/_binary64_23554 pow-flip_binary64_11064 distribute-lft-out--_binary64_9578 associate--r+_binary64_23202 log-div_binary64_12441 pow-sqr_binary64_4143 sum-log_binary64_19265 pow-pow_binary64_8675 pow-flip_binary64_25045 rem-cube-cbrt_binary64_2147 pow1/3_binary64_19256 pow-plus_binary64_9348 pow-prod-up_binary64_15493 sqrt-pow1_binary64_5211 pow-pow_binary64_150 unpow1/3_binary64_5942 pow1/2_binary64_5273 associate-/l/_binary64_22872 pow-plus_binary64_4915 rec-exp_binary64_2515 div-exp_binary64_18884 pow2_binary64_16186 frac-sub_binary64_12022 pow-plus_binary64_16168 pow-flip_binary64_15838 flip-+_binary64_4144 difference-of-squares_binary64_20166 unpow3_binary64_10033 associate-+r+_binary64_18424 pow-prod-up_binary64_24359 pow-prod-up_binary64_10719 exp-to-pow_binary64_22987 cube-mult_binary64_8974 pow-prod-up_binary64_20949 sqr-pow_binary64_9939 +-commutative_binary64_23537 unpow3_binary64_9010 rem-log-exp_binary64_2847 rem-cube-cbrt_binary64_16128 associate-*l/_binary64_2067 distribute-rgt-in_binary64_8212 cube-mult_binary64_14430 distribute-lft-in_binary64_7870 sub-neg_binary64_21895 clear-num_binary64_2123 pow-pow_binary64_17200 pow-pow_binary64_4242 flip3-+_binary64_21564 pow-flip_binary64_6290 prod-exp_binary64_22633 sqrt-pow1_binary64 difference-of-squares_binary64_13687 pow-sqr_binary64_24262 +-commutative_binary64_4100 sqrt-pow1_binary64_11349 associate-/l/_binary64_6163 pow-plus_binary64_3210 distribute-rgt-neg-out_binary64_11291 associate--l-_binary64_11610 cube-mult_binary64_2495 pow-flip_binary64_19248 pow-prod-up_binary64_5263 flip3-+_binary64_4173 sqr-pow_binary64_2096 unpow3_binary64_7305 pow1/2_binary64_11411 +-commutative_binary64_9897 div-inv_binary64_23604 1-exp_binary64_5237 pow-exp_binary64_146 pow-prod-up_binary64_4240 *-commutative_binary64_24902 cube-prod_binary64_14428 rem-sqrt-square_binary64_5206 pow2_binary64_3569 flip-+_binary64_22217 cube-mult_binary64_790 unpow3_binary64_2190 div-sub_binary64_2470 flip-+_binary64_21535 distribute-lft-out--_binary64_4463 associate-+r+_binary64_1715 associate--l+_binary64_11950 frac-times_binary64_24981 log-div_binary64_847 pow-plus_binary64 associate-+r-_binary64_12 rec-exp_binary64_20247 associate-+l+_binary64_18084 sub-div_binary64_17817 unpow-prod-down_binary64_14479 pow2_binary64_3228 pow-prod-down_binary64_25042 rem-log-exp_binary64_22625 difference-of-squares_binary64_7208 pow1/2_binary64_14821 pow-prod-up_binary64_19585 cube-div_binary64_789 pow-prod-up_binary64_13447 associate-+r-_binary64_10242 pow-exp_binary64_1510 frac-add_binary64_13726 pow1/3_binary64_7662 associate-*l/_binary64_18776 pow-flip_binary64_16861 pow-sqr_binary64_11304 pow-sqr_binary64_12327 associate-*l/_binary64_9910 pow-exp_binary64_8671 neg-mul-1_binary64_1779 inv-pow_binary64_19259 pow-plus_binary64_15827 pow-prod-up_binary64_21290 sqr-pow_binary64_732 rec-exp_binary64_24680 rec-exp_binary64_5243 rec-exp_binary64_810 div-sub_binary64_14064 inv-pow_binary64_3573 associate-*r/_binary64_24572 unpow1/3_binary64_4237 associate-+r+_binary64_7171 pow2_binary64_12776 rem-sqrt-square_binary64 neg-mul-1_binary64_12009 cube-mult_binary64_1472 log-pow_binary64_12784 pow-sqr_binary64_13350 rem-cube-cbrt_binary64_6580 pow-sqr_binary64_12668 unpow3_binary64_1508 cbrt-div_binary64_8976 cube-div_binary64_9996 pow-prod-up_binary64_12424 frac-sub_binary64_20206 div-sub_binary64_23271 sum-log_binary64_8353 unsub-neg_binary64_1777 sub-div_binary64_20204 rec-exp_binary64_17860 pow-to-exp_binary64_1852 associate-+l-_binary64_2059 div-sub_binary64_10654 associate-+r-_binary64_17062 pow2_binary64_4933 distribute-neg-in_binary64_2767 associate--l+_binary64_3084 cbrt-undiv_binary64_18867 diff-log_binary64_9377 pow-prod-up_binary64_7991 pow-flip_binary64_1175 pow1/2_binary64_23005 rem-cube-cbrt_binary64_16469 sub-neg_binary64_5868 pow2_binary64_9366 1-exp_binary64_20241 unpow3_binary64_9351 rem-cube-cbrt_binary64_3170 pow-sqr_binary64_23921 pow-to-exp_binary64_12082 associate-/l/_binary64_18780 1-exp_binary64_9329 div-sub_binary64_83 pow-plus_binary64_17191 unpow3_binary64_14466 frac-times_binary64_20207 pow-sqr_binary64_21193 pow-prod-up_binary64_24700 inv-pow_binary64_3914 pow-flip_binary64_19930 pow-exp_binary64_9353 inv-pow_binary64_16872 sqrt-div_binary64_13735 pow-sqr_binary64_10281 pow-prod-up_binary64_20267 pow-prod-up_binary64_23677 associate--l+_binary64_7176 distribute-rgt-neg-out_binary64_38 +-commutative_binary64_8192 inv-pow_binary64_6301 cube-div_binary64_2153 1-exp_binary64_2509 +-commutative_binary64_17740 distribute-lft-out_binary64_5144 distribute-rgt-in_binary64_22875 pow-pow_binary64_3219 associate-*l/_binary64_15366 cbrt-unprod_binary64_22617 distribute-lft-out_binary64_20489 pow1/2_binary64_10388 distribute-lft-in_binary64_22874 rec-exp_binary64_1492 1-exp_binary64_804 pow-flip_binary64_3903 rem-sqrt-square_binary64_11344 inv-pow_binary64_11075 flip3-+_binary64_22246 pow2_binary64 diff-log_binary64_15856 cbrt-div_binary64_22616 rem-cube-cbrt_binary64_9308 unsub-neg_binary64_8256 pow-sqr_binary64_20852 sqrt-pow1_binary64_23284 associate-+r+_binary64_9558 sum-log_binary64_23016 pow-to-exp_binary64_1511 associate--l+_binary64_4448 distribute-lft-out_binary64_22535 associate-/l*_binary64_364 pow-pow_binary64_7311 pow-sqr_binary64_9599 difference-of-sqr-1_binary64_19144 pow1/2_binary64_23346 frac-2neg_binary64_2135 rem-sqrt-square_binary64_3501 pow-sqr_binary64_24603 rem-cube-cbrt_binary64_9990 diff-log_binary64_8695 pow-prod-up_binary64_10378 flip--_binary64_7214 sqr-pow_binary64_10621 pow-sqr_binary64_5166 div-sub_binary64_2811 associate-*l/_binary64_20140 pow-exp_binary64_10035
1×sqrt-pow2_binary64_14078 sqrt-unprod_binary64_4872 pow-plus_binary64_10712 distribute-rgt-neg-out_binary64_15383 associate--l+_binary64_11268 pow-plus_binary64_5256 rem-cube-cbrt_binary64_8967 rem-square-sqrt_binary64_6228 diff-log_binary64_10059 inv-pow_binary64_20623 associate-+l-_binary64_16722 rem-sqrt-square_binary64_23279 associate-+l-_binary64_5128 +-commutative_binary64_19104 associate--r+_binary64_17746 pow1/2_binary64_2886 inv-pow_binary64_9370 pow-plus_binary64_14463 inv-pow_binary64_1527 pow-exp_binary64_14127 sqrt-unprod_binary64_17830 rem-log-exp_binary64_10349 sqr-abs_binary64_9300 pow-exp_binary64_11740 pow3_binary64_14824 distribute-lft-out_binary64_3439 flip3-+_binary64_6560 pow-to-exp_binary64_2534 rem-cube-cbrt_binary64_2488 pow-prod-up_binary64_12083 rem-square-sqrt_binary64_15094 un-div-inv_binary64_24969 difference-of-squares_binary64_2434 sub-div_binary64_1108 pow-flip_binary64_4926 pow-plus_binary64_24352 inv-pow_binary64_9029 un-div-inv_binary64_20195 inv-pow_binary64_18236 rem-cbrt-cube_binary64_784 div-sub_binary64_21225 diff-log_binary64_23017 pow-plus_binary64_1164 frac-2neg_binary64_22936 neg-sub0_binary64_17805 pow-to-exp_binary64_829 distribute-lft-in_binary64_17759 pow-exp_binary64_2533 unpow1/3_binary64_3896 diff-log_binary64_6308 rec-exp_binary64_128 unsub-neg_binary64_4846 diff-log_binary64_5626 frac-times_binary64_24299 pow-plus_binary64_17873 sqrt-unprod_binary64_6918 pow1/3_binary64_10049 unswap-sqr_binary64_19824 cube-mult_binary64_22273 sqr-abs_binary64_4526 inv-pow_binary64_1868 distribute-rgt-in_binary64_17078 pow2_binary64_24370 rem-sqrt-square_binary64_1455 cancel-sign-sub-inv_binary64_6182 rem-exp-log_binary64_7620 diff-log_binary64_2557 sqrt-unprod_binary64_23968 pow-plus_binary64_4233 rec-exp_binary64_9676 rem-square-sqrt_binary64_16117 pow-plus_binary64_23670 sum-log_binary64_15855 pow-to-exp_binary64_11741 exp-lft-sqr_binary64_2861 difference-of-sqr--1_binary64_8574 pow-plus_binary64_11394 pow-pow_binary64_6629 remove-double-div_binary64_11307 inv-pow_binary64_24033 associate-+l-_binary64_9561 sqr-pow_binary64_6529 neg-log_binary64_17903 pow-flip_binary64_10041 inv-pow_binary64_15508 pow-flip_binary64_15497 distribute-lft-neg-in_binary64_9924 div-exp_binary64_22635 exp-prod_binary64_7973 pow2_binary64_12435 rem-cbrt-cube_binary64_16470 inv-pow_binary64_20282 associate--l-_binary64_11269 pow-prod-up_binary64_16857 sqr-pow_binary64_8575 pow-pow_binary64_491 neg-mul-1_binary64_74 pow-to-exp_binary64_22312 flip3--_binary64_6220 pow-pow_binary64_1173 un-div-inv_binary64_3827 pow2_binary64_6979 div-sub_binary64_24294 div-sub_binary64_19520 sqrt-unprod_binary64_3167 un-div-inv_binary64_20877 frac-2neg_binary64_23618 pow-plus_binary64_6961 pow-pow_binary64_5947 clear-num_binary64_22924 pow-flip_binary64_22317 rem-square-sqrt_binary64_1795 un-div-inv_binary64_1440 pow-flip_binary64_5267 pow2_binary64_5274 pow2_binary64_1182 distribute-lft-out_binary64_23558 pow-pow_binary64_2196 difference-of-sqr-1_binary64_389 flip3-+_binary64_5537 rem-log-exp_binary64_9667 associate-+r-_binary64_17744 diff-log_binary64_170 rem-cbrt-cube_binary64_14424 unpow2_binary64_3894 sqrt-unprod_binary64_16125 pow-pow_binary64_5606 sqrt-pow1_binary64_12372 pow-plus_binary64_16850 associate-+l+_binary64_4103 rem-log-exp_binary64_6598 frac-times_binary64_24640 div-sub_binary64_23953 difference-of-sqr-1_binary64_13688 rem-square-sqrt_binary64_6910 flip3--_binary64_1446 pow1/2_binary64_13798 distribute-rgt-neg-out_binary64_9245 sqrt-unprod_binary64_1803 +-commutative_binary64_5464 pow2_binary64_8002 flip--_binary64_6191 un-div-inv_binary64_76 div-sub_binary64_8267 pow-sqr_binary64_16760 inv-pow_binary64_4937 rem-sqrt-square_binary64_18846 inv-pow_binary64_24715 rem-cbrt-cube_binary64_2148 unpow3_binary64_22309 sqrt-unprod_binary64_6236 pow1/2_binary64_12434 pow-plus_binary64_14122 rem-square-sqrt_binary64_9297 inv-pow_binary64_5278 pow-plus_binary64_141 1-exp_binary64_122 associate--r-_binary64_9565 pow-to-exp_binary64_14128 exp-neg_binary64_12742 unpow3_binary64_6623 distribute-lft-out--_binary64_18785 inv-pow_binary64_7665 diff-log_binary64_3580 +-commutative_binary64_1372 diff-log_binary64_8354 associate-+l-_binary64_11948 div-sub_binary64_20543 sqr-abs_binary64_16120 associate-+l+_binary64_11 pow-flip_binary64_2539 associate-+l+_binary64_16038 pow-exp_binary64_18219 distribute-lft1-in_binary64_21175 pow-plus_binary64_13781 pow-plus_binary64_12076 distribute-rgt-out--_binary64_1055 pow-exp_binary64_22311 rem-square-sqrt_binary64_1113 rem-cbrt-cube_binary64_17152 distribute-rgt-neg-out_binary64_15042 unsub-neg_binary64_17804 associate-+l-_binary64_20814 associate--l+_binary64_5812 un-div-inv_binary64_17808 associate-+l-_binary64_18768 rem-cbrt-cube_binary64_18175 pow-pow_binary64_10039 associate-+r-_binary64_9901 pow-pow_binary64_18223 pow-to-exp_binary64_14469 pow-pow_binary64_9357 pow-to-exp_binary64_9013 inv-pow_binary64_24374 inv-pow_binary64_845 distribute-lft-out--_binary64_1735 sum-log_binary64_6648 pow2_binary64_500 div-sub_binary64_12700 pow2_binary64_21301 cube-div_binary64_6586 +-commutative_binary64_12966 inv-pow_binary64_19600 exp-prod_binary64_7632 div-sub_binary64_21907 associate-+l+_binary64_7172 diff-log_binary64_16197 associate-*l/_binary64_24573 rem-square-sqrt_binary64_3841 associate-*l/_binary64_21845 pow-plus_binary64_7984 pow-to-exp_binary64_8672 associate-+l+_binary64_1716 +-commutative_binary64_22173 pow2_binary64_4251 pow-flip_binary64_1516 pow-flip_binary64_834 difference-of-sqr-1_binary64_12665 pow-prod-up_binary64_13106 pow2_binary64_10389 distribute-lft-out_binary64_16397 associate-/l*_binary64_22870 pow-flip_binary64_7654 rem-sqrt-square_binary64_14754 unpow1/3_binary64_12080 pow-flip_binary64 distribute-rgt-out_binary64_18786 associate-+r+_binary64_4443 pow1/2_binary64_18913 unsub-neg_binary64_1095 associate-+l-_binary64_10243 pow-pow_binary64_9016 pow-exp_binary64_1169 un-div-inv_binary64_18149 pow2_binary64_159 associate-*r/_binary64_24913 pow-exp_binary64_10717 flip--_binary64_1417 sqr-pow_binary64_11644 sqr-abs_binary64_3162 pow-plus_binary64_482 sqrt-unprod_binary64_14079 pow-plus_binary64_15486 +-commutative_binary64_14671 pow1/3_binary64_2206 cbrt-div_binary64_9999 distribute-lft-out_binary64_5826 pow-exp_binary64_9012 pow-exp_binary64_13786 cube-div_binary64_12042 pow2_binary64_16868 frac-2neg_binary64_18844 associate--l+_binary64_12973 neg-sub0_binary64_12690 log-pow_binary64_10738 sqrt-undiv_binary64_3509 neg-mul-1_binary64_11327 pow2_binary64_13117 rem-log-exp_binary64_12395 pow2_binary64_20960 frac-sub_binary64_1110 distribute-lft-out_binary64_8895 sqrt-undiv_binary64_1122 neg-sub0_binary64_9962 associate--l+_binary64_12632 flip-+_binary64_5508 pow-to-exp_binary64_488 unpow1/3_binary64_486 rem-3cbrt-lft_binary64_7264 unpow1/3_binary64_1168 pow-sqr_binary64_19147 un-div-inv_binary64_9624 pow-sqr_binary64_18806 rem-log-exp_binary64_18874 pow-plus_binary64_19578 associate-+l-_binary64_1036 div-sub_binary64_23612 rem-cbrt-cube_binary64_3171 frac-add_binary64_19182 pow-to-exp_binary64_18220 distribute-rgt1-in_binary64_2080 unsub-neg_binary64_15417 clear-num_binary64_23606 associate-+l-_binary64_17404 un-div-inv_binary64_8942 distribute-lft-out--_binary64_2417 flip-+_binary64_6531 inv-pow_binary64_10734 cbrt-div_binary64_2156 rem-exp-log_binary64_7961 sqrt-pow1_binary64_1460 distribute-lft-out_binary64_20830 cbrt-div_binary64_792 inv-pow_binary64 sqrt-unprod_binary64_15102 pow-to-exp_binary64_6626 cube-mult_binary64_6587 unsub-neg_binary64_15076 pow2_binary64_23688 sqrt-unprod_binary64_9305 pow-flip_binary64_18225 div-sub_binary64_15769 distribute-lft-out--_binary64_20149 pow-plus_binary64_18896 distribute-rgt-out_binary64_2077 pow-to-exp_binary64_10718 pow2_binary64_10730 pow-flip_binary64_24022 pow-pow_binary64_2537 unpow1/3_binary64_145 associate-+r-_binary64_9560 *-commutative_binary64_24561 pow-pow_binary64_11744 difference-of-sqr-1_binary64_9937 diff-log_binary64_24381 pow-plus_binary64_13099 rem-log-exp_binary64_801 pow1/2_binary64_1522 associate-+r-_binary64_11265 associate-+r-_binary64_12288 sqrt-unprod_binary64_4531 pow2_binary64_14481 pow-plus_binary64_24693 diff-log_binary64_8013 sum-log_binary64_9376 frac-sub_binary64_23275 associate-+l+_binary64_4785 sub-neg_binary64_6209 rem-square-sqrt_binary64_14071 pow2_binary64_13458 difference-of-sqr-1_binary64_5163 un-div-inv_binary64_19172 pow-to-exp_binary64_13787 rem-cbrt-cube_binary64_7263 neg-mul-1_binary64_1097 pow-prod-up_binary64_19244 pow-plus_binary64_10371 distribute-lft-out_binary64_15033 pow-to-exp_binary64_2193 rem-square-sqrt_binary64_4523 associate-+l+_binary64_22517 +-commutative_binary64_15694 associate--r-_binary64_10929 rem-cube-cbrt_binary64_7262 neg-log_binary64_10060 sub-div_binary64_18499 +-commutative_binary64_6487 pow2_binary64_14140 associate-+l-_binary64_4446 distribute-lft-in_binary64_20146 pow2_binary64_19255 neg-sub0_binary64_2801 pow2_binary64_15504 1-exp_binary64_9670 div-sub_binary64_18838 pow2_binary64_20278 pow-flip_binary64_9359 div-sub_binary64_24976 pow-to-exp_binary64_1170 div-sub_binary64_20202 un-div-inv_binary64_20536 pow2_binary64_17891 pow-plus_binary64_19237 pow-sqr_binary64_11986 associate-+r-_binary64_13993 sqr-abs_binary64_4867 associate-+l-_binary64_19109 associate--r+_binary64_355 rem-square-sqrt_binary64_17822 inv-pow_binary64_2550 rem-cbrt-cube_binary64_9991 pow2_binary64_24029 pow-sqr_binary64_13009 sqr-abs_binary64_1798 exp-to-pow_binary64_7983 diff-log_binary64_4944 pow-plus_binary64_9689 sqrt-pow1_binary64_18851 pow-plus_binary64_24011 sum-log_binary64_14832 difference-of-sqr-1_binary64_8573 exp-to-pow_binary64_7642 pow3_binary64_7322 diff-log_binary64_7331 +-commutative_binary64_9215 div-sub_binary64_4516 inv-pow_binary64_22328 pow-prod-up_binary64_18903 pow2_binary64_13799 unpow1/3_binary64_11739 pow1/2_binary64_20959 neg-mul-1_binary64_9963 pow-flip_binary64_24363 associate--r+_binary64_12972 pow-sqr_binary64_392 rem-cbrt-cube_binary64_8968 inv-pow_binary64_23351 log-div_binary64_22671 sqrt-unprod_binary64_1121 difference-of-sqr-1_binary64_2094 distribute-rgt-in_binary64_17760 associate-+r-_binary64_18085 pow-to-exp_binary64_10036 pow2_binary64_9707 rem-cbrt-cube_binary64_2489 pow-to-exp_binary64_9354 associate--l+_binary64_697 sqrt-pow2_binary64_16465 distribute-rgt-in_binary64_20147 pow2_binary64_18914 sqr-abs_binary64_3844 rem-square-sqrt_binary64_4864 pow-flip_binary64_19589 pow2_binary64_19596 pow-plus_binary64_12417 associate-+l-_binary64_13994 pow-prod-up_binary64_489 pow2_binary64_11412 associate--l-_binary64_1039 clear-num_binary64_18832 sub-div_binary64_23273 exp-diff_binary64_2854 pow-exp_binary64_487 associate--l+_binary64_12291 div-sub_binary64_10313 pow-plus_binary64_20942 pow-plus_binary64_13440 distribute-lft-in_binary64_17077 pow-plus_binary64_21283 pow-pow_binary64_832 unsub-neg_binary64_11325 div-sub_binary64_1106 sum-log_binary64_22334 unsub-neg_binary64_9279 pow-flip_binary64_9018 pow-flip_binary64_10723 unpow-prod-down_binary64_8682 frac-sub_binary64_18501 associate-+r-_binary64_11947 pow2_binary64_12094 rem-cbrt-cube_binary64_9309 rem-cube-cbrt_binary64_18174 sqrt-unprod_binary64_3849 associate--r-_binary64_16726 rem-sqrt-square_binary64_12367 sqrt-pow1_binary64_20897 associate-+r+_binary64_1374 pow-flip_binary64_20271 pow-plus_binary64_20260 rem-square-sqrt_binary64_3159 pow-flip_binary64_20612 inv-pow_binary64_10052 sum-log_binary64_5625 pow2_binary64_24711 sub-neg_binary64_7914 div-sub_binary64_7585
Calls

4944 calls:

198.0ms
(-.f64 (*.f64 x x) (*.f64 y y))
82.0ms
(*.f64 (sqrt.f64 (/.f64 1 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))) (sqrt.f64 (/.f64 1 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))))
73.0ms
(*.f64 (/.f64 (/.f64 y z) (*.f64 (cbrt.f64 (+.f64 z 1)) (cbrt.f64 (+.f64 z 1)))) (/.f64 (/.f64 x z) (cbrt.f64 (+.f64 z 1))))
66.0ms
(+.f64 x (/.f64 1 (/.f64 (/.f64 a y) (-.f64 z t))))
65.0ms
(*.f64 (/.f64 (-.f64 x 2) (sqrt.f64 (+.f64 (*.f64 x (+.f64 (*.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328))) (/.f64 (+.f64 (*.f64 x (+.f64 (*.f64 x (+.f64 (*.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (sqrt.f64 (+.f64 (*.f64 x (+.f64 (*.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328))))

localize9.7s (0.5%)

end12.0ms (0%)

Profiling

Loading profile data...