Pow Add x1 log acosh Mul acsch x4 x4 Mul acosh x0 Pow x0 pi 
Mul Pow Add x1 log acosh Mul acsch x4 x4 Add Mul acosh x0 Pow x0 pi -1 Mul Mul Add x1 log acosh Mul acsch x4 x4 log Add x1 log acosh Mul acsch x4 x4 Add Mul Pow x0 pi Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 Mul Pow x0 Add pi -1 pi 