Pow x3 cos Pow cosh x3 Mul Mul x0 x0 x4 
Mul Pow x3 Add cos Pow cosh x3 Mul Mul x0 x0 x4 -1 Mul Mul x3 log x3 Mul Mul -1 sin Pow cosh x3 Mul Mul x0 x0 x4 Mul Pow cosh x3 Add Mul Mul x0 x0 x4 -1 Mul Mul cosh x3 log cosh x3 Mul x4 Add x0 x0 