nan (80 ways)
 = 0.1 0.3 8 neg pow neg pow 0.8 0.8 neg sum2+ prod_nn_x
 = 0.1 0.3 8 neg pow neg pow 8 8 neg sum2+ prod_nn_x
 = 0.1 0.3 8 pow neg root 0.8 0.8 neg sum2+ prod_nn_x
 = 0.1 0.3 8 pow neg root 8 8 neg sum2+ prod_nn_x
 = 0.1 0.3 neg 8 neg pow neg pow 0.8 0.8 neg sum2+ prod_nn_x
 = 0.1 0.3 neg 8 neg pow neg pow 8 8 neg sum2+ prod_nn_x
 = 0.1 0.3 neg 8 pow neg root 0.8 0.8 neg sum2+ prod_nn_x
 = 0.1 0.3 neg 8 pow neg root 8 8 neg sum2+ prod_nn_x
 = 0.1 3 8 neg pow neg root 0.8 0.8 neg sum2+ prod_nn_x
 = 0.1 3 8 neg pow neg root 8 8 neg sum2+ prod_nn_x
 = 0.1 3 8 pow neg pow 0.8 0.8 neg sum2+ prod_nn_x
 = 0.1 3 8 pow neg pow 8 8 neg sum2+ prod_nn_x
 = 0.1 3 neg 8 neg pow neg root 0.8 0.8 neg sum2+ prod_nn_x
 = 0.1 3 neg 8 neg pow neg root 8 8 neg sum2+ prod_nn_x
 = 0.1 3 neg 8 pow neg pow 0.8 0.8 neg sum2+ prod_nn_x
 = 0.1 3 neg 8 pow neg pow 8 8 neg sum2+ prod_nn_x
 = 0.1 8 0.3 neg root neg root 0.8 0.8 neg sum2+ prod_nn_x
 = 0.1 8 0.3 neg root neg root 8 8 neg sum2+ prod_nn_x
 = 0.1 8 0.3 root neg pow 0.8 0.8 neg sum2+ prod_nn_x
 = 0.1 8 0.3 root neg pow 8 8 neg sum2+ prod_nn_x
 = 0.1 8 3 neg pow neg root 0.8 0.8 neg sum2+ prod_nn_x
 = 0.1 8 3 neg pow neg root 8 8 neg sum2+ prod_nn_x
 = 0.1 8 3 pow neg pow 0.8 0.8 neg sum2+ prod_nn_x
 = 0.1 8 3 pow neg pow 8 8 neg sum2+ prod_nn_x
 = 0.1 8 neg 3 neg pow root 0.8 0.8 neg sum2+ prod_nn_x
 = 0.1 8 neg 3 neg pow root 8 8 neg sum2+ prod_nn_x
 = 0.1 8 neg 3 pow pow 0.8 0.8 neg sum2+ prod_nn_x
 = 0.1 8 neg 3 pow pow 8 8 neg sum2+ prod_nn_x
 = 0.3 0.1 8 neg pow neg pow 0.8 0.8 neg sum2+ prod_nn_x
 = 0.3 0.1 8 neg pow neg pow 8 8 neg sum2+ prod_nn_x
 = 0.3 0.1 8 pow neg root 0.8 0.8 neg sum2+ prod_nn_x
 = 0.3 0.1 8 pow neg root 8 8 neg sum2+ prod_nn_x
 = 0.3 0.1 neg 8 neg pow neg pow 0.8 0.8 neg sum2+ prod_nn_x
 = 0.3 0.1 neg 8 neg pow neg pow 8 8 neg sum2+ prod_nn_x
 = 0.3 0.1 neg 8 pow neg root 0.8 0.8 neg sum2+ prod_nn_x
 = 0.3 0.1 neg 8 pow neg root 8 8 neg sum2+ prod_nn_x
 = 0.3 8 0.1 neg root neg root 0.8 0.8 neg sum2+ prod_nn_x
 = 0.3 8 0.1 neg root neg root 8 8 neg sum2+ prod_nn_x
 = 0.3 8 0.1 root neg pow 0.8 0.8 neg sum2+ prod_nn_x
 = 0.3 8 0.1 root neg pow 8 8 neg sum2+ prod_nn_x
 = 0.8 0.3 0.1 neg root neg pow 0.8 0.8 neg sum2+ prod_nn_x
 = 0.8 0.3 0.1 neg root neg pow 8 8 neg sum2+ prod_nn_x
 = 0.8 0.3 0.1 root neg root 0.8 0.8 neg sum2+ prod_nn_x
 = 0.8 0.3 0.1 root neg root 8 8 neg sum2+ prod_nn_x
 = 0.8 3 0.1 neg root neg root 0.8 0.8 neg sum2+ prod_nn_x
 = 0.8 3 0.1 neg root neg root 8 8 neg sum2+ prod_nn_x
 = 0.8 3 0.1 root neg pow 0.8 0.8 neg sum2+ prod_nn_x
 = 0.8 3 0.1 root neg pow 8 8 neg sum2+ prod_nn_x
 = 3 0.1 8 neg pow pow 0.8 0.8 neg sum2+ prod_nn_x
 = 3 0.1 8 neg pow pow 8 8 neg sum2+ prod_nn_x
 = 3 0.1 8 pow root 0.8 0.8 neg sum2+ prod_nn_x
 = 3 0.1 8 pow root 8 8 neg sum2+ prod_nn_x
 = 3 0.1 neg 8 neg pow pow 0.8 0.8 neg sum2+ prod_nn_x
 = 3 0.1 neg 8 neg pow pow 8 8 neg sum2+ prod_nn_x
 = 3 0.1 neg 8 pow root 0.8 0.8 neg sum2+ prod_nn_x
 = 3 0.1 neg 8 pow root 8 8 neg sum2+ prod_nn_x
 = 3 8 0.1 neg root root 0.8 0.8 neg sum2+ prod_nn_x
 = 3 8 0.1 neg root root 8 8 neg sum2+ prod_nn_x
 = 3 8 0.1 root pow 0.8 0.8 neg sum2+ prod_nn_x
 = 3 8 0.1 root pow 8 8 neg sum2+ prod_nn_x
 = 8 0.1 0.3 neg root pow 0.8 0.8 neg sum2+ prod_nn_x
 = 8 0.1 0.3 neg root pow 8 8 neg sum2+ prod_nn_x
 = 8 0.1 0.3 root root 0.8 0.8 neg sum2+ prod_nn_x
 = 8 0.1 0.3 root root 8 8 neg sum2+ prod_nn_x
 = 8 0.1 3 neg pow pow 0.8 0.8 neg sum2+ prod_nn_x
 = 8 0.1 3 neg pow pow 8 8 neg sum2+ prod_nn_x
 = 8 0.1 3 pow root 0.8 0.8 neg sum2+ prod_nn_x
 = 8 0.1 3 pow root 8 8 neg sum2+ prod_nn_x
 = 8 0.1 neg 3 neg pow neg pow 0.8 0.8 neg sum2+ prod_nn_x
 = 8 0.1 neg 3 neg pow neg pow 8 8 neg sum2+ prod_nn_x
 = 8 0.1 neg 3 pow neg root 0.8 0.8 neg sum2+ prod_nn_x
 = 8 0.1 neg 3 pow neg root 8 8 neg sum2+ prod_nn_x
 = 8 0.3 0.1 neg root pow 0.8 0.8 neg sum2+ prod_nn_x
 = 8 0.3 0.1 neg root pow 8 8 neg sum2+ prod_nn_x
 = 8 0.3 0.1 root root 0.8 0.8 neg sum2+ prod_nn_x
 = 8 0.3 0.1 root root 8 8 neg sum2+ prod_nn_x
 = 8 3 0.1 neg root root 0.8 0.8 neg sum2+ prod_nn_x
 = 8 3 0.1 neg root root 8 8 neg sum2+ prod_nn_x
 = 8 3 0.1 root pow 0.8 0.8 neg sum2+ prod_nn_x
 = 8 3 0.1 root pow 8 8 neg sum2+ prod_nn_x
0 (1270508 ways)
 = 0.1 0.3 0.8 0.8 0.8 prod_nnn_x neg root pow [rounded]
 = 0.1 0.3 0.8 0.8 0.8 prod_nnn_x neg root pow neg [rounded]
 = 0.1 0.3 0.8 0.8 0.8 prod_nnn_x root root [rounded]
 = 0.1 0.3 0.8 0.8 0.8 prod_nnn_x root root neg [rounded]
 = 0.1 0.3 0.8 0.8 0.8 prod_nnnn_x root [rounded]
 = 0.1 0.3 0.8 0.8 0.8 prod_nnnn_x root neg [rounded]
 = 0.1 0.3 0.8 0.8 0.8 sum3+ pow root [rounded]
 = 0.1 0.3 0.8 0.8 0.8 sum3+ pow root neg [rounded]
 = 0.1 0.3 0.8 0.8 0.8 sum3+ prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 0.8 sum3+ prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 8 neg pow neg pow neg pow pow [rounded]
 = 0.1 0.3 0.8 0.8 8 neg pow neg pow neg pow pow neg [rounded]
 = 0.1 0.3 0.8 0.8 8 neg pow neg pow pow root [rounded]
 = 0.1 0.3 0.8 0.8 8 neg pow neg pow pow root neg [rounded]
 = 0.1 0.3 0.8 0.8 8 neg pow neg pow prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 8 neg pow neg pow prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 8 neg pow pow neg root pow [rounded]
 = 0.1 0.3 0.8 0.8 8 neg pow pow neg root pow neg [rounded]
 = 0.1 0.3 0.8 0.8 8 neg pow pow neg sum2+ root [rounded]
 = 0.1 0.3 0.8 0.8 8 neg pow pow neg sum2+ root neg [rounded]
 = 0.1 0.3 0.8 0.8 8 neg pow pow prod_nn_x root [rounded]
 = 0.1 0.3 0.8 0.8 8 neg pow pow prod_nn_x root neg [rounded]
 = 0.1 0.3 0.8 0.8 8 neg pow pow root root [rounded]
 = 0.1 0.3 0.8 0.8 8 neg pow pow root root neg [rounded]
 = 0.1 0.3 0.8 0.8 8 neg sum2+ pow neg pow pow
 = 0.1 0.3 0.8 0.8 8 neg sum2+ pow neg pow pow neg
 = 0.1 0.3 0.8 0.8 8 neg sum2+ pow pow root
 = 0.1 0.3 0.8 0.8 8 neg sum2+ pow pow root neg
 = 0.1 0.3 0.8 0.8 8 neg sum2+ pow prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 8 neg sum2+ pow prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 8 neg sum3+ pow pow
 = 0.1 0.3 0.8 0.8 8 neg sum3+ pow pow neg
 = 0.1 0.3 0.8 0.8 8 pow neg root neg pow pow [rounded]
 = 0.1 0.3 0.8 0.8 8 pow neg root neg pow pow neg [rounded]
 = 0.1 0.3 0.8 0.8 8 pow neg root pow root [rounded]
 = 0.1 0.3 0.8 0.8 8 pow neg root pow root neg [rounded]
 = 0.1 0.3 0.8 0.8 8 pow neg root prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 8 pow neg root prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 8 pow root neg root pow [rounded]
 = 0.1 0.3 0.8 0.8 8 pow root neg root pow neg [rounded]
 = 0.1 0.3 0.8 0.8 8 pow root neg sum2+ root [rounded]
 = 0.1 0.3 0.8 0.8 8 pow root neg sum2+ root neg [rounded]
 = 0.1 0.3 0.8 0.8 8 pow root prod_nn_x root [rounded]
 = 0.1 0.3 0.8 0.8 8 pow root prod_nn_x root neg [rounded]
 = 0.1 0.3 0.8 0.8 8 pow root root root [rounded]
 = 0.1 0.3 0.8 0.8 8 pow root root root neg [rounded]
 = 0.1 0.3 0.8 0.8 8 prod_dddn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 8 prod_dddn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 8 prod_ddn_x neg pow pow
 = 0.1 0.3 0.8 0.8 8 prod_ddn_x neg pow pow neg
 = 0.1 0.3 0.8 0.8 8 prod_ddn_x pow prod_nn_x [rounded]
 = 0.1 0.3 0.8 0.8 8 prod_ddn_x pow prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 0.8 8 prod_ddn_x pow root
 = 0.1 0.3 0.8 0.8 8 prod_ddn_x pow root neg
 = 0.1 0.3 0.8 0.8 8 prod_ddn_x sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 8 prod_ddn_x sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 8 prod_dn_x neg pow neg pow pow
 = 0.1 0.3 0.8 0.8 8 prod_dn_x neg pow neg pow pow neg
 = 0.1 0.3 0.8 0.8 8 prod_dn_x neg pow pow root
 = 0.1 0.3 0.8 0.8 8 prod_dn_x neg pow pow root neg
 = 0.1 0.3 0.8 0.8 8 prod_dn_x neg pow prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 8 prod_dn_x neg pow prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 8 prod_dn_x neg pow sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 8 prod_dn_x neg pow sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 8 prod_dn_x pow neg root pow
 = 0.1 0.3 0.8 0.8 8 prod_dn_x pow neg root pow neg
 = 0.1 0.3 0.8 0.8 8 prod_dn_x pow prod_nn_x root [rounded]
 = 0.1 0.3 0.8 0.8 8 prod_dn_x pow prod_nn_x root neg [rounded]
 = 0.1 0.3 0.8 0.8 8 prod_dn_x pow root root
 = 0.1 0.3 0.8 0.8 8 prod_dn_x pow root root neg
 = 0.1 0.3 0.8 0.8 8 prod_dndn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 8 prod_dndn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 8 prod_dnnn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 8 prod_dnnn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 8 prod_ndn_x neg pow pow
 = 0.1 0.3 0.8 0.8 8 prod_ndn_x neg pow pow neg
 = 0.1 0.3 0.8 0.8 8 prod_ndn_x pow root
 = 0.1 0.3 0.8 0.8 8 prod_ndn_x pow root neg
 = 0.1 0.3 0.8 0.8 8 prod_ndn_x sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 8 prod_ndn_x sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 8 prod_nn_x neg pow neg pow pow [rounded]
 = 0.1 0.3 0.8 0.8 8 prod_nn_x neg pow neg pow pow neg [rounded]
 = 0.1 0.3 0.8 0.8 8 prod_nn_x neg pow pow root [rounded]
 = 0.1 0.3 0.8 0.8 8 prod_nn_x neg pow pow root neg [rounded]
 = 0.1 0.3 0.8 0.8 8 prod_nn_x neg pow prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 8 prod_nn_x neg pow prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 8 prod_nn_x pow neg root pow [rounded]
 = 0.1 0.3 0.8 0.8 8 prod_nn_x pow neg root pow neg [rounded]
 = 0.1 0.3 0.8 0.8 8 prod_nn_x pow neg sum2+ root [rounded]
 = 0.1 0.3 0.8 0.8 8 prod_nn_x pow neg sum2+ root neg [rounded]
 = 0.1 0.3 0.8 0.8 8 prod_nn_x pow prod_nn_x root [rounded]
 = 0.1 0.3 0.8 0.8 8 prod_nn_x pow prod_nn_x root neg [rounded]
 = 0.1 0.3 0.8 0.8 8 prod_nn_x pow root root [rounded]
 = 0.1 0.3 0.8 0.8 8 prod_nn_x pow root root neg [rounded]
 = 0.1 0.3 0.8 0.8 8 prod_nnn_x neg pow pow
 = 0.1 0.3 0.8 0.8 8 prod_nnn_x neg pow pow neg
 = 0.1 0.3 0.8 0.8 8 prod_nnn_x pow root
 = 0.1 0.3 0.8 0.8 8 prod_nnn_x pow root neg
 = 0.1 0.3 0.8 0.8 neg 8 neg pow neg pow neg pow pow [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 neg pow neg pow neg pow pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 neg pow neg pow pow root [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 neg pow neg pow pow root neg [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 neg pow neg pow prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 neg pow neg pow prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 neg pow neg sum2+ pow pow
 = 0.1 0.3 0.8 0.8 neg 8 neg pow neg sum2+ pow pow neg
 = 0.1 0.3 0.8 0.8 neg 8 neg pow pow neg root pow [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 neg pow pow neg root pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 neg pow pow neg sum2+ root [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 neg pow pow neg sum2+ root neg [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 neg pow pow prod_nn_x root [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 neg pow pow prod_nn_x root neg [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 neg pow pow root root [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 neg pow pow root root neg [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 neg pow prod_ddn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 neg pow prod_ddn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 neg pow prod_dn_x neg pow pow
 = 0.1 0.3 0.8 0.8 neg 8 neg pow prod_dn_x neg pow pow neg
 = 0.1 0.3 0.8 0.8 neg 8 neg pow prod_dn_x pow root
 = 0.1 0.3 0.8 0.8 neg 8 neg pow prod_dn_x pow root neg
 = 0.1 0.3 0.8 0.8 neg 8 neg pow prod_dn_x sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 neg pow prod_dn_x sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 neg pow prod_dnn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 neg pow prod_dnn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 neg pow prod_nn_x neg pow pow [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 neg pow prod_nn_x neg pow pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 neg pow prod_nn_x pow root [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 neg pow prod_nn_x pow root neg [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 neg pow sum2+ pow root
 = 0.1 0.3 0.8 0.8 neg 8 neg pow sum2+ pow root neg
 = 0.1 0.3 0.8 0.8 neg 8 neg pow sum2+ prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 neg pow sum2+ prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 neg pow sum3+ pow [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 neg pow sum3+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 pow neg root neg pow pow [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 pow neg root neg pow pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 pow neg root pow root [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 pow neg root pow root neg [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 pow neg root prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 pow neg root prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 pow neg sum2+ root root [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 pow neg sum2+ root root neg [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 pow prod_dn_x neg sum2+ root [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 pow prod_dn_x neg sum2+ root neg [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 pow prod_dnd_x pow [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 pow prod_dnd_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 pow prod_nd_x neg pow pow [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 pow prod_nd_x neg pow pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 pow prod_nd_x pow root [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 pow prod_nd_x pow root neg [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 pow prod_nn_x neg root pow
 = 0.1 0.3 0.8 0.8 neg 8 pow prod_nn_x neg root pow neg
 = 0.1 0.3 0.8 0.8 neg 8 pow prod_nn_x root root
 = 0.1 0.3 0.8 0.8 neg 8 pow prod_nn_x root root neg
 = 0.1 0.3 0.8 0.8 neg 8 pow prod_nnn_x root [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 pow prod_nnn_x root neg [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 pow root neg root pow [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 pow root neg root pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 pow root neg sum2+ root [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 pow root neg sum2+ root neg [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 pow root prod_nn_x root [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 pow root prod_nn_x root neg [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 pow root root root [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 pow root root root neg [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 sum2+ pow neg root pow
 = 0.1 0.3 0.8 0.8 neg 8 sum2+ pow neg root pow neg
 = 0.1 0.3 0.8 0.8 neg 8 sum2+ pow neg sum2+ root [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 sum2+ pow neg sum2+ root neg [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 sum2+ pow prod_nn_x root [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 sum2+ pow prod_nn_x root neg [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 sum2+ pow root root
 = 0.1 0.3 0.8 0.8 neg 8 sum2+ pow root root neg
 = 0.1 0.3 0.8 0.8 neg 8 sum2+ prod_ddn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 sum2+ prod_ddn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 sum2+ prod_dn_x pow root
 = 0.1 0.3 0.8 0.8 neg 8 sum2+ prod_dn_x pow root neg
 = 0.1 0.3 0.8 0.8 neg 8 sum2+ prod_dn_x sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 sum2+ prod_dn_x sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 sum2+ prod_dnn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 sum2+ prod_dnn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg 8 sum2+ prod_nn_x pow root
 = 0.1 0.3 0.8 0.8 neg 8 sum2+ prod_nn_x pow root neg
 = 0.1 0.3 0.8 0.8 neg pow 0.8 neg sum2+ prod_nn_x root [rounded]
 = 0.1 0.3 0.8 0.8 neg pow 0.8 neg sum2+ prod_nn_x root neg [rounded]
 = 0.1 0.3 0.8 0.8 neg pow 0.8 neg sum2+ root root [rounded]
 = 0.1 0.3 0.8 0.8 neg pow 0.8 neg sum2+ root root neg [rounded]
 = 0.1 0.3 0.8 0.8 neg pow 0.8 sum2+ pow root [rounded]
 = 0.1 0.3 0.8 0.8 neg pow 0.8 sum2+ pow root neg [rounded]
 = 0.1 0.3 0.8 0.8 neg pow 0.8 sum2+ prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 neg pow 0.8 sum2+ prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg pow 8 neg sum2+ pow pow
 = 0.1 0.3 0.8 0.8 neg pow 8 neg sum2+ pow pow neg
 = 0.1 0.3 0.8 0.8 neg pow 8 prod_dnn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 neg pow 8 prod_dnn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg pow 8 prod_nd_x neg sum2+ root [rounded]
 = 0.1 0.3 0.8 0.8 neg pow 8 prod_nd_x neg sum2+ root neg [rounded]
 = 0.1 0.3 0.8 0.8 neg pow 8 prod_nn_x neg pow pow
 = 0.1 0.3 0.8 0.8 neg pow 8 prod_nn_x neg pow pow neg
 = 0.1 0.3 0.8 0.8 neg pow 8 prod_nn_x pow root
 = 0.1 0.3 0.8 0.8 neg pow 8 prod_nn_x pow root neg
 = 0.1 0.3 0.8 0.8 neg pow 8 prod_nn_x sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 neg pow 8 prod_nn_x sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg pow 8 sum2+ pow root
 = 0.1 0.3 0.8 0.8 neg pow 8 sum2+ pow root neg
 = 0.1 0.3 0.8 0.8 neg pow 8 sum2+ prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 neg pow 8 sum2+ prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg pow neg 0.8 neg sum2+ pow pow [rounded]
 = 0.1 0.3 0.8 0.8 neg pow neg 0.8 neg sum2+ pow pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg pow neg 0.8 sum2+ root pow [rounded]
 = 0.1 0.3 0.8 0.8 neg pow neg 0.8 sum2+ root pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg pow neg 8 neg sum2+ pow pow
 = 0.1 0.3 0.8 0.8 neg pow neg 8 neg sum2+ pow pow neg
 = 0.1 0.3 0.8 0.8 neg pow neg 8 sum2+ pow root
 = 0.1 0.3 0.8 0.8 neg pow neg 8 sum2+ pow root neg
 = 0.1 0.3 0.8 0.8 neg pow neg 8 sum2+ prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 neg pow neg 8 sum2+ prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg pow neg pow 8 prod_nn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 neg pow neg pow 8 prod_nn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg pow neg pow 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 neg pow neg pow 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg pow neg root 8 prod_nn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 neg pow neg root 8 prod_nn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg pow neg root 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 neg pow neg root 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg pow pow 8 prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 neg pow pow 8 prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg pow pow 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 neg pow pow 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg pow pow neg 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 neg pow pow neg 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg pow pow neg sum2+ 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 neg pow pow neg sum2+ 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg pow pow prod_nn_x 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 neg pow pow prod_nn_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg pow pow prod_nn_x neg 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 neg pow pow prod_nn_x neg 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg pow prod_dn_x 8 pow pow
 = 0.1 0.3 0.8 0.8 neg pow prod_dn_x 8 pow pow neg
 = 0.1 0.3 0.8 0.8 neg pow prod_dn_x 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 neg pow prod_dn_x 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg pow prod_dn_x neg 8 pow pow
 = 0.1 0.3 0.8 0.8 neg pow prod_dn_x neg 8 pow pow neg
 = 0.1 0.3 0.8 0.8 neg pow prod_nn_x 8 neg pow pow
 = 0.1 0.3 0.8 0.8 neg pow prod_nn_x 8 neg pow pow neg
 = 0.1 0.3 0.8 0.8 neg pow prod_nn_x 8 pow root
 = 0.1 0.3 0.8 0.8 neg pow prod_nn_x 8 pow root neg
 = 0.1 0.3 0.8 0.8 neg pow prod_nn_x 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 neg pow prod_nn_x 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg pow prod_nn_x neg 8 neg pow pow
 = 0.1 0.3 0.8 0.8 neg pow prod_nn_x neg 8 neg pow pow neg
 = 0.1 0.3 0.8 0.8 neg pow prod_nn_x neg 8 pow root
 = 0.1 0.3 0.8 0.8 neg pow prod_nn_x neg 8 pow root neg
 = 0.1 0.3 0.8 0.8 neg pow prod_nn_x neg 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 neg pow prod_nn_x neg 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg pow prod_nnn_x 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 neg pow prod_nnn_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg pow prod_nnn_x neg 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 neg pow prod_nnn_x neg 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg pow root 8 prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 neg pow root 8 prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg pow root 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 neg pow root 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg pow root neg 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 neg pow root neg 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg pow root prod_nn_x 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 neg pow root prod_nn_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg pow root prod_nn_x neg 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 neg pow root prod_nn_x neg 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg pow sum2+ 8 neg pow root [rounded]
 = 0.1 0.3 0.8 0.8 neg pow sum2+ 8 neg pow root neg [rounded]
 = 0.1 0.3 0.8 0.8 neg pow sum2+ 8 pow pow [rounded]
 = 0.1 0.3 0.8 0.8 neg pow sum2+ 8 pow pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg pow sum2+ 8 prod_nn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 neg pow sum2+ 8 prod_nn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg pow sum2+ prod_nd_x 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 neg pow sum2+ prod_nd_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg pow sum2+ prod_nn_x 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 neg pow sum2+ prod_nn_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root 0.8 neg sum2+ prod_nn_x root [rounded]
 = 0.1 0.3 0.8 0.8 neg root 0.8 neg sum2+ prod_nn_x root neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root 0.8 neg sum2+ root root [rounded]
 = 0.1 0.3 0.8 0.8 neg root 0.8 neg sum2+ root root neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root 0.8 prod_nd_x neg pow pow [rounded]
 = 0.1 0.3 0.8 0.8 neg root 0.8 prod_nd_x neg pow pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root 0.8 prod_nd_x pow root [rounded]
 = 0.1 0.3 0.8 0.8 neg root 0.8 prod_nd_x pow root neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root 0.8 sum2+ pow root [rounded]
 = 0.1 0.3 0.8 0.8 neg root 0.8 sum2+ pow root neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root 0.8 sum2+ prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 neg root 0.8 sum2+ prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root 8 neg sum2+ pow pow
 = 0.1 0.3 0.8 0.8 neg root 8 neg sum2+ pow pow neg
 = 0.1 0.3 0.8 0.8 neg root 8 prod_dnn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 neg root 8 prod_dnn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root 8 prod_nd_x neg sum2+ root [rounded]
 = 0.1 0.3 0.8 0.8 neg root 8 prod_nd_x neg sum2+ root neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root 8 prod_nn_x neg pow pow
 = 0.1 0.3 0.8 0.8 neg root 8 prod_nn_x neg pow pow neg
 = 0.1 0.3 0.8 0.8 neg root 8 prod_nn_x pow prod_nn_x [rounded]
 = 0.1 0.3 0.8 0.8 neg root 8 prod_nn_x pow prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root 8 prod_nn_x pow root
 = 0.1 0.3 0.8 0.8 neg root 8 prod_nn_x pow root neg
 = 0.1 0.3 0.8 0.8 neg root 8 prod_nn_x sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 neg root 8 prod_nn_x sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root 8 sum2+ pow root
 = 0.1 0.3 0.8 0.8 neg root 8 sum2+ pow root neg
 = 0.1 0.3 0.8 0.8 neg root 8 sum2+ prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 neg root 8 sum2+ prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root neg 0.8 neg sum2+ pow pow [rounded]
 = 0.1 0.3 0.8 0.8 neg root neg 0.8 neg sum2+ pow pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root neg 0.8 sum2+ root pow [rounded]
 = 0.1 0.3 0.8 0.8 neg root neg 0.8 sum2+ root pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root neg 8 neg sum2+ pow pow
 = 0.1 0.3 0.8 0.8 neg root neg 8 neg sum2+ pow pow neg
 = 0.1 0.3 0.8 0.8 neg root neg 8 sum2+ pow root
 = 0.1 0.3 0.8 0.8 neg root neg 8 sum2+ pow root neg
 = 0.1 0.3 0.8 0.8 neg root neg 8 sum2+ prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 neg root neg 8 sum2+ prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root neg pow 8 prod_nn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 neg root neg pow 8 prod_nn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root neg pow 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 neg root neg pow 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root neg root 8 prod_nn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 neg root neg root 8 prod_nn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root neg root 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 neg root neg root 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root pow 8 prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 neg root pow 8 prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root pow 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 neg root pow 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root pow neg 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 neg root pow neg 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root pow neg sum2+ 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 neg root pow neg sum2+ 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root pow prod_nn_x 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 neg root pow prod_nn_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root pow prod_nn_x neg 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 neg root pow prod_nn_x neg 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root prod_dn_x 0.8 neg root root [rounded]
 = 0.1 0.3 0.8 0.8 neg root prod_dn_x 0.8 neg root root neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root prod_dn_x 0.8 root pow [rounded]
 = 0.1 0.3 0.8 0.8 neg root prod_dn_x 0.8 root pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root prod_dn_x 8 pow pow
 = 0.1 0.3 0.8 0.8 neg root prod_dn_x 8 pow pow neg
 = 0.1 0.3 0.8 0.8 neg root prod_dn_x 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 neg root prod_dn_x 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root prod_dn_x neg 8 pow pow
 = 0.1 0.3 0.8 0.8 neg root prod_dn_x neg 8 pow pow neg
 = 0.1 0.3 0.8 0.8 neg root prod_nn_x 8 neg pow pow
 = 0.1 0.3 0.8 0.8 neg root prod_nn_x 8 neg pow pow neg
 = 0.1 0.3 0.8 0.8 neg root prod_nn_x 8 pow root
 = 0.1 0.3 0.8 0.8 neg root prod_nn_x 8 pow root neg
 = 0.1 0.3 0.8 0.8 neg root prod_nn_x 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 neg root prod_nn_x 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root prod_nn_x neg 8 neg pow pow
 = 0.1 0.3 0.8 0.8 neg root prod_nn_x neg 8 neg pow pow neg
 = 0.1 0.3 0.8 0.8 neg root prod_nn_x neg 8 pow root
 = 0.1 0.3 0.8 0.8 neg root prod_nn_x neg 8 pow root neg
 = 0.1 0.3 0.8 0.8 neg root prod_nn_x neg 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 neg root prod_nn_x neg 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root prod_nnn_x 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 neg root prod_nnn_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root prod_nnn_x neg 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 neg root prod_nnn_x neg 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root root 8 prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 neg root root 8 prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root root 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 neg root root 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root root neg 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 neg root root neg 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root root prod_nn_x 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 neg root root prod_nn_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root root prod_nn_x neg 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 neg root root prod_nn_x neg 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root sum2+ 8 neg pow root [rounded]
 = 0.1 0.3 0.8 0.8 neg root sum2+ 8 neg pow root neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root sum2+ 8 pow pow [rounded]
 = 0.1 0.3 0.8 0.8 neg root sum2+ 8 pow pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root sum2+ 8 prod_nn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 neg root sum2+ 8 prod_nn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root sum2+ prod_nd_x 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 neg root sum2+ prod_nd_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg root sum2+ prod_nn_x 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 neg root sum2+ prod_nn_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 neg pow neg prod_ddn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 neg pow neg prod_ddn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 neg pow neg prod_dnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 neg pow neg prod_dnn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 neg pow neg prod_ndn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 neg pow neg prod_ndn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 neg pow neg prod_nnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 neg pow neg prod_nnn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 neg pow prod_ddn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 neg pow prod_ddn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 neg pow prod_dnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 neg pow prod_dnn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 neg pow prod_ndn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 neg pow prod_ndn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 neg pow prod_nnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 neg pow prod_nnn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 neg root neg prod_ddn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 neg root neg prod_ddn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 neg root neg prod_dnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 neg root neg prod_dnn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 neg root neg prod_ndn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 neg root neg prod_ndn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 neg root neg prod_nnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 neg root neg prod_nnn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 neg root prod_ddn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 neg root prod_ddn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 neg root prod_dnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 neg root prod_dnn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 neg root prod_ndn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 neg root prod_ndn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 neg root prod_nnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 neg root prod_nnn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 pow neg prod_ddn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 pow neg prod_ddn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 pow neg prod_dnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 pow neg prod_dnn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 pow neg prod_ndn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 pow neg prod_ndn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 pow neg prod_nnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 pow neg prod_nnn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 pow prod_ddn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 pow prod_ddn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 pow prod_dnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 pow prod_dnn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 pow prod_ndn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 pow prod_ndn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 pow prod_nnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 pow prod_nnn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 prod_ddnd_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 prod_ddnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 prod_dnnd_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 prod_dnnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 prod_ndnd_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 prod_ndnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 prod_nnnd_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 prod_nnnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 root neg prod_ddn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 root neg prod_ddn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 root neg prod_dnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 root neg prod_dnn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 root neg prod_ndn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 root neg prod_ndn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 root neg prod_nnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 root neg prod_nnn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 root prod_ddn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 root prod_ddn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 root prod_dnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 root prod_dnn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 root prod_ndn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 root prod_ndn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 root prod_nnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 0.8 root prod_nnn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 neg pow neg prod_ddn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 neg pow neg prod_ddn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 neg pow neg prod_dnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 neg pow neg prod_dnn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 neg pow neg prod_ndn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 neg pow neg prod_ndn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 neg pow neg prod_nnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 neg pow neg prod_nnn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 neg pow prod_ddn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 neg pow prod_ddn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 neg pow prod_dnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 neg pow prod_dnn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 neg pow prod_ndn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 neg pow prod_ndn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 neg pow prod_nnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 neg pow prod_nnn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 neg root neg prod_ddn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 neg root neg prod_ddn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 neg root neg prod_dnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 neg root neg prod_dnn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 neg root neg prod_ndn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 neg root neg prod_ndn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 neg root neg prod_nnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 neg root neg prod_nnn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 neg root prod_ddn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 neg root prod_ddn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 neg root prod_dnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 neg root prod_dnn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 neg root prod_ndn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 neg root prod_ndn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 neg root prod_nnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 neg root prod_nnn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 pow neg prod_ddn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 pow neg prod_ddn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 pow neg prod_dnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 pow neg prod_dnn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 pow neg prod_ndn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 pow neg prod_ndn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 pow neg prod_nnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 pow neg prod_nnn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 pow prod_ddn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 pow prod_ddn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 pow prod_dnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 pow prod_dnn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 pow prod_ndn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 pow prod_ndn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 pow prod_nnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 pow prod_nnn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 prod_ddnd_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 prod_ddnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 prod_dnnd_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 prod_dnnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 prod_ndnd_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 prod_ndnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 prod_nnnd_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 prod_nnnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 root neg prod_ddn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 root neg prod_ddn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 root neg prod_dnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 root neg prod_dnn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 root neg prod_ndn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 root neg prod_ndn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 root neg prod_nnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 root neg prod_nnn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 root prod_ddn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 root prod_ddn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 root prod_dnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 root prod_dnn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 root prod_ndn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 root prod_ndn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 root prod_nnn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ 8 root prod_nnn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ pow 8 prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 neg sum2+ pow 8 prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg sum2+ pow 8 prod_nn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 neg sum2+ pow 8 prod_nn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg sum2+ pow 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 neg sum2+ pow 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg sum2+ pow neg 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 neg sum2+ pow neg 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg sum2+ pow prod_nd_x 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 neg sum2+ pow prod_nd_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg sum2+ pow prod_nd_x neg 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 neg sum2+ pow prod_nd_x neg 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg sum2+ pow prod_nn_x 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 neg sum2+ pow prod_nn_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg sum2+ pow prod_nn_x neg 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 neg sum2+ pow prod_nn_x neg 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_ddn_x 0.8 pow
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_ddn_x 0.8 pow neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_ddn_x 0.8 root
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_ddn_x 0.8 root neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_ddn_x 8 pow
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_ddn_x 8 pow neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_ddn_x 8 root
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_ddn_x 8 root neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dn_x 0.8 pow neg prod_dn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dn_x 0.8 pow neg prod_dn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dn_x 0.8 pow neg prod_nn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dn_x 0.8 pow neg prod_nn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dn_x 0.8 pow prod_dn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dn_x 0.8 pow prod_dn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dn_x 0.8 pow prod_nn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dn_x 0.8 pow prod_nn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dn_x 0.8 root neg prod_dn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dn_x 0.8 root neg prod_dn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dn_x 0.8 root neg prod_nn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dn_x 0.8 root neg prod_nn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dn_x 0.8 root prod_dn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dn_x 0.8 root prod_dn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dn_x 0.8 root prod_nn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dn_x 0.8 root prod_nn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dn_x 8 pow neg prod_dn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dn_x 8 pow neg prod_dn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dn_x 8 pow neg prod_nn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dn_x 8 pow neg prod_nn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dn_x 8 pow prod_dn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dn_x 8 pow prod_dn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dn_x 8 pow prod_nn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dn_x 8 pow prod_nn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dn_x 8 root neg prod_dn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dn_x 8 root neg prod_dn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dn_x 8 root neg prod_nn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dn_x 8 root neg prod_nn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dn_x 8 root prod_dn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dn_x 8 root prod_dn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dn_x 8 root prod_nn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dn_x 8 root prod_nn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dn_x 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dn_x 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dn_x sum2+ 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dn_x sum2+ 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dnn_x 0.8 pow
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dnn_x 0.8 pow neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dnn_x 0.8 root
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dnn_x 0.8 root neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dnn_x 8 pow
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dnn_x 8 pow neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dnn_x 8 root
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_dnn_x 8 root neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_ndn_x 0.8 pow
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_ndn_x 0.8 pow neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_ndn_x 0.8 root
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_ndn_x 0.8 root neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_ndn_x 8 pow
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_ndn_x 8 pow neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_ndn_x 8 root
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_ndn_x 8 root neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 0.8 neg pow neg prod_dn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 0.8 neg pow neg prod_dn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 0.8 neg pow neg prod_nn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 0.8 neg pow neg prod_nn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 0.8 neg pow prod_dn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 0.8 neg pow prod_dn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 0.8 neg pow prod_nn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 0.8 neg pow prod_nn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 0.8 neg root neg prod_dn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 0.8 neg root neg prod_dn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 0.8 neg root neg prod_nn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 0.8 neg root neg prod_nn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 0.8 neg root prod_dn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 0.8 neg root prod_dn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 0.8 neg root prod_nn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 0.8 neg root prod_nn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 0.8 pow neg prod_dn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 0.8 pow neg prod_dn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 0.8 pow neg prod_nn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 0.8 pow neg prod_nn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 0.8 pow prod_dn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 0.8 pow prod_dn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 0.8 pow prod_nn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 0.8 pow prod_nn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 0.8 root neg prod_dn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 0.8 root neg prod_dn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 0.8 root neg prod_nn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 0.8 root neg prod_nn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 0.8 root prod_dn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 0.8 root prod_dn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 0.8 root prod_nn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 0.8 root prod_nn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 8 neg pow neg prod_dn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 8 neg pow neg prod_dn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 8 neg pow neg prod_nn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 8 neg pow neg prod_nn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 8 neg pow prod_dn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 8 neg pow prod_dn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 8 neg pow prod_nn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 8 neg pow prod_nn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 8 neg root neg prod_dn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 8 neg root neg prod_dn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 8 neg root neg prod_nn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 8 neg root neg prod_nn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 8 neg root prod_dn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 8 neg root prod_dn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 8 neg root prod_nn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 8 neg root prod_nn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 8 pow neg prod_dn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 8 pow neg prod_dn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 8 pow neg prod_nn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 8 pow neg prod_nn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 8 pow prod_dn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 8 pow prod_dn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 8 pow prod_nn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 8 pow prod_nn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 8 root neg prod_dn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 8 root neg prod_dn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 8 root neg prod_nn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 8 root neg prod_nn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 8 root prod_dn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 8 root prod_dn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 8 root prod_nn_x
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 8 root prod_nn_x neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x sum2+ 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nn_x sum2+ 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nnn_x 0.8 neg pow
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nnn_x 0.8 neg pow neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nnn_x 0.8 neg root
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nnn_x 0.8 neg root neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nnn_x 0.8 pow
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nnn_x 0.8 pow neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nnn_x 0.8 root
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nnn_x 0.8 root neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nnn_x 8 neg pow
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nnn_x 8 neg pow neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nnn_x 8 neg root
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nnn_x 8 neg root neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nnn_x 8 pow
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nnn_x 8 pow neg
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nnn_x 8 root
 = 0.1 0.3 0.8 0.8 neg sum2+ prod_nnn_x 8 root neg
 = 0.1 0.3 0.8 0.8 neg sum3+ 8 neg pow pow
 = 0.1 0.3 0.8 0.8 neg sum3+ 8 neg pow pow neg
 = 0.1 0.3 0.8 0.8 neg sum3+ 8 pow root
 = 0.1 0.3 0.8 0.8 neg sum3+ 8 pow root neg
 = 0.1 0.3 0.8 0.8 neg sum3+ 8 prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 neg sum3+ 8 prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 neg sum3+ prod_nn_x 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 neg sum3+ prod_nn_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow 0.8 neg sum2+ prod_nd_x pow [rounded]
 = 0.1 0.3 0.8 0.8 pow 0.8 neg sum2+ prod_nd_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow 0.8 neg sum2+ prod_nn_x root [rounded]
 = 0.1 0.3 0.8 0.8 pow 0.8 neg sum2+ prod_nn_x root neg [rounded]
 = 0.1 0.3 0.8 0.8 pow 0.8 neg sum2+ root prod_dn_x [rounded]
 = 0.1 0.3 0.8 0.8 pow 0.8 neg sum2+ root prod_dn_x neg [rounded]
 = 0.1 0.3 0.8 0.8 pow 0.8 neg sum2+ root prod_nn_x [rounded]
 = 0.1 0.3 0.8 0.8 pow 0.8 neg sum2+ root prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 0.8 pow 0.8 neg sum2+ root root
 = 0.1 0.3 0.8 0.8 pow 0.8 neg sum2+ root root neg
 = 0.1 0.3 0.8 0.8 pow 0.8 sum2+ pow root [rounded]
 = 0.1 0.3 0.8 0.8 pow 0.8 sum2+ pow root neg [rounded]
 = 0.1 0.3 0.8 0.8 pow 8 neg sum2+ pow pow
 = 0.1 0.3 0.8 0.8 pow 8 neg sum2+ pow pow neg
 = 0.1 0.3 0.8 0.8 pow 8 prod_ddn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 pow 8 prod_ddn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow 8 prod_dn_x neg pow pow
 = 0.1 0.3 0.8 0.8 pow 8 prod_dn_x neg pow pow neg
 = 0.1 0.3 0.8 0.8 pow 8 prod_dn_x pow root
 = 0.1 0.3 0.8 0.8 pow 8 prod_dn_x pow root neg
 = 0.1 0.3 0.8 0.8 pow 8 prod_dn_x sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 pow 8 prod_dn_x sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow 8 prod_dnn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 pow 8 prod_dnn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow 8 prod_nn_x neg pow pow
 = 0.1 0.3 0.8 0.8 pow 8 prod_nn_x neg pow pow neg
 = 0.1 0.3 0.8 0.8 pow 8 prod_nn_x pow root
 = 0.1 0.3 0.8 0.8 pow 8 prod_nn_x pow root neg
 = 0.1 0.3 0.8 0.8 pow 8 prod_nn_x sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 pow 8 prod_nn_x sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow 8 sum2+ pow root
 = 0.1 0.3 0.8 0.8 pow 8 sum2+ pow root neg
 = 0.1 0.3 0.8 0.8 pow 8 sum2+ prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 pow 8 sum2+ prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow neg 0.8 neg sum2+ pow pow [rounded]
 = 0.1 0.3 0.8 0.8 pow neg 0.8 neg sum2+ pow pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow neg 0.8 sum2+ root pow
 = 0.1 0.3 0.8 0.8 pow neg 0.8 sum2+ root pow neg
 = 0.1 0.3 0.8 0.8 pow neg 0.8 sum2+ root prod_nd_x [rounded]
 = 0.1 0.3 0.8 0.8 pow neg 0.8 sum2+ root prod_nd_x neg [rounded]
 = 0.1 0.3 0.8 0.8 pow neg 8 neg sum2+ pow pow
 = 0.1 0.3 0.8 0.8 pow neg 8 neg sum2+ pow pow neg
 = 0.1 0.3 0.8 0.8 pow neg 8 sum2+ pow root
 = 0.1 0.3 0.8 0.8 pow neg 8 sum2+ pow root neg
 = 0.1 0.3 0.8 0.8 pow neg 8 sum2+ prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 pow neg 8 sum2+ prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow neg pow 8 prod_nn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 pow neg pow 8 prod_nn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow neg pow 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 pow neg pow 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow neg root 8 prod_nn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 pow neg root 8 prod_nn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow neg root 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 pow neg root 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow neg sum2+ 8 neg pow pow [rounded]
 = 0.1 0.3 0.8 0.8 pow neg sum2+ 8 neg pow pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow neg sum2+ 8 pow root [rounded]
 = 0.1 0.3 0.8 0.8 pow neg sum2+ 8 pow root neg [rounded]
 = 0.1 0.3 0.8 0.8 pow pow 8 prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 pow pow 8 prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow pow 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 pow pow 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow pow neg 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 pow pow neg 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow pow prod_nn_x 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 pow pow prod_nn_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow pow prod_nn_x neg 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 pow pow prod_nn_x neg 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow prod_dn_x 8 pow pow
 = 0.1 0.3 0.8 0.8 pow prod_dn_x 8 pow pow neg
 = 0.1 0.3 0.8 0.8 pow prod_dn_x 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 pow prod_dn_x 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow prod_dn_x neg 8 pow pow
 = 0.1 0.3 0.8 0.8 pow prod_dn_x neg 8 pow pow neg
 = 0.1 0.3 0.8 0.8 pow prod_nd_x 8 pow root
 = 0.1 0.3 0.8 0.8 pow prod_nd_x 8 pow root neg
 = 0.1 0.3 0.8 0.8 pow prod_nd_x 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 pow prod_nd_x 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow prod_nd_x neg 8 pow root
 = 0.1 0.3 0.8 0.8 pow prod_nd_x neg 8 pow root neg
 = 0.1 0.3 0.8 0.8 pow prod_nd_x neg 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 pow prod_nd_x neg 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow prod_nn_x 8 neg pow pow
 = 0.1 0.3 0.8 0.8 pow prod_nn_x 8 neg pow pow neg
 = 0.1 0.3 0.8 0.8 pow prod_nn_x 8 pow root
 = 0.1 0.3 0.8 0.8 pow prod_nn_x 8 pow root neg
 = 0.1 0.3 0.8 0.8 pow prod_nn_x 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 pow prod_nn_x 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow prod_nn_x neg 8 neg pow pow
 = 0.1 0.3 0.8 0.8 pow prod_nn_x neg 8 neg pow pow neg
 = 0.1 0.3 0.8 0.8 pow prod_nn_x neg 8 pow root
 = 0.1 0.3 0.8 0.8 pow prod_nn_x neg 8 pow root neg
 = 0.1 0.3 0.8 0.8 pow prod_nn_x neg 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 pow prod_nn_x neg 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow prod_nn_x neg sum2+ 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 pow prod_nn_x neg sum2+ 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow prod_nnd_x 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 pow prod_nnd_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow prod_nnd_x neg 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 pow prod_nnd_x neg 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow prod_nnn_x 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 pow prod_nnn_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow prod_nnn_x neg 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 pow prod_nnn_x neg 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow root 8 prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 pow root 8 prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow root 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 pow root 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow root neg 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 pow root neg 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow root neg sum2+ 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 pow root neg sum2+ 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow root prod_nn_x 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 pow root prod_nn_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow root prod_nn_x neg 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 pow root prod_nn_x neg 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow sum2+ 8 prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 pow sum2+ 8 prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow sum2+ 8 prod_nn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 pow sum2+ 8 prod_nn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow sum2+ prod_nd_x 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 pow sum2+ prod_nd_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 pow sum2+ prod_nn_x 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 pow sum2+ prod_nn_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x 0.8 neg root neg pow pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x 0.8 neg root neg pow pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x 0.8 neg root pow root [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x 0.8 neg root pow root neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x 0.8 neg sum2+ root pow
 = 0.1 0.3 0.8 0.8 prod_nn_x 0.8 neg sum2+ root pow neg
 = 0.1 0.3 0.8 0.8 prod_nn_x 0.8 neg sum3+ root [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x 0.8 neg sum3+ root neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x 0.8 root neg root pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x 0.8 root neg root pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x 0.8 root root root [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x 0.8 root root root neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x 8 neg pow neg pow pow
 = 0.1 0.3 0.8 0.8 prod_nn_x 8 neg pow neg pow pow neg
 = 0.1 0.3 0.8 0.8 prod_nn_x 8 neg pow pow prod_dn_x [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x 8 neg pow pow prod_dn_x neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x 8 neg pow pow prod_nn_x [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x 8 neg pow pow prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x 8 neg pow pow root
 = 0.1 0.3 0.8 0.8 prod_nn_x 8 neg pow pow root neg
 = 0.1 0.3 0.8 0.8 prod_nn_x 8 neg pow prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x 8 neg pow prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x 8 neg pow prod_nn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x 8 neg pow prod_nn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x 8 neg pow sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x 8 neg pow sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x 8 neg sum2+ pow pow
 = 0.1 0.3 0.8 0.8 prod_nn_x 8 neg sum2+ pow pow neg
 = 0.1 0.3 0.8 0.8 prod_nn_x 8 pow neg root pow
 = 0.1 0.3 0.8 0.8 prod_nn_x 8 pow neg root pow neg
 = 0.1 0.3 0.8 0.8 prod_nn_x 8 pow prod_nd_x pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x 8 pow prod_nd_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x 8 pow prod_nn_x root [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x 8 pow prod_nn_x root neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x 8 pow root prod_dn_x [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x 8 pow root prod_dn_x neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x 8 pow root prod_nn_x [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x 8 pow root prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x 8 pow root root
 = 0.1 0.3 0.8 0.8 prod_nn_x 8 pow root root neg
 = 0.1 0.3 0.8 0.8 prod_nn_x 8 sum2+ pow root
 = 0.1 0.3 0.8 0.8 prod_nn_x 8 sum2+ pow root neg
 = 0.1 0.3 0.8 0.8 prod_nn_x 8 sum2+ prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x 8 sum2+ prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg 0.8 sum2+ prod_nn_x root [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg 0.8 sum2+ prod_nn_x root neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg 0.8 sum2+ root root
 = 0.1 0.3 0.8 0.8 prod_nn_x neg 0.8 sum2+ root root neg
 = 0.1 0.3 0.8 0.8 prod_nn_x neg 8 neg pow neg pow pow
 = 0.1 0.3 0.8 0.8 prod_nn_x neg 8 neg pow neg pow pow neg
 = 0.1 0.3 0.8 0.8 prod_nn_x neg 8 neg pow pow prod_dn_x [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg 8 neg pow pow prod_dn_x neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg 8 neg pow pow prod_nn_x [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg 8 neg pow pow prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg 8 neg pow pow root
 = 0.1 0.3 0.8 0.8 prod_nn_x neg 8 neg pow pow root neg
 = 0.1 0.3 0.8 0.8 prod_nn_x neg 8 neg pow prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg 8 neg pow prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg 8 neg pow prod_nn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg 8 neg pow prod_nn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg 8 neg pow sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg 8 neg pow sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg 8 neg sum2+ pow pow
 = 0.1 0.3 0.8 0.8 prod_nn_x neg 8 neg sum2+ pow pow neg
 = 0.1 0.3 0.8 0.8 prod_nn_x neg 8 pow neg root pow
 = 0.1 0.3 0.8 0.8 prod_nn_x neg 8 pow neg root pow neg
 = 0.1 0.3 0.8 0.8 prod_nn_x neg 8 pow prod_nd_x pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg 8 pow prod_nd_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg 8 pow prod_nn_x root [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg 8 pow prod_nn_x root neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg 8 pow root prod_dn_x [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg 8 pow root prod_dn_x neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg 8 pow root prod_nn_x [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg 8 pow root prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg 8 pow root root
 = 0.1 0.3 0.8 0.8 prod_nn_x neg 8 pow root root neg
 = 0.1 0.3 0.8 0.8 prod_nn_x neg 8 sum2+ pow root
 = 0.1 0.3 0.8 0.8 prod_nn_x neg 8 sum2+ pow root neg
 = 0.1 0.3 0.8 0.8 prod_nn_x neg 8 sum2+ prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg 8 sum2+ prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg pow 8 prod_nn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg pow 8 prod_nn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg pow 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg pow 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg root 0.8 prod_nd_x pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg root 0.8 prod_nd_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg root 0.8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg root 0.8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg root 8 prod_nn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg root 8 prod_nn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg root 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg root 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg root neg sum2+ 8 neg pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg root neg sum2+ 8 neg pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg root pow 0.8 prod_nd_x [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg root pow 0.8 prod_nd_x neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg root pow 0.8 prod_nn_x [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg root pow 0.8 prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg root pow 8 prod_nd_x [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg root pow 8 prod_nd_x neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg root sum2+ 8 neg pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg root sum2+ 8 neg pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x neg sum2+ 8 neg pow pow
 = 0.1 0.3 0.8 0.8 prod_nn_x neg sum2+ 8 neg pow pow neg
 = 0.1 0.3 0.8 0.8 prod_nn_x neg sum2+ 8 pow root
 = 0.1 0.3 0.8 0.8 prod_nn_x neg sum2+ 8 pow root neg
 = 0.1 0.3 0.8 0.8 prod_nn_x pow 8 prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x pow 8 prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x pow 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x pow 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x pow neg 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x pow neg 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x pow prod_nn_x 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x pow prod_nn_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x pow prod_nn_x neg 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x pow prod_nn_x neg 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x root 0.8 prod_nn_x root [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x root 0.8 prod_nn_x root neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x root 8 prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x root 8 prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x root 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x root 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x root neg 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x root neg 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x root neg sum2+ 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x root neg sum2+ 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x root prod_nn_x 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x root prod_nn_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x root prod_nn_x neg 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x root prod_nn_x neg 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x root root 0.8 prod_nd_x [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x root root 0.8 prod_nd_x neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x root root 0.8 prod_nn_x [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x root root 0.8 prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x root root 8 prod_nd_x [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x root root 8 prod_nd_x neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x sum2+ 8 prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x sum2+ 8 prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x sum2+ 8 prod_nn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x sum2+ 8 prod_nn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x sum2+ prod_nd_x 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x sum2+ prod_nd_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x sum2+ prod_nn_x 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nn_x sum2+ prod_nn_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nnn_x 0.8 neg root pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nnn_x 0.8 neg root pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nnn_x 0.8 root root [rounded]
 = 0.1 0.3 0.8 0.8 prod_nnn_x 0.8 root root neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nnn_x 8 neg pow pow
 = 0.1 0.3 0.8 0.8 prod_nnn_x 8 neg pow pow neg
 = 0.1 0.3 0.8 0.8 prod_nnn_x 8 pow prod_nn_x [rounded]
 = 0.1 0.3 0.8 0.8 prod_nnn_x 8 pow prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nnn_x 8 pow root
 = 0.1 0.3 0.8 0.8 prod_nnn_x 8 pow root neg
 = 0.1 0.3 0.8 0.8 prod_nnn_x 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nnn_x 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nnn_x neg 8 neg pow pow
 = 0.1 0.3 0.8 0.8 prod_nnn_x neg 8 neg pow pow neg
 = 0.1 0.3 0.8 0.8 prod_nnn_x neg 8 pow prod_nn_x [rounded]
 = 0.1 0.3 0.8 0.8 prod_nnn_x neg 8 pow prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nnn_x neg 8 pow root
 = 0.1 0.3 0.8 0.8 prod_nnn_x neg 8 pow root neg
 = 0.1 0.3 0.8 0.8 prod_nnn_x neg 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nnn_x neg 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nnn_x neg sum2+ 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nnn_x neg sum2+ 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nnnn_x 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nnnn_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 prod_nnnn_x neg 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 prod_nnnn_x neg 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root 0.8 neg sum2+ root pow
 = 0.1 0.3 0.8 0.8 root 0.8 neg sum2+ root pow neg
 = 0.1 0.3 0.8 0.8 root 0.8 neg sum2+ root prod_nd_x [rounded]
 = 0.1 0.3 0.8 0.8 root 0.8 neg sum2+ root prod_nd_x neg [rounded]
 = 0.1 0.3 0.8 0.8 root 0.8 prod_nn_x neg root pow [rounded]
 = 0.1 0.3 0.8 0.8 root 0.8 prod_nn_x neg root pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root 0.8 prod_nn_x root root [rounded]
 = 0.1 0.3 0.8 0.8 root 0.8 prod_nn_x root root neg [rounded]
 = 0.1 0.3 0.8 0.8 root 0.8 sum2+ pow root [rounded]
 = 0.1 0.3 0.8 0.8 root 0.8 sum2+ pow root neg [rounded]
 = 0.1 0.3 0.8 0.8 root 8 neg sum2+ pow pow
 = 0.1 0.3 0.8 0.8 root 8 neg sum2+ pow pow neg
 = 0.1 0.3 0.8 0.8 root 8 prod_ddn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 root 8 prod_ddn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root 8 prod_dn_x neg pow pow
 = 0.1 0.3 0.8 0.8 root 8 prod_dn_x neg pow pow neg
 = 0.1 0.3 0.8 0.8 root 8 prod_dn_x pow prod_nn_x [rounded]
 = 0.1 0.3 0.8 0.8 root 8 prod_dn_x pow prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 0.8 root 8 prod_dn_x pow root
 = 0.1 0.3 0.8 0.8 root 8 prod_dn_x pow root neg
 = 0.1 0.3 0.8 0.8 root 8 prod_dn_x sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 root 8 prod_dn_x sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root 8 prod_dnn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 root 8 prod_dnn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root 8 prod_nn_x neg pow pow
 = 0.1 0.3 0.8 0.8 root 8 prod_nn_x neg pow pow neg
 = 0.1 0.3 0.8 0.8 root 8 prod_nn_x pow root
 = 0.1 0.3 0.8 0.8 root 8 prod_nn_x pow root neg
 = 0.1 0.3 0.8 0.8 root 8 prod_nn_x sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 root 8 prod_nn_x sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root 8 sum2+ pow root
 = 0.1 0.3 0.8 0.8 root 8 sum2+ pow root neg
 = 0.1 0.3 0.8 0.8 root 8 sum2+ prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 root 8 sum2+ prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root neg 0.8 neg sum2+ pow pow [rounded]
 = 0.1 0.3 0.8 0.8 root neg 0.8 neg sum2+ pow pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root neg 0.8 sum2+ prod_nd_x pow [rounded]
 = 0.1 0.3 0.8 0.8 root neg 0.8 sum2+ prod_nd_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root neg 0.8 sum2+ prod_nn_x root [rounded]
 = 0.1 0.3 0.8 0.8 root neg 0.8 sum2+ prod_nn_x root neg [rounded]
 = 0.1 0.3 0.8 0.8 root neg 0.8 sum2+ root prod_dn_x [rounded]
 = 0.1 0.3 0.8 0.8 root neg 0.8 sum2+ root prod_dn_x neg [rounded]
 = 0.1 0.3 0.8 0.8 root neg 0.8 sum2+ root prod_nn_x [rounded]
 = 0.1 0.3 0.8 0.8 root neg 0.8 sum2+ root prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 0.8 root neg 0.8 sum2+ root root
 = 0.1 0.3 0.8 0.8 root neg 0.8 sum2+ root root neg
 = 0.1 0.3 0.8 0.8 root neg 8 neg sum2+ pow pow
 = 0.1 0.3 0.8 0.8 root neg 8 neg sum2+ pow pow neg
 = 0.1 0.3 0.8 0.8 root neg 8 sum2+ pow root
 = 0.1 0.3 0.8 0.8 root neg 8 sum2+ pow root neg
 = 0.1 0.3 0.8 0.8 root neg 8 sum2+ prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 root neg 8 sum2+ prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root neg pow 8 prod_nn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 root neg pow 8 prod_nn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root neg pow 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 root neg pow 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root neg root 8 prod_nn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 root neg root 8 prod_nn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root neg root 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 root neg root 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root neg sum2+ 8 neg pow pow
 = 0.1 0.3 0.8 0.8 root neg sum2+ 8 neg pow pow neg
 = 0.1 0.3 0.8 0.8 root neg sum2+ 8 pow root
 = 0.1 0.3 0.8 0.8 root neg sum2+ 8 pow root neg
 = 0.1 0.3 0.8 0.8 root pow 8 prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 root pow 8 prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root pow 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 root pow 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root pow neg 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 root pow neg 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root pow prod_nn_x 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 root pow prod_nn_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root pow prod_nn_x neg 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 root pow prod_nn_x neg 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root prod_dn_x 8 pow pow
 = 0.1 0.3 0.8 0.8 root prod_dn_x 8 pow pow neg
 = 0.1 0.3 0.8 0.8 root prod_dn_x 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 root prod_dn_x 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root prod_dn_x neg 8 pow pow
 = 0.1 0.3 0.8 0.8 root prod_dn_x neg 8 pow pow neg
 = 0.1 0.3 0.8 0.8 root prod_nd_x 8 pow root
 = 0.1 0.3 0.8 0.8 root prod_nd_x 8 pow root neg
 = 0.1 0.3 0.8 0.8 root prod_nd_x 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 root prod_nd_x 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root prod_nd_x neg 8 pow root
 = 0.1 0.3 0.8 0.8 root prod_nd_x neg 8 pow root neg
 = 0.1 0.3 0.8 0.8 root prod_nd_x neg 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 root prod_nd_x neg 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root prod_nn_x 0.8 neg root pow [rounded]
 = 0.1 0.3 0.8 0.8 root prod_nn_x 0.8 neg root pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root prod_nn_x 0.8 root root [rounded]
 = 0.1 0.3 0.8 0.8 root prod_nn_x 0.8 root root neg [rounded]
 = 0.1 0.3 0.8 0.8 root prod_nn_x 8 neg pow pow
 = 0.1 0.3 0.8 0.8 root prod_nn_x 8 neg pow pow neg
 = 0.1 0.3 0.8 0.8 root prod_nn_x 8 pow root
 = 0.1 0.3 0.8 0.8 root prod_nn_x 8 pow root neg
 = 0.1 0.3 0.8 0.8 root prod_nn_x 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 root prod_nn_x 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root prod_nn_x neg 8 neg pow pow
 = 0.1 0.3 0.8 0.8 root prod_nn_x neg 8 neg pow pow neg
 = 0.1 0.3 0.8 0.8 root prod_nn_x neg 8 pow root
 = 0.1 0.3 0.8 0.8 root prod_nn_x neg 8 pow root neg
 = 0.1 0.3 0.8 0.8 root prod_nn_x neg 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 root prod_nn_x neg 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root prod_nn_x neg sum2+ 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 root prod_nn_x neg sum2+ 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root prod_nnd_x 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 root prod_nnd_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root prod_nnd_x neg 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 root prod_nnd_x neg 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root prod_nnn_x 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 root prod_nnn_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root prod_nnn_x neg 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 root prod_nnn_x neg 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root root 8 prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 root root 8 prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root root 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 root root 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root root neg 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 root root neg 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root root neg sum2+ 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 root root neg sum2+ 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root root prod_nn_x 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 root root prod_nn_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root root prod_nn_x neg 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 root root prod_nn_x neg 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root sum2+ 8 prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 root sum2+ 8 prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root sum2+ 8 prod_nn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 root sum2+ 8 prod_nn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root sum2+ prod_nd_x 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 root sum2+ prod_nd_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 root sum2+ prod_nn_x 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 root sum2+ prod_nn_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ 0.8 neg root neg root pow [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ 0.8 neg root neg root pow neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ 0.8 neg root root root [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ 0.8 neg root root root neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ 0.8 prod_dnd_x pow [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ 0.8 prod_dnd_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ 0.8 prod_nd_x pow root [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ 0.8 prod_nd_x pow root neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ 0.8 root neg pow pow [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ 0.8 root neg pow pow neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ 0.8 root pow root [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ 0.8 root pow root neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ 8 neg pow neg root pow
 = 0.1 0.3 0.8 0.8 sum2+ 8 neg pow neg root pow neg
 = 0.1 0.3 0.8 0.8 sum2+ 8 neg pow prod_nn_x root [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ 8 neg pow prod_nn_x root neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ 8 neg pow root prod_dn_x [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ 8 neg pow root prod_dn_x neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ 8 neg pow root prod_nn_x [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ 8 neg pow root prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ 8 neg pow root root
 = 0.1 0.3 0.8 0.8 sum2+ 8 neg pow root root neg
 = 0.1 0.3 0.8 0.8 sum2+ 8 pow neg pow pow
 = 0.1 0.3 0.8 0.8 sum2+ 8 pow neg pow pow neg
 = 0.1 0.3 0.8 0.8 sum2+ 8 pow pow prod_dn_x [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ 8 pow pow prod_dn_x neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ 8 pow pow prod_nn_x [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ 8 pow pow prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ 8 pow pow root
 = 0.1 0.3 0.8 0.8 sum2+ 8 pow pow root neg
 = 0.1 0.3 0.8 0.8 sum2+ 8 pow prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ 8 pow prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ 8 pow prod_nn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ 8 pow prod_nn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ 8 pow sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ 8 pow sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ 8 prod_ddn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ 8 prod_ddn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ 8 prod_dn_x pow root
 = 0.1 0.3 0.8 0.8 sum2+ 8 prod_dn_x pow root neg
 = 0.1 0.3 0.8 0.8 sum2+ 8 prod_dnn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ 8 prod_dnn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ 8 prod_nn_x pow prod_nn_x [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ 8 prod_nn_x pow prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ 8 prod_nn_x pow root
 = 0.1 0.3 0.8 0.8 sum2+ 8 prod_nn_x pow root neg
 = 0.1 0.3 0.8 0.8 sum2+ 8 prod_nn_x sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ 8 prod_nn_x sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ pow 0.8 prod_nn_x root [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ pow 0.8 prod_nn_x root neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ pow 8 prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ pow 8 prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ pow 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ pow 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ pow neg 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ pow neg 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ pow neg sum2+ 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ pow neg sum2+ 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ pow prod_nn_x 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ pow prod_nn_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ pow prod_nn_x neg 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ pow prod_nn_x neg 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ pow root 0.8 prod_nd_x [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ pow root 0.8 prod_nd_x neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ pow root 0.8 prod_nn_x [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ pow root 0.8 prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ pow root 8 prod_nd_x [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ pow root 8 prod_nd_x neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ prod_dn_x 0.8 neg root root [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ prod_dn_x 0.8 neg root root neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ prod_dn_x 0.8 root pow [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ prod_dn_x 0.8 root pow neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ prod_dn_x 8 pow pow
 = 0.1 0.3 0.8 0.8 sum2+ prod_dn_x 8 pow pow neg
 = 0.1 0.3 0.8 0.8 sum2+ prod_dn_x 8 pow prod_nd_x [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ prod_dn_x 8 pow prod_nd_x neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ prod_dn_x 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ prod_dn_x 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ prod_nd_x 0.8 neg root pow [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ prod_nd_x 0.8 neg root pow neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ prod_nd_x 0.8 root root [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ prod_nd_x 0.8 root root neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ prod_nd_x 8 pow prod_nn_x [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ prod_nd_x 8 pow prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ prod_nd_x 8 pow root
 = 0.1 0.3 0.8 0.8 sum2+ prod_nd_x 8 pow root neg
 = 0.1 0.3 0.8 0.8 sum2+ prod_nd_x 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ prod_nd_x 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ prod_nn_x 8 neg pow pow
 = 0.1 0.3 0.8 0.8 sum2+ prod_nn_x 8 neg pow pow neg
 = 0.1 0.3 0.8 0.8 sum2+ prod_nn_x 8 pow root
 = 0.1 0.3 0.8 0.8 sum2+ prod_nn_x 8 pow root neg
 = 0.1 0.3 0.8 0.8 sum2+ prod_nn_x 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ prod_nn_x 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ prod_nnd_x 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ prod_nnd_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ prod_nnn_x 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ prod_nnn_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ root 8 prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ root 8 prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ root 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ root 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ root neg 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ root neg 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ root prod_nn_x 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ root prod_nn_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ root prod_nn_x neg 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 sum2+ root prod_nn_x neg 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.8 sum3+ 8 neg pow root [rounded]
 = 0.1 0.3 0.8 0.8 sum3+ 8 neg pow root neg [rounded]
 = 0.1 0.3 0.8 0.8 sum3+ 8 pow pow [rounded]
 = 0.1 0.3 0.8 0.8 sum3+ 8 pow pow neg [rounded]
 = 0.1 0.3 0.8 0.8 sum3+ 8 prod_nn_x pow [rounded]
 = 0.1 0.3 0.8 0.8 sum3+ 8 prod_nn_x pow neg [rounded]
 = 0.1 0.3 0.8 0.8 sum3+ prod_nd_x 8 pow [rounded]
 = 0.1 0.3 0.8 0.8 sum3+ prod_nd_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 0.88 neg sum2+ root pow
 = 0.1 0.3 0.8 0.88 neg sum2+ root pow neg
 = 0.1 0.3 0.8 0.88 neg sum2+ root prod_nd_x [rounded]
 = 0.1 0.3 0.8 0.88 neg sum2+ root prod_nd_x neg [rounded]
 = 0.1 0.3 0.8 0.88 sum2+ pow root [rounded]
 = 0.1 0.3 0.8 0.88 sum2+ pow root neg [rounded]
 = 0.1 0.3 0.8 8 0.8 neg pow neg root neg pow pow [rounded]
 = 0.1 0.3 0.8 8 0.8 neg pow neg root neg pow pow neg [rounded]
 = 0.1 0.3 0.8 8 0.8 neg pow neg root pow root [rounded]
 = 0.1 0.3 0.8 8 0.8 neg pow neg root pow root neg [rounded]
 = 0.1 0.3 0.8 8 0.8 neg pow neg root prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 8 0.8 neg pow neg root prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 8 0.8 neg pow neg sum2+ root root [rounded]
 = 0.1 0.3 0.8 8 0.8 neg pow neg sum2+ root root neg [rounded]
 = 0.1 0.3 0.8 8 0.8 neg pow prod_dn_x neg sum2+ root [rounded]
 = 0.1 0.3 0.8 8 0.8 neg pow prod_dn_x neg sum2+ root neg [rounded]
 = 0.1 0.3 0.8 8 0.8 neg pow prod_nn_x neg root pow
 = 0.1 0.3 0.8 8 0.8 neg pow prod_nn_x neg root pow neg
 = 0.1 0.3 0.8 8 0.8 neg pow prod_nn_x neg sum2+ root [rounded]
 = 0.1 0.3 0.8 8 0.8 neg pow prod_nn_x neg sum2+ root neg [rounded]
 = 0.1 0.3 0.8 8 0.8 neg pow prod_nn_x root root
 = 0.1 0.3 0.8 8 0.8 neg pow prod_nn_x root root neg
 = 0.1 0.3 0.8 8 0.8 neg pow prod_nnn_x root [rounded]
 = 0.1 0.3 0.8 8 0.8 neg pow prod_nnn_x root neg [rounded]
 = 0.1 0.3 0.8 8 0.8 neg pow root neg root pow [rounded]
 = 0.1 0.3 0.8 8 0.8 neg pow root neg root pow neg [rounded]
 = 0.1 0.3 0.8 8 0.8 neg pow root prod_nn_x root [rounded]
 = 0.1 0.3 0.8 8 0.8 neg pow root prod_nn_x root neg [rounded]
 = 0.1 0.3 0.8 8 0.8 neg pow root root root [rounded]
 = 0.1 0.3 0.8 8 0.8 neg pow root root root neg [rounded]
 = 0.1 0.3 0.8 8 0.8 neg root neg root neg pow pow
 = 0.1 0.3 0.8 8 0.8 neg root neg root neg pow pow neg
 = 0.1 0.3 0.8 8 0.8 neg root neg root pow prod_dn_x [rounded]
 = 0.1 0.3 0.8 8 0.8 neg root neg root pow prod_dn_x neg [rounded]
 = 0.1 0.3 0.8 8 0.8 neg root neg root pow prod_nn_x [rounded]
 = 0.1 0.3 0.8 8 0.8 neg root neg root pow prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 8 0.8 neg root neg root pow root
 = 0.1 0.3 0.8 8 0.8 neg root neg root pow root neg
 = 0.1 0.3 0.8 8 0.8 neg root neg root prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 8 0.8 neg root neg root prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 8 0.8 neg root neg root sum2+ pow [rounded]
 = 0.1 0.3 0.8 8 0.8 neg root neg root sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 8 0.8 neg root prod_nn_x neg root pow
 = 0.1 0.3 0.8 8 0.8 neg root prod_nn_x neg root pow neg
 = 0.1 0.3 0.8 8 0.8 neg root prod_nn_x root prod_dn_x [rounded]
 = 0.1 0.3 0.8 8 0.8 neg root prod_nn_x root prod_dn_x neg [rounded]
 = 0.1 0.3 0.8 8 0.8 neg root prod_nn_x root prod_nn_x [rounded]
 = 0.1 0.3 0.8 8 0.8 neg root prod_nn_x root prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 8 0.8 neg root prod_nn_x root root
 = 0.1 0.3 0.8 8 0.8 neg root prod_nn_x root root neg
 = 0.1 0.3 0.8 8 0.8 neg root prod_nnn_x root [rounded]
 = 0.1 0.3 0.8 8 0.8 neg root prod_nnn_x root neg [rounded]
 = 0.1 0.3 0.8 8 0.8 neg root root neg root pow
 = 0.1 0.3 0.8 8 0.8 neg root root neg root pow neg
 = 0.1 0.3 0.8 8 0.8 neg root root prod_nn_x root [rounded]
 = 0.1 0.3 0.8 8 0.8 neg root root prod_nn_x root neg [rounded]
 = 0.1 0.3 0.8 8 0.8 neg root root root prod_dn_x [rounded]
 = 0.1 0.3 0.8 8 0.8 neg root root root prod_dn_x neg [rounded]
 = 0.1 0.3 0.8 8 0.8 neg root root root prod_nn_x [rounded]
 = 0.1 0.3 0.8 8 0.8 neg root root root prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 8 0.8 neg root root root root
 = 0.1 0.3 0.8 8 0.8 neg root root root root neg
 = 0.1 0.3 0.8 8 0.8 pow neg pow neg pow pow [rounded]
 = 0.1 0.3 0.8 8 0.8 pow neg pow neg pow pow neg [rounded]
 = 0.1 0.3 0.8 8 0.8 pow neg pow pow root [rounded]
 = 0.1 0.3 0.8 8 0.8 pow neg pow pow root neg [rounded]
 = 0.1 0.3 0.8 8 0.8 pow neg pow prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 8 0.8 pow neg pow prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 8 0.8 pow pow neg root pow [rounded]
 = 0.1 0.3 0.8 8 0.8 pow pow neg root pow neg [rounded]
 = 0.1 0.3 0.8 8 0.8 pow pow prod_nn_x root [rounded]
 = 0.1 0.3 0.8 8 0.8 pow pow prod_nn_x root neg [rounded]
 = 0.1 0.3 0.8 8 0.8 pow pow root root [rounded]
 = 0.1 0.3 0.8 8 0.8 pow pow root root neg [rounded]
 = 0.1 0.3 0.8 8 0.8 root neg pow neg pow pow
 = 0.1 0.3 0.8 8 0.8 root neg pow neg pow pow neg
 = 0.1 0.3 0.8 8 0.8 root neg pow pow prod_dn_x [rounded]
 = 0.1 0.3 0.8 8 0.8 root neg pow pow prod_dn_x neg [rounded]
 = 0.1 0.3 0.8 8 0.8 root neg pow pow prod_nn_x [rounded]
 = 0.1 0.3 0.8 8 0.8 root neg pow pow prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 8 0.8 root neg pow pow root
 = 0.1 0.3 0.8 8 0.8 root neg pow pow root neg
 = 0.1 0.3 0.8 8 0.8 root neg pow prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 8 0.8 root neg pow prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 8 0.8 root neg pow sum2+ pow [rounded]
 = 0.1 0.3 0.8 8 0.8 root neg pow sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 8 0.8 root pow neg root pow
 = 0.1 0.3 0.8 8 0.8 root pow neg root pow neg
 = 0.1 0.3 0.8 8 0.8 root pow prod_nn_x root [rounded]
 = 0.1 0.3 0.8 8 0.8 root pow prod_nn_x root neg [rounded]
 = 0.1 0.3 0.8 8 0.8 root pow root prod_dn_x [rounded]
 = 0.1 0.3 0.8 8 0.8 root pow root prod_dn_x neg [rounded]
 = 0.1 0.3 0.8 8 0.8 root pow root prod_nn_x [rounded]
 = 0.1 0.3 0.8 8 0.8 root pow root prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 8 0.8 root pow root root
 = 0.1 0.3 0.8 8 0.8 root pow root root neg
 = 0.1 0.3 0.8 8 8 neg pow neg root neg pow pow
 = 0.1 0.3 0.8 8 8 neg pow neg root neg pow pow neg
 = 0.1 0.3 0.8 8 8 neg pow neg root pow neg prod_dn_x
 = 0.1 0.3 0.8 8 8 neg pow neg root pow neg prod_dn_x neg
 = 0.1 0.3 0.8 8 8 neg pow neg root pow neg prod_nn_x
 = 0.1 0.3 0.8 8 8 neg pow neg root pow neg prod_nn_x neg
 = 0.1 0.3 0.8 8 8 neg pow neg root pow prod_dn_x
 = 0.1 0.3 0.8 8 8 neg pow neg root pow prod_dn_x neg
 = 0.1 0.3 0.8 8 8 neg pow neg root pow prod_nn_x
 = 0.1 0.3 0.8 8 8 neg pow neg root pow prod_nn_x neg
 = 0.1 0.3 0.8 8 8 neg pow neg root prod_dn_x pow
 = 0.1 0.3 0.8 8 8 neg pow neg root prod_dn_x pow neg
 = 0.1 0.3 0.8 8 8 neg pow neg root prod_nn_x pow
 = 0.1 0.3 0.8 8 8 neg pow neg root prod_nn_x pow neg
 = 0.1 0.3 0.8 8 8 neg pow neg root sum2+ pow
 = 0.1 0.3 0.8 8 8 neg pow neg root sum2+ pow neg
 = 0.1 0.3 0.8 8 8 neg pow neg root sum2+ prod_nd_x
 = 0.1 0.3 0.8 8 8 neg pow prod_dndn_x [rounded]
 = 0.1 0.3 0.8 8 8 neg pow prod_dndn_x neg [rounded]
 = 0.1 0.3 0.8 8 8 neg pow prod_dnnn_x [rounded]
 = 0.1 0.3 0.8 8 8 neg pow prod_dnnn_x neg [rounded]
 = 0.1 0.3 0.8 8 8 neg pow prod_nddn_x [rounded]
 = 0.1 0.3 0.8 8 8 neg pow prod_nddn_x neg [rounded]
 = 0.1 0.3 0.8 8 8 neg pow prod_ndnn_x [rounded]
 = 0.1 0.3 0.8 8 8 neg pow prod_ndnn_x neg [rounded]
 = 0.1 0.3 0.8 8 8 neg pow prod_nn_x neg root pow
 = 0.1 0.3 0.8 8 8 neg pow prod_nn_x neg root pow neg
 = 0.1 0.3 0.8 8 8 neg pow prod_nn_x root neg prod_dn_x
 = 0.1 0.3 0.8 8 8 neg pow prod_nn_x root neg prod_dn_x neg
 = 0.1 0.3 0.8 8 8 neg pow prod_nn_x root neg prod_nn_x
 = 0.1 0.3 0.8 8 8 neg pow prod_nn_x root neg prod_nn_x neg
 = 0.1 0.3 0.8 8 8 neg pow prod_nn_x root prod_dn_x
 = 0.1 0.3 0.8 8 8 neg pow prod_nn_x root prod_dn_x neg
 = 0.1 0.3 0.8 8 8 neg pow prod_nn_x root prod_nn_x
 = 0.1 0.3 0.8 8 8 neg pow prod_nn_x root prod_nn_x neg
 = 0.1 0.3 0.8 8 8 neg pow prod_nndn_x [rounded]
 = 0.1 0.3 0.8 8 8 neg pow prod_nndn_x neg [rounded]
 = 0.1 0.3 0.8 8 8 neg pow prod_nnn_x root
 = 0.1 0.3 0.8 8 8 neg pow prod_nnn_x root neg
 = 0.1 0.3 0.8 8 8 neg pow prod_nnnn_x [rounded]
 = 0.1 0.3 0.8 8 8 neg pow prod_nnnn_x neg [rounded]
 = 0.1 0.3 0.8 8 8 neg pow root neg prod_ddn_x
 = 0.1 0.3 0.8 8 8 neg pow root neg prod_ddn_x neg
 = 0.1 0.3 0.8 8 8 neg pow root neg prod_dnn_x
 = 0.1 0.3 0.8 8 8 neg pow root neg prod_dnn_x neg
 = 0.1 0.3 0.8 8 8 neg pow root neg prod_ndn_x
 = 0.1 0.3 0.8 8 8 neg pow root neg prod_ndn_x neg
 = 0.1 0.3 0.8 8 8 neg pow root neg prod_nnn_x
 = 0.1 0.3 0.8 8 8 neg pow root neg prod_nnn_x neg
 = 0.1 0.3 0.8 8 8 neg pow root prod_ddn_x
 = 0.1 0.3 0.8 8 8 neg pow root prod_ddn_x neg
 = 0.1 0.3 0.8 8 8 neg pow root prod_dnn_x
 = 0.1 0.3 0.8 8 8 neg pow root prod_dnn_x neg
 = 0.1 0.3 0.8 8 8 neg pow root prod_ndn_x
 = 0.1 0.3 0.8 8 8 neg pow root prod_ndn_x neg
 = 0.1 0.3 0.8 8 8 neg pow root prod_nnn_x
 = 0.1 0.3 0.8 8 8 neg pow root prod_nnn_x neg
 = 0.1 0.3 0.8 8 8 neg root neg sum2+ prod_nd_x pow [rounded]
 = 0.1 0.3 0.8 8 8 neg root neg sum2+ prod_nd_x pow neg [rounded]
 = 0.1 0.3 0.8 8 8 neg root neg sum2+ prod_nn_x root [rounded]
 = 0.1 0.3 0.8 8 8 neg root neg sum2+ prod_nn_x root neg [rounded]
 = 0.1 0.3 0.8 8 8 neg root neg sum2+ root prod_dn_x [rounded]
 = 0.1 0.3 0.8 8 8 neg root neg sum2+ root prod_dn_x neg [rounded]
 = 0.1 0.3 0.8 8 8 neg root neg sum2+ root prod_nn_x [rounded]
 = 0.1 0.3 0.8 8 8 neg root neg sum2+ root prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 8 8 neg root neg sum2+ root root
 = 0.1 0.3 0.8 8 8 neg root neg sum2+ root root neg
 = 0.1 0.3 0.8 8 8 neg root prod_nn_x neg root pow [rounded]
 = 0.1 0.3 0.8 8 8 neg root prod_nn_x neg root pow neg [rounded]
 = 0.1 0.3 0.8 8 8 neg root prod_nn_x root root [rounded]
 = 0.1 0.3 0.8 8 8 neg root prod_nn_x root root neg [rounded]
 = 0.1 0.3 0.8 8 8 neg root sum2+ pow root [rounded]
 = 0.1 0.3 0.8 8 8 neg root sum2+ pow root neg [rounded]
 = 0.1 0.3 0.8 8 8 neg sum2+ prod_dddn_x
 = 0.1 0.3 0.8 8 8 neg sum2+ prod_ddnn_x
 = 0.1 0.3 0.8 8 8 neg sum2+ prod_dndn_x
 = 0.1 0.3 0.8 8 8 neg sum2+ prod_dnnn_x
 = 0.1 0.3 0.8 8 8 neg sum2+ prod_nddn_x
 = 0.1 0.3 0.8 8 8 neg sum2+ prod_ndnn_x
 = 0.1 0.3 0.8 8 8 neg sum2+ prod_nndn_x
 = 0.1 0.3 0.8 8 8 neg sum2+ prod_nnnn_x
 = 0.1 0.3 0.8 8 8 pow neg pow neg pow pow
 = 0.1 0.3 0.8 8 8 pow neg pow neg pow pow neg
 = 0.1 0.3 0.8 8 8 pow neg pow pow neg prod_dn_x
 = 0.1 0.3 0.8 8 8 pow neg pow pow neg prod_dn_x neg
 = 0.1 0.3 0.8 8 8 pow neg pow pow neg prod_nn_x
 = 0.1 0.3 0.8 8 8 pow neg pow pow neg prod_nn_x neg
 = 0.1 0.3 0.8 8 8 pow neg pow pow prod_dn_x
 = 0.1 0.3 0.8 8 8 pow neg pow pow prod_dn_x neg
 = 0.1 0.3 0.8 8 8 pow neg pow pow prod_nn_x
 = 0.1 0.3 0.8 8 8 pow neg pow pow prod_nn_x neg
 = 0.1 0.3 0.8 8 8 pow neg pow prod_dn_x pow
 = 0.1 0.3 0.8 8 8 pow neg pow prod_dn_x pow neg
 = 0.1 0.3 0.8 8 8 pow neg pow prod_nn_x pow
 = 0.1 0.3 0.8 8 8 pow neg pow prod_nn_x pow neg
 = 0.1 0.3 0.8 8 8 pow neg pow sum2+ pow
 = 0.1 0.3 0.8 8 8 pow neg pow sum2+ pow neg
 = 0.1 0.3 0.8 8 8 pow neg pow sum2+ prod_nd_x
 = 0.1 0.3 0.8 8 8 pow neg sum2+ pow pow
 = 0.1 0.3 0.8 8 8 pow neg sum2+ pow pow neg
 = 0.1 0.3 0.8 8 8 pow neg sum2+ pow prod_nd_x
 = 0.1 0.3 0.8 8 8 pow neg sum2+ pow prod_nd_x neg
 = 0.1 0.3 0.8 8 8 pow pow neg prod_ddn_x
 = 0.1 0.3 0.8 8 8 pow pow neg prod_ddn_x neg
 = 0.1 0.3 0.8 8 8 pow pow neg prod_dnn_x
 = 0.1 0.3 0.8 8 8 pow pow neg prod_dnn_x neg
 = 0.1 0.3 0.8 8 8 pow pow neg prod_ndn_x
 = 0.1 0.3 0.8 8 8 pow pow neg prod_ndn_x neg
 = 0.1 0.3 0.8 8 8 pow pow neg prod_nnn_x
 = 0.1 0.3 0.8 8 8 pow pow neg prod_nnn_x neg
 = 0.1 0.3 0.8 8 8 pow pow prod_ddn_x
 = 0.1 0.3 0.8 8 8 pow pow prod_ddn_x neg
 = 0.1 0.3 0.8 8 8 pow pow prod_dnn_x
 = 0.1 0.3 0.8 8 8 pow pow prod_dnn_x neg
 = 0.1 0.3 0.8 8 8 pow pow prod_ndn_x
 = 0.1 0.3 0.8 8 8 pow pow prod_ndn_x neg
 = 0.1 0.3 0.8 8 8 pow pow prod_nnn_x
 = 0.1 0.3 0.8 8 8 pow pow prod_nnn_x neg
 = 0.1 0.3 0.8 8 8 pow prod_ddn_x pow
 = 0.1 0.3 0.8 8 8 pow prod_ddn_x pow neg
 = 0.1 0.3 0.8 8 8 pow prod_dn_x neg pow pow
 = 0.1 0.3 0.8 8 8 pow prod_dn_x neg pow pow neg
 = 0.1 0.3 0.8 8 8 pow prod_dn_x pow neg prod_dn_x
 = 0.1 0.3 0.8 8 8 pow prod_dn_x pow neg prod_dn_x neg
 = 0.1 0.3 0.8 8 8 pow prod_dn_x pow neg prod_nn_x
 = 0.1 0.3 0.8 8 8 pow prod_dn_x pow neg prod_nn_x neg
 = 0.1 0.3 0.8 8 8 pow prod_dn_x pow prod_dn_x
 = 0.1 0.3 0.8 8 8 pow prod_dn_x pow prod_dn_x neg
 = 0.1 0.3 0.8 8 8 pow prod_dn_x pow prod_nn_x
 = 0.1 0.3 0.8 8 8 pow prod_dn_x pow prod_nn_x neg
 = 0.1 0.3 0.8 8 8 pow prod_dn_x sum2+ pow
 = 0.1 0.3 0.8 8 8 pow prod_dn_x sum2+ pow neg
 = 0.1 0.3 0.8 8 8 pow prod_dn_x sum2+ prod_nd_x [rounded]
 = 0.1 0.3 0.8 8 8 pow prod_dndd_x [rounded]
 = 0.1 0.3 0.8 8 8 pow prod_dndd_x neg [rounded]
 = 0.1 0.3 0.8 8 8 pow prod_dnn_x pow
 = 0.1 0.3 0.8 8 8 pow prod_dnn_x pow neg
 = 0.1 0.3 0.8 8 8 pow prod_dnnd_x [rounded]
 = 0.1 0.3 0.8 8 8 pow prod_dnnd_x neg [rounded]
 = 0.1 0.3 0.8 8 8 pow prod_nddd_x [rounded]
 = 0.1 0.3 0.8 8 8 pow prod_nddd_x neg [rounded]
 = 0.1 0.3 0.8 8 8 pow prod_ndn_x pow
 = 0.1 0.3 0.8 8 8 pow prod_ndn_x pow neg
 = 0.1 0.3 0.8 8 8 pow prod_ndnd_x [rounded]
 = 0.1 0.3 0.8 8 8 pow prod_ndnd_x neg [rounded]
 = 0.1 0.3 0.8 8 8 pow prod_nn_x neg pow pow
 = 0.1 0.3 0.8 8 8 pow prod_nn_x neg pow pow neg
 = 0.1 0.3 0.8 8 8 pow prod_nn_x pow neg prod_dn_x
 = 0.1 0.3 0.8 8 8 pow prod_nn_x pow neg prod_dn_x neg
 = 0.1 0.3 0.8 8 8 pow prod_nn_x pow neg prod_nn_x
 = 0.1 0.3 0.8 8 8 pow prod_nn_x pow neg prod_nn_x neg
 = 0.1 0.3 0.8 8 8 pow prod_nn_x pow prod_dn_x
 = 0.1 0.3 0.8 8 8 pow prod_nn_x pow prod_dn_x neg
 = 0.1 0.3 0.8 8 8 pow prod_nn_x pow prod_nn_x
 = 0.1 0.3 0.8 8 8 pow prod_nn_x pow prod_nn_x neg
 = 0.1 0.3 0.8 8 8 pow prod_nn_x sum2+ pow
 = 0.1 0.3 0.8 8 8 pow prod_nn_x sum2+ pow neg
 = 0.1 0.3 0.8 8 8 pow prod_nn_x sum2+ prod_nd_x [rounded]
 = 0.1 0.3 0.8 8 8 pow prod_nndd_x [rounded]
 = 0.1 0.3 0.8 8 8 pow prod_nndd_x neg [rounded]
 = 0.1 0.3 0.8 8 8 pow prod_nnn_x pow
 = 0.1 0.3 0.8 8 8 pow prod_nnn_x pow neg
 = 0.1 0.3 0.8 8 8 pow prod_nnnd_x [rounded]
 = 0.1 0.3 0.8 8 8 pow prod_nnnd_x neg [rounded]
 = 0.1 0.3 0.8 8 8 pow sum2+ pow neg prod_dn_x
 = 0.1 0.3 0.8 8 8 pow sum2+ pow neg prod_dn_x neg
 = 0.1 0.3 0.8 8 8 pow sum2+ pow neg prod_nn_x
 = 0.1 0.3 0.8 8 8 pow sum2+ pow neg prod_nn_x neg
 = 0.1 0.3 0.8 8 8 pow sum2+ pow prod_dn_x
 = 0.1 0.3 0.8 8 8 pow sum2+ pow prod_dn_x neg
 = 0.1 0.3 0.8 8 8 pow sum2+ pow prod_nn_x
 = 0.1 0.3 0.8 8 8 pow sum2+ pow prod_nn_x neg
 = 0.1 0.3 0.8 8 8 pow sum2+ prod_dn_x pow
 = 0.1 0.3 0.8 8 8 pow sum2+ prod_dn_x pow neg
 = 0.1 0.3 0.8 8 8 pow sum2+ prod_dnd_x [rounded]
 = 0.1 0.3 0.8 8 8 pow sum2+ prod_ndd_x [rounded]
 = 0.1 0.3 0.8 8 8 pow sum2+ prod_nn_x pow
 = 0.1 0.3 0.8 8 8 pow sum2+ prod_nn_x pow neg
 = 0.1 0.3 0.8 8 8 pow sum2+ prod_nnd_x [rounded]
 = 0.1 0.3 0.8 8 8 pow sum3+ pow
 = 0.1 0.3 0.8 8 8 pow sum3+ pow neg
 = 0.1 0.3 0.8 8 8 pow sum3+ prod_nd_x [rounded]
 = 0.1 0.3 0.8 8 8 prod_ddnn_x pow [rounded]
 = 0.1 0.3 0.8 8 8 prod_ddnn_x pow neg [rounded]
 = 0.1 0.3 0.8 8 8 prod_dnn_x neg pow pow
 = 0.1 0.3 0.8 8 8 prod_dnn_x neg pow pow neg
 = 0.1 0.3 0.8 8 8 prod_dnn_x pow prod_dn_x [rounded]
 = 0.1 0.3 0.8 8 8 prod_dnn_x pow prod_dn_x neg [rounded]
 = 0.1 0.3 0.8 8 8 prod_dnn_x pow prod_nn_x [rounded]
 = 0.1 0.3 0.8 8 8 prod_dnn_x pow prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 8 8 prod_dnn_x pow root
 = 0.1 0.3 0.8 8 8 prod_dnn_x pow root neg
 = 0.1 0.3 0.8 8 8 prod_dnn_x sum2+ pow [rounded]
 = 0.1 0.3 0.8 8 8 prod_dnn_x sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 8 8 prod_dnnn_x pow [rounded]
 = 0.1 0.3 0.8 8 8 prod_dnnn_x pow neg [rounded]
 = 0.1 0.3 0.8 8 8 prod_nd_x neg sum2+ root pow
 = 0.1 0.3 0.8 8 8 prod_nd_x neg sum2+ root pow neg
 = 0.1 0.3 0.8 8 8 prod_nd_x neg sum3+ root [rounded]
 = 0.1 0.3 0.8 8 8 prod_nd_x neg sum3+ root neg [rounded]
 = 0.1 0.3 0.8 8 8 prod_nd_x sum2+ pow root [rounded]
 = 0.1 0.3 0.8 8 8 prod_nd_x sum2+ pow root neg [rounded]
 = 0.1 0.3 0.8 8 8 prod_ndnn_x pow [rounded]
 = 0.1 0.3 0.8 8 8 prod_ndnn_x pow neg [rounded]
 = 0.1 0.3 0.8 8 8 prod_nn_x neg pow neg pow pow
 = 0.1 0.3 0.8 8 8 prod_nn_x neg pow neg pow pow neg
 = 0.1 0.3 0.8 8 8 prod_nn_x neg pow pow neg prod_dn_x
 = 0.1 0.3 0.8 8 8 prod_nn_x neg pow pow neg prod_dn_x neg
 = 0.1 0.3 0.8 8 8 prod_nn_x neg pow pow neg prod_nn_x
 = 0.1 0.3 0.8 8 8 prod_nn_x neg pow pow neg prod_nn_x neg
 = 0.1 0.3 0.8 8 8 prod_nn_x neg pow pow prod_dn_x
 = 0.1 0.3 0.8 8 8 prod_nn_x neg pow pow prod_dn_x neg
 = 0.1 0.3 0.8 8 8 prod_nn_x neg pow pow prod_nn_x
 = 0.1 0.3 0.8 8 8 prod_nn_x neg pow pow prod_nn_x neg
 = 0.1 0.3 0.8 8 8 prod_nn_x neg pow prod_dn_x pow
 = 0.1 0.3 0.8 8 8 prod_nn_x neg pow prod_dn_x pow neg
 = 0.1 0.3 0.8 8 8 prod_nn_x neg pow prod_nn_x pow
 = 0.1 0.3 0.8 8 8 prod_nn_x neg pow prod_nn_x pow neg
 = 0.1 0.3 0.8 8 8 prod_nn_x neg pow sum2+ pow
 = 0.1 0.3 0.8 8 8 prod_nn_x neg pow sum2+ pow neg
 = 0.1 0.3 0.8 8 8 prod_nn_x neg pow sum2+ prod_nd_x [rounded]
 = 0.1 0.3 0.8 8 8 prod_nn_x neg sum2+ pow pow
 = 0.1 0.3 0.8 8 8 prod_nn_x neg sum2+ pow pow neg
 = 0.1 0.3 0.8 8 8 prod_nn_x neg sum2+ pow prod_nd_x [rounded]
 = 0.1 0.3 0.8 8 8 prod_nn_x neg sum2+ pow prod_nd_x neg [rounded]
 = 0.1 0.3 0.8 8 8 prod_nn_x pow neg root pow
 = 0.1 0.3 0.8 8 8 prod_nn_x pow neg root pow neg
 = 0.1 0.3 0.8 8 8 prod_nn_x pow prod_nd_x pow
 = 0.1 0.3 0.8 8 8 prod_nn_x pow prod_nd_x pow neg
 = 0.1 0.3 0.8 8 8 prod_nn_x pow prod_ndn_x [rounded]
 = 0.1 0.3 0.8 8 8 prod_nn_x pow prod_ndn_x neg [rounded]
 = 0.1 0.3 0.8 8 8 prod_nn_x pow prod_nn_x root
 = 0.1 0.3 0.8 8 8 prod_nn_x pow prod_nn_x root neg
 = 0.1 0.3 0.8 8 8 prod_nn_x pow prod_nnn_x [rounded]
 = 0.1 0.3 0.8 8 8 prod_nn_x pow prod_nnn_x neg [rounded]
 = 0.1 0.3 0.8 8 8 prod_nn_x pow root neg prod_dn_x
 = 0.1 0.3 0.8 8 8 prod_nn_x pow root neg prod_dn_x neg
 = 0.1 0.3 0.8 8 8 prod_nn_x pow root neg prod_nn_x
 = 0.1 0.3 0.8 8 8 prod_nn_x pow root neg prod_nn_x neg
 = 0.1 0.3 0.8 8 8 prod_nn_x pow root prod_dn_x
 = 0.1 0.3 0.8 8 8 prod_nn_x pow root prod_dn_x neg
 = 0.1 0.3 0.8 8 8 prod_nn_x pow root prod_nn_x
 = 0.1 0.3 0.8 8 8 prod_nn_x pow root prod_nn_x neg
 = 0.1 0.3 0.8 8 8 prod_nn_x sum2+ pow prod_dn_x [rounded]
 = 0.1 0.3 0.8 8 8 prod_nn_x sum2+ pow prod_dn_x neg [rounded]
 = 0.1 0.3 0.8 8 8 prod_nn_x sum2+ pow prod_nn_x [rounded]
 = 0.1 0.3 0.8 8 8 prod_nn_x sum2+ pow prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 8 8 prod_nn_x sum2+ pow root
 = 0.1 0.3 0.8 8 8 prod_nn_x sum2+ pow root neg
 = 0.1 0.3 0.8 8 8 prod_nn_x sum2+ prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 8 8 prod_nn_x sum2+ prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 8 8 prod_nn_x sum2+ prod_nn_x pow [rounded]
 = 0.1 0.3 0.8 8 8 prod_nn_x sum2+ prod_nn_x pow neg [rounded]
 = 0.1 0.3 0.8 8 8 prod_nn_x sum3+ pow [rounded]
 = 0.1 0.3 0.8 8 8 prod_nn_x sum3+ pow neg [rounded]
 = 0.1 0.3 0.8 8 8 prod_nnn_x neg pow pow
 = 0.1 0.3 0.8 8 8 prod_nnn_x neg pow pow neg
 = 0.1 0.3 0.8 8 8 prod_nnn_x pow prod_dn_x [rounded]
 = 0.1 0.3 0.8 8 8 prod_nnn_x pow prod_dn_x neg [rounded]
 = 0.1 0.3 0.8 8 8 prod_nnn_x pow prod_nn_x [rounded]
 = 0.1 0.3 0.8 8 8 prod_nnn_x pow prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 8 8 prod_nnn_x pow root
 = 0.1 0.3 0.8 8 8 prod_nnn_x pow root neg
 = 0.1 0.3 0.8 8 8 prod_nnn_x sum2+ pow [rounded]
 = 0.1 0.3 0.8 8 8 prod_nnn_x sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 8 8 prod_nnnn_x pow [rounded]
 = 0.1 0.3 0.8 8 8 prod_nnnn_x pow neg [rounded]
 = 0.1 0.3 0.8 8 8 root neg sum2+ root pow [rounded]
 = 0.1 0.3 0.8 8 8 root neg sum2+ root pow neg [rounded]
 = 0.1 0.3 0.8 8 8 root prod_dn_x neg pow pow [rounded]
 = 0.1 0.3 0.8 8 8 root prod_dn_x neg pow pow neg [rounded]
 = 0.1 0.3 0.8 8 8 root prod_dn_x pow root [rounded]
 = 0.1 0.3 0.8 8 8 root prod_dn_x pow root neg [rounded]
 = 0.1 0.3 0.8 8 8 root sum2+ pow root [rounded]
 = 0.1 0.3 0.8 8 8 root sum2+ pow root neg [rounded]
 = 0.1 0.3 0.8 8 8 root sum2+ prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 8 8 root sum2+ prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 8 8 sum2+ pow neg root pow
 = 0.1 0.3 0.8 8 8 sum2+ pow neg root pow neg
 = 0.1 0.3 0.8 8 8 sum2+ pow prod_nd_x pow [rounded]
 = 0.1 0.3 0.8 8 8 sum2+ pow prod_nd_x pow neg [rounded]
 = 0.1 0.3 0.8 8 8 sum2+ pow prod_nn_x root [rounded]
 = 0.1 0.3 0.8 8 8 sum2+ pow prod_nn_x root neg [rounded]
 = 0.1 0.3 0.8 8 8 sum2+ pow root prod_dn_x [rounded]
 = 0.1 0.3 0.8 8 8 sum2+ pow root prod_dn_x neg [rounded]
 = 0.1 0.3 0.8 8 8 sum2+ pow root prod_nn_x [rounded]
 = 0.1 0.3 0.8 8 8 sum2+ pow root prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 8 8 sum2+ pow root root
 = 0.1 0.3 0.8 8 8 sum2+ pow root root neg
 = 0.1 0.3 0.8 8 8 sum2+ prod_ddn_x pow [rounded]
 = 0.1 0.3 0.8 8 8 sum2+ prod_ddn_x pow neg [rounded]
 = 0.1 0.3 0.8 8 8 sum2+ prod_dn_x pow prod_dn_x [rounded]
 = 0.1 0.3 0.8 8 8 sum2+ prod_dn_x pow prod_dn_x neg [rounded]
 = 0.1 0.3 0.8 8 8 sum2+ prod_dn_x pow prod_nn_x [rounded]
 = 0.1 0.3 0.8 8 8 sum2+ prod_dn_x pow prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 8 8 sum2+ prod_dn_x pow root
 = 0.1 0.3 0.8 8 8 sum2+ prod_dn_x pow root neg
 = 0.1 0.3 0.8 8 8 sum2+ prod_dn_x sum2+ pow [rounded]
 = 0.1 0.3 0.8 8 8 sum2+ prod_dn_x sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 8 8 sum2+ prod_dnn_x pow [rounded]
 = 0.1 0.3 0.8 8 8 sum2+ prod_dnn_x pow neg [rounded]
 = 0.1 0.3 0.8 8 8 sum2+ prod_nn_x pow prod_nn_x [rounded]
 = 0.1 0.3 0.8 8 8 sum2+ prod_nn_x pow prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 8 8 sum2+ prod_nn_x pow root
 = 0.1 0.3 0.8 8 8 sum2+ prod_nn_x pow root neg
 = 0.1 0.3 0.8 8 8 sum2+ prod_nn_x sum2+ pow [rounded]
 = 0.1 0.3 0.8 8 8 sum2+ prod_nn_x sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 8 neg 8 neg pow neg root neg pow pow
 = 0.1 0.3 0.8 8 neg 8 neg pow neg root neg pow pow neg
 = 0.1 0.3 0.8 8 neg 8 neg pow neg root pow neg prod_dn_x
 = 0.1 0.3 0.8 8 neg 8 neg pow neg root pow neg prod_dn_x neg
 = 0.1 0.3 0.8 8 neg 8 neg pow neg root pow neg prod_nn_x
 = 0.1 0.3 0.8 8 neg 8 neg pow neg root pow neg prod_nn_x neg
 = 0.1 0.3 0.8 8 neg 8 neg pow neg root pow prod_dn_x
 = 0.1 0.3 0.8 8 neg 8 neg pow neg root pow prod_dn_x neg
 = 0.1 0.3 0.8 8 neg 8 neg pow neg root pow prod_nn_x
 = 0.1 0.3 0.8 8 neg 8 neg pow neg root pow prod_nn_x neg
 = 0.1 0.3 0.8 8 neg 8 neg pow neg root prod_dn_x pow
 = 0.1 0.3 0.8 8 neg 8 neg pow neg root prod_dn_x pow neg
 = 0.1 0.3 0.8 8 neg 8 neg pow neg root prod_nn_x pow
 = 0.1 0.3 0.8 8 neg 8 neg pow neg root prod_nn_x pow neg
 = 0.1 0.3 0.8 8 neg 8 neg pow neg root sum2+ pow
 = 0.1 0.3 0.8 8 neg 8 neg pow neg root sum2+ pow neg
 = 0.1 0.3 0.8 8 neg 8 neg pow neg root sum2+ prod_nd_x
 = 0.1 0.3 0.8 8 neg 8 neg pow prod_dndn_x [rounded]
 = 0.1 0.3 0.8 8 neg 8 neg pow prod_dndn_x neg [rounded]
 = 0.1 0.3 0.8 8 neg 8 neg pow prod_dnnn_x [rounded]
 = 0.1 0.3 0.8 8 neg 8 neg pow prod_dnnn_x neg [rounded]
 = 0.1 0.3 0.8 8 neg 8 neg pow prod_nddn_x [rounded]
 = 0.1 0.3 0.8 8 neg 8 neg pow prod_nddn_x neg [rounded]
 = 0.1 0.3 0.8 8 neg 8 neg pow prod_ndnn_x [rounded]
 = 0.1 0.3 0.8 8 neg 8 neg pow prod_ndnn_x neg [rounded]
 = 0.1 0.3 0.8 8 neg 8 neg pow prod_nn_x neg root pow
 = 0.1 0.3 0.8 8 neg 8 neg pow prod_nn_x neg root pow neg
 = 0.1 0.3 0.8 8 neg 8 neg pow prod_nn_x root neg prod_dn_x
 = 0.1 0.3 0.8 8 neg 8 neg pow prod_nn_x root neg prod_dn_x neg
 = 0.1 0.3 0.8 8 neg 8 neg pow prod_nn_x root neg prod_nn_x
 = 0.1 0.3 0.8 8 neg 8 neg pow prod_nn_x root neg prod_nn_x neg
 = 0.1 0.3 0.8 8 neg 8 neg pow prod_nn_x root prod_dn_x
 = 0.1 0.3 0.8 8 neg 8 neg pow prod_nn_x root prod_dn_x neg
 = 0.1 0.3 0.8 8 neg 8 neg pow prod_nn_x root prod_nn_x
 = 0.1 0.3 0.8 8 neg 8 neg pow prod_nn_x root prod_nn_x neg
 = 0.1 0.3 0.8 8 neg 8 neg pow prod_nndn_x [rounded]
 = 0.1 0.3 0.8 8 neg 8 neg pow prod_nndn_x neg [rounded]
 = 0.1 0.3 0.8 8 neg 8 neg pow prod_nnn_x root
 = 0.1 0.3 0.8 8 neg 8 neg pow prod_nnn_x root neg
 = 0.1 0.3 0.8 8 neg 8 neg pow prod_nnnn_x [rounded]
 = 0.1 0.3 0.8 8 neg 8 neg pow prod_nnnn_x neg [rounded]
 = 0.1 0.3 0.8 8 neg 8 neg pow root neg prod_ddn_x
 = 0.1 0.3 0.8 8 neg 8 neg pow root neg prod_ddn_x neg
 = 0.1 0.3 0.8 8 neg 8 neg pow root neg prod_dnn_x
 = 0.1 0.3 0.8 8 neg 8 neg pow root neg prod_dnn_x neg
 = 0.1 0.3 0.8 8 neg 8 neg pow root neg prod_ndn_x
 = 0.1 0.3 0.8 8 neg 8 neg pow root neg prod_ndn_x neg
 = 0.1 0.3 0.8 8 neg 8 neg pow root neg prod_nnn_x
 = 0.1 0.3 0.8 8 neg 8 neg pow root neg prod_nnn_x neg
 = 0.1 0.3 0.8 8 neg 8 neg pow root prod_ddn_x
 = 0.1 0.3 0.8 8 neg 8 neg pow root prod_ddn_x neg
 = 0.1 0.3 0.8 8 neg 8 neg pow root prod_dnn_x
 = 0.1 0.3 0.8 8 neg 8 neg pow root prod_dnn_x neg
 = 0.1 0.3 0.8 8 neg 8 neg pow root prod_ndn_x
 = 0.1 0.3 0.8 8 neg 8 neg pow root prod_ndn_x neg
 = 0.1 0.3 0.8 8 neg 8 neg pow root prod_nnn_x
 = 0.1 0.3 0.8 8 neg 8 neg pow root prod_nnn_x neg
 = 0.1 0.3 0.8 8 neg 8 neg sum2+ pow neg pow pow
 = 0.1 0.3 0.8 8 neg 8 neg sum2+ pow neg pow pow neg
 = 0.1 0.3 0.8 8 neg 8 neg sum2+ pow pow prod_dn_x [rounded]
 = 0.1 0.3 0.8 8 neg 8 neg sum2+ pow pow prod_dn_x neg [rounded]
 = 0.1 0.3 0.8 8 neg 8 neg sum2+ pow pow prod_nn_x [rounded]
 = 0.1 0.3 0.8 8 neg 8 neg sum2+ pow pow prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 8 neg 8 neg sum2+ pow pow root
 = 0.1 0.3 0.8 8 neg 8 neg sum2+ pow pow root neg
 = 0.1 0.3 0.8 8 neg 8 neg sum2+ pow prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 8 neg 8 neg sum2+ pow prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 8 neg 8 neg sum2+ pow prod_nn_x pow [rounded]
 = 0.1 0.3 0.8 8 neg 8 neg sum2+ pow prod_nn_x pow neg [rounded]
 = 0.1 0.3 0.8 8 neg 8 neg sum2+ pow sum2+ pow [rounded]
 = 0.1 0.3 0.8 8 neg 8 neg sum2+ pow sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 8 neg 8 neg sum3+ pow pow
 = 0.1 0.3 0.8 8 neg 8 neg sum3+ pow pow neg
 = 0.1 0.3 0.8 8 neg 8 neg sum3+ pow prod_nd_x [rounded]
 = 0.1 0.3 0.8 8 neg 8 neg sum3+ pow prod_nd_x neg [rounded]
 = 0.1 0.3 0.8 8 neg 8 pow neg pow neg pow pow
 = 0.1 0.3 0.8 8 neg 8 pow neg pow neg pow pow neg
 = 0.1 0.3 0.8 8 neg 8 pow neg pow pow neg prod_dn_x
 = 0.1 0.3 0.8 8 neg 8 pow neg pow pow neg prod_dn_x neg
 = 0.1 0.3 0.8 8 neg 8 pow neg pow pow neg prod_nn_x
 = 0.1 0.3 0.8 8 neg 8 pow neg pow pow neg prod_nn_x neg
 = 0.1 0.3 0.8 8 neg 8 pow neg pow pow prod_dn_x
 = 0.1 0.3 0.8 8 neg 8 pow neg pow pow prod_dn_x neg
 = 0.1 0.3 0.8 8 neg 8 pow neg pow pow prod_nn_x
 = 0.1 0.3 0.8 8 neg 8 pow neg pow pow prod_nn_x neg
 = 0.1 0.3 0.8 8 neg 8 pow neg pow prod_dn_x pow
 = 0.1 0.3 0.8 8 neg 8 pow neg pow prod_dn_x pow neg
 = 0.1 0.3 0.8 8 neg 8 pow neg pow prod_nn_x pow
 = 0.1 0.3 0.8 8 neg 8 pow neg pow prod_nn_x pow neg
 = 0.1 0.3 0.8 8 neg 8 pow neg pow sum2+ pow
 = 0.1 0.3 0.8 8 neg 8 pow neg pow sum2+ pow neg
 = 0.1 0.3 0.8 8 neg 8 pow neg pow sum2+ prod_nd_x
 = 0.1 0.3 0.8 8 neg 8 pow neg sum2+ pow pow
 = 0.1 0.3 0.8 8 neg 8 pow neg sum2+ pow pow neg
 = 0.1 0.3 0.8 8 neg 8 pow neg sum2+ pow prod_nd_x
 = 0.1 0.3 0.8 8 neg 8 pow neg sum2+ pow prod_nd_x neg
 = 0.1 0.3 0.8 8 neg 8 pow pow neg prod_ddn_x
 = 0.1 0.3 0.8 8 neg 8 pow pow neg prod_ddn_x neg
 = 0.1 0.3 0.8 8 neg 8 pow pow neg prod_dnn_x
 = 0.1 0.3 0.8 8 neg 8 pow pow neg prod_dnn_x neg
 = 0.1 0.3 0.8 8 neg 8 pow pow neg prod_ndn_x
 = 0.1 0.3 0.8 8 neg 8 pow pow neg prod_ndn_x neg
 = 0.1 0.3 0.8 8 neg 8 pow pow neg prod_nnn_x
 = 0.1 0.3 0.8 8 neg 8 pow pow neg prod_nnn_x neg
 = 0.1 0.3 0.8 8 neg 8 pow pow prod_ddn_x
 = 0.1 0.3 0.8 8 neg 8 pow pow prod_ddn_x neg
 = 0.1 0.3 0.8 8 neg 8 pow pow prod_dnn_x
 = 0.1 0.3 0.8 8 neg 8 pow pow prod_dnn_x neg
 = 0.1 0.3 0.8 8 neg 8 pow pow prod_ndn_x
 = 0.1 0.3 0.8 8 neg 8 pow pow prod_ndn_x neg
 = 0.1 0.3 0.8 8 neg 8 pow pow prod_nnn_x
 = 0.1 0.3 0.8 8 neg 8 pow pow prod_nnn_x neg
 = 0.1 0.3 0.8 8 neg 8 pow prod_ddn_x pow
 = 0.1 0.3 0.8 8 neg 8 pow prod_ddn_x pow neg
 = 0.1 0.3 0.8 8 neg 8 pow prod_dn_x neg pow pow
 = 0.1 0.3 0.8 8 neg 8 pow prod_dn_x neg pow pow neg
 = 0.1 0.3 0.8 8 neg 8 pow prod_dn_x pow neg prod_dn_x
 = 0.1 0.3 0.8 8 neg 8 pow prod_dn_x pow neg prod_dn_x neg
 = 0.1 0.3 0.8 8 neg 8 pow prod_dn_x pow neg prod_nn_x
 = 0.1 0.3 0.8 8 neg 8 pow prod_dn_x pow neg prod_nn_x neg
 = 0.1 0.3 0.8 8 neg 8 pow prod_dn_x pow prod_dn_x
 = 0.1 0.3 0.8 8 neg 8 pow prod_dn_x pow prod_dn_x neg
 = 0.1 0.3 0.8 8 neg 8 pow prod_dn_x pow prod_nn_x
 = 0.1 0.3 0.8 8 neg 8 pow prod_dn_x pow prod_nn_x neg
 = 0.1 0.3 0.8 8 neg 8 pow prod_dn_x sum2+ pow
 = 0.1 0.3 0.8 8 neg 8 pow prod_dn_x sum2+ pow neg
 = 0.1 0.3 0.8 8 neg 8 pow prod_dn_x sum2+ prod_nd_x [rounded]
 = 0.1 0.3 0.8 8 neg 8 pow prod_dndd_x [rounded]
 = 0.1 0.3 0.8 8 neg 8 pow prod_dndd_x neg [rounded]
 = 0.1 0.3 0.8 8 neg 8 pow prod_dnn_x pow
 = 0.1 0.3 0.8 8 neg 8 pow prod_dnn_x pow neg
 = 0.1 0.3 0.8 8 neg 8 pow prod_dnnd_x [rounded]
 = 0.1 0.3 0.8 8 neg 8 pow prod_dnnd_x neg [rounded]
 = 0.1 0.3 0.8 8 neg 8 pow prod_nddd_x [rounded]
 = 0.1 0.3 0.8 8 neg 8 pow prod_nddd_x neg [rounded]
 = 0.1 0.3 0.8 8 neg 8 pow prod_ndn_x pow
 = 0.1 0.3 0.8 8 neg 8 pow prod_ndn_x pow neg
 = 0.1 0.3 0.8 8 neg 8 pow prod_ndnd_x [rounded]
 = 0.1 0.3 0.8 8 neg 8 pow prod_ndnd_x neg [rounded]
 = 0.1 0.3 0.8 8 neg 8 pow prod_nn_x neg pow pow
 = 0.1 0.3 0.8 8 neg 8 pow prod_nn_x neg pow pow neg
 = 0.1 0.3 0.8 8 neg 8 pow prod_nn_x pow neg prod_dn_x
 = 0.1 0.3 0.8 8 neg 8 pow prod_nn_x pow neg prod_dn_x neg
 = 0.1 0.3 0.8 8 neg 8 pow prod_nn_x pow neg prod_nn_x
 = 0.1 0.3 0.8 8 neg 8 pow prod_nn_x pow neg prod_nn_x neg
 = 0.1 0.3 0.8 8 neg 8 pow prod_nn_x pow prod_dn_x
 = 0.1 0.3 0.8 8 neg 8 pow prod_nn_x pow prod_dn_x neg
 = 0.1 0.3 0.8 8 neg 8 pow prod_nn_x pow prod_nn_x
 = 0.1 0.3 0.8 8 neg 8 pow prod_nn_x pow prod_nn_x neg
 = 0.1 0.3 0.8 8 neg 8 pow prod_nn_x sum2+ pow
 = 0.1 0.3 0.8 8 neg 8 pow prod_nn_x sum2+ pow neg
 = 0.1 0.3 0.8 8 neg 8 pow prod_nn_x sum2+ prod_nd_x [rounded]
 = 0.1 0.3 0.8 8 neg 8 pow prod_nndd_x [rounded]
 = 0.1 0.3 0.8 8 neg 8 pow prod_nndd_x neg [rounded]
 = 0.1 0.3 0.8 8 neg 8 pow prod_nnn_x pow
 = 0.1 0.3 0.8 8 neg 8 pow prod_nnn_x pow neg
 = 0.1 0.3 0.8 8 neg 8 pow prod_nnnd_x [rounded]
 = 0.1 0.3 0.8 8 neg 8 pow prod_nnnd_x neg [rounded]
 = 0.1 0.3 0.8 8 neg 8 pow sum2+ pow neg prod_dn_x
 = 0.1 0.3 0.8 8 neg 8 pow sum2+ pow neg prod_dn_x neg
 = 0.1 0.3 0.8 8 neg 8 pow sum2+ pow neg prod_nn_x
 = 0.1 0.3 0.8 8 neg 8 pow sum2+ pow neg prod_nn_x neg
 = 0.1 0.3 0.8 8 neg 8 pow sum2+ pow prod_dn_x
 = 0.1 0.3 0.8 8 neg 8 pow sum2+ pow prod_dn_x neg
 = 0.1 0.3 0.8 8 neg 8 pow sum2+ pow prod_nn_x
 = 0.1 0.3 0.8 8 neg 8 pow sum2+ pow prod_nn_x neg
 = 0.1 0.3 0.8 8 neg 8 pow sum2+ prod_dn_x pow
 = 0.1 0.3 0.8 8 neg 8 pow sum2+ prod_dn_x pow neg
 = 0.1 0.3 0.8 8 neg 8 pow sum2+ prod_dnd_x [rounded]
 = 0.1 0.3 0.8 8 neg 8 pow sum2+ prod_ndd_x [rounded]
 = 0.1 0.3 0.8 8 neg 8 pow sum2+ prod_nn_x pow
 = 0.1 0.3 0.8 8 neg 8 pow sum2+ prod_nn_x pow neg
 = 0.1 0.3 0.8 8 neg 8 pow sum2+ prod_nnd_x [rounded]
 = 0.1 0.3 0.8 8 neg 8 pow sum3+ pow
 = 0.1 0.3 0.8 8 neg 8 pow sum3+ pow neg
 = 0.1 0.3 0.8 8 neg 8 pow sum3+ prod_nd_x [rounded]
 = 0.1 0.3 0.8 8 neg pow 0.8 neg sum2+ pow root
 = 0.1 0.3 0.8 8 neg pow 0.8 neg sum2+ pow root neg
 = 0.1 0.3 0.8 8 neg pow 0.8 neg sum2+ prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 8 neg pow 0.8 neg sum2+ prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow 0.8 prod_dnd_x pow [rounded]
 = 0.1 0.3 0.8 8 neg pow 0.8 prod_dnd_x pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow 0.8 prod_dnn_x pow [rounded]
 = 0.1 0.3 0.8 8 neg pow 0.8 prod_dnn_x pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow 0.8 prod_nd_x neg pow pow
 = 0.1 0.3 0.8 8 neg pow 0.8 prod_nd_x neg pow pow neg
 = 0.1 0.3 0.8 8 neg pow 0.8 prod_nd_x pow root
 = 0.1 0.3 0.8 8 neg pow 0.8 prod_nd_x pow root neg
 = 0.1 0.3 0.8 8 neg pow 0.8 prod_nd_x sum2+ pow [rounded]
 = 0.1 0.3 0.8 8 neg pow 0.8 prod_nd_x sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow 0.8 prod_nn_x neg pow pow [rounded]
 = 0.1 0.3 0.8 8 neg pow 0.8 prod_nn_x neg pow pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow 0.8 prod_nn_x pow root [rounded]
 = 0.1 0.3 0.8 8 neg pow 0.8 prod_nn_x pow root neg [rounded]
 = 0.1 0.3 0.8 8 neg pow 0.8 sum2+ pow root
 = 0.1 0.3 0.8 8 neg pow 0.8 sum2+ pow root neg
 = 0.1 0.3 0.8 8 neg pow 0.8 sum2+ prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 8 neg pow 0.8 sum2+ prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow 0.8 sum3+ pow [rounded]
 = 0.1 0.3 0.8 8 neg pow 0.8 sum3+ pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow 8 neg sum2+ pow pow [rounded]
 = 0.1 0.3 0.8 8 neg pow 8 neg sum2+ pow pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow 8 prod_dnn_x pow [rounded]
 = 0.1 0.3 0.8 8 neg pow 8 prod_dnn_x pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow 8 prod_nn_x neg pow pow
 = 0.1 0.3 0.8 8 neg pow 8 prod_nn_x neg pow pow neg
 = 0.1 0.3 0.8 8 neg pow 8 prod_nn_x pow prod_dn_x [rounded]
 = 0.1 0.3 0.8 8 neg pow 8 prod_nn_x pow prod_dn_x neg [rounded]
 = 0.1 0.3 0.8 8 neg pow 8 prod_nn_x pow prod_nn_x [rounded]
 = 0.1 0.3 0.8 8 neg pow 8 prod_nn_x pow prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 8 neg pow 8 prod_nn_x pow root
 = 0.1 0.3 0.8 8 neg pow 8 prod_nn_x pow root neg
 = 0.1 0.3 0.8 8 neg pow 8 prod_nn_x sum2+ pow [rounded]
 = 0.1 0.3 0.8 8 neg pow 8 prod_nn_x sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow 8 prod_nnn_x pow [rounded]
 = 0.1 0.3 0.8 8 neg pow 8 prod_nnn_x pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow 8 sum2+ pow prod_nn_x [rounded]
 = 0.1 0.3 0.8 8 neg pow 8 sum2+ pow prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 8 neg pow 8 sum2+ pow root
 = 0.1 0.3 0.8 8 neg pow 8 sum2+ pow root neg
 = 0.1 0.3 0.8 8 neg pow 8 sum2+ prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 8 neg pow 8 sum2+ prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow neg 0.8 neg sum2+ pow pow
 = 0.1 0.3 0.8 8 neg pow neg 0.8 neg sum2+ pow pow neg
 = 0.1 0.3 0.8 8 neg pow neg 0.8 sum2+ pow pow
 = 0.1 0.3 0.8 8 neg pow neg 0.8 sum2+ pow pow neg
 = 0.1 0.3 0.8 8 neg pow neg 8 neg sum2+ pow pow
 = 0.1 0.3 0.8 8 neg pow neg 8 neg sum2+ pow pow neg
 = 0.1 0.3 0.8 8 neg pow neg 8 neg sum2+ pow prod_nd_x [rounded]
 = 0.1 0.3 0.8 8 neg pow neg 8 neg sum2+ pow prod_nd_x neg [rounded]
 = 0.1 0.3 0.8 8 neg pow neg 8 sum2+ pow root [rounded]
 = 0.1 0.3 0.8 8 neg pow neg 8 sum2+ pow root neg [rounded]
 = 0.1 0.3 0.8 8 neg pow neg 8 sum2+ prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 8 neg pow neg 8 sum2+ prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow neg pow 0.8 neg sum2+ pow
 = 0.1 0.3 0.8 8 neg pow neg pow 0.8 neg sum2+ pow neg
 = 0.1 0.3 0.8 8 neg pow neg pow 0.8 prod_nd_x pow
 = 0.1 0.3 0.8 8 neg pow neg pow 0.8 prod_nd_x pow neg
 = 0.1 0.3 0.8 8 neg pow neg pow 0.8 prod_nn_x pow
 = 0.1 0.3 0.8 8 neg pow neg pow 0.8 prod_nn_x pow neg
 = 0.1 0.3 0.8 8 neg pow neg pow 0.8 sum2+ pow
 = 0.1 0.3 0.8 8 neg pow neg pow 0.8 sum2+ pow neg
 = 0.1 0.3 0.8 8 neg pow neg pow 8 neg sum2+ pow
 = 0.1 0.3 0.8 8 neg pow neg pow 8 neg sum2+ pow neg
 = 0.1 0.3 0.8 8 neg pow neg pow 8 prod_nd_x pow [rounded]
 = 0.1 0.3 0.8 8 neg pow neg pow 8 prod_nd_x pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow neg pow 8 prod_nn_x pow
 = 0.1 0.3 0.8 8 neg pow neg pow 8 prod_nn_x pow neg
 = 0.1 0.3 0.8 8 neg pow neg pow 8 sum2+ pow
 = 0.1 0.3 0.8 8 neg pow neg pow 8 sum2+ pow neg
 = 0.1 0.3 0.8 8 neg pow neg pow neg sum2+ 8 neg pow [rounded]
 = 0.1 0.3 0.8 8 neg pow neg pow neg sum2+ 8 neg pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow neg pow pow 0.8 prod_nd_x
 = 0.1 0.3 0.8 8 neg pow neg pow pow 0.8 prod_nd_x neg
 = 0.1 0.3 0.8 8 neg pow neg pow pow 0.8 prod_nn_x
 = 0.1 0.3 0.8 8 neg pow neg pow pow 0.8 prod_nn_x neg
 = 0.1 0.3 0.8 8 neg pow neg pow pow 8 prod_nd_x
 = 0.1 0.3 0.8 8 neg pow neg pow pow 8 prod_nd_x neg
 = 0.1 0.3 0.8 8 neg pow neg pow pow 8 prod_nn_x
 = 0.1 0.3 0.8 8 neg pow neg pow pow 8 prod_nn_x neg
 = 0.1 0.3 0.8 8 neg pow neg pow pow neg 0.8 prod_nd_x
 = 0.1 0.3 0.8 8 neg pow neg pow pow neg 0.8 prod_nd_x neg
 = 0.1 0.3 0.8 8 neg pow neg pow pow neg 0.8 prod_nn_x
 = 0.1 0.3 0.8 8 neg pow neg pow pow neg 0.8 prod_nn_x neg
 = 0.1 0.3 0.8 8 neg pow neg pow pow neg 8 prod_nd_x
 = 0.1 0.3 0.8 8 neg pow neg pow pow neg 8 prod_nd_x neg
 = 0.1 0.3 0.8 8 neg pow neg pow pow neg 8 prod_nn_x
 = 0.1 0.3 0.8 8 neg pow neg pow pow neg 8 prod_nn_x neg
 = 0.1 0.3 0.8 8 neg pow neg pow prod_nn_x 8 neg pow [rounded]
 = 0.1 0.3 0.8 8 neg pow neg pow prod_nn_x 8 neg pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow neg pow prod_nn_x neg 8 neg pow [rounded]
 = 0.1 0.3 0.8 8 neg pow neg pow prod_nn_x neg 8 neg pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow neg pow sum2+ 8 neg pow [rounded]
 = 0.1 0.3 0.8 8 neg pow neg pow sum2+ 8 neg pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow neg root 8 prod_nn_x pow [rounded]
 = 0.1 0.3 0.8 8 neg pow neg root 8 prod_nn_x pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow neg root 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 8 neg pow neg root 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow neg root neg 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 8 neg pow neg root neg 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow neg root prod_nn_x 8 pow [rounded]
 = 0.1 0.3 0.8 8 neg pow neg root prod_nn_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow neg root prod_nn_x neg 8 pow [rounded]
 = 0.1 0.3 0.8 8 neg pow neg root prod_nn_x neg 8 pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow neg sum2+ 8 neg pow prod_nn_x [rounded]
 = 0.1 0.3 0.8 8 neg pow neg sum2+ 8 neg pow prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 8 neg pow neg sum2+ 8 neg pow root
 = 0.1 0.3 0.8 8 neg pow neg sum2+ 8 neg pow root neg
 = 0.1 0.3 0.8 8 neg pow neg sum2+ 8 pow pow
 = 0.1 0.3 0.8 8 neg pow neg sum2+ 8 pow pow neg
 = 0.1 0.3 0.8 8 neg pow neg sum2+ 8 pow prod_nd_x [rounded]
 = 0.1 0.3 0.8 8 neg pow neg sum2+ 8 pow prod_nd_x neg [rounded]
 = 0.1 0.3 0.8 8 neg pow pow 0.8 prod_dn_x pow
 = 0.1 0.3 0.8 8 neg pow pow 0.8 prod_dn_x pow neg
 = 0.1 0.3 0.8 8 neg pow pow 0.8 prod_nn_x root
 = 0.1 0.3 0.8 8 neg pow pow 0.8 prod_nn_x root neg
 = 0.1 0.3 0.8 8 neg pow pow 8 prod_dn_x pow
 = 0.1 0.3 0.8 8 neg pow pow 8 prod_dn_x pow neg
 = 0.1 0.3 0.8 8 neg pow pow 8 prod_nn_x root [rounded]
 = 0.1 0.3 0.8 8 neg pow pow 8 prod_nn_x root neg [rounded]
 = 0.1 0.3 0.8 8 neg pow pow 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 8 neg pow pow 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow pow neg 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 8 neg pow pow neg 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow pow neg sum2+ 8 pow [rounded]
 = 0.1 0.3 0.8 8 neg pow pow neg sum2+ 8 pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow pow prod_dn_x 8 pow [rounded]
 = 0.1 0.3 0.8 8 neg pow pow prod_dn_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow pow prod_dn_x neg 8 pow [rounded]
 = 0.1 0.3 0.8 8 neg pow pow prod_dn_x neg 8 pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow pow prod_nn_x 8 pow [rounded]
 = 0.1 0.3 0.8 8 neg pow pow prod_nn_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow pow prod_nn_x neg 8 pow [rounded]
 = 0.1 0.3 0.8 8 neg pow pow prod_nn_x neg 8 pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow pow root 0.8 prod_nd_x
 = 0.1 0.3 0.8 8 neg pow pow root 0.8 prod_nd_x neg
 = 0.1 0.3 0.8 8 neg pow pow root 0.8 prod_nn_x
 = 0.1 0.3 0.8 8 neg pow pow root 0.8 prod_nn_x neg
 = 0.1 0.3 0.8 8 neg pow pow root 8 prod_nd_x
 = 0.1 0.3 0.8 8 neg pow pow root 8 prod_nd_x neg
 = 0.1 0.3 0.8 8 neg pow pow root 8 prod_nn_x
 = 0.1 0.3 0.8 8 neg pow pow root 8 prod_nn_x neg
 = 0.1 0.3 0.8 8 neg pow pow root neg 0.8 prod_nd_x
 = 0.1 0.3 0.8 8 neg pow pow root neg 0.8 prod_nd_x neg
 = 0.1 0.3 0.8 8 neg pow pow root neg 0.8 prod_nn_x
 = 0.1 0.3 0.8 8 neg pow pow root neg 0.8 prod_nn_x neg
 = 0.1 0.3 0.8 8 neg pow pow root neg 8 prod_nd_x
 = 0.1 0.3 0.8 8 neg pow pow root neg 8 prod_nd_x neg
 = 0.1 0.3 0.8 8 neg pow pow root neg 8 prod_nn_x
 = 0.1 0.3 0.8 8 neg pow pow root neg 8 prod_nn_x neg
 = 0.1 0.3 0.8 8 neg pow pow sum2+ 8 pow [rounded]
 = 0.1 0.3 0.8 8 neg pow pow sum2+ 8 pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_dn_x 0.8 neg root root [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_dn_x 0.8 neg root root neg [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_dn_x 0.8 neg sum2+ pow [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_dn_x 0.8 neg sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_dn_x 0.8 pow pow [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_dn_x 0.8 pow pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_dn_x 0.8 root pow [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_dn_x 0.8 root pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_dn_x 0.8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_dn_x 0.8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_dn_x 8 neg sum2+ pow [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_dn_x 8 neg sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_dn_x 8 pow pow
 = 0.1 0.3 0.8 8 neg pow prod_dn_x 8 pow pow neg
 = 0.1 0.3 0.8 8 neg pow prod_dn_x 8 pow prod_nd_x [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_dn_x 8 pow prod_nd_x neg [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_dn_x 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_dn_x 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_dn_x neg 8 pow pow
 = 0.1 0.3 0.8 8 neg pow prod_dn_x neg 8 pow pow neg
 = 0.1 0.3 0.8 8 neg pow prod_dn_x neg 8 pow prod_nd_x [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_dn_x neg 8 pow prod_nd_x neg [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_dn_x neg sum2+ 8 neg pow [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_dn_x neg sum2+ 8 neg pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_dn_x pow 0.8 prod_nd_x [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_dn_x pow 0.8 prod_nd_x neg [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_dn_x pow 0.8 prod_nn_x [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_dn_x pow 0.8 prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_dn_x pow 8 prod_nd_x [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_dn_x pow 8 prod_nd_x neg [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_dn_x pow 8 prod_nn_x [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_dn_x pow 8 prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_dn_x sum2+ 8 neg pow [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_dn_x sum2+ 8 neg pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_nn_x 8 neg pow root [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_nn_x 8 neg pow root neg [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_nn_x 8 pow pow [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_nn_x 8 pow pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_nn_x 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_nn_x 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_nn_x neg 8 neg pow root [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_nn_x neg 8 neg pow root neg [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_nn_x neg 8 pow pow [rounded]
 = 0.1 0.3 0.8 8 neg pow prod_nn_x neg 8 pow pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow root 0.8 neg sum2+ root [rounded]
 = 0.1 0.3 0.8 8 neg pow root 0.8 neg sum2+ root neg [rounded]
 = 0.1 0.3 0.8 8 neg pow root 8 prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 8 neg pow root 8 prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow root 8 prod_nn_x pow [rounded]
 = 0.1 0.3 0.8 8 neg pow root 8 prod_nn_x pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow root 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 8 neg pow root 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow root neg 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 8 neg pow root neg 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow root prod_nd_x 8 pow [rounded]
 = 0.1 0.3 0.8 8 neg pow root prod_nd_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow root prod_nd_x neg 8 pow [rounded]
 = 0.1 0.3 0.8 8 neg pow root prod_nd_x neg 8 pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow root prod_nn_x 8 pow [rounded]
 = 0.1 0.3 0.8 8 neg pow root prod_nn_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow root prod_nn_x neg 8 pow [rounded]
 = 0.1 0.3 0.8 8 neg pow root prod_nn_x neg 8 pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow sum2+ 0.8 neg root root [rounded]
 = 0.1 0.3 0.8 8 neg pow sum2+ 0.8 neg root root neg [rounded]
 = 0.1 0.3 0.8 8 neg pow sum2+ 0.8 prod_nd_x pow [rounded]
 = 0.1 0.3 0.8 8 neg pow sum2+ 0.8 prod_nd_x pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow sum2+ 0.8 root pow [rounded]
 = 0.1 0.3 0.8 8 neg pow sum2+ 0.8 root pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow sum2+ 8 neg pow prod_nn_x [rounded]
 = 0.1 0.3 0.8 8 neg pow sum2+ 8 neg pow prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 8 neg pow sum2+ 8 neg pow root
 = 0.1 0.3 0.8 8 neg pow sum2+ 8 neg pow root neg
 = 0.1 0.3 0.8 8 neg pow sum2+ 8 pow pow
 = 0.1 0.3 0.8 8 neg pow sum2+ 8 pow pow neg
 = 0.1 0.3 0.8 8 neg pow sum2+ 8 pow prod_nd_x [rounded]
 = 0.1 0.3 0.8 8 neg pow sum2+ 8 pow prod_nd_x neg [rounded]
 = 0.1 0.3 0.8 8 neg pow sum2+ 8 prod_nn_x pow [rounded]
 = 0.1 0.3 0.8 8 neg pow sum2+ 8 prod_nn_x pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow sum2+ pow 0.8 prod_nn_x [rounded]
 = 0.1 0.3 0.8 8 neg pow sum2+ pow 0.8 prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 8 neg pow sum2+ pow 8 prod_nd_x [rounded]
 = 0.1 0.3 0.8 8 neg pow sum2+ pow 8 prod_nd_x neg [rounded]
 = 0.1 0.3 0.8 8 neg pow sum2+ prod_nd_x 8 pow [rounded]
 = 0.1 0.3 0.8 8 neg pow sum2+ prod_nd_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 8 neg pow sum3+ 8 neg pow [rounded]
 = 0.1 0.3 0.8 8 neg pow sum3+ 8 neg pow neg [rounded]
 = 0.1 0.3 0.8 8 neg root 0.8 neg sum2+ prod_nn_x root [rounded]
 = 0.1 0.3 0.8 8 neg root 0.8 neg sum2+ prod_nn_x root neg [rounded]
 = 0.1 0.3 0.8 8 neg root 0.8 neg sum2+ root root [rounded]
 = 0.1 0.3 0.8 8 neg root 0.8 neg sum2+ root root neg [rounded]
 = 0.1 0.3 0.8 8 neg root 0.8 sum2+ pow root [rounded]
 = 0.1 0.3 0.8 8 neg root 0.8 sum2+ pow root neg [rounded]
 = 0.1 0.3 0.8 8 neg root 8 neg sum2+ pow pow
 = 0.1 0.3 0.8 8 neg root 8 neg sum2+ pow pow neg
 = 0.1 0.3 0.8 8 neg root 8 prod_dnn_x pow [rounded]
 = 0.1 0.3 0.8 8 neg root 8 prod_dnn_x pow neg [rounded]
 = 0.1 0.3 0.8 8 neg root 8 prod_nn_x neg pow pow
 = 0.1 0.3 0.8 8 neg root 8 prod_nn_x neg pow pow neg
 = 0.1 0.3 0.8 8 neg root 8 prod_nn_x pow root
 = 0.1 0.3 0.8 8 neg root 8 prod_nn_x pow root neg
 = 0.1 0.3 0.8 8 neg root 8 prod_nn_x sum2+ pow [rounded]
 = 0.1 0.3 0.8 8 neg root 8 prod_nn_x sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 8 neg root 8 sum2+ pow root
 = 0.1 0.3 0.8 8 neg root 8 sum2+ pow root neg
 = 0.1 0.3 0.8 8 neg root 8 sum2+ prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 8 neg root 8 sum2+ prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 8 neg root neg 0.8 neg sum2+ pow pow [rounded]
 = 0.1 0.3 0.8 8 neg root neg 0.8 neg sum2+ pow pow neg [rounded]
 = 0.1 0.3 0.8 8 neg root neg 0.8 sum2+ root pow [rounded]
 = 0.1 0.3 0.8 8 neg root neg 0.8 sum2+ root pow neg [rounded]
 = 0.1 0.3 0.8 8 neg root neg 0.8 sum3+ root [rounded]
 = 0.1 0.3 0.8 8 neg root neg 0.8 sum3+ root neg [rounded]
 = 0.1 0.3 0.8 8 neg root neg 8 neg sum2+ pow pow
 = 0.1 0.3 0.8 8 neg root neg 8 neg sum2+ pow pow neg
 = 0.1 0.3 0.8 8 neg root neg 8 sum2+ pow root
 = 0.1 0.3 0.8 8 neg root neg 8 sum2+ pow root neg
 = 0.1 0.3 0.8 8 neg root neg 8 sum2+ prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 8 neg root neg 8 sum2+ prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 8 neg root neg pow 8 prod_nn_x pow [rounded]
 = 0.1 0.3 0.8 8 neg root neg pow 8 prod_nn_x pow neg [rounded]
 = 0.1 0.3 0.8 8 neg root neg pow 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 8 neg root neg pow 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 8 neg root neg root 8 prod_nn_x pow [rounded]
 = 0.1 0.3 0.8 8 neg root neg root 8 prod_nn_x pow neg [rounded]
 = 0.1 0.3 0.8 8 neg root neg root 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 8 neg root neg root 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 8 neg root neg sum2+ 8 neg pow pow [rounded]
 = 0.1 0.3 0.8 8 neg root neg sum2+ 8 neg pow pow neg [rounded]
 = 0.1 0.3 0.8 8 neg root neg sum2+ 8 pow root [rounded]
 = 0.1 0.3 0.8 8 neg root neg sum2+ 8 pow root neg [rounded]
 = 0.1 0.3 0.8 8 neg root pow 8 prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 8 neg root pow 8 prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 8 neg root pow 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 8 neg root pow 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 8 neg root pow neg 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 8 neg root pow neg 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 8 neg root pow prod_nn_x 8 pow [rounded]
 = 0.1 0.3 0.8 8 neg root pow prod_nn_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 8 neg root pow prod_nn_x neg 8 pow [rounded]
 = 0.1 0.3 0.8 8 neg root pow prod_nn_x neg 8 pow neg [rounded]
 = 0.1 0.3 0.8 8 neg root prod_dn_x 8 pow pow
 = 0.1 0.3 0.8 8 neg root prod_dn_x 8 pow pow neg
 = 0.1 0.3 0.8 8 neg root prod_dn_x 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 8 neg root prod_dn_x 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 8 neg root prod_dn_x neg 8 pow pow
 = 0.1 0.3 0.8 8 neg root prod_dn_x neg 8 pow pow neg
 = 0.1 0.3 0.8 8 neg root prod_nn_x 8 neg pow pow
 = 0.1 0.3 0.8 8 neg root prod_nn_x 8 neg pow pow neg
 = 0.1 0.3 0.8 8 neg root prod_nn_x 8 pow root
 = 0.1 0.3 0.8 8 neg root prod_nn_x 8 pow root neg
 = 0.1 0.3 0.8 8 neg root prod_nn_x 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 8 neg root prod_nn_x 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 8 neg root prod_nn_x neg 8 neg pow pow
 = 0.1 0.3 0.8 8 neg root prod_nn_x neg 8 neg pow pow neg
 = 0.1 0.3 0.8 8 neg root prod_nn_x neg 8 pow root
 = 0.1 0.3 0.8 8 neg root prod_nn_x neg 8 pow root neg
 = 0.1 0.3 0.8 8 neg root prod_nn_x neg 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 8 neg root prod_nn_x neg 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 8 neg root prod_nnn_x 8 pow [rounded]
 = 0.1 0.3 0.8 8 neg root prod_nnn_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 8 neg root prod_nnn_x neg 8 pow [rounded]
 = 0.1 0.3 0.8 8 neg root prod_nnn_x neg 8 pow neg [rounded]
 = 0.1 0.3 0.8 8 neg root root 8 prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 8 neg root root 8 prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 8 neg root root 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 8 neg root root 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 8 neg root root neg 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 8 neg root root neg 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 8 neg root root prod_nn_x 8 pow [rounded]
 = 0.1 0.3 0.8 8 neg root root prod_nn_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 8 neg root root prod_nn_x neg 8 pow [rounded]
 = 0.1 0.3 0.8 8 neg root root prod_nn_x neg 8 pow neg [rounded]
 = 0.1 0.3 0.8 8 neg root sum2+ 8 neg pow root [rounded]
 = 0.1 0.3 0.8 8 neg root sum2+ 8 neg pow root neg [rounded]
 = 0.1 0.3 0.8 8 neg root sum2+ 8 pow pow [rounded]
 = 0.1 0.3 0.8 8 neg root sum2+ 8 pow pow neg [rounded]
 = 0.1 0.3 0.8 8 neg root sum2+ 8 prod_nn_x pow [rounded]
 = 0.1 0.3 0.8 8 neg root sum2+ 8 prod_nn_x pow neg [rounded]
 = 0.1 0.3 0.8 8 neg root sum2+ prod_nd_x 8 pow [rounded]
 = 0.1 0.3 0.8 8 neg root sum2+ prod_nd_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 8 neg root sum2+ prod_nn_x 8 pow [rounded]
 = 0.1 0.3 0.8 8 neg root sum2+ prod_nn_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ 8 neg pow neg root pow
 = 0.1 0.3 0.8 8 neg sum2+ 8 neg pow neg root pow neg
 = 0.1 0.3 0.8 8 neg sum2+ 8 neg pow prod_dnn_x [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ 8 neg pow prod_dnn_x neg [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ 8 neg pow prod_ndn_x [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ 8 neg pow prod_ndn_x neg [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ 8 neg pow prod_nn_x root
 = 0.1 0.3 0.8 8 neg sum2+ 8 neg pow prod_nn_x root neg
 = 0.1 0.3 0.8 8 neg sum2+ 8 neg pow prod_nnn_x [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ 8 neg pow prod_nnn_x neg [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ 8 neg pow root neg prod_dn_x
 = 0.1 0.3 0.8 8 neg sum2+ 8 neg pow root neg prod_dn_x neg
 = 0.1 0.3 0.8 8 neg sum2+ 8 neg pow root neg prod_nn_x
 = 0.1 0.3 0.8 8 neg sum2+ 8 neg pow root neg prod_nn_x neg
 = 0.1 0.3 0.8 8 neg sum2+ 8 neg pow root prod_dn_x
 = 0.1 0.3 0.8 8 neg sum2+ 8 neg pow root prod_dn_x neg
 = 0.1 0.3 0.8 8 neg sum2+ 8 neg pow root prod_nn_x
 = 0.1 0.3 0.8 8 neg sum2+ 8 neg pow root prod_nn_x neg
 = 0.1 0.3 0.8 8 neg sum2+ 8 pow neg pow pow
 = 0.1 0.3 0.8 8 neg sum2+ 8 pow neg pow pow neg
 = 0.1 0.3 0.8 8 neg sum2+ 8 pow pow neg prod_dn_x
 = 0.1 0.3 0.8 8 neg sum2+ 8 pow pow neg prod_dn_x neg
 = 0.1 0.3 0.8 8 neg sum2+ 8 pow pow neg prod_nn_x
 = 0.1 0.3 0.8 8 neg sum2+ 8 pow pow neg prod_nn_x neg
 = 0.1 0.3 0.8 8 neg sum2+ 8 pow pow prod_dn_x
 = 0.1 0.3 0.8 8 neg sum2+ 8 pow pow prod_dn_x neg
 = 0.1 0.3 0.8 8 neg sum2+ 8 pow pow prod_nn_x
 = 0.1 0.3 0.8 8 neg sum2+ 8 pow pow prod_nn_x neg
 = 0.1 0.3 0.8 8 neg sum2+ 8 pow prod_dn_x pow
 = 0.1 0.3 0.8 8 neg sum2+ 8 pow prod_dn_x pow neg
 = 0.1 0.3 0.8 8 neg sum2+ 8 pow prod_dnd_x [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ 8 pow prod_dnd_x neg [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ 8 pow prod_ndd_x [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ 8 pow prod_ndd_x neg [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ 8 pow prod_nn_x pow
 = 0.1 0.3 0.8 8 neg sum2+ 8 pow prod_nn_x pow neg
 = 0.1 0.3 0.8 8 neg sum2+ 8 pow prod_nnd_x [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ 8 pow prod_nnd_x neg [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ 8 pow sum2+ pow
 = 0.1 0.3 0.8 8 neg sum2+ 8 pow sum2+ pow neg
 = 0.1 0.3 0.8 8 neg sum2+ 8 pow sum2+ prod_nd_x [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ pow 0.8 neg sum2+ pow
 = 0.1 0.3 0.8 8 neg sum2+ pow 0.8 neg sum2+ pow neg
 = 0.1 0.3 0.8 8 neg sum2+ pow 0.8 prod_nd_x pow
 = 0.1 0.3 0.8 8 neg sum2+ pow 0.8 prod_nd_x pow neg
 = 0.1 0.3 0.8 8 neg sum2+ pow 0.8 prod_nn_x pow
 = 0.1 0.3 0.8 8 neg sum2+ pow 0.8 prod_nn_x pow neg
 = 0.1 0.3 0.8 8 neg sum2+ pow 0.8 sum2+ pow
 = 0.1 0.3 0.8 8 neg sum2+ pow 0.8 sum2+ pow neg
 = 0.1 0.3 0.8 8 neg sum2+ pow 8 neg sum2+ pow
 = 0.1 0.3 0.8 8 neg sum2+ pow 8 neg sum2+ pow neg
 = 0.1 0.3 0.8 8 neg sum2+ pow 8 prod_nd_x pow
 = 0.1 0.3 0.8 8 neg sum2+ pow 8 prod_nd_x pow neg
 = 0.1 0.3 0.8 8 neg sum2+ pow 8 prod_nn_x pow
 = 0.1 0.3 0.8 8 neg sum2+ pow 8 prod_nn_x pow neg
 = 0.1 0.3 0.8 8 neg sum2+ pow 8 sum2+ pow
 = 0.1 0.3 0.8 8 neg sum2+ pow 8 sum2+ pow neg
 = 0.1 0.3 0.8 8 neg sum2+ pow neg sum2+ 8 neg pow [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ pow neg sum2+ 8 neg pow neg [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ pow pow 0.8 prod_nd_x
 = 0.1 0.3 0.8 8 neg sum2+ pow pow 0.8 prod_nd_x neg
 = 0.1 0.3 0.8 8 neg sum2+ pow pow 0.8 prod_nn_x
 = 0.1 0.3 0.8 8 neg sum2+ pow pow 0.8 prod_nn_x neg
 = 0.1 0.3 0.8 8 neg sum2+ pow pow 8 prod_nd_x
 = 0.1 0.3 0.8 8 neg sum2+ pow pow 8 prod_nd_x neg
 = 0.1 0.3 0.8 8 neg sum2+ pow pow 8 prod_nn_x
 = 0.1 0.3 0.8 8 neg sum2+ pow pow 8 prod_nn_x neg
 = 0.1 0.3 0.8 8 neg sum2+ pow pow neg 0.8 prod_nd_x
 = 0.1 0.3 0.8 8 neg sum2+ pow pow neg 0.8 prod_nd_x neg
 = 0.1 0.3 0.8 8 neg sum2+ pow pow neg 0.8 prod_nn_x
 = 0.1 0.3 0.8 8 neg sum2+ pow pow neg 0.8 prod_nn_x neg
 = 0.1 0.3 0.8 8 neg sum2+ pow pow neg 8 prod_nd_x
 = 0.1 0.3 0.8 8 neg sum2+ pow pow neg 8 prod_nd_x neg
 = 0.1 0.3 0.8 8 neg sum2+ pow pow neg 8 prod_nn_x
 = 0.1 0.3 0.8 8 neg sum2+ pow pow neg 8 prod_nn_x neg
 = 0.1 0.3 0.8 8 neg sum2+ pow prod_nd_x 8 pow [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ pow prod_nd_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ pow prod_nd_x neg 8 pow [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ pow prod_nd_x neg 8 pow neg [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ pow prod_nn_x 8 neg pow [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ pow prod_nn_x 8 neg pow neg [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ pow prod_nn_x neg 8 neg pow [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ pow prod_nn_x neg 8 neg pow neg [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ pow sum2+ 8 neg pow [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ pow sum2+ 8 neg pow neg [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ root 8 prod_dn_x pow [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ root 8 prod_dn_x pow neg [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ root 8 prod_nn_x pow [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ root 8 prod_nn_x pow neg [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ root 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ root 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ root neg 8 sum2+ pow [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ root neg 8 sum2+ pow neg [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ root prod_nd_x 8 pow [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ root prod_nd_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ root prod_nd_x neg 8 pow [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ root prod_nd_x neg 8 pow neg [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ root prod_nn_x 8 pow [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ root prod_nn_x 8 pow neg [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ root prod_nn_x neg 8 pow [rounded]
 = 0.1 0.3 0.8 8 neg sum2+ root prod_nn_x neg 8 pow neg [rounded]
 = 0.1 0.3 0.8 8 neg sum3+ 8 neg pow prod_nn_x [rounded]
 = 0.1 0.3 0.8 8 neg sum3+ 8 neg pow prod_nn_x neg [rounded]
 = 0.1 0.3 0.8 8 neg sum3+ 8 neg pow root
 = 0.1 0.3 0.8 8 neg sum3+ 8 neg pow root neg
 = 0.1 0.3 0.8 8 neg sum3+ 8 pow pow
 = 0.1 0.3 0.8 8 neg sum3+ 8 pow pow neg
 = 0.1 0.3 0.8 8 neg sum3+ 8 pow prod_nd_x [rounded]
 = 0.1 0.3 0.8 8 neg sum3+ 8 pow prod_nd_x neg [rounded]
 = 0.1 0.3 0.8 8 neg sum3+ pow 0.8 prod_dn_x [rounded]
 = 0.1 0.3 0.8 8 neg sum3+ pow 0.8 prod_dn_x neg [rounded]
 = 0.1 0.3 0.8 8 neg sum4+ 8 neg pow [rounded]
 = 0.1 0.3 0.8 8 neg sum4+ 8 neg pow neg [rounded]
 = 0.1 0.3 0.8 8 pow 0.8 neg sum2+ root pow [rounded]
 = 0.1 0.3 0.8 8 pow 0.8 neg sum2+ root pow neg [rounded]
 = 0.1 0.3 0.8 8 pow 0.8 prod_ddn_x pow [rounded]
 = 0.1 0.3 0.8 8