acos sinh Mul Mul asin x0 cot cosh x1 x0 
Mul -1 Mul Mul cosh Mul Mul asin x0 cot cosh x1 x0 Add Mul x0 Mul cot cosh x1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul asin x0 cot cosh x1 Pow sqrt Add 1 Mul -1 Mul sinh Mul Mul asin x0 cot cosh x1 x0 sinh Mul Mul asin x0 cot cosh x1 x0 -1 