Pow csc acsch sec x0 x1 
Mul Pow csc acsch sec x0 Add x1 -1 Mul x1 Mul Mul Mul -1 cot acsch sec x0 csc acsch sec x0 Mul Mul -1 Mul tan x0 sec x0 Pow Mul Mul sec x0 sec x0 sqrt Add 1 Mul -1 Pow Mul sec x0 sec x0 -1 -1 