Add Pow sqrt Mul x0 x0 x0 Pow Pow cosh Pow x0 54.5981500331442 x0 x0 
Add Mul Pow sqrt Mul x0 x0 Add x0 -1 Add Mul x0 Mul Pow Mul 2 sqrt Mul x0 x0 -1 Add x0 x0 Mul sqrt Mul x0 x0 log sqrt Mul x0 x0 Mul Pow Pow cosh Pow x0 54.5981500331442 x0 Add x0 -1 Add Mul x0 Mul Pow cosh Pow x0 54.5981500331442 Add x0 -1 Add Mul x0 Mul sinh Pow x0 54.5981500331442 Mul Pow x0 53.5981500331442 54.5981500331442 Mul cosh Pow x0 54.5981500331442 log cosh Pow x0 54.5981500331442 Mul Pow cosh Pow x0 54.5981500331442 x0 log Pow cosh Pow x0 54.5981500331442 x0 