cos asinh Mul Add acoth cos x0 acot acot x7 x1 
Mul Mul -1 sin asinh Mul Add acoth cos x0 acot acot x7 x1 Mul Mul x1 Mul Mul -1 sin x0 Pow Add 1 Mul -1 Mul cos x0 cos x0 -1 Pow sqrt Add 1 Mul Mul Add acoth cos x0 acot acot x7 x1 Mul Add acoth cos x0 acot acot x7 x1 -1 