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