Mul Pow Mul Mul sec x5 pi x0 Pow asec cosh asech x4 x0 x0 
Add Mul x0 Mul Pow Mul Mul sec x5 pi x0 Add Pow asec cosh asech x4 x0 -1 Add Mul Pow asec cosh asech x4 x0 Mul sec x5 pi Mul Mul Mul Mul sec x5 pi x0 log Mul Mul sec x5 pi x0 Mul Pow asec cosh asech x4 Add x0 -1 Mul asec cosh asech x4 log asec cosh asech x4 Pow Mul Mul sec x5 pi x0 Pow asec cosh asech x4 x0 