cot Mul cosh asec Mul x4 acoth E Pow Mul asec pi x0 x2 
Mul Mul -1 Pow csc Mul cosh asec Mul x4 acoth E Pow Mul asec pi x0 x2 2 Mul cosh asec Mul x4 acoth E Mul Pow Mul asec pi x0 Add x2 -1 Mul x2 asec pi 