Mul x7 cot Mul Pow Pow x0 -2 Mul Mul x2 Pow acos acosh pi x0 x0 x0 
Mul x7 Mul Mul -1 Pow csc Mul Pow Pow x0 -2 Mul Mul x2 Pow acos acosh pi x0 x0 x0 2 Add Mul x0 Mul Pow Pow x0 -2 Add Mul Mul x2 Pow acos acosh pi x0 x0 -1 Add Mul Mul Mul x2 Pow acos acosh pi x0 x0 Mul Pow x0 3 -2 Mul Mul Pow x0 -2 log Pow x0 -2 Add Mul x0 Mul x2 Mul Pow acos acosh pi Add x0 -1 Mul acos acosh pi log acos acosh pi Mul x2 Pow acos acosh pi x0 Pow Pow x0 -2 Mul Mul x2 Pow acos acosh pi x0 x0 