Pow Mul x0 cosh x3 Mul x0 Pow 2 Mul x0 Pow E -0.642092615934331 
Mul Pow Mul x0 cosh x3 Add Mul x0 Pow 2 Mul x0 Pow E -0.642092615934331 -1 Add Mul Mul x0 Pow 2 Mul x0 Pow E -0.642092615934331 cosh x3 Mul Mul Mul x0 cosh x3 log Mul x0 cosh x3 Add Pow 2 Mul x0 Pow E -0.642092615934331 Mul x0 Mul Pow 2 Add Mul x0 Pow E -0.642092615934331 -1 Mul 2.69314718055995 Pow E -0.642092615934331 