Mul Mul cot acot x2 csc Pow x0 Pow exp sec x0 acosh x6 -3 
Mul -3 Mul cot acot x2 Mul Mul Mul -1 cot Pow x0 Pow exp sec x0 acosh x6 csc Pow x0 Pow exp sec x0 acosh x6 Mul Pow x0 Add Pow exp sec x0 acosh x6 -1 Add Pow exp sec x0 acosh x6 Mul Mul x0 log x0 Mul Pow exp sec x0 Add acosh x6 -1 Mul acosh x6 Mul exp sec x0 Mul tan x0 sec x0 