Add exp atan exp atan acoth Pow csc x0 sqrt x7 x0 
Add Mul exp atan exp atan acoth Pow csc x0 sqrt x7 Mul Mul exp atan acoth Pow csc x0 sqrt x7 Mul Mul Mul Pow csc x0 Add sqrt x7 -1 Mul sqrt x7 Mul Mul -1 cot x0 csc x0 Pow Add 1 Mul -1 Mul Pow csc x0 sqrt x7 Pow csc x0 sqrt x7 -1 Pow Add 1 Mul acoth Pow csc x0 sqrt x7 acoth Pow csc x0 sqrt x7 -1 Pow Add 1 Mul exp atan acoth Pow csc x0 sqrt x7 exp atan acoth Pow csc x0 sqrt x7 -1 1 