atan Mul Mul log Mul cosh x0 Add 3 E Pow sec x0 3 Mul sinh x6 2 
Mul Mul Mul sinh x6 2 Add Mul Pow sec x0 3 Mul Mul Add 3 E sinh x0 Pow Mul cosh x0 Add 3 E -1 Mul log Mul cosh x0 Add 3 E Mul Pow sec x0 2 Mul 3 Mul tan x0 sec x0 Pow Add 1 Mul Mul Mul log Mul cosh x0 Add 3 E Pow sec x0 3 Mul sinh x6 2 Mul Mul log Mul cosh x0 Add 3 E Pow sec x0 3 Mul sinh x6 2 -1 