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