Mul Pow cosh acot x0 -4 Mul cos Add x7 Mul 4 Add x0 x0 Pow Add x3 pi sqrt Add sech x0 Mul -2 E 
Add Mul Mul cos Add x7 Mul 4 Add x0 x0 Pow Add x3 pi sqrt Add sech x0 Mul -2 E Mul Pow cosh acot x0 5 Mul -4 Mul sinh acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Pow cosh acot x0 -4 Add Mul Pow Add x3 pi sqrt Add sech x0 Mul -2 E Mul Mul -1 sin Add x7 Mul 4 Add x0 x0 6 Mul cos Add x7 Mul 4 Add x0 x0 Mul Pow Add x3 pi Add sqrt Add sech x0 Mul -2 E -1 Mul Mul Add x3 pi log Add x3 pi Mul Pow Mul 2 sqrt Add sech x0 Mul -2 E -1 Mul tanh x0 Mul -1 sech x0 