Add cosh x0 Pow Mul x0 Mul x6 x0 Add sec x7 Pow x0 Mul -2 x0 
Add sinh x0 Mul Pow Mul x0 Mul x6 x0 Add Add sec x7 Pow x0 Mul -2 x0 -1 Add Mul Add sec x7 Pow x0 Mul -2 x0 Add Mul x6 x0 Mul x0 x6 Mul Mul Mul x0 Mul x6 x0 log Mul x0 Mul x6 x0 Mul Pow x0 Add Mul -2 x0 -1 Add Mul -2 x0 Mul Mul x0 log x0 -2 