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