Pow cosh x7 Mul Mul atan Add 2 Mul acosh x1 x5 Pow sec x0 x0 0.540302305868140 
Mul Pow cosh x7 Add Mul Mul atan Add 2 Mul acosh x1 x5 Pow sec x0 x0 0.540302305868140 -1 Mul Mul cosh x7 log cosh x7 Mul 0.540302305868140 Mul atan Add 2 Mul acosh x1 x5 Mul Pow sec x0 Add x0 -1 Add Mul x0 Mul tan x0 sec x0 Mul sec x0 log sec x0 