atan Pow Mul asec x6 Mul x0 0.0993279274194332 Pow cosh x7 x0 
Mul Mul Pow Mul asec x6 Mul x0 0.0993279274194332 Add Pow cosh x7 x0 -1 Add Mul Pow cosh x7 x0 Mul asec x6 0.0993279274194332 Mul Mul Mul asec x6 Mul x0 0.0993279274194332 log Mul asec x6 Mul x0 0.0993279274194332 Mul Pow cosh x7 Add x0 -1 Mul cosh x7 log cosh x7 Pow Add 1 Mul Pow Mul asec x6 Mul x0 0.0993279274194332 Pow cosh x7 x0 Pow Mul asec x6 Mul x0 0.0993279274194332 Pow cosh x7 x0 -1 