Pow acoth Pow cosh x1 atan asin log x0 x0 
Mul Pow acoth Pow cosh x1 atan asin log x0 Add x0 -1 Add Mul x0 Mul Mul Pow cosh x1 Add atan asin log x0 -1 Mul Mul cosh x1 log cosh x1 Mul Mul Pow x0 -1 Pow sqrt Add 1 Mul -1 Mul log x0 log x0 -1 Pow Add 1 Mul asin log x0 asin log x0 -1 Pow Add 1 Mul -1 Mul Pow cosh x1 atan asin log x0 Pow cosh x1 atan asin log x0 -1 Mul acoth Pow cosh x1 atan asin log x0 log acoth Pow cosh x1 atan asin log x0 