Pow Mul cot x4 sqrt Mul Pow cosh Pow x6 Mul sqrt x1 x3 x0 acos E Add Add x0 Mul x0 pi x0 
Mul Pow Mul cot x4 sqrt Mul Pow cosh Pow x6 Mul sqrt x1 x3 x0 acos E Add Add Add x0 Mul x0 pi x0 -1 Add Mul Add Add x0 Mul x0 pi x0 Mul cot x4 Mul Pow Mul 2 sqrt Mul Pow cosh Pow x6 Mul sqrt x1 x3 x0 acos E -1 Mul acos E Mul Pow cosh Pow x6 Mul sqrt x1 x3 Add x0 -1 Mul cosh Pow x6 Mul sqrt x1 x3 log cosh Pow x6 Mul sqrt x1 x3 Mul Mul Mul cot x4 sqrt Mul Pow cosh Pow x6 Mul sqrt x1 x3 x0 acos E log Mul cot x4 sqrt Mul Pow cosh Pow x6 Mul sqrt x1 x3 x0 acos E Add Add 1 pi 1 