sec Add Add x2 x3 Add acot Pow Mul Pow x0 acsch x2 x2 2 5 
Mul Mul tan Add Add x2 x3 Add acot Pow Mul Pow x0 acsch x2 x2 2 5 sec Add Add x2 x3 Add acot Pow Mul Pow x0 acsch x2 x2 2 5 Mul -1 Mul Mul Mul Pow x0 acsch x2 x2 Mul 2 Mul x2 Mul Pow x0 Add acsch x2 -1 acsch x2 Pow Add 1 Mul Pow Mul Pow x0 acsch x2 x2 2 Pow Mul Pow x0 acsch x2 x2 2 -1 