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