acosh Mul x0 Add -2 csch coth Mul sin x5 x0 
Mul Add Add -2 csch coth Mul sin x5 x0 Mul x0 Mul Mul Mul -1 coth coth Mul sin x5 x0 csch coth Mul sin x5 x0 Mul Mul -1 Pow csch Mul sin x5 x0 2 sin x5 Pow Mul sqrt Add Mul x0 Add -2 csch coth Mul sin x5 x0 -1 sqrt Add 1 Mul x0 Add -2 csch coth Mul sin x5 x0 -1 