Pow acosh x7 Pow Add x3 x0 Mul -1 Add Add x0 x3 Add acot acsc x4 3 
Mul Pow acosh x7 Add Pow Add x3 x0 Mul -1 Add Add x0 x3 Add acot acsc x4 3 -1 Mul Mul acosh x7 log acosh x7 Mul Pow Add x3 x0 Add Mul -1 Add Add x0 x3 Add acot acsc x4 3 -1 Add Mul -1 Add Add x0 x3 Add acot acsc x4 3 Mul Mul Add x3 x0 log Add x3 x0 -1 