Mul Pow acsch sin Mul x0 2 x6 x0 
Add Mul x0 Mul Pow acsch sin Mul x0 2 Add x6 -1 Mul x6 Mul Mul -1 Mul cos Mul x0 2 2 Pow Mul Mul sin Mul x0 2 sin Mul x0 2 sqrt Add 1 Mul -1 Pow Mul sin Mul x0 2 sin Mul x0 2 -1 -1 Pow acsch sin Mul x0 2 x6 