Add cosh Mul Add x0 Mul Mul x0 -2 asin csch x0 Pow x0 Mul -2 sqrt x1 4 
Mul sinh Mul Add x0 Mul Mul x0 -2 asin csch x0 Pow x0 Mul -2 sqrt x1 Add Mul Pow x0 Mul -2 sqrt x1 Add 1 Add Mul asin csch x0 -2 Mul Mul x0 -2 Mul Mul Mul -1 coth x0 csch x0 Pow sqrt Add 1 Mul -1 Mul csch x0 csch x0 -1 Mul Add x0 Mul Mul x0 -2 asin csch x0 Mul Pow x0 Add Mul -2 sqrt x1 -1 Mul -2 sqrt x1 