acos Pow coth x3 Add 5 Add tanh x0 Add Mul -1 Pow sec x3 acot Pow x7 pi x0 
Mul -1 Mul Mul Pow coth x3 Add Add 5 Add tanh x0 Add Mul -1 Pow sec x3 acot Pow x7 pi x0 -1 Mul Mul coth x3 log coth x3 Add Pow sech x0 2 1 Pow sqrt Add 1 Mul -1 Mul Pow coth x3 Add 5 Add tanh x0 Add Mul -1 Pow sec x3 acot Pow x7 pi x0 Pow coth x3 Add 5 Add tanh x0 Add Mul -1 Pow sec x3 acot Pow x7 pi x0 -1 