Pow Mul atanh Mul x0 x5 Add atan x5 x2 Pow sqrt Mul E x6 x2 
Mul Pow Mul atanh Mul x0 x5 Add atan x5 x2 Add Pow sqrt Mul E x6 x2 -1 Mul Pow sqrt Mul E x6 x2 Mul Add atan x5 x2 Mul x5 Pow Add 1 Mul -1 Mul Mul x0 x5 Mul x0 x5 -1 