Mul x0 Mul x0 Pow Mul x0 acsch sin x0 x3 
Add Mul x0 Pow Mul x0 acsch sin x0 x3 Mul x0 Add Pow Mul x0 acsch sin x0 x3 Mul x0 Mul Pow Mul x0 acsch sin x0 Add x3 -1 Mul x3 Add acsch sin x0 Mul x0 Mul Mul -1 cos x0 Pow Mul Mul sin x0 sin x0 sqrt Add 1 Mul -1 Pow Mul sin x0 sin x0 -1 -1 