cosh Mul Mul x0 Add Pow x0 coth asin x0 pi x5 
Mul sinh Mul Mul x0 Add Pow x0 coth asin x0 pi x5 Mul x5 Add Add Pow x0 coth asin x0 pi Mul x0 Mul Pow x0 Add coth asin x0 -1 Add coth asin x0 Mul Mul x0 log x0 Mul Mul -1 Pow csch asin x0 2 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 