acos Mul Pow Mul Mul x0 x0 x5 x0 Add Pow pi x4 asech acsch coth Add x0 x0 
Mul -1 Mul Add Mul Add Pow pi x4 asech acsch coth Add x0 x0 Mul Pow Mul Mul x0 x0 x5 Add x0 -1 Add Mul x0 Mul x5 Add x0 x0 Mul Mul Mul x0 x0 x5 log Mul Mul x0 x0 x5 Mul Pow Mul Mul x0 x0 x5 x0 Mul Mul Mul -1 Mul Mul -1 Pow csch Add x0 x0 2 2 Pow Mul Mul coth Add x0 x0 coth Add x0 x0 sqrt Add 1 Mul -1 Pow Mul coth Add x0 x0 coth Add x0 x0 -1 -1 Pow Mul Mul acsch coth Add x0 x0 acsch coth Add x0 x0 sqrt Add 1 Mul -1 Pow Mul acsch coth Add x0 x0 acsch coth Add x0 x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul Mul Pow Mul Mul x0 x0 x5 x0 Add Pow pi x4 asech acsch coth Add x0 x0 Mul Pow Mul Mul x0 x0 x5 x0 Add Pow pi x4 asech acsch coth Add x0 x0 -1 