s1 = -1/pow(cosh(x),4.0)/4; s5 = 40.0*sinh(x)*cosh(x)*cos(x)*sin(x)*atan(sqrt(2.0+sin(x)))-8.0*x*pow( cos(x),3.0)*pow(cosh(x),2.0)+56.0*sinh(x)*cosh(x)*cos(x)*atan(sqrt(2.0+sin(x))) +56.0*sinh(x)*cosh(x)*cos(x)*x*x+14.0*sin(x)*atan(sqrt(2.0+sin(x)))*pow(cosh(x) ,2.0)+56.0*x*cos(x)*pow(cosh(x),2.0)-3.0*x*x*pow(cos(x),2.0)*pow(cosh(x),2.0) -208.0*sqrt(2.0+sin(x))*atan(sqrt(2.0+sin(x)))*pow(cosh(x),2.0)+624.0*log(x*x+ atan(sqrt(2.0+sin(x))))*sqrt(2.0+sin(x))*pow(x,4.0)+624.0*log(x*x+atan(sqrt(2.0 +sin(x))))*sqrt(2.0+sin(x))*pow(atan(sqrt(2.0+sin(x))),2.0)+208.0*sqrt(2.0+sin( x))*x*x*pow(cosh(x),2.0)+10.0*x*x*pow(cosh(x),2.0)+sqrt(2.0+sin(x))*pow(cos(x), 2.0)*pow(cosh(x),2.0)-3.0*atan(sqrt(2.0+sin(x)))*pow(cos(x),2.0)*pow(cosh(x), 2.0); s6 = s5-32.0*cosh(x)*sqrt(2.0+sin(x))*x*atan(sqrt(2.0+sin(x)))*sinh(x)* sin(x)*pow(cos(x),2.0)+528.0*log(x*x+atan(sqrt(2.0+sin(x))))*sqrt(2.0+sin(x))* sin(x)*pow(x,4.0)-64.0*sqrt(2.0+sin(x))*x*x*pow(cos(x),2.0)*pow(cosh(x),2.0)+ 176.0*sqrt(2.0+sin(x))*x*x*sin(x)*pow(cosh(x),2.0)-176.0*sqrt(2.0+sin(x))*sin(x )*atan(sqrt(2.0+sin(x)))*pow(cosh(x),2.0)+1056.0*log(x*x+atan(sqrt(2.0+sin(x))) )*sqrt(2.0+sin(x))*x*x*atan(sqrt(2.0+sin(x)))*sin(x)-256.0*sinh(x)*cosh(x)*sqrt (2.0+sin(x))*x*x*x*pow(cos(x),2.0); s4 = s6+1248.0*log(x*x+atan(sqrt(2.0+sin(x))))*sqrt(2.0+sin(x))*x*x*atan( sqrt(2.0+sin(x)))-256.0*sinh(x)*cosh(x)*sqrt(2.0+sin(x))*x*atan(sqrt(2.0+sin(x) ))*pow(cos(x),2.0)-8.0*cosh(x)*pow(cos(x),3.0)*x*x*sinh(x)+x*x*sin(x)*pow(cos(x ),2.0)*pow(cosh(x),2.0)-384.0*log(x*x+atan(sqrt(2.0+sin(x))))*sqrt(2.0+sin(x))* x*x*atan(sqrt(2.0+sin(x)))*pow(cos(x),2.0)+atan(sqrt(2.0+sin(x)))*sin(x)*pow( cos(x),2.0)*pow(cosh(x),2.0)+8.0*sqrt(2.0+sin(x))*atan(sqrt(2.0+sin(x)))*sin(x) *pow(cos(x),2.0)*pow(cosh(x),2.0)+40.0*x*sin(x)*cos(x)*pow(cosh(x),2.0); s6 = -8.0*sinh(x)*cosh(x)*pow(cos(x),3.0)*atan(sqrt(2.0+sin(x)))+10.0* atan(sqrt(2.0+sin(x)))*pow(cosh(x),2.0)-192.0*log(x*x+atan(sqrt(2.0+sin(x))))* sqrt(2.0+sin(x))*pow(x,4.0)*pow(cos(x),2.0)+64.0*sqrt(2.0+sin(x))*atan(sqrt(2.0 +sin(x)))*pow(cos(x),2.0)*pow(cosh(x),2.0)-24.0*log(x*x+atan(sqrt(2.0+sin(x)))) *sqrt(2.0+sin(x))*pow(x,4.0)*sin(x)*pow(cos(x),2.0)-8.0*sqrt(2.0+sin(x))*x*x* sin(x)*pow(cos(x),2.0)*pow(cosh(x),2.0)+528.0*log(x*x+atan(sqrt(2.0+sin(x))))* sqrt(2.0+sin(x))*sin(x)*pow(atan(sqrt(2.0+sin(x))),2.0); s5 = s6-24.0*log(x*x+atan(sqrt(2.0+sin(x))))*sqrt(2.0+sin(x))*pow(atan( sqrt(2.0+sin(x))),2.0)*sin(x)*pow(cos(x),2.0)-192.0*log(x*x+atan(sqrt(2.0+sin(x ))))*sqrt(2.0+sin(x))*pow(atan(sqrt(2.0+sin(x))),2.0)*pow(cos(x),2.0)-48.0*log( x*x+atan(sqrt(2.0+sin(x))))*sqrt(2.0+sin(x))*x*x*atan(sqrt(2.0+sin(x)))*sin(x)* pow(cos(x),2.0)-32.0*cosh(x)*sqrt(2.0+sin(x))*x*x*x*sinh(x)*sin(x)*pow(cos(x), 2.0)+40.0*sinh(x)*cosh(x)*cos(x)*sin(x)*x*x+s4+256.0*log(x*x+atan(sqrt(2.0+sin( x))))*sqrt(2.0+sin(x))*x*x*atan(sqrt(2.0+sin(x)))*pow(cos(x),2.0)*pow(cosh(x), 2.0)+128.0*log(x*x+atan(sqrt(2.0+sin(x))))*pow(cosh(x),2.0)*sqrt(2.0+sin(x))* pow(x,4.0)*pow(cos(x),2.0); s6 = s5+16.0*log(x*x+atan(sqrt(2.0+sin(x))))*pow(cosh(x),2.0)*sqrt(2.0+ sin(x))*pow(x,4.0)*sin(x)*pow(cos(x),2.0)+14.0*sin(x)*x*x*pow(cosh(x),2.0)+ 704.0*sinh(x)*cosh(x)*sqrt(2.0+sin(x))*x*x*x*sin(x)+32.0*log(x*x+atan(sqrt(2.0+ sin(x))))*sqrt(2.0+sin(x))*x*x*atan(sqrt(2.0+sin(x)))*sin(x)*pow(cos(x),2.0)* pow(cosh(x),2.0)+704.0*sinh(x)*cosh(x)*sqrt(2.0+sin(x))*x*sin(x)*atan(sqrt(2.0+ sin(x)))+128.0*log(x*x+atan(sqrt(2.0+sin(x))))*sqrt(2.0+sin(x))*pow(atan(sqrt( 2.0+sin(x))),2.0)*pow(cos(x),2.0)*pow(cosh(x),2.0)-352.0*log(x*x+atan(sqrt(2.0+ sin(x))))*pow(cosh(x),2.0)*sqrt(2.0+sin(x))*sin(x)*pow(x,4.0); s7 = s6-704.0*log(x*x+atan(sqrt(2.0+sin(x))))*pow(cosh(x),2.0)*sqrt(2.0+ sin(x))*sin(x)*x*x*atan(sqrt(2.0+sin(x)))-352.0*log(x*x+atan(sqrt(2.0+sin(x)))) *pow(cosh(x),2.0)*sqrt(2.0+sin(x))*pow(atan(sqrt(2.0+sin(x))),2.0)*sin(x)-416.0 *log(x*x+atan(sqrt(2.0+sin(x))))*pow(cosh(x),2.0)*sqrt(2.0+sin(x))*pow(atan( sqrt(2.0+sin(x))),2.0); s3 = s7-832.0*log(x*x+atan(sqrt(2.0+sin(x))))*pow(cosh(x),2.0)*sqrt(2.0+ sin(x))*x*x*atan(sqrt(2.0+sin(x)))+832.0*sinh(x)*cosh(x)*sqrt(2.0+sin(x))*x*x*x -416.0*log(x*x+atan(sqrt(2.0+sin(x))))*pow(cosh(x),2.0)*sqrt(2.0+sin(x))*pow(x, 4.0)+16.0*log(x*x+atan(sqrt(2.0+sin(x))))*sqrt(2.0+sin(x))*pow(atan(sqrt(2.0+ sin(x))),2.0)*sin(x)*pow(cos(x),2.0)*pow(cosh(x),2.0)+832.0*sinh(x)*cosh(x)* sqrt(2.0+sin(x))*x*atan(sqrt(2.0+sin(x))); s4 = 1/(sqrt(pow(2.0+sin(x),3.0)))/(12.0*sin(x)*atan(sqrt(2.0+sin(x)))* x*x+10.0*pow(x,4.0)+6.0*sin(x)*pow(x,4.0)+10.0*pow(atan(sqrt(2.0+sin(x))),2.0)+ 20.0*atan(sqrt(2.0+sin(x)))*x*x-2.0*x*x*atan(sqrt(2.0+sin(x)))*pow(cos(x),2.0)- pow(x,4.0)*pow(cos(x),2.0)-pow(atan(sqrt(2.0+sin(x))),2.0)*pow(cos(x),2.0)+6.0* sin(x)*pow(atan(sqrt(2.0+sin(x))),2.0)); s2 = s3*s4; t0 = s1*s2;