Pow Mul cosh csc Mul Mul x0 x5 x0 Pow x0 2 acsch x1 
Mul Pow Mul cosh csc Mul Mul x0 x5 x0 Pow x0 2 Add acsch x1 -1 Mul acsch x1 Add Mul Pow x0 2 Mul sinh csc Mul Mul x0 x5 x0 Mul Mul Mul -1 cot Mul Mul x0 x5 x0 csc Mul Mul x0 x5 x0 Add Mul x0 x5 Mul x0 x5 Mul cosh csc Mul Mul x0 x5 x0 Mul x0 2 