Mul acot Pow sinh Pow Pow acosh x4 x0 2 x0 x0 
Add Mul x0 Mul -1 Mul Mul Pow sinh Pow Pow acosh x4 x0 2 Add x0 -1 Add Mul x0 Mul cosh Pow Pow acosh x4 x0 2 Mul Pow acosh x4 x0 Mul 2 Mul Pow acosh x4 Add x0 -1 Mul acosh x4 log acosh x4 Mul sinh Pow Pow acosh x4 x0 2 log sinh Pow Pow acosh x4 x0 2 Pow Add 1 Mul Pow sinh Pow Pow acosh x4 x0 2 x0 Pow sinh Pow Pow acosh x4 x0 2 x0 -1 acot Pow sinh Pow Pow acosh x4 x0 2 x0 