Add Pow Pow x0 x5 asech Pow cosh x0 -4 pi 
Mul Pow Pow x0 x5 Add asech Pow cosh x0 -4 -1 Add Mul asech Pow cosh x0 -4 Mul Pow x0 Add x5 -1 x5 Mul Mul Pow x0 x5 log Pow x0 x5 Mul Mul Pow cosh x0 5 Mul -4 sinh x0 Pow Mul Mul Pow cosh x0 -4 Pow cosh x0 -4 sqrt Add 1 Mul -1 Pow Mul Pow cosh x0 -4 Pow cosh x0 -4 -1 -1 