Pow Mul x5 Pow log sqrt cosh Mul x3 E Mul x0 x0 3 
Mul Pow Mul x5 Pow log sqrt cosh Mul x3 E Mul x0 x0 2 Mul 3 Mul x5 Mul Pow log sqrt cosh Mul x3 E Add Mul x0 x0 -1 Mul Mul log sqrt cosh Mul x3 E log log sqrt cosh Mul x3 E Add x0 x0 