Add Pow x0 Pow acot Mul Pow x0 Pow x6 -5 Pow Mul -4 E acosh x1 x1 Mul x0 x4 
Add Mul Pow x0 Add Pow acot Mul Pow x0 Pow x6 -5 Pow Mul -4 E acosh x1 x1 -1 Add Pow acot Mul Pow x0 Pow x6 -5 Pow Mul -4 E acosh x1 x1 Mul Mul x0 log x0 Mul Pow acot Mul Pow x0 Pow x6 -5 Pow Mul -4 E acosh x1 Add x1 -1 Mul x1 Mul -1 Mul Mul Pow Mul -4 E acosh x1 Mul Pow x0 Add Pow x6 -5 -1 Pow x6 -5 Pow Add 1 Mul Mul Pow x0 Pow x6 -5 Pow Mul -4 E acosh x1 Mul Pow x0 Pow x6 -5 Pow Mul -4 E acosh x1 -1 x4 