source: branches/2929_PrioritizedGrammarEnumeration/HeuristicLab.Algorithms.DataAnalysis.PGE/3.3/tmplog/Korns_03_CGen.log

MaxIter: 500
Evals: 3
InitMethod: method1
TestFile go-code/go-pge/data/benchmark/Korns_03.tst
TestData: Entries 2000, Colums 6
TrainFile go-code/go-pge/data/benchmark/Korns_03.trn
TrainData: Entries 200, Colums 6
Default Config Path go-code/go-pge/config/pge/pge_default.cfg
Config Path go-code/go-pge/config/prob/bench/Korns_03.cfg
Config Entry: leafs
Config Entry: nontrig
Config Entry: nodes
Config Entry: roots
Config Entry: usablevars
Config Entry: mindepth
Config Entry: maxdepth
Config Entry: minsize
Config Entry: maxsize
Config Entry: searchvar
Config Entry: usablevars
Config Entry: maxiter
Config Entry: hitratio
Config Entry: testdata
Config Entry: traindata
Config Entry: problemtype
Config Entry: name
Config Entry: zeroepsilon
Config Entry: sorttype
Config Entry: peelcount
Config Entry: pgearchivecap
Config Entry: pgerptcount
Config Entry: pgerptepoch
Config Entry: maxgen
Var Names = [f(xs)] | [x y z v w]
Num Points: 2000
Var Names = [f(xs)] | [x y z v w]
Num Points: 200
Added Train- and Testdata
Initialized Search
USEVARnew: 0
USEVARnew: 1
USEVARnew: 2
USEVARnew: 3
USEVARnew: 4
Initialized TreeParams
Init'n PGE
Roots:    [add]
Nodes:    [add mul div sin cos exp log sqrt tan]
Leafs:    [var constantf]
NonTrig:  [add mul div exp log sqrt]
Init1 2
Use Vars:  [0 1 2 3 4]
Init2
Init3
Init4
Call gen method
generating initial expressions
Initial Add:   [( C_1 ) ( C_-1*X_0 ) ( C_-1*X_1 ) ( C_-1*X_2 ) ( C_-1*X_3 ) ( C_-1*X_4 )]
0:  ( C_1 )
1:  ( C_-1*X_0 )
2:  ( C_-1*X_1 )
3:  ( C_-1*X_2 )
4:  ( C_-1*X_3 )
5:  ( C_-1*X_4 )
Init5a
Init5
Initialized Problem
BEST PUSH/push(0,0): ( C_0 )
Testscore: 2000
Best New Min Error:  ( C_0 )
coeff: [-5.368490749999992]
size:    2   depth:    2   
uId:     0   pId:      0
iId:     0   tId:      0

train NaNs:    0
train L1:   4.289664

test  NaNs:    0
test Evals: 2000   
test  L1:   62.046378
test  L2:   1809.606110

BEST PUSH/push(1,1): ( C_0*X_1 )
BEST PUSH/push(2,2): ( C_0*X_3 )


******************************** StepW: 1 **********************************
C: push/pop (1,0) C_0*X_1
C: TestScore 2000
C: coeff vals: 0.003447
C: push/pop (1,1) C_0*(X_1)^2
C: TestScore 2000
C: coeff vals: -0.003602
C: push/pop (1,2) ( C_0 + C_1*X_3 )
C: TestScore 2000
C: coeff vals: -5.372112
C: coeff vals: -0.005832
BEST PUSH/push(0,3): C_0*X_1
BEST PUSH/push(1,4): C_0*(X_1)^2
BEST PUSH/push(2,5): ( C_0 + C_1*X_3 )


******************************** StepW: 2 **********************************
C: push/pop (2,0) ( C_0 + C_1 )
C: TestScore 2000
C: coeff vals: -3.184245
C: coeff vals: -2.184245
C: push/pop (2,1) ( C_0 + C_1*X_3*X_4 )
C: TestScore 2000
C: coeff vals: -5.403381
C: coeff vals: 0.001767
C: push/pop (2,2) ( C_0 + { C_1*X_3 }/{ X_4 } )
C: TestScore 2000
C: coeff vals: -5.897116
C: coeff vals: 1.721646
BEST PUSH/push(0,6): ( C_0 + C_1 )
BEST PUSH/push(1,7): ( C_0 + C_1*X_3*X_4 )
BEST PUSH/push(2,8): ( C_0 + { C_1*X_3 }/{ X_4 } )


******************************** StepW: 3 **********************************
C: push/pop (3,0) C_0*X_3
C: TestScore 2000
C: coeff vals: -0.001669
C: push/pop (3,1) C_0*(X_3)^2
C: TestScore 2000
C: coeff vals: -0.003522
C: push/pop (3,2) ( C_0 + C_1*X_4 )
C: TestScore 2000
C: coeff vals: -5.365412
C: coeff vals: -0.002580
BEST PUSH/push(0,9): C_0*X_3
BEST PUSH/push(1,10): C_0*(X_3)^2
BEST PUSH/push(2,11): ( C_0 + C_1*X_4 )


******************************** StepW: 4 **********************************
C: push/pop (4,0) C_0*X_3*X_4
C: TestScore 2000
C: coeff vals: 0.001630
C: push/pop (4,1) ( C_0 + { C_1 }/{ X_3 } )
C: TestScore 2000
C: coeff vals: -5.349896
C: coeff vals: 0.055310
C: push/pop (4,2) ( C_0 + C_1*X_0*X_4 )
C: TestScore 2000
C: coeff vals: -5.295568
C: coeff vals: -0.001832
BEST PUSH/push(0,12): C_0*X_3*X_4
BEST PUSH/push(1,13): ( C_0 + { C_1 }/{ X_3 } )
BEST PUSH/push(2,14): ( C_0 + C_1*X_0*X_4 )


******************************** StepW: 5 **********************************
C: push/pop (5,0) C_0*X_4
C: TestScore 2000
C: coeff vals: -0.009572
C: push/pop (5,1) C_0*X_0*X_3
C: TestScore 2000
C: coeff vals: -0.000477
C: push/pop (5,2) ( C_0 + { C_1 }/{ C_2 } )
C: TestScore 2000
C: coeff vals: -4.682626
C: coeff vals: -1.941399
C: coeff vals: 2.830586
BEST PUSH/push(0,15): C_0*X_4
BEST PUSH/push(1,16): C_0*X_0*X_3
BEST PUSH/push(2,17): ( C_0 + { C_1 }/{ C_2 } )


******************************** StepW: 6 **********************************
C: push/pop (6,0) C_0*X_0
C: TestScore 2000
C: coeff vals: -0.018536
C: push/pop (6,1) C_0*(X_4)^2
C: TestScore 2000
C: coeff vals: -0.003461
C: push/pop (6,2) ( C_0 + C_1*X_1 )
C: TestScore 2000
C: coeff vals: -5.372252
C: coeff vals: -0.003740
BEST PUSH/push(0,18): C_0*X_0
BEST PUSH/push(1,19): C_0*(X_4)^2
BEST PUSH/push(2,20): ( C_0 + C_1*X_1 )


******************************** StepW: 7 **********************************
C: push/pop (7,0) C_0*(X_0)^2
C: TestScore 2000
C: coeff vals: -0.003363
C: push/pop (7,1) ( C_0 + { C_1 }/{ X_0 } )
C: TestScore 2000
C: coeff vals: -5.354665
C: coeff vals: 0.405473
C: push/pop (7,2) ( C_0 + C_1*X_0*X_1 )
C: TestScore 2000
C: coeff vals: -5.371347
C: coeff vals: -0.000154
BEST PUSH/push(0,21): C_0*(X_0)^2
BEST PUSH/push(1,22): ( C_0 + { C_1 }/{ X_0 } )
BEST PUSH/push(2,23): ( C_0 + C_1*X_0*X_1 )


******************************** StepW: 8 **********************************
C: push/pop (8,0) C_0*X_0*X_4
C: TestScore 2000
C: coeff vals: -0.002112
C: push/pop (8,1) ( C_0 + C_1*X_0 )
C: TestScore 2000
C: coeff vals: -5.358099
C: coeff vals: -0.013317
C: push/pop (8,2) ( C_0 + C_1*(X_4)^2 )
C: TestScore 2000
C: coeff vals: -5.258455
C: coeff vals: -0.000120
BEST PUSH/push(0,24): C_0*X_0*X_4
BEST PUSH/push(1,25): ( C_0 + C_1*X_0 )
BEST PUSH/push(2,26): ( C_0 + C_1*(X_4)^2 )


******************************** StepW: 9 **********************************
C: push/pop (9,0) C_0*X_1*X_3
C: TestScore 2000
C: coeff vals: 0.000751
C: push/pop (9,1) ( C_0 + C_1*X_2 )
C: TestScore 2000
C: coeff vals: -5.290226
C: coeff vals: 0.026697
C: push/pop (9,2) ( C_0 + { C_1 }/{ cos(X_3) } )
C: TestScore 2000
C: coeff vals: -5.372152
C: coeff vals: 0.001306
BEST PUSH/push(0,27): C_0*X_1*X_3
BEST PUSH/push(1,28): ( C_0 + C_1*X_2 )
BEST PUSH/push(2,29): ( C_0 + { C_1 }/{ cos(X_3) } )


******************************** StepW: 10 **********************************
C: push/pop (10,0) C_0*X_1*X_4
C: TestScore 2000
C: coeff vals: -0.000327
C: push/pop (10,1) ( C_0 + { C_1 }/{ X_2 } )
C: TestScore 2000
C: coeff vals: -5.308569
C: coeff vals: 1.682549
C: push/pop (10,2) ( C_0 + C_1*cos(X_0) )
C: TestScore 2000
C: coeff vals: -5.369423
C: coeff vals: -0.008743
BEST PUSH/push(0,30): C_0*X_1*X_4
BEST PUSH/push(1,31): ( C_0 + { C_1 }/{ X_2 } )
BEST PUSH/push(2,32): ( C_0 + C_1*cos(X_0) )


******************************** StepW: 11 **********************************
C: push/pop (11,0) C_0*sin(X_1)
C: TestScore 2000
C: coeff vals: -1.011360
C: push/pop (11,1) ( C_0 + { C_1 }/{ X_1 } )
C: TestScore 2000
C: coeff vals: -5.481056
C: coeff vals: -2.922396
C: push/pop (11,2) ( C_0 + C_1*tan(X_3) )
C: TestScore 2000
C: coeff vals: -5.368214
C: coeff vals: -0.000148
BEST PUSH/push(0,33): C_0*sin(X_1)
BEST PUSH/push(1,34): ( C_0 + { C_1 }/{ X_1 } )
BEST PUSH/push(2,35): ( C_0 + C_1*tan(X_3) )


******************************** StepW: 12 **********************************
C: push/pop (12,0) C_0*cos(X_3)
C: TestScore 2000
C: coeff vals: -0.691895
C: push/pop (12,1) C_0*(cos(X_0))^2
C: TestScore 2000
C: coeff vals: -6.588855
C: push/pop (12,2) ( C_0 + C_1*X_2*X_4 )
C: TestScore 2000
C: coeff vals: -5.383308
C: coeff vals: 0.000182
BEST PUSH/push(0,36): C_0*cos(X_3)
BEST PUSH/push(1,37): C_0*(cos(X_0))^2
BEST PUSH/push(2,38): ( C_0 + C_1*X_2*X_4 )


******************************** StepW: 13 **********************************
C: push/pop (13,0) C_0*X_0*X_1
C: TestScore 2000
C: coeff vals: 0.000026
C: push/pop (13,1) C_0*(cos(X_1))^2
C: TestScore 2000
C: coeff vals: -6.562509
C: push/pop (13,2) ( C_0 + { C_1 }/{ (X_3)^2 } )
C: TestScore 2000
C: coeff vals: -5.350997
C: coeff vals: -0.000849
BEST PUSH/push(0,39): C_0*X_0*X_1
BEST PUSH/push(1,40): C_0*(cos(X_1))^2
BEST PUSH/push(2,41): ( C_0 + { C_1 }/{ (X_3)^2 } )


******************************** StepW: 14 **********************************
C: push/pop (14,0) ( C_0*X_4 )
C: TestScore 2000
C: coeff vals: -0.009572
C: push/pop (14,1) C_0*(sin(X_3))^2
C: TestScore 2000
C: coeff vals: -7.766459
C: push/pop (14,2) ( C_0 + C_1*(X_3)^2 )
C: TestScore 2000
C: coeff vals: -5.437848
C: coeff vals: 0.000087
BEST PUSH/push(0,42): ( C_0*X_4 )
BEST PUSH/push(1,43): C_0*(sin(X_3))^2
BEST PUSH/push(2,44): ( C_0 + C_1*(X_3)^2 )


******************************** StepW: 15 **********************************
C: push/pop (15,0) C_0*tan(X_3)
C: TestScore 2000
C: coeff vals: -0.005788
C: push/pop (15,1) C_0*(cos(X_3))^2
C: TestScore 2000
C: coeff vals: -6.846210
C: push/pop (15,2) ( C_0 + C_1*X_1*X_4 )
C: TestScore 2000
C: coeff vals: -5.372334
C: coeff vals: 0.000074
BEST PUSH/push(0,45): C_0*tan(X_3)
BEST PUSH/push(1,46): C_0*(cos(X_3))^2
BEST PUSH/push(2,47): ( C_0 + C_1*X_1*X_4 )


******************************** StepW: 16 **********************************
C: push/pop (16,0) ( C_0*X_0 )
C: TestScore 2000
C: coeff vals: -0.018536
C: push/pop (16,1) C_0*(sin(X_0))^2
C: TestScore 2000
C: coeff vals: -7.734299
C: push/pop (16,2) ( C_0 + { C_1 }/{ sin(X_3) } )
C: TestScore 2000
C: coeff vals: -5.372913
C: coeff vals: -0.001429
BEST PUSH/push(0,48): ( C_0*X_0 )
BEST PUSH/push(1,49): C_0*(sin(X_0))^2
BEST PUSH/push(2,50): ( C_0 + { C_1 }/{ sin(X_3) } )


******************************** StepW: 17 **********************************
C: push/pop (17,0) C_0*cos(X_4)
C: TestScore 2000
C: coeff vals: -0.456104
C: push/pop (17,1) C_0*(sin(X_1))^2
C: TestScore 2000
C: coeff vals: -7.860821
C: push/pop (17,2) ( C_0 + C_1*(X_1)^2 )
C: TestScore 2000
C: coeff vals: -5.482311
C: coeff vals: 0.000151
BEST PUSH/push(0,51): C_0*cos(X_4)
BEST PUSH/push(1,52): C_0*(sin(X_1))^2
BEST PUSH/push(2,53): ( C_0 + C_1*(X_1)^2 )


******************************** StepW: 18 **********************************
C: push/pop (18,0) C_0*X_2*X_4
C: TestScore 2000
C: coeff vals: -0.000349
C: push/pop (18,1) C_0*(sin(X_4))^2
C: TestScore 2000
C: coeff vals: -8.641284
C: push/pop (18,2) ( C_0 + C_1*cos(X_3) )
C: TestScore 2000
C: coeff vals: -5.359140
C: coeff vals: -0.201446
BEST PUSH/push(0,54): C_0*X_2*X_4
BEST PUSH/push(1,55): C_0*(sin(X_4))^2
BEST PUSH/push(2,56): ( C_0 + C_1*cos(X_3) )


******************************** StepW: 19 **********************************
C: push/pop (19,0) C_0*X_2
C: TestScore 2000
C: coeff vals: 0.044271
C: push/pop (19,1) C_0*cos(X_1)
C: TestScore 2000
C: coeff vals: 0.810598
C: push/pop (19,2) C_0*(cos(X_4))^2
C: TestScore 2000
C: coeff vals: -5.886580
BEST PUSH/push(0,57): C_0*X_2
BEST PUSH/push(1,58): C_0*cos(X_1)
BEST PUSH/push(2,59): C_0*(cos(X_4))^2


******************************** StepW: 20 **********************************
C: push/pop (20,0) C_0*(X_2)^2
C: TestScore 2000
C: coeff vals: -0.003175
C: push/pop (20,1) ( C_0 + C_1*(X_0)^2 )
C: TestScore 2000
C: coeff vals: -5.760217
C: coeff vals: 0.000489
C: push/pop (20,2) ( C_0 + { C_1*X_0 }/{ X_4 } )
C: TestScore 2000
C: coeff vals: -4.968266
C: coeff vals: -1.760238
BEST PUSH/push(0,60): C_0*(X_2)^2
BEST PUSH/push(1,61): ( C_0 + C_1*(X_0)^2 )
BEST PUSH/push(2,62): ( C_0 + { C_1*X_0 }/{ X_4 } )


******************************** StepW: 21 **********************************
C: push/pop (21,0) C_0*sin(X_2)
C: TestScore 2000
C: coeff vals: -0.170510
C: push/pop (21,1) C_0*(cos(X_2))^2
C: TestScore 2000
C: coeff vals: -6.507117
C: push/pop (21,2) ( C_0 + { C_1 }/{ sin(X_2) } )
C: TestScore 2000
C: coeff vals: -5.381799
C: coeff vals: -0.005784
BEST PUSH/push(0,63): C_0*sin(X_2)
BEST PUSH/push(1,64): C_0*(cos(X_2))^2
BEST PUSH/push(2,65): ( C_0 + { C_1 }/{ sin(X_2) } )


******************************** StepW: 22 **********************************
C: push/pop (22,0) C_0*tan(X_4)
C: TestScore 2000
C: coeff vals: 0.017224
C: push/pop (22,1) C_0*(sin(X_2))^2
C: TestScore 2000
C: coeff vals: -7.856054
C: push/pop (22,2) ( C_0 + C_1*cos(X_4) )
C: TestScore 2000
C: coeff vals: -5.368670
C: coeff vals: -0.460182
BEST PUSH/push(0,66): C_0*tan(X_4)
BEST PUSH/push(1,67): C_0*(sin(X_2))^2
BEST PUSH/push(2,68): ( C_0 + C_1*cos(X_4) )


******************************** StepW: 23 **********************************
C: push/pop (23,0) C_0*sin(X_4)
C: TestScore 2000
C: coeff vals: 1.311629
C: push/pop (23,1) ( C_0 + { C_1 }/{ X_4 } )
C: TestScore 2000
C: coeff vals: -5.306806
C: coeff vals: 37.969632
C: push/pop (23,2) ( C_0 + C_1*sin(X_2) )
C: TestScore 2000
C: coeff vals: -5.387833
C: coeff vals: -0.561445
BEST PUSH/push(0,69): C_0*sin(X_4)
BEST PUSH/push(1,70): ( C_0 + { C_1 }/{ X_4 } )
BEST PUSH/push(2,71): ( C_0 + C_1*sin(X_2) )


******************************** StepW: 24 **********************************
C: push/pop (24,0) C_0*tan(X_2)
C: TestScore 2000
C: coeff vals: -0.014762
C: push/pop (24,1) ( C_0 + { X_3 }/{ X_4 } )
C: TestScore 2000
C: coeff vals: -5.675537
C: push/pop (24,2) C_0*({ C_1*X_1 }/{ X_4 })^2
C: TestScore 2000
C: coeff vals: -0.047604
C: coeff vals: 1.000004
BEST PUSH/push(0,72): C_0*tan(X_2)
BEST PUSH/push(1,73): ( C_0 + { X_3 }/{ X_4 } )
BEST PUSH/push(2,74): C_0*({ C_1*X_1 }/{ X_4 })^2


******************************** StepW: 25 **********************************
C: push/pop (25,0) C_0*cos(X_0)
C: TestScore 2000
C: coeff vals: 1.095156
C: push/pop (25,1) ( C_0 + { X_1 }/{ X_4 } )
C: TestScore 2000
C: coeff vals: -5.355709
C: push/pop (25,2) ( C_0 + { X_3 }/{ C_1*X_4 } )
C: TestScore 2000
C: coeff vals: -5.897116
C: coeff vals: 0.580839
BEST PUSH/push(0,75): C_0*cos(X_0)
BEST PUSH/push(1,76): ( C_0 + { X_1 }/{ X_4 } )
BEST PUSH/push(2,77): ( C_0 + { X_3 }/{ C_1*X_4 } )


******************************** StepW: 26 **********************************
C: push/pop (26,0) ( C_0 + X_3 )
C: TestScore 2000
C: coeff vals: -4.747653
C: push/pop (26,1) C_0*sin(X_0)
C: TestScore 2000
C: coeff vals: 2.022165
C: push/pop (26,2) ( C_0 + { X_1 }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.368489
C: coeff vals: 456483.797756
BEST PUSH/push(0,78): ( C_0 + X_3 )
BEST PUSH/push(1,79): C_0*sin(X_0)
BEST PUSH/push(2,80): ( C_0 + { X_1 }/{ C_1 } )


******************************** StepW: 27 **********************************
C: push/pop (27,0) ( C_0 + cos(X_3) )
C: TestScore 2000
C: coeff vals: -5.414908
C: push/pop (27,1) ( C_0 + { X_1 }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.368489
C: coeff vals: 456483.797756
C: push/pop (27,2) ( C_0 + { sin(X_1) }/{ X_4 } )
C: TestScore 2000
C: coeff vals: -5.366946
BEST PUSH/push(0,81): ( C_0 + cos(X_3) )
BEST PUSH/push(1,82): ( C_0 + { X_1 }/{ C_1 } )
BEST PUSH/push(2,83): ( C_0 + { sin(X_1) }/{ X_4 } )


******************************** StepW: 28 **********************************
C: push/pop (28,0) ( C_0 + sin(X_3) )
C: TestScore 2000
C: coeff vals: -5.273596
C: push/pop (28,1) ( C_0 + { C_1 }/{ C_2 } )
C: TestScore 2000
C: coeff vals: -4.918022
C: coeff vals: -1.378343
C: coeff vals: 3.059795
C: push/pop (28,2) ( C_0 + { sin(X_3) }/{ X_4 } )
C: TestScore 2000
C: coeff vals: -5.368772
BEST PUSH/push(0,84): ( C_0 + sin(X_3) )
BEST PUSH/push(1,85): ( C_0 + { C_1 }/{ C_2 } )
BEST PUSH/push(2,86): ( C_0 + { sin(X_3) }/{ X_4 } )


******************************** StepW: 29 **********************************
C: push/pop (29,0) C_0*(X_0)^3
C: TestScore 2000
C: coeff vals: -0.000024
C: push/pop (29,1) ( C_0 + { X_3 }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.368490
C: coeff vals: 765777.598593
C: push/pop (29,2) ( C_0 + { sin(X_1) }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.368491
C: coeff vals: 383146.029076
BEST PUSH/push(0,87): C_0*(X_0)^3
BEST PUSH/push(1,88): ( C_0 + { X_3 }/{ C_1 } )
BEST PUSH/push(2,89): ( C_0 + { sin(X_1) }/{ C_1 } )


******************************** StepW: 30 **********************************
C: push/pop (30,0) C_0*X_2*X_3
C: TestScore 2000
C: coeff vals: 0.001188
C: push/pop (30,1) ( C_0 + { X_3 }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.368490
C: coeff vals: 765777.598593
C: push/pop (30,2) ( C_0 + { tan(X_3) }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.369868
C: coeff vals: 2491.032942
BEST PUSH/push(0,90): C_0*X_2*X_3
BEST PUSH/push(1,91): ( C_0 + { X_3 }/{ C_1 } )
BEST PUSH/push(2,92): ( C_0 + { tan(X_3) }/{ C_1 } )


******************************** StepW: 31 **********************************
C: push/pop (31,0) C_0*cos(X_2)
C: TestScore 2000
C: coeff vals: -1.796375
C: push/pop (31,1) ( C_0 + C_1*X_3 )
C: TestScore 2000
C: coeff vals: -5.372112
C: coeff vals: -0.005832
C: push/pop (31,2) ( C_0 + { cos(X_3) }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.368491
C: coeff vals: 143078.173193
BEST PUSH/push(0,93): C_0*cos(X_2)
BEST PUSH/push(1,94): ( C_0 + C_1*X_3 )
BEST PUSH/push(2,95): ( C_0 + { cos(X_3) }/{ C_1 } )


******************************** StepW: 32 **********************************
C: push/pop (32,0) C_0*sin(X_3)
C: TestScore 2000
C: coeff vals: 2.076263
C: push/pop (32,1) ( C_0 + { X_2 }/{ X_4 } )
C: TestScore 2000
C: coeff vals: -5.784968
C: push/pop (32,2) ( C_0 + { sin(X_1) }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.368491
C: coeff vals: 383146.029076
BEST PUSH/push(0,96): C_0*sin(X_3)
BEST PUSH/push(1,97): ( C_0 + { X_2 }/{ X_4 } )
BEST PUSH/push(2,98): ( C_0 + { sin(X_1) }/{ C_1 } )


******************************** StepW: 33 **********************************
C: push/pop (33,0) C_0*X_0*X_2
C: TestScore 2000
C: coeff vals: -0.001942
C: push/pop (33,1) ( C_0 + { X_2 }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.290226
C: coeff vals: 37.456883
C: push/pop (33,2) ( C_0 + { cos(X_1) }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.368490
C: coeff vals: 220392.016841
BEST PUSH/push(0,99): C_0*X_0*X_2
BEST PUSH/push(1,100): ( C_0 + { X_2 }/{ C_1 } )
BEST PUSH/push(2,101): ( C_0 + { cos(X_1) }/{ C_1 } )


******************************** StepW: 34 **********************************
C: push/pop (34,0) C_0*X_1*X_2
C: TestScore 2000
C: coeff vals: 0.002360
C: push/pop (34,1) ( C_0 + { X_2 }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.290226
C: coeff vals: 37.456883
C: push/pop (34,2) ( C_0 + { cos(X_2) }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.368491
C: coeff vals: 374893.191691
BEST PUSH/push(0,102): C_0*X_1*X_2
BEST PUSH/push(1,103): ( C_0 + { X_2 }/{ C_1 } )
BEST PUSH/push(2,104): ( C_0 + { cos(X_2) }/{ C_1 } )


******************************** StepW: 35 **********************************
C: push/pop (35,0) ( C_0*X_2 )
C: TestScore 2000
C: coeff vals: 0.044271
C: push/pop (35,1) ( C_0 + { C_1 }/{ X_4 } )
C: TestScore 2000
C: coeff vals: -5.306806
C: coeff vals: 37.969632
C: push/pop (35,2) ( C_0 + { sin(X_2) }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.368491
C: coeff vals: 220968.709615
BEST PUSH/push(0,105): ( C_0*X_2 )
BEST PUSH/push(1,106): ( C_0 + { C_1 }/{ X_4 } )
BEST PUSH/push(2,107): ( C_0 + { sin(X_2) }/{ C_1 } )


******************************** StepW: 36 **********************************
C: push/pop (36,0) C_0*(X_2)^3
C: TestScore 2000
C: coeff vals: 0.000029
C: push/pop (36,1) ( C_0 + { X_0 }/{ X_4 } )
C: TestScore 2000
C: coeff vals: -5.595861
C: push/pop (36,2) ( C_0 + { cos(X_3) }/{ X_4 } )
C: TestScore 2000
C: coeff vals: -5.375452
BEST PUSH/push(0,108): C_0*(X_2)^3
BEST PUSH/push(1,109): ( C_0 + { X_0 }/{ X_4 } )
BEST PUSH/push(2,110): ( C_0 + { cos(X_3) }/{ X_4 } )


******************************** StepW: 37 **********************************
C: push/pop (37,0) C_0*tan(X_0)
C: TestScore 2000
C: coeff vals: 0.042127
C: push/pop (37,1) ( C_0 + { X_0 }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.368492
C: coeff vals: 981181.097983
C: push/pop (37,2) ( C_0 + { C_1*X_0 }/{ X_4 } )
C: TestScore 2000
C: coeff vals: -4.968266
C: coeff vals: -1.760238
BEST PUSH/push(0,111): C_0*tan(X_0)
BEST PUSH/push(1,112): ( C_0 + { X_0 }/{ C_1 } )
BEST PUSH/push(2,113): ( C_0 + { C_1*X_0 }/{ X_4 } )


******************************** StepW: 38 **********************************
C: push/pop (38,0) ( C_0 + tan(X_3) )
C: TestScore 2000
C: coeff vals: -7.234924
C: push/pop (38,1) ( C_0 + { X_0 }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.368492
C: coeff vals: 981181.097983
C: push/pop (38,2) ( C_0 + { X_3 }/{ C_1*X_4 } )
C: TestScore 2000
C: coeff vals: -5.897116
C: coeff vals: 0.580839
BEST PUSH/push(0,114): ( C_0 + tan(X_3) )
BEST PUSH/push(1,115): ( C_0 + { X_0 }/{ C_1 } )
BEST PUSH/push(2,116): ( C_0 + { X_3 }/{ C_1*X_4 } )


******************************** StepW: 39 **********************************
C: push/pop (39,0) C_0*tan(X_1)
C: TestScore 2000
C: coeff vals: 0.400841
C: push/pop (39,1) ( C_0 + { X_1 }/{ X_0 } )
C: TestScore 2000
C: coeff vals: -4.310035
C: push/pop (39,2) ( C_0 + { cos(X_0) }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.368489
C: coeff vals: 53080.623572
BEST PUSH/push(0,117): C_0*tan(X_1)
BEST PUSH/push(1,118): ( C_0 + { X_1 }/{ X_0 } )
BEST PUSH/push(2,119): ( C_0 + { cos(X_0) }/{ C_1 } )


******************************** StepW: 40 **********************************
C: push/pop (40,0) ( C_0 + { C_1 }/{ X_0 } )
C: TestScore 2000
C: coeff vals: -5.354665
C: coeff vals: 0.405473
C: push/pop (40,1) ( C_0 + { cos(X_3) }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.368491
C: coeff vals: 143078.173193
C: push/pop (40,2) ( C_0 + { C_1*X_3 }/{ X_4 } )
C: TestScore 2000
C: coeff vals: -5.897116
C: coeff vals: 1.721646
BEST PUSH/push(0,120): ( C_0 + { C_1 }/{ X_0 } )
BEST PUSH/push(1,121): ( C_0 + { cos(X_3) }/{ C_1 } )
BEST PUSH/push(2,122): ( C_0 + { C_1*X_3 }/{ X_4 } )


******************************** StepW: 41 **********************************
C: push/pop (41,0) C_0*X_2*sin(X_4)
C: TestScore 2000
C: coeff vals: 0.031940
C: push/pop (41,1) ( C_0 + C_1*C_2*X_3 )
C: TestScore 2000
C: coeff vals: -5.372112
C: coeff vals: 0.038850
C: coeff vals: -0.150121
C: push/pop (41,2) ( C_0 + { X_1 }/{ C_1*X_4 } )
C: TestScore 2000
C: coeff vals: -5.359208
C: coeff vals: 1.376937
BEST PUSH/push(0,123): C_0*X_2*sin(X_4)
BEST PUSH/push(1,124): ( C_0 + C_1*C_2*X_3 )
BEST PUSH/push(2,125): ( C_0 + { X_1 }/{ C_1*X_4 } )


******************************** StepW: 42 **********************************
C: push/pop (42,0) ( C_0 + X_1 )
C: TestScore 2000
C: coeff vals: -4.362962
C: push/pop (42,1) C_0*X_3*sin(X_0)
C: TestScore 2000
C: coeff vals: 0.015836
C: push/pop (42,2) ( C_0 + { X_1 }/{ (X_4)^2 } )
C: TestScore 2000
C: coeff vals: -5.314228
BEST PUSH/push(0,126): ( C_0 + X_1 )
BEST PUSH/push(1,127): C_0*X_3*sin(X_0)
BEST PUSH/push(2,128): ( C_0 + { X_1 }/{ (X_4)^2 } )


******************************** StepW: 43 **********************************
C: push/pop (43,0) ( C_0 + sin(X_1) )
C: TestScore 2000
C: coeff vals: -5.338510
C: push/pop (43,1) ( C_0 + C_1*X_1 )
C: TestScore 2000
C: coeff vals: -5.372252
C: coeff vals: -0.003740
C: push/pop (43,2) ( C_0 + { C_1 }/{ sin(X_4) } )
C: TestScore 2000
C: coeff vals: -5.376871
C: coeff vals: -0.009304
BEST PUSH/push(0,129): ( C_0 + sin(X_1) )
BEST PUSH/push(1,130): ( C_0 + C_1*X_1 )
BEST PUSH/push(2,131): ( C_0 + { C_1 }/{ sin(X_4) } )


******************************** StepW: 44 **********************************
C: push/pop (44,0) ( C_0 + cos(X_1) )
C: TestScore 2000
C: coeff vals: -5.225920
C: push/pop (44,1) ( C_0 + { sin(X_0) }/{ X_4 } )
C: TestScore 2000
C: coeff vals: -5.371026
C: push/pop (44,2) ( C_0 + { sin(X_1) }/{ (X_4)^2 } )
C: TestScore 2000
C: coeff vals: -5.365031
BEST PUSH/push(0,132): ( C_0 + cos(X_1) )
BEST PUSH/push(1,133): ( C_0 + { sin(X_0) }/{ X_4 } )
BEST PUSH/push(2,134): ( C_0 + { sin(X_1) }/{ (X_4)^2 } )


******************************** StepW: 45 **********************************
C: push/pop (45,0) ( C_0 + tan(X_1) )
C: TestScore 2000
C: coeff vals: -5.251832
C: push/pop (45,1) C_0*X_0*(X_4)^2
C: TestScore 2000
C: coeff vals: -0.000017
C: push/pop (45,2) ( C_0 + C_1*C_2*X_1 )
C: TestScore 2000
C: coeff vals: -5.372252
C: coeff vals: 0.061711
C: coeff vals: -0.060611
BEST PUSH/push(0,135): ( C_0 + tan(X_1) )
BEST PUSH/push(1,136): C_0*X_0*(X_4)^2
BEST PUSH/push(2,137): ( C_0 + C_1*C_2*X_1 )


******************************** StepW: 46 **********************************
C: push/pop (46,0) C_0*X_4*cos(X_2)
C: TestScore 2000
C: coeff vals: -0.012986
C: push/pop (46,1) ( C_0 + { cos(X_1) }/{ X_4 } )
C: TestScore 2000
C: coeff vals: -5.364133
C: push/pop (46,2) ( C_0 + { cos(X_1) }/{ (X_4)^2 } )
C: TestScore 2000
C: coeff vals: -5.368321
BEST PUSH/push(0,138): C_0*X_4*cos(X_2)
BEST PUSH/push(1,139): ( C_0 + { cos(X_1) }/{ X_4 } )
BEST PUSH/push(2,140): ( C_0 + { cos(X_1) }/{ (X_4)^2 } )


******************************** StepW: 47 **********************************
C: push/pop (47,0) C_0*X_0*tan(X_4)
C: TestScore 2000
C: coeff vals: -0.000424
C: push/pop (47,1) ( C_0 + { cos(X_1) }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.368490
C: coeff vals: 220392.016841
C: push/pop (47,2) ( C_0 + { X_1 }/{ C_1*X_4 } )
C: TestScore 2000
C: coeff vals: -5.359208
C: coeff vals: 1.376937
BEST PUSH/push(0,141): C_0*X_0*tan(X_4)
BEST PUSH/push(1,142): ( C_0 + { cos(X_1) }/{ C_1 } )
BEST PUSH/push(2,143): ( C_0 + { X_1 }/{ C_1*X_4 } )


******************************** StepW: 48 **********************************
C: push/pop (48,0) C_0*X_1*sin(X_2)
C: TestScore 2000
C: coeff vals: -0.018091
C: push/pop (48,1) ( C_0 + C_1*X_1*X_3 )
C: TestScore 2000
C: coeff vals: -5.386735
C: coeff vals: 0.000933
C: push/pop (48,2) ( C_0 + { C_1*X_1 }/{ X_4 } )
C: TestScore 2000
C: coeff vals: -5.359208
C: coeff vals: 0.726250
BEST PUSH/push(0,144): C_0*X_1*sin(X_2)
BEST PUSH/push(1,145): ( C_0 + C_1*X_1*X_3 )
BEST PUSH/push(2,146): ( C_0 + { C_1*X_1 }/{ X_4 } )


******************************** StepW: 49 **********************************
C: push/pop (49,0) C_0*X_2*sin(X_3)
C: TestScore 2000
C: coeff vals: -0.045273
C: push/pop (49,1) ( C_0 + C_1*cos(X_1) )
C: TestScore 2000
C: coeff vals: -5.473639
C: coeff vals: -0.737515
C: push/pop (49,2) ( C_0 + { C_1*X_1 }/{ X_4 } )
C: TestScore 2000
C: coeff vals: -5.359208
C: coeff vals: 0.726250
BEST PUSH/push(0,147): C_0*X_2*sin(X_3)
BEST PUSH/push(1,148): ( C_0 + C_1*cos(X_1) )
BEST PUSH/push(2,149): ( C_0 + { C_1*X_1 }/{ X_4 } )


******************************** StepW: 50 **********************************
C: push/pop (50,0) C_0*X_1*cos(X_4)
C: TestScore 2000
C: coeff vals: 0.032559
C: push/pop (50,1) ( C_0 + { cos(X_0) }/{ X_4 } )
C: TestScore 2000
C: coeff vals: -5.362416
C: push/pop (50,2) ( C_0 + { X_3 }/{ X_2*X_4 } )
C: TestScore 2000
C: coeff vals: -5.431252
BEST PUSH/push(0,150): C_0*X_1*cos(X_4)
BEST PUSH/push(1,151): ( C_0 + { cos(X_0) }/{ X_4 } )
BEST PUSH/push(2,152): ( C_0 + { X_3 }/{ X_2*X_4 } )


******************************** StepW: 51 **********************************
C: push/pop (51,0) C_0*X_1*X_2*X_3
C: TestScore 2000
C: coeff vals: 0.000036
C: push/pop (51,1) ( C_0 + { cos(X_0) }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.368489
C: coeff vals: 53080.623572
C: push/pop (51,2) ( C_0 + { X_1 }/{ X_2*X_4 } )
C: TestScore 2000
C: coeff vals: -5.354399
BEST PUSH/push(0,153): C_0*X_1*X_2*X_3
BEST PUSH/push(1,154): ( C_0 + { cos(X_0) }/{ C_1 } )
BEST PUSH/push(2,155): ( C_0 + { X_1 }/{ X_2*X_4 } )


******************************** StepW: 52 **********************************
C: push/pop (52,0) C_0*X_0*(X_2)^2
C: TestScore 2000
C: coeff vals: -0.000010
C: push/pop (52,1) ( C_0 + { cos(X_2) }/{ X_4 } )
C: TestScore 2000
C: coeff vals: -5.364808
C: push/pop (52,2) ( C_0 + { C_1*X_4 }/{ X_0 } )
C: TestScore 2000
C: coeff vals: -5.360470
C: coeff vals: -0.005971
BEST PUSH/push(0,156): C_0*X_0*(X_2)^2
BEST PUSH/push(1,157): ( C_0 + { cos(X_2) }/{ X_4 } )
BEST PUSH/push(2,158): ( C_0 + { C_1*X_4 }/{ X_0 } )


******************************** StepW: 53 **********************************
C: push/pop (53,0) C_0*X_4*sin(X_3)
C: TestScore 2000
C: coeff vals: -0.017564
C: push/pop (53,1) ( C_0 + { cos(X_2) }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.368491
C: coeff vals: 374893.191691
C: push/pop (53,2) ( C_0 + C_1*X_4*sin(X_2) )
C: TestScore 2000
C: coeff vals: -5.369168
C: coeff vals: 0.001409
BEST PUSH/push(0,159): C_0*X_4*sin(X_3)
BEST PUSH/push(1,160): ( C_0 + { cos(X_2) }/{ C_1 } )
BEST PUSH/push(2,161): ( C_0 + C_1*X_4*sin(X_2) )


******************************** StepW: 54 **********************************
C: push/pop (54,0) C_0*(sin(X_1))^3
C: TestScore 2000
C: coeff vals: -0.767738
C: push/pop (54,1) ( C_0 + { tan(X_0) }/{ X_4 } )
C: TestScore 2000
C: coeff vals: -5.736490
C: push/pop (54,2) ( C_0 + { X_1 }/{ C_1*X_0 } )
C: TestScore 2000
C: coeff vals: -5.366729
C: coeff vals: 600.762350
BEST PUSH/push(0,162): C_0*(sin(X_1))^3
BEST PUSH/push(1,163): ( C_0 + { tan(X_0) }/{ X_4 } )
BEST PUSH/push(2,164): ( C_0 + { X_1 }/{ C_1*X_0 } )


******************************** StepW: 55 **********************************
C: push/pop (55,0) C_0*(sin(X_1))^4
C: TestScore 2000
C: coeff vals: -8.433037
C: push/pop (55,1) ( C_0 + C_1*C_2*X_0 )
C: TestScore 2000
C: coeff vals: -5.358099
C: coeff vals: 0.125542
C: coeff vals: -0.106074
C: push/pop (55,2) ( C_0 + { X_1 }/{ C_1*X_0 } )
C: TestScore 2000
C: coeff vals: -5.366729
C: coeff vals: 600.762350
BEST PUSH/push(0,165): C_0*(sin(X_1))^4
BEST PUSH/push(1,166): ( C_0 + C_1*C_2*X_0 )
BEST PUSH/push(2,167): ( C_0 + { X_1 }/{ C_1*X_0 } )


******************************** StepW: 56 **********************************
C: push/pop (56,0) C_0*X_0*X_1*X_3
C: TestScore 2000
C: coeff vals: 0.000018
C: push/pop (56,1) ( C_0 + { cos(X_1) }/{ X_0 } )
C: TestScore 2000
C: coeff vals: -5.399427
C: push/pop (56,2) ( C_0 + { C_1*X_1 }/{ X_0 } )
C: TestScore 2000
C: coeff vals: -5.366729
C: coeff vals: 0.001665
BEST PUSH/push(0,168): C_0*X_0*X_1*X_3
BEST PUSH/push(1,169): ( C_0 + { cos(X_1) }/{ X_0 } )
BEST PUSH/push(2,170): ( C_0 + { C_1*X_1 }/{ X_0 } )


******************************** StepW: 57 **********************************
C: push/pop (57,0) C_0*X_1*tan(X_3)
C: TestScore 2000
C: coeff vals: -0.000299
C: push/pop (57,1) ( C_0 + { sin(X_2) }/{ X_4 } )
C: TestScore 2000
C: coeff vals: -5.362691
C: push/pop (57,2) ( C_0 + { C_1*X_1 }/{ X_0 } )
C: TestScore 2000
C: coeff vals: -5.366729
C: coeff vals: 0.001665
BEST PUSH/push(0,171): C_0*X_1*tan(X_3)
BEST PUSH/push(1,172): ( C_0 + { sin(X_2) }/{ X_4 } )
BEST PUSH/push(2,173): ( C_0 + { C_1*X_1 }/{ X_0 } )


******************************** StepW: 58 **********************************
C: push/pop (58,0) C_0*X_0*X_1*X_4
C: TestScore 2000
C: coeff vals: 0.000013
C: push/pop (58,1) ( C_0 + { sin(X_2) }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.368491
C: coeff vals: 220968.709615
C: push/pop (58,2) ( C_0 + { C_1*X_0 }/{ X_3 } )
C: TestScore 2000
C: coeff vals: -5.353636
C: coeff vals: -0.003398
BEST PUSH/push(0,174): C_0*X_0*X_1*X_4
BEST PUSH/push(1,175): ( C_0 + { sin(X_2) }/{ C_1 } )
BEST PUSH/push(2,176): ( C_0 + { C_1*X_0 }/{ X_3 } )


******************************** StepW: 59 **********************************
C: push/pop (59,0) ( C_0 + { C_1 }/{ X_3 } )
C: TestScore 2000
C: coeff vals: -5.349896
C: coeff vals: 0.055310
C: push/pop (59,1) ( C_0 + { X_3 }/{ C_1*X_2 } )
C: TestScore 2000
C: coeff vals: -5.368489
C: coeff vals: 440389.052432
C: push/pop (59,2) ( C_0 + { C_1*X_1 }/{ (X_4)^2 } )
C: TestScore 2000
C: coeff vals: -5.328440
C: coeff vals: 0.738086
BEST PUSH/push(0,177): ( C_0 + { C_1 }/{ X_3 } )
BEST PUSH/push(1,178): ( C_0 + { X_3 }/{ C_1*X_2 } )
BEST PUSH/push(2,179): ( C_0 + { C_1*X_1 }/{ (X_4)^2 } )


******************************** StepW: 60 **********************************
C: push/pop (60,0) C_0*X_4*sin(X_4)
C: TestScore 2000
C: coeff vals: 0.003525
C: push/pop (60,1) ( C_0 + { sin(X_1) }/{ X_0 } )
C: TestScore 2000
C: coeff vals: -5.327126
C: push/pop (60,2) ( C_0 + { X_1 }/{ C_1*X_2 } )
C: TestScore 2000
C: coeff vals: -5.368490
C: coeff vals: 699452.410078
BEST PUSH/push(0,180): C_0*X_4*sin(X_4)
BEST PUSH/push(1,181): ( C_0 + { sin(X_1) }/{ X_0 } )
BEST PUSH/push(2,182): ( C_0 + { X_1 }/{ C_1*X_2 } )


******************************** StepW: 61 **********************************
C: push/pop (61,0) C_0*X_1*sin(X_3)
C: TestScore 2000
C: coeff vals: -0.007893
C: push/pop (61,1) ( C_0 + { C_1 }/{ (X_0)^2 } )
C: TestScore 2000
C: coeff vals: -5.360982
C: coeff vals: -0.024918
C: push/pop (61,2) ( C_0 + { X_0 }/{ C_1*X_4 } )
C: TestScore 2000
C: coeff vals: -5.368491
C: coeff vals: 1056428.383452
BEST PUSH/push(0,183): C_0*X_1*sin(X_3)
BEST PUSH/push(1,184): ( C_0 + { C_1 }/{ (X_0)^2 } )
BEST PUSH/push(2,185): ( C_0 + { X_0 }/{ C_1*X_4 } )


******************************** StepW: 62 **********************************
C: push/pop (62,0) ( C_0 + X_0 )
C: TestScore 2000
C: coeff vals: -6.148882
C: push/pop (62,1) C_0*(sin(X_1))^5
C: TestScore 2000
C: coeff vals: -0.431035
C: push/pop (62,2) ( C_0 + sin(C_1*X_3) )
C: TestScore 2000
C: coeff vals: -5.312208
C: coeff vals: 1.022459
BEST PUSH/push(0,186): ( C_0 + X_0 )
BEST PUSH/push(1,187): C_0*(sin(X_1))^5
BEST PUSH/push(2,188): ( C_0 + sin(C_1*X_3) )


******************************** StepW: 63 **********************************
C: push/pop (63,0) ( C_0 + cos(X_0) )
C: TestScore 2000
C: coeff vals: -5.261898
C: push/pop (63,1) ( C_0 + C_1*X_0 )
C: TestScore 2000
C: coeff vals: -5.358099
C: coeff vals: -0.013317
C: push/pop (63,2) ( C_0 + { X_0 }/{ X_2*X_4 } )
C: TestScore 2000
C: coeff vals: -5.251297
BEST PUSH/push(0,189): ( C_0 + cos(X_0) )
BEST PUSH/push(1,190): ( C_0 + C_1*X_0 )
BEST PUSH/push(2,191): ( C_0 + { X_0 }/{ X_2*X_4 } )


******************************** StepW: 64 **********************************
C: push/pop (64,0) ( C_0 + sin(X_0) )
C: TestScore 2000
C: coeff vals: -5.302982
C: push/pop (64,1) ( C_0 + cos(C_1*X_3) )
C: TestScore 2000
C: coeff vals: -5.450337
C: coeff vals: 1.019690
C: push/pop (64,2) ( C_0 + { X_0 }/{ C_1*X_4 } )
C: TestScore 2000
C: coeff vals: -5.368491
C: coeff vals: 1056428.383452
BEST PUSH/push(0,192): ( C_0 + sin(X_0) )
BEST PUSH/push(1,193): ( C_0 + cos(C_1*X_3) )
BEST PUSH/push(2,194): ( C_0 + { X_0 }/{ C_1*X_4 } )


******************************** StepW: 65 **********************************
C: push/pop (65,0) ( C_0 + tan(X_0) )
C: TestScore 2000
C: coeff vals: -1.226912
C: push/pop (65,1) C_0*(sin(X_1))^6
C: TestScore 2000
C: coeff vals: -8.755431
C: push/pop (65,2) ( C_0 + cos(C_1*X_3) )
C: TestScore 2000
C: coeff vals: -5.450337
C: coeff vals: 1.019690
BEST PUSH/push(0,195): ( C_0 + tan(X_0) )
BEST PUSH/push(1,196): C_0*(sin(X_1))^6
BEST PUSH/push(2,197): ( C_0 + cos(C_1*X_3) )


******************************** StepW: 66 **********************************
C: push/pop (66,0) C_0*X_3*cos(X_1)
C: TestScore 2000
C: coeff vals: -0.022212
C: push/pop (66,1) ( C_0 + { C_1 }/{ cos(X_0) } )
C: TestScore 2000
C: coeff vals: -5.308909
C: coeff vals: -0.030239
C: push/pop (66,2) ( C_0 + { C_1 }/{ X_0*X_2 } )
C: TestScore 2000
C: coeff vals: -5.361606
C: coeff vals: -0.577430
BEST PUSH/push(0,198): C_0*X_3*cos(X_1)
BEST PUSH/push(1,199): ( C_0 + { C_1 }/{ cos(X_0) } )
BEST PUSH/push(2,200): ( C_0 + { C_1 }/{ X_0*X_2 } )


******************************** StepW: 67 **********************************
C: push/pop (67,0) C_0*X_3*(X_4)^2
C: TestScore 2000
C: coeff vals: 0.000015
C: push/pop (67,1) ( C_0 + sin(C_1*X_1) )
C: TestScore 2000
C: coeff vals: -5.375022
C: coeff vals: 0.904443
C: push/pop (67,2) ( C_0 + C_1*X_4*sin(X_4) )
C: TestScore 2000
C: coeff vals: -5.368727
C: coeff vals: -0.000637
BEST PUSH/push(0,201): C_0*X_3*(X_4)^2
BEST PUSH/push(1,202): ( C_0 + sin(C_1*X_1) )
BEST PUSH/push(2,203): ( C_0 + C_1*X_4*sin(X_4) )


******************************** StepW: 68 **********************************
C: push/pop (68,0) C_0*X_3*sin(X_1)
C: TestScore 2000
C: coeff vals: 0.006494
C: push/pop (68,1) ( C_0 + C_1*(X_2)^2 )
C: TestScore 2000
C: coeff vals: -6.130393
C: coeff vals: 0.000863
C: push/pop (68,2) ( C_0 + C_1*X_4*sin(X_3) )
C: TestScore 2000
C: coeff vals: -5.367106
C: coeff vals: -0.000974
BEST PUSH/push(0,204): C_0*X_3*sin(X_1)
BEST PUSH/push(1,205): ( C_0 + C_1*(X_2)^2 )
BEST PUSH/push(2,206): ( C_0 + C_1*X_4*sin(X_3) )


******************************** StepW: 69 **********************************
C: push/pop (69,0) C_0*(tan(X_3))^2
C: TestScore 2000
C: coeff vals: -0.000015
C: push/pop (69,1) ( C_0 + cos(C_1*X_1) )
C: TestScore 2000
C: coeff vals: -5.346078
C: coeff vals: 1.114779
C: push/pop (69,2) ( C_0 + C_1*X_2*tan(X_3) )
C: TestScore 2000
C: coeff vals: -5.364407
C: coeff vals: -0.000036
BEST PUSH/push(0,207): C_0*(tan(X_3))^2
BEST PUSH/push(1,208): ( C_0 + cos(C_1*X_1) )
BEST PUSH/push(2,209): ( C_0 + C_1*X_2*tan(X_3) )


******************************** StepW: 70 **********************************
C: push/pop (70,0) C_0*X_3*(X_1)^2
C: TestScore 2000
C: coeff vals: 0.000012
C: push/pop (70,1) ( C_0 + cos(C_1*X_1) )
C: TestScore 2000
C: coeff vals: -5.346078
C: coeff vals: 1.114779
C: push/pop (70,2) ( C_0 + C_1*X_4*tan(X_4) )
C: TestScore 2000
C: coeff vals: -5.369231
C: coeff vals: 0.000029
BEST PUSH/push(0,210): C_0*X_3*(X_1)^2
BEST PUSH/push(1,211): ( C_0 + cos(C_1*X_1) )
BEST PUSH/push(2,212): ( C_0 + C_1*X_4*tan(X_4) )


******************************** StepW: 71 **********************************
C: push/pop (71,0) C_0*X_4*tan(X_3)
C: TestScore 2000
C: coeff vals: -0.000205
C: push/pop (71,1) ( C_0 + sin(C_1*X_0) )
C: TestScore 2000
C: coeff vals: -5.310221
C: coeff vals: 1.011732
C: push/pop (71,2) ( C_0 + C_1*X_1*tan(X_3) )
C: TestScore 2000
C: coeff vals: -5.364512
C: coeff vals: -0.000037
BEST PUSH/push(0,213): C_0*X_4*tan(X_3)
BEST PUSH/push(1,214): ( C_0 + sin(C_1*X_0) )
BEST PUSH/push(2,215): ( C_0 + C_1*X_1*tan(X_3) )


******************************** StepW: 72 **********************************
C: push/pop (72,0) C_0*(sin(X_2))^3
C: TestScore 2000
C: coeff vals: -0.119379
C: push/pop (72,1) ( C_0 + { C_1 }/{ sin(X_1) } )
C: TestScore 2000
C: coeff vals: -5.355307
C: coeff vals: -0.028615
C: push/pop (72,2) ( C_0 + C_1*X_4*sin(X_1) )
C: TestScore 2000
C: coeff vals: -5.369177
C: coeff vals: -0.001509
BEST PUSH/push(0,216): C_0*(sin(X_2))^3
BEST PUSH/push(1,217): ( C_0 + { C_1 }/{ sin(X_1) } )
BEST PUSH/push(2,218): ( C_0 + C_1*X_4*sin(X_1) )


******************************** StepW: 73 **********************************
C: push/pop (73,0) C_0*(sin(X_2))^4
C: TestScore 2000
C: coeff vals: -8.319601
C: push/pop (73,1) ( C_0 + C_1*(X_0)^3 )
C: TestScore 2000
C: coeff vals: -5.316529
C: coeff vals: -0.000016
C: push/pop (73,2) ( C_0 + C_1*X_1*sin(X_3) )
C: TestScore 2000
C: coeff vals: -5.372224
C: coeff vals: 0.004526
BEST PUSH/push(0,219): C_0*(sin(X_2))^4
BEST PUSH/push(1,220): ( C_0 + C_1*(X_0)^3 )
BEST PUSH/push(2,221): ( C_0 + C_1*X_1*sin(X_3) )


******************************** StepW: 74 **********************************
C: push/pop (74,0) C_0*X_4*sin(X_0)
C: TestScore 2000
C: coeff vals: -0.005678
C: push/pop (74,1) ( C_0 + { sin(X_3) }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.267722
C: coeff vals: 0.941710
C: push/pop (74,2) ( C_0 + C_1*X_4*cos(X_3) )
C: TestScore 2000
C: coeff vals: -5.365474
C: coeff vals: -0.001252
BEST PUSH/push(0,222): C_0*X_4*sin(X_0)
BEST PUSH/push(1,223): ( C_0 + { sin(X_3) }/{ C_1 } )
BEST PUSH/push(2,224): ( C_0 + C_1*X_4*cos(X_3) )


******************************** StepW: 75 **********************************
C: push/pop (75,0) C_0*(sin(X_1))^7
C: TestScore 2000
C: coeff vals: -0.093150
C: push/pop (75,1) ( C_0 + { sin(X_3) }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.267722
C: coeff vals: 0.941710
C: push/pop (75,2) ( C_0 + C_1*X_4*sin(X_0) )
C: TestScore 2000
C: coeff vals: -5.367965
C: coeff vals: -0.001707
BEST PUSH/push(0,225): C_0*(sin(X_1))^7
BEST PUSH/push(1,226): ( C_0 + { sin(X_3) }/{ C_1 } )
BEST PUSH/push(2,227): ( C_0 + C_1*X_4*sin(X_0) )


******************************** StepW: 76 **********************************
C: push/pop (76,0) C_0*(sin(X_1))^8
C: TestScore 2000
C: coeff vals: -9.004521
C: push/pop (76,1) ( C_0 + C_1*sin(X_3) )
C: TestScore 2000
C: coeff vals: -5.267722
C: coeff vals: 1.061898
C: push/pop (76,2) ( C_0*C_1 + C_2*X_3 )
C: TestScore 2000
C: coeff vals: -3.203471
C: coeff vals: 1.676966
C: coeff vals: -0.005832
BEST PUSH/push(0,228): C_0*(sin(X_1))^8
BEST PUSH/push(1,229): ( C_0 + C_1*sin(X_3) )
BEST PUSH/push(2,230): ( C_0*C_1 + C_2*X_3 )


******************************** StepW: 77 **********************************
C: push/pop (77,0) C_0*(sin(X_2))^5
C: TestScore 2000
C: coeff vals: -0.125834
C: push/pop (77,1) ( C_0 + cos(C_1*X_0) )
C: TestScore 2000
C: coeff vals: -5.258798
C: coeff vals: 1.036999
C: push/pop (77,2) ( C_0 + { C_1 }/{ X_1*X_3 } )
C: TestScore 2000
C: coeff vals: -5.362685
C: coeff vals: 0.373075
BEST PUSH/push(0,231): C_0*(sin(X_2))^5
BEST PUSH/push(1,232): ( C_0 + cos(C_1*X_0) )
BEST PUSH/push(2,233): ( C_0 + { C_1 }/{ X_1*X_3 } )


******************************** StepW: 78 **********************************
C: push/pop (78,0) C_0*(sin(X_2))^6
C: TestScore 2000
C: coeff vals: -8.573245
C: push/pop (78,1) ( C_0 + cos(C_1*X_0) )
C: TestScore 2000
C: coeff vals: -5.258798
C: coeff vals: 1.036999
C: push/pop (78,2) ( C_0 + { C_1 }/{ cos(exp(X_3)) } )
C: TestScore 2000
C: coeff vals: -5.364933
C: coeff vals: -0.003398
BEST PUSH/push(0,234): C_0*(sin(X_2))^6
BEST PUSH/push(1,235): ( C_0 + cos(C_1*X_0) )
BEST PUSH/push(2,236): ( C_0 + { C_1 }/{ cos(exp(X_3)) } )


******************************** StepW: 79 **********************************
C: push/pop (79,0) C_0*(sin(X_2))^7
C: TestScore 2000
C: coeff vals: -0.132519
C: push/pop (79,1) ( C_0 + C_1*X_0*X_3 )
C: TestScore 2000
C: coeff vals: -5.409726
C: coeff vals: -0.000879
C: push/pop (79,2) ( C_0*C_1 + C_2*X_4 )
C: TestScore 2000
C: coeff vals: -3.061292
C: coeff vals: 1.752662
C: coeff vals: -0.002580
BEST PUSH/push(0,237): C_0*(sin(X_2))^7
BEST PUSH/push(1,238): ( C_0 + C_1*X_0*X_3 )
BEST PUSH/push(2,239): ( C_0*C_1 + C_2*X_4 )


******************************** StepW: 80 **********************************
C: push/pop (80,0) C_0*(sin(X_2))^8
C: TestScore 2000
C: coeff vals: -8.675399
C: push/pop (80,1) ( C_0 + { tan(X_0) }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.225643
C: coeff vals: 28.992856
C: push/pop (80,2) ( C_0 + C_1*X_2*sin(X_1) )
C: TestScore 2000
C: coeff vals: -5.367371
C: coeff vals: 0.007152
BEST PUSH/push(0,240): C_0*(sin(X_2))^8
BEST PUSH/push(1,241): ( C_0 + { tan(X_0) }/{ C_1 } )
BEST PUSH/push(2,242): ( C_0 + C_1*X_2*sin(X_1) )


******************************** StepW: 81 **********************************
C: push/pop (81,0) C_0*(sin(X_2))^9
C: TestScore 2000
C: coeff vals: -0.135479
C: push/pop (81,1) ( C_0 + { tan(X_0) }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.225643
C: coeff vals: 28.992856
C: push/pop (81,2) ( C_0 + C_1*X_4*cos(X_0) )
C: TestScore 2000
C: coeff vals: -5.365597
C: coeff vals: 0.002292
BEST PUSH/push(0,243): C_0*(sin(X_2))^9
BEST PUSH/push(1,244): ( C_0 + { tan(X_0) }/{ C_1 } )
BEST PUSH/push(2,245): ( C_0 + C_1*X_4*cos(X_0) )


******************************** StepW: 82 **********************************
C: push/pop (82,0) C_0*(sin(X_2))^10
C: TestScore 2000
C: coeff vals: -8.673422
C: push/pop (82,1) ( C_0 + C_1*tan(X_0) )
C: TestScore 2000
C: coeff vals: -5.225643
C: coeff vals: 0.034491
C: push/pop (82,2) ( C_0 + { C_1 }/{ X_3*X_4 } )
C: TestScore 2000
C: coeff vals: -5.355443
C: coeff vals: -0.247908
BEST PUSH/push(0,246): C_0*(sin(X_2))^10
BEST PUSH/push(1,247): ( C_0 + C_1*tan(X_0) )
BEST PUSH/push(2,248): ( C_0 + { C_1 }/{ X_3*X_4 } )


******************************** StepW: 83 **********************************
C: push/pop (83,0) C_0*(sin(X_2))^11
C: TestScore 2000
C: coeff vals: -0.131142
C: push/pop (83,1) ( C_0 + C_1*C_2*X_2 )
C: TestScore 2000
C: coeff vals: -5.290226
C: coeff vals: 0.163393
C: coeff vals: 0.163393
C: push/pop (83,2) ( C_0 + C_1*X_4*cos(X_1) )
C: TestScore 2000
C: coeff vals: -5.352129
C: coeff vals: 0.004787
BEST PUSH/push(0,249): C_0*(sin(X_2))^11
BEST PUSH/push(1,250): ( C_0 + C_1*C_2*X_2 )
BEST PUSH/push(2,251): ( C_0 + C_1*X_4*cos(X_1) )


******************************** StepW: 84 **********************************
C: push/pop (84,0) C_0*(sin(X_2))^12
C: TestScore 2000
C: coeff vals: -8.614845
C: push/pop (84,1) ( C_0 + C_1*tan(X_4) )
C: TestScore 2000
C: coeff vals: -5.390101
C: coeff vals: 0.050308
C: push/pop (84,2) ( C_0 + C_1*X_3*tan(X_3) )
C: TestScore 2000
C: coeff vals: -5.388832
C: coeff vals: -0.000339
BEST PUSH/push(0,252): C_0*(sin(X_2))^12
BEST PUSH/push(1,253): ( C_0 + C_1*tan(X_4) )
BEST PUSH/push(2,254): ( C_0 + C_1*X_3*tan(X_3) )


******************************** StepW: 85 **********************************
C: push/pop (85,0) C_0*X_4*tan(X_2)
C: TestScore 2000
C: coeff vals: -0.000032
C: push/pop (85,1) ( C_0 + C_1*sin(X_1) )
C: TestScore 2000
C: coeff vals: -5.408615
C: coeff vals: -1.338340
C: push/pop (85,2) ( C_0 + C_1*X_1*cos(X_4) )
C: TestScore 2000
C: coeff vals: -5.365750
C: coeff vals: 0.001222
BEST PUSH/push(0,255): C_0*X_4*tan(X_2)
BEST PUSH/push(1,256): ( C_0 + C_1*sin(X_1) )
BEST PUSH/push(2,257): ( C_0 + C_1*X_1*cos(X_4) )


******************************** StepW: 86 **********************************
C: push/pop (86,0) C_0*X_2*cos(X_3)
C: TestScore 2000
C: coeff vals: -0.002650
C: push/pop (86,1) ( C_0 + C_1*sin(X_0) )
C: TestScore 2000
C: coeff vals: -5.283105
C: coeff vals: 1.303436
C: push/pop (86,2) ( C_0 + C_1*X_0*tan(X_3) )
C: TestScore 2000
C: coeff vals: -5.359847
C: coeff vals: 0.000118
BEST PUSH/push(0,258): C_0*X_2*cos(X_3)
BEST PUSH/push(1,259): ( C_0 + C_1*sin(X_0) )
BEST PUSH/push(2,260): ( C_0 + C_1*X_0*tan(X_3) )


******************************** StepW: 87 **********************************
C: push/pop (87,0) C_0*X_0*sin(X_3)
C: TestScore 2000
C: coeff vals: 0.000229
C: push/pop (87,1) ( C_0 + { sin(X_0) }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.283105
C: coeff vals: 0.767203
C: push/pop (87,2) ( C_0 + { C_1*X_2 }/{ X_3 } )
C: TestScore 2000
C: coeff vals: -5.353938
C: coeff vals: -0.002455
BEST PUSH/push(0,261): C_0*X_0*sin(X_3)
BEST PUSH/push(1,262): ( C_0 + { sin(X_0) }/{ C_1 } )
BEST PUSH/push(2,263): ( C_0 + { C_1*X_2 }/{ X_3 } )


******************************** StepW: 88 **********************************
C: push/pop (88,0) C_0*X_3*cos(X_2)
C: TestScore 2000
C: coeff vals: -0.016707
C: push/pop (88,1) ( C_0 + { sin(X_0) }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.283105
C: coeff vals: 0.767203
C: push/pop (88,2) ( C_0 + C_1*X_0*cos(X_4) )
C: TestScore 2000
C: coeff vals: -5.347243
C: coeff vals: 0.008345
BEST PUSH/push(0,264): C_0*X_3*cos(X_2)
BEST PUSH/push(1,265): ( C_0 + { sin(X_0) }/{ C_1 } )
BEST PUSH/push(2,266): ( C_0 + C_1*X_0*cos(X_4) )


******************************** StepW: 89 **********************************
C: push/pop (89,0) C_0*X_1*cos(X_0)
C: TestScore 2000
C: coeff vals: -0.003051
C: push/pop (89,1) ( C_0 + { C_1 }/{ cos(X_2) } )
C: TestScore 2000
C: coeff vals: -5.370657
C: coeff vals: 0.030330
C: push/pop (89,2) ( C_0 + { C_1 }/{ C_2*X_3 } )
C: TestScore 2000
C: coeff vals: -5.349896
C: coeff vals: 0.089442
C: coeff vals: 1.617101
BEST PUSH/push(0,267): C_0*X_1*cos(X_0)
BEST PUSH/push(1,268): ( C_0 + { C_1 }/{ cos(X_2) } )
BEST PUSH/push(2,269): ( C_0 + { C_1 }/{ C_2*X_3 } )


******************************** StepW: 90 **********************************
C: push/pop (90,0) C_0*X_4*cos(X_0)
C: TestScore 2000
C: coeff vals: 0.015850
C: push/pop (90,1) ( C_0 + C_1*cos(X_2) )
C: TestScore 2000
C: coeff vals: -5.314706
C: coeff vals: -1.410505
C: push/pop (90,2) ( C_0 + { C_1*X_1 }/{ X_3 } )
C: TestScore 2000
C: coeff vals: -5.353206
C: coeff vals: 0.002821
BEST PUSH/push(0,270): C_0*X_4*cos(X_0)
BEST PUSH/push(1,271): ( C_0 + C_1*cos(X_2) )
BEST PUSH/push(2,272): ( C_0 + { C_1*X_1 }/{ X_3 } )


******************************** StepW: 91 **********************************
C: push/pop (91,0) C_0*X_4*sin(X_1)
C: TestScore 2000
C: coeff vals: 0.003886
C: push/pop (91,1) ( C_0 + C_1*tan(X_2) )
C: TestScore 2000
C: coeff vals: -5.376871
C: coeff vals: 0.034374
C: push/pop (91,2) ( C_0 + C_1*X_1*sin(X_2) )
C: TestScore 2000
C: coeff vals: -5.381204
C: coeff vals: 0.007543
BEST PUSH/push(0,273): C_0*X_4*sin(X_1)
BEST PUSH/push(1,274): ( C_0 + C_1*tan(X_2) )
BEST PUSH/push(2,275): ( C_0 + C_1*X_1*sin(X_2) )


******************************** StepW: 92 **********************************
C: push/pop (92,0) C_0*X_3*tan(X_3)
C: TestScore 2000
C: coeff vals: 0.000256
C: push/pop (92,1) ( C_0 + { tan(X_2) }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.376871
C: coeff vals: 29.092005
C: push/pop (92,2) ( C_0 + C_1*X_3*sin(X_3) )
C: TestScore 2000
C: coeff vals: -5.394803
C: coeff vals: -0.011662
BEST PUSH/push(0,276): C_0*X_3*tan(X_3)
BEST PUSH/push(1,277): ( C_0 + { tan(X_2) }/{ C_1 } )
BEST PUSH/push(2,278): ( C_0 + C_1*X_3*sin(X_3) )


******************************** StepW: 93 **********************************
C: push/pop (93,0) C_0*X_2*sin(X_1)
C: TestScore 2000
C: coeff vals: 0.009006
C: push/pop (93,1) ( C_0 + C_1*X_2*X_3 )
C: TestScore 2000
C: coeff vals: -5.415140
C: coeff vals: 0.001431
C: push/pop (93,2) ( C_0 + C_1*X_2*cos(X_3) )
C: TestScore 2000
C: coeff vals: -5.378278
C: coeff vals: 0.009737
BEST PUSH/push(0,279): C_0*X_2*sin(X_1)
BEST PUSH/push(1,280): ( C_0 + C_1*X_2*X_3 )
BEST PUSH/push(2,281): ( C_0 + C_1*X_2*cos(X_3) )


******************************** StepW: 94 **********************************
C: push/pop (94,0) C_0*X_4*sin(X_2)
C: TestScore 2000
C: coeff vals: -0.004783
C: push/pop (94,1) ( C_0 + C_1*sin(X_4) )
C: TestScore 2000
C: coeff vals: -5.399606
C: coeff vals: 1.535578
C: push/pop (94,2) ( C_0 + C_1*X_4*tan(X_0) )
C: TestScore 2000
C: coeff vals: -5.357531
C: coeff vals: -0.000171
BEST PUSH/push(0,282): C_0*X_4*sin(X_2)
BEST PUSH/push(1,283): ( C_0 + C_1*sin(X_4) )
BEST PUSH/push(2,284): ( C_0 + C_1*X_4*tan(X_0) )


******************************** StepW: 95 **********************************
C: push/pop (95,0) C_0*X_1*sin(X_4)
C: TestScore 2000
C: coeff vals: 0.002000
C: push/pop (95,1) ( C_0 + C_1*(X_2)^3 )
C: TestScore 2000
C: coeff vals: -5.314477
C: coeff vals: 0.000024
C: push/pop (95,2) ( C_0 + C_1*X_3*sin(X_0) )
C: TestScore 2000
C: coeff vals: -5.381537
C: coeff vals: 0.023685
BEST PUSH/push(0,285): C_0*X_1*sin(X_4)
BEST PUSH/push(1,286): ( C_0 + C_1*(X_2)^3 )
BEST PUSH/push(2,287): ( C_0 + C_1*X_3*sin(X_0) )


******************************** StepW: 96 **********************************
C: push/pop (96,0) C_0*X_2*sin(X_2)
C: TestScore 2000
C: coeff vals: 0.005980
C: push/pop (96,1) ( C_0 + { C_1 }/{ cos(X_4) } )
C: TestScore 2000
C: coeff vals: -5.375255
C: coeff vals: -0.081459
C: push/pop (96,2) ( C_0 + { C_1*X_4 }/{ X_1 } )
C: TestScore 2000
C: coeff vals: -5.366422
C: coeff vals: -0.005384
BEST PUSH/push(0,288): C_0*X_2*sin(X_2)
BEST PUSH/push(1,289): ( C_0 + { C_1 }/{ cos(X_4) } )
BEST PUSH/push(2,290): ( C_0 + { C_1*X_4 }/{ X_1 } )


******************************** StepW: 97 **********************************
C: push/pop (97,0) ( C_0 + { C_1 }/{ X_1 } )
C: TestScore 2000
C: coeff vals: -5.481056
C: coeff vals: -2.922396
C: push/pop (97,1) ( C_0 + C_1*X_1*X_2 )
C: TestScore 2000
C: coeff vals: -5.240254
C: coeff vals: 0.001844
C: push/pop (97,2) ( C_0 + { C_1 }/{ cos(exp(X_4)) } )
C: TestScore 2000
C: coeff vals: -5.346360
C: coeff vals: -0.024614
BEST PUSH/push(0,291): ( C_0 + { C_1 }/{ X_1 } )
BEST PUSH/push(1,292): ( C_0 + C_1*X_1*X_2 )
BEST PUSH/push(2,293): ( C_0 + { C_1 }/{ cos(exp(X_4)) } )


******************************** StepW: 98 **********************************
C: push/pop (98,0) C_0*(sin(X_1))^9
C: TestScore 2000
C: coeff vals: 0.225842
C: push/pop (98,1) ( C_0 + { tan(X_1) }/{ X_0 } )
C: TestScore 2000
C: coeff vals: -5.452739
C: push/pop (98,2) ( C_0 + { C_1*X_2 }/{ X_0 } )
C: TestScore 2000
C: coeff vals: -5.367705
C: coeff vals: 0.002329
BEST PUSH/push(0,294): C_0*(sin(X_1))^9
BEST PUSH/push(1,295): ( C_0 + { tan(X_1) }/{ X_0 } )
BEST PUSH/push(2,296): ( C_0 + { C_1*X_2 }/{ X_0 } )


******************************** StepW: 99 **********************************
C: push/pop (99,0) C_0*(sin(X_1))^10
C: TestScore 2000
C: coeff vals: -9.228050
C: push/pop (99,1) ( C_0 + { tan(X_3) }/{ X_4 } )
C: TestScore 2000
C: coeff vals: -5.293104
C: push/pop (99,2) ( C_0 + { C_1 }/{ cos(exp(X_0)) } )
C: TestScore 2000
C: coeff vals: -5.382548
C: coeff vals: 0.007450
BEST PUSH/push(0,297): C_0*(sin(X_1))^10
BEST PUSH/push(1,298): ( C_0 + { tan(X_3) }/{ X_4 } )
BEST PUSH/push(2,299): ( C_0 + { C_1 }/{ cos(exp(X_0)) } )


******************************** StepW: 100 **********************************
C: push/pop (100,0) C_0*X_2*tan(X_3)
C: TestScore 2000
C: coeff vals: -0.000254
C: push/pop (100,1) ( C_0 + { tan(X_3) }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.369868
C: coeff vals: 2491.032942
C: push/pop (100,2) ( C_0 + { C_1*X_1 }/{ (X_4)^2 } )
C: TestScore 2000
C: coeff vals: -5.328440
C: coeff vals: 0.738086
BEST PUSH/push(0,300): C_0*X_2*tan(X_3)
BEST PUSH/push(1,301): ( C_0 + { tan(X_3) }/{ C_1 } )
BEST PUSH/push(2,302): ( C_0 + { C_1*X_1 }/{ (X_4)^2 } )


******************************** StepW: 101 **********************************
C: push/pop (101,0) C_0*X_1*sin(X_0)
C: TestScore 2000
C: coeff vals: -0.020074
C: push/pop (101,1) ( C_0 + C_1*X_0*X_2 )
C: TestScore 2000
C: coeff vals: -5.470410
C: coeff vals: -0.002274
C: push/pop (101,2) ( C_0 + C_1*X_2*cos(X_1) )
C: TestScore 2000
C: coeff vals: -5.366045
C: coeff vals: -0.006382
BEST PUSH/push(0,303): C_0*X_1*sin(X_0)
BEST PUSH/push(1,304): ( C_0 + C_1*X_0*X_2 )
BEST PUSH/push(2,305): ( C_0 + C_1*X_2*cos(X_1) )


******************************** StepW: 102 **********************************
C: push/pop (102,0) C_0*X_2*tan(X_4)
C: TestScore 2000
C: coeff vals: -0.000068
C: push/pop (102,1) ( C_0 + { C_1 }/{ (X_2)^2 } )
C: TestScore 2000
C: coeff vals: -5.313425
C: coeff vals: -0.331805
C: push/pop (102,2) ( C_0 + C_1*X_1*cos(X_0) )
C: TestScore 2000
C: coeff vals: -5.373806
C: coeff vals: 0.007034
BEST PUSH/push(0,306): C_0*X_2*tan(X_4)
BEST PUSH/push(1,307): ( C_0 + { C_1 }/{ (X_2)^2 } )
BEST PUSH/push(2,308): ( C_0 + C_1*X_1*cos(X_0) )


******************************** StepW: 103 **********************************
C: push/pop (103,0) C_0*(cos(X_4))^3
C: TestScore 2000
C: coeff vals: -0.493273
C: push/pop (103,1) ( C_0 + { C_1 }/{ (X_1)^2 } )
C: TestScore 2000
C: coeff vals: -5.577385
C: coeff vals: 0.504056
C: push/pop (103,2) ( C_0 + C_1*X_4*cos(X_2) )
C: TestScore 2000
C: coeff vals: -5.364687
C: coeff vals: -0.007611
BEST PUSH/push(0,309): C_0*(cos(X_4))^3
BEST PUSH/push(1,310): ( C_0 + { C_1 }/{ (X_1)^2 } )
BEST PUSH/push(2,311): ( C_0 + C_1*X_4*cos(X_2) )


******************************** StepW: 104 **********************************
C: push/pop (104,0) C_0*(cos(X_4))^4
C: TestScore 2000
C: coeff vals: -5.237696
C: push/pop (104,1) ( C_0 + { C_1 }/{ sin(X_0) } )
C: TestScore 2000
C: coeff vals: -5.362720
C: coeff vals: -0.065096
C: push/pop (104,2) ( C_0 + { C_1 }/{ X_2*X_3 } )
C: TestScore 2000
C: coeff vals: -5.339457
C: coeff vals: -1.287874
BEST PUSH/push(0,312): C_0*(cos(X_4))^4
BEST PUSH/push(1,313): ( C_0 + { C_1 }/{ sin(X_0) } )
BEST PUSH/push(2,314): ( C_0 + { C_1 }/{ X_2*X_3 } )


******************************** StepW: 105 **********************************
C: push/pop (105,0) C_0*X_3*sin(X_3)
C: TestScore 2000
C: coeff vals: 0.019002
C: push/pop (105,1) ( C_0 + { tan(X_1) }/{ X_4 } )
C: TestScore 2000
C: coeff vals: -5.456064
C: push/pop (105,2) ( C_0 + C_1*X_4*tan(X_2) )
C: TestScore 2000
C: coeff vals: -5.368914
C: coeff vals: -0.000353
BEST PUSH/push(0,315): C_0*X_3*sin(X_3)
BEST PUSH/push(1,316): ( C_0 + { tan(X_1) }/{ X_4 } )
BEST PUSH/push(2,317): ( C_0 + C_1*X_4*tan(X_2) )


******************************** StepW: 106 **********************************
C: push/pop (106,0) C_0*X_0*cos(X_3)
C: TestScore 2000
C: coeff vals: 0.013720
C: push/pop (106,1) ( C_0 + { tan(X_2) }/{ X_4 } )
C: TestScore 2000
C: coeff vals: -5.269881
C: push/pop (106,2) ( C_0 + C_1*X_3*cos(X_4) )
C: TestScore 2000
C: coeff vals: -5.368572
C: coeff vals: -0.008197
BEST PUSH/push(0,318): C_0*X_0*cos(X_3)
BEST PUSH/push(1,319): ( C_0 + { tan(X_2) }/{ X_4 } )
BEST PUSH/push(2,320): ( C_0 + C_1*X_3*cos(X_4) )


******************************** StepW: 107 **********************************
C: push/pop (107,0) C_0*X_2*cos(X_1)
C: TestScore 2000
C: coeff vals: -0.011173
C: push/pop (107,1) ( C_0 + { tan(X_2) }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.376871
C: coeff vals: 29.092005
C: push/pop (107,2) ( C_0 + C_1*X_2*sin(X_4) )
C: TestScore 2000
C: coeff vals: -5.348603
C: coeff vals: 0.015409
BEST PUSH/push(0,321): C_0*X_2*cos(X_1)
BEST PUSH/push(1,322): ( C_0 + { tan(X_2) }/{ C_1 } )
BEST PUSH/push(2,323): ( C_0 + C_1*X_2*sin(X_4) )


******************************** StepW: 108 **********************************
C: push/pop (108,0) C_0*X_4*cos(X_4)
C: TestScore 2000
C: coeff vals: -0.003864
C: push/pop (108,1) C_0*(C_1*X_4)^2
C: TestScore 2000
C: coeff vals: -0.003461
C: coeff vals: 1.000000
C: push/pop (108,2) ( C_0 + C_1*X_1*sin(X_0) )
C: TestScore 2000
C: coeff vals: -5.362211
C: coeff vals: -0.012095
BEST PUSH/push(0,324): C_0*X_4*cos(X_4)
BEST PUSH/push(1,325): C_0*(C_1*X_4)^2
BEST PUSH/push(2,326): ( C_0 + C_1*X_1*sin(X_0) )


******************************** StepW: 109 **********************************
C: push/pop (109,0) C_0*X_2*sin(X_0)
C: TestScore 2000
C: coeff vals: -0.009864
C: push/pop (109,1) ( C_0 + { tan(X_1) }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.327122
C: coeff vals: 2.819946
C: push/pop (109,2) ( C_0 + C_1*X_4*tan(X_1) )
C: TestScore 2000
C: coeff vals: -5.374331
C: coeff vals: -0.000621
BEST PUSH/push(0,327): C_0*X_2*sin(X_0)
BEST PUSH/push(1,328): ( C_0 + { tan(X_1) }/{ C_1 } )
BEST PUSH/push(2,329): ( C_0 + C_1*X_4*tan(X_1) )


******************************** StepW: 110 **********************************
C: push/pop (110,0) C_0*(sin(X_1))^11
C: TestScore 2000
C: coeff vals: 0.522591
C: push/pop (110,1) ( C_0 + { tan(X_1) }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.327122
C: coeff vals: 2.819946
C: push/pop (110,2) ( C_0 + C_1*(sin(X_2))^3 )
C: TestScore 2000
C: coeff vals: -5.383075
C: coeff vals: -0.584549
BEST PUSH/push(0,330): C_0*(sin(X_1))^11
BEST PUSH/push(1,331): ( C_0 + { tan(X_1) }/{ C_1 } )
BEST PUSH/push(2,332): ( C_0 + C_1*(sin(X_2))^3 )


******************************** StepW: 111 **********************************
C: push/pop (111,0) C_0*(sin(X_1))^12
C: TestScore 2000
C: coeff vals: -9.444756
C: push/pop (111,1) ( C_0 + C_1*tan(X_1) )
C: TestScore 2000
C: coeff vals: -5.327122
C: coeff vals: 0.354617
C: push/pop (111,2) ( C_0 + C_1*X_4*cos(X_4) )
C: TestScore 2000
C: coeff vals: -5.379932
C: coeff vals: 0.010081
BEST PUSH/push(0,333): C_0*(sin(X_1))^12
BEST PUSH/push(1,334): ( C_0 + C_1*tan(X_1) )
BEST PUSH/push(2,335): ( C_0 + C_1*X_4*cos(X_4) )


******************************** StepW: 112 **********************************
C: push/pop (112,0) C_0*X_0*(X_1)^2
C: TestScore 2000
C: coeff vals: 0.000010
C: push/pop (112,1) ( C_0 + { C_1 }/{ cos(X_1) } )
C: TestScore 2000
C: coeff vals: -5.425207
C: coeff vals: -0.480834
C: push/pop (112,2) ( C_0*C_1 + C_2*X_1 )
C: TestScore 2000
C: coeff vals: -3.270043
C: coeff vals: 1.642869
C: coeff vals: -0.003740
BEST PUSH/push(0,336): C_0*X_0*(X_1)^2
BEST PUSH/push(1,337): ( C_0 + { C_1 }/{ cos(X_1) } )
BEST PUSH/push(2,338): ( C_0*C_1 + C_2*X_1 )


******************************** StepW: 113 **********************************
C: push/pop (113,0) C_0*(cos(X_3))^3
C: TestScore 2000
C: coeff vals: -0.801577
C: push/pop (113,1) C_0*(C_1*X_1)^2
C: TestScore 2000
C: coeff vals: -0.003602
C: coeff vals: 1.000000
C: push/pop (113,2) ( C_0 + { C_1 }/{ X_0*X_3 } )
C: TestScore 2000
C: coeff vals: -5.351315
C: coeff vals: -0.789399
BEST PUSH/push(0,339): C_0*(cos(X_3))^3
BEST PUSH/push(1,340): C_0*(C_1*X_1)^2
BEST PUSH/push(2,341): ( C_0 + { C_1 }/{ X_0*X_3 } )


******************************** StepW: 114 **********************************
C: push/pop (114,0) C_0*(cos(X_3))^4
C: TestScore 2000
C: coeff vals: -6.969326
C: push/pop (114,1) C_0*(C_1*X_2)^2
C: TestScore 2000
C: coeff vals: -0.003175
C: coeff vals: 1.000000
C: push/pop (114,2) ( C_0 + C_1*(cos(X_0))^3 )
C: TestScore 2000
C: coeff vals: -5.313637
C: coeff vals: 0.597835
BEST PUSH/push(0,342): C_0*(cos(X_3))^4
BEST PUSH/push(1,343): C_0*(C_1*X_2)^2
BEST PUSH/push(2,344): ( C_0 + C_1*(cos(X_0))^3 )


******************************** StepW: 115 **********************************
C: push/pop (115,0) C_0*X_1*cos(X_3)
C: TestScore 2000
C: coeff vals: -0.009941
C: push/pop (115,1) C_0*(C_1*X_3)^2
C: TestScore 2000
C: coeff vals: -0.003522
C: coeff vals: 1.000000
C: push/pop (115,2) ( C_0 + C_1*(cos(X_0))^4 )
C: TestScore 2000
C: coeff vals: -5.690636
C: coeff vals: 0.816050
BEST PUSH/push(0,345): C_0*X_1*cos(X_3)
BEST PUSH/push(1,346): C_0*(C_1*X_3)^2
BEST PUSH/push(2,347): ( C_0 + C_1*(cos(X_0))^4 )


******************************** StepW: 116 **********************************
C: push/pop (116,0) C_0*X_3*cos(X_3)
C: TestScore 2000
C: coeff vals: 0.007752
C: push/pop (116,1) C_0*(C_1*X_0)^2
C: TestScore 2000
C: coeff vals: -0.003363
C: coeff vals: 1.000000
C: push/pop (116,2) ( C_0 + C_1*X_1*cos(X_1) )
C: TestScore 2000
C: coeff vals: -5.356126
C: coeff vals: -0.014051
BEST PUSH/push(0,348): C_0*X_3*cos(X_3)
BEST PUSH/push(1,349): C_0*(C_1*X_0)^2
BEST PUSH/push(2,350): ( C_0 + C_1*X_1*cos(X_1) )


******************************** StepW: 117 **********************************
C: push/pop (117,0) C_0*X_3*sin(X_2)
C: TestScore 2000
C: coeff vals: -0.033940
C: push/pop (117,1) C_0*sin(X_1)*cos(X_2)
C: TestScore 2000
C: coeff vals: 2.271009
C: push/pop (117,2) ( C_0 + { C_1 }/{ C_2*X_0 } )
C: TestScore 2000
C: coeff vals: -5.354665
C: coeff vals: 0.557372
C: coeff vals: 1.374620
BEST PUSH/push(0,351): C_0*X_3*sin(X_2)
BEST PUSH/push(1,352): C_0*sin(X_1)*cos(X_2)
BEST PUSH/push(2,353): ( C_0 + { C_1 }/{ C_2*X_0 } )


******************************** StepW: 118 **********************************
C: push/pop (118,0) C_0*X_0*tan(X_2)
C: TestScore 2000
C: coeff vals: -0.000177
C: push/pop (118,1) C_0*X_0*X_3*cos(X_3)
C: TestScore 2000
C: coeff vals: 0.000785
C: push/pop (118,2) ( C_0 + { C_1 }/{ C_2*X_0 } )
C: TestScore 2000
C: coeff vals: -5.354665
C: coeff vals: 0.842549
C: coeff vals: 2.077940
BEST PUSH/push(0,354): C_0*X_0*tan(X_2)
BEST PUSH/push(1,355): C_0*X_0*X_3*cos(X_3)
BEST PUSH/push(2,356): ( C_0 + { C_1 }/{ C_2*X_0 } )


******************************** StepW: 119 **********************************
C: push/pop (119,0) C_0*(cos(X_4))^5
C: TestScore 2000
C: coeff vals: -0.800750
C: push/pop (119,1) C_0*X_2*X_4*cos(X_2)
C: TestScore 2000
C: coeff vals: -0.000729
C: push/pop (119,2) ( { C_0 }/{ X_0 } + C_1*C_2 )
C: TestScore 2000
C: coeff vals: 0.405473
C: coeff vals: -2.764223
C: coeff vals: 1.937132
BEST PUSH/push(0,357): C_0*(cos(X_4))^5
BEST PUSH/push(1,358): C_0*X_2*X_4*cos(X_2)
BEST PUSH/push(2,359): ( { C_0 }/{ X_0 } + C_1*C_2 )


******************************** StepW: 120 **********************************
C: push/pop (120,0) C_0*(cos(X_4))^6
C: TestScore 2000
C: coeff vals: -4.754640
C: push/pop (120,1) ( C_0 + C_1*X_2*sin(X_2) )
C: TestScore 2000
C: coeff vals: -5.383486
C: coeff vals: -0.011093
C: push/pop (120,2) ( C_0 + { X_1 }/{ C_1*(X_4)^2 } )
C: TestScore 2000
C: coeff vals: -5.328440
C: coeff vals: 1.354856
BEST PUSH/push(0,360): C_0*(cos(X_4))^6
BEST PUSH/push(1,361): ( C_0 + C_1*X_2*sin(X_2) )
BEST PUSH/push(2,362): ( C_0 + { X_1 }/{ C_1*(X_4)^2 } )


******************************** StepW: 121 **********************************
C: push/pop (121,0) C_0*(cos(X_3))^5
C: TestScore 2000
C: coeff vals: -0.884342
C: push/pop (121,1) C_0*X_4*(cos(X_4))^5
C: TestScore 2000
C: coeff vals: 0.030048
C: push/pop (121,2) ( C_0 + { C_1*X_4 }/{ X_3 } )
C: TestScore 2000
C: coeff vals: -5.362320
C: coeff vals: -0.005160
BEST PUSH/push(0,363): C_0*(cos(X_3))^5
BEST PUSH/push(1,364): C_0*X_4*(cos(X_4))^5
BEST PUSH/push(2,365): ( C_0 + { C_1*X_4 }/{ X_3 } )


******************************** StepW: 122 **********************************
C: push/pop (122,0) C_0*(cos(X_3))^6
C: TestScore 2000
C: coeff vals: -7.082008
C: push/pop (122,1) ( C_0 + { C_1*X_4 }/{ X_2 } )
C: TestScore 2000
C: coeff vals: -5.371423
C: coeff vals: -0.007839
C: push/pop (122,2) ( C_0 + { X_1 }/{ X_2*(X_4)^2 } )
C: TestScore 2000
C: coeff vals: -5.357282
BEST PUSH/push(0,366): C_0*(cos(X_3))^6
BEST PUSH/push(1,367): ( C_0 + { C_1*X_4 }/{ X_2 } )
BEST PUSH/push(2,368): ( C_0 + { X_1 }/{ X_2*(X_4)^2 } )


******************************** StepW: 123 **********************************
C: push/pop (123,0) ( C_0 + { C_1 }/{ X_2 } )
C: TestScore 2000
C: coeff vals: -5.308569
C: coeff vals: 1.682549
C: push/pop (123,1) ( C_0 + { C_1*X_3 }/{ X_0 } )
C: TestScore 2000
C: coeff vals: -5.358442
C: coeff vals: 0.008478
C: push/pop (123,2) ( C_0 + { X_1 }/{ C_1*(X_4)^2 } )
C: TestScore 2000
C: coeff vals: -5.328440
C: coeff vals: 1.354856
BEST PUSH/push(0,369): ( C_0 + { C_1 }/{ X_2 } )
BEST PUSH/push(1,370): ( C_0 + { C_1*X_3 }/{ X_0 } )
BEST PUSH/push(2,371): ( C_0 + { X_1 }/{ C_1*(X_4)^2 } )


******************************** StepW: 124 **********************************
C: push/pop (124,0) C_0*(cos(X_3))^7
C: TestScore 2000
C: coeff vals: -0.923736
C: push/pop (124,1) C_0*sin(X_4)*(X_2)^3
C: TestScore 2000
C: coeff vals: 0.000021
C: push/pop (124,2) ( C_0 + C_1*X_3*cos(X_1) )
C: TestScore 2000
C: coeff vals: -5.361393
C: coeff vals: -0.015770
BEST PUSH/push(0,372): C_0*(cos(X_3))^7
BEST PUSH/push(1,373): C_0*sin(X_4)*(X_2)^3
BEST PUSH/push(2,374): ( C_0 + C_1*X_3*cos(X_1) )


******************************** StepW: 125 **********************************
C: push/pop (125,0) C_0*(cos(X_3))^8
C: TestScore 2000
C: coeff vals: -7.195915
C: push/pop (125,1) ( C_0 + C_1*X_3*sin(X_1) )
C: TestScore 2000
C: coeff vals: -5.390111
C: coeff vals: -0.013596
C: push/pop (125,2) ( C_0 + { X_0 }/{ X_2*(X_4)^2 } )
C: TestScore 2000
C: coeff vals: -5.370087
BEST PUSH/push(0,375): C_0*(cos(X_3))^8
BEST PUSH/push(1,376): ( C_0 + C_1*X_3*sin(X_1) )
BEST PUSH/push(2,377): ( C_0 + { X_0 }/{ X_2*(X_4)^2 } )


******************************** StepW: 126 **********************************
C: push/pop (126,0) C_0*(cos(X_3))^9
C: TestScore 2000
C: coeff vals: -0.915974
C: push/pop (126,1) C_0*sin(X_4)*cos(X_1)
C: TestScore 2000
C: coeff vals: 0.811689
C: push/pop (126,2) ( C_0 + C_1*X_2*X_3*X_4 )
C: TestScore 2000
C: coeff vals: -5.357748
C: coeff vals: -0.000012
BEST PUSH/push(0,378): C_0*(cos(X_3))^9
BEST PUSH/push(1,379): C_0*sin(X_4)*cos(X_1)
BEST PUSH/push(2,380): ( C_0 + C_1*X_2*X_3*X_4 )


******************************** StepW: 127 **********************************
C: push/pop (127,0) C_0*(cos(X_3))^10
C: TestScore 2000
C: coeff vals: -7.302883
C: push/pop (127,1) ( C_0 + C_1*X_2*sin(X_0) )
C: TestScore 2000
C: coeff vals: -5.397743
C: coeff vals: 0.015223
C: push/pop (127,2) ( C_0 + { X_3 }/{ X_4 } + C_1*X_1 )
C: TestScore 2000
C: coeff vals: -5.673486
C: coeff vals: 0.002040
BEST PUSH/push(0,381): C_0*(cos(X_3))^10
BEST PUSH/push(1,382): ( C_0 + C_1*X_2*sin(X_0) )
BEST PUSH/push(2,383): ( C_0 + { X_3 }/{ X_4 } + C_1*X_1 )


******************************** StepW: 128 **********************************
C: push/pop (128,0) C_0*(cos(X_3))^11
C: TestScore 2000
C: coeff vals: -0.874134
C: push/pop (128,1) ( C_0 + C_1 + { X_3 }/{ X_4 } )
C: TestScore 2000
C: coeff vals: -3.337769
C: coeff vals: -2.337769
C: push/pop (128,2) ( C_0 + { X_3 }/{ X_4 } + C_1*X_4 )
C: TestScore 2000
C: coeff vals: -5.673747
C: coeff vals: -0.001500
BEST PUSH/push(0,384): C_0*(cos(X_3))^11
BEST PUSH/push(1,385): ( C_0 + C_1 + { X_3 }/{ X_4 } )
BEST PUSH/push(2,386): ( C_0 + { X_3 }/{ X_4 } + C_1*X_4 )


******************************** StepW: 129 **********************************
C: push/pop (129,0) C_0*(cos(X_3))^12
C: TestScore 2000
C: coeff vals: -7.404086
C: push/pop (129,1) ( { X_3 }/{ X_4 } + C_0*C_1 )
C: TestScore 2000
C: coeff vals: -5.670038
C: coeff vals: 1.000970
C: push/pop (129,2) ( C_0 + { X_1 }/{ (X_4)^2 } + C_1*X_3 )
C: TestScore 2000
C: coeff vals: -5.317399
C: coeff vals: -0.005107
BEST PUSH/push(0,387): C_0*(cos(X_3))^12
BEST PUSH/push(1,388): ( { X_3 }/{ X_4 } + C_0*C_1 )
BEST PUSH/push(2,389): ( C_0 + { X_1 }/{ (X_4)^2 } + C_1*X_3 )


******************************** StepW: 130 **********************************
C: push/pop (130,0) C_0*X_2*X_3*X_4
C: TestScore 2000
C: coeff vals: -0.000019
C: push/pop (130,1) C_0*X_1*(sin(X_2))^4
C: TestScore 2000
C: coeff vals: 0.026671
C: push/pop (130,2) ( C_0 + C_1 + { X_1 }/{ (X_4)^2 } )
C: TestScore 2000
C: coeff vals: -3.157114
C: coeff vals: -2.157114
BEST PUSH/push(0,390): C_0*X_2*X_3*X_4
BEST PUSH/push(1,391): C_0*X_1*(sin(X_2))^4
BEST PUSH/push(2,392): ( C_0 + C_1 + { X_1 }/{ (X_4)^2 } )


******************************** StepW: 131 **********************************
C: push/pop (131,0) C_0*X_3*cos(X_4)
C: TestScore 2000
C: coeff vals: -0.008072
C: push/pop (131,1) C_0*X_1*(sin(X_2))^6
C: TestScore 2000
C: coeff vals: 0.029340
C: push/pop (131,2) ( { X_1 }/{ C_0 } + C_1*C_2 )
C: TestScore 2000
C: coeff vals: 405623.760537
C: coeff vals: 2.137619
C: coeff vals: -2.511434
BEST PUSH/push(0,393): C_0*X_3*cos(X_4)
BEST PUSH/push(1,394): C_0*X_1*(sin(X_2))^6
BEST PUSH/push(2,395): ( { X_1 }/{ C_0 } + C_1*C_2 )


******************************** StepW: 132 **********************************
C: push/pop (132,0) C_0*X_4*tan(X_0)
C: TestScore 2000
C: coeff vals: -0.000549
C: push/pop (132,1) C_0*cos(X_1)*(X_4)^2
C: TestScore 2000
C: coeff vals: 0.001390
C: push/pop (132,2) ( { X_3 }/{ C_0 } + C_1*C_2 )
C: TestScore 2000
C: coeff vals: 184019.858017
C: coeff vals: 1.164107
C: coeff vals: -4.611680
BEST PUSH/push(0,396): C_0*X_4*tan(X_0)
BEST PUSH/push(1,397): C_0*cos(X_1)*(X_4)^2
BEST PUSH/push(2,398): ( { X_3 }/{ C_0 } + C_1*C_2 )


******************************** StepW: 133 **********************************
C: push/pop (133,0) C_0*X_2*(X_4)^2
C: TestScore 2000
C: coeff vals: 0.000018
C: push/pop (133,1) C_0*X_1*(sin(X_2))^8
C: TestScore 2000
C: coeff vals: 0.029438
C: push/pop (133,2) ( C_0 + C_1*X_2*tan(X_4) )
C: TestScore 2000
C: coeff vals: -5.409466
C: coeff vals: 0.001373
BEST PUSH/push(0,399): C_0*X_2*(X_4)^2
BEST PUSH/push(1,400): C_0*X_1*(sin(X_2))^8
BEST PUSH/push(2,401): ( C_0 + C_1*X_2*tan(X_4) )


******************************** StepW: 134 **********************************
C: push/pop (134,0) C_0*X_4*cos(X_1)
C: TestScore 2000
C: coeff vals: 0.044309
C: push/pop (134,1) C_0*X_1*(sin(X_2))^2
C: TestScore 2000
C: coeff vals: 0.018300
C: push/pop (134,2) ( C_0 + C_1*(cos(X_0))^5 )
C: TestScore 2000
C: coeff vals: -5.294917
C: coeff vals: 0.853580
BEST PUSH/push(0,402): C_0*X_4*cos(X_1)
BEST PUSH/push(1,403): C_0*X_1*(sin(X_2))^2
BEST PUSH/push(2,404): ( C_0 + C_1*(cos(X_0))^5 )


******************************** StepW: 135 **********************************
C: push/pop (135,0) C_0*(cos(X_4))^7
C: TestScore 2000
C: coeff vals: -1.131658
C: push/pop (135,1) C_0*X_3*(sin(X_1))^12
C: TestScore 2000
C: coeff vals: -0.035592
C: push/pop (135,2) ( C_0 + C_1*(cos(X_0))^6 )
C: TestScore 2000
C: coeff vals: -5.528826
C: coeff vals: 0.483433
BEST PUSH/push(0,405): C_0*(cos(X_4))^7
BEST PUSH/push(1,406): C_0*X_3*(sin(X_1))^12
BEST PUSH/push(2,407): ( C_0 + C_1*(cos(X_0))^6 )


******************************** StepW: 136 **********************************
C: push/pop (136,0) C_0*(cos(X_4))^8
C: TestScore 2000
C: coeff vals: -4.393370
C: push/pop (136,1) ( C_0 + C_1*X_1*cos(X_2) )
C: TestScore 2000
C: coeff vals: -5.289113
C: coeff vals: -0.022681
C: push/pop (136,2) ( { X_1 }/{ (X_4)^2 } + C_0*C_1 )
C: TestScore 2000
C: coeff vals: -5.309101
C: coeff vals: 1.000966
BEST PUSH/push(0,408): C_0*(cos(X_4))^8
BEST PUSH/push(1,409): ( C_0 + C_1*X_1*cos(X_2) )
BEST PUSH/push(2,410): ( { X_1 }/{ (X_4)^2 } + C_0*C_1 )


******************************** StepW: 137 **********************************
C: push/pop (137,0) C_0*X_0*tan(X_3)
C: TestScore 2000
C: coeff vals: 0.000528
C: push/pop (137,1) C_0*X_4*(cos(X_4))^7
C: TestScore 2000
C: coeff vals: 0.038657
C: push/pop (137,2) ( C_0 + C_1*(cos(X_0))^7 )
C: TestScore 2000
C: coeff vals: -5.288847
C: coeff vals: 0.956001
BEST PUSH/push(0,411): C_0*X_0*tan(X_3)
BEST PUSH/push(1,412): C_0*X_4*(cos(X_4))^7
BEST PUSH/push(2,413): ( C_0 + C_1*(cos(X_0))^7 )


******************************** StepW: 138 **********************************
C: push/pop (138,0) C_0*X_3*tan(X_4)
C: TestScore 2000
C: coeff vals: 0.000897
C: push/pop (138,1) C_0*X_1*(cos(X_4))^8
C: TestScore 2000
C: coeff vals: 0.030383
C: push/pop (138,2) ( C_0 + C_1*(cos(X_0))^8 )
C: TestScore 2000
C: coeff vals: -5.444182
C: coeff vals: 0.259683
BEST PUSH/push(0,414): C_0*X_3*tan(X_4)
BEST PUSH/push(1,415): C_0*X_1*(cos(X_4))^8
BEST PUSH/push(2,416): ( C_0 + C_1*(cos(X_0))^8 )


******************************** StepW: 139 **********************************
C: push/pop (139,0) C_0*(cos(X_1))^3
C: TestScore 2000
C: coeff vals: 1.412846
C: push/pop (139,1) C_0*X_1*(sin(X_2))^10
C: TestScore 2000
C: coeff vals: 0.028640
C: push/pop (139,2) ( C_0 + C_1*(cos(X_0))^9 )
C: TestScore 2000
C: coeff vals: -5.287317
C: coeff vals: 1.002206
BEST PUSH/push(0,417): C_0*(cos(X_1))^3
BEST PUSH/push(1,418): C_0*X_1*(sin(X_2))^10
BEST PUSH/push(2,419): ( C_0 + C_1*(cos(X_0))^9 )


******************************** StepW: 140 **********************************
C: push/pop (140,0) C_0*(cos(X_1))^4
C: TestScore 2000
C: coeff vals: -6.679132
C: push/pop (140,1) ( C_0 + C_1*(cos(X_0))^10 )
C: TestScore 2000
C: coeff vals: -5.396150
C: coeff vals: 0.105185
C: push/pop (140,2) ( { X_1 }/{ (X_4)^2 } + C_0*X_3 )
C: TestScore 2000
C: coeff vals: -0.000987
BEST PUSH/push(0,420): C_0*(cos(X_1))^4
BEST PUSH/push(1,421): ( C_0 + C_1*(cos(X_0))^10 )
BEST PUSH/push(2,422): ( { X_1 }/{ (X_4)^2 } + C_0*X_3 )


******************************** StepW: 141 **********************************
C: push/pop (141,0) C_0*(cos(X_1))^5
C: TestScore 2000
C: coeff vals: 1.732166
C: push/pop (141,1) ( C_0 + { X_1 }/{ (X_4)^2 } )
C: TestScore 2000
C: coeff vals: -5.314228
C: push/pop (141,2) ( C_0 + { X_1 }/{ (X_4)^2 } + C_1*X_3*X_4 )
C: TestScore 2000
C: coeff vals: -5.349208
C: coeff vals: 0.001772
BEST PUSH/push(0,423): C_0*(cos(X_1))^5
BEST PUSH/push(1,424): ( C_0 + { X_1 }/{ (X_4)^2 } )
BEST PUSH/push(2,425): ( C_0 + { X_1 }/{ (X_4)^2 } + C_1*X_3*X_4 )


******************************** StepW: 142 **********************************
C: push/pop (142,0) C_0*(cos(X_1))^6
C: TestScore 2000
C: coeff vals: -6.835902
C: push/pop (142,1) ( C_0 + C_1*(cos(X_0))^11 )
C: TestScore 2000
C: coeff vals: -5.287514
C: coeff vals: 1.027980
C: push/pop (142,2) ( { X_1 }/{ (X_4)^2 } + C_0*X_0 )
C: TestScore 2000
C: coeff vals: -0.011656
BEST PUSH/push(0,426): C_0*(cos(X_1))^6
BEST PUSH/push(1,427): ( C_0 + C_1*(cos(X_0))^11 )
BEST PUSH/push(2,428): ( { X_1 }/{ (X_4)^2 } + C_0*X_0 )


******************************** StepW: 143 **********************************
C: push/pop (143,0) C_0*(cos(X_1))^7
C: TestScore 2000
C: coeff vals: 1.927143
C: push/pop (143,1) C_0*X_3*(sin(X_1))^10
C: TestScore 2000
C: coeff vals: -0.033375
C: push/pop (143,2) ( C_0 + C_1*(cos(X_0))^12 )
C: TestScore 2000
C: coeff vals: -5.367779
C: coeff vals: -0.002949
BEST PUSH/push(0,429): C_0*(cos(X_1))^7
BEST PUSH/push(1,430): C_0*X_3*(sin(X_1))^10
BEST PUSH/push(2,431): ( C_0 + C_1*(cos(X_0))^12 )


******************************** StepW: 144 **********************************
C: push/pop (144,0) C_0*(cos(X_1))^8
C: TestScore 2000
C: coeff vals: -7.009963
C: push/pop (144,1) ( C_0 + C_1*X_3*sin(X_2) )
C: TestScore 2000
C: coeff vals: -5.349034
C: coeff vals: -0.022108
C: push/pop (144,2) ( { X_1 }/{ (X_4)^2 } + C_0*X_4 )
C: TestScore 2000
C: coeff vals: -0.009558
BEST PUSH/push(0,432): C_0*(cos(X_1))^8
BEST PUSH/push(1,433): ( C_0 + C_1*X_3*sin(X_2) )
BEST PUSH/push(2,434): ( { X_1 }/{ (X_4)^2 } + C_0*X_4 )


******************************** StepW: 145 **********************************
C: push/pop (145,0) C_0*(cos(X_1))^9
C: TestScore 2000
C: coeff vals: 2.051263
C: push/pop (145,1) C_0*X_1*(sin(X_2))^12
C: TestScore 2000
C: coeff vals: 0.027639
C: push/pop (145,2) ( C_0 + C_1*X_0*sin(X_3) )
C: TestScore 2000
C: coeff vals: -5.411714
C: coeff vals: -0.024449
BEST PUSH/push(0,435): C_0*(cos(X_1))^9
BEST PUSH/push(1,436): C_0*X_1*(sin(X_2))^12
BEST PUSH/push(2,437): ( C_0 + C_1*X_0*sin(X_3) )


******************************** StepW: 146 **********************************
C: push/pop (146,0) C_0*(cos(X_1))^10
C: TestScore 2000
C: coeff vals: -7.170473
C: push/pop (146,1) ( C_0 + C_1*X_1*sin(X_4) )
C: TestScore 2000
C: coeff vals: -5.380703
C: coeff vals: 0.014407
C: push/pop (146,2) ( { C_0 }/{ X_3 } + { X_1 }/{ (X_4)^2 } )
C: TestScore 2000
C: coeff vals: 0.149754
BEST PUSH/push(0,438): C_0*(cos(X_1))^10
BEST PUSH/push(1,439): ( C_0 + C_1*X_1*sin(X_4) )
BEST PUSH/push(2,440): ( { C_0 }/{ X_3 } + { X_1 }/{ (X_4)^2 } )


******************************** StepW: 147 **********************************
C: push/pop (147,0) C_0*(cos(X_1))^11
C: TestScore 2000
C: coeff vals: 2.132011
C: push/pop (147,1) C_0*X_0*X_2*sin(X_2)
C: TestScore 2000
C: coeff vals: -0.001085
C: push/pop (147,2) ( C_0 + C_1*X_0*(X_2)^2 )
C: TestScore 2000
C: coeff vals: -5.373218
C: coeff vals: -0.000012
BEST PUSH/push(0,441): C_0*(cos(X_1))^11
BEST PUSH/push(1,442): C_0*X_0*X_2*sin(X_2)
BEST PUSH/push(2,443): ( C_0 + C_1*X_0*(X_2)^2 )


******************************** StepW: 148 **********************************
C: push/pop (148,0) C_0*(cos(X_1))^12
C: TestScore 2000
C: coeff vals: -7.307881
C: push/pop (148,1) ( C_0*C_1 + C_2*X_0 )
C: TestScore 2000
C: coeff vals: -3.197002
C: coeff vals: 1.675976
C: coeff vals: -0.013317
C: push/pop (148,2) ( { C_0 }/{ C_1 } + { X_1 }/{ (X_4)^2 } )
C: TestScore 2000
C: coeff vals: -5.309101
C: coeff vals: 0.999035
BEST PUSH/push(0,444): C_0*(cos(X_1))^12
BEST PUSH/push(1,445): ( C_0*C_1 + C_2*X_0 )
BEST PUSH/push(2,446): ( { C_0 }/{ C_1 } + { X_1 }/{ (X_4)^2 } )


******************************** StepW: 149 **********************************
C: push/pop (149,0) C_0*(cos(X_4))^9
C: TestScore 2000
C: coeff vals: -1.424349
C: push/pop (149,1) C_0*X_3*(sin(X_1))^8
C: TestScore 2000
C: coeff vals: -0.032114
C: push/pop (149,2) ( C_0 + C_1*(cos(X_3))^2 )
C: TestScore 2000
C: coeff vals: -6.037224
C: coeff vals: 1.318481
BEST PUSH/push(0,447): C_0*(cos(X_4))^9
BEST PUSH/push(1,448): C_0*X_3*(sin(X_1))^8
BEST PUSH/push(2,449): ( C_0 + C_1*(cos(X_3))^2 )


******************************** StepW: 150 **********************************
C: push/pop (150,0) C_0*(cos(X_4))^10
C: TestScore 2000
C: coeff vals: -4.112698
C: push/pop (150,1) ( C_0 + C_1*(cos(X_3))^3 )
C: TestScore 2000
C: coeff vals: -5.360694
C: coeff vals: -0.240050
C: push/pop (150,2) ( { X_1 }/{ (X_4)^2 } + C_0*X_1 )
C: TestScore 2000
C: coeff vals: -0.010036
BEST PUSH/push(0,450): C_0*(cos(X_4))^10
BEST PUSH/push(1,451): ( C_0 + C_1*(cos(X_3))^3 )
BEST PUSH/push(2,452): ( { X_1 }/{ (X_4)^2 } + C_0*X_1 )


******************************** StepW: 151 **********************************
C: push/pop (151,0) C_0*X_2*cos(X_2)
C: TestScore 2000
C: coeff vals: -0.022626
C: push/pop (151,1) C_0*X_4*(cos(X_4))^9
C: TestScore 2000
C: coeff vals: 0.044333
C: push/pop (151,2) ( C_0 + C_1*(cos(X_3))^4 )
C: TestScore 2000
C: coeff vals: -5.727948
C: coeff vals: 0.958454
BEST PUSH/push(0,453): C_0*X_2*cos(X_2)
BEST PUSH/push(1,454): C_0*X_4*(cos(X_4))^9
BEST PUSH/push(2,455): ( C_0 + C_1*(cos(X_3))^4 )


******************************** StepW: 152 **********************************
C: push/pop (152,0) C_0*X_0*sin(X_2)
C: TestScore 2000
C: coeff vals: -0.038419
C: push/pop (152,1) C_0*X_1*(cos(X_4))^10
C: TestScore 2000
C: coeff vals: 0.039147
C: push/pop (152,2) ( C_0 + C_1*(cos(X_3))^5 )
C: TestScore 2000
C: coeff vals: -5.360730
C: coeff vals: -0.282601
BEST PUSH/push(0,456): C_0*X_0*sin(X_2)
BEST PUSH/push(1,457): C_0*X_1*(cos(X_4))^10
BEST PUSH/push(2,458): ( C_0 + C_1*(cos(X_3))^5 )


******************************** StepW: 153 **********************************
C: push/pop (153,0) C_0*X_0*cos(X_0)
C: TestScore 2000
C: coeff vals: 0.053049
C: push/pop (153,1) C_0*X_1*(cos(X_4))^6
C: TestScore 2000
C: coeff vals: 0.021093
C: push/pop (153,2) ( C_0 + C_1*(cos(X_3))^6 )
C: TestScore 2000
C: coeff vals: -5.528477
C: coeff vals: 0.515953
BEST PUSH/push(0,459): C_0*X_0*cos(X_0)
BEST PUSH/push(1,460): C_0*X_1*(cos(X_4))^6
BEST PUSH/push(2,461): ( C_0 + C_1*(cos(X_3))^6 )


******************************** StepW: 154 **********************************
C: push/pop (154,0) C_0*(sin(X_4))^3
C: TestScore 2000
C: coeff vals: 1.722587
C: push/pop (154,1) C_0*X_3*(sin(X_1))^6
C: TestScore 2000
C: coeff vals: -0.031515
C: push/pop (154,2) ( C_0 + C_1*(cos(X_3))^7 )
C: TestScore 2000
C: coeff vals: -5.360878
C: coeff vals: -0.320245
BEST PUSH/push(0,462): C_0*(sin(X_4))^3
BEST PUSH/push(1,463): C_0*X_3*(sin(X_1))^6
BEST PUSH/push(2,464): ( C_0 + C_1*(cos(X_3))^7 )


******************************** StepW: 155 **********************************
C: push/pop (155,0) C_0*(sin(X_4))^4
C: TestScore 2000
C: coeff vals: -9.168523
C: push/pop (155,1) ( C_0 + C_1*(cos(X_3))^8 )
C: TestScore 2000
C: coeff vals: -5.405855
C: coeff vals: 0.137891
C: push/pop (155,2) ( { C_0 }/{ X_0 } + { X_1 }/{ (X_4)^2 } )
C: TestScore 2000
C: coeff vals: 1.011592
BEST PUSH/push(0,465): C_0*(sin(X_4))^4
BEST PUSH/push(1,466): ( C_0 + C_1*(cos(X_3))^8 )
BEST PUSH/push(2,467): ( { C_0 }/{ X_0 } + { X_1 }/{ (X_4)^2 } )


******************************** StepW: 156 **********************************
C: push/pop (156,0) C_0*(sin(X_4))^5
C: TestScore 2000
C: coeff vals: 1.679727
C: push/pop (156,1) C_0*X_2*(sin(X_4))^3
C: TestScore 2000
C: coeff vals: 0.034214
C: push/pop (156,2) ( C_0 + C_1*(cos(X_3))^9 )
C: TestScore 2000
C: coeff vals: -5.361606
C: coeff vals: -0.331825
BEST PUSH/push(0,468): C_0*(sin(X_4))^5
BEST PUSH/push(1,469): C_0*X_2*(sin(X_4))^3
BEST PUSH/push(2,470): ( C_0 + C_1*(cos(X_3))^9 )


******************************** StepW: 157 **********************************
C: push/pop (157,0) C_0*(sin(X_4))^6
C: TestScore 2000
C: coeff vals: -9.370068
C: push/pop (157,1) ( C_0 + C_1*(cos(X_3))^10 )
C: TestScore 2000
C: coeff vals: -5.327075
C: coeff vals: -0.169285
C: push/pop (157,2) ( { X_1 }/{ (X_4)^2 } + C_0*X_2 )
C: TestScore 2000
C: coeff vals: 0.047745
BEST PUSH/push(0,471): C_0*(sin(X_4))^6
BEST PUSH/push(1,472): ( C_0 + C_1*(cos(X_3))^10 )
BEST PUSH/push(2,473): ( { X_1 }/{ (X_4)^2 } + C_0*X_2 )


******************************** StepW: 158 **********************************
C: push/pop (158,0) C_0*(sin(X_4))^7
C: TestScore 2000
C: coeff vals: 1.460869
C: push/pop (158,1) C_0*X_2*(sin(X_4))^5
C: TestScore 2000
C: coeff vals: 0.026312
C: push/pop (158,2) ( C_0 + C_1*(cos(X_3))^11 )
C: TestScore 2000
C: coeff vals: -5.362684
C: coeff vals: -0.317938
BEST PUSH/push(0,474): C_0*(sin(X_4))^7
BEST PUSH/push(1,475): C_0*X_2*(sin(X_4))^5
BEST PUSH/push(2,476): ( C_0 + C_1*(cos(X_3))^11 )


******************************** StepW: 159 **********************************
C: push/pop (159,0) C_0*(sin(X_4))^8
C: TestScore 2000
C: coeff vals: -9.449612
C: push/pop (159,1) ( C_0 + C_1*(cos(X_3))^12 )
C: TestScore 2000
C: coeff vals: -5.273386
C: coeff vals: -0.421524
C: push/pop (159,2) ( { C_0 }/{ X_1 } + { X_1 }/{ (X_4)^2 } )
C: TestScore 2000
C: coeff vals: -2.458081
BEST PUSH/push(0,477): C_0*(sin(X_4))^8
BEST PUSH/push(1,478): ( C_0 + C_1*(cos(X_3))^12 )
BEST PUSH/push(2,479): ( { C_0 }/{ X_1 } + { X_1 }/{ (X_4)^2 } )


******************************** StepW: 160 **********************************
C: push/pop (160,0) C_0*(sin(X_4))^9
C: TestScore 2000
C: coeff vals: 1.170306
C: push/pop (160,1) C_0*X_1*(sin(X_4))^8
C: TestScore 2000
C: coeff vals: 0.030194
C: push/pop (160,2) ( C_0 + C_1*(sin(X_3))^2 )
C: TestScore 2000
C: coeff vals: -4.718742
C: coeff vals: -1.318481
BEST PUSH/push(0,480): C_0*(sin(X_4))^9
BEST PUSH/push(1,481): C_0*X_1*(sin(X_4))^8
BEST PUSH/push(2,482): ( C_0 + C_1*(sin(X_3))^2 )


******************************** StepW: 161 **********************************
C: push/pop (161,0) C_0*(sin(X_4))^10
C: TestScore 2000
C: coeff vals: -9.457432
C: push/pop (161,1) ( C_0 + { C_1*X_0 }/{ X_2 } )
C: TestScore 2000
C: coeff vals: -5.361939
C: coeff vals: 0.018586
C: push/pop (161,2) ( { C_0 }/{ X_2 } + { X_1 }/{ (X_4)^2 } )
C: TestScore 2000
C: coeff vals: 2.889286
BEST PUSH/push(0,483): C_0*(sin(X_4))^10
BEST PUSH/push(1,484): ( C_0 + { C_1*X_0 }/{ X_2 } )
BEST PUSH/push(2,485): ( { C_0 }/{ X_2 } + { X_1 }/{ (X_4)^2 } )


******************************** StepW: 162 **********************************
C: push/pop (162,0) C_0*(sin(X_4))^11
C: TestScore 2000
C: coeff vals: 0.861134
C: push/pop (162,1) C_0*X_1*(sin(X_4))^10
C: TestScore 2000
C: coeff vals: 0.033737
C: push/pop (162,2) ( C_0 + { X_0 }/{ C_1*X_2 } )
C: TestScore 2000
C: coeff vals: -5.361939
C: coeff vals: 53.804418
BEST PUSH/push(0,486): C_0*(sin(X_4))^11
BEST PUSH/push(1,487): C_0*X_1*(sin(X_4))^10
BEST PUSH/push(2,488): ( C_0 + { X_0 }/{ C_1*X_2 } )


******************************** StepW: 163 **********************************
C: push/pop (163,0) C_0*(sin(X_4))^12
C: TestScore 2000
C: coeff vals: -9.420949
C: push/pop (163,1) ( C_0 + C_1*X_2*sin(X_3) )
C: TestScore 2000
C: coeff vals: -5.325573
C: coeff vals: -0.022522
C: push/pop (163,2) ( { X_1 }/{ (X_4)^2 } + { X_4 }/{ X_0 } )
C: TestScore 2000
BEST PUSH/push(0,489): C_0*(sin(X_4))^12
BEST PUSH/push(1,490): ( C_0 + C_1*X_2*sin(X_3) )
BEST PUSH/push(2,491): ( { X_1 }/{ (X_4)^2 } + { X_4 }/{ X_0 } )


******************************** StepW: 164 **********************************
C: push/pop (164,0) C_0*(cos(X_4))^11
C: TestScore 2000
C: coeff vals: -1.671166
C: push/pop (164,1) C_0*X_1*(sin(X_4))^12
C: TestScore 2000
C: coeff vals: 0.036477
C: push/pop (164,2) ( C_0 + C_1*X_0*cos(X_3) )
C: TestScore 2000
C: coeff vals: -5.417295
C: coeff vals: 0.033059
BEST PUSH/push(0,492): C_0*(cos(X_4))^11
BEST PUSH/push(1,493): C_0*X_1*(sin(X_4))^12
BEST PUSH/push(2,494): ( C_0 + C_1*X_0*cos(X_3) )


******************************** StepW: 165 **********************************
C: push/pop (165,0) C_0*(cos(X_4))^12
C: TestScore 2000
C: coeff vals: -3.890052
C: push/pop (165,1) ( C_0 + C_1*X_3*cos(X_3) )
C: TestScore 2000
C: coeff vals: -5.413460
C: coeff vals: 0.028721
C: push/pop (165,2) ( { X_1 }/{ (X_4)^2 } + { X_4 }/{ C_0 } )
C: TestScore 2000
C: coeff vals: 1403252049.893271
BEST PUSH/push(0,495): C_0*(cos(X_4))^12
BEST PUSH/push(1,496): ( C_0 + C_1*X_3*cos(X_3) )
BEST PUSH/push(2,497): ( { X_1 }/{ (X_4)^2 } + { X_4 }/{ C_0 } )


******************************** StepW: 166 **********************************
C: push/pop (166,0) C_0*X_0*cos(X_2)
C: TestScore 2000
C: coeff vals: 0.030596
C: push/pop (166,1) C_0*X_4*(cos(X_4))^11
C: TestScore 2000
C: coeff vals: 0.048319
C: push/pop (166,2) ( C_0 + C_1*(cos(X_0))^2 )
C: TestScore 2000
C: coeff vals: -6.119298
C: coeff vals: 1.448114
BEST PUSH/push(0,498): C_0*X_0*cos(X_2)
BEST PUSH/push(1,499): C_0*X_4*(cos(X_4))^11
BEST PUSH/push(2,500): ( C_0 + C_1*(cos(X_0))^2 )


******************************** StepW: 167 **********************************
C: push/pop (167,0) C_0*X_1*cos(X_2)
C: TestScore 2000
C: coeff vals: -0.069222
C: push/pop (167,1) C_0*X_1*(cos(X_4))^12
C: TestScore 2000
C: coeff vals: 0.047353
C: push/pop (167,2) ( C_0 + C_1*(sin(X_0))^2 )
C: TestScore 2000
C: coeff vals: -4.671183
C: coeff vals: -1.448114
BEST PUSH/push(0,501): C_0*X_1*cos(X_2)
BEST PUSH/push(1,502): C_0*X_1*(cos(X_4))^12
BEST PUSH/push(2,503): ( C_0 + C_1*(sin(X_0))^2 )


******************************** StepW: 168 **********************************
C: push/pop (168,0) C_0*X_1*cos(X_1)
C: TestScore 2000
C: coeff vals: -0.026763
C: push/pop (168,1) C_0*X_1*(sin(X_4))^6
C: TestScore 2000
C: coeff vals: 0.025445
C: push/pop (168,2) ( C_0 + { X_3 }/{ X_0*X_4 } )
C: TestScore 2000
C: coeff vals: -5.440587
BEST PUSH/push(0,504): C_0*X_1*cos(X_1)
BEST PUSH/push(1,505): C_0*X_1*(sin(X_4))^6
BEST PUSH/push(2,506): ( C_0 + { X_3 }/{ X_0*X_4 } )


******************************** StepW: 169 **********************************
C: push/pop (169,0) C_0*X_4*cos(X_3)
C: TestScore 2000
C: coeff vals: -0.029602
C: push/pop (169,1) C_0*X_1*(sin(X_4))^4
C: TestScore 2000
C: coeff vals: 0.018529
C: push/pop (169,2) ( C_0 + { X_3 }/{ C_1*X_0 } )
C: TestScore 2000
C: coeff vals: -5.358442
C: coeff vals: 117.953270
BEST PUSH/push(0,507): C_0*X_4*cos(X_3)
BEST PUSH/push(1,508): C_0*X_1*(sin(X_4))^4
BEST PUSH/push(2,509): ( C_0 + { X_3 }/{ C_1*X_0 } )


******************************** StepW: 170 **********************************
C: push/pop (170,0) C_0*X_4*(X_0)^2
C: TestScore 2000
C: coeff vals: -0.000018
C: push/pop (170,1) C_0*X_4*(sin(X_1))^12
C: TestScore 2000
C: coeff vals: -0.037764
C: push/pop (170,2) ( C_0 + C_1*(sin(X_3))^3 )
C: TestScore 2000
C: coeff vals: -5.302752
C: coeff vals: 0.885346
BEST PUSH/push(0,510): C_0*X_4*(X_0)^2
BEST PUSH/push(1,511): C_0*X_4*(sin(X_1))^12
BEST PUSH/push(2,512): ( C_0 + C_1*(sin(X_3))^3 )


******************************** StepW: 171 **********************************
C: push/pop (171,0) C_0*X_1*tan(X_0)
C: TestScore 2000
C: coeff vals: 0.000866
C: push/pop (171,1) C_0*X_1*(cos(X_1))^2
C: TestScore 2000
C: coeff vals: 0.050416
C: push/pop (171,2) ( C_0 + C_1*X_2*tan(X_0) )
C: TestScore 2000
C: coeff vals: -5.196360
C: coeff vals: -0.000844
BEST PUSH/push(0,513): C_0*X_1*tan(X_0)
BEST PUSH/push(1,514): C_0*X_1*(cos(X_1))^2
BEST PUSH/push(2,515): ( C_0 + C_1*X_2*tan(X_0) )


******************************** StepW: 172 **********************************
C: push/pop (172,0) C_0*X_3*sin(X_4)
C: TestScore 2000
C: coeff vals: 0.041693
C: push/pop (172,1) C_0*X_2*X_3*sin(X_1)
C: TestScore 2000
C: coeff vals: -0.000388
C: push/pop (172,2) ( C_0 + C_1*X_3*(X_0)^2 )
C: TestScore 2000
C: coeff vals: -5.371849
C: coeff vals: 0.000011
BEST PUSH/push(0,516): C_0*X_3*sin(X_4)
BEST PUSH/push(1,517): C_0*X_2*X_3*sin(X_1)
BEST PUSH/push(2,518): ( C_0 + C_1*X_3*(X_0)^2 )


******************************** StepW: 173 **********************************
C: push/pop (173,0) C_0*X_2*(X_1)^2
C: TestScore 2000
C: coeff vals: 0.000035
C: push/pop (173,1) C_0*X_4*(sin(X_1))^10
C: TestScore 2000
C: coeff vals: -0.033870
C: push/pop (173,2) ( C_0 + C_1*X_1*cos(X_3) )
C: TestScore 2000
C: coeff vals: -5.390966
C: coeff vals: -0.023180
BEST PUSH/push(0,519): C_0*X_2*(X_1)^2
BEST PUSH/push(1,520): C_0*X_4*(sin(X_1))^10
BEST PUSH/push(2,521): ( C_0 + C_1*X_1*cos(X_3) )


******************************** StepW: 174 **********************************
C: push/pop (174,0) C_0*X_0*X_2*X_3
C: TestScore 2000
C: coeff vals: -0.000064
C: push/pop (174,1) C_0*X_1*(cos(X_3))^2
C: TestScore 2000
C: coeff vals: 0.025825
C: push/pop (174,2) ( C_0 + C_1*X_1*tan(X_4) )
C: TestScore 2000
C: coeff vals: -5.357497
C: coeff vals: 0.001537
BEST PUSH/push(0,522): C_0*X_0*X_2*X_3
BEST PUSH/push(1,523): C_0*X_1*(cos(X_3))^2
BEST PUSH/push(2,524): ( C_0 + C_1*X_1*tan(X_4) )


******************************** StepW: 175 **********************************
C: push/pop (175,0) C_0*X_0*cos(X_4)
C: TestScore 2000
C: coeff vals: 0.040480
C: push/pop (175,1) C_0*X_3*(sin(X_1))^4
C: TestScore 2000
C: coeff vals: -0.030418
C: push/pop (175,2) ( C_0 + C_1*X_2*(X_1)^2 )
C: TestScore 2000
C: coeff vals: -5.303867
C: coeff vals: 0.000015
BEST PUSH/push(0,525): C_0*X_0*cos(X_4)
BEST PUSH/push(1,526): C_0*X_3*(sin(X_1))^4
BEST PUSH/push(2,527): ( C_0 + C_1*X_2*(X_1)^2 )


******************************** StepW: 176 **********************************
C: push/pop (176,0) C_0*(cos(X_2))^3
C: TestScore 2000
C: coeff vals: -1.849726
C: push/pop (176,1) C_0*X_1*X_4*sin(X_4)
C: TestScore 2000
C: coeff vals: 0.001357
C: push/pop (176,2) ( C_0 + C_1*(sin(X_3))^4 )
C: TestScore 2000
C: coeff vals: -4.819689
C: coeff vals: -1.521743
BEST PUSH/push(0,528): C_0*(cos(X_2))^3
BEST PUSH/push(1,529): C_0*X_1*X_4*sin(X_4)
BEST PUSH/push(2,530): ( C_0 + C_1*(sin(X_3))^4 )


******************************** StepW: 177 **********************************
C: push/pop (177,0) C_0*(cos(X_2))^4
C: TestScore 2000
C: coeff vals: -6.412451
C: push/pop (177,1) ( C_0 + C_1*(sin(X_3))^5 )
C: TestScore 2000
C: coeff vals: -5.330178
C: coeff vals: 0.642842
C: push/pop (177,2) ( { C_0 }/{ C_1 } + { X_1 }/{ (X_4)^2 } )
C: TestScore 2000
C: coeff vals: -5.820903
C: coeff vals: 1.095343
BEST PUSH/push(0,531): C_0*(cos(X_2))^4
BEST PUSH/push(1,532): ( C_0 + C_1*(sin(X_3))^5 )
BEST PUSH/push(2,533): ( { C_0 }/{ C_1 } + { X_1 }/{ (X_4)^2 } )


******************************** StepW: 178 **********************************
C: push/pop (178,0) C_0*(cos(X_2))^5
C: TestScore 2000
C: coeff vals: -1.913640
C: push/pop (178,1) C_0*X_4*(cos(X_2))^3
C: TestScore 2000
C: coeff vals: -0.020813
C: push/pop (178,2) ( C_0 + C_1*(sin(X_3))^6 )
C: TestScore 2000
C: coeff vals: -4.972243
C: coeff vals: -1.350355
BEST PUSH/push(0,534): C_0*(cos(X_2))^5
BEST PUSH/push(1,535): C_0*X_4*(cos(X_2))^3
BEST PUSH/push(2,536): ( C_0 + C_1*(sin(X_3))^6 )


******************************** StepW: 179 **********************************
C: push/pop (179,0) C_0*(cos(X_2))^6
C: TestScore 2000
C: coeff vals: -6.324149
C: push/pop (179,1) ( C_0 + C_1*(sin(X_3))^7 )
C: TestScore 2000
C: coeff vals: -5.347676
C: coeff vals: 0.428698
C: push/pop (179,2) ( { C_0 }/{ X_0 } + { X_1 }/{ (X_4)^2 } )
C: TestScore 2000
C: coeff vals: 1.011592
BEST PUSH/push(0,537): C_0*(cos(X_2))^6
BEST PUSH/push(1,538): ( C_0 + C_1*(sin(X_3))^7 )
BEST PUSH/push(2,539): ( { C_0 }/{ X_0 } + { X_1 }/{ (X_4)^2 } )


******************************** StepW: 180 **********************************
C: push/pop (180,0) C_0*X_2*cos(X_0)
C: TestScore 2000
C: coeff vals: -0.072985
C: push/pop (180,1) C_0*X_4*(cos(X_2))^5
C: TestScore 2000
C: coeff vals: -0.024737
C: push/pop (180,2) ( C_0 + C_1*(sin(X_3))^8 )
C: TestScore 2000
C: coeff vals: -5.092550
C: coeff vals: -1.094605
BEST PUSH/push(0,540): C_0*X_2*cos(X_0)
BEST PUSH/push(1,541): C_0*X_4*(cos(X_2))^5
BEST PUSH/push(2,542): ( C_0 + C_1*(sin(X_3))^8 )


******************************** StepW: 181 **********************************
C: push/pop (181,0) C_0*(cos(X_2))^7
C: TestScore 2000
C: coeff vals: -2.009563
C: push/pop (181,1) C_0*X_4*(cos(X_4))^3
C: TestScore 2000
C: coeff vals: 0.016149
C: push/pop (181,2) ( C_0 + C_1*(sin(X_3))^9 )
C: TestScore 2000
C: coeff vals: -5.358228
C: coeff vals: 0.258074
BEST PUSH/push(0,543): C_0*(cos(X_2))^7
BEST PUSH/push(1,544): C_0*X_4*(cos(X_4))^3
BEST PUSH/push(2,545): ( C_0 + C_1*(sin(X_3))^9 )


******************************** StepW: 182 **********************************
C: push/pop (182,0) C_0*(cos(X_2))^8
C: TestScore 2000
C: coeff vals: -6.231319
C: push/pop (182,1) ( C_0 + C_1*(sin(X_3))^10 )
C: TestScore 2000
C: coeff vals: -5.182955
C: coeff vals: -0.828983
C: push/pop (182,2) ( { X_0 }/{ X_3 } + { X_1 }/{ (X_4)^2 } )
C: TestScore 2000
BEST PUSH/push(0,546): C_0*(cos(X_2))^8
BEST PUSH/push(1,547): ( C_0 + C_1*(sin(X_3))^10 )
BEST PUSH/push(2,548): ( { X_0 }/{ X_3 } + { X_1 }/{ (X_4)^2 } )


******************************** StepW: 183 **********************************
C: push/pop (183,0) C_0*(cos(X_2))^9
C: TestScore 2000
C: coeff vals: -2.097313
C: push/pop (183,1) C_0*X_4*(cos(X_2))^7
C: TestScore 2000
C: coeff vals: -0.027425
C: push/pop (183,2) ( C_0 + C_1*(sin(X_3))^11 )
C: TestScore 2000
C: coeff vals: -5.364351
C: coeff vals: 0.126651
BEST PUSH/push(0,549): C_0*(cos(X_2))^9
BEST PUSH/push(1,550): C_0*X_4*(cos(X_2))^7
BEST PUSH/push(2,551): ( C_0 + C_1*(sin(X_3))^11 )


******************************** StepW: 184 **********************************
C: push/pop (184,0) C_0*(cos(X_2))^10
C: TestScore 2000
C: coeff vals: -6.127642
C: push/pop (184,1) ( C_0 + C_1*(sin(X_3))^12 )
C: TestScore 2000
C: coeff vals: -5.250604
C: coeff vals: -0.580412
C: push/pop (184,2) ( { X_0 }/{ C_0 } + { X_1 }/{ (X_4)^2 } )
C: TestScore 2000
C: coeff vals: 1430920547.156045
BEST PUSH/push(0,552): C_0*(cos(X_2))^10
BEST PUSH/push(1,553): ( C_0 + C_1*(sin(X_3))^12 )
BEST PUSH/push(2,554): ( { X_0 }/{ C_0 } + { X_1 }/{ (X_4)^2 } )


******************************** StepW: 185 **********************************
C: push/pop (185,0) C_0*X_1*sin(X_1)
C: TestScore 2000
C: coeff vals: -0.027394
C: push/pop (185,1) C_0*X_4*(cos(X_2))^9
C: TestScore 2000
C: coeff vals: -0.029884
C: push/pop (185,2) ( C_0 + C_1*(sin(X_2))^4 )
C: TestScore 2000
C: coeff vals: -4.836576
C: coeff vals: -1.515710
BEST PUSH/push(0,555): C_0*X_1*sin(X_1)
BEST PUSH/push(1,556): C_0*X_4*(cos(X_2))^9
BEST PUSH/push(2,557): ( C_0 + C_1*(sin(X_2))^4 )


******************************** StepW: 186 **********************************
C: push/pop (186,0) C_0*(cos(X_2))^11
C: TestScore 2000
C: coeff vals: -2.165197
C: push/pop (186,1) C_0*X_4*(sin(X_1))^8
C: TestScore 2000
C: coeff vals: -0.029005
C: push/pop (186,2) ( C_0 + C_1*(sin(X_2))^5 )
C: TestScore 2000
C: coeff vals: -5.377719
C: coeff vals: -0.539976
BEST PUSH/push(0,558): C_0*(cos(X_2))^11
BEST PUSH/push(1,559): C_0*X_4*(sin(X_1))^8
BEST PUSH/push(2,560): ( C_0 + C_1*(sin(X_2))^5 )


******************************** StepW: 187 **********************************
C: push/pop (187,0) C_0*(cos(X_2))^12
C: TestScore 2000
C: coeff vals: -6.019905
C: push/pop (187,1) ( C_0 + C_1*(sin(X_2))^6 )
C: TestScore 2000
C: coeff vals: -4.936468
C: coeff vals: -1.496320
C: push/pop (187,2) ( { C_0 }/{ X_3 } + { X_1 }/{ (X_4)^2 } )
C: TestScore 2000
C: coeff vals: 0.149754
BEST PUSH/push(0,561): C_0*(cos(X_2))^12
BEST PUSH/push(1,562): ( C_0 + C_1*(sin(X_2))^6 )
BEST PUSH/push(2,563): ( { C_0 }/{ X_3 } + { X_1 }/{ (X_4)^2 } )


******************************** StepW: 188 **********************************
C: push/pop (188,0) C_0*X_3*tan(X_0)
C: TestScore 2000
C: coeff vals: 0.000850
C: push/pop (188,1) C_0*X_4*(cos(X_2))^11
C: TestScore 2000
C: coeff vals: -0.032240
C: push/pop (188,2) ( C_0 + C_1*(sin(X_2))^7 )
C: TestScore 2000
C: coeff vals: -5.373127
C: coeff vals: -0.438712
BEST PUSH/push(0,564): C_0*X_3*tan(X_0)
BEST PUSH/push(1,565): C_0*X_4*(cos(X_2))^11
BEST PUSH/push(2,566): ( C_0 + C_1*(sin(X_2))^7 )


******************************** StepW: 189 **********************************
C: push/pop (189,0) C_0*X_0*sin(X_1)
C: TestScore 2000
C: coeff vals: 0.072386
C: push/pop (189,1) C_0*sin(X_1)*(X_1)^2
C: TestScore 2000
C: coeff vals: -0.001316
C: push/pop (189,2) ( C_0 + C_1*(sin(X_2))^8 )
C: TestScore 2000
C: coeff vals: -5.009890
C: coeff vals: -1.437487
BEST PUSH/push(0,567): C_0*X_0*sin(X_1)
BEST PUSH/push(1,568): C_0*sin(X_1)*(X_1)^2
BEST PUSH/push(2,569): ( C_0 + C_1*(sin(X_2))^8 )


******************************** StepW: 190 **********************************
C: push/pop (190,0) C_0*(sin(X_0))^3
C: TestScore 2000
C: coeff vals: 2.506081
C: push/pop (190,1) C_0*X_2*X_3*cos(X_0)
C: TestScore 2000
C: coeff vals: -0.000887
C: push/pop (190,2) ( C_0 + C_1*(sin(X_2))^9 )
C: TestScore 2000
C: coeff vals: -5.370318
C: coeff vals: -0.322925
BEST PUSH/push(0,570): C_0*(sin(X_0))^3
BEST PUSH/push(1,571): C_0*X_2*X_3*cos(X_0)
BEST PUSH/push(2,572): ( C_0 + C_1*(sin(X_2))^9 )


******************************** StepW: 191 **********************************
C: push/pop (191,0) C_0*(sin(X_0))^4
C: TestScore 2000
C: coeff vals: -8.381029
C: push/pop (191,1) ( C_0 + C_1*(sin(X_2))^10 )
C: TestScore 2000
C: coeff vals: -5.073475
C: coeff vals: -1.329366
C: push/pop (191,2) ( { X_0 }/{ X_4 } + { X_1 }/{ (X_4)^2 } )
C: TestScore 2000
BEST PUSH/push(0,573): C_0*(sin(X_0))^4
BEST PUSH/push(1,574): ( C_0 + C_1*(sin(X_2))^10 )
BEST PUSH/push(2,575): ( { X_0 }/{ X_4 } + { X_1 }/{ (X_4)^2 } )


******************************** StepW: 192 **********************************
C: push/pop (192,0) C_0*X_0*X_1*X_2
C: TestScore 2000
C: coeff vals: -0.000065
C: push/pop (192,1) C_0*X_3*(sin(X_0))^3
C: TestScore 2000
C: coeff vals: 0.036839
C: push/pop (192,2) ( C_0 + C_1*(sin(X_2))^11 )
C: TestScore 2000
C: coeff vals: -5.368928
C: coeff vals: -0.208368
BEST PUSH/push(0,576): C_0*X_0*X_1*X_2
BEST PUSH/push(1,577): C_0*X_3*(sin(X_0))^3
BEST PUSH/push(2,578): ( C_0 + C_1*(sin(X_2))^11 )


******************************** StepW: 193 **********************************
C: push/pop (193,0) C_0*X_1*(X_0)^2
C: TestScore 2000
C: coeff vals: -0.000017
C: push/pop (193,1) C_0*X_2*(sin(X_4))^7
C: TestScore 2000
C: coeff vals: 0.016355
C: push/pop (193,2) ( C_0 + C_1*(sin(X_2))^12 )
C: TestScore 2000
C: coeff vals: -5.128313
C: coeff vals: -1.192557
BEST PUSH/push(0,579): C_0*X_1*(X_0)^2
BEST PUSH/push(1,580): C_0*X_2*(sin(X_4))^7
BEST PUSH/push(2,581): ( C_0 + C_1*(sin(X_2))^12 )


******************************** StepW: 194 **********************************
C: push/pop (194,0) C_0*X_4*tan(X_1)
C: TestScore 2000
C: coeff vals: 0.003117
C: push/pop (194,1) C_0*X_3*X_4*sin(X_3)
C: TestScore 2000
C: coeff vals: -0.000887
C: push/pop (194,2) ( C_0 + C_1*X_3*tan(X_0) )
C: TestScore 2000
C: coeff vals: -5.307420
C: coeff vals: 0.000780
BEST PUSH/push(0,582): C_0*X_4*tan(X_1)
BEST PUSH/push(1,583): C_0*X_3*X_4*sin(X_3)
BEST PUSH/push(2,584): ( C_0 + C_1*X_3*tan(X_0) )


******************************** StepW: 195 **********************************
C: push/pop (195,0) C_0*X_2*tan(X_0)
C: TestScore 2000
C: coeff vals: -0.001063
C: push/pop (195,1) C_0*sin(X_1)*cos(X_0)
C: TestScore 2000
C: coeff vals: 0.487539
C: push/pop (195,2) ( C_0 + C_1*X_1*tan(X_0) )
C: TestScore 2000
C: coeff vals: -5.379512
C: coeff vals: 0.001102
BEST PUSH/push(0,585): C_0*X_2*tan(X_0)
BEST PUSH/push(1,586): C_0*sin(X_1)*cos(X_0)
BEST PUSH/push(2,587): ( C_0 + C_1*X_1*tan(X_0) )


******************************** StepW: 196 **********************************
C: push/pop (196,0) C_0*(sin(X_0))^5
C: TestScore 2000
C: coeff vals: 2.778952
C: push/pop (196,1) C_0*X_0*X_1*cos(X_4)
C: TestScore 2000
C: coeff vals: -0.000585
C: push/pop (196,2) ( C_0 + C_1*(cos(X_2))^2 )
C: TestScore 2000
C: coeff vals: -6.238950
C: coeff vals: 1.657387
BEST PUSH/push(0,588): C_0*(sin(X_0))^5
BEST PUSH/push(1,589): C_0*X_0*X_1*cos(X_4)
BEST PUSH/push(2,590): ( C_0 + C_1*(cos(X_2))^2 )


******************************** StepW: 197 **********************************
C: push/pop (197,0) C_0*(sin(X_0))^6
C: TestScore 2000
C: coeff vals: -8.790379
C: push/pop (197,1) ( C_0 + C_1*(sin(X_2))^2 )
C: TestScore 2000
C: coeff vals: -4.581563
C: coeff vals: -1.657388
C: push/pop (197,2) ( { X_1 }/{ X_0 } + { X_1 }/{ (X_4)^2 } )
C: TestScore 2000
BEST PUSH/push(0,591): C_0*(sin(X_0))^6
BEST PUSH/push(1,592): ( C_0 + C_1*(sin(X_2))^2 )
BEST PUSH/push(2,593): ( { X_1 }/{ X_0 } + { X_1 }/{ (X_4)^2 } )


******************************** StepW: 198 **********************************
C: push/pop (198,0) C_0*(sin(X_0))^7
C: TestScore 2000
C: coeff vals: 3.001398
C: push/pop (198,1) C_0*X_3*(sin(X_0))^5
C: TestScore 2000
C: coeff vals: 0.046754
C: push/pop (198,2) ( C_0 + cos(C_1*X_1*X_3) )
C: TestScore 2000
C: coeff vals: -5.307309
C: coeff vals: 0.992605
BEST PUSH/push(0,594): C_0*(sin(X_0))^7
BEST PUSH/push(1,595): C_0*X_3*(sin(X_0))^5
BEST PUSH/push(2,596): ( C_0 + cos(C_1*X_1*X_3) )


******************************** StepW: 199 **********************************
C: push/pop (199,0) C_0*(sin(X_0))^8
C: TestScore 2000
C: coeff vals: -9.080985
C: push/pop (199,1) ( C_0 + C_1*X_1*(X_0)^2 )
C: TestScore 2000
C: coeff vals: -5.374199
C: coeff vals: -0.000019
C: push/pop (199,2) ( { X_1 }/{ C_0 } + { X_1 }/{ (X_4)^2 } )
C: TestScore 2000
C: coeff vals: 1409930915.837186
BEST PUSH/push(0,597): C_0*(sin(X_0))^8
BEST PUSH/push(1,598): ( C_0 + C_1*X_1*(X_0)^2 )
BEST PUSH/push(2,599): ( { X_1 }/{ C_0 } + { X_1 }/{ (X_4)^2 } )


******************************** StepW: 200 **********************************
C: push/pop (200,0) C_0*(sin(X_3))^3
C: TestScore 2000
C: coeff vals: 2.227152
C: push/pop (200,1) C_0*X_3*(sin(X_0))^7
C: TestScore 2000
C: coeff vals: 0.051204
C: push/pop (200,2) ( C_0 + cos(C_1*X_1*X_2) )
C: TestScore 2000
C: coeff vals: -5.446254
C: coeff vals: 0.999385
BEST PUSH/push(0,600): C_0*(sin(X_3))^3
BEST PUSH/push(1,601): C_0*X_3*(sin(X_0))^7
BEST PUSH/push(2,602): ( C_0 + cos(C_1*X_1*X_2) )


******************************** StepW: 201 **********************************
C: push/pop (201,0) C_0*(sin(X_3))^4
C: TestScore 2000
C: coeff vals: -8.416756
C: push/pop (201,1) ( C_0 + cos(C_1*X_2) )
C: TestScore 2000
C: coeff vals: -5.370267
C: coeff vals: 1.071456
C: push/pop (201,2) ( C_0 + C_1*X_0*sin(X_2) )
C: TestScore 2000
C: coeff vals: -5.358593
C: coeff vals: -0.034334
BEST PUSH/push(0,603): C_0*(sin(X_3))^4
BEST PUSH/push(1,604): ( C_0 + cos(C_1*X_2) )
BEST PUSH/push(2,605): ( C_0 + C_1*X_0*sin(X_2) )


******************************** StepW: 202 **********************************
C: push/pop (202,0) C_0*(sin(X_3))^5
C: TestScore 2000
C: coeff vals: 2.062215
C: push/pop (202,1) C_0*tan(X_3)*tan(X_4)
C: TestScore 2000
C: coeff vals: 0.004332
C: push/pop (202,2) ( C_0 + cos(X_3) + C_1*X_3 )
C: TestScore 2000
C: coeff vals: -5.419765
C: coeff vals: -0.007823
BEST PUSH/push(0,606): C_0*(sin(X_3))^5
BEST PUSH/push(1,607): C_0*tan(X_3)*tan(X_4)
BEST PUSH/push(2,608): ( C_0 + cos(X_3) + C_1*X_3 )


******************************** StepW: 203 **********************************
C: push/pop (203,0) ( C_0 + C_1 + cos(X_3) )
C: TestScore 2000
C: coeff vals: -3.207454
C: coeff vals: -2.207454
C: push/pop (203,1) ( C_0 + C_1 + C_2*X_3 )
C: TestScore 2000
C: coeff vals: -2.956207
C: coeff vals: -2.415905
C: coeff vals: -0.005832
C: push/pop (203,2) ( { X_1 }/{ X_4 } + { X_1 }/{ (X_4)^2 } )
C: TestScore 2000
BEST PUSH/push(0,609): ( C_0 + C_1 + cos(X_3) )
BEST PUSH/push(1,610): ( C_0 + C_1 + C_2*X_3 )
BEST PUSH/push(2,611): ( { X_1 }/{ X_4 } + { X_1 }/{ (X_4)^2 } )


******************************** StepW: 204 **********************************
C: push/pop (204,0) C_0*(sin(X_3))^6
C: TestScore 2000
C: coeff vals: -8.533954
C: push/pop (204,1) ( C_0 + C_1*cos(X_3) )
C: TestScore 2000
C: coeff vals: -5.359140
C: coeff vals: -0.201446
C: push/pop (204,2) ( { X_1 }/{ (X_4)^2 } + { X_4 }/{ X_1 } )
C: TestScore 2000
BEST PUSH/push(0,612): C_0*(sin(X_3))^6
BEST PUSH/push(1,613): ( C_0 + C_1*cos(X_3) )
BEST PUSH/push(2,614): ( { X_1 }/{ (X_4)^2 } + { X_4 }/{ X_1 } )


******************************** StepW: 205 **********************************
C: push/pop (205,0) C_0*(sin(X_3))^7
C: TestScore 2000
C: coeff vals: 1.815484
C: push/pop (205,1) ( cos(X_3) + C_0*C_1 )
C: TestScore 2000
C: coeff vals: -5.409677
C: coeff vals: 1.000967
C: push/pop (205,2) ( { C_0 }/{ X_1 } + { X_1 }/{ (X_4)^2 } )
C: TestScore 2000
C: coeff vals: -2.458081
BEST PUSH/push(0,615): C_0*(sin(X_3))^7
BEST PUSH/push(1,616): ( cos(X_3) + C_0*C_1 )
BEST PUSH/push(2,617): ( { C_0 }/{ X_1 } + { X_1 }/{ (X_4)^2 } )


******************************** StepW: 206 **********************************
C: push/pop (206,0) C_0*(sin(X_3))^8
C: TestScore 2000
C: coeff vals: -8.446659
C: push/pop (206,1) ( C_0 + C_1*X_3*cos(X_2) )
C: TestScore 2000
C: coeff vals: -5.407813
C: coeff vals: -0.032788
C: push/pop (206,2) ( { X_1 }/{ X_3 } + { X_1 }/{ (X_4)^2 } )
C: TestScore 2000
BEST PUSH/push(0,618): C_0*(sin(X_3))^8
BEST PUSH/push(1,619): ( C_0 + C_1*X_3*cos(X_2) )
BEST PUSH/push(2,620): ( { X_1 }/{ X_3 } + { X_1 }/{ (X_4)^2 } )


******************************** StepW: 207 **********************************
C: push/pop (207,0) C_0*(sin(X_3))^9
C: TestScore 2000
C: coeff vals: 1.554743
C: push/pop (207,1) C_0*X_1*(sin(X_3))^8
C: TestScore 2000
C: coeff vals: 0.021138
C: push/pop (207,2) ( C_0 + cos(X_3) + { C_1 }/{ X_3 } )
C: TestScore 2000
C: coeff vals: -5.391042
C: coeff vals: 0.070990
BEST PUSH/push(0,621): C_0*(sin(X_3))^9
BEST PUSH/push(1,622): C_0*X_1*(sin(X_3))^8
BEST PUSH/push(2,623): ( C_0 + cos(X_3) + { C_1 }/{ X_3 } )


******************************** StepW: 208 **********************************
C: push/pop (208,0) C_0*(sin(X_3))^10
C: TestScore 2000
C: coeff vals: -8.275735
C: push/pop (208,1) ( C_0 + C_1 + { C_2 }/{ X_3 } )
C: TestScore 2000
C: coeff vals: -2.945099
C: coeff vals: -2.404797
C: coeff vals: 0.055310
C: push/pop (208,2) ( { X_1 }/{ (X_4)^2 } + { X_2 }/{ X_1 } )
C: TestScore 2000
BEST PUSH/push(0,624): C_0*(sin(X_3))^10
BEST PUSH/push(1,625): ( C_0 + C_1 + { C_2 }/{ X_3 } )
BEST PUSH/push(2,626): ( { X_1 }/{ (X_4)^2 } + { X_2 }/{ X_1 } )


******************************** StepW: 209 **********************************
C: push/pop (209,0) C_0*(sin(X_3))^11
C: TestScore 2000
C: coeff vals: 1.307273
C: push/pop (209,1) C_0*X_1*(sin(X_3))^10
C: TestScore 2000
C: coeff vals: 0.034105
C: push/pop (209,2) ( { C_0 }/{ C_1 } + C_2*C_3 )
C: TestScore 2000
C: coeff vals: -1.605762
C: coeff vals: 0.524236
C: coeff vals: 1.319942
C: coeff vals: -1.746622
BEST PUSH/push(0,627): C_0*(sin(X_3))^11
BEST PUSH/push(1,628): C_0*X_1*(sin(X_3))^10
BEST PUSH/push(2,629): ( { C_0 }/{ C_1 } + C_2*C_3 )


******************************** StepW: 210 **********************************
C: push/pop (210,0) C_0*(sin(X_3))^12
C: TestScore 2000
C: coeff vals: -8.076352
C: push/pop (210,1) ( C_0 + cos(X_3) + { C_1 }/{ C_2 } )
C: TestScore 2000
C: coeff vals: -4.724766
C: coeff vals: -1.961308
C: coeff vals: 2.841893
C: push/pop (210,2) ( { X_1 }/{ (X_4)^2 } + { X_2 }/{ C_0 } )
C: TestScore 2000
C: coeff vals: 20.944582
BEST PUSH/push(0,630): C_0*(sin(X_3))^12
BEST PUSH/push(1,631): ( C_0 + cos(X_3) + { C_1 }/{ C_2 } )
BEST PUSH/push(2,632): ( { X_1 }/{ (X_4)^2 } + { X_2 }/{ C_0 } )


******************************** StepW: 211 **********************************
C: push/pop (211,0) C_0*(sin(X_0))^9
C: TestScore 2000
C: coeff vals: 3.180685
C: push/pop (211,1) C_0*X_1*(sin(X_3))^12
C: TestScore 2000
C: coeff vals: 0.045634
C: push/pop (211,2) ( C_0 + cos(X_3) + { C_1 }/{ X_0 } )
C: TestScore 2000
C: coeff vals: -5.405303
C: coeff vals: 0.281687
BEST PUSH/push(0,633): C_0*(sin(X_0))^9
BEST PUSH/push(1,634): C_0*X_1*(sin(X_3))^12
BEST PUSH/push(2,635): ( C_0 + cos(X_3) + { C_1 }/{ X_0 } )


******************************** StepW: 212 **********************************
C: push/pop (212,0) C_0*(sin(X_0))^10
C: TestScore 2000
C: coeff vals: -9.294393
C: push/pop (212,1) ( C_0 + C_1 + { C_2 }/{ X_0 } )
C: TestScore 2000
C: coeff vals: -2.947484
C: coeff vals: -2.407182
C: coeff vals: 0.405473
C: push/pop (212,2) ( { X_1 }/{ (X_4)^2 } + { X_2 }/{ X_4 } )
C: TestScore 2000
BEST PUSH/push(0,636): C_0*(sin(X_0))^10
BEST PUSH/push(1,637): ( C_0 + C_1 + { C_2 }/{ X_0 } )
BEST PUSH/push(2,638): ( { X_1 }/{ (X_4)^2 } + { X_2 }/{ X_4 } )


******************************** StepW: 213 **********************************
C: push/pop (213,0) C_0*(sin(X_0))^11
C: TestScore 2000
C: coeff vals: 3.317759
C: push/pop (213,1) C_0*X_3*(sin(X_0))^9
C: TestScore 2000
C: coeff vals: 0.052458
C: push/pop (213,2) ( C_0 + sin(X_3) + C_1*X_3 )
C: TestScore 2000
C: coeff vals: -5.275422
C: coeff vals: -0.002941
BEST PUSH/push(0,639): C_0*(sin(X_0))^11
BEST PUSH/push(1,640): C_0*X_3*(sin(X_0))^9
BEST PUSH/push(2,641): ( C_0 + sin(X_3) + C_1*X_3 )


******************************** StepW: 214 **********************************
C: push/pop (214,0) ( C_0 + C_1 + sin(X_3) )
C: TestScore 2000
C: coeff vals: -3.136798
C: coeff vals: -2.136798
C: push/pop (214,1) ( C_0 + C_1*X_3*sin(X_4) )
C: TestScore 2000
C: coeff vals: -5.347936
C: coeff vals: 0.032587
C: push/pop (214,2) ( { X_1 }/{ (X_4)^2 } + { X_3 }/{ X_1 } )
C: TestScore 2000
BEST PUSH/push(0,642): ( C_0 + C_1 + sin(X_3) )
BEST PUSH/push(1,643): ( C_0 + C_1*X_3*sin(X_4) )
BEST PUSH/push(2,644): ( { X_1 }/{ (X_4)^2 } + { X_3 }/{ X_1 } )


******************************** StepW: 215 **********************************
C: push/pop (215,0) C_0*(sin(X_0))^12
C: TestScore 2000
C: coeff vals: -9.459441
C: push/pop (215,1) ( sin(X_3) + C_0*C_1 )
C: TestScore 2000
C: coeff vals: -5.268511
C: coeff vals: 1.000965
C: push/pop (215,2) ( C_0 + cos(X_3) + C_1*X_4 )
C: TestScore 2000
C: coeff vals: -5.408757
C: coeff vals: -0.005154
BEST PUSH/push(0,645): C_0*(sin(X_0))^12
BEST PUSH/push(1,646): ( sin(X_3) + C_0*C_1 )
BEST PUSH/push(2,647): ( C_0 + cos(X_3) + C_1*X_4 )


******************************** StepW: 216 **********************************
C: push/pop (216,0) C_0*X_2*(X_3)^2
C: TestScore 2000
C: coeff vals: 0.000046
C: push/pop (216,1) ( C_0 + C_1 + C_2*X_4 )
C: TestScore 2000
C: coeff vals: -2.952857
C: coeff vals: -2.412555
C: coeff vals: -0.002580
C: push/pop (216,2) ( { X_1 }/{ (X_4)^2 } + { X_3 }/{ C_0 } )
C: TestScore 2000
C: coeff vals: 458404829.118102
BEST PUSH/push(0,648): C_0*X_2*(X_3)^2
BEST PUSH/push(1,649): ( C_0 + C_1 + C_2*X_4 )
BEST PUSH/push(2,650): ( { X_1 }/{ (X_4)^2 } + { X_3 }/{ C_0 } )


******************************** StepW: 217 **********************************
C: push/pop (217,0) C_0*(cos(X_0))^3
C: TestScore 2000
C: coeff vals: 2.067869
C: push/pop (217,1) C_0*X_3*(sin(X_0))^11
C: TestScore 2000
C: coeff vals: 0.051871
C: push/pop (217,2) ( C_0 + sin(C_1*(X_0)^2) )
C: TestScore 2000
C: coeff vals: -5.300880
C: coeff vals: 1.001498
BEST PUSH/push(0,651): C_0*(cos(X_0))^3
BEST PUSH/push(1,652): C_0*X_3*(sin(X_0))^11
BEST PUSH/push(2,653): ( C_0 + sin(C_1*(X_0)^2) )


******************************** StepW: 218 **********************************
C: push/pop (218,0) C_0*(cos(X_0))^4
C: TestScore 2000
C: coeff vals: -6.891063
C: push/pop (218,1) ( C_0 + cos(C_1*X_0*X_4) )
C: TestScore 2000
C: coeff vals: -5.402965
C: coeff vals: 0.998225
C: push/pop (218,2) ( { X_1 }/{ (X_4)^2 } + { X_3 }/{ X_4 } )
C: TestScore 2000
BEST PUSH/push(0,654): C_0*(cos(X_0))^4
BEST PUSH/push(1,655): ( C_0 + cos(C_1*X_0*X_4) )
BEST PUSH/push(2,656): ( { X_1 }/{ (X_4)^2 } + { X_3 }/{ X_4 } )


******************************** StepW: 219 **********************************
C: push/pop (219,0) ( C_0 + { X_4 }/{ X_1 } )
C: TestScore 2000
C: coeff vals: -5.752746
C: push/pop (219,1) ( C_0 + cos(C_1*X_4) )
C: TestScore 2000
C: coeff vals: -5.366723
C: coeff vals: 0.995763
C: push/pop (219,2) ( C_0 + cos(X_3) + C_1*X_1 )
C: TestScore 2000
C: coeff vals: -5.417432
C: coeff vals: -0.002511
BEST PUSH/push(0,657): ( C_0 + { X_4 }/{ X_1 } )
BEST PUSH/push(1,658): ( C_0 + cos(C_1*X_4) )
BEST PUSH/push(2,659): ( C_0 + cos(X_3) + C_1*X_1 )


******************************** StepW: 220 **********************************
C: push/pop (220,0) ( C_0 + { X_4 }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.368493
C: coeff vals: 521622.670199
C: push/pop (220,1) ( C_0 + { X_4 }/{ C_1*X_1 } )
C: TestScore 2000
C: coeff vals: -5.368492
C: coeff vals: 327973.524849
C: push/pop (220,2) ( { C_0 }/{ X_4 } + { X_1 }/{ (X_4)^2 } )
C: TestScore 2000
C: coeff vals: 40.092758
BEST PUSH/push(0,660): ( C_0 + { X_4 }/{ C_1 } )
BEST PUSH/push(1,661): ( C_0 + { X_4 }/{ C_1*X_1 } )
BEST PUSH/push(2,662): ( { C_0 }/{ X_4 } + { X_1 }/{ (X_4)^2 } )


******************************** StepW: 221 **********************************
C: push/pop (221,0) ( C_0 + X_4 )
C: TestScore 2000
C: coeff vals: -6.561877
C: push/pop (221,1) ( C_0 + { X_4 }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.368493
C: coeff vals: 521622.670199
C: push/pop (221,2) ( C_0 + { cos(X_4) }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.368491
C: coeff vals: 197498.558605
BEST PUSH/push(0,663): ( C_0 + X_4 )
BEST PUSH/push(1,664): ( C_0 + { X_4 }/{ C_1 } )
BEST PUSH/push(2,665): ( C_0 + { cos(X_4) }/{ C_1 } )


******************************** StepW: 222 **********************************
C: push/pop (222,0) ( C_0 + cos(X_4) )
C: TestScore 2000
C: coeff vals: -5.368102
C: push/pop (222,1) ( C_0 + C_1*X_4 )
C: TestScore 2000
C: coeff vals: -5.365412
C: coeff vals: -0.002580
C: push/pop (222,2) ( C_0 + { X_4 }/{ C_1*X_1 } )
C: TestScore 2000
C: coeff vals: -5.368492
C: coeff vals: 327973.524849
BEST PUSH/push(0,666): ( C_0 + cos(X_4) )
BEST PUSH/push(1,667): ( C_0 + C_1*X_4 )
BEST PUSH/push(2,668): ( C_0 + { X_4 }/{ C_1*X_1 } )


******************************** StepW: 223 **********************************
C: push/pop (223,0) ( C_0 + sin(X_4) )
C: TestScore 2000
C: coeff vals: -5.388753
C: push/pop (223,1) ( C_0 + C_1*C_2*X_4 )
C: TestScore 2000
C: coeff vals: -5.365412
C: coeff vals: 0.052371
C: coeff vals: -0.049263
C: push/pop (223,2) ( { C_0 }/{ X_4 } + { X_1 }/{ (X_4)^2 } )
C: TestScore 2000
C: coeff vals: 40.092758
BEST PUSH/push(0,669): ( C_0 + sin(X_4) )
BEST PUSH/push(1,670): ( C_0 + C_1*C_2*X_4 )
BEST PUSH/push(2,671): ( { C_0 }/{ X_4 } + { X_1 }/{ (X_4)^2 } )


******************************** StepW: 224 **********************************
C: push/pop (224,0) ( C_0 + tan(X_4) )
C: TestScore 2000
C: coeff vals: -5.798040
C: push/pop (224,1) C_0*X_0*sin(X_4)
C: TestScore 2000
C: coeff vals: -0.062024
C: push/pop (224,2) ( C_0 + { sin(X_4) }/{ X_1 } )
C: TestScore 2000
C: coeff vals: -5.389501
BEST PUSH/push(0,672): ( C_0 + tan(X_4) )
BEST PUSH/push(1,673): C_0*X_0*sin(X_4)
BEST PUSH/push(2,674): ( C_0 + { sin(X_4) }/{ X_1 } )


******************************** StepW: 225 **********************************
C: push/pop (225,0) C_0*(cos(X_0))^5
C: TestScore 2000
C: coeff vals: 2.589150
C: push/pop (225,1) ( C_0 + C_1 + C_2*X_1 )
C: TestScore 2000
C: coeff vals: -2.956277
C: coeff vals: -2.415975
C: coeff vals: -0.003740
C: push/pop (225,2) ( C_0 + { C_1*X_4 }/{ X_1 } )
C: TestScore 2000
C: coeff vals: -5.366422
C: coeff vals: -0.005384
BEST PUSH/push(0,675): C_0*(cos(X_0))^5
BEST PUSH/push(1,676): ( C_0 + C_1 + C_2*X_1 )
BEST PUSH/push(2,677): ( C_0 + { C_1*X_4 }/{ X_1 } )


******************************** StepW: 226 **********************************
C: push/pop (226,0) C_0*(cos(X_0))^6
C: TestScore 2000
C: coeff vals: -7.111404
C: push/pop (226,1) ( C_0 + { cos(X_4) }/{ X_1 } )
C: TestScore 2000
C: coeff vals: -5.440627
C: push/pop (226,2) ( { X_1 }/{ X_2 } + { X_1 }/{ (X_4)^2 } )
C: TestScore 2000
BEST PUSH/push(0,678): C_0*(cos(X_0))^6
BEST PUSH/push(1,679): ( C_0 + { cos(X_4) }/{ X_1 } )
BEST PUSH/push(2,680): ( { X_1 }/{ X_2 } + { X_1 }/{ (X_4)^2 } )


******************************** StepW: 227 **********************************
C: push/pop (227,0) C_0*(cos(X_0))^7
C: TestScore 2000
C: coeff vals: 2.918401
C: push/pop (227,1) ( C_0 + { cos(X_4) }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.368491
C: coeff vals: 197498.558605
C: push/pop (227,2) ( { C_0 }/{ X_2 } + { X_1 }/{ (X_4)^2 } )
C: TestScore 2000
C: coeff vals: 2.889286
BEST PUSH/push(0,681): C_0*(cos(X_0))^7
BEST PUSH/push(1,682): ( C_0 + { cos(X_4) }/{ C_1 } )
BEST PUSH/push(2,683): ( { C_0 }/{ X_2 } + { X_1 }/{ (X_4)^2 } )


******************************** StepW: 228 **********************************
C: push/pop (228,0) C_0*(cos(X_0))^8
C: TestScore 2000
C: coeff vals: -7.266531
C: push/pop (228,1) ( C_0 + cos(C_1*X_4) )
C: TestScore 2000
C: coeff vals: -5.366723
C: coeff vals: 0.995763
C: push/pop (228,2) ( C_0 + cos(C_1*(X_4)^2) )
C: TestScore 2000
C: coeff vals: -5.294558
C: coeff vals: 1.000226
BEST PUSH/push(0,684): C_0*(cos(X_0))^8
BEST PUSH/push(1,685): ( C_0 + cos(C_1*X_4) )
BEST PUSH/push(2,686): ( C_0 + cos(C_1*(X_4)^2) )


******************************** StepW: 229 **********************************
C: push/pop (229,0) C_0*(cos(X_0))^9
C: TestScore 2000
C: coeff vals: 3.148621
C: push/pop (229,1) ( C_0 + sin(C_1*X_4) )
C: TestScore 2000
C: coeff vals: -5.412652
C: coeff vals: 1.031225
C: push/pop (229,2) ( C_0 + sin(X_3) + C_1*X_4 )
C: TestScore 2000
C: coeff vals: -5.268514
C: coeff vals: -0.004258
BEST PUSH/push(0,687): C_0*(cos(X_0))^9
BEST PUSH/push(1,688): ( C_0 + sin(C_1*X_4) )
BEST PUSH/push(2,689): ( C_0 + sin(X_3) + C_1*X_4 )


******************************** StepW: 230 **********************************
C: push/pop (230,0) C_0*(cos(X_0))^10
C: TestScore 2000
C: coeff vals: -7.364513
C: push/pop (230,1) ( C_0 + { tan(X_4) }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.390101
C: coeff vals: 19.877555
C: push/pop (230,2) ( C_0 + cos(C_1*(X_0)^2) )
C: TestScore 2000
C: coeff vals: -5.322625
C: coeff vals: 1.000565
BEST PUSH/push(0,690): C_0*(cos(X_0))^10
BEST PUSH/push(1,691): ( C_0 + { tan(X_4) }/{ C_1 } )
BEST PUSH/push(2,692): ( C_0 + cos(C_1*(X_0)^2) )


******************************** StepW: 231 **********************************
C: push/pop (231,0) C_0*(cos(X_0))^11
C: TestScore 2000
C: coeff vals: 3.319263
C: push/pop (231,1) ( C_0 + { sin(X_4) }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.399606
C: coeff vals: 0.651221
C: push/pop (231,2) ( C_0 + cos(X_0) + C_1*X_4 )
C: TestScore 2000
C: coeff vals: -5.260301
C: coeff vals: -0.001338
BEST PUSH/push(0,693): C_0*(cos(X_0))^11
BEST PUSH/push(1,694): ( C_0 + { sin(X_4) }/{ C_1 } )
BEST PUSH/push(2,695): ( C_0 + cos(X_0) + C_1*X_4 )


******************************** StepW: 232 **********************************
C: push/pop (232,0) ( C_0 + C_1 + cos(X_0) )
C: TestScore 2000
C: coeff vals: -3.130949
C: coeff vals: -2.130949
C: push/pop (232,1) ( cos(X_0) + C_0*C_1 )
C: TestScore 2000
C: coeff vals: -5.256825
C: coeff vals: 1.000965
C: push/pop (232,2) ( C_0 + sin(C_1*(X_4)^2) )
C: TestScore 2000
C: coeff vals: -5.345056
C: coeff vals: 1.000779
BEST PUSH/push(0,696): ( C_0 + C_1 + cos(X_0) )
BEST PUSH/push(1,697): ( cos(X_0) + C_0*C_1 )
BEST PUSH/push(2,698): ( C_0 + sin(C_1*(X_4)^2) )


******************************** StepW: 233 **********************************
C: push/pop (233,0) C_0*(cos(X_0))^12
C: TestScore 2000
C: coeff vals: -7.422404
C: push/pop (233,1) ( C_0 + { sin(X_4) }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.399606
C: coeff vals: 0.651221
C: push/pop (233,2) ( C_0 + sin(C_1*(X_4)^3) )
C: TestScore 2000
C: coeff vals: -5.296869
C: coeff vals: 1.000041
BEST PUSH/push(0,699): C_0*(cos(X_0))^12
BEST PUSH/push(1,700): ( C_0 + { sin(X_4) }/{ C_1 } )
BEST PUSH/push(2,701): ( C_0 + sin(C_1*(X_4)^3) )


******************************** StepW: 234 **********************************
C: push/pop (234,0) C_0*X_0*tan(X_0)
C: TestScore 2000
C: coeff vals: -0.001255
C: push/pop (234,1) ( C_0 + { tan(X_4) }/{ X_1 } )
C: TestScore 2000
C: coeff vals: -5.391972
C: push/pop (234,2) ( C_0 + sin(C_1*(X_4)^4) )
C: TestScore 2000
C: coeff vals: -5.417873
C: coeff vals: 1.000001
BEST PUSH/push(0,702): C_0*X_0*tan(X_0)
BEST PUSH/push(1,703): ( C_0 + { tan(X_4) }/{ X_1 } )
BEST PUSH/push(2,704): ( C_0 + sin(C_1*(X_4)^4) )


******************************** StepW: 235 **********************************
C: push/pop (235,0) C_0*X_1*tan(X_4)
C: TestScore 2000
C: coeff vals: 0.002349
C: push/pop (235,1) ( C_0 + { tan(X_4) }/{ C_1 } )
C: TestScore 2000
C: coeff vals: -5.390101
C: coeff vals: 19.877555
C: push/pop (235,2) ( C_0 + cos(C_1*X_2*X_4) )
C: TestScore 2000
C: coeff vals: -5.401200
C: coeff vals: 1.001121
BEST PUSH/push(0,705): C_0*X_1*tan(X_4)
BEST PUSH/push(1,706): ( C_0 + { tan(X_4) }/{ C_1 } )
BEST PUSH/push(2,707): ( C_0 + cos(C_1*X_2*X_4) )


******************************** StepW: 236 **********************************
C: push/pop (236,0) C_0*X_2*cos(X_4)
C: TestScore 2000
C: coeff vals: -0.071961
C: push/pop (236,1) C_0*X_1*(sin(X_3))^11
C: TestScore 2000
C: coeff vals: -0.036715
C: push/pop (236,2) ( C_0 + cos(X_0) + C_1*X_3 )
C: TestScore 2000
C: coeff vals: -5.265693
C: coeff vals: -0.006112
BEST PUSH/push(0,708): C_0*X_2*cos(X_4)
BEST PUSH/push(1,709): C_0*X_1*(sin(X_3))^11
BEST PUSH/push(2,710): ( C_0 + cos(X_0) + C_1*X_3 )


******************************** StepW: 237 **********************************
C: push/pop (237,0) C_0*X_0*sin(X_0)
C: TestScore 2000
C: coeff vals: -0.055690
C: push/pop (237,1) C_0*X_1*(sin(X_3))^9
C: TestScore 2000
C: coeff vals: -0.025640
C: push/pop (237,2) ( C_0 + sin(X_3) + { C_1 }/{ X_3 } )
C: TestScore 2000
C: coeff vals: -5.254758
C: coeff vals: 0.056034
BEST PUSH/push(0,711): C_0*X_0*sin(X_0)
BEST PUSH/push(1,712): C_0*X_1*(sin(X_3))^9
BEST PUSH/push(2,713): ( C_0 + sin(X_3) + { C_1 }/{ X_3 } )


******************************** StepW: 238 **********************************
C: push/pop (238,0) C_0*X_0*cos(X_1)
C: TestScore 2000
C: coeff vals: 0.053120
C: push/pop (238,1) C_0*X_1*(sin(X_0))^12
C: TestScore 2000
C: coeff vals: 0.031888
C: push/pop (238,2) ( C_0 + sin(X_3) + { C_1 }/{ C_2 } )
C: TestScore 2000
C: coeff vals: -4.596620
C: coeff vals: -1.900604
C: coeff vals: 2.807492
BEST PUSH/push(0,714): C_0*X_0*cos(X_1)
BEST PUSH/push(1,715): C_0*X_1*(sin(X_0))^12
BEST PUSH/push(2,716): ( C_0 + sin(X_3) + { C_1 }/{ C_2 } )


******************************** StepW: 239 **********************************
C: push/pop (239,0) C_0*X_3*cos(X_0)
C: TestScore 2000
C: coeff vals: -0.063259
C: push/pop (239,1) C_0*X_4*(sin(X_1))^6
C: TestScore 2000
C: coeff vals: -0.022822
C: push/pop (239,2) ( C_0 + C_1*X_0*X_1*X_3 )
C: TestScore 2000
C: coeff vals: -5.410660
C: coeff vals: 0.000035
BEST PUSH/push(0,717): C_0*X_3*cos(X_0)
BEST PUSH/push(1,718): C_0*X_4*(sin(X_1))^6
BEST PUSH/push(2,719): ( C_0 + C_1*X_0*X_1*X_3 )


******************************** StepW: 240 **********************************
C: push/pop (240,0) C_0*(tan(X_0))^2
C: TestScore 2000
C: coeff vals: -0.000083
C: push/pop (240,1) C_0*X_1*X_2*sin(X_3)
C: TestScore 2000
C: coeff vals: -0.001496
C: push/pop (240,2) ( C_0 + sin(X_0) + C_1*X_4 )
C: TestScore 2000
C: coeff vals: -5.299400
C: coeff vals: -0.003002
BEST PUSH/push(0,720): C_0*(tan(X_0))^2
BEST PUSH/push(1,721): C_0*X_1*X_2*sin(X_3)
BEST PUSH/push(2,722): ( C_0 + sin(X_0) + C_1*X_4 )


******************************** StepW: 241 **********************************
C: push/pop (241,0) ( C_0 + C_1 + sin(X_0) )
C: TestScore 2000
C: coeff vals: -3.151491
C: coeff vals: -2.151491
C: push/pop (241,1) ( sin(X_0) + C_0*C_1 )
C: TestScore 2000
C: coeff vals: -5.297867
C: coeff vals: 1.000966
C: push/pop (241,2) ( C_0 + cos(X_4) + C_1*X_3 )
C: TestScore 2000
C: coeff vals: -5.371715
C: coeff vals: -0.005819
BEST PUSH/push(0,723): ( C_0 + C_1 + sin(X_0) )
BEST PUSH/push(1,724): ( sin(X_0) + C_0*C_1 )
BEST PUSH/push(2,725): ( C_0 + cos(X_4) + C_1*X_3 )


******************************** StepW: 242 **********************************
C: push/pop (242,0) ( C_0 + C_1 + cos(X_4) )
C: TestScore 2000
C: coeff vals: -3.184051
C: coeff vals: -2.184051
C: push/pop (242,1) ( C_0 + cos(C_1*(X_1)^2) )
C: TestScore 2000
C: coeff vals: -5.311994
C: coeff vals: 1.001297
C: push/pop (242,2) ( { X_1 }/{ (X_4)^2 } + { X_2 }/{ X_3 } )
C: TestScore 2000
BEST PUSH/push(0,726): ( C_0 + C_1 + cos(X_4) )
BEST PUSH/push(1,727): ( C_0 + cos(C_1*(X_1)^2) )
BEST PUSH/push(2,728): ( { X_1 }/{ (X_4)^2 } + { X_2 }/{ X_3 } )


******************************** StepW: 243 **********************************
C: push/pop (243,0) C_0*X_4*tan(X_4)
C: TestScore 2000
C: coeff vals: -0.003432
C: push/pop (243,1) ( cos(X_4) + C_0*C_1 )
C: TestScore 2000
C: coeff vals: -5.362920
C: coeff vals: 1.000966
C: push/pop (243,2) ( C_0 + sin(X_0) + C_1*X_3 )
C: TestScore 2000
C: coeff vals: -5.306999
C: coeff vals: -0.006469
BEST PUSH/push(0,729): C_0*X_4*tan(X_4)
BEST PUSH/push(1,730): ( cos(X_4) + C_0*C_1 )
BEST PUSH/push(2,731): ( C_0 + sin(X_0) + C_1*X_3 )


******************************** StepW: 244 **********************************
C: push/pop (244,0) C_0*X_2*(X_0)^2
C: TestScore 2000
C: coeff vals: 0.000048
C: push/pop (244,1) C_0*X_1*(cos(X_4))^4
C: TestScore 2000
C: coeff vals: 0.011384
C: push/pop (244,2) ( C_0 + sin(C_1*(X_3)^2) )
C: TestScore 2000
C: coeff vals: -5.390528
C: coeff vals: 1.000354
BEST PUSH/push(0,732): C_0*X_2*(X_0)^2
BEST PUSH/push(1,733): C_0*X_1*(cos(X_4))^4
BEST PUSH/push(2,734): ( C_0 + sin(C_1*(X_3)^2) )


******************************** StepW: 245 **********************************
C: push/pop (245,0) ( C_0 + { X_3 }/{ X_1 } )
C: TestScore 2000
C: coeff vals: -5.447171
C: push/pop (245,1) C_0*X_1*(sin(X_0))^10
C: TestScore 2000
C: coeff vals: 0.025718
C: push/pop (245,2) ( C_0 + cos(X_0) + { C_1 }/{ X_3 } )
C: TestScore 2000
C: coeff vals: -5.247788
C: coeff vals: 0.041971
BEST PUSH/push(0,735): ( C_0 + { X_3 }/{ X_1 } )
BEST PUSH/push(1,736): C_0*X_1*(sin(X_0))^10
BEST PUSH/push(2,737): ( C_0 + cos(X_0) + { C_1 }/{ X_3 } )


******************************** StepW: 246 **********************************
C: push/pop (246,0) C_0*X_3*tan(X_2)
C: TestScore 2000
C: coeff vals: -0.004037
C: push/pop (246,1) ( C_0 + { sin(X_3) }/{ X_1 } )
C: TestScore 2000
C: coeff vals: -5.370534
C: push/pop (246,2) ( C_0 + { X_3 }/{ C_1*X_1 } )
C: TestScore 2000
C: coeff vals: -5.368491
C: coeff vals: 940857.760206
BEST PUSH/push(0,738): C_0*X_3*tan(X_2)
BEST PUSH/push(1,739): ( C_0 + { sin(X_3) }/{ X_1 } )
BEST PUSH/push(2,740): ( C_0 + { X_3 }/{ C_1*X_1 } )


******************************** StepW: 247 **********************************
C: push/pop (247,0) C_0*X_1*tan(X_2)
C: TestScore 2000
C: coeff vals: -0.005238
C: push/pop (247,1) ( C_0 + { cos(X_3) }/{ X_1 } )
C: TestScore 2000
C: coeff vals: -5.333030
C: push/pop (247,2) ( C_0 + { X_3 }/{ C_1*X_1 } )
C: TestScore 2000
C: coeff vals: -5.368491
C: coeff vals: 940857.760206
BEST PUSH/push(0,741): C_0*X_1*tan(X_2)
BEST PUSH/push(1,742): ( C_0 + { cos(X_3) }/{ X_1 } )
BEST PUSH/push(2,743): ( C_0 + { X_3 }/{ C_1*X_1 } )


******************************** StepW: 248 **********************************
C: push/pop (248,0) ( C_0 + { X_1 }/{ X_2 } )
C: TestScore 2000
C: coeff vals: -4.547691
C: push/pop (248,1) ( C_0 + { tan(X_3) }/{ X_1 } )
C: TestScore 2000
C: coeff vals: -5.487231
C: push/pop (248,2) ( C_0 + cos(X_0) + { C_1 }/{ C_2 } )
C: TestScore 2000
C: coeff vals: -4.586032
C: coeff vals: -1.895567
C: coeff vals: 2.804648
BEST PUSH/push(0,744): ( C_0 + { X_1 }/{ X_2 } )
BEST PUSH/push(1,745): ( C_0 + { tan(X_3) }/{ X_1 } )
BEST PUSH/push(2,746): ( C_0 + cos(X_0) + { C_1 }/{ C_2 } )


******************************** StepW: 249 **********************************
C: push/pop (249,0) C_0*X_0*tan(X_1)
C: TestScore 2000
C: coeff vals: -0.007363
C: push/pop (249,1) ( C_0 + { cos(X_1) }/{ X_2 } )
C: TestScore 2000
C: coeff vals: -5.330738
C: push/pop (249,2) ( C_0 + { X_1 }/{ C_1*X_2 } )
C: TestScore 2000
C: coeff vals: -5.368490
C: coeff vals: 699452.410078
BEST PUSH/push(0,747): C_0*X_0*tan(X_1)
BEST PUSH/push(1,748): ( C_0 + { cos(X_1) }/{ X_2 } )
BEST PUSH/push(2,749): ( C_0 + { X_1 }/{ C_1*X_2 } )


******************************** StepW: 250 **********************************
C: push/pop (250,0) ( C_0 + { X_4 }/{ X_0 } )
C: TestScore 2000
C: coeff vals: -6.711807
C: push/pop (250,1) ( C_0 + { sin(X_1) }/{ X_2 } )
C: TestScore 2000
C: coeff vals: -5.370227
C: push/pop (250,2) ( { X_0 }/{ X_1 } + { X_1 }/{ (X_4)^2 } )
C: TestScore 2000
BEST PUSH/push(0,750): ( C_0 + { X_4 }/{ X_0 } )
BEST PUSH/push(1,751): ( C_0 + { sin(X_1) }/{ X_2 } )
BEST PUSH/push(2,752): ( { X_0 }/{ X_1 } + { X_1 }/{ (X_4)^2 } )


******************************** StepW: 251 **********************************
C: push/pop (251,0) C_0*(tan(X_4))^2
C: TestScore 2000
C: coeff vals: -0.000222
C: push/pop (251,1) ( C_0 + { sin(X_4) }/{ X_0 } )
C: TestScore 2000
C: coeff vals: -5.415667
C: push/pop (251,2) ( C_0 + { C_1*X_4 }/{ X_0 } )
C: TestScore 2000
C: coeff vals: -5.360470
C: coeff vals: -0.005971
BEST PUSH/push(0,753): C_0*(tan(X_4))^2
BEST PUSH/push(1,754): ( C_0 + { sin(X_4) }/{ X_0 } )
BEST PUSH/push(2,755): ( C_0 + { C_1*X_4 }/{ X_0 } )


******************************** StepW: 252 **********************************
C: push/pop (252,0) C_0*X_3*tan(X_1)
C: TestScore 2000
C: coeff vals: 0.010784
C: push/pop (252,1) ( C_0 + { cos(X_4) }/{ X_0 } )
C: TestScore 2000
C: coeff vals: -5.366917
C: push/pop (252,2) ( C_0 + { X_4 }/{ C_1*X_0 } )
C: TestScore 2000
C: coeff vals: -5.368494
C: coeff vals: 479354.071353
BEST PUSH/push(0,756): C_0*X_3*tan(X_1)
BEST PUSH/push(1,757): ( C_0 + { cos(X_4) }/{ X_0 } )
BEST PUSH/push(2,758): ( C_0 + { X_4 }/{ C_1*X_0 } )


******************************** StepW: 253 **********************************
C: push/pop (253,0) ( C_0 + { X_0 }/{ X_1 } )
C: TestScore 2000
C: coeff vals: -5.984380
C: push/pop (253,1) ( C_0 + { tan(X_4) }/{ X_0 } )
C: TestScore 2000
C: coeff vals: -5.657202
C: push/pop (253,2) ( C_0 + { X_4 }/{ C_1*X_0 } )
C: TestScore 2000
C: coeff vals: -5.368494
C: coeff vals: 479354.071353
BEST PUSH/push(0,759): ( C_0 + { X_0 }/{ X_1 } )
BEST PUSH/push(1,760): ( C_0 + { tan(X_4) }/{ X_0 } )
BEST PUSH/push(2,761): ( C_0 + { X_4 }/{ C_1*X_0 } )


******************************** StepW: 254 **********************************
C: push/pop (254,0) ( C_0 + { X_0 }/{ X_2 } )
C: TestScore 2000
C: coeff vals: -5.016004
C: push/pop (254,1) ( C_0 + { cos(X_0) }/{ X_1 } )
C: TestScore 2000
C: coeff vals: -5.396214
C: push/pop (254,2) ( { X_1 }/{ (X_4)^2 } + { X_4 }/{ X_2 } )
C: TestScore 2000
BEST PUSH/push(0,762): ( C_0 + { X_0 }/{ X_2 } )
BEST PUSH/push(1,763): ( C_0 + { cos(X_0) }/{ X_1 } )
BEST PUSH/push(2,764): ( { X_1 }/{ (X_4)^2 } + { X_4 }/{ X_2 } )


******************************** StepW: 255 **********************************
C: push/pop (255,0) C_0*X_2*tan(X_1)
C: TestScore 2000
C: coeff vals: 0.014772
C: push/pop (255,1) ( C_0 + { sin(X_0) }/{ X_1 } )
C: TestScore 2000
C: coeff vals: -5.387798
C: push/pop (255,2) ( { X_0 }/{ X_2 } + { X_1 }/{ (X_4)^2 } )
C: TestScore 2000
BEST PUSH/push(0,765): C_0*X_2*tan(X_1)
BEST PUSH/push(1,766): ( C_0 + { sin(X_0) }/{ X_1 } )
BEST PUSH/push(2,767): ( { X_0 }/{ X_2 } + { X_1 }/{ (X_4)^2 } )


******************************** StepW: 256 **********************************
C: push/pop (256,0) C_0*X_1*tan(X_1)
C: TestScore 2000
C: coeff vals: -0.012601
C: push/pop (256,1) ( C_0 + { sin(X_0) }/{ X_2 } )
C: TestScore 2000
C: coeff vals: -5.414816
C: push/pop (256,2) ( C_0 + { C_1*X_0 }/{ X_2 } )
C: TestScore 2000
C: coeff vals: -5.361939
C: coeff vals: 0.018586
BEST PUSH/push(0,768): C_0*X_1*tan(X_1)
BEST PUSH/push(1,769): ( C_0 + { sin(X_0) }/{ X_2 } )
BEST PUSH/push(2,770): ( C_0 + { C_1*X_0 }/{ X_2 } )


******************************** StepW: 257 **********************************
C: push/pop (257,0) C_0*X_2*tan(X_2)
C: TestScore 2000
C: coeff vals: 0.005031
C: push/pop (257,1) ( C_0 + { cos(X_0) }/{ X_2 } )
C: TestScore 2000
C: coeff vals: -5.387570
C: push/pop (257,2) ( C_0 + { X_0 }/{ C_1*X_2 } )
C: TestScore 2000
C: coeff vals: -5.361939
C: coeff vals: 53.804418
BEST PUSH/push(0,771): C_0*X_2*tan(X_2)
BEST PUSH/push(1,772): ( C_0 + { cos(X_0) }/{ X_2 } )
BEST PUSH/push(2,773): ( C_0 + { X_0 }/{ C_1*X_2 } )


******************************** StepW: 258 **********************************
C: push/pop (258,0) ( C_0 + { X_2 }/{ X_0 } )
C: TestScore 2000
C: coeff vals: -5.030984
C: push/pop (258,1) ( C_0 + { tan(X_0) }/{ X_1 } )
C: TestScore 2000
C: coeff vals: -5.001698
C: push/pop (258,2) ( C_0 + C_1*(sin(X_1))^2 )
C: TestScore 2000
C: coeff vals: -4.420322
C: coeff vals: -1.911961
BEST PUSH/push(0,774): ( C_0 + { X_2 }/{ X_0 } )
BEST PUSH/push(1,775): ( C_0 + { tan(X_0) }/{ X_1 } )
BEST PUSH/push(2,776): ( C_0 + C_1*(sin(X_1))^2 )


******************************** StepW: 259 **********************************
C: push/pop (259,0) ( C_0 + { X_4 }/{ X_2 } )
C: TestScore 2000
C: coeff vals: -4.994455
C: push/pop (259,1) ( C_0 + { sin(X_2) }/{ X_0 } )
C: TestScore 2000
C: coeff vals: -5.388439
C: push/pop (259,2) ( { X_1 }/{ (X_4)^2 } + { X_2 }/{ X_0 } )
C: TestScore 2000
BEST PUSH/push(0,777): ( C_0 + { X_4 }/{ X_2 } )
BEST PUSH/push(1,778): ( C_0 + { sin(X_2) }/{ X_0 } )
BEST PUSH/push(2,779): ( { X_1 }/{ (X_4)^2 } + { X_2 }/{ X_0 } )


******************************** StepW: 260 **********************************
C: push/pop (260,0) ( C_0 + { X_4 }/{ X_3 } )
C: TestScore 2000
C: coeff vals: -6.564439
C: push/pop (260,1) ( C_0 + { cos(X_4) }/{ X_2 } )
C: TestScore 2000
C: coeff vals: -5.375433
C: push/pop (260,2) ( C_0 + { X_4 }/{ C_1*X_2 } )
C: TestScore 2000
C: coeff vals: -5.368490
C: coeff vals: 314386.832703
BEST PUSH/push(0,780): ( C_0 + { X_4 }/{ X_3 } )
BEST PUSH/push(1,781): ( C_0 + { cos(X_4) }/{ X_2 } )
BEST PUSH/push(2,782): ( C_0 + { X_4 }/{ C_1*X_2 } )


******************************** StepW: 261 **********************************
C: push/pop (261,0) ( C_0 + { X_2 }/{ X_1 } )
C: TestScore 2000
C: coeff vals: -2.426281
C: push/pop (261,1) ( C_0 + { sin(X_4) }/{ X_3 } )
C: TestScore 2000
C: coeff vals: -5.271616
C: push/pop (261,2) ( C_0 + { X_4 }/{ C_1*X_3 } )
C: TestScore 2000
C: coeff vals: -5.368492
C: coeff vals: 711000.206572
BEST PUSH/push(0,783): ( C_0 + { X_2 }/{ X_1 } )
BEST PUSH/push(1,784): ( C_0 + { sin(X_4) }/{ X_3 } )
BEST PUSH/push(2,785): ( C_0 + { X_4 }/{ C_1*X_3 } )


******************************** StepW: 262 **********************************
C: push/pop (262,0) ( C_0 + { X_0 }/{ X_3 } )
C: TestScore 2000
C: coeff vals: -9.740738
C: push/pop (262,1) ( C_0 + { sin(X_2) }/{ X_1 } )
C: TestScore 2000
C: coeff vals: -5.321980
C: push/pop (262,2) ( C_0 + { X_4 }/{ C_1*X_3 } )
C: TestScore 2000
C: coeff vals: -5.368492
C: coeff vals: 711000.206572
BEST PUSH/push(0,786): ( C_0 + { X_0 }/{ X_3 } )
BEST PUSH/push(1,787): ( C_0 + { sin(X_2) }/{ X_1 } )
BEST PUSH/push(2,788): ( C_0 + { X_4 }/{ C_1*X_3 } )


******************************** StepW: 263 **********************************
C: push/pop (263,0) ( C_0 + { X_3 }/{ X_2 } )
C: TestScore 2000
C: coeff vals: -4.503038
C: push/pop (263,1) ( C_0 + { sin(X_0) }/{ X_3 } )
C: TestScore 2000
C: coeff vals: -5.442729
C: push/pop (263,2) ( C_0 + { C_1*X_0 }/{ X_3 } )
C: TestScore 2000
C: coeff vals: -5.353636
C: coeff vals: -0.003398
BEST PUSH/push(0,789): ( C_0 + { X_3 }/{ X_2 } )
BEST PUSH/push(1,790): ( C_0 + { sin(X_0) }/{ X_3 } )
BEST PUSH/push(2,791): ( C_0 + { C_1*X_0 }/{ X_3 } )


******************************** StepW: 264 **********************************
C: push/pop (264,0) ( C_0 + { X_3 }/{ X_0 } )
C: TestScore 2000
C: coeff vals: -4.183252
C: push/pop (264,1) ( C_0 + { sin(X_3) }/{ X_2 } )
C: TestScore 2000
C: coeff vals: -5.365424
C: push/pop (264,2) ( C_0 + { X_3 }/{ C_1*X_2 } )
C: TestScore 2000
C: coeff vals: -5.368489
C: coeff vals: 440389.052432
BEST PUSH/push(0,792): ( C_0 + { X_3 }/{ X_0 } )
BEST PUSH/push(1,793): ( C_0 + { sin(X_3) }/{ X_2 } )
BEST PUSH/push(2,794): ( C_0 + { X_3 }/{ C_1*X_2 } )


******************************** StepW: 265 **********************************
C: push/pop (265,0) ( C_0 + { X_1 }/{ X_3 } )
C: TestScore 2000
C: coeff vals: 0.048602
C: push/pop (265,1) ( C_0 + { cos(X_3) }/{ X_0 } )
C: TestScore 2000
C: coeff vals: -5.404066
C: push/pop (265,2) ( C_0 + { X_4 }/{ C_1*X_2 } )
C: TestScore 2000
C: coeff vals: -5.368490
C: coeff vals: 314386.832703
BEST PUSH/push(0,795): ( C_0 + { X_1 }/{ X_3 } )
BEST PUSH/push(1,796): ( C_0 + { cos(X_3) }/{ X_0 } )
BEST PUSH/push(2,797): ( C_0 + { X_4 }/{ C_1*X_2 } )


******************************** StepW: 266 **********************************
C: push/pop (266,0) ( C_0 + { X_2 }/{ X_3 } )
C: TestScore 2000
C: coeff vals: -11.296404
C: push/pop (266,1) ( C_0 + { cos(X_1) }/{ X_3 } )
C: TestScore 2000
C: coeff vals: -5.321842
C: push/pop (266,2) ( C_0 + { X_2 }/{ C_1*X_1 } )
C: TestScore 2000
C: coeff vals: -5.368488
C: coeff vals: 1187093.022177
BEST PUSH/push(0,798): ( C_0 + { X_2 }/{ X_3 } )
BEST PUSH/push(1,799): ( C_0 + { cos(X_1) }/{ X_3 } )
BEST PUSH/push(2,800): ( C_0 + { X_2 }/{ C_1*X_1 } )


******************************** StepW: 267 **********************************
C: push/pop (267,0) ( C_0 + X_2 )
C: TestScore 2000
C: coeff vals: -2.436923
C: push/pop (267,1) ( C_0 + { sin(X_2) }/{ X_3 } )
C: TestScore 2000
C: coeff vals: -5.371273
C: push/pop (267,2) ( C_0 + { X_2 }/{ C_1*X_1 } )
C: TestScore 2000
C: coeff vals: -5.368488
C: coeff vals: 1187093.022177
BEST PUSH/push(0,801): ( C_0 + X_2 )
BEST PUSH/push(1,802): ( C_0 + { sin(X_2) }/{ X_3 } )
BEST PUSH/push(2,803): ( C_0 + { X_2 }/{ C_1*X_1 } )


******************************** StepW: 268 **********************************
C: push/pop (268,0) ( C_0 + cos(X_2) )
C: TestScore 2000
C: coeff vals: -5.406622
C: push/pop (268,1) ( C_0 + { sin(X_3) }/{ X_0 } )
C: TestScore 2000
C: coeff vals: -5.346736
C: push/pop (268,2) ( C_0 + { X_0 }/{ C_1*X_3 } )
C: TestScore 2000
C: coeff vals: -5.368496
C: coeff vals: 876594.902387
BEST PUSH/push(0,804): ( C_0 + cos(X_2) )
BEST PUSH/push(1,805): ( C_0 + { sin(X_3) }/{ X_0 } )
BEST PUSH/push(2,806): ( C_0 + { X_0 }/{ C_1*X_3 } )


******************************** StepW: 269 **********************************
C: push/pop (269,0) ( C_0 + sin(X_2) )
C: TestScore 2000
C: coeff vals: -5.334040
C: push/pop (269,1) ( C_0 + { cos(X_2) }/{ X_1 } )
C: TestScore 2000
C: coeff vals: -5.326877
C: push/pop (269,2) ( C_0 + { X_0 }/{ C_1*X_3 } )
C: TestScore 2000
C: coeff vals: -5.368496
C: coeff vals: 876594.902387
BEST PUSH/push(0,807): ( C_0 + sin(X_2) )
BEST PUSH/push(1,808): ( C_0 + { cos(X_2) }/{ X_1 } )
BEST PUSH/push(2,809): ( C_0 + { X_0 }/{ C_1*X_3 } )


******************************** StepW: 270 **********************************
C: push/pop (270,0) ( C_0 + tan(X_2) )
C: TestScore 2000
C: coeff vals: -5.612298
C: push/pop (270,1) ( C_0 + C_1*X_2 )
C: TestScore 2000
C: coeff vals: -5.290226
C: coeff vals: 0.026697
C: push/pop (270,2) ( C_0 + { cos(X_3) }/{ X_2 } )
C: TestScore 2000
C: coeff vals: -5.362887
BEST PUSH/push(0,810): ( C_0 + tan(X_2) )
BEST PUSH/push(1,811): ( C_0 + C_1*X_2 )
BEST PUSH/push(2,812): ( C_0 + { cos(X_3) }/{ X_2 } )


******************************** StepW: 271 **********************************
C: push/pop (271,0) C_0*(tan(X_1))^2
C: TestScore 2000
C: coeff vals: -0.068655
C: push/pop (271,1) ( C_0 + { cos(X_2) }/{ X_0 } )
C: TestScore 2000
C: coeff vals: -5.389974
C: push/pop (271,2) ( C_0 + { X_2 }/{ C_1*X_3 } )
C: TestScore 2000
C: coeff vals: -5.368498
C: coeff vals: 860689.146544
BEST PUSH/push(0,813): C_0*(tan(X_1))^2
BEST PUSH/push(1,814): ( C_0 + { cos(X_2) }/{ X_0 } )
BEST PUSH/push(2,815): ( C_0 + { X_2 }/{ C_1*X_3 } )


******************************** StepW: 272 **********************************
C: push/pop (272,0) C_0*(tan(X_2))^2
C: TestScore 2000
C: coeff vals: -0.007876
C: push/pop (272,1) ( C_0 + { sin(X_4) }/{ X_2 } )
C: TestScore 2000
C: coeff vals: -5.391360
C: push/pop (272,2) ( C_0 + { X_2 }/{ C_1*X_3 } )
C: TestScore 2000
C: coeff vals: -5.368498
C: coeff vals: 860689.146544
BEST PUSH/push(0,816): C_0*(tan(X_2))^2
BEST PUSH/push(1,817): ( C_0 + { sin(X_4) }/{ X_2 } )
BEST PUSH/push(2,818): ( C_0 + { X_2 }/{ C_1*X_3 } )


******************************** StepW: 273 **********************************
C: push/pop (273,0) C_0*(tan(X_1))^3
C: TestScore 2000
C: coeff vals: 0.002736
C: push/pop (273,1) ( C_0 + { cos(X_2) }/{ X_3 } )
C: TestScore 2000
C: coeff vals: -5.058291
C: push/pop (273,2) ( C_0 + { C_1*X_2 }/{ X_3 } )
C: TestScore 2000
C: coeff vals: -5.353938
C: coeff vals: -0.002455
BEST PUSH/push(0,819): C_0*(tan(X_1))^3
BEST PUSH/push(1,820): ( C_0 + { cos(X_2) }/{ X_3 } )
BEST PUSH/push(2,821): ( C_0 + { C_1*X_2 }/{ X_3 } )


******************************** StepW: 274 **********************************
C: push/pop (274,0) C_0*(tan(X_2))^3
C: TestScore 2000
C: coeff vals: -0.000121
C: push/pop (274,1) ( C_0 + { sin(X_1) }/{ X_3 } )
C: TestScore 2000
C: coeff vals: -5.678463
C: push/pop (274,2) ( C_0 + { C_1 }/{ C_2*X_3 } )
C: TestScore 2000
C: coeff vals: -5.349896
C: coeff vals: 0.131335
C: coeff vals: 2.374511
BEST PUSH/push(0,822): C_0*(tan(X_2))^3
BEST PUSH/push(1,823): ( C_0 + { sin(X_1) }/{ X_3 } )
BEST PUSH/push(2,824): ( C_0 + { C_1 }/{ C_2*X_3 } )


******************************** StepW: 275 **********************************
C: push/pop (275,0) C_0*(tan(X_1))^4
C: TestScore 2000
C: coeff vals: -0.000195
C: push/pop (275,1) ( C_0 + { cos(X_4) }/{ X_3 } )
C: TestScore 2000
C: coeff vals: -5.055106
C: push/pop (275,2) ( C_0 + { C_1*X_1 }/{ X_3 } )
C: TestScore 2000
C: coeff vals: -5.353206
C: coeff vals: 0.002821
BEST PUSH/push(0,825): C_0*(tan(X_1))^4
BEST PUSH/push(1,826): ( C_0 + { cos(X_4) }/{ X_3 } )
BEST PUSH/push(2,827): ( C_0 + { C_1*X_1 }/{ X_3 } )


******************************** StepW: 276 **********************************
C: push/pop (276,0) ( C_0 + { cos(X_0) }/{ X_3 } )
C: TestScore 2000
C: coeff vals: -5.677609
C: push/pop (276,1) ( C_0 + { X_1 }/{ C_1*X_3 } )
C: TestScore 2000
C: coeff vals: -5.353206
C: coeff vals: 354.421874
C: push/pop (276,2) ( { X_1 }/{ (X_4)^2 } + { X_4 }/{ X_3 } )
C: TestScore 2000
BEST PUSH/push(0,828): ( C_0 + { cos(X_0) }/{ X_3 } )
BEST PUSH/push(1,829): ( C_0 + { X_1 }/{ C_1*X_3 } )
BEST PUSH/push(2,830): ( { X_1 }/{ (X_4)^2 } + { X_4 }/{ X_3 } )


******************************** StepW: 277 **********************************
C: push/pop (277,0) ( C_0 + cos(C_1*X_2) )
C: TestScore 2000
C: coeff vals: -5.370267
C: coeff vals: 1.071456
C: push/pop (277,1) ( C_0 + { X_1 }/{ C_1*X_3 } )
C: TestScore 2000
C: coeff vals: -5.353206
C: coeff vals: 354.421874
C: push/pop (277,2) ( { X_1 }/{ (X_4)^2 } + { X_3 }/{ X_0 } )
C: TestScore 2000
BEST PUSH/push(0,831): ( C_0 + cos(C_1*X_2) )
BEST PUSH/push(1,832): ( C_0 + { X_1 }/{ C_1*X_3 } )
BEST PUSH/push(2,833): ( { X_1 }/{ (X_4)^2 } + { X_3 }/{ X_0 } )


******************************** StepW: 278 **********************************
C: push/pop (278,0) ( C_0 + sin(C_1*X_2) )
C: TestScore 2000
C: coeff vals: -5.324128
C: coeff vals: 0.942462
C: push/pop (278,1) ( C_0 + { C_1*X_2 }/{ X_0 } )
C: TestScore 2000
C: coeff vals: -5.367705
C: coeff vals: 0.002329
C: push/pop (278,2) ( { X_1 }/{ (X_4)^2 } + { X_3 }/{ X_2 } )
C: TestScore 2000
BEST PUSH/push(0,834): ( C_0 + sin(C_1*X_2) )
BEST PUSH/push(1,835): ( C_0 + { C_1*X_2 }/{ X_0 } )
BEST PUSH/push(2,836): ( { X_1 }/{ (X_4)^2 } + { X_3 }/{ X_2 } )