Mul x0 Pow acosh x6 sinh tanh acoth Add Add -3 sec x0 x0 
Add Pow acosh x6 sinh tanh acoth Add Add -3 sec x0 x0 Mul x0 Mul Pow acosh x6 Add sinh tanh acoth Add Add -3 sec x0 x0 -1 Mul Mul acosh x6 log acosh x6 Mul cosh tanh acoth Add Add -3 sec x0 x0 Mul Pow sech acoth Add Add -3 sec x0 x0 2 Mul Add Mul tan x0 sec x0 1 Pow Add 1 Mul -1 Mul Add Add -3 sec x0 x0 Add Add -3 sec x0 x0 -1 