Add cot acosh Mul -4 Add x0 pi sinh Mul cosh x2 x0 
Add Mul Mul -1 Pow csc acosh Mul -4 Add x0 pi 2 Mul -4 Pow Mul sqrt Add Mul -4 Add x0 pi -1 sqrt Add 1 Mul -4 Add x0 pi -1 Mul cosh Mul cosh x2 x0 cosh x2 