Add Mul asec Add asec Add Pow pi x0 Pow coth x7 x0 Mul x0 x0 acot pi x1 
Mul acot pi Mul Add Mul Add Mul Pow pi Add x0 -1 Mul pi log pi Mul Pow coth x7 Add x0 -1 Mul coth x7 log coth x7 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add Pow pi x0 Pow coth x7 x0 Add Pow pi x0 Pow coth x7 x0 -1 Add Pow pi x0 Pow coth x7 x0 Add Pow pi x0 Pow coth x7 x0 -1 Add x0 x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add asec Add Pow pi x0 Pow coth x7 x0 Mul x0 x0 Add asec Add Pow pi x0 Pow coth x7 x0 Mul x0 x0 -1 Add asec Add Pow pi x0 Pow coth x7 x0 Mul x0 x0 Add asec Add Pow pi x0 Pow coth x7 x0 Mul x0 x0 -1 