Add acosh sinh Mul Mul x0 sqrt csch x7 Mul x0 -1 x4 
Mul Mul cosh Mul Mul x0 sqrt csch x7 Mul x0 -1 Add Mul Mul x0 -1 sqrt csch x7 Mul Mul x0 sqrt csch x7 -1 Pow Mul sqrt Add sinh Mul Mul x0 sqrt csch x7 Mul x0 -1 -1 sqrt Add 1 sinh Mul Mul x0 sqrt csch x7 Mul x0 -1 -1 