Mul Mul x2 asin Mul Mul x0 sin x0 coth x5 x0 
Add Mul x0 Mul x2 Mul Mul coth x5 Add sin x0 Mul x0 cos x0 Pow sqrt Add 1 Mul -1 Mul Mul Mul x0 sin x0 coth x5 Mul Mul x0 sin x0 coth x5 -1 Mul x2 asin Mul Mul x0 sin x0 coth x5 