Mul Pow x0 Mul asec x7 Add x0 pi Mul x6 sinh x0 
Add Mul Mul x6 sinh x0 Mul Pow x0 Add Mul asec x7 Add x0 pi -1 Add Mul asec x7 Add x0 pi Mul Mul x0 log x0 asec x7 Mul Pow x0 Mul asec x7 Add x0 pi Mul x6 cosh x0 