Mul x0 log acos Mul atanh x7 Mul Mul Mul Add -5 x6 x0 x0 4 
Add log acos Mul atanh x7 Mul Mul Mul Add -5 x6 x0 x0 4 Mul x0 Mul Mul -1 Mul Mul atanh x7 Mul 4 Add Mul x0 Add -5 x6 Mul Add -5 x6 x0 Pow sqrt Add 1 Mul -1 Mul Mul atanh x7 Mul Mul Mul Add -5 x6 x0 x0 4 Mul atanh x7 Mul Mul Mul Add -5 x6 x0 x0 4 -1 Pow acos Mul atanh x7 Mul Mul Mul Add -5 x6 x0 x0 4 -1 