cot Mul coth x0 asec Mul Add 5 Add x1 x0 x3 
Mul Mul -1 Pow csc Mul coth x0 asec Mul Add 5 Add x1 x0 x3 2 Add Mul asec Mul Add 5 Add x1 x0 x3 Mul -1 Pow csch x0 2 Mul coth x0 Mul x3 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Add 5 Add x1 x0 x3 Mul Add 5 Add x1 x0 x3 -1 Mul Add 5 Add x1 x0 x3 Mul Add 5 Add x1 x0 x3 -1 