Pow Mul cot Mul x0 x0 Pow x0 acos Mul x1 -1 Mul cosh x0 pi 
Mul Pow Mul cot Mul x0 x0 Pow x0 acos Mul x1 -1 Add Mul cosh x0 pi -1 Add Mul Mul cosh x0 pi Add Mul Pow x0 acos Mul x1 -1 Mul Mul -1 Pow csc Mul x0 x0 2 Add x0 x0 Mul cot Mul x0 x0 Mul Pow x0 Add acos Mul x1 -1 -1 acos Mul x1 -1 Mul Mul Mul cot Mul x0 x0 Pow x0 acos Mul x1 -1 log Mul cot Mul x0 x0 Pow x0 acos Mul x1 -1 Mul pi sinh x0 