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