Pow coth x7 Pow Add acot x0 Mul acosh cosh x5 x0 Add sech atan Pow pi pi x0 
Mul Pow coth x7 Add Pow Add acot x0 Mul acosh cosh x5 x0 Add sech atan Pow pi pi x0 -1 Mul Mul coth x7 log coth x7 Mul Pow Add acot x0 Mul acosh cosh x5 x0 Add Add sech atan Pow pi pi x0 -1 Add Mul Add sech atan Pow pi pi x0 Add Mul -1 Pow Add 1 Mul x0 x0 -1 acosh cosh x5 Mul Add acot x0 Mul acosh cosh x5 x0 log Add acot x0 Mul acosh cosh x5 x0 