Mul Pow Add Pow acosh x6 x0 x0 atan Pow Pow x0 x0 sec x0 -3 
Mul -3 Mul Pow Add Pow acosh x6 x0 x0 Add atan Pow Pow x0 x0 sec x0 -1 Add Mul atan Pow Pow x0 x0 sec x0 Add Mul Pow acosh x6 Add x0 -1 Mul acosh x6 log acosh x6 1 Mul Mul Add Pow acosh x6 x0 x0 log Add Pow acosh x6 x0 x0 Mul Mul Pow Pow x0 x0 Add sec x0 -1 Add Mul sec x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Mul Pow x0 x0 log Pow x0 x0 Mul tan x0 sec x0 Pow Add 1 Mul Pow Pow x0 x0 sec x0 Pow Pow x0 x0 sec x0 -1 