Pow csc Add x0 Mul x0 Pow Mul acosh acsch x1 x3 4 Add Add x0 x0 1 
Mul Pow csc Add x0 Mul x0 Pow Mul acosh acsch x1 x3 4 Add Add Add x0 x0 1 -1 Add Mul Add Add x0 x0 1 Mul Mul Mul -1 cot Add x0 Mul x0 Pow Mul acosh acsch x1 x3 4 csc Add x0 Mul x0 Pow Mul acosh acsch x1 x3 4 Add 1 Pow Mul acosh acsch x1 x3 4 Mul Mul csc Add x0 Mul x0 Pow Mul acosh acsch x1 x3 4 log csc Add x0 Mul x0 Pow Mul acosh acsch x1 x3 4 2 