Pow exp Pow Add Add x0 x4 Pow sec x2 2 x1 Add Pow x0 csc Pow acosh x6 x0 x0 
Mul Pow exp Pow Add Add x0 x4 Pow sec x2 2 x1 Add Add Pow x0 csc Pow acosh x6 x0 x0 -1 Add Mul Add Pow x0 csc Pow acosh x6 x0 x0 Mul exp Pow Add Add x0 x4 Pow sec x2 2 x1 Mul Pow Add Add x0 x4 Pow sec x2 2 Add x1 -1 x1 Mul Mul exp Pow Add Add x0 x4 Pow sec x2 2 x1 log exp Pow Add Add x0 x4 Pow sec x2 2 x1 Add Mul Pow x0 Add csc Pow acosh x6 x0 -1 Add csc Pow acosh x6 x0 Mul Mul x0 log x0 Mul Mul Mul -1 cot Pow acosh x6 x0 csc Pow acosh x6 x0 Mul Pow acosh x6 Add x0 -1 Mul acosh x6 log acosh x6 1 