Mul Pow Mul x0 x7 Mul -2 atan Mul atanh Pow E 3 Pow 3 E x0 
Add Mul x0 Mul Pow Mul x0 x7 Add Mul -2 atan Mul atanh Pow E 3 Pow 3 E -1 Mul Mul -2 atan Mul atanh Pow E 3 Pow 3 E x7 Pow Mul x0 x7 Mul -2 atan Mul atanh Pow E 3 Pow 3 E 