Mul acsc Add 5 Add asec csc coth x0 E Add Pow x1 x0 x0 
Add Mul Add Pow x1 x0 x0 Mul -1 Mul Mul Mul Mul Mul -1 cot coth x0 csc coth x0 Mul -1 Pow csch x0 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul csc coth x0 csc coth x0 -1 csc coth x0 csc coth x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add 5 Add asec csc coth x0 E Add 5 Add asec csc coth x0 E -1 Add 5 Add asec csc coth x0 E Add 5 Add asec csc coth x0 E -1 Mul acsc Add 5 Add asec csc coth x0 E Add Mul Pow x1 Add x0 -1 Mul x1 log x1 1 