sinh Pow Add sin asin x0 x3 coth x0 
Mul cosh Pow Add sin asin x0 x3 coth x0 Mul Pow Add sin asin x0 x3 Add coth x0 -1 Add Mul coth x0 Mul cos asin x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Add sin asin x0 x3 log Add sin asin x0 x3 Mul -1 Pow csch x0 2 