Mul Pow x6 x1 Pow Pow Mul x0 x2 atanh Add x0 x0 cos atanh x3 
Mul Pow x6 x1 Mul Pow Pow Mul x0 x2 atanh Add x0 x0 Add cos atanh x3 -1 Mul cos atanh x3 Mul Pow Mul x0 x2 Add atanh Add x0 x0 -1 Add Mul atanh Add x0 x0 x2 Mul Mul Mul x0 x2 log Mul x0 x2 Mul 2 Pow Add 1 Mul -1 Mul Add x0 x0 Add x0 x0 -1 