Pow Add x0 x3 exp atanh cos x0 
Mul Pow Add x0 x3 Add exp atanh cos x0 -1 Add exp atanh cos x0 Mul Mul Add x0 x3 log Add x0 x3 Mul exp atanh cos x0 Mul Mul -1 sin x0 Pow Add 1 Mul -1 Mul cos x0 cos x0 -1 