Pow Mul x6 x0 Pow Mul Pow acosh x5 Add x0 Pow sinh x0 acot x1 x5 x6 
Mul Pow Mul x6 x0 Add Pow Mul Pow acosh x5 Add x0 Pow sinh x0 acot x1 x5 x6 -1 Add Mul Pow Mul Pow acosh x5 Add x0 Pow sinh x0 acot x1 x5 x6 x6 Mul Mul Mul x6 x0 log Mul x6 x0 Mul Pow Mul Pow acosh x5 Add x0 Pow sinh x0 acot x1 x5 Add x6 -1 Mul x6 Mul x5 Mul Pow acosh x5 Add Add x0 Pow sinh x0 acot x1 -1 Mul Mul acosh x5 log acosh x5 Add 1 Mul Pow sinh x0 Add acot x1 -1 Mul acot x1 cosh x0 