Add asech pi Add Pow Mul tan cosh x3 Pow x0 2 x0 Mul cot x0 x4 
Add Mul Pow Mul tan cosh x3 Pow x0 2 Add x0 -1 Add Mul x0 Mul tan cosh x3 Mul x0 2 Mul Mul tan cosh x3 Pow x0 2 log Mul tan cosh x3 Pow x0 2 Mul x4 Mul -1 Pow csc x0 2 