acot Add x0 Add Pow atanh cos x5 x0 -5 
Mul -1 Mul Add 1 Mul Pow atanh cos x5 Add x0 -1 Mul atanh cos x5 log atanh cos x5 Pow Add 1 Mul Add x0 Add Pow atanh cos x5 x0 -5 Add x0 Add Pow atanh cos x5 x0 -5 -1 