Pow cosh Add 2 Add Mul acot sech E x2 Add sec x0 sec sinh x0 x0 
Mul Pow cosh Add 2 Add Mul acot sech E x2 Add sec x0 sec sinh x0 Add x0 -1 Add Mul x0 Mul sinh Add 2 Add Mul acot sech E x2 Add sec x0 sec sinh x0 Add Mul tan x0 sec x0 Mul Mul tan sinh x0 sec sinh x0 cosh x0 Mul cosh Add 2 Add Mul acot sech E x2 Add sec x0 sec sinh x0 log cosh Add 2 Add Mul acot sech E x2 Add sec x0 sec sinh x0 