Mul Add Mul Add x0 x0 x0 x0 Mul -2 Pow Pow x0 1.23095941734077 Pow atanh x3 -3 
Add Mul Mul -2 Pow Pow x0 1.23095941734077 Pow atanh x3 -3 Add Add Mul x0 2 Add x0 x0 1 Mul Add Mul Add x0 x0 x0 x0 Mul -2 Mul Pow Pow x0 1.23095941734077 Add Pow atanh x3 -3 -1 Mul Pow atanh x3 -3 Mul Pow x0 0.230959417340775 1.23095941734077 