Mul Pow pi coth x7 Pow acosh Mul 4 asinh x0 acosh x2 
Mul Pow pi coth x7 Mul Pow acosh Mul 4 asinh x0 Add acosh x2 -1 Mul acosh x2 Mul Mul 4 Pow sqrt Add 1 Mul x0 x0 -1 Pow Mul sqrt Add Mul 4 asinh x0 -1 sqrt Add 1 Mul 4 asinh x0 -1 