acos Mul cosh Mul x0 Add coth E x6 log asin x0 
Mul -1 Mul Add Mul log asin x0 Mul sinh Mul x0 Add coth E x6 Add coth E x6 Mul cosh Mul x0 Add coth E x6 Mul Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow asin x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul cosh Mul x0 Add coth E x6 log asin x0 Mul cosh Mul x0 Add coth E x6 log asin x0 -1 