Mul x0 Mul log x0 cos atanh Mul log x6 x0 
Add Mul log x0 cos atanh Mul log x6 x0 Mul x0 Add Mul cos atanh Mul log x6 x0 Pow x0 -1 Mul log x0 Mul Mul -1 sin atanh Mul log x6 x0 Mul log x6 Pow Add 1 Mul -1 Mul Mul log x6 x0 Mul log x6 x0 -1 