acot Mul Pow log sqrt E Mul sech x4 Add x0 x4 Pow cos x3 asinh cosh x0 
Mul -1 Mul Add Mul Pow cos x3 asinh cosh x0 Mul Pow log sqrt E Add Mul sech x4 Add x0 x4 -1 Mul Mul log sqrt E log log sqrt E sech x4 Mul Pow log sqrt E Mul sech x4 Add x0 x4 Mul Pow cos x3 Add asinh cosh x0 -1 Mul Mul cos x3 log cos x3 Mul sinh x0 Pow sqrt Add 1 Mul cosh x0 cosh x0 -1 Pow Add 1 Mul Mul Pow log sqrt E Mul sech x4 Add x0 x4 Pow cos x3 asinh cosh x0 Mul Pow log sqrt E Mul sech x4 Add x0 x4 Pow cos x3 asinh cosh x0 -1 