Add Add Add Mul atanh x0 Pow Mul x3 -2 x0 1 Mul x6 Pow Add Mul acos E x5 -3 x0 -2 
Add Add Mul Pow Mul x3 -2 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul atanh x0 Mul Pow Mul x3 -2 Add x0 -1 Mul Mul x3 -2 log Mul x3 -2 Mul x6 Mul Pow Add Mul acos E x5 -3 Add x0 -1 Mul Add Mul acos E x5 -3 log Add Mul acos E x5 -3 