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