Add acos Pow Pow Mul log x2 x0 atanh E 2 x0 
Add Mul -1 Mul Mul Pow Mul log x2 x0 atanh E Mul 2 Mul Pow Mul log x2 x0 Add atanh E -1 Mul atanh E log x2 Pow sqrt Add 1 Mul -1 Mul Pow Pow Mul log x2 x0 atanh E 2 Pow Pow Mul log x2 x0 atanh E 2 -1 1 