Mul Pow atan Mul sqrt x4 Add Pow x0 x2 x0 pi atanh x0 
Add Mul atanh x0 Mul Pow atan Mul sqrt x4 Add Pow x0 x2 x0 Add pi -1 Mul pi Mul Mul sqrt x4 Add Mul Pow x0 Add x2 -1 x2 1 Pow Add 1 Mul Mul sqrt x4 Add Pow x0 x2 x0 Mul sqrt x4 Add Pow x0 x2 x0 -1 Mul Pow atan Mul sqrt x4 Add Pow x0 x2 x0 pi Pow Add 1 Mul -1 Mul x0 x0 -1 