atanh atan sqrt Add sqrt x2 x0 
Mul Mul Pow Mul 2 sqrt Add sqrt x2 x0 -1 Pow Add 1 Mul sqrt Add sqrt x2 x0 sqrt Add sqrt x2 x0 -1 Pow Add 1 Mul -1 Mul atan sqrt Add sqrt x2 x0 atan sqrt Add sqrt x2 x0 -1 