asinh coth Mul Mul cos x0 x0 asech x6 
Mul Mul Mul -1 Pow csch Mul Mul cos x0 x0 asech x6 2 Mul asech x6 Add Mul x0 Mul -1 sin x0 cos x0 Pow sqrt Add 1 Mul coth Mul Mul cos x0 x0 asech x6 coth Mul Mul cos x0 x0 asech x6 -1 