Add Mul Pow acosh x4 x0 -2 acot Mul x0 Mul x0 Pow x7 Pow acosh cbrt acoth x2 x0 
Add Mul -2 Mul Pow acosh x4 Add x0 -1 Mul acosh x4 log acosh x4 Mul -1 Mul Add Mul x0 Pow x7 Pow acosh cbrt acoth x2 x0 Mul x0 Add Pow x7 Pow acosh cbrt acoth x2 x0 Mul x0 Mul Pow x7 Add Pow acosh cbrt acoth x2 x0 -1 Mul Mul x7 log x7 Mul Pow acosh cbrt acoth x2 Add x0 -1 Mul acosh cbrt acoth x2 log acosh cbrt acoth x2 Pow Add 1 Mul Mul x0 Mul x0 Pow x7 Pow acosh cbrt acoth x2 x0 Mul x0 Mul x0 Pow x7 Pow acosh cbrt acoth x2 x0 -1 