Pow sqrt Mul Pow Mul x0 x3 Add -2 Mul acos atan x0 x2 x0 Mul tanh pi x0 
Mul Pow sqrt Mul Pow Mul x0 x3 Add -2 Mul acos atan x0 x2 x0 Add Mul tanh pi x0 -1 Add Mul Mul tanh pi x0 Mul Pow Mul 2 sqrt Mul Pow Mul x0 x3 Add -2 Mul acos atan x0 x2 x0 -1 Add Mul x0 Mul Pow Mul x0 x3 Add Add -2 Mul acos atan x0 x2 -1 Add Mul Add -2 Mul acos atan x0 x2 x3 Mul Mul Mul x0 x3 log Mul x0 x3 Mul x2 Mul -1 Mul Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul atan x0 atan x0 -1 Pow Mul x0 x3 Add -2 Mul acos atan x0 x2 Mul Mul sqrt Mul Pow Mul x0 x3 Add -2 Mul acos atan x0 x2 x0 log sqrt Mul Pow Mul x0 x3 Add -2 Mul acos atan x0 x2 x0 tanh pi 