Pow Add cot x4 -2 Pow Pow atanh Mul cos x0 acot cosh x0 x0 -1 
Mul Pow Add cot x4 -2 Add Pow Pow atanh Mul cos x0 acot cosh x0 x0 -1 -1 Mul Mul Add cot x4 -2 log Add cot x4 -2 Mul Pow Pow atanh Mul cos x0 acot cosh x0 x0 2 Mul -1 Mul Pow atanh Mul cos x0 acot cosh x0 Add x0 -1 Add Mul x0 Mul Add Mul acot cosh x0 Mul -1 sin x0 Mul cos x0 Mul -1 Mul sinh x0 Pow Add 1 Mul cosh x0 cosh x0 -1 Pow Add 1 Mul -1 Mul Mul cos x0 acot cosh x0 Mul cos x0 acot cosh x0 -1 Mul atanh Mul cos x0 acot cosh x0 log atanh Mul cos x0 acot cosh x0 