]> https://gitweb.dealii.org/ - dealii.git/commitdiff
symengine/batch_optimizer: Add output variants 10068/head
authorMatthias Maier <tamiko@43-1.org>
Thu, 7 May 2020 23:10:04 +0000 (18:10 -0500)
committerMatthias Maier <tamiko@43-1.org>
Thu, 7 May 2020 23:10:04 +0000 (18:10 -0500)
Depending on architecture these tests produce slightly different results
with a relative error of just above 1e-6. Fix this by providing output
variants for clang-10 with libc++

tests/symengine/batch_optimizer_02_3a.with_symengine_with_llvm.output.libc++ [new file with mode: 0644]
tests/symengine/batch_optimizer_02_3b.with_symengine_with_llvm.output.libc++ [new file with mode: 0644]
tests/symengine/batch_optimizer_05_1b.output.libc++ [new file with mode: 0644]
tests/symengine/batch_optimizer_05_3a.with_symengine_with_llvm.output.libc++ [new file with mode: 0644]
tests/symengine/batch_optimizer_05_3b.with_symengine_with_llvm.output.libc++ [new file with mode: 0644]
tests/symengine/batch_optimizer_06_1b.output.libc++ [new file with mode: 0644]
tests/symengine/batch_optimizer_06_3a.with_symengine_with_llvm.output.libc++ [new file with mode: 0644]
tests/symengine/batch_optimizer_06_3b.with_symengine_with_llvm.output.libc++ [new file with mode: 0644]

diff --git a/tests/symengine/batch_optimizer_02_3a.with_symengine_with_llvm.output.libc++ b/tests/symengine/batch_optimizer_02_3a.with_symengine_with_llvm.output.libc++
new file mode 100644 (file)
index 0000000..c166318
--- /dev/null
@@ -0,0 +1,22 @@
+
+DEAL:Scalar:Float::symb_s: 1.5 + 1.5*y/log(x) + 2.0*x**y + sin(0.666666666666667*x*y**2)
+DEAL:Scalar:Float::symb_ds_dx: 2.0*x**(-1 + y)*y + 0.666666666666667*y**2*cos(0.666666666666667*x*y**2) - 1.5*y/(x*log(x)**2)
+DEAL:Scalar:Float:Substitution::substitute:   s: 11.2896853345375  ds_dx: 2.44062401525716
+DEAL:Scalar:Float:Substitution::evaluation:   s: 11.28968525  ds_dx: 2.440623999
+DEAL:Scalar:Float:Optimisation + substitution::evaluation:   s: 11.28968430  ds_dx: 2.440624714
+DEAL:Scalar:Double::symb_s: 1.5 + 1.5*y/log(x) + 2.0*x**y + sin(0.666666666666667*x*y**2)
+DEAL:Scalar:Double::symb_ds_dx: 2.0*x**(-1 + y)*y + 0.666666666666667*y**2*cos(0.666666666666667*x*y**2) - 1.5*y/(x*log(x)**2)
+DEAL:Scalar:Double:Substitution::substitute:   s: 11.2896853345375  ds_dx: 2.44062401525716
+DEAL:Scalar:Double:Substitution::evaluation:   s: 11.28968533  ds_dx: 2.440624015
+DEAL:Scalar:Double:Optimisation + substitution::evaluation:   s: 11.28968533  ds_dx: 2.440624015
+DEAL:Tensor:Float::symb_s: 1.5 + 1.5*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01))
+DEAL:Tensor:Float::symb_ds_dy: 0.0 - 1.5*y_11 + 1.5*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 0.0 + 1.5*y_10 - 1.5*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 0.0 + 1.5*y_01 - 1.5*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 0.0 - 1.5*y_00 + 1.5*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00
+DEAL:Tensor:Float:Substitution::substitute:   s: 733.14522057327  ds_dx: 1803.37506684305  ds_dy: 4021.22089917923 -2721.50016323639 -2073.1341017929 2076.40974260677  ds_dz: 1.67424568153838 1.97850294809826 1.97850294809826 2.6968452216256
+DEAL:Tensor:Float:Substitution::evaluation:   s: 733.1452026  ds_dx: 1803.375122  ds_dy: 4021.220947 -2721.500244 -2073.134033 2076.409668  ds_dz: 1.674245715 1.978502989 1.978502989 2.696845293
+DEAL:Tensor:Float:Optimisation + substitution::evaluation:   s: 733.1455078  ds_dx: 1803.375977  ds_dy: 4021.222900 -2721.501221 -2073.135010 2076.410889  ds_dz: 1.674248934 1.978506684 1.978506684 2.696851492
+DEAL:Tensor:Double::symb_s: 1.5 + 1.5*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01))
+DEAL:Tensor:Double::symb_ds_dy: 0.0 - 1.5*y_11 + 1.5*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 0.0 + 1.5*y_10 - 1.5*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 0.0 + 1.5*y_01 - 1.5*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 0.0 - 1.5*y_00 + 1.5*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00
+DEAL:Tensor:Double:Substitution::substitute:   s: 733.145160811002  ds_dx: 1803.37488238402  ds_dy: 4021.22068318209 -2721.5000393195 -2073.13387957114 2076.40954281835  ds_dz: 1.67425190103196 1.97851016739323 1.97851016739323 2.69685737072851
+DEAL:Tensor:Double:Substitution::evaluation:   s: 733.1451608  ds_dx: 1803.374882  ds_dy: 4021.220683 -2721.500039 -2073.133880 2076.409543  ds_dz: 1.674251901 1.978510167 1.978510167 2.696857371
+DEAL:Tensor:Double:Optimisation + substitution::evaluation:   s: 733.1451608  ds_dx: 1803.374882  ds_dy: 4021.220683 -2721.500039 -2073.133880 2076.409543  ds_dz: 1.674251901 1.978510167 1.978510167 2.696857371
+DEAL::OK
diff --git a/tests/symengine/batch_optimizer_02_3b.with_symengine_with_llvm.output.libc++ b/tests/symengine/batch_optimizer_02_3b.with_symengine_with_llvm.output.libc++
new file mode 100644 (file)
index 0000000..c2b0526
--- /dev/null
@@ -0,0 +1,22 @@
+
+DEAL:Scalar:Float::symb_s: 1.5 + 1.5*y/log(x) + 2.0*x**y + sin(0.666666666666667*x*y**2)
+DEAL:Scalar:Float::symb_ds_dx: 2.0*x**(-1 + y)*y + 0.666666666666667*y**2*cos(0.666666666666667*x*y**2) - 1.5*y/(x*log(x)**2)
+DEAL:Scalar:Float:Substitution::substitute:   s: 11.2896853345375  ds_dx: 2.44062401525716
+DEAL:Scalar:Float:Substitution::evaluation:   s: 11.28968525  ds_dx: 2.440623999
+DEAL:Scalar:Float:Optimisation + substitution::evaluation:   s: 11.28968525  ds_dx: 2.440624237
+DEAL:Scalar:Double::symb_s: 1.5 + 1.5*y/log(x) + 2.0*x**y + sin(0.666666666666667*x*y**2)
+DEAL:Scalar:Double::symb_ds_dx: 2.0*x**(-1 + y)*y + 0.666666666666667*y**2*cos(0.666666666666667*x*y**2) - 1.5*y/(x*log(x)**2)
+DEAL:Scalar:Double:Substitution::substitute:   s: 11.2896853345375  ds_dx: 2.44062401525716
+DEAL:Scalar:Double:Substitution::evaluation:   s: 11.28968533  ds_dx: 2.440624015
+DEAL:Scalar:Double:Optimisation + substitution::evaluation:   s: 11.28968533  ds_dx: 2.440624015
+DEAL:Tensor:Float::symb_s: 1.5 + 1.5*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01))
+DEAL:Tensor:Float::symb_ds_dy: 0.0 - 1.5*y_11 + 1.5*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 0.0 + 1.5*y_10 - 1.5*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 0.0 + 1.5*y_01 - 1.5*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 0.0 - 1.5*y_00 + 1.5*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00
+DEAL:Tensor:Float:Substitution::substitute:   s: 733.14522057327  ds_dx: 1803.37506684305  ds_dy: 4021.22089917923 -2721.50016323639 -2073.1341017929 2076.40974260677  ds_dz: 1.67424568153838 1.97850294809826 1.97850294809826 2.6968452216256
+DEAL:Tensor:Float:Substitution::evaluation:   s: 733.1452026  ds_dx: 1803.375122  ds_dy: 4021.220947 -2721.500244 -2073.134033 2076.409668  ds_dz: 1.674245715 1.978502989 1.978502989 2.696845293
+DEAL:Tensor:Float:Optimisation + substitution::evaluation:   s: 733.1455078  ds_dx: 1803.375977  ds_dy: 4021.222656 -2721.501221 -2073.134766 2076.410645  ds_dz: 1.674248934 1.978506684 1.978506684 2.696851492
+DEAL:Tensor:Double::symb_s: 1.5 + 1.5*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01))
+DEAL:Tensor:Double::symb_ds_dy: 0.0 - 1.5*y_11 + 1.5*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 0.0 + 1.5*y_10 - 1.5*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 0.0 + 1.5*y_01 - 1.5*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 0.0 - 1.5*y_00 + 1.5*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00
+DEAL:Tensor:Double:Substitution::substitute:   s: 733.145160811002  ds_dx: 1803.37488238402  ds_dy: 4021.22068318209 -2721.5000393195 -2073.13387957114 2076.40954281835  ds_dz: 1.67425190103196 1.97851016739323 1.97851016739323 2.69685737072851
+DEAL:Tensor:Double:Substitution::evaluation:   s: 733.1451608  ds_dx: 1803.374882  ds_dy: 4021.220683 -2721.500039 -2073.133880 2076.409543  ds_dz: 1.674251901 1.978510167 1.978510167 2.696857371
+DEAL:Tensor:Double:Optimisation + substitution::evaluation:   s: 733.1451608  ds_dx: 1803.374882  ds_dy: 4021.220683 -2721.500039 -2073.133880 2076.409543  ds_dz: 1.674251901 1.978510167 1.978510167 2.696857371
+DEAL::OK
diff --git a/tests/symengine/batch_optimizer_05_1b.output.libc++ b/tests/symengine/batch_optimizer_05_1b.output.libc++
new file mode 100644 (file)
index 0000000..437b3a1
--- /dev/null
@@ -0,0 +1,38 @@
+
+DEAL:Serialization:Float::symb_s: 1.5 + 1.5*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01))
+DEAL:Serialization:Float::symb_ds_dy: 0.0 - 1.5*y_11 + 1.5*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 0.0 + 1.5*y_10 - 1.5*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 0.0 + 1.5*y_01 - 1.5*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 0.0 - 1.5*y_00 + 1.5*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00
+DEAL:Serialization:Float:Optimisation + substitution::evaluation:   s: 733.1452026  ds_dx: 1803.375122  ds_dy: 4021.220703 -2721.500000 -2073.134033 2076.409668  ds_dz: 1.674248815 1.978506565 1.978506565 2.696851254
+DEAL:Serialization:Float:Optimisation + substitution::Evaluation (pre-serialization):   s: 733.1452026  ds_dx: 1803.375122  ds_dy: 4021.220703 -2721.500000 -2073.134033 2076.409668  ds_dz: 1.674248815 1.978506565 1.978506565 2.696851254
+DEAL:Serialization:Float:Optimisation + substitution::Serializing...
+DEAL:Serialization:Float:Optimisation + substitution::0 0 0 3 0 0 8 0 0 0 0 0 1 x 3 2.5 4 z_11 16 5.69999980926514 4 z_00 16 4.69999980926514 4 z_01 16 5.69999980926514 4 y_01 16 3.20000004768372 4 y_00 16 3.20000004768372 4 y_11 16 6.19999980926514 4 y_10 16 4.19999980926514 0 0 9 0 235 1.5 + 1.5*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) 81 2.0*x**(-1 + 1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*(1.0*y_00*y_11 - 1.0*y_01*y_10) 254 0.0 - 1.5*y_11 + 1.5*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 254 0.0 + 1.5*y_10 - 1.5*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 254 0.0 + 1.5*y_01 - 1.5*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 254 0.0 - 1.5*y_00 + 1.5*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00 169 0.666666666666667*y_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 3.0*z_00*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 169 0.666666666666667*y_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 3.0*z_11*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 198 0.5*(0.666666666666667*(0.0 + 1.0*y_01 + 1.0*y_10)*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 6.0*z_01*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2)) 9 0 7.331452026e+02 1.803375122e+03 4.021220703e+03 -2.721500000e+03 -2.073134033e+03 2.076409668e+03 1.674248815e+00 2.696851254e+00 1.978506565e+00 0 0 9 0 0 0 169 0.666666666666667*y_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 3.0*z_00*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 6 169 0.666666666666667*y_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 3.0*z_11*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 7 254 0.0 - 1.5*y_11 + 1.5*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 2 254 0.0 - 1.5*y_00 + 1.5*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00 5 254 0.0 + 1.5*y_01 - 1.5*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 4 254 0.0 + 1.5*y_10 - 1.5*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 3 81 2.0*x**(-1 + 1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*(1.0*y_00*y_11 - 1.0*y_01*y_10) 1 235 1.5 + 1.5*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) 0 198 0.5*(0.666666666666667*(0.0 + 1.0*y_01 + 1.0*y_10)*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 6.0*z_01*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2)) 8 1 1 8 0 1 x 4 z_11 4 z_00 4 z_01 4 y_01 4 y_00 4 y_11 4 y_10 0 0 16 0 0 0 2 x0 66 0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01) 2 x1 8 1.0*y_10 2 x2 24 -x1*y_01 + 1.0*y_00*y_11 2 x3 6 1.0*x2 2 x4 9 2.0*x**x3 2 x5 29 z_00**2 + 2*z_01**2 + z_11**2 2 x6 14 log(1.0*x5/x2) 2 x7 8 1.5*y_11 2 x8 9 log(x)*x4 2 x9 25 0.666666666666667*cos(x0) 3 x10 8 1.5*y_10 3 x11 7 x9*z_01 3 x12 8 1.5*y_01 3 x13 8 1.5*y_00 3 x14 5 x2/x5 3 x15 7 3.0*x14 9 0 30 1.5 + x4 + 1.5*x2*x6 + sin(x0) 19 2.0*x**(-1 + x3)*x2 31 -x7 + x6*x7 + x8*y_11 + x9*z_00 28 x10 + x11 - x6*x10 - x8*y_10 28 x11 + x12 - x6*x12 - x8*y_01 33 -x13 + x6*x13 + x8*y_00 + x9*z_11 18 x15*z_00 + x9*y_00 18 x15*z_11 + x9*y_11 39 0.5*(6.0*x14*z_01 + x9*(x1 + 1.0*y_01)) 0 0
+
+DEAL:Serialization:Float:Optimisation + substitution::Checking deserialisation...
+DEAL:Serialization:Float:Optimisation + substitution::Evaluation (post-serialization):   s: 733.1452026  ds_dx: 1803.375122  ds_dy: 4021.220703 -2721.500000 -2073.134033 2076.409668  ds_dz: 1.674248815 1.978506565 1.978506565 2.696851254
+DEAL:Serialization:Double::symb_s: 1.5 + 1.5*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01))
+DEAL:Serialization:Double::symb_ds_dy: 0.0 - 1.5*y_11 + 1.5*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 0.0 + 1.5*y_10 - 1.5*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 0.0 + 1.5*y_01 - 1.5*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 0.0 - 1.5*y_00 + 1.5*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00
+DEAL:Serialization:Double:Optimisation + substitution::evaluation:   s: 733.1451608  ds_dx: 1803.374882  ds_dy: 4021.220683 -2721.500039 -2073.133880 2076.409543  ds_dz: 1.674251901 1.978510167 1.978510167 2.696857371
+DEAL:Serialization:Double:Optimisation + substitution::Evaluation (pre-serialization):   s: 733.1451608  ds_dx: 1803.374882  ds_dy: 4021.220683 -2721.500039 -2073.133880 2076.409543  ds_dz: 1.674251901 1.978510167 1.978510167 2.696857371
+DEAL:Serialization:Double:Optimisation + substitution::Serializing...
+DEAL:Serialization:Double:Optimisation + substitution::0 0 0 3 0 0 8 0 0 0 0 0 1 x 3 2.5 4 z_11 3 5.7 4 z_00 3 4.7 4 z_01 3 5.7 4 y_01 3 3.2 4 y_00 3 3.2 4 y_11 3 6.2 4 y_10 3 4.2 0 0 9 0 235 1.5 + 1.5*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) 81 2.0*x**(-1 + 1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*(1.0*y_00*y_11 - 1.0*y_01*y_10) 254 0.0 - 1.5*y_11 + 1.5*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 254 0.0 + 1.5*y_10 - 1.5*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 254 0.0 + 1.5*y_01 - 1.5*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 254 0.0 - 1.5*y_00 + 1.5*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00 169 0.666666666666667*y_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 3.0*z_00*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 169 0.666666666666667*y_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 3.0*z_11*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 198 0.5*(0.666666666666667*(0.0 + 1.0*y_01 + 1.0*y_10)*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 6.0*z_01*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2)) 9 0 7.33145160811001574e+02 1.80337488238402102e+03 4.02122068318208630e+03 -2.72150003931949686e+03 -2.07313387957113900e+03 2.07640954281834820e+03 1.67425190103196075e+00 2.69685737072851373e+00 1.97851016739322993e+00 0 0 9 0 0 0 169 0.666666666666667*y_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 3.0*z_00*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 6 169 0.666666666666667*y_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 3.0*z_11*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 7 254 0.0 - 1.5*y_11 + 1.5*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 2 254 0.0 - 1.5*y_00 + 1.5*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00 5 254 0.0 + 1.5*y_01 - 1.5*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 4 254 0.0 + 1.5*y_10 - 1.5*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 3 81 2.0*x**(-1 + 1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*(1.0*y_00*y_11 - 1.0*y_01*y_10) 1 235 1.5 + 1.5*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) 0 198 0.5*(0.666666666666667*(0.0 + 1.0*y_01 + 1.0*y_10)*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 6.0*z_01*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2)) 8 1 1 8 0 1 x 4 z_11 4 z_00 4 z_01 4 y_01 4 y_00 4 y_11 4 y_10 0 0 16 0 0 0 2 x0 66 0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01) 2 x1 8 1.0*y_10 2 x2 24 -x1*y_01 + 1.0*y_00*y_11 2 x3 6 1.0*x2 2 x4 9 2.0*x**x3 2 x5 29 z_00**2 + 2*z_01**2 + z_11**2 2 x6 14 log(1.0*x5/x2) 2 x7 8 1.5*y_11 2 x8 9 log(x)*x4 2 x9 25 0.666666666666667*cos(x0) 3 x10 8 1.5*y_10 3 x11 7 x9*z_01 3 x12 8 1.5*y_01 3 x13 8 1.5*y_00 3 x14 5 x2/x5 3 x15 7 3.0*x14 9 0 30 1.5 + x4 + 1.5*x2*x6 + sin(x0) 19 2.0*x**(-1 + x3)*x2 31 -x7 + x6*x7 + x8*y_11 + x9*z_00 28 x10 + x11 - x6*x10 - x8*y_10 28 x11 + x12 - x6*x12 - x8*y_01 33 -x13 + x6*x13 + x8*y_00 + x9*z_11 18 x15*z_00 + x9*y_00 18 x15*z_11 + x9*y_11 39 0.5*(6.0*x14*z_01 + x9*(x1 + 1.0*y_01)) 0 0
+
+DEAL:Serialization:Double:Optimisation + substitution::Checking deserialisation...
+DEAL:Serialization:Double:Optimisation + substitution::Evaluation (post-serialization):   s: 733.1451608  ds_dx: 1803.374882  ds_dy: 4021.220683 -2721.500039 -2073.133880 2076.409543  ds_dz: 1.674251901 1.978510167 1.978510167 2.696857371
+DEAL:Serialization:Complex float::symb_s: 1.5 + 0.0*I + (1.5 + 0.0*I)*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01))
+DEAL:Serialization:Complex float::symb_ds_dy: 0.0 + 0.0*I + (-1.5 + 0.0*I)*y_11 + (1.5 + 0.0*I)*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_00*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 0.0 + 0.0*I + (1.5 + 0.0*I)*y_10 + (-1.5 + 0.0*I)*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_01*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (-2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 0.0 + 0.0*I + (1.5 + 0.0*I)*y_01 + (-1.5 + 0.0*I)*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_01*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (-2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 0.0 + 0.0*I + (-1.5 + 0.0*I)*y_00 + (1.5 + 0.0*I)*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_11*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00
+DEAL:Serialization:Complex float:Optimisation + substitution::evaluation:   s: (733.1452026,0.000000000)  ds_dx: (1803.375122,0.000000000)  ds_dy: (4021.220703,0.000000000) (-2721.500000,0.000000000) (-2073.134033,0.000000000) (2076.409668,0.000000000)  ds_dz: (1.674248815,0.000000000) (1.978506565,0.000000000) (1.978506565,0.000000000) (2.696851254,0.000000000)
+DEAL:Serialization:Complex float:Optimisation + substitution::Evaluation (pre-serialization):   s: (733.1452026,0.000000000)  ds_dx: (1803.375122,0.000000000)  ds_dy: (4021.220703,0.000000000) (-2721.500000,0.000000000) (-2073.134033,0.000000000) (2076.409668,0.000000000)  ds_dz: (1.674248815,0.000000000) (1.978506565,0.000000000) (1.978506565,0.000000000) (2.696851254,0.000000000)
+DEAL:Serialization:Complex float:Optimisation + substitution::Serializing...
+DEAL:Serialization:Complex float:Optimisation + substitution::0 0 0 3 0 0 8 0 0 0 0 0 1 x 3 2.5 4 z_11 24 5.69999980926514 + 0.0*I 4 z_00 24 4.69999980926514 + 0.0*I 4 z_01 24 5.69999980926514 + 0.0*I 4 y_01 24 3.20000004768372 + 0.0*I 4 y_00 24 3.20000004768372 + 0.0*I 4 y_11 24 6.19999980926514 + 0.0*I 4 y_10 24 4.19999980926514 + 0.0*I 0 0 9 0 273 1.5 + 0.0*I + (1.5 + 0.0*I)*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) 91 (2.0 + 0.0*I)*x**(-1 + 1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*(1.0*y_00*y_11 - 1.0*y_01*y_10) 314 0.0 + 0.0*I + (-1.5 + 0.0*I)*y_11 + (1.5 + 0.0*I)*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_00*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 316 0.0 + 0.0*I + (1.5 + 0.0*I)*y_10 + (-1.5 + 0.0*I)*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_01*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (-2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 316 0.0 + 0.0*I + (1.5 + 0.0*I)*y_01 + (-1.5 + 0.0*I)*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_01*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (-2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 314 0.0 + 0.0*I + (-1.5 + 0.0*I)*y_00 + (1.5 + 0.0*I)*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_11*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00 199 (0.666666666666667 + 0.0*I)*y_00*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (3.0 + 0.0*I)*z_00*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 199 (0.666666666666667 + 0.0*I)*y_11*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (3.0 + 0.0*I)*z_11*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 228 0.5*((0.666666666666667 + 0.0*I)*(0.0 + 1.0*y_01 + 1.0*y_10)*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (6.0 + 0.0*I)*z_01*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2)) 0 0 9 0 7.331452026e+02 0.000000000e+00 1.803375122e+03 0.000000000e+00 4.021220703e+03 0.000000000e+00 -2.721500000e+03 0.000000000e+00 -2.073134033e+03 0.000000000e+00 2.076409668e+03 0.000000000e+00 1.674248815e+00 0.000000000e+00 2.696851254e+00 0.000000000e+00 1.978506565e+00 0.000000000e+00 0 0 9 0 0 0 314 0.0 + 0.0*I + (-1.5 + 0.0*I)*y_11 + (1.5 + 0.0*I)*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_00*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 2 314 0.0 + 0.0*I + (-1.5 + 0.0*I)*y_00 + (1.5 + 0.0*I)*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_11*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00 5 91 (2.0 + 0.0*I)*x**(-1 + 1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*(1.0*y_00*y_11 - 1.0*y_01*y_10) 1 273 1.5 + 0.0*I + (1.5 + 0.0*I)*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) 0 316 0.0 + 0.0*I + (1.5 + 0.0*I)*y_01 + (-1.5 + 0.0*I)*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_01*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (-2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 4 316 0.0 + 0.0*I + (1.5 + 0.0*I)*y_10 + (-1.5 + 0.0*I)*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_01*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (-2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 3 228 0.5*((0.666666666666667 + 0.0*I)*(0.0 + 1.0*y_01 + 1.0*y_10)*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (6.0 + 0.0*I)*z_01*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2)) 8 199 (0.666666666666667 + 0.0*I)*y_11*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (3.0 + 0.0*I)*z_11*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 7 199 (0.666666666666667 + 0.0*I)*y_00*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (3.0 + 0.0*I)*z_00*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 6 1 1 8 0 1 x 4 z_11 4 z_00 4 z_01 4 y_01 4 y_00 4 y_11 4 y_10 0 0 17 0 0 0 2 x0 76 (0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01) 2 x1 8 1.0*y_10 2 x2 24 -x1*y_01 + 1.0*y_00*y_11 2 x3 6 1.0*x2 2 x4 5 x**x3 2 x5 16 (2.0 + 0.0*I)*x4 2 x6 29 z_00**2 + 2*z_01**2 + z_11**2 2 x7 14 log(1.0*x6/x2) 2 x8 16 (1.5 + 0.0*I)*x7 2 x9 6 log(x) 3 x10 5 x5*x9 3 x11 35 (0.666666666666667 + 0.0*I)*cos(x0) 3 x12 21 (-2.0 + 0.0*I)*x4*x9 3 x13 18 (-1.5 + 0.0*I)*x7 3 x14 8 x11*z_01 3 x15 5 x2/x6 3 x16 17 (3.0 + 0.0*I)*x15 9 0 34 1.5 + 0.0*I + x5 + x2*x8 + sin(x0) 29 (2.0 + 0.0*I)*x**(-1 + x3)*x2 52 (-1.5 + 0.0*I)*y_11 + x10*y_11 + x11*z_00 + x8*y_11 46 x14 + (1.5 + 0.0*I)*y_10 + x12*y_10 + x13*y_10 46 x14 + (1.5 + 0.0*I)*y_01 + x12*y_01 + x13*y_01 52 (-1.5 + 0.0*I)*y_00 + x10*y_00 + x11*z_11 + x8*y_00 19 x11*y_00 + x16*z_00 19 x11*y_11 + x16*z_11 50 0.5*(x11*(x1 + 1.0*y_01) + (6.0 + 0.0*I)*x15*z_01) 0 0
+
+DEAL:Serialization:Complex float:Optimisation + substitution::Checking deserialisation...
+DEAL:Serialization:Complex float:Optimisation + substitution::Evaluation (post-serialization):   s: (733.1452026,0.000000000)  ds_dx: (1803.375122,0.000000000)  ds_dy: (4021.220703,0.000000000) (-2721.500000,0.000000000) (-2073.134033,0.000000000) (2076.409668,0.000000000)  ds_dz: (1.674248815,0.000000000) (1.978506565,0.000000000) (1.978506565,0.000000000) (2.696851254,0.000000000)
+DEAL:Serialization:Complex double::symb_s: 1.5 + 0.0*I + (1.5 + 0.0*I)*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01))
+DEAL:Serialization:Complex double::symb_ds_dy: 0.0 + 0.0*I + (-1.5 + 0.0*I)*y_11 + (1.5 + 0.0*I)*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_00*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 0.0 + 0.0*I + (1.5 + 0.0*I)*y_10 + (-1.5 + 0.0*I)*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_01*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (-2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 0.0 + 0.0*I + (1.5 + 0.0*I)*y_01 + (-1.5 + 0.0*I)*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_01*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (-2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 0.0 + 0.0*I + (-1.5 + 0.0*I)*y_00 + (1.5 + 0.0*I)*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_11*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00
+DEAL:Serialization:Complex double:Optimisation + substitution::evaluation:   s: (733.1451608,0.000000000)  ds_dx: (1803.374882,0.000000000)  ds_dy: (4021.220683,0.000000000) (-2721.500039,0.000000000) (-2073.133880,0.000000000) (2076.409543,0.000000000)  ds_dz: (1.674251901,0.000000000) (1.978510167,0.000000000) (1.978510167,0.000000000) (2.696857371,0.000000000)
+DEAL:Serialization:Complex double:Optimisation + substitution::Evaluation (pre-serialization):   s: (733.1451608,0.000000000)  ds_dx: (1803.374882,0.000000000)  ds_dy: (4021.220683,0.000000000) (-2721.500039,0.000000000) (-2073.133880,0.000000000) (2076.409543,0.000000000)  ds_dz: (1.674251901,0.000000000) (1.978510167,0.000000000) (1.978510167,0.000000000) (2.696857371,0.000000000)
+DEAL:Serialization:Complex double:Optimisation + substitution::Serializing...
+DEAL:Serialization:Complex double:Optimisation + substitution::0 0 0 3 0 0 8 0 0 0 0 0 1 x 3 2.5 4 z_11 11 5.7 + 0.0*I 4 z_00 11 4.7 + 0.0*I 4 z_01 11 5.7 + 0.0*I 4 y_01 11 3.2 + 0.0*I 4 y_00 11 3.2 + 0.0*I 4 y_11 11 6.2 + 0.0*I 4 y_10 11 4.2 + 0.0*I 0 0 9 0 273 1.5 + 0.0*I + (1.5 + 0.0*I)*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) 91 (2.0 + 0.0*I)*x**(-1 + 1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*(1.0*y_00*y_11 - 1.0*y_01*y_10) 314 0.0 + 0.0*I + (-1.5 + 0.0*I)*y_11 + (1.5 + 0.0*I)*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_00*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 316 0.0 + 0.0*I + (1.5 + 0.0*I)*y_10 + (-1.5 + 0.0*I)*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_01*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (-2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 316 0.0 + 0.0*I + (1.5 + 0.0*I)*y_01 + (-1.5 + 0.0*I)*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_01*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (-2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 314 0.0 + 0.0*I + (-1.5 + 0.0*I)*y_00 + (1.5 + 0.0*I)*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_11*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00 199 (0.666666666666667 + 0.0*I)*y_00*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (3.0 + 0.0*I)*z_00*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 199 (0.666666666666667 + 0.0*I)*y_11*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (3.0 + 0.0*I)*z_11*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 228 0.5*((0.666666666666667 + 0.0*I)*(0.0 + 1.0*y_01 + 1.0*y_10)*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (6.0 + 0.0*I)*z_01*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2)) 0 0 9 0 7.33145160811002029e+02 0.00000000000000000e+00 1.80337488238402216e+03 0.00000000000000000e+00 4.02122068318208858e+03 0.00000000000000000e+00 -2.72150003931949823e+03 0.00000000000000000e+00 -2.07313387957114037e+03 0.00000000000000000e+00 2.07640954281834911e+03 0.00000000000000000e+00 1.67425190103196053e+00 0.00000000000000000e+00 2.69685737072851328e+00 0.00000000000000000e+00 1.97851016739322949e+00 0.00000000000000000e+00 0 0 9 0 0 0 314 0.0 + 0.0*I + (-1.5 + 0.0*I)*y_11 + (1.5 + 0.0*I)*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_00*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 2 314 0.0 + 0.0*I + (-1.5 + 0.0*I)*y_00 + (1.5 + 0.0*I)*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_11*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00 5 91 (2.0 + 0.0*I)*x**(-1 + 1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*(1.0*y_00*y_11 - 1.0*y_01*y_10) 1 273 1.5 + 0.0*I + (1.5 + 0.0*I)*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) 0 316 0.0 + 0.0*I + (1.5 + 0.0*I)*y_01 + (-1.5 + 0.0*I)*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_01*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (-2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 4 316 0.0 + 0.0*I + (1.5 + 0.0*I)*y_10 + (-1.5 + 0.0*I)*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_01*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (-2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 3 228 0.5*((0.666666666666667 + 0.0*I)*(0.0 + 1.0*y_01 + 1.0*y_10)*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (6.0 + 0.0*I)*z_01*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2)) 8 199 (0.666666666666667 + 0.0*I)*y_11*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (3.0 + 0.0*I)*z_11*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 7 199 (0.666666666666667 + 0.0*I)*y_00*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (3.0 + 0.0*I)*z_00*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 6 1 1 8 0 1 x 4 z_11 4 z_00 4 z_01 4 y_01 4 y_00 4 y_11 4 y_10 0 0 17 0 0 0 2 x0 76 (0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01) 2 x1 8 1.0*y_10 2 x2 24 -x1*y_01 + 1.0*y_00*y_11 2 x3 6 1.0*x2 2 x4 5 x**x3 2 x5 16 (2.0 + 0.0*I)*x4 2 x6 29 z_00**2 + 2*z_01**2 + z_11**2 2 x7 14 log(1.0*x6/x2) 2 x8 16 (1.5 + 0.0*I)*x7 2 x9 6 log(x) 3 x10 5 x5*x9 3 x11 35 (0.666666666666667 + 0.0*I)*cos(x0) 3 x12 21 (-2.0 + 0.0*I)*x4*x9 3 x13 18 (-1.5 + 0.0*I)*x7 3 x14 8 x11*z_01 3 x15 5 x2/x6 3 x16 17 (3.0 + 0.0*I)*x15 9 0 34 1.5 + 0.0*I + x5 + x2*x8 + sin(x0) 29 (2.0 + 0.0*I)*x**(-1 + x3)*x2 52 (-1.5 + 0.0*I)*y_11 + x10*y_11 + x11*z_00 + x8*y_11 46 x14 + (1.5 + 0.0*I)*y_10 + x12*y_10 + x13*y_10 46 x14 + (1.5 + 0.0*I)*y_01 + x12*y_01 + x13*y_01 52 (-1.5 + 0.0*I)*y_00 + x10*y_00 + x11*z_11 + x8*y_00 19 x11*y_00 + x16*z_00 19 x11*y_11 + x16*z_11 50 0.5*(x11*(x1 + 1.0*y_01) + (6.0 + 0.0*I)*x15*z_01) 0 0
+
+DEAL:Serialization:Complex double:Optimisation + substitution::Checking deserialisation...
+DEAL:Serialization:Complex double:Optimisation + substitution::Evaluation (post-serialization):   s: (733.1451608,0.000000000)  ds_dx: (1803.374882,0.000000000)  ds_dy: (4021.220683,0.000000000) (-2721.500039,0.000000000) (-2073.133880,0.000000000) (2076.409543,0.000000000)  ds_dz: (1.674251901,0.000000000) (1.978510167,0.000000000) (1.978510167,0.000000000) (2.696857371,0.000000000)
+DEAL::OK
diff --git a/tests/symengine/batch_optimizer_05_3a.with_symengine_with_llvm.output.libc++ b/tests/symengine/batch_optimizer_05_3a.with_symengine_with_llvm.output.libc++
new file mode 100644 (file)
index 0000000..8178d01
--- /dev/null
@@ -0,0 +1,16 @@
+
+DEAL:Serialization:Float::symb_s: 1.5 + 1.5*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01))
+DEAL:Serialization:Float::symb_ds_dy: 0.0 - 1.5*y_11 + 1.5*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 0.0 + 1.5*y_10 - 1.5*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 0.0 + 1.5*y_01 - 1.5*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 0.0 - 1.5*y_00 + 1.5*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00
+DEAL:Serialization:Float:Optimisation + substitution::evaluation:   s: 733.1455078  ds_dx: 1803.375977  ds_dy: 4021.222900 -2721.501221 -2073.135010 2076.410889  ds_dz: 1.674248934 1.978506684 1.978506684 2.696851492
+DEAL:Serialization:Float:Optimisation + substitution::Evaluation (pre-serialization):   s: 733.1455078  ds_dx: 1803.375977  ds_dy: 4021.222900 -2721.501221 -2073.135010 2076.410889  ds_dz: 1.674248934 1.978506684 1.978506684 2.696851492
+DEAL:Serialization:Float:Optimisation + substitution::Serializing...
+DEAL:Serialization:Float:Optimisation + substitution::Checking deserialisation...
+DEAL:Serialization:Float:Optimisation + substitution::Evaluation (post-serialization):   s: 733.1455078  ds_dx: 1803.375977  ds_dy: 4021.222900 -2721.501221 -2073.135010 2076.410889  ds_dz: 1.674248934 1.978506684 1.978506684 2.696851492
+DEAL:Serialization:Double::symb_s: 1.5 + 1.5*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01))
+DEAL:Serialization:Double::symb_ds_dy: 0.0 - 1.5*y_11 + 1.5*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 0.0 + 1.5*y_10 - 1.5*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 0.0 + 1.5*y_01 - 1.5*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 0.0 - 1.5*y_00 + 1.5*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00
+DEAL:Serialization:Double:Optimisation + substitution::evaluation:   s: 733.1451608  ds_dx: 1803.374882  ds_dy: 4021.220683 -2721.500039 -2073.133880 2076.409543  ds_dz: 1.674251901 1.978510167 1.978510167 2.696857371
+DEAL:Serialization:Double:Optimisation + substitution::Evaluation (pre-serialization):   s: 733.1451608  ds_dx: 1803.374882  ds_dy: 4021.220683 -2721.500039 -2073.133880 2076.409543  ds_dz: 1.674251901 1.978510167 1.978510167 2.696857371
+DEAL:Serialization:Double:Optimisation + substitution::Serializing...
+DEAL:Serialization:Double:Optimisation + substitution::Checking deserialisation...
+DEAL:Serialization:Double:Optimisation + substitution::Evaluation (post-serialization):   s: 733.1451608  ds_dx: 1803.374882  ds_dy: 4021.220683 -2721.500039 -2073.133880 2076.409543  ds_dz: 1.674251901 1.978510167 1.978510167 2.696857371
+DEAL::OK
diff --git a/tests/symengine/batch_optimizer_05_3b.with_symengine_with_llvm.output.libc++ b/tests/symengine/batch_optimizer_05_3b.with_symengine_with_llvm.output.libc++
new file mode 100644 (file)
index 0000000..139eec8
--- /dev/null
@@ -0,0 +1,16 @@
+
+DEAL:Serialization:Float::symb_s: 1.5 + 1.5*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01))
+DEAL:Serialization:Float::symb_ds_dy: 0.0 - 1.5*y_11 + 1.5*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 0.0 + 1.5*y_10 - 1.5*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 0.0 + 1.5*y_01 - 1.5*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 0.0 - 1.5*y_00 + 1.5*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00
+DEAL:Serialization:Float:Optimisation + substitution::evaluation:   s: 733.1455078  ds_dx: 1803.375977  ds_dy: 4021.222656 -2721.501221 -2073.134766 2076.410645  ds_dz: 1.674248934 1.978506684 1.978506684 2.696851492
+DEAL:Serialization:Float:Optimisation + substitution::Evaluation (pre-serialization):   s: 733.1455078  ds_dx: 1803.375977  ds_dy: 4021.222656 -2721.501221 -2073.134766 2076.410645  ds_dz: 1.674248934 1.978506684 1.978506684 2.696851492
+DEAL:Serialization:Float:Optimisation + substitution::Serializing...
+DEAL:Serialization:Float:Optimisation + substitution::Checking deserialisation...
+DEAL:Serialization:Float:Optimisation + substitution::Evaluation (post-serialization):   s: 733.1455078  ds_dx: 1803.375977  ds_dy: 4021.222656 -2721.501221 -2073.134766 2076.410645  ds_dz: 1.674248934 1.978506684 1.978506684 2.696851492
+DEAL:Serialization:Double::symb_s: 1.5 + 1.5*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01))
+DEAL:Serialization:Double::symb_ds_dy: 0.0 - 1.5*y_11 + 1.5*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 0.0 + 1.5*y_10 - 1.5*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 0.0 + 1.5*y_01 - 1.5*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 0.0 - 1.5*y_00 + 1.5*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00
+DEAL:Serialization:Double:Optimisation + substitution::evaluation:   s: 733.1451608  ds_dx: 1803.374882  ds_dy: 4021.220683 -2721.500039 -2073.133880 2076.409543  ds_dz: 1.674251901 1.978510167 1.978510167 2.696857371
+DEAL:Serialization:Double:Optimisation + substitution::Evaluation (pre-serialization):   s: 733.1451608  ds_dx: 1803.374882  ds_dy: 4021.220683 -2721.500039 -2073.133880 2076.409543  ds_dz: 1.674251901 1.978510167 1.978510167 2.696857371
+DEAL:Serialization:Double:Optimisation + substitution::Serializing...
+DEAL:Serialization:Double:Optimisation + substitution::Checking deserialisation...
+DEAL:Serialization:Double:Optimisation + substitution::Evaluation (post-serialization):   s: 733.1451608  ds_dx: 1803.374882  ds_dy: 4021.220683 -2721.500039 -2073.133880 2076.409543  ds_dz: 1.674251901 1.978510167 1.978510167 2.696857371
+DEAL::OK
diff --git a/tests/symengine/batch_optimizer_06_1b.output.libc++ b/tests/symengine/batch_optimizer_06_1b.output.libc++
new file mode 100644 (file)
index 0000000..8de39b2
--- /dev/null
@@ -0,0 +1,62 @@
+
+DEAL:Serialization:Float::symb_s: 1.5 + 1.5*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01))
+DEAL:Serialization:Float::symb_ds_dy: 0.0 - 1.5*y_11 + 1.5*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 0.0 + 1.5*y_10 - 1.5*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 0.0 + 1.5*y_01 - 1.5*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 0.0 - 1.5*y_00 + 1.5*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00
+DEAL:Serialization:Float:Optimisation + substitution::evaluation:   s: 733.1452026  ds_dx: 1803.375122  ds_dy: 4021.220703 -2721.500000 -2073.134033 2076.409668  ds_dz: 1.674248815 1.978506565 1.978506565 2.696851254
+DEAL:Serialization:Float:Optimisation + substitution::Evaluation (pre-serialization):   s: 733.1452026  ds_dx: 1803.375122  ds_dy: 4021.220703 -2721.500000 -2073.134033 2076.409668  ds_dz: 1.674248815 1.978506565 1.978506565 2.696851254
+DEAL:Serialization:Float:Optimisation + substitution::Serializing...
+DEAL:Serialization:Float:Optimisation + substitution::Serialized optimizer: 
+DEAL:Serialization:Float:Optimisation + substitution::0 0 0 3 0 0 8 0 0 0 0 0 1 x 3 2.5 4 z_11 16 5.69999980926514 4 z_00 16 4.69999980926514 4 z_01 16 5.69999980926514 4 y_01 16 3.20000004768372 4 y_00 16 3.20000004768372 4 y_11 16 6.19999980926514 4 y_10 16 4.19999980926514 0 0 9 0 235 1.5 + 1.5*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) 81 2.0*x**(-1 + 1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*(1.0*y_00*y_11 - 1.0*y_01*y_10) 254 0.0 - 1.5*y_11 + 1.5*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 254 0.0 + 1.5*y_10 - 1.5*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 254 0.0 + 1.5*y_01 - 1.5*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 254 0.0 - 1.5*y_00 + 1.5*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00 169 0.666666666666667*y_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 3.0*z_00*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 169 0.666666666666667*y_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 3.0*z_11*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 198 0.5*(0.666666666666667*(0.0 + 1.0*y_01 + 1.0*y_10)*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 6.0*z_01*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2)) 9 0 7.331452026e+02 1.803375122e+03 4.021220703e+03 -2.721500000e+03 -2.073134033e+03 2.076409668e+03 1.674248815e+00 2.696851254e+00 1.978506565e+00 0 0 9 0 0 0 169 0.666666666666667*y_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 3.0*z_00*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 6 169 0.666666666666667*y_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 3.0*z_11*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 7 254 0.0 - 1.5*y_11 + 1.5*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 2 254 0.0 - 1.5*y_00 + 1.5*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00 5 254 0.0 + 1.5*y_01 - 1.5*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 4 254 0.0 + 1.5*y_10 - 1.5*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 3 81 2.0*x**(-1 + 1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*(1.0*y_00*y_11 - 1.0*y_01*y_10) 1 235 1.5 + 1.5*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) 0 198 0.5*(0.666666666666667*(0.0 + 1.0*y_01 + 1.0*y_10)*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 6.0*z_01*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2)) 8 1 1 8 0 1 x 4 z_11 4 z_00 4 z_01 4 y_01 4 y_00 4 y_11 4 y_10 0 0 16 0 0 0 2 x0 66 0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01) 2 x1 8 1.0*y_10 2 x2 24 -x1*y_01 + 1.0*y_00*y_11 2 x3 6 1.0*x2 2 x4 9 2.0*x**x3 2 x5 29 z_00**2 + 2*z_01**2 + z_11**2 2 x6 14 log(1.0*x5/x2) 2 x7 8 1.5*y_11 2 x8 9 log(x)*x4 2 x9 25 0.666666666666667*cos(x0) 3 x10 8 1.5*y_10 3 x11 7 x9*z_01 3 x12 8 1.5*y_01 3 x13 8 1.5*y_00 3 x14 5 x2/x5 3 x15 7 3.0*x14 9 0 30 1.5 + x4 + 1.5*x2*x6 + sin(x0) 19 2.0*x**(-1 + x3)*x2 31 -x7 + x6*x7 + x8*y_11 + x9*z_00 28 x10 + x11 - x6*x10 - x8*y_10 28 x11 + x12 - x6*x12 - x8*y_01 33 -x13 + x6*x13 + x8*y_00 + x9*z_11 18 x15*z_00 + x9*y_00 18 x15*z_11 + x9*y_11 39 0.5*(6.0*x14*z_01 + x9*(x1 + 1.0*y_01)) 0 0
+
+DEAL:Serialization:Float:Optimisation + substitution::symb_s: 1.5 + 1.5*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01))
+DEAL:Serialization:Float:Optimisation + substitution::symb_ds_dy: 0.0 - 1.5*y_11 + 1.5*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 0.0 + 1.5*y_10 - 1.5*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 0.0 + 1.5*y_01 - 1.5*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 0.0 - 1.5*y_00 + 1.5*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00
+DEAL:Serialization:Float:Optimisation + substitution::Deserializing...
+DEAL:Serialization:Float:Optimisation + substitution::Deserialized optimizer: 
+DEAL:Serialization:Float:Optimisation + substitution::0 0 0 3 0 0 8 0 0 0 0 0 1 x 3 2.5 4 z_11 16 5.69999980926514 4 z_00 16 4.69999980926514 4 z_01 16 5.69999980926514 4 y_01 16 3.20000004768372 4 y_00 16 3.20000004768372 4 y_11 16 6.19999980926514 4 y_10 16 4.19999980926514 0 0 9 0 235 1.5 + 1.5*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) 81 2.0*x**(-1 + 1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*(1.0*y_00*y_11 - 1.0*y_01*y_10) 249 -1.5*y_11 + 1.5*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 248 1.5*y_10 - 1.5*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 248 1.5*y_01 - 1.5*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 249 -1.5*y_00 + 1.5*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00 169 0.666666666666667*y_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 3.0*z_00*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 169 0.666666666666667*y_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 3.0*z_11*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 192 0.5*(0.666666666666667*(1.0*y_01 + 1.0*y_10)*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 6.0*z_01*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2)) 9 0 7.331452026e+02 1.803375122e+03 4.021220703e+03 -2.721500000e+03 -2.073134033e+03 2.076409668e+03 1.674248815e+00 2.696851254e+00 1.978506565e+00 0 0 9 0 0 0 169 0.666666666666667*y_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 3.0*z_00*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 6 169 0.666666666666667*y_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 3.0*z_11*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 7 249 -1.5*y_11 + 1.5*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 2 249 -1.5*y_00 + 1.5*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00 5 192 0.5*(0.666666666666667*(1.0*y_01 + 1.0*y_10)*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 6.0*z_01*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2)) 8 248 1.5*y_10 - 1.5*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 3 248 1.5*y_01 - 1.5*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 4 81 2.0*x**(-1 + 1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*(1.0*y_00*y_11 - 1.0*y_01*y_10) 1 235 1.5 + 1.5*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) 0 1 1 8 0 1 x 4 z_11 4 z_00 4 z_01 4 y_01 4 y_00 4 y_11 4 y_10 0 0 16 0 0 0 2 x0 66 0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01) 2 x1 8 1.0*y_10 2 x2 24 -x1*y_01 + 1.0*y_00*y_11 2 x3 6 1.0*x2 2 x4 9 2.0*x**x3 2 x5 29 z_00**2 + 2*z_01**2 + z_11**2 2 x6 14 log(1.0*x5/x2) 2 x7 8 1.5*y_11 2 x8 9 log(x)*x4 2 x9 25 0.666666666666667*cos(x0) 3 x10 8 1.5*y_10 3 x11 7 x9*z_01 3 x12 8 1.5*y_01 3 x13 8 1.5*y_00 3 x14 5 x2/x5 3 x15 7 3.0*x14 9 0 30 1.5 + x4 + 1.5*x2*x6 + sin(x0) 19 2.0*x**(-1 + x3)*x2 31 -x7 + x6*x7 + x8*y_11 + x9*z_00 28 x10 + x11 - x6*x10 - x8*y_10 28 x11 + x12 - x6*x12 - x8*y_01 33 -x13 + x6*x13 + x8*y_00 + x9*z_11 18 x15*z_00 + x9*y_00 18 x15*z_11 + x9*y_11 39 0.5*(6.0*x14*z_01 + x9*(x1 + 1.0*y_01)) 0 0
+DEAL:Serialization:Float:Optimisation + substitution::Checking deserialisation...
+DEAL:Serialization:Float:Optimisation + substitution::Evaluation (post-serialization):   s: 733.1452026  ds_dx: 1803.375122  ds_dy: 4021.220703 -2721.500000 -2073.134033 2076.409668  ds_dz: 1.674248815 1.978506565 1.978506565 2.696851254
+DEAL:Serialization:Double::symb_s: 1.5 + 1.5*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01))
+DEAL:Serialization:Double::symb_ds_dy: 0.0 - 1.5*y_11 + 1.5*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 0.0 + 1.5*y_10 - 1.5*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 0.0 + 1.5*y_01 - 1.5*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 0.0 - 1.5*y_00 + 1.5*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00
+DEAL:Serialization:Double:Optimisation + substitution::evaluation:   s: 733.1451608  ds_dx: 1803.374882  ds_dy: 4021.220683 -2721.500039 -2073.133880 2076.409543  ds_dz: 1.674251901 1.978510167 1.978510167 2.696857371
+DEAL:Serialization:Double:Optimisation + substitution::Evaluation (pre-serialization):   s: 733.1451608  ds_dx: 1803.374882  ds_dy: 4021.220683 -2721.500039 -2073.133880 2076.409543  ds_dz: 1.674251901 1.978510167 1.978510167 2.696857371
+DEAL:Serialization:Double:Optimisation + substitution::Serializing...
+DEAL:Serialization:Double:Optimisation + substitution::Serialized optimizer: 
+DEAL:Serialization:Double:Optimisation + substitution::0 0 0 3 0 0 8 0 0 0 0 0 1 x 3 2.5 4 z_11 3 5.7 4 z_00 3 4.7 4 z_01 3 5.7 4 y_01 3 3.2 4 y_00 3 3.2 4 y_11 3 6.2 4 y_10 3 4.2 0 0 9 0 235 1.5 + 1.5*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) 81 2.0*x**(-1 + 1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*(1.0*y_00*y_11 - 1.0*y_01*y_10) 254 0.0 - 1.5*y_11 + 1.5*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 254 0.0 + 1.5*y_10 - 1.5*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 254 0.0 + 1.5*y_01 - 1.5*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 254 0.0 - 1.5*y_00 + 1.5*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00 169 0.666666666666667*y_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 3.0*z_00*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 169 0.666666666666667*y_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 3.0*z_11*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 198 0.5*(0.666666666666667*(0.0 + 1.0*y_01 + 1.0*y_10)*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 6.0*z_01*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2)) 9 0 7.33145160811001574e+02 1.80337488238402102e+03 4.02122068318208630e+03 -2.72150003931949686e+03 -2.07313387957113900e+03 2.07640954281834820e+03 1.67425190103196075e+00 2.69685737072851373e+00 1.97851016739322993e+00 0 0 9 0 0 0 169 0.666666666666667*y_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 3.0*z_00*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 6 169 0.666666666666667*y_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 3.0*z_11*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 7 254 0.0 - 1.5*y_11 + 1.5*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 2 254 0.0 - 1.5*y_00 + 1.5*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00 5 254 0.0 + 1.5*y_01 - 1.5*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 4 254 0.0 + 1.5*y_10 - 1.5*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 3 81 2.0*x**(-1 + 1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*(1.0*y_00*y_11 - 1.0*y_01*y_10) 1 235 1.5 + 1.5*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) 0 198 0.5*(0.666666666666667*(0.0 + 1.0*y_01 + 1.0*y_10)*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 6.0*z_01*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2)) 8 1 1 8 0 1 x 4 z_11 4 z_00 4 z_01 4 y_01 4 y_00 4 y_11 4 y_10 0 0 16 0 0 0 2 x0 66 0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01) 2 x1 8 1.0*y_10 2 x2 24 -x1*y_01 + 1.0*y_00*y_11 2 x3 6 1.0*x2 2 x4 9 2.0*x**x3 2 x5 29 z_00**2 + 2*z_01**2 + z_11**2 2 x6 14 log(1.0*x5/x2) 2 x7 8 1.5*y_11 2 x8 9 log(x)*x4 2 x9 25 0.666666666666667*cos(x0) 3 x10 8 1.5*y_10 3 x11 7 x9*z_01 3 x12 8 1.5*y_01 3 x13 8 1.5*y_00 3 x14 5 x2/x5 3 x15 7 3.0*x14 9 0 30 1.5 + x4 + 1.5*x2*x6 + sin(x0) 19 2.0*x**(-1 + x3)*x2 31 -x7 + x6*x7 + x8*y_11 + x9*z_00 28 x10 + x11 - x6*x10 - x8*y_10 28 x11 + x12 - x6*x12 - x8*y_01 33 -x13 + x6*x13 + x8*y_00 + x9*z_11 18 x15*z_00 + x9*y_00 18 x15*z_11 + x9*y_11 39 0.5*(6.0*x14*z_01 + x9*(x1 + 1.0*y_01)) 0 0
+
+DEAL:Serialization:Double:Optimisation + substitution::symb_s: 1.5 + 1.5*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01))
+DEAL:Serialization:Double:Optimisation + substitution::symb_ds_dy: 0.0 - 1.5*y_11 + 1.5*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 0.0 + 1.5*y_10 - 1.5*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 0.0 + 1.5*y_01 - 1.5*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 0.0 - 1.5*y_00 + 1.5*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00
+DEAL:Serialization:Double:Optimisation + substitution::Deserializing...
+DEAL:Serialization:Double:Optimisation + substitution::Deserialized optimizer: 
+DEAL:Serialization:Double:Optimisation + substitution::0 0 0 3 0 0 8 0 0 0 0 0 1 x 3 2.5 4 z_11 3 5.7 4 z_00 3 4.7 4 z_01 3 5.7 4 y_01 3 3.2 4 y_00 3 3.2 4 y_11 3 6.2 4 y_10 3 4.2 0 0 9 0 235 1.5 + 1.5*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) 81 2.0*x**(-1 + 1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*(1.0*y_00*y_11 - 1.0*y_01*y_10) 249 -1.5*y_11 + 1.5*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 248 1.5*y_10 - 1.5*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 248 1.5*y_01 - 1.5*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 249 -1.5*y_00 + 1.5*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00 169 0.666666666666667*y_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 3.0*z_00*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 169 0.666666666666667*y_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 3.0*z_11*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 192 0.5*(0.666666666666667*(1.0*y_01 + 1.0*y_10)*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 6.0*z_01*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2)) 9 0 7.33145160811001574e+02 1.80337488238402102e+03 4.02122068318208630e+03 -2.72150003931949686e+03 -2.07313387957113900e+03 2.07640954281834820e+03 1.67425190103196075e+00 2.69685737072851373e+00 1.97851016739322993e+00 0 0 9 0 0 0 169 0.666666666666667*y_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 3.0*z_00*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 6 169 0.666666666666667*y_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 3.0*z_11*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 7 249 -1.5*y_11 + 1.5*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 2 249 -1.5*y_00 + 1.5*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00 5 192 0.5*(0.666666666666667*(1.0*y_01 + 1.0*y_10)*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 6.0*z_01*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2)) 8 248 1.5*y_10 - 1.5*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 3 248 1.5*y_01 - 1.5*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 4 81 2.0*x**(-1 + 1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*(1.0*y_00*y_11 - 1.0*y_01*y_10) 1 235 1.5 + 1.5*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) 0 1 1 8 0 1 x 4 z_11 4 z_00 4 z_01 4 y_01 4 y_00 4 y_11 4 y_10 0 0 16 0 0 0 2 x0 66 0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01) 2 x1 8 1.0*y_10 2 x2 24 -x1*y_01 + 1.0*y_00*y_11 2 x3 6 1.0*x2 2 x4 9 2.0*x**x3 2 x5 29 z_00**2 + 2*z_01**2 + z_11**2 2 x6 14 log(1.0*x5/x2) 2 x7 8 1.5*y_11 2 x8 9 log(x)*x4 2 x9 25 0.666666666666667*cos(x0) 3 x10 8 1.5*y_10 3 x11 7 x9*z_01 3 x12 8 1.5*y_01 3 x13 8 1.5*y_00 3 x14 5 x2/x5 3 x15 7 3.0*x14 9 0 30 1.5 + x4 + 1.5*x2*x6 + sin(x0) 19 2.0*x**(-1 + x3)*x2 31 -x7 + x6*x7 + x8*y_11 + x9*z_00 28 x10 + x11 - x6*x10 - x8*y_10 28 x11 + x12 - x6*x12 - x8*y_01 33 -x13 + x6*x13 + x8*y_00 + x9*z_11 18 x15*z_00 + x9*y_00 18 x15*z_11 + x9*y_11 39 0.5*(6.0*x14*z_01 + x9*(x1 + 1.0*y_01)) 0 0
+DEAL:Serialization:Double:Optimisation + substitution::Checking deserialisation...
+DEAL:Serialization:Double:Optimisation + substitution::Evaluation (post-serialization):   s: 733.1451608  ds_dx: 1803.374882  ds_dy: 4021.220683 -2721.500039 -2073.133880 2076.409543  ds_dz: 1.674251901 1.978510167 1.978510167 2.696857371
+DEAL:Serialization:Complex float::symb_s: 1.5 + 0.0*I + (1.5 + 0.0*I)*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01))
+DEAL:Serialization:Complex float::symb_ds_dy: 0.0 + 0.0*I + (-1.5 + 0.0*I)*y_11 + (1.5 + 0.0*I)*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_00*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 0.0 + 0.0*I + (1.5 + 0.0*I)*y_10 + (-1.5 + 0.0*I)*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_01*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (-2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 0.0 + 0.0*I + (1.5 + 0.0*I)*y_01 + (-1.5 + 0.0*I)*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_01*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (-2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 0.0 + 0.0*I + (-1.5 + 0.0*I)*y_00 + (1.5 + 0.0*I)*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_11*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00
+DEAL:Serialization:Complex float:Optimisation + substitution::evaluation:   s: (733.1452026,0.000000000)  ds_dx: (1803.375122,0.000000000)  ds_dy: (4021.220703,0.000000000) (-2721.500000,0.000000000) (-2073.134033,0.000000000) (2076.409668,0.000000000)  ds_dz: (1.674248815,0.000000000) (1.978506565,0.000000000) (1.978506565,0.000000000) (2.696851254,0.000000000)
+DEAL:Serialization:Complex float:Optimisation + substitution::Evaluation (pre-serialization):   s: (733.1452026,0.000000000)  ds_dx: (1803.375122,0.000000000)  ds_dy: (4021.220703,0.000000000) (-2721.500000,0.000000000) (-2073.134033,0.000000000) (2076.409668,0.000000000)  ds_dz: (1.674248815,0.000000000) (1.978506565,0.000000000) (1.978506565,0.000000000) (2.696851254,0.000000000)
+DEAL:Serialization:Complex float:Optimisation + substitution::Serializing...
+DEAL:Serialization:Complex float:Optimisation + substitution::Serialized optimizer: 
+DEAL:Serialization:Complex float:Optimisation + substitution::0 0 0 3 0 0 8 0 0 0 0 0 1 x 3 2.5 4 z_11 24 5.69999980926514 + 0.0*I 4 z_00 24 4.69999980926514 + 0.0*I 4 z_01 24 5.69999980926514 + 0.0*I 4 y_01 24 3.20000004768372 + 0.0*I 4 y_00 24 3.20000004768372 + 0.0*I 4 y_11 24 6.19999980926514 + 0.0*I 4 y_10 24 4.19999980926514 + 0.0*I 0 0 9 0 273 1.5 + 0.0*I + (1.5 + 0.0*I)*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) 91 (2.0 + 0.0*I)*x**(-1 + 1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*(1.0*y_00*y_11 - 1.0*y_01*y_10) 314 0.0 + 0.0*I + (-1.5 + 0.0*I)*y_11 + (1.5 + 0.0*I)*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_00*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 316 0.0 + 0.0*I + (1.5 + 0.0*I)*y_10 + (-1.5 + 0.0*I)*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_01*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (-2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 316 0.0 + 0.0*I + (1.5 + 0.0*I)*y_01 + (-1.5 + 0.0*I)*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_01*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (-2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 314 0.0 + 0.0*I + (-1.5 + 0.0*I)*y_00 + (1.5 + 0.0*I)*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_11*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00 199 (0.666666666666667 + 0.0*I)*y_00*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (3.0 + 0.0*I)*z_00*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 199 (0.666666666666667 + 0.0*I)*y_11*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (3.0 + 0.0*I)*z_11*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 228 0.5*((0.666666666666667 + 0.0*I)*(0.0 + 1.0*y_01 + 1.0*y_10)*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (6.0 + 0.0*I)*z_01*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2)) 0 0 9 0 7.331452026e+02 0.000000000e+00 1.803375122e+03 0.000000000e+00 4.021220703e+03 0.000000000e+00 -2.721500000e+03 0.000000000e+00 -2.073134033e+03 0.000000000e+00 2.076409668e+03 0.000000000e+00 1.674248815e+00 0.000000000e+00 2.696851254e+00 0.000000000e+00 1.978506565e+00 0.000000000e+00 0 0 9 0 0 0 314 0.0 + 0.0*I + (-1.5 + 0.0*I)*y_11 + (1.5 + 0.0*I)*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_00*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 2 314 0.0 + 0.0*I + (-1.5 + 0.0*I)*y_00 + (1.5 + 0.0*I)*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_11*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00 5 91 (2.0 + 0.0*I)*x**(-1 + 1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*(1.0*y_00*y_11 - 1.0*y_01*y_10) 1 273 1.5 + 0.0*I + (1.5 + 0.0*I)*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) 0 316 0.0 + 0.0*I + (1.5 + 0.0*I)*y_01 + (-1.5 + 0.0*I)*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_01*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (-2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 4 316 0.0 + 0.0*I + (1.5 + 0.0*I)*y_10 + (-1.5 + 0.0*I)*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_01*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (-2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 3 228 0.5*((0.666666666666667 + 0.0*I)*(0.0 + 1.0*y_01 + 1.0*y_10)*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (6.0 + 0.0*I)*z_01*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2)) 8 199 (0.666666666666667 + 0.0*I)*y_11*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (3.0 + 0.0*I)*z_11*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 7 199 (0.666666666666667 + 0.0*I)*y_00*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (3.0 + 0.0*I)*z_00*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 6 1 1 8 0 1 x 4 z_11 4 z_00 4 z_01 4 y_01 4 y_00 4 y_11 4 y_10 0 0 17 0 0 0 2 x0 76 (0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01) 2 x1 8 1.0*y_10 2 x2 24 -x1*y_01 + 1.0*y_00*y_11 2 x3 6 1.0*x2 2 x4 5 x**x3 2 x5 16 (2.0 + 0.0*I)*x4 2 x6 29 z_00**2 + 2*z_01**2 + z_11**2 2 x7 14 log(1.0*x6/x2) 2 x8 16 (1.5 + 0.0*I)*x7 2 x9 6 log(x) 3 x10 5 x5*x9 3 x11 35 (0.666666666666667 + 0.0*I)*cos(x0) 3 x12 21 (-2.0 + 0.0*I)*x4*x9 3 x13 18 (-1.5 + 0.0*I)*x7 3 x14 8 x11*z_01 3 x15 5 x2/x6 3 x16 17 (3.0 + 0.0*I)*x15 9 0 34 1.5 + 0.0*I + x5 + x2*x8 + sin(x0) 29 (2.0 + 0.0*I)*x**(-1 + x3)*x2 52 (-1.5 + 0.0*I)*y_11 + x10*y_11 + x11*z_00 + x8*y_11 46 x14 + (1.5 + 0.0*I)*y_10 + x12*y_10 + x13*y_10 46 x14 + (1.5 + 0.0*I)*y_01 + x12*y_01 + x13*y_01 52 (-1.5 + 0.0*I)*y_00 + x10*y_00 + x11*z_11 + x8*y_00 19 x11*y_00 + x16*z_00 19 x11*y_11 + x16*z_11 50 0.5*(x11*(x1 + 1.0*y_01) + (6.0 + 0.0*I)*x15*z_01) 0 0
+
+DEAL:Serialization:Complex float:Optimisation + substitution::symb_s: 1.5 + 0.0*I + (1.5 + 0.0*I)*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01))
+DEAL:Serialization:Complex float:Optimisation + substitution::symb_ds_dy: 0.0 + 0.0*I + (-1.5 + 0.0*I)*y_11 + (1.5 + 0.0*I)*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_00*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 0.0 + 0.0*I + (1.5 + 0.0*I)*y_10 + (-1.5 + 0.0*I)*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_01*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (-2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 0.0 + 0.0*I + (1.5 + 0.0*I)*y_01 + (-1.5 + 0.0*I)*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_01*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (-2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 0.0 + 0.0*I + (-1.5 + 0.0*I)*y_00 + (1.5 + 0.0*I)*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_11*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00
+DEAL:Serialization:Complex float:Optimisation + substitution::Deserializing...
+DEAL:Serialization:Complex float:Optimisation + substitution::Deserialized optimizer: 
+DEAL:Serialization:Complex float:Optimisation + substitution::0 0 0 3 0 0 8 0 0 0 0 0 1 x 3 2.5 4 z_11 24 5.69999980926514 + 0.0*I 4 z_00 24 4.69999980926514 + 0.0*I 4 z_01 24 5.69999980926514 + 0.0*I 4 y_01 24 3.20000004768372 + 0.0*I 4 y_00 24 3.20000004768372 + 0.0*I 4 y_11 24 6.19999980926514 + 0.0*I 4 y_10 24 4.19999980926514 + 0.0*I 0 0 9 0 273 1.5 + 0.0*I + (1.5 + 0.0*I)*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) 91 (2.0 + 0.0*I)*x**(-1 + 1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*(1.0*y_00*y_11 - 1.0*y_01*y_10) 300 (-1.5 + 0.0*I)*y_11 + (1.5 + 0.0*I)*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_00*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 302 (1.5 + 0.0*I)*y_10 + (-1.5 + 0.0*I)*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_01*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (-2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 302 (1.5 + 0.0*I)*y_01 + (-1.5 + 0.0*I)*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_01*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (-2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 300 (-1.5 + 0.0*I)*y_00 + (1.5 + 0.0*I)*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_11*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00 199 (0.666666666666667 + 0.0*I)*y_00*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (3.0 + 0.0*I)*z_00*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 199 (0.666666666666667 + 0.0*I)*y_11*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (3.0 + 0.0*I)*z_11*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 222 0.5*((0.666666666666667 + 0.0*I)*(1.0*y_01 + 1.0*y_10)*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (6.0 + 0.0*I)*z_01*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2)) 0 0 9 0 7.331452026e+02 0.000000000e+00 1.803375122e+03 0.000000000e+00 4.021220703e+03 0.000000000e+00 -2.721500000e+03 0.000000000e+00 -2.073134033e+03 0.000000000e+00 2.076409668e+03 0.000000000e+00 1.674248815e+00 0.000000000e+00 2.696851254e+00 0.000000000e+00 1.978506565e+00 0.000000000e+00 0 0 9 0 0 0 300 (-1.5 + 0.0*I)*y_00 + (1.5 + 0.0*I)*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_11*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00 5 300 (-1.5 + 0.0*I)*y_11 + (1.5 + 0.0*I)*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_00*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 2 91 (2.0 + 0.0*I)*x**(-1 + 1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*(1.0*y_00*y_11 - 1.0*y_01*y_10) 1 222 0.5*((0.666666666666667 + 0.0*I)*(1.0*y_01 + 1.0*y_10)*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (6.0 + 0.0*I)*z_01*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2)) 8 273 1.5 + 0.0*I + (1.5 + 0.0*I)*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) 0 302 (1.5 + 0.0*I)*y_01 + (-1.5 + 0.0*I)*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_01*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (-2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 4 302 (1.5 + 0.0*I)*y_10 + (-1.5 + 0.0*I)*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_01*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (-2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 3 199 (0.666666666666667 + 0.0*I)*y_11*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (3.0 + 0.0*I)*z_11*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 7 199 (0.666666666666667 + 0.0*I)*y_00*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (3.0 + 0.0*I)*z_00*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 6 1 1 8 0 1 x 4 z_11 4 z_00 4 z_01 4 y_01 4 y_00 4 y_11 4 y_10 0 0 17 0 0 0 2 x0 76 (0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01) 2 x1 8 1.0*y_10 2 x2 24 -x1*y_01 + 1.0*y_00*y_11 2 x3 6 1.0*x2 2 x4 5 x**x3 2 x5 16 (2.0 + 0.0*I)*x4 2 x6 29 z_00**2 + 2*z_01**2 + z_11**2 2 x7 14 log(1.0*x6/x2) 2 x8 16 (1.5 + 0.0*I)*x7 2 x9 6 log(x) 3 x10 5 x5*x9 3 x11 35 (0.666666666666667 + 0.0*I)*cos(x0) 3 x12 21 (-2.0 + 0.0*I)*x4*x9 3 x13 18 (-1.5 + 0.0*I)*x7 3 x14 8 x11*z_01 3 x15 5 x2/x6 3 x16 17 (3.0 + 0.0*I)*x15 9 0 34 1.5 + 0.0*I + x5 + x2*x8 + sin(x0) 29 (2.0 + 0.0*I)*x**(-1 + x3)*x2 52 (-1.5 + 0.0*I)*y_11 + x10*y_11 + x11*z_00 + x8*y_11 46 x14 + (1.5 + 0.0*I)*y_10 + x12*y_10 + x13*y_10 46 x14 + (1.5 + 0.0*I)*y_01 + x12*y_01 + x13*y_01 52 (-1.5 + 0.0*I)*y_00 + x10*y_00 + x11*z_11 + x8*y_00 19 x11*y_00 + x16*z_00 19 x11*y_11 + x16*z_11 50 0.5*(x11*(x1 + 1.0*y_01) + (6.0 + 0.0*I)*x15*z_01) 0 0
+DEAL:Serialization:Complex float:Optimisation + substitution::Checking deserialisation...
+DEAL:Serialization:Complex float:Optimisation + substitution::Evaluation (post-serialization):   s: (733.1452026,0.000000000)  ds_dx: (1803.375122,0.000000000)  ds_dy: (4021.220703,0.000000000) (-2721.500000,0.000000000) (-2073.134033,0.000000000) (2076.409668,0.000000000)  ds_dz: (1.674248815,0.000000000) (1.978506565,0.000000000) (1.978506565,0.000000000) (2.696851254,0.000000000)
+DEAL:Serialization:Complex double::symb_s: 1.5 + 0.0*I + (1.5 + 0.0*I)*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01))
+DEAL:Serialization:Complex double::symb_ds_dy: 0.0 + 0.0*I + (-1.5 + 0.0*I)*y_11 + (1.5 + 0.0*I)*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_00*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 0.0 + 0.0*I + (1.5 + 0.0*I)*y_10 + (-1.5 + 0.0*I)*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_01*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (-2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 0.0 + 0.0*I + (1.5 + 0.0*I)*y_01 + (-1.5 + 0.0*I)*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_01*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (-2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 0.0 + 0.0*I + (-1.5 + 0.0*I)*y_00 + (1.5 + 0.0*I)*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_11*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00
+DEAL:Serialization:Complex double:Optimisation + substitution::evaluation:   s: (733.1451608,0.000000000)  ds_dx: (1803.374882,0.000000000)  ds_dy: (4021.220683,0.000000000) (-2721.500039,0.000000000) (-2073.133880,0.000000000) (2076.409543,0.000000000)  ds_dz: (1.674251901,0.000000000) (1.978510167,0.000000000) (1.978510167,0.000000000) (2.696857371,0.000000000)
+DEAL:Serialization:Complex double:Optimisation + substitution::Evaluation (pre-serialization):   s: (733.1451608,0.000000000)  ds_dx: (1803.374882,0.000000000)  ds_dy: (4021.220683,0.000000000) (-2721.500039,0.000000000) (-2073.133880,0.000000000) (2076.409543,0.000000000)  ds_dz: (1.674251901,0.000000000) (1.978510167,0.000000000) (1.978510167,0.000000000) (2.696857371,0.000000000)
+DEAL:Serialization:Complex double:Optimisation + substitution::Serializing...
+DEAL:Serialization:Complex double:Optimisation + substitution::Serialized optimizer: 
+DEAL:Serialization:Complex double:Optimisation + substitution::0 0 0 3 0 0 8 0 0 0 0 0 1 x 3 2.5 4 z_11 11 5.7 + 0.0*I 4 z_00 11 4.7 + 0.0*I 4 z_01 11 5.7 + 0.0*I 4 y_01 11 3.2 + 0.0*I 4 y_00 11 3.2 + 0.0*I 4 y_11 11 6.2 + 0.0*I 4 y_10 11 4.2 + 0.0*I 0 0 9 0 273 1.5 + 0.0*I + (1.5 + 0.0*I)*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) 91 (2.0 + 0.0*I)*x**(-1 + 1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*(1.0*y_00*y_11 - 1.0*y_01*y_10) 314 0.0 + 0.0*I + (-1.5 + 0.0*I)*y_11 + (1.5 + 0.0*I)*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_00*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 316 0.0 + 0.0*I + (1.5 + 0.0*I)*y_10 + (-1.5 + 0.0*I)*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_01*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (-2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 316 0.0 + 0.0*I + (1.5 + 0.0*I)*y_01 + (-1.5 + 0.0*I)*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_01*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (-2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 314 0.0 + 0.0*I + (-1.5 + 0.0*I)*y_00 + (1.5 + 0.0*I)*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_11*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00 199 (0.666666666666667 + 0.0*I)*y_00*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (3.0 + 0.0*I)*z_00*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 199 (0.666666666666667 + 0.0*I)*y_11*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (3.0 + 0.0*I)*z_11*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 228 0.5*((0.666666666666667 + 0.0*I)*(0.0 + 1.0*y_01 + 1.0*y_10)*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (6.0 + 0.0*I)*z_01*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2)) 0 0 9 0 7.33145160811002029e+02 0.00000000000000000e+00 1.80337488238402216e+03 0.00000000000000000e+00 4.02122068318208858e+03 0.00000000000000000e+00 -2.72150003931949823e+03 0.00000000000000000e+00 -2.07313387957114037e+03 0.00000000000000000e+00 2.07640954281834911e+03 0.00000000000000000e+00 1.67425190103196053e+00 0.00000000000000000e+00 2.69685737072851328e+00 0.00000000000000000e+00 1.97851016739322949e+00 0.00000000000000000e+00 0 0 9 0 0 0 314 0.0 + 0.0*I + (-1.5 + 0.0*I)*y_11 + (1.5 + 0.0*I)*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_00*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 2 314 0.0 + 0.0*I + (-1.5 + 0.0*I)*y_00 + (1.5 + 0.0*I)*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_11*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00 5 91 (2.0 + 0.0*I)*x**(-1 + 1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*(1.0*y_00*y_11 - 1.0*y_01*y_10) 1 273 1.5 + 0.0*I + (1.5 + 0.0*I)*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) 0 316 0.0 + 0.0*I + (1.5 + 0.0*I)*y_01 + (-1.5 + 0.0*I)*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_01*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (-2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 4 316 0.0 + 0.0*I + (1.5 + 0.0*I)*y_10 + (-1.5 + 0.0*I)*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_01*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (-2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 3 228 0.5*((0.666666666666667 + 0.0*I)*(0.0 + 1.0*y_01 + 1.0*y_10)*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (6.0 + 0.0*I)*z_01*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2)) 8 199 (0.666666666666667 + 0.0*I)*y_11*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (3.0 + 0.0*I)*z_11*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 7 199 (0.666666666666667 + 0.0*I)*y_00*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (3.0 + 0.0*I)*z_00*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 6 1 1 8 0 1 x 4 z_11 4 z_00 4 z_01 4 y_01 4 y_00 4 y_11 4 y_10 0 0 17 0 0 0 2 x0 76 (0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01) 2 x1 8 1.0*y_10 2 x2 24 -x1*y_01 + 1.0*y_00*y_11 2 x3 6 1.0*x2 2 x4 5 x**x3 2 x5 16 (2.0 + 0.0*I)*x4 2 x6 29 z_00**2 + 2*z_01**2 + z_11**2 2 x7 14 log(1.0*x6/x2) 2 x8 16 (1.5 + 0.0*I)*x7 2 x9 6 log(x) 3 x10 5 x5*x9 3 x11 35 (0.666666666666667 + 0.0*I)*cos(x0) 3 x12 21 (-2.0 + 0.0*I)*x4*x9 3 x13 18 (-1.5 + 0.0*I)*x7 3 x14 8 x11*z_01 3 x15 5 x2/x6 3 x16 17 (3.0 + 0.0*I)*x15 9 0 34 1.5 + 0.0*I + x5 + x2*x8 + sin(x0) 29 (2.0 + 0.0*I)*x**(-1 + x3)*x2 52 (-1.5 + 0.0*I)*y_11 + x10*y_11 + x11*z_00 + x8*y_11 46 x14 + (1.5 + 0.0*I)*y_10 + x12*y_10 + x13*y_10 46 x14 + (1.5 + 0.0*I)*y_01 + x12*y_01 + x13*y_01 52 (-1.5 + 0.0*I)*y_00 + x10*y_00 + x11*z_11 + x8*y_00 19 x11*y_00 + x16*z_00 19 x11*y_11 + x16*z_11 50 0.5*(x11*(x1 + 1.0*y_01) + (6.0 + 0.0*I)*x15*z_01) 0 0
+
+DEAL:Serialization:Complex double:Optimisation + substitution::symb_s: 1.5 + 0.0*I + (1.5 + 0.0*I)*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01))
+DEAL:Serialization:Complex double:Optimisation + substitution::symb_ds_dy: 0.0 + 0.0*I + (-1.5 + 0.0*I)*y_11 + (1.5 + 0.0*I)*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_00*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 0.0 + 0.0*I + (1.5 + 0.0*I)*y_10 + (-1.5 + 0.0*I)*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_01*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (-2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 0.0 + 0.0*I + (1.5 + 0.0*I)*y_01 + (-1.5 + 0.0*I)*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_01*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (-2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 0.0 + 0.0*I + (-1.5 + 0.0*I)*y_00 + (1.5 + 0.0*I)*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_11*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00
+DEAL:Serialization:Complex double:Optimisation + substitution::Deserializing...
+DEAL:Serialization:Complex double:Optimisation + substitution::Deserialized optimizer: 
+DEAL:Serialization:Complex double:Optimisation + substitution::0 0 0 3 0 0 8 0 0 0 0 0 1 x 3 2.5 4 z_11 11 5.7 + 0.0*I 4 z_00 11 4.7 + 0.0*I 4 z_01 11 5.7 + 0.0*I 4 y_01 11 3.2 + 0.0*I 4 y_00 11 3.2 + 0.0*I 4 y_11 11 6.2 + 0.0*I 4 y_10 11 4.2 + 0.0*I 0 0 9 0 273 1.5 + 0.0*I + (1.5 + 0.0*I)*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) 91 (2.0 + 0.0*I)*x**(-1 + 1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*(1.0*y_00*y_11 - 1.0*y_01*y_10) 300 (-1.5 + 0.0*I)*y_11 + (1.5 + 0.0*I)*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_00*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 302 (1.5 + 0.0*I)*y_10 + (-1.5 + 0.0*I)*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_01*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (-2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 302 (1.5 + 0.0*I)*y_01 + (-1.5 + 0.0*I)*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_01*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (-2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 300 (-1.5 + 0.0*I)*y_00 + (1.5 + 0.0*I)*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_11*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00 199 (0.666666666666667 + 0.0*I)*y_00*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (3.0 + 0.0*I)*z_00*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 199 (0.666666666666667 + 0.0*I)*y_11*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (3.0 + 0.0*I)*z_11*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 222 0.5*((0.666666666666667 + 0.0*I)*(1.0*y_01 + 1.0*y_10)*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (6.0 + 0.0*I)*z_01*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2)) 0 0 9 0 7.33145160811002029e+02 0.00000000000000000e+00 1.80337488238402216e+03 0.00000000000000000e+00 4.02122068318208858e+03 0.00000000000000000e+00 -2.72150003931949823e+03 0.00000000000000000e+00 -2.07313387957114037e+03 0.00000000000000000e+00 2.07640954281834911e+03 0.00000000000000000e+00 1.67425190103196053e+00 0.00000000000000000e+00 2.69685737072851328e+00 0.00000000000000000e+00 1.97851016739322949e+00 0.00000000000000000e+00 0 0 9 0 0 0 300 (-1.5 + 0.0*I)*y_00 + (1.5 + 0.0*I)*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_11*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00 5 300 (-1.5 + 0.0*I)*y_11 + (1.5 + 0.0*I)*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_00*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 2 91 (2.0 + 0.0*I)*x**(-1 + 1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*(1.0*y_00*y_11 - 1.0*y_01*y_10) 1 222 0.5*((0.666666666666667 + 0.0*I)*(1.0*y_01 + 1.0*y_10)*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (6.0 + 0.0*I)*z_01*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2)) 8 273 1.5 + 0.0*I + (1.5 + 0.0*I)*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) 0 302 (1.5 + 0.0*I)*y_01 + (-1.5 + 0.0*I)*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_01*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (-2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 4 302 (1.5 + 0.0*I)*y_10 + (-1.5 + 0.0*I)*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + (0.666666666666667 + 0.0*I)*z_01*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (-2.0 + 0.0*I)*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 3 199 (0.666666666666667 + 0.0*I)*y_11*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (3.0 + 0.0*I)*z_11*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 7 199 (0.666666666666667 + 0.0*I)*y_00*cos((0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + (3.0 + 0.0*I)*z_00*(1.0*y_00*y_11 - 1.0*y_01*y_10)/(z_00**2 + 2*z_01**2 + z_11**2) 6 1 1 8 0 1 x 4 z_11 4 z_00 4 z_01 4 y_01 4 y_00 4 y_11 4 y_10 0 0 17 0 0 0 2 x0 76 (0.666666666666667 + 0.0*I)*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01) 2 x1 8 1.0*y_10 2 x2 24 -x1*y_01 + 1.0*y_00*y_11 2 x3 6 1.0*x2 2 x4 5 x**x3 2 x5 16 (2.0 + 0.0*I)*x4 2 x6 29 z_00**2 + 2*z_01**2 + z_11**2 2 x7 14 log(1.0*x6/x2) 2 x8 16 (1.5 + 0.0*I)*x7 2 x9 6 log(x) 3 x10 5 x5*x9 3 x11 35 (0.666666666666667 + 0.0*I)*cos(x0) 3 x12 21 (-2.0 + 0.0*I)*x4*x9 3 x13 18 (-1.5 + 0.0*I)*x7 3 x14 8 x11*z_01 3 x15 5 x2/x6 3 x16 17 (3.0 + 0.0*I)*x15 9 0 34 1.5 + 0.0*I + x5 + x2*x8 + sin(x0) 29 (2.0 + 0.0*I)*x**(-1 + x3)*x2 52 (-1.5 + 0.0*I)*y_11 + x10*y_11 + x11*z_00 + x8*y_11 46 x14 + (1.5 + 0.0*I)*y_10 + x12*y_10 + x13*y_10 46 x14 + (1.5 + 0.0*I)*y_01 + x12*y_01 + x13*y_01 52 (-1.5 + 0.0*I)*y_00 + x10*y_00 + x11*z_11 + x8*y_00 19 x11*y_00 + x16*z_00 19 x11*y_11 + x16*z_11 50 0.5*(x11*(x1 + 1.0*y_01) + (6.0 + 0.0*I)*x15*z_01) 0 0
+DEAL:Serialization:Complex double:Optimisation + substitution::Checking deserialisation...
+DEAL:Serialization:Complex double:Optimisation + substitution::Evaluation (post-serialization):   s: (733.1451608,0.000000000)  ds_dx: (1803.374882,0.000000000)  ds_dy: (4021.220683,0.000000000) (-2721.500039,0.000000000) (-2073.133880,0.000000000) (2076.409543,0.000000000)  ds_dz: (1.674251901,0.000000000) (1.978510167,0.000000000) (1.978510167,0.000000000) (2.696857371,0.000000000)
+DEAL::OK
diff --git a/tests/symengine/batch_optimizer_06_3a.with_symengine_with_llvm.output.libc++ b/tests/symengine/batch_optimizer_06_3a.with_symengine_with_llvm.output.libc++
new file mode 100644 (file)
index 0000000..121aae3
--- /dev/null
@@ -0,0 +1,22 @@
+
+DEAL:Serialization:Float::symb_s: 1.5 + 1.5*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01))
+DEAL:Serialization:Float::symb_ds_dy: 0.0 - 1.5*y_11 + 1.5*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 0.0 + 1.5*y_10 - 1.5*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 0.0 + 1.5*y_01 - 1.5*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 0.0 - 1.5*y_00 + 1.5*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00
+DEAL:Serialization:Float:Optimisation + substitution::evaluation:   s: 733.1455078  ds_dx: 1803.375977  ds_dy: 4021.222900 -2721.501221 -2073.135010 2076.410889  ds_dz: 1.674248934 1.978506684 1.978506684 2.696851492
+DEAL:Serialization:Float:Optimisation + substitution::Evaluation (pre-serialization):   s: 733.1455078  ds_dx: 1803.375977  ds_dy: 4021.222900 -2721.501221 -2073.135010 2076.410889  ds_dz: 1.674248934 1.978506684 1.978506684 2.696851492
+DEAL:Serialization:Float:Optimisation + substitution::Serializing...
+DEAL:Serialization:Float:Optimisation + substitution::symb_s: 1.5 + 1.5*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01))
+DEAL:Serialization:Float:Optimisation + substitution::symb_ds_dy: 0.0 - 1.5*y_11 + 1.5*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 0.0 + 1.5*y_10 - 1.5*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 0.0 + 1.5*y_01 - 1.5*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 0.0 - 1.5*y_00 + 1.5*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00
+DEAL:Serialization:Float:Optimisation + substitution::Deserializing...
+DEAL:Serialization:Float:Optimisation + substitution::Checking deserialisation...
+DEAL:Serialization:Float:Optimisation + substitution::Evaluation (post-serialization):   s: 733.1455078  ds_dx: 1803.375977  ds_dy: 4021.222900 -2721.501221 -2073.135010 2076.410889  ds_dz: 1.674248934 1.978506684 1.978506684 2.696851492
+DEAL:Serialization:Double::symb_s: 1.5 + 1.5*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01))
+DEAL:Serialization:Double::symb_ds_dy: 0.0 - 1.5*y_11 + 1.5*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 0.0 + 1.5*y_10 - 1.5*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 0.0 + 1.5*y_01 - 1.5*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 0.0 - 1.5*y_00 + 1.5*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00
+DEAL:Serialization:Double:Optimisation + substitution::evaluation:   s: 733.1451608  ds_dx: 1803.374882  ds_dy: 4021.220683 -2721.500039 -2073.133880 2076.409543  ds_dz: 1.674251901 1.978510167 1.978510167 2.696857371
+DEAL:Serialization:Double:Optimisation + substitution::Evaluation (pre-serialization):   s: 733.1451608  ds_dx: 1803.374882  ds_dy: 4021.220683 -2721.500039 -2073.133880 2076.409543  ds_dz: 1.674251901 1.978510167 1.978510167 2.696857371
+DEAL:Serialization:Double:Optimisation + substitution::Serializing...
+DEAL:Serialization:Double:Optimisation + substitution::symb_s: 1.5 + 1.5*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01))
+DEAL:Serialization:Double:Optimisation + substitution::symb_ds_dy: 0.0 - 1.5*y_11 + 1.5*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 0.0 + 1.5*y_10 - 1.5*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 0.0 + 1.5*y_01 - 1.5*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 0.0 - 1.5*y_00 + 1.5*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00
+DEAL:Serialization:Double:Optimisation + substitution::Deserializing...
+DEAL:Serialization:Double:Optimisation + substitution::Checking deserialisation...
+DEAL:Serialization:Double:Optimisation + substitution::Evaluation (post-serialization):   s: 733.1451608  ds_dx: 1803.374882  ds_dy: 4021.220683 -2721.500039 -2073.133880 2076.409543  ds_dz: 1.674251901 1.978510167 1.978510167 2.696857371
+DEAL::OK
diff --git a/tests/symengine/batch_optimizer_06_3b.with_symengine_with_llvm.output.libc++ b/tests/symengine/batch_optimizer_06_3b.with_symengine_with_llvm.output.libc++
new file mode 100644 (file)
index 0000000..c365530
--- /dev/null
@@ -0,0 +1,22 @@
+
+DEAL:Serialization:Float::symb_s: 1.5 + 1.5*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01))
+DEAL:Serialization:Float::symb_ds_dy: 0.0 - 1.5*y_11 + 1.5*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 0.0 + 1.5*y_10 - 1.5*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 0.0 + 1.5*y_01 - 1.5*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 0.0 - 1.5*y_00 + 1.5*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00
+DEAL:Serialization:Float:Optimisation + substitution::evaluation:   s: 733.1455078  ds_dx: 1803.375977  ds_dy: 4021.222656 -2721.501221 -2073.134766 2076.410645  ds_dz: 1.674248934 1.978506684 1.978506684 2.696851492
+DEAL:Serialization:Float:Optimisation + substitution::Evaluation (pre-serialization):   s: 733.1455078  ds_dx: 1803.375977  ds_dy: 4021.222656 -2721.501221 -2073.134766 2076.410645  ds_dz: 1.674248934 1.978506684 1.978506684 2.696851492
+DEAL:Serialization:Float:Optimisation + substitution::Serializing...
+DEAL:Serialization:Float:Optimisation + substitution::symb_s: 1.5 + 1.5*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01))
+DEAL:Serialization:Float:Optimisation + substitution::symb_ds_dy: 0.0 - 1.5*y_11 + 1.5*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 0.0 + 1.5*y_10 - 1.5*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 0.0 + 1.5*y_01 - 1.5*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 0.0 - 1.5*y_00 + 1.5*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00
+DEAL:Serialization:Float:Optimisation + substitution::Deserializing...
+DEAL:Serialization:Float:Optimisation + substitution::Checking deserialisation...
+DEAL:Serialization:Float:Optimisation + substitution::Evaluation (post-serialization):   s: 733.1455078  ds_dx: 1803.375977  ds_dy: 4021.222656 -2721.501221 -2073.134766 2076.410645  ds_dz: 1.674248934 1.978506684 1.978506684 2.696851492
+DEAL:Serialization:Double::symb_s: 1.5 + 1.5*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01))
+DEAL:Serialization:Double::symb_ds_dy: 0.0 - 1.5*y_11 + 1.5*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 0.0 + 1.5*y_10 - 1.5*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 0.0 + 1.5*y_01 - 1.5*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 0.0 - 1.5*y_00 + 1.5*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00
+DEAL:Serialization:Double:Optimisation + substitution::evaluation:   s: 733.1451608  ds_dx: 1803.374882  ds_dy: 4021.220683 -2721.500039 -2073.133880 2076.409543  ds_dz: 1.674251901 1.978510167 1.978510167 2.696857371
+DEAL:Serialization:Double:Optimisation + substitution::Evaluation (pre-serialization):   s: 733.1451608  ds_dx: 1803.374882  ds_dy: 4021.220683 -2721.500039 -2073.133880 2076.409543  ds_dz: 1.674251901 1.978510167 1.978510167 2.696857371
+DEAL:Serialization:Double:Optimisation + substitution::Serializing...
+DEAL:Serialization:Double:Optimisation + substitution::symb_s: 1.5 + 1.5*(1.0*y_00*y_11 - 1.0*y_01*y_10)*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10)) + sin(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01))
+DEAL:Serialization:Double:Optimisation + substitution::symb_ds_dy: 0.0 - 1.5*y_11 + 1.5*y_11*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_00*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_11 0.0 + 1.5*y_10 - 1.5*y_10*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_10 0.0 + 1.5*y_01 - 1.5*y_01*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_01*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) - 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_01 0.0 - 1.5*y_00 + 1.5*y_00*log(1.0*(z_00**2 + 2*z_01**2 + z_11**2)/(1.0*y_00*y_11 - 1.0*y_01*y_10)) + 0.666666666666667*z_11*cos(0.666666666666667*(z_00*y_00 + z_11*y_11 + 1.0*(y_01 + y_10)*z_01)) + 2.0*x**(1.0*(1.0*y_00*y_11 - 1.0*y_01*y_10))*log(x)*y_00
+DEAL:Serialization:Double:Optimisation + substitution::Deserializing...
+DEAL:Serialization:Double:Optimisation + substitution::Checking deserialisation...
+DEAL:Serialization:Double:Optimisation + substitution::Evaluation (post-serialization):   s: 733.1451608  ds_dx: 1803.374882  ds_dy: 4021.220683 -2721.500039 -2073.133880 2076.409543  ds_dz: 1.674251901 1.978510167 1.978510167 2.696857371
+DEAL::OK

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.