Pow Pow cosh x4 Pow x0 1.41421356237310 x0 
Mul Pow Pow cosh x4 Pow x0 1.41421356237310 Add x0 -1 Add Mul x0 Mul Pow cosh x4 Add Pow x0 1.41421356237310 -1 Mul Mul cosh x4 log cosh x4 Mul Pow x0 0.414213562373095 1.41421356237310 Mul Pow cosh x4 Pow x0 1.41421356237310 log Pow cosh x4 Pow x0 1.41421356237310 