Mul asec x0 Mul Add acosh coth x4 Mul x0 Add x0 Pow Pow x0 x0 Add pi x0 coth atanh x0 
Add Mul Mul Add acosh coth x4 Mul x0 Add x0 Pow Pow x0 x0 Add pi x0 coth atanh x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul asec x0 Add Mul coth atanh x0 Add Add x0 Pow Pow x0 x0 Add pi x0 Mul x0 Add 1 Mul Pow Pow x0 x0 Add Add pi x0 -1 Add Mul Add pi x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Pow x0 x0 log Pow x0 x0 Mul Add acosh coth x4 Mul x0 Add x0 Pow Pow x0 x0 Add pi x0 Mul Mul -1 Pow csch atanh x0 2 Pow Add 1 Mul -1 Mul x0 x0 -1 