Mul asin Mul x0 coth Mul sin x0 x0 x7 
Mul x7 Mul Add coth Mul sin x0 x0 Mul x0 Mul Mul -1 Pow csch Mul sin x0 x0 2 Add Mul x0 cos x0 sin x0 Pow sqrt Add 1 Mul -1 Mul Mul x0 coth Mul sin x0 x0 Mul x0 coth Mul sin x0 x0 -1 