Mul x0 Mul Add acot Add atanh x0 3 Mul 0.802799373135364 Pow x0 Pow x6 4 x3 
Add Mul Add acot Add atanh x0 3 Mul 0.802799373135364 Pow x0 Pow x6 4 x3 Mul x0 Mul x3 Add Mul -1 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Add atanh x0 3 Add atanh x0 3 -1 Mul 0.802799373135364 Mul Pow x0 Add Pow x6 4 -1 Pow x6 4 