Add Add x0 3 Pow atanh cos x0 Mul x5 Add cos x0 x0 
Add 1 Mul Pow atanh cos x0 Add Mul x5 Add cos x0 x0 -1 Add Mul Mul x5 Add cos x0 x0 Mul Mul -1 sin x0 Pow Add 1 Mul -1 Mul cos x0 cos x0 -1 Mul Mul atanh cos x0 log atanh cos x0 Mul x5 Add Mul -1 sin x0 1 