text:
using JuMP, EAGO

                     m = Model()

                     EAGO.register_eago_operators!(m)

                     @variable(m, -1 <= x[i=1:3] <= 1)

                     @variable(m, -70.32410580340233 <= q <= 71.1174998159228)

                     add_NL_constraint(m, :(softplus(-0.4584452997255215 + 0.38017603237859054*softplus(0.38499652977953547 + -0.8290490747399386*softplus(0.8657108182961633 + -0.2718782039698677*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.14290512009355227*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.05634530028459839*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.09367704810029265*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.606595625591972*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.9698327268320113*softplus(-0.8437246845652075 + -0.24088373019570852*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.23651510636214423*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.7328253616134868*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + 0.5781137446194049*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.5628474976835691*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.5375280546465873*softplus(-0.07214298497219884 + -0.8888171734230133*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.9727336604295167*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.40368511252706174*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.2764992101003618*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + -0.602208182888869*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.8721898223585489*softplus(0.8964928298604007 + -0.9347332237641126*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.24869962180967686*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.5819004513936905*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.6025057378781686*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.7930621816455612*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.521408767324675*softplus(0.045863818027009895 + 0.1454558532174568*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.26424469033724174*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.030590732907383344*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.37261122182452056*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.3995345763327798*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3])))) + -0.23614002773488174*softplus(-0.9558197166079605 + -0.2945241780922072*softplus(0.8657108182961633 + -0.2718782039698677*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.14290512009355227*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.05634530028459839*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.09367704810029265*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.606595625591972*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.4559042762073595*softplus(-0.8437246845652075 + -0.24088373019570852*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.23651510636214423*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.7328253616134868*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + 0.5781137446194049*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.5628474976835691*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.48628904925615624*softplus(-0.07214298497219884 + -0.8888171734230133*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.9727336604295167*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.40368511252706174*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.2764992101003618*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + -0.602208182888869*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.7848536016900991*softplus(0.8964928298604007 + -0.9347332237641126*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.24869962180967686*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.5819004513936905*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.6025057378781686*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.7930621816455612*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.18440061246104866*softplus(0.045863818027009895 + 0.1454558532174568*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.26424469033724174*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.030590732907383344*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.37261122182452056*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.3995345763327798*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3])))) + 0.9842746537184328*softplus(0.3864699144547967 + -0.40446082099590797*softplus(0.8657108182961633 + -0.2718782039698677*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.14290512009355227*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.05634530028459839*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.09367704810029265*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.606595625591972*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.9552328164477508*softplus(-0.8437246845652075 + -0.24088373019570852*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.23651510636214423*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.7328253616134868*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + 0.5781137446194049*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.5628474976835691*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.9930045096814255*softplus(-0.07214298497219884 + -0.8888171734230133*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.9727336604295167*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.40368511252706174*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.2764992101003618*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + -0.602208182888869*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.3016827487339415*softplus(0.8964928298604007 + -0.9347332237641126*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.24869962180967686*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.5819004513936905*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.6025057378781686*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.7930621816455612*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.050189897567762376*softplus(0.045863818027009895 + 0.1454558532174568*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.26424469033724174*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.030590732907383344*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.37261122182452056*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.3995345763327798*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3])))) + 0.05902871888153571*softplus(-0.7110470975500958 + -0.6992480829061964*softplus(0.8657108182961633 + -0.2718782039698677*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.14290512009355227*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.05634530028459839*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.09367704810029265*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.606595625591972*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.7150045176672819*softplus(-0.8437246845652075 + -0.24088373019570852*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.23651510636214423*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.7328253616134868*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + 0.5781137446194049*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.5628474976835691*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.4015825566215119*softplus(-0.07214298497219884 + -0.8888171734230133*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.9727336604295167*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.40368511252706174*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.2764992101003618*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + -0.602208182888869*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.8989246968154996*softplus(0.8964928298604007 + -0.9347332237641126*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.24869962180967686*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.5819004513936905*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.6025057378781686*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.7930621816455612*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.15447167923222116*softplus(0.045863818027009895 + 0.1454558532174568*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.26424469033724174*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.030590732907383344*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.37261122182452056*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.3995345763327798*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3])))) + 0.3215278084254054*softplus(-0.5027971338886621 + 0.9681569368568099*softplus(0.8657108182961633 + -0.2718782039698677*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.14290512009355227*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.05634530028459839*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.09367704810029265*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.606595625591972*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.41410224834327236*softplus(-0.8437246845652075 + -0.24088373019570852*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.23651510636214423*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.7328253616134868*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + 0.5781137446194049*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.5628474976835691*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.9268161328569509*softplus(-0.07214298497219884 + -0.8888171734230133*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.9727336604295167*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.40368511252706174*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.2764992101003618*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + -0.602208182888869*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.4478112545395634*softplus(0.8964928298604007 + -0.9347332237641126*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.24869962180967686*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.5819004513936905*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.6025057378781686*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.7930621816455612*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.5469881264724283*softplus(0.045863818027009895 + 0.1454558532174568*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.26424469033724174*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.030590732907383344*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.37261122182452056*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.3995345763327798*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))))) + softplus(0.8257119553040151 + -0.4640078526629754*softplus(0.38499652977953547 + -0.8290490747399386*softplus(0.8657108182961633 + -0.2718782039698677*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.14290512009355227*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.05634530028459839*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.09367704810029265*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.606595625591972*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.9698327268320113*softplus(-0.8437246845652075 + -0.24088373019570852*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.23651510636214423*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.7328253616134868*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + 0.5781137446194049*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.5628474976835691*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.5375280546465873*softplus(-0.07214298497219884 + -0.8888171734230133*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.9727336604295167*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.40368511252706174*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.2764992101003618*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + -0.602208182888869*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.8721898223585489*softplus(0.8964928298604007 + -0.9347332237641126*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.24869962180967686*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.5819004513936905*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.6025057378781686*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.7930621816455612*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.521408767324675*softplus(0.045863818027009895 + 0.1454558532174568*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.26424469033724174*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.030590732907383344*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.37261122182452056*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.3995345763327798*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3])))) + 0.2183584862059913*softplus(-0.9558197166079605 + -0.2945241780922072*softplus(0.8657108182961633 + -0.2718782039698677*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.14290512009355227*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.05634530028459839*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.09367704810029265*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.606595625591972*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.4559042762073595*softplus(-0.8437246845652075 + -0.24088373019570852*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.23651510636214423*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.7328253616134868*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + 0.5781137446194049*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.5628474976835691*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.48628904925615624*softplus(-0.07214298497219884 + -0.8888171734230133*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.9727336604295167*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.40368511252706174*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.2764992101003618*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + -0.602208182888869*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.7848536016900991*softplus(0.8964928298604007 + -0.9347332237641126*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.24869962180967686*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.5819004513936905*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.6025057378781686*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.7930621816455612*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.18440061246104866*softplus(0.045863818027009895 + 0.1454558532174568*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.26424469033724174*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.030590732907383344*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.37261122182452056*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.3995345763327798*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3])))) + 0.8571243621721916*softplus(0.3864699144547967 + -0.40446082099590797*softplus(0.8657108182961633 + -0.2718782039698677*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.14290512009355227*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.05634530028459839*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.09367704810029265*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.606595625591972*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.9552328164477508*softplus(-0.8437246845652075 + -0.24088373019570852*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.23651510636214423*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.7328253616134868*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + 0.5781137446194049*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.5628474976835691*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.9930045096814255*softplus(-0.07214298497219884 + -0.8888171734230133*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.9727336604295167*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.40368511252706174*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.2764992101003618*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + -0.602208182888869*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.3016827487339415*softplus(0.8964928298604007 + -0.9347332237641126*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.24869962180967686*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.5819004513936905*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.6025057378781686*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.7930621816455612*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.050189897567762376*softplus(0.045863818027009895 + 0.1454558532174568*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.26424469033724174*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.030590732907383344*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.37261122182452056*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.3995345763327798*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3])))) + 0.2572641355024876*softplus(-0.7110470975500958 + -0.6992480829061964*softplus(0.8657108182961633 + -0.2718782039698677*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.14290512009355227*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.05634530028459839*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.09367704810029265*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.606595625591972*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.7150045176672819*softplus(-0.8437246845652075 + -0.24088373019570852*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.23651510636214423*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.7328253616134868*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + 0.5781137446194049*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.5628474976835691*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.4015825566215119*softplus(-0.07214298497219884 + -0.8888171734230133*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.9727336604295167*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.40368511252706174*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.2764992101003618*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + -0.602208182888869*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.8989246968154996*softplus(0.8964928298604007 + -0.9347332237641126*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.24869962180967686*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.5819004513936905*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.6025057378781686*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.7930621816455612*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.15447167923222116*softplus(0.045863818027009895 + 0.1454558532174568*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.26424469033724174*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.030590732907383344*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.37261122182452056*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.3995345763327798*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3])))) + 0.4668903701470297*softplus(-0.5027971338886621 + 0.9681569368568099*softplus(0.8657108182961633 + -0.2718782039698677*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.14290512009355227*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.05634530028459839*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.09367704810029265*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.606595625591972*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.41410224834327236*softplus(-0.8437246845652075 + -0.24088373019570852*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.23651510636214423*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.7328253616134868*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + 0.5781137446194049*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.5628474976835691*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.9268161328569509*softplus(-0.07214298497219884 + -0.8888171734230133*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.9727336604295167*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.40368511252706174*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.2764992101003618*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + -0.602208182888869*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.4478112545395634*softplus(0.8964928298604007 + -0.9347332237641126*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.24869962180967686*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.5819004513936905*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.6025057378781686*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.7930621816455612*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.5469881264724283*softplus(0.045863818027009895 + 0.1454558532174568*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.26424469033724174*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.030590732907383344*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.37261122182452056*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.3995345763327798*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))))) + softplus(-0.10220807023166767 + 0.1791463676003895*softplus(0.38499652977953547 + -0.8290490747399386*softplus(0.8657108182961633 + -0.2718782039698677*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.14290512009355227*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.05634530028459839*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.09367704810029265*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.606595625591972*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.9698327268320113*softplus(-0.8437246845652075 + -0.24088373019570852*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.23651510636214423*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.7328253616134868*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + 0.5781137446194049*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.5628474976835691*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.5375280546465873*softplus(-0.07214298497219884 + -0.8888171734230133*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.9727336604295167*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.40368511252706174*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.2764992101003618*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + -0.602208182888869*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.8721898223585489*softplus(0.8964928298604007 + -0.9347332237641126*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.24869962180967686*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.5819004513936905*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.6025057378781686*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.7930621816455612*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.521408767324675*softplus(0.045863818027009895 + 0.1454558532174568*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.26424469033724174*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.030590732907383344*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.37261122182452056*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.3995345763327798*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3])))) + -0.39171323611736364*softplus(-0.9558197166079605 + -0.2945241780922072*softplus(0.8657108182961633 + -0.2718782039698677*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.14290512009355227*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.05634530028459839*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.09367704810029265*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.606595625591972*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.4559042762073595*softplus(-0.8437246845652075 + -0.24088373019570852*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.23651510636214423*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.7328253616134868*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + 0.5781137446194049*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.5628474976835691*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.48628904925615624*softplus(-0.07214298497219884 + -0.8888171734230133*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.9727336604295167*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.40368511252706174*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.2764992101003618*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + -0.602208182888869*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.7848536016900991*softplus(0.8964928298604007 + -0.9347332237641126*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.24869962180967686*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.5819004513936905*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.6025057378781686*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.7930621816455612*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.18440061246104866*softplus(0.045863818027009895 + 0.1454558532174568*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.26424469033724174*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.030590732907383344*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.37261122182452056*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.3995345763327798*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3])))) + 0.30949063627799145*softplus(0.3864699144547967 + -0.40446082099590797*softplus(0.8657108182961633 + -0.2718782039698677*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.14290512009355227*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.05634530028459839*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.09367704810029265*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.606595625591972*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.9552328164477508*softplus(-0.8437246845652075 + -0.24088373019570852*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.23651510636214423*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.7328253616134868*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + 0.5781137446194049*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.5628474976835691*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.9930045096814255*softplus(-0.07214298497219884 + -0.8888171734230133*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.9727336604295167*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.40368511252706174*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.2764992101003618*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + -0.602208182888869*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.3016827487339415*softplus(0.8964928298604007 + -0.9347332237641126*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.24869962180967686*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.5819004513936905*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.6025057378781686*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.7930621816455612*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.050189897567762376*softplus(0.045863818027009895 + 0.1454558532174568*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.26424469033724174*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.030590732907383344*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.37261122182452056*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.3995345763327798*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3])))) + 0.5573517853379135*softplus(-0.7110470975500958 + -0.6992480829061964*softplus(0.8657108182961633 + -0.2718782039698677*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.14290512009355227*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.05634530028459839*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.09367704810029265*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.606595625591972*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.7150045176672819*softplus(-0.8437246845652075 + -0.24088373019570852*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.23651510636214423*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.7328253616134868*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + 0.5781137446194049*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.5628474976835691*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.4015825566215119*softplus(-0.07214298497219884 + -0.8888171734230133*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.9727336604295167*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.40368511252706174*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.2764992101003618*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + -0.602208182888869*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.8989246968154996*softplus(0.8964928298604007 + -0.9347332237641126*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.24869962180967686*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.5819004513936905*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.6025057378781686*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.7930621816455612*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.15447167923222116*softplus(0.045863818027009895 + 0.1454558532174568*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.26424469033724174*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.030590732907383344*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.37261122182452056*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.3995345763327798*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3])))) + 0.14952469093381948*softplus(-0.5027971338886621 + 0.9681569368568099*softplus(0.8657108182961633 + -0.2718782039698677*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.14290512009355227*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.05634530028459839*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.09367704810029265*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.606595625591972*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.41410224834327236*softplus(-0.8437246845652075 + -0.24088373019570852*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.23651510636214423*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.7328253616134868*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + 0.5781137446194049*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.5628474976835691*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.9268161328569509*softplus(-0.07214298497219884 + -0.8888171734230133*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.9727336604295167*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.40368511252706174*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.2764992101003618*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + -0.602208182888869*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.4478112545395634*softplus(0.8964928298604007 + -0.9347332237641126*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.24869962180967686*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.5819004513936905*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.6025057378781686*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.7930621816455612*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.5469881264724283*softplus(0.045863818027009895 + 0.1454558532174568*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.26424469033724174*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.030590732907383344*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.37261122182452056*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.3995345763327798*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))))) + softplus(0.3263746812618682 + 0.5048213315355552*softplus(0.38499652977953547 + -0.8290490747399386*softplus(0.8657108182961633 + -0.2718782039698677*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.14290512009355227*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.05634530028459839*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.09367704810029265*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.606595625591972*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.9698327268320113*softplus(-0.8437246845652075 + -0.24088373019570852*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.23651510636214423*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.7328253616134868*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + 0.5781137446194049*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.5628474976835691*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.5375280546465873*softplus(-0.07214298497219884 + -0.8888171734230133*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.9727336604295167*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.40368511252706174*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.2764992101003618*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + -0.602208182888869*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.8721898223585489*softplus(0.8964928298604007 + -0.9347332237641126*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.24869962180967686*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.5819004513936905*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.6025057378781686*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.7930621816455612*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.521408767324675*softplus(0.045863818027009895 + 0.1454558532174568*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.26424469033724174*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.030590732907383344*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.37261122182452056*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.3995345763327798*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3])))) + 0.9004025542174876*softplus(-0.9558197166079605 + -0.2945241780922072*softplus(0.8657108182961633 + -0.2718782039698677*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.14290512009355227*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.05634530028459839*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.09367704810029265*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.606595625591972*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.4559042762073595*softplus(-0.8437246845652075 + -0.24088373019570852*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.23651510636214423*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.7328253616134868*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + 0.5781137446194049*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.5628474976835691*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.48628904925615624*softplus(-0.07214298497219884 + -0.8888171734230133*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.9727336604295167*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.40368511252706174*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.2764992101003618*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + -0.602208182888869*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.7848536016900991*softplus(0.8964928298604007 + -0.9347332237641126*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.24869962180967686*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.5819004513936905*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.6025057378781686*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.7930621816455612*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.18440061246104866*softplus(0.045863818027009895 + 0.1454558532174568*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.26424469033724174*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.030590732907383344*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.37261122182452056*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.3995345763327798*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3])))) + 0.3696524822105829*softplus(0.3864699144547967 + -0.40446082099590797*softplus(0.8657108182961633 + -0.2718782039698677*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.14290512009355227*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.05634530028459839*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.09367704810029265*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.606595625591972*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.9552328164477508*softplus(-0.8437246845652075 + -0.24088373019570852*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.23651510636214423*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.7328253616134868*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + 0.5781137446194049*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.5628474976835691*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.9930045096814255*softplus(-0.07214298497219884 + -0.8888171734230133*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.9727336604295167*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.40368511252706174*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.2764992101003618*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + -0.602208182888869*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.3016827487339415*softplus(0.8964928298604007 + -0.9347332237641126*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.24869962180967686*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.5819004513936905*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.6025057378781686*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.7930621816455612*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.050189897567762376*softplus(0.045863818027009895 + 0.1454558532174568*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.26424469033724174*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.030590732907383344*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.37261122182452056*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.3995345763327798*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3])))) + -0.53729853815187*softplus(-0.7110470975500958 + -0.6992480829061964*softplus(0.8657108182961633 + -0.2718782039698677*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.14290512009355227*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.05634530028459839*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.09367704810029265*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.606595625591972*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.7150045176672819*softplus(-0.8437246845652075 + -0.24088373019570852*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.23651510636214423*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.7328253616134868*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + 0.5781137446194049*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.5628474976835691*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.4015825566215119*softplus(-0.07214298497219884 + -0.8888171734230133*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.9727336604295167*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.40368511252706174*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.2764992101003618*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + -0.602208182888869*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.8989246968154996*softplus(0.8964928298604007 + -0.9347332237641126*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.24869962180967686*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.5819004513936905*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.6025057378781686*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.7930621816455612*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.15447167923222116*softplus(0.045863818027009895 + 0.1454558532174568*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.26424469033724174*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.030590732907383344*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.37261122182452056*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.3995345763327798*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3])))) + 0.3875049069944345*softplus(-0.5027971338886621 + 0.9681569368568099*softplus(0.8657108182961633 + -0.2718782039698677*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.14290512009355227*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.05634530028459839*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.09367704810029265*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.606595625591972*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.41410224834327236*softplus(-0.8437246845652075 + -0.24088373019570852*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.23651510636214423*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.7328253616134868*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + 0.5781137446194049*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.5628474976835691*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.9268161328569509*softplus(-0.07214298497219884 + -0.8888171734230133*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.9727336604295167*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.40368511252706174*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.2764992101003618*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + -0.602208182888869*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.4478112545395634*softplus(0.8964928298604007 + -0.9347332237641126*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.24869962180967686*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.5819004513936905*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.6025057378781686*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.7930621816455612*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.5469881264724283*softplus(0.045863818027009895 + 0.1454558532174568*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.26424469033724174*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.030590732907383344*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.37261122182452056*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.3995345763327798*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))))) + softplus(-0.6918094845168468 + 0.28108619270077817*softplus(0.38499652977953547 + -0.8290490747399386*softplus(0.8657108182961633 + -0.2718782039698677*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.14290512009355227*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.05634530028459839*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.09367704810029265*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.606595625591972*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.9698327268320113*softplus(-0.8437246845652075 + -0.24088373019570852*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.23651510636214423*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.7328253616134868*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + 0.5781137446194049*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.5628474976835691*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.5375280546465873*softplus(-0.07214298497219884 + -0.8888171734230133*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.9727336604295167*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.40368511252706174*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.2764992101003618*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + -0.602208182888869*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.8721898223585489*softplus(0.8964928298604007 + -0.9347332237641126*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.24869962180967686*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.5819004513936905*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.6025057378781686*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.7930621816455612*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.521408767324675*softplus(0.045863818027009895 + 0.1454558532174568*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.26424469033724174*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.030590732907383344*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.37261122182452056*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.3995345763327798*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3])))) + -0.4882583804311196*softplus(-0.9558197166079605 + -0.2945241780922072*softplus(0.8657108182961633 + -0.2718782039698677*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.14290512009355227*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.05634530028459839*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.09367704810029265*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.606595625591972*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.4559042762073595*softplus(-0.8437246845652075 + -0.24088373019570852*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.23651510636214423*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.7328253616134868*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + 0.5781137446194049*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.5628474976835691*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.48628904925615624*softplus(-0.07214298497219884 + -0.8888171734230133*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.9727336604295167*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.40368511252706174*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.2764992101003618*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + -0.602208182888869*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.7848536016900991*softplus(0.8964928298604007 + -0.9347332237641126*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.24869962180967686*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.5819004513936905*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.6025057378781686*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.7930621816455612*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.18440061246104866*softplus(0.045863818027009895 + 0.1454558532174568*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.26424469033724174*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.030590732907383344*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.37261122182452056*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.3995345763327798*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3])))) + 0.27726540633543184*softplus(0.3864699144547967 + -0.40446082099590797*softplus(0.8657108182961633 + -0.2718782039698677*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.14290512009355227*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.05634530028459839*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.09367704810029265*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.606595625591972*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.9552328164477508*softplus(-0.8437246845652075 + -0.24088373019570852*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.23651510636214423*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.7328253616134868*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + 0.5781137446194049*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.5628474976835691*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.9930045096814255*softplus(-0.07214298497219884 + -0.8888171734230133*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.9727336604295167*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.40368511252706174*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.2764992101003618*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + -0.602208182888869*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.3016827487339415*softplus(0.8964928298604007 + -0.9347332237641126*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.24869962180967686*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.5819004513936905*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.6025057378781686*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.7930621816455612*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.050189897567762376*softplus(0.045863818027009895 + 0.1454558532174568*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.26424469033724174*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.030590732907383344*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.37261122182452056*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.3995345763327798*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3])))) + -0.31438910156664024*softplus(-0.7110470975500958 + -0.6992480829061964*softplus(0.8657108182961633 + -0.2718782039698677*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.14290512009355227*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.05634530028459839*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.09367704810029265*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.606595625591972*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.7150045176672819*softplus(-0.8437246845652075 + -0.24088373019570852*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.23651510636214423*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.7328253616134868*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + 0.5781137446194049*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.5628474976835691*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.4015825566215119*softplus(-0.07214298497219884 + -0.8888171734230133*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.9727336604295167*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.40368511252706174*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.2764992101003618*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + -0.602208182888869*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.8989246968154996*softplus(0.8964928298604007 + -0.9347332237641126*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.24869962180967686*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.5819004513936905*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.6025057378781686*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.7930621816455612*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.15447167923222116*softplus(0.045863818027009895 + 0.1454558532174568*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.26424469033724174*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.030590732907383344*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.37261122182452056*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.3995345763327798*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3])))) + 0.2506870024424126*softplus(-0.5027971338886621 + 0.9681569368568099*softplus(0.8657108182961633 + -0.2718782039698677*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.14290512009355227*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.05634530028459839*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.09367704810029265*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.606595625591972*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.41410224834327236*softplus(-0.8437246845652075 + -0.24088373019570852*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.23651510636214423*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.7328253616134868*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + 0.5781137446194049*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.5628474976835691*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + 0.9268161328569509*softplus(-0.07214298497219884 + -0.8888171734230133*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + -0.9727336604295167*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.40368511252706174*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.2764992101003618*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + -0.602208182888869*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.4478112545395634*softplus(0.8964928298604007 + -0.9347332237641126*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.24869962180967686*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.5819004513936905*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.6025057378781686*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.7930621816455612*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))) + -0.5469881264724283*softplus(0.045863818027009895 + 0.1454558532174568*softplus(-0.8627785793905907 + 0.5351047228458001*$(x[1]) + 0.9584159347640995*$(x[2]) + 0.5112674422054679*$(x[3])) + 0.26424469033724174*softplus(0.331926575055991 + 0.6348930509915434*$(x[1]) + -0.7398927772310477*$(x[2]) + -0.39400926798309*$(x[3])) + 0.030590732907383344*softplus(0.6946903461494243 + -0.46575454012662965*$(x[1]) + 0.0282965138156257*$(x[2]) + 0.9940327871080563*$(x[3])) + -0.37261122182452056*softplus(0.7897191859697399 + -0.21836133467005459*$(x[1]) + 0.8448980638144876*$(x[2]) + 0.47297050382274186*$(x[3])) + 0.3995345763327798*softplus(-0.6246850718859025 + -0.7018473930011258*$(x[1]) + -0.33385342182437094*$(x[2]) + -0.009543148495402054*$(x[3]))))) - $q <= 0.0))

                     @objective(m, Min, q)

                     return m

max_stars_repo_name: PSORLab/RSActivationFunctions

max_issues_repo_name: PSORLab/RSActivationFunctions

max_forks_repo_name: PSORLab/RSActivationFunctions


text:
using ADVUMPS
using ADVUMPS:HamiltonianModel

@testset "hamiltonianmodels" begin
    @test Ising() isa HamiltonianModel
    @test TFIsing(1.0) isa HamiltonianModel
    @test Heisenberg() isa HamiltonianModel
end

ext: jl


text:
using Test, YaoArrayRegister, BitBasis, YaoBase

function naive_focus!(reg::ArrayReg{B}, bits) where {B}
    nbits = nqubits(reg)
    norder = vcat(bits, setdiff(1:nbits, bits), nbits + 1)
    @views reg.state = reshape(
        permutedims(reshape(reg.state, fill(2, nbits)..., B), norder),
        :,
        (1 << (nbits - length(bits))) * B,
    )
    return reg
end

function naive_relax!(reg::ArrayReg{B}, bits) where {B}
    nbit = nqubits(reg)
    norder = vcat(bits, setdiff(1:nbit, bits), nbit + 1) |> invperm
    @views reg.state =
        reshape(permutedims(reshape(reg.state, fill(2, nbit)..., B), norder), :, B)
    return reg
end

@testset "Focus 1" begin
    reg0 = rand_state(5; nbatch = 3)
    @test focus!(copy(reg0), [1, 4, 2]) == naive_focus!(copy(reg0), [1, 4, 2])
    @test copy(reg0) |>
          focus!(1, 4, 2) |>
          focus!(2) |>
          relax!(2, to_nactive = 3) |>
          relax!(1, 4, 2) == reg0
    reg = focus!(copy(reg0), 2:3)
    @test reg |> probs ≈
          hcat([sum(abs2.(reshape(reg.state[i, :], :, 3)), dims = 1)[1, :] for i = 1:4]...)'
    @test size(state(reg)) == (2^2, 2^3 * 3)
    @test nactive(reg) == 2
    @test nremain(reg) == 3
    @test relax!(reg, 2:3) == reg0
end

@testset "Focus 3" begin
    # conanical shape
    reg = rand_state(3; nbatch = 5)
    @test oneto(reg, 2) |> nactive == 2
    @test reg |> nactive == 3
    @test copy(reg) |> addbits!(2) |> nactive == 5
    reg2 = copy(reg) |> addbits!(2) |> focus!(4, 5)
    @test (measure!(RemoveMeasured(), reg2); reg2) |> relax!(to_nactive = nqubits(reg2)) ≈
          reg

    @test insert_qubits!(copy(reg), 2; nqubits = 2) |> nactive == 5
end

@testset "Focus 2" begin
    reg0 = rand_state(8)
    reg = focus!(copy(reg0), 7)
    @test reg |> probs ≈ sum(abs2.(reg.state), dims = 2)[:, 1]
    @test nactive(reg) == 1

    reg0 = rand_state(10)
    reg = focus!(copy(reg0), 1:8)
    @test hypercubic(reg) == reshape(reg0.state, fill(2, 8)..., 4)
    @test nactive(reg) == 8
    @test reg0 == relax!(reg, 1:8)

    reg1 = focus!(copy(reg0), (5, 3, 2)) do reg
        @test nactive(reg) == 3
        reg
    end

    @test reg1 == reg0
    @test reg0 == copy(reg0) |> focus!(7, 3, 2) |> relax!(7, 3, 2)
end

@testset "partial trace" begin
    r = join(ArrayReg(bit"111"), zero_state(1))
    @test partial_tr(r, 1) ≈ ArrayReg(bit"111")
end