Mul Mul Pow x0 Mul acoth atanh cos x0 Add x0 x5 x4 5 
Mul 5 Mul x4 Mul Pow x0 Add Mul acoth atanh cos x0 Add x0 x5 -1 Add Mul acoth atanh cos x0 Add x0 x5 Mul Mul x0 log x0 Add Mul Add x0 x5 Mul Mul Mul -1 sin x0 Pow Add 1 Mul -1 Mul cos x0 cos x0 -1 Pow Add 1 Mul -1 Mul atanh cos x0 atanh cos x0 -1 acoth atanh cos x0 