Add x0 Mul acosh Pow x0 pi Pow x0 acsch x7 
Add 1 Add Mul Pow x0 acsch x7 Mul Mul Pow x0 Add pi -1 pi Pow Mul sqrt Add Pow x0 pi -1 sqrt Add 1 Pow x0 pi -1 Mul acosh Pow x0 pi Mul Pow x0 Add acsch x7 -1 acsch x7 