cot Pow Pow x0 Add cosh acosh pi x7 x7 
Mul Mul -1 Pow csc Pow Pow x0 Add cosh acosh pi x7 x7 2 Mul Pow Pow x0 Add cosh acosh pi x7 Add x7 -1 Mul x7 Mul Pow x0 Add Add cosh acosh pi x7 -1 Add cosh acosh pi x7 