acos cosh Mul Mul x0 Mul x0 acsch E Mul x6 asinh E 
Mul -1 Mul Mul sinh Mul Mul x0 Mul x0 acsch E Mul x6 asinh E Mul Mul x6 asinh E Add Mul x0 acsch E Mul x0 acsch E Pow sqrt Add 1 Mul -1 Mul cosh Mul Mul x0 Mul x0 acsch E Mul x6 asinh E cosh Mul Mul x0 Mul x0 acsch E Mul x6 asinh E -1 