Pow Pow -2 x1 Pow x1 atanh cos Mul x0 x7 
Mul Pow Pow -2 x1 Add Pow x1 atanh cos Mul x0 x7 -1 Mul Mul Pow -2 x1 log Pow -2 x1 Mul Pow x1 Add atanh cos Mul x0 x7 -1 Mul Mul x1 log x1 Mul Mul Mul -1 sin Mul x0 x7 x7 Pow Add 1 Mul -1 Mul cos Mul x0 x7 cos Mul x0 x7 -1 