Mul Pow cosh x5 Pow sec x0 Add Pow exp cosh x0 1.41421356237310 x0 x0 
Add Mul x0 Mul Pow cosh x5 Add Pow sec x0 Add Pow exp cosh x0 1.41421356237310 x0 -1 Mul Mul cosh x5 log cosh x5 Mul Pow sec x0 Add Add Pow exp cosh x0 1.41421356237310 x0 -1 Add Mul Add Pow exp cosh x0 1.41421356237310 x0 Mul tan x0 sec x0 Mul Mul sec x0 log sec x0 Add Mul Pow exp cosh x0 0.414213562373095 Mul 1.41421356237310 Mul exp cosh x0 sinh x0 1 Pow cosh x5 Pow sec x0 Add Pow exp cosh x0 1.41421356237310 x0 