Mul x0 Mul log Add x0 exp x7 Add Mul -2 Add Add asec sinh Mul 4 x6 pi E sinh x0 
Add Mul log Add x0 exp x7 Add Mul -2 Add Add asec sinh Mul 4 x6 pi E sinh x0 Mul x0 Add Mul Add Mul -2 Add Add asec sinh Mul 4 x6 pi E sinh x0 Pow Add x0 exp x7 -1 Mul log Add x0 exp x7 cosh x0 