Mul Mul x0 Mul Mul asec x0 Mul coth x2 pi x0 x0 
Add Mul x0 Add Mul Mul asec x0 Mul coth x2 pi x0 Mul x0 Add Mul x0 Mul Mul coth x2 pi Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul asec x0 Mul coth x2 pi Mul x0 Mul Mul asec x0 Mul coth x2 pi x0 