Pow asin atanh Mul cosh x0 5 csch x1 
Mul Pow asin atanh Mul cosh x0 5 Add csch x1 -1 Mul csch x1 Mul Mul Mul 5 sinh x0 Pow Add 1 Mul -1 Mul Mul cosh x0 5 Mul cosh x0 5 -1 Pow sqrt Add 1 Mul -1 Mul atanh Mul cosh x0 5 atanh Mul cosh x0 5 -1 