Pow Mul x3 -4 Pow x0 sinh Mul Pow x0 Add Add Add x0 atan sqrt Pow x5 pi acot x0 x0 coth x7 
Mul Pow Mul x3 -4 Add Pow x0 sinh Mul Pow x0 Add Add Add x0 atan sqrt Pow x5 pi acot x0 x0 coth x7 -1 Mul Mul Mul x3 -4 log Mul x3 -4 Mul Pow x0 Add sinh Mul Pow x0 Add Add Add x0 atan sqrt Pow x5 pi acot x0 x0 coth x7 -1 Add sinh Mul Pow x0 Add Add Add x0 atan sqrt Pow x5 pi acot x0 x0 coth x7 Mul Mul x0 log x0 Mul cosh Mul Pow x0 Add Add Add x0 atan sqrt Pow x5 pi acot x0 x0 coth x7 Mul coth x7 Mul Pow x0 Add Add Add Add x0 atan sqrt Pow x5 pi acot x0 x0 -1 Add Add Add Add x0 atan sqrt Pow x5 pi acot x0 x0 Mul Mul x0 log x0 Add Add 1 Mul -1 Pow Add 1 Mul x0 x0 -1 1 