Add acsch Mul -4 Add acos acot sinh x0 3 -5 
Mul Mul -1 Mul -4 Mul -1 Mul Mul -1 Mul cosh x0 Pow Add 1 Mul sinh x0 sinh x0 -1 Pow sqrt Add 1 Mul -1 Mul acot sinh x0 acot sinh x0 -1 Pow Mul Mul Mul -4 Add acos acot sinh x0 3 Mul -4 Add acos acot sinh x0 3 sqrt Add 1 Mul -1 Pow Mul Mul -4 Add acos acot sinh x0 3 Mul -4 Add acos acot sinh x0 3 -1 -1 