Mul Mul x0 acosh Mul acos sin x0 sin acsc x0 csc x1 
Mul csc x1 Add acosh Mul acos sin x0 sin acsc x0 Mul x0 Mul Add Mul sin acsc x0 Mul -1 Mul cos x0 Pow sqrt Add 1 Mul -1 Mul sin x0 sin x0 -1 Mul acos sin x0 Mul cos acsc x0 Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Mul sqrt Add Mul acos sin x0 sin acsc x0 -1 sqrt Add 1 Mul acos sin x0 sin acsc x0 -1 