atan acsc Add Add x0 Pow coth Mul x0 acosh pi csc x7 x0 
Mul Mul -1 Mul Add Add 1 Mul Pow coth Mul x0 acosh pi Add csc x7 -1 Mul csc x7 Mul Mul -1 Pow csch Mul x0 acosh pi 2 acosh pi 1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add Add x0 Pow coth Mul x0 acosh pi csc x7 x0 Add Add x0 Pow coth Mul x0 acosh pi csc x7 x0 -1 Add Add x0 Pow coth Mul x0 acosh pi csc x7 x0 Add Add x0 Pow coth Mul x0 acosh pi csc x7 x0 -1 Pow Add 1 Mul acsc Add Add x0 Pow coth Mul x0 acosh pi csc x7 x0 acsc Add Add x0 Pow coth Mul x0 acosh pi csc x7 x0 -1 