Add Mul x0 cosh Pow Mul x1 4 Mul x0 Mul x0 x0 E 
Add cosh Pow Mul x1 4 Mul x0 Mul x0 x0 Mul x0 Mul sinh Pow Mul x1 4 Mul x0 Mul x0 x0 Mul Pow Mul x1 4 Add Mul x0 Mul x0 x0 -1 Mul Mul Mul x1 4 log Mul x1 4 Add Mul x0 x0 Mul x0 Add x0 x0 