Mul Pow pi acosh x0 Mul Pow acsch x6 5 Mul x0 Add 5 x0 
Add Mul Mul Pow acsch x6 5 Mul x0 Add 5 x0 Mul Pow pi Add acosh x0 -1 Mul Mul pi log pi Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Pow pi acosh x0 Mul Pow acsch x6 5 Add Add 5 x0 x0 