Pow Pow acosh x6 x5 acot acot Add x0 5 
Mul Pow Pow acosh x6 x5 Add acot acot Add x0 5 -1 Mul Mul Pow acosh x6 x5 log Pow acosh x6 x5 Mul -1 Mul Mul -1 Pow Add 1 Mul Add x0 5 Add x0 5 -1 Pow Add 1 Mul acot Add x0 5 acot Add x0 5 -1 