Mul Add Add x0 atan Pow acosh acosh x5 Add -3 x0 tan Mul Pow sec x0 Pow cosh x0 2 -5 x4 
Mul x4 Add Add 1 Mul Mul Pow acosh acosh x5 Add Add -3 x0 -1 Mul acosh acosh x5 log acosh acosh x5 Pow Add 1 Mul Pow acosh acosh x5 Add -3 x0 Pow acosh acosh x5 Add -3 x0 -1 Mul Pow sec Mul Pow sec x0 Pow cosh x0 2 -5 2 Mul -5 Mul Pow sec x0 Add Pow cosh x0 2 -1 Add Mul Pow cosh x0 2 Mul tan x0 sec x0 Mul Mul sec x0 log sec x0 Mul cosh x0 Mul 2 sinh x0 