acosh csch Pow x0 Pow x5 x3 
Mul Mul Mul Mul -1 coth Pow x0 Pow x5 x3 csch Pow x0 Pow x5 x3 Mul Pow x0 Add Pow x5 x3 -1 Pow x5 x3 Pow Mul sqrt Add csch Pow x0 Pow x5 x3 -1 sqrt Add 1 csch Pow x0 Pow x5 x3 -1 