Pow acsch csc x0 acsc Add 5 acsch acoth x7 
Mul Pow acsch csc x0 Add acsc Add 5 acsch acoth x7 -1 Mul acsc Add 5 acsch acoth x7 Mul Mul -1 Mul Mul -1 cot x0 csc x0 Pow Mul Mul csc x0 csc x0 sqrt Add 1 Mul -1 Pow Mul csc x0 csc x0 -1 -1 