Add sinh Add x0 Pow exp Pow Pow Pow acoth x0 pi x0 Pow x0 Pow acsch x3 x2 Mul -4 atanh x0 Mul x0 x0 
Add Mul cosh Add x0 Pow exp Pow Pow Pow acoth x0 pi x0 Pow x0 Pow acsch x3 x2 Mul -4 atanh x0 Add 1 Mul Pow exp Pow Pow Pow acoth x0 pi x0 Pow x0 Pow acsch x3 x2 Add Mul -4 atanh x0 -1 Add Mul Mul -4 atanh x0 Mul exp Pow Pow Pow acoth x0 pi x0 Pow x0 Pow acsch x3 x2 Mul Pow Pow Pow acoth x0 pi x0 Add Pow x0 Pow acsch x3 x2 -1 Add Mul Pow x0 Pow acsch x3 x2 Mul Pow Pow acoth x0 pi Add x0 -1 Add Mul x0 Mul Pow acoth x0 Add pi -1 Mul pi Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow acoth x0 pi log Pow acoth x0 pi Mul Mul Pow Pow acoth x0 pi x0 log Pow Pow acoth x0 pi x0 Mul Pow x0 Add Pow acsch x3 x2 -1 Pow acsch x3 x2 Mul Mul exp Pow Pow Pow acoth x0 pi x0 Pow x0 Pow acsch x3 x2 log exp Pow Pow Pow acoth x0 pi x0 Pow x0 Pow acsch x3 x2 Mul -4 Pow Add 1 Mul -1 Mul x0 x0 -1 Add x0 x0 