Mul acosh Mul Pow Mul x0 x4 Pow Mul x3 pi x0 csch x0 x0 
Add Mul x0 Mul Add Mul csch x0 Mul Pow Mul x0 x4 Add Pow Mul x3 pi x0 -1 Add Mul Pow Mul x3 pi x0 x4 Mul Mul Mul x0 x4 log Mul x0 x4 Mul Pow Mul x3 pi Add x0 -1 Mul Mul x3 pi log Mul x3 pi Mul Pow Mul x0 x4 Pow Mul x3 pi x0 Mul Mul -1 coth x0 csch x0 Pow Mul sqrt Add Mul Pow Mul x0 x4 Pow Mul x3 pi x0 csch x0 -1 sqrt Add 1 Mul Pow Mul x0 x4 Pow Mul x3 pi x0 csch x0 -1 acosh Mul Pow Mul x0 x4 Pow Mul x3 pi x0 csch x0 