Mul csc x0 Pow cosh x0 Mul acosh pi x0 
Add Mul Pow cosh x0 Mul acosh pi x0 Mul Mul -1 cot x0 csc x0 Mul csc x0 Mul Pow cosh x0 Add Mul acosh pi x0 -1 Add Mul Mul acosh pi x0 sinh x0 Mul Mul cosh x0 log cosh x0 acosh pi 