Mul Pow csc x0 Add Mul acsc x2 x0 x0 sech Add -5 x2 
Mul sech Add -5 x2 Mul Pow csc x0 Add Add Mul acsc x2 x0 x0 -1 Add Mul Add Mul acsc x2 x0 x0 Mul Mul -1 cot x0 csc x0 Mul Mul csc x0 log csc x0 Add acsc x2 1 