Add Mul log cosh x0 Add acsch x0 Pow Pow 5 Pow Mul -4 cos x3 acoth x1 x0 x0 
Add Add Mul Add acsch x0 Pow Pow 5 Pow Mul -4 cos x3 acoth x1 x0 Mul sinh x0 Pow cosh x0 -1 Mul log cosh x0 Add Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Pow Pow 5 Pow Mul -4 cos x3 acoth x1 Add x0 -1 Mul Pow 5 Pow Mul -4 cos x3 acoth x1 log Pow 5 Pow Mul -4 cos x3 acoth x1 1 